Académique Documents
Professionnel Documents
Culture Documents
N 99
Topologa, 3er ao, Profesorado en Matemtica
Profesor Federico Rivolta
A 2 Axioma de la simetra
d A ; B d B ; A
A 3 Desigualdad triangular
d A ; B d B ; C d A ;C
DISTANCIA TAXI
Siendo A xa ; ya y B xb ; yb dos puntos del plano, se denomina distancia taxi o distancia del
peatn a la funcin dT : 0 / dT A ; B xa xb ya yb .
2 2
Demostraremos que esta funcin cumple con la axiomtica de distancia, es decir que 2 ; dT es
un espacio mtrico.
A1 Axioma de la separacin
Por tratarse de una suma de mdulos (y los mismos no pueden ser nmeros negativos):
xa xb ya yb 0 xa xb 0 ya yb 0
xa xb 0 xa xb
A B
ya yb 0 ya yb
1
A 2 Axioma de la simetra
dT A ; B xa xb ya yb
dT A ; B dT B ; A Por definicin.
A 3 Desigualdad triangular
dT A ; B dT B ; C dT A ; C
xa xb ya yb xb xc yb yc xa xc ya yc
DISTANCIA INFINITO
Demostraremos que esta funcin cumple con la axiomtica de distancia, es decir que 2 ; d es
un espacio mtrico.
A1 Axioma de la separacin
Por tratarse de mdulos (y los mismos no pueden ser nmeros negativos):
Sup xa xb ; ya yb 0 xa xb 0 ya yb 0
xa xb 0 xa xb
A B
ya yb 0 ya yb
A 2 Axioma de la simetra
d A ; B Sup xa xb ; ya yb
2
d A ; B d B ; A Por definicin de distancia infinito.
A 3 Desigualdad triangular
d A ; B d B ; C d A ; C
En el primer miembro, lo que se debe hacer es elegir el supremo de cada uno de los
sumandos y luego sumar estos dos. Hay un total de 8 posibles totales. En el segundo
miembro las opciones son dos, consideraremos cada una de ellas y mostraremos que entre
los 8 casos posibles de aquellos del primer miembro, hay al menos uno que es mayor o
igual que este.
DISTANCIA DISCRETA
Demostraremos que esta funcin cumple con la axiomtica de distancia, es decir que 2 ; d D es
un espacio mtrico.
A1 Axioma de la separacin
Se cumple por definicin de distancia discreta.
A 2 Axioma de la simetra
Se cumple por definicin de distancia discreta. Si se trata del mismo punto, la
distancia a s mismo es 0. Si se trata de puntos distintos, la distancia entre ellos es
igual a 1.
3
A 3 Desigualdad triangular
dD A; B dD B ; C dD A; C
FAMILIA DE DISTANCIAS
Se define la siguiente familia de distancias de :
2
es decir que 2 ; d n es siempre un espacio mtrico. Veamos que ocurre al asignarle diferentes
valores a n:
d1 A ; B dT A ; B xa xb ya yb
d2 A ; B d P A ; B xa xb ya yb
2 2
d A ; B Sup xa xb ; ya yb
4
Si bien la frmula que utilizamos para distancia infinito parece ser muy distinta a la de esta familia
de distancias, trabajando con lm se puede demostrar que, en efecto, es un caso particular de ella.
n
1. X Y
2. X Y
3. X Y
En el caso en que X Y , podemos expresar a Y como k . X , con 0 k 1 .
d A ; B lm n X n k . X
n
d A ; B lm n X n k n . X n
n
d A ; B lm n 1 k n . X n
n
d A ; B lm n 1 0 . X n
n
d A ; B lm n X n
n
d A ; B X
d A ; B lm n X n X n
n
d A ; B lm n 2. X n
n
d A ; B lm n 2 . n X n
n
d A ; B 1. X
d A ; B X
Queda as demostrado que, cualquiera sea el caso, esta distancia es igual a la definida como
distancia infinito.