Metric

analysis geometry

Definition

Metric

A metric (or distance function) on a set $X$ is a function $d:X\times X\to \mathbb{R}$ that satisfies the following axioms for all $x,y,z\in X$:

1. Non-negativity: $d(x,y)\ge 0$
2. Identity of Indiscernibles: $d(x,y)=0⟺x=y$
3. Symmetry: $d(x,y)=d(y,x)$
4. Triangle Inequality: $d(x,z)\le d(x,y)+d(y,z)$

A set $X$ equipped with a metric $d$ is called a metric space.

Triangle Inequality

Direct distance

The triangle inequality states that the direct distance between two points is never greater than the distance through an intermediate point.