- #1
Bipolarity
- 776
- 2
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