FIND ME ON

GitHub

LinkedIn

Metric Space

🌱

Definition
MeasureTheory

A metric space is a pair (X,d)(X,d) where XX is a set and d:X×XR0d:X\times X\to \mathbb{R}_{\ge0 } s.t. dd satisfies an equivalence relation: 1. Reflexive: d(x,y)=0    x=yd(x,y)=0\iff x=y 2. Symmetric: d(x,y)=d(y,x)d(x,y)=d(y,x) 3. Transitive: d(x,z)d(x,y)+d(y,z)d(x,z)\le d(x,y)+d(y,z) where x,y,zXx,y,z\in X.

We refer to dd as the metric or distance.

Linked from