Branches History Index

◀ ▲ ▶Branches / Topology / Corollary: Every Distance Is Positive Definite

Corollary: Every Distance Is Positive Definite

(related to Definition: Metric (Distance))

Let \(X\) be a set and \(d\) be a distance on \(X\). Then \(d(x,y)\ge 0\) for all \(x,y\in X\).

Table of Contents

Proofs: 1

Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs