Licenciatura en Enseñanza de la Matemática

Estructuras Topológicas y Geométricas y Aplicaciones Didácticas
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 simetría y que d

≥0, se cumplen por tratarse del módulo de números
reales.
1) Como d

es el conjunto formado por el máximo de los módulos de las diferencias entre las
coordenadas de x e y, por propiedad de los módulos resulta que d

≥0.
2) La simetría 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 definición de distancia infinita, si el máximo 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 definición de distancia infinita, sumando y restando z
i
, operando, por definición de distancia
infinita.
B) Las propiedades de simetría y que d
1
≥0, se cumplen por tratarse del módulo de números
reales.
1) Como d

es el conjunto formado por el máximo de los módulos de las diferencias entre las
coordenadas de x e y, por propiedad de los módulos resulta que d

≥0.
2) La simetría 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 términos 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 definición de d
1
, sumando y restando z
1
, asociando y aplicando la desigualdad triangular,
conmutando los módulos, aplicando definición 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) Interpretación geométrica
{ } { } 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 potenciación y
radicación
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 paréntesis z
1
y z
2
y luego por la definición 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 + + ≤ +
Demostración
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
+ ≤
Demostración
[ ] ( ) ( ) ( ) ( ) ·
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 definición 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 término 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 términos 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 definición 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 conclusión [ ] [ ] ) , ( ) , ( ) , ( ) , ( ) , ( ) , (
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 euclídea
EJERCICIO 6
y x
y x

·
si
si
Dado un conjunto X no vacío se define d: XxX en R por:
¹
'
¹
·
1
0
) , ( y x d

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

Demostración:
1)
0 ) , ( ≥ y x d
por definición 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 también d(y,x)=1 entonces d(x,y)=d(y,x)
3)
y x y x d · ⇔ ·0 ) , (
por definición 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 también una distancia en X.
ii) ¿Cuál es el diámetro de X para esta distancia D?
Demostración
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 expresión
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 justificación.
Por lo tanto,
0
) , ( 1
) , (

+ y x d
y x d
y así demostramos que
0 ) , ( ≥ y x D
b) Demostremos ahora la simetría:

) , ( 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 expresión anterior tenemos
) , (
) , ( 1
) , (
x y D
x y d
x y d
·
+
por definición 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 + + + ≤
Habíamos supuesto que
) , ( ) , ( ) , ( y z D z x D y x D + ≤
y llegamos a una expresión
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 límites de esta distancia sabemos que si d tiende a 0, D también
tiende a 0 y si d tiende a infinito entonces D tiende a 1. En conclusión, el
1 δ(X) ·
(diámetro de X es 1).
Otra forma de Demostrar este ejercicio sería la siguiente:
Tomemos estas dos expresiones por definición 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 métricas d
1
y d
2
. Probar que para
cualquier par de constantes reales, positivas a y b, la función
) , ( . ) , ( . ) , (
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 expresión 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 definición de d,
por propiedad de los números reales positivos, por definición 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 euclídea.
{ }
[ ]
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
Continúa en la página siguiente…
ii) Consideremos el conjunto { } 1 ) , ( /
3
< ∈ · y x d R y B con x={1,2,0}
El siguiente gráfico 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 vértices en (0;2;0) - (1;1;0) – (1;3;0)
– (2;2;0). También existen los puntos (1;2;1) y (1;2;-1).
Los gráficos están realizados desde distintos
puntos de vista según la posición del observador.
La gráfica de d

para el punto x=(1;2;0) son los punto interiores de un cubo cuyos
vértices 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 métricas equivalentes se existen a, b números reales
positivos tales que: a.d
1
≤ d
2
≤ b.d
1
. ¿Son equivalentes las métricas que hemos definido
en el plano y en el espacio?
1) Considero las distancias d

y d
1
.
Si analizamos la definición de dichas distancias concluimos que d

≤ d
1
. Ya que en d
1
siempre estamos sumando los módulos, en cambio en d

, sólo consideramos el
máximo des éstos.
Luego basta considerar:
Que existen a=1 y b=2 que son dos números 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
∞ ∞
· − − ≤ · − + − ≤ − − ·
Conclusión:
∞ ∞
≤ ≤ d b d d a . .
1
y las distancias son equivalentes
2) Considero ahora las distancias d
1
y d
2
(distancia euclídea)
Por definición de distancia euclídea, como d
2
se representa con la hipotenusa de un
triángulo rectángulo y por la desigualdad triangular la suma de dos lados de un
triángulo 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.

se cumplen por tratarse del módulo de números reales. si el máximo del conjunto es cero xi – yi=0. x = (x1 . = max| xi − yi | con.2 = 0 ⇔ xi − yi = 0 ⇔ xi = yi por definición de distancia infinita. = 0 ⇔ max| xi − yi | con. z) x) infinita.2 = d(y. 2) La simetría se cumple: doo (x. por propiedad de los módulos resulta que d∞≥0. por propiedad de los módulos resulta que d∞≥0.x2 ) } A) doo (x.y) = x1 − y1 − x2 − y2 i) Probaremos que son distancias en R2 A) Las propiedades de simetría y que d∞≥0. x) . 4) { } { doo (x.2 B) d1 (x. = 1. + d(z.y) = max{ xi − yi .2 = max| yi − zi + zi − xi | con i = 1.2 ⇔ max yi − xi con i = 1.EJERCICIO 3 Funciones de R2 x R2 con valores R.x) { } { } y) { i } 3) doo (x. por definición de distancia infinita.2 = d∞ ( y.y) = max | xi − yi | con.2} + max| zi − xi | coni = 1. por definición de distancia B) Las propiedades de simetría y que d1≥0.2} ≤ y) i { { } ≤ max| yi − zi | coni = 1.y) = x1 − y1 + x2 − y2 = y1 − x1 + y2 − x2 = d(y. = 1. 2) La simetría se cumple: d1 (x. luego sumando miembro a miembro yi. 1) Como d∞ es el conjunto formado por el máximo de los módulos de las diferencias entre las coordenadas de x e y. se cumplen por tratarse del módulo de números reales. 1) Como d∞ es el conjunto formado por el máximo de los módulos de las diferencias entre las coordenadas de x e y.i = 1.i = 1. operando. sumando y restando zi.

y) = max{| 4 − 7 |.y) = 4 −7 + −3 −2 = 8 iii) Interpretación geométrica d∞ (x.y) = x1 − y1 + x2 − y2 = y1 − z1 + z1 − x1 + y2 − z2 + z2 − x2 4) ≤ y1 − z1 + z1 − x1 + y2 − z2 + z2 − x2 ≤ ≤ y1 − z1 + y2 − z2 + z1 − x1 + z2 − x2 ≤ d(y. | −5 |} = 5 2) d1 (x. asociando y aplicando la desigualdad triangular. aplicando definición de d1.2) 1) d∞ (x.-3) y= (7. | −3 − 2 |} = max{| −3 |. conmutando los módulos.z) + d(z. ii) x= (4. sumando y restando z1.y) = max{| 4 − 7 |.y2 |= 0 ⇔ aplicandopropiedaddel valorabsolutose tieneque x1 − y1 = 0 ∧ x2 − y2 = 0 ⇔ x1 = y1 ∧ x2 = y2 ⇔ x = y d1 (x.x) por definición de d1.y) = 0 ⇔ x1 − y1 + x2 − y2 = 0 estoseda enel casode ambostérminosseancero 3) Hacemos| x1 . | −3 − 2 |} = max{| −3 |.y) = 4 − 7 + −3 − 2 = 8 . | −5 |} = 5 Referencia: distancia ∞ 2) d1 (x.y1 |= 0 y | x2 .d1 (x.

y2 ) 2 ≤ ( x12 + x22 ).y) = (x1 − y1 )2 + (x2 − y2 )2 = (x1 − z1 − y1 + z1 )2 + (x2 − z2 − y2 + z2 )2 = ón = [(x1 − z1 ) − (y1 − z1 )] 2 + [(x2 − z2 ) − (y2 − z2 )] 2 = d2 (x− z. y − z ) = e [ ( x1 − z1 ) − ( y1 − z1 ) ] 2 + [ ( x2 − z 2 ) − ( y 2 − z 2 ) ] 2 Demostraci : d2 (x. iii) Probar que: x1 .y2 ≤ x12 + x22 .y − z) Definimos previament que d2 ( x − z.y) = (x1 − y1 )2 + (x2 − y2 )2 = 0 ⇔ x = y Por propiedad de la potenciación y radicación ii) Probar que: d2 (x.y) = (x1 − y1 )2 + (x2 − y2 )2 i) d2 (x.( y12 + y22 ) Elevando ambos miembros a ½ se tiene que: .y − z) Sumando y restando en los paréntesis z1 y z2 y luego por la definición antes expuesta se demuestra la igualdad.referencia: d1 EJERCICIO 4 d2 (x.y) = d2 (x− z.y1 + x2 . y12 + y22 Demostración Por la desigualdad de Cauchy-Shwarz se tiene: ( x1 .y1 + x2.y) = 0 ⇔ x = y d2 (x.

z ) + d ( z . ∑ ( xi − z i ).( xi − z i ).z) + d2 (z. .( z i − y i )   i =1  1 2 ≥ Aplicamos en el último término la desigualdad de Cauchy-Bunyakovsky-Schwarz y nos  2  2 2 2 2 ≥ ( x1 − z1 ) + ( x 2 − z 2 ) + ( z1 − y1 ) + ( z 2 − y 2 ) + 2.y2 ≤ x1 + x2 . z ) + d ( z . dibujaremos las distintas distancias en el } A) doo (x. y ) ] 2 En conclusión [ d ( x. y1 + y2 2 2 2 2 iv) Probar que d2 (x.( z i − yi ) = ∑ [ ( xi − z i ) + ( z i − yi ) ] = ∑ ( xi − y i ) = 2 2 i =1 i =1 ] 2 2 Multiplicamos y dividimos el exponente por 2 y aplicamos la definición de d2: = ∑ ( xi − y i ) i =1 2 1  2.y)  1} plano. y ) ] 2 ≥ [ d ( x.2 < 1 . z ) + d ( z . ∑ ( xi − z i ) . 3). así nos queda: =∑ i =1 2 [ ] [ 2 ] [( x − z ) i i 2 + ( z i − y i ) + 2. Ahora desarrollamos el cuadrado de un binomio [ d ( x. y ) ] queda: 2 = ( x1 − z1 ) + ( x 2 − z 2 ) + ( z1 − y1 ) + ( z 2 − y 2 ) 2 2 2 [ ] [ 2 ]  2 2 2 + 2.x1 .y) = max{ xi − yi . EJERCICIO 5 Dado B = {y ∈ R2 /d(x.( z i − y i )  =  i =1  Luego expresamos los términos como una sumatoria y simplificamos zi. y ) ≥ d ( x.i = 1. z ) + d ( z . y ) que es la tesis.2  2  = [( x − y ) 1 1 2 + ( x2 − y 2 ) 2 2 ] = [ d ( x. y ) ] 2 =   ( x1 − z1 ) 2 + ( x 2 − z 2 ) 2 + ( z1 − y1 ) 2 + ( z 2 − y 2 ) 2    = por definición de d2.y) ≤ d2 (x.y) Demostración 2 [ d ( x. Con X= (-2.y1 + x2 . y ) ] 2 ⇒ d ( x.

B) d1 (x.y) < 1 = ( x1 − y1 − x2 − y2 ) <1 Distancia euclídea EJERCICIO 6 .

y ) = 1   d ( z . y ) = 0 s x =y i Demostración: 1) d ( x. 3 y 4 d es una distancia en X. y ) = 1   se cumple Si x=y y x≠ z se tiene se cumple Si x≠ y y x=z se tiene se cumple Si x≠ y y x≠ z se tiene d ( x. y) = 1  d ( z.y)=d(y. y ) = 0   d ( z. por definición de d d ( x.y)=d(y. . ii) Caracterizar los conjuntos { x ∈ X / d ( x. y ) =  1 i) Probar que d es una distancia en X. x) = 1  ⇒ d ( z. x ) = 0 entonces d(x.x)=1 entonces d(x. x ) = 0 ⇒ d ( z. Llamada distancia discreta. x0 ) < 1} = { x 0 } . x) = 1 ⇒ d ( z.Dado un conjunto X no vacío se define d: XxX en R por: i0 x ≠ y s d ( x. y ) = 0 ⇔ x = y por definición de d 4) Si x=y y x=z se tiene d ( x. x 0 ) ≤ 1} En el primer conjunto se tiene { x ∈ X / d ( x.x) 3) d ( x. es un conjunto unitario cuyo único elemento es x0. x) = 0  ⇒ d ( z. 2. y ) = 0   d ( z. y ) = 0 d ( x. y) = 1  se cumple Por los puntos 1. x 0 ) < 1} y{ x ∈ X / d ( x.y)=1 y también d(y. y ) ≥ 0 2) a) Si x=y tenemos que d ( y. y) = 1   d ( x.x) b) Si x≠ y tenemos que d(x.

y ) 1 +d ( x. d ( z .[1 + d ( x. y ) y como d es una distancia se cumple que d(x. y )] Simplificando. d ( y. y ) = D ( y . y ) d ( x. 1 + d ( y.y) = d(y. operando miembro a miembro y aplicando la propiedad distributiva nos queda: . z ) + d ( x. y ) ≥ 0 ⇔ d ( x. d ( z . x ) c) Demostremos que si D(x. z ). y )] ≤ . i) ii) Probar que D( x. y ) = 0 y como d es una distancia en R se tiene que x=y. y ) d ( x.y)≥0: D ( x. y ) + d ( z .[ 1 + d ( z .z + d(z. EJERCICIO 7 Sea una distancia d en un conjunto X. y ) = 0 ⇔ d ( x. x ) por definición de D. d ( x. y ) ≥ 0 1 + d ( x.[1 + d ( x. y ) [1 + d ( x. y ) ≤ D ( x. y ) Analizando el numerador y el denominador de este expresión nos encontramos que d(x. y ) ≥ 0 y así demostramos que D ( x.y)]>0 por la misma justificación. x=y D ( x. z )].y) ≥ 0 por ser d una distancia en R. y ) Demostración Vamos a demostrar las condiciones para que D sea una distancia en X. y ) = 0 ⇔ d ( x. Luego en el denominador [1 + d(x.y) ≤ d(x. y ) 1 + d ( x. y ) + d ( x. ¿Cuál es el diámetro de X para esta distancia D? d ( x. z ) + D ( z .x).y) por ser d distancia en R. { x ∈ X / d ( x. y )] 1 + d ( x. x) = D ( y . Por lo tanto. D ( x. x0 ) ≤ 1} = X es un conjunto igual al conjunto X ya que todos los elementos pertenecen a la distancia discreta. y ) = 1 + d ( x.y)=0. y ) ≥0 1 + d ( x. a) Vamos a demostrar que D(x. z ) d ( z. x ) reemplazando en la expresión anterior tenemos Nos queda entonces que: D ( x. z ). y ) b) Demostremos ahora la simetría: D ( x. y ) d ( x. z ) 1 +d ( z . y ) d ( x. y ) d) Demostraremos la desigualdad triangular: Recordemos previamente que se cumple d(x. 1 + d ( x. y ) es también una distancia en X.En el segundo. y ) = d ( x. y ) ≤ + 1 +d ( x. y ) .

y ) = a. y ) d ( x. d ( z . z ) +d ( x. z ).d 2 ( x. D también tiende a 0 y si d tiende a infinito entonces D tiende a 1. y ) ≤ = D( z . y ) ≤ d ( x.x). y ) Simplificando nos queda: d ( x. z ) ≤ = D ( x. b). d ( x. z ) + D( z. z ) + d ( z . d ( z .d 2 ( y. z ) 1 + d ( z . Como d1 y d2 son distancias en X entonces d1(x. y ) + d ( x. z ) ][1 + d ( z . y ) ≤ d ( x. y ) ≤ D( x. d ( z . Finalmente por a). z ) d ( x. z ). z ) + D ( z . z ) + d ( z .d ( x. x ) = d ( y.d ( x. Esto significa que se cumple dicha desigualdad. y ) 1 + d ( z . y ) Luego por propiedad distributiva: d ( x.y)=d(y. y ) 1) d(x. y ) + 2. z ). z ) d ( z. el δ(X) = 1 (diámetro de X es 1). y ). z ) d ( z . y ). y ). z ) + d ( z .d 1 ( y . z ) + d ( z .y)=d1(y. z ). y ) 1 + d ( x. y ) + d ( x. z ). y ) d ( x. d ( x. y ) 1 + d ( x. y ) 1 + d ( x. z ) d ( z. d ( z . y ) + d ( x. d ( x.[1 + d ( x. 2) d(x. y ) +d ( x. y ). la función d ( x. y ).x) y d2(x. y ) 1 + d ( x. z ) + d ( z . z ). y ) + d ( z . z ) 1 + d ( x. y ) Esta expresión es mayor o igual a cero por tratarse de distancias en R D ( x. d ( x. d ( x. z ) + d ( z . x) + b. z ) + D ( z . y ). y ) D ( x. y ) +d ( x.y) ≥0 por ser d1 y d2 dos distancias en X y por ser a y b reales positivos. y ) + 2.d ( x.y)=d2(y. d ( z . d ( x.x). y ) +d ( z . y ). Probar que para cualquier par de constantes reales. y ) (1) (2) Entonces podemos hacer: d ( x. Si analizamos los límites de esta distancia sabemos que si d tiende a 0. d ( x. En conclusión. y ) d ( z. z ) + 2. Otra forma de Demostrar este ejercicio sería la siguiente: Tomemos estas dos expresiones por definición de D y tengamos en cuenta que d es distancia en R: d ( x. y ) + d ( z . De estas igualdades resulta que d ( x. d ( z . x) . y )] ≤ . d ( x.d ( x.d 2 ( x. y ) ≤ D ( x. y ) = Así demostramos que: D( x. y ). y ) +d ( x. c) y d) se tiene que D es una distancia en X. y ) y llegamos a una expresión Habíamos supuesto que verdadera.d 1 ( x.d 1 ( x. d ( x. d ( z . y ) +d ( z . y ) + ≤ D ( x. y ). y ) = a. positivas a y b. y ) ≤ = 1 + d ( x.d ( x. y ) = a. y ) +2.d ( x. z ). d ( x. z ). y ) EJERCICIO 8 Sobre el mismo conjunto X se han definido dos métricas d1 y d2. y ) + b. z ) +2. y ) + b.

z ) + b. EJERCICIO 9 En Rn i) Generalizar las distancias definidas en el ejercicio 3 y la distancia euclídea. z ) + a. y ) = a.0) .2.d 2 ( x.2.. Los gráficos están realizados desde distintos puntos de vista según la posición del observador. z ) b.3. 4) d 1 ( x.0) – (1.1.d 2 ( x.2.d 1 ( x.d 2 ( y . y ) = [ ∑( x i =1 n i − yi ) 2 ] 1 2 Continúa en la página siguiente… ii) Consideremos el conjunto B = { y ∈ R 3 / d ( x.0} El siguiente gráfico representa la d1 para x=(1.0). y ) = 0 ⇔ d1 ( x.. z ) ] +[ a.d 1 ( x. y ) = ∑| xi − y i | i =1 n d 2 ( x.d1 ( x.1) y (1. y ) ≤ d 1 ( x. z ) Multiplicamos por a ambos miembros Multiplicamos por b ambos miembros Sumando las últimas expresiones nos queda: d ( x. También existen los puntos (1.2. n} d1 ( x. z ) + d 1 ( y .2. por definición de d1 y d2.d 2 ( x. y ) ≤ d 2 ( x. i = 1. z ) + b. y ) ≤ a.d1 ( x. z ) Por 1. por propiedad de los números reales positivos.-1).d 1 ( y .d 2 ( x.2. d ∞ ( x. y ) = max { xi − y i . y ) + b.3) d ( x. Son los puntos interiores de un octaedro pero en el plano xy se forma un rombo con vértices en (0. y ) ≤ [ a. y ) + b. y ) ≤ b.d 2 ( y .d 2 ( x. y ) = 0 ∧ d 2 ( x. z ) a.0).. z ) d 2 ( x. z ) + d ( y .d1 ( x. y ) = 0 ⇔ x = y Por definición de d. z ) + b. .0) – (2. z ) + d 2 ( y .2 3 y 4 d es una distancia en X.2. y ) = a. y ) < 1} con x={1.(1. z ) ] = d ( x.d1 ( y .

3.-1) – (0.-1) – (2.1.1.1) – (0.La gráfica de d∞ para el punto x=(1.1) – (2.3.3.2.0) son los punto interiores de un cubo cuyos vértices son: (0.-1) – (0.3.1) .-1) – (2.1) – (2.1.1.

0): EJERCICIO 10 Se dice que d1 y d2 son dos métricas equivalentes se existen a. Si analizamos la definición de dichas distancias concluimos que d∞ ≤ d1. Luego basta considerar: . b números reales positivos tales que: a. en cambio en d∞.La d2 es representada por los puntos interiores de una esfera de radio 1 y centro en (1. ¿Son equivalentes las métricas que hemos definido en el plano y en el espacio? 1) Considero las distancias d∞ y d1.2.d1 ≤ d2 ≤ b. Ya que en d1 siempre estamos sumando los módulos. sólo consideramos el máximo des éstos.d1.

tenemos que d2≤d1. x 2 − y 2 } = 2. y ) . como d2 se representa con la hipotenusa de un triángulo rectángulo y por la desigualdad triangular la suma de dos lados de un triángulo es mayor que el tercero. y ) b.d ∞ ( x. y ) Conclusión: a. y ) ≥ d 1 ( x. y ) = ( x1 − y1 ) 2 + ( x 2 − y 2 ) 2 ≤ x1 − y1 + x 2 − y 2 = d 1 ( x. . y ) ≤ 2. y ) = max { x1 − y1 . a =1 Considero entonces dos reales positivos b ≥ d 1 tales que: d2 d 2 ( x. y ) d 2 ( x. y ) (1) Ahora tomemos: d 1 ( x.d ∞ y las distancias son equivalentes 2) Considero ahora las distancias d1 y d2 (distancia euclídea) Por definición de distancia euclídea.d ∞ ≤ d1 ≤ b.d 2 ( x. x 2 − y 2 } ≤ x1 − y1 + x 2 − y 2 = d 1 ( x. y ) ≥ (2) Por lo antes expuesto en (1) y (2) las distancias d1 y d2 son equivalentes.d 2 ( x.Que existen a=1 y b=2 que son dos números reales positivos y 2 vemos que se cumple nuestra tesis: d ∞ ( x. max { x1 − y1 .

Sign up to vote on this title
UsefulNot useful