- #1

- 775

- 1

## Main Question or Discussion Point

Quick question about the metric space axioms, is the requirement that the distance function be positive-semidefinite an axiom for metric spaces?

It seems that it can be proved from the other axioms (symmetry, identity of indiscernibles and the triangle inequality).

BiP

It seems that it can be proved from the other axioms (symmetry, identity of indiscernibles and the triangle inequality).

BiP