Licenciatura en Enseanza de la Matemtica

Estructuras Topolgicas y Geomtricas y Aplicaciones Didcticas

Unidad 2 - Actividad 1
Ciclo 2010
Alumno: Mora, Juan Carlos
EJERCICIO 3
Funciones de R
2
x R
2
con valores R, ) x , (x x
2 1

A)
{ } 1,2 i , y x max y) (x, d
i i oo

B) 2 2 1 1 1
y x y x y) (x, d
i) Probaremos que son distancias en R
2
A) Las propiedades de simetra y que d

0, se cumplen por tratarse del mdulo de nmeros

reales.
1) Como d

es el conjunto formado por el mximo de los mdulos de las diferencias entre las
coordenadas de x e y, por propiedad de los mdulos resulta que d

0.
2) La simetra se cumple:

{ } { } ( ) x y, d 1,2 i con x y max 1,2 i con, | y x | max y) (x, d
i i i i oo

3) { }
i i i i i i oo
y x 0 y x 0 1,2 i con, | y x | max 0 y) (x, d
por definicin de distancia infinita, si el mximo del conjunto es cero x
i
y
i
=0, luego sumando
miembro a miembro y
i
.
4)
{ } { }
{ } { } x) d(z, z) d(y, 1,2 i con | x z | max z y | max
i con | x z z y | max 1,2 i con, | y x | max y) (x, d
i i i i
i i i i i i oo
+ +
+
2 , 1 |
2 , 1
coni
por definicin de distancia infinita, sumando y restando z
i
, operando, por definicin de distancia
infinita.
B) Las propiedades de simetra y que d
1
0, se cumplen por tratarse del mdulo de nmeros
reales.
1) Como d

es el conjunto formado por el mximo de los mdulos de las diferencias entre las
coordenadas de x e y, por propiedad de los mdulos resulta que d

0.
2) La simetra se cumple:
x) d(y, x y x y y x y x y) (x, d
2 2 1 1 2 2 1 1 1
+ +
3)
y x y x y x 0 y x 0 y x
que tiene se absoluto valor del propiedad aplicando 0 | y - x | y 0 | y - x | Hacemos
cero sean trminos ambos de caso el en da se esto 0 y x y x 0 y) (x, d
2 2 1 1 2 2 1 1
2 2 1 1
2 2 1 1 1


+
4)
x) d(z, z) d(y, x z x z z y z y
x z z y x z z y
x z z y x z z y y x y x y) (x, d
2 2 1 1 2 2 1 1
2 2 2 2 1 1 1 1
2 2 2 2 1 1 1 1 2 2 1 1 1
+ + + +
+ + +
+ + + +
por definicin de d
1
, sumando y restando z
1
, asociando y aplicando la desigualdad triangular,
conmutando los mdulos, aplicando definicin de d
1
.
ii) x= (4,-3)
y= (7,2)
1) { } { } 5 y) (x, d

| 5 | |; 3 | max | 2 3 | |; 7 4 | max
2)
8 2 3 7 4 y) (x, d
1
+
iii) Interpretacin geomtrica
{ } { } 5 y) (x, d

| 5 | |; 3 | max | 2 3 | |; 7 4 | max
Referencia: distancia
2)
8 2 3 7 4 y) (x, d
1
+
referencia: d
1
EJERCICIO 4
i)
y x 0 ) y (x ) y (x y) (x, d
y x 0 y) (x, d
2
2 2
2
1 1 2
2
+

Por propiedad de la potenciacin y
radicacin
ii) Probar que:
( ) ( ) ( ) [ ] ( ) ( ) [ ]
[ ] [ ] z) y z; (x d ) z (y ) z (x ) z (y ) z (x
) z y z (x ) z y z (x ) y (x ) y (x y) (x, d : n Demostraci
d que e previament Definimos
z) y z; (x d y) (x, d
2
2
2 2 2 2
2
1 1 1 1
2
2 2 2 2
2
1 1 1 1
2
2 2
2
1 1 2
2
2 2
+
+ + + +
+

2
2 2 2 2
2
1 1 1 1
; z y z x z y z x z y z x
Sumando y restando en los parntesis z
1
y z
2
y luego por la definicin antes expuesta se
demuestra la igualdad.
iii) Probar que:
2
2
2
1
2
2
2
1 2 2 1 1
y y . x x .y x .y x + + +
Demostracin
Por la desigualdad de Cauchy-Shwarz se tiene:
( ) ( ) ( )
2
2
2
1
2
2
2
1
2
2 2 1 1
y y . x x .y x .y x + + +
Elevando ambos miembros a se tiene que:
2
2 2
2
1 1 2
) y (x ) y (x y) (x, d +
2
2
2
1
2
2
2
1 2 2 1 1
y y . x x .y x .y x + + +
iv) Probar que y) (z, d z) (x, d y) (x, d
2 2 2
+
Demostracin
[ ] ( ) ( ) ( ) ( )
1
]
1

+ + + +
2
2
2 2
2
1 1
2
2 2
2
1 1
2
) , ( ) , ( y z y z z x z x y z d z x d por definicin de d
2
. Ahora
desarrollamos el cuadrado de un binomio
[ ] ( ) ( ) [ ] ( ) ( ) [ ] ( ) ( )
,
_

+ + + + +

2
1
2
1
2 2 2
2 2
2
1 1
2
2 2
2
1 1
2
. . 2 ) , ( ) , (
i
i i i i
y z z x y z y z z x z x y z d z x d
Aplicamos en el ltimo trmino la desigualdad de Cauchy-Bunyakovsky-Schwarz y nos
queda:
( ) ( ) [ ] ( ) ( ) [ ] ( ) ( )
,
_

+ + + +

2
1
2
2 2
2
1 1
2
2 2
2
1 1
. . 2
i
i i i i
y z z x y z y z z x z x
Luego expresamos los trminos como una sumatoria y simplificamos z
i
, as nos queda:
( ) ( ) ( ) ( ) [ ] ( ) ( ) [ ] ( )


+ + +
2
1
2
1
2 2 2 2
2
1
. . 2
i i
i i i i i i i i i i i i i i
i
y x y z z x y z z x y z z x
Multiplicamos y dividimos el exponente por 2 y aplicamos la definicin de d
2
:
( ) ( ) ( ) [ ] [ ]
2
2
1
2
2
2 2
2
1 1
2 .
2
1
. 2
) , ( y x d y x y x y x
i
i i
+

,
_

En conclusin [ ] [ ] ) , ( ) , ( ) , ( ) , ( ) , ( ) , (
2 2
y x d y z d z x d y x d y z d z x d + + que es la tesis.
EJERCICIO 5
Dado { } 1 y) /d(x, R y B
2
Con X= (-2; 3), dibujaremos las distintas distancias en el
plano.
A)
{ } 1 < 1,2 i , y x max y) (x, d
i i oo
B)
1 ) ( < <
2 2 1 1 1
y x y x 1 y) (x, d
Distancia eucldea
EJERCICIO 6
y x
y x

si
si
Dado un conjunto X no vaco se define d: XxX en R por:

'

1
0
) , ( y x d

i) Probar que d es una distancia en X. Llamada distancia discreta.

Demostracin:
1)
0 ) , ( y x d
por definicin de d
2) a) Si x=y tenemos que
0 ) , (
0 ) , (

x y d
y x d
entonces d(x,y)=d(y,x)
b) Si x y tenemos que d(x,y)=1 y tambin d(y,x)=1 entonces d(x,y)=d(y,x)
3)
y x y x d 0 ) , (
por definicin de d
4) Si x=y y x=z se tiene

0 ) , (
0 ) , (
0 ) , (
y z d
x z d
y x d
se cumple
Si x=y y x z se tiene

1 ) , (
1 ) , (
0 ) , (
y z d
x z d
y x d
se cumple
Si x y y x=z se tiene

1 ) , (
0 ) , (
1 ) , (
y z d
x z d
y x d
se cumple
Si x y y x z se tiene

1 ) , (
1 ) , (
1 ) , (
y z d
x z d
y x d
se cumple
Por los puntos 1, 2, 3 y 4 d es una distancia en X.
ii) Caracterizar los conjuntos
{ } { } 1 ) , ( / 1 ) , ( /
0 0
< x x d X x y x x d X x
En el primer conjunto se tiene
{ } { }
0 0
1 ) , ( / x x x d X x <
, es un conjunto unitario cuyo nico
elemento es x
0
.
En el segundo,
{ } X x x d X x 1 ) , ( /
0
es un conjunto igual al conjunto X ya que todos los
elementos pertenecen a la distancia discreta.
EJERCICIO 7
Sea una distancia d en un conjunto X.
i) Probar que
) , ( 1
) , (
) , (
y x d
y x d
y x D
+

es tambin una distancia en X.

ii) Cul es el dimetro de X para esta distancia D?
Demostracin
Vamos a demostrar las condiciones para que D sea una distancia en X.
a) Vamos a demostrar que D(x,y)0:
0
) , ( 1
) , (
0 ) , (
+

y x d
y x d
y x D
Analizando el numerador y el denominador de este expresin
nos encontramos que d(x,y) 0 por ser d una distancia en R. Luego en el denominador
[1 + d(x,y)]>0 por la misma justificacin.
Por lo tanto,
0
) , ( 1
) , (

+ y x d
y x d
y as demostramos que
0 ) , ( y x D
b) Demostremos ahora la simetra:

) , ( 1
) , (
) , (
y x d
y x d
y x D
+

y como d es una distancia se cumple que d(x,y) = d(y,x).

reemplazando en la expresin anterior tenemos
) , (
) , ( 1
) , (
x y D
x y d
x y d

+
por definicin de D.
Nos queda entonces que:
) , ( ) , ( x y D y x D
c) Demostremos que si D(x,y)=0, x=y
0 ) , ( 0
) , ( 1
) , (
0 ) , (
+
y x d
y x d
y x d
y x D
y como d es una distancia en R se tiene que x=y.
d) Demostraremos la desigualdad triangular:
Recordemos previamente que se cumple d(x,y) d(x,z + d(z,y) por ser d distancia en R.
) , ( 1
) , (
) , ( 1
) , (
) , ( 1
) , (
) , ( ) , ( ) , (
y z d
y z d
z x d
z x d
y x d
y x d
y z D z x D y x D
+
+
+

+
+
[ ] [ ] ) , ( 1 .
)] , ( 1 )].[ , ( 1 [
) , ( ). , ( ) , ( ) , ( ). , ( ) , (
) , ( 1 .
) , ( 1
) , (
y x d
y z d z x d
y z d z x d y z d y z d z x d z x d
y x d
y x d
y x d
+
+ +
+ + +
+
+
Simplificando, operando miembro a miembro y aplicando la propiedad distributiva nos
queda:
[ ] [ ]
) , ( ). , ( ) , ( ). , ( ). , ( . 2 ) , ( ). , ( ) , ( ) , ( ). , ( . 2 ) , (
) , ( 1 . ) , ( 1 ). , (
y x d y z d y x d y z d z x d y x d z x d y z d y z d z x d z x d
y z d z x d y x d
+ + + + +
+ +
Luego por propiedad distributiva:

) , ( ). , ( ) , ( ). , ( ). , ( . 2 ) , ( ). , ( ) , ( ) , ( ). , ( . 2 ) , (
) , ( ). , ( ). , ( ) , ( ). , ( ) , ( ). , ( ) , (
y x d y z d y x d y z d z x d y x d z x d y z d y z d z x d z x d
y z d z x d y x d y z d y x d z x d y x d y x d
+ + + + +
+ + +
Simplificando nos queda:
) , ( ). , ( ) , ( ) , ( ). , ( . 2 ) , ( ) , ( ) , ( y x d y z d z x d y z d z x d y z d z x d y x d + + +
Habamos supuesto que
) , ( ) , ( ) , ( y z D z x D y x D +
y llegamos a una expresin
verdadera. Esto significa que se cumple dicha desigualdad.
Finalmente por a), b), c) y d) se tiene que D es una distancia en X.
Si analizamos los lmites de esta distancia sabemos que si d tiende a 0, D tambin
tiende a 0 y si d tiende a infinito entonces D tiende a 1. En conclusin, el
1 (X)
(dimetro de X es 1).
Otra forma de Demostrar este ejercicio sera la siguiente:
Tomemos estas dos expresiones por definicin de D y tengamos en cuenta que d es
distancia en R:
) , (
) , ( 1
) , (
) , ( ) , ( 1
) , (
z x D
z x d
z x d
y z d z x d
z x d

+ +
(1)
) , (
) , ( 1
) , (
) , ( ) , ( 1
) , (
y z D
y z d
y z d
z x d y z d
y z d

+ +
(2)
Entonces podemos hacer:

+ +
+

) , ( ) , ( 1
) , ( ) , (
) , ( 1
) , (
) , (
y z d z x d
y z d z x d
y x d
y x d
y x D
) , ( ) , (
) , ( ) , ( 1
) , (
) , ( ) , ( 1
) , (
y z D z x D
y z d z x d
y z d
y z d z x d
z x d
+
+ +
+
+ +
As demostramos que:
) , ( ) , ( ) , ( y z D z x D y x D +

EJERCICIO 8
Sobre el mismo conjunto X se han definido dos mtricas d
1
y d
2
. Probar que para
cualquier par de constantes reales, positivas a y b, la funcin
) , ( . ) , ( . ) , (
2 1
y x d b y x d a y x d +
1) d(x,y) 0 por ser d
1
y d
2
dos distancias en X y por ser a y b reales positivos.
2) d(x,y)=d(y,x). Como d
1
y d
2
son distancias en X entonces d
1
(x,y)=d
1
(y,x) y
d
2
(x,y)=d
2
(y,x). De estas igualdades resulta que
) , ( ) , ( . ) , ( . ) , ( . ) , ( . ) , (
2 1 2 1
x y d x y d b x y d a y x d b y x d a y x d + +

Esta expresin es mayor o igual a cero por tratarse de
distancias en R
3)
y x y x d y x d y x d b y x d a y x d + 0 ) , ( 0 ) , ( 0 ) , ( . ) , ( . ) , (
2 1 2 1
Por definicin de d,
por propiedad de los nmeros reales positivos, por definicin de d
1
y d
2
.
4)
) , ( . ) , ( . ) , ( .
) , ( ) , ( ) , (
1 1 1
1 1 1
z y d a z x d a y x d a
z y d z x d y x d
+
+
Multiplicamos por a ambos miembros

) , ( . ) , ( . ) , ( .
) , ( ) , ( ) , (
2 2 2
2 2 2
z y d b z x d b y x d b
z y d z x d y x d
+
+
Multiplicamos por b ambos miembros
Sumando las ltimas expresiones nos queda:

[ ] [ ] ) , ( ) , ( ) , ( . ) , ( . ) , ( . ) , ( . ) , ( . ) , ( . ) , (
2 1 2 1 2 1
z y d z x d z y d b z y d a z x d b z x d a y x d b y x d a y x d + + + + +
Por 1,2 3 y 4 d es una distancia en X.
EJERCICIO 9
En R
n
i) Generalizar las distancias definidas en el ejercicio 3 y la distancia eucldea.
{ }
[ ]
2
1
1
2
2
1
1
) ( ) , (
| | ) , (
,.., 2 , 1 , max ) , (

n
i
i i
n
i
i i
i i
y x y x d
y x y x d
n i y x y x d
Contina en la pgina siguiente
ii) Consideremos el conjunto { } 1 ) , ( /
3
< y x d R y B con x={1,2,0}
El siguiente grfico representa la d
1
para x=(1;2;0). Son los puntos interiores de un
octaedro pero en el plano xy se forma un rombo con vrtices en (0;2;0) - (1;1;0) (1;3;0)
(2;2;0). Tambin existen los puntos (1;2;1) y (1;2;-1).
Los grficos estn realizados desde distintos
puntos de vista segn la posicin del observador.
La grfica de d

para el punto x=(1;2;0) son los punto interiores de un cubo cuyos

vrtices son:
(0;1;-1) (0;1;1) (0;3;-1) (0;3;1) (2;1;1) (2;1;-1) (2;3;-1) (2;3;1)
La d
2
es representada por los puntos interiores de una esfera de radio 1 y centro en
(1;2;0):
EJERCICIO 10
Se dice que d1 y d2 son dos mtricas equivalentes se existen a, b nmeros reales
positivos tales que: a.d
1
d
2
b.d
1
. Son equivalentes las mtricas que hemos definido
en el plano y en el espacio?
1) Considero las distancias d

y d
1
.
Si analizamos la definicin de dichas distancias concluimos que d

d
1
. Ya que en d
1
siempre estamos sumando los mdulos, en cambio en d

, slo consideramos el
mximo des stos.
Luego basta considerar:
Que existen a=1 y b=2 que son dos nmeros reales positivos y 2 vemos que se
cumple nuestra tesis:
{ } { } ) , ( . 2 , max . 2 ) , ( , max ) , (
2 2 1 1 1 2 2 1 1 2 2 1 1
y x d y x y x y x d y x y x y x y x y x d

+
Conclusin:

d b d d a . .
1
y las distancias son equivalentes
2) Considero ahora las distancias d
1
y d
2
(distancia eucldea)
Por definicin de distancia eucldea, como d
2
se representa con la hipotenusa de un
tringulo rectngulo y por la desigualdad triangular la suma de dos lados de un
tringulo es mayor que el tercero, tenemos que d
2
d
1
.
Considero entonces dos reales positivos
2
1
1
d
d
b
a

tales que:
( ) ( ) ) , ( ) , (
1 2 2 1 1
2
2 2
2
1 1 2
y x d y x y x y x y x y x d + + (1)
Ahora tomemos:
) , ( ) , ( .
) , (
) , (
) , ( .
1 2
2
1
2
y x d y x d
y x d
y x d
y x d b
(2)
Por lo antes expuesto en (1) y (2) las distancias d
1
y d
2
son equivalentes.