Lecture zen
On dit alors que \((X,d)\) est un espace métrique.
En savoir plus
Métrique
[ Definition ]
Une métrique ou distance sur l’ensemble \(X\) est une application \(d:X \times X \rightarrow [0,+\infty[\) vérifiant:
\(\bullet\)\(d(x,y)=0 \iff x=y\)
\(\bullet\)\(d(x,y)=d(y,x)\)
\(\bullet\)\(d(x,y) \leq d(x,z) + d(z,y)\) (propriété dite inégalité triangulaire)