I.S.F.D.

N 99
Topologa, 3er ao, Profesorado en Matemtica
Profesor Federico Rivolta

ESPACIOS MTRICOS: DEMOSTRACIONES

Un espacio mtrico es una estructura que consiste en un espacio (un conjunto de

puntos como por ejemplo la recta real o el plano cartesiano) y una distancia definida en l.
Una distancia es una funcin que asigna, a cada par de puntos del espacio, un nmero real
mayor o igual a cero. Se deben cumplir 3 axiomas para que la funcin definida en dicho
espacio sea una distancia y la estructura sea, en efecto, un espacio mtrico:
A1 Axioma de la separacin
d A; B 0 A B

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

Trabajaremos con algunas distancias ms conocidas de 2 , aunque estas mismas se

las puede definir de manera anloga en otros espacios.

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 xb xa yb ya Por propiedad de mdulos.

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

Por conmutatividad de la suma de reales:

xa xb xb xc ya yb yb yc xa xc ya yc

Adems, por propiedad de mdulos:

xa xb xb xc ya yb yb yc xa xb xb xc ya yb yb yc

Este segundo miembro es igual a la distancia taxi entre A y C:

xa xb xb xc ya yb yb yc xa xc ya yc

DISTANCIA INFINITO

Siendo A xa ; ya y B xb ; yb dos puntos del plano, se denomina distancia infinito o distancia

del ajedrez a la funcin d : 2 2 0 / d A ; B Sup xa xb ; ya yb .

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

d A ; B Sup xb xa ; yb ya Por propiedad de mdulos.

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

Sup xa xb ; ya yb Sup xb xc ; yb yc Sup xa xc ; ya yc

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.

Primer caso: Sup xa xc ; ya yc xa xc

Elijo aquellos que tienen la coordenada x, llegando a:

xa xb xb xc xa xc Esto se cumple por propiedad de mdulos.

Segundo caso: Sup xa xc ; ya yc ya yc

Elijo aquellos que tienen la coordenada y, llegando a:

ya yb yb yc ya yc Esto se cumple por propiedad de mdulos.

DISTANCIA DISCRETA

Siendo A xa ; ya y B xb ; yb dos puntos del plano, se denomina distancia discreta a la funcin

0 si A B
d D : 2 2 0 / d D A ; B .
1 si A B
Esta distancia se la define de la misma manera para cualquier conjunto de puntos.

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

Debemos analizar los 8 casos posibles:

1) 0 0 0 Se cumple
2) 0 0 1 Este caso no es posible, por transitividad.
3) 0 1 0 Este caso no es posible, por transitividad.
4) 0 1 1 Se cumple.
5) 1 0 0 Este caso no es posible, por transitividad.
6) 1 0 1 Se cumple.
7) 1 1 0 Se cumple.
8) 1 1 1 Se cumple.
Los casos 2, 3 y 5 son absurdos, por transitividad, si dos puntos son iguales a un
tercero, son iguales entre s. En los cinco casos que s son posibles, se cumple la
desigualdad.

FAMILIA DE DISTANCIAS
Se define la siguiente familia de distancias de :
2

Siendo A xa ; ya y B xb ; yb dos puntos del plano, toda funcin de forma

dn A ; B n xa xb ya yb , con n perteneciente a los nmeros naturales, es una distancia,

n n

es decir que 2 ; d n es siempre un espacio mtrico. Veamos que ocurre al asignarle diferentes
valores a n:

Si n 1 , se trata de la distancia taxi:

d1 A ; B dT A ; B xa xb ya yb

Si n 2 , se trata de la distancia usual, ordinaria o pitagrica

d2 A ; B d P A ; B xa xb ya yb
2 2

Si n tiende a infinito, se trata de otra conocida distancia, precisamente la distancia infinito:

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

A d A ; B lm xa xb ya yb , la expresamos como d A ; B lm n X n Y n , con

n n
n
n n

X , Y , luego consideramos los siguientes tres casos posibles:
0

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

0 k 1, por lo tanto lm k n 0 , quedando:

n

d A ; B lm n 1 0 . X n
n

d A ; B lm n X n
n

d A ; B X

En el segundo caso, se obtiene d A ; B Y de forma anloga al primero.

En el tercer y ltimo caso, X Y , por lo que queda:

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.