Sistemas axiom�ticos alternativos

La propiedad 1 ( {\displaystyle d(x,y)\geq 0} {\displaystyle d(x,y)\geq 0}) se

sigue de la 4 y la 5. Algunos autores usan la recta real extendida y admiten que la
distancia tome el valor {\displaystyle \infty } {\displaystyle \infty }. Cualquier
m�trica tal puede ser reescalada a una m�trica finita (usando {\displaystyle
d'(x,y)=d(x,y)/(1+d(x,y))} {\displaystyle d'(x,y)=d(x,y)/(1+d(x,y))} o
{\displaystyle d''(x,y)=\min(1,d(x,y))} {\displaystyle d''(x,y)=\min(1,d(x,y))}) y
los dos conceptos de espacio m�trico son equivalentes en lo que a topolog�a se
refiere. Una m�trica es llamada ultram�trica si satisface la siguiente versi�n, m�s
fuerte, de la desigualdad triangular:

{\displaystyle \forall x,y,z\in M,d(x,z)\leq {\mbox{max}}(d(x,y),d(y,z))}

{\displaystyle \forall x,y,z\in M,d(x,z)\leq {\mbox{max}}(d(x,y),d(y,z))}.
Si se elimina la propiedad 3, se obtiene un espacio pseudom�trico. Sacando, en
cambio, la propiedad 4, se obtiene un espacio quasim�trico. No obstante,
perdi�ndose simetr�a en este caso, se cambia, usualmente, la propiedad 3 tal que
ambas {\displaystyle d(x,y)=0} {\displaystyle d(x,y)=0} y {\displaystyle d(y,x)=0}
{\displaystyle d(y,x)=0} son necesarias para que {\displaystyle x} x e
{\displaystyle y} y se identifiquen. Todas las combinaciones de lo anterior son
posibles y referidas por sus nomenclaturas respectivas (por ejemplo como quasi-
pseudo-ultram�trico).

Ejemplos