Espacios Metricos

El concepto de (norma) nos da una nocion de distancia, el tener una nocion de distancia en
R o mas generalmente en R
n
, es lo que nos permite hablar de limite o de convergencia.
Consideremos la nocion com un de distancia entre dos puntos en R
3
.
Si x = (x
1
, x
2
, x
3
) y = (y
1
, y
2
, y
3
)
x y =
_
(x
1
y
1
)
2
+ (x
2
y
2
)
2
+ (x
3
y
3
)
2
Esta distancia la denominamos metrica euclidiana y la generalizamos en R
n
en la siguiente
denicion.
Denicion: Sean x = (x
1
, . . . , x
n
) y y = (y
1
, . . . , y
n
) elementos cualesquiera de R
n
denimos la
distancia euclidiana entre ellos como
d( x, y) = x y =
_
(x
1
y
1
)
2
+ . . . + (x
n
y
n
)
2
La funcion d : R
n
R
n
R se denomina distancia o metrica euclidiana.
Proposicion: Para cualequiera vectores x, y, z R
n
se tiene:
i. d( x, y) 0
ii. d( x, y) = d( y, x)
iii. d( x, y) d( x, z) + d( z, y)
iv. d( x, y) = 0 x = y
Demostracion :
1. Como d(x, y) = x y 0 entonces d( x, y) 0 tambien si d(x, y) = 0
x y = 0 x = y
2. d( x, y) = x y = x y = y x = d( y, x)
1
3. d( x, y) = x y = x z + z y x z + z y = d( x, z) + d( z, y)
Metrica discreta.- Demostrar que la metrica denida por d(a, b) =
_
_
_
0 a = b
1 a = b
satisface los
axiomas de metrica
Demostracion :
1. Sean a, b R
n
entonces d(a, b) = 1 o d(a, b) = 0 d(a, b) 0
2. Sean a, b R
n
Si a =

b d( a,

b) = 1 y si

b = a d(b, a) = 1 d(a, b) = 1 =
d(b, a)
Ahora bien si a = b entonces d(a, b) = 0 =

d(b, a)
* Si a = b entonces b = a por lo tanto d(b, a) = 0
3. Sean a,

b, c R
n
a =

b = c
d( a,

b) = 1, d(

b, c) = 1 y
d( a,

b) = 1
d(a, c) = 1 1 + 1 = d(a, b) + d(b, c)
Metrica C[a, b].- Sea C[a, b] el conjunto de las funciones reales contunias en el intervalo cerrado
[a, b]. Sean f, g C[a, b] denimos
d(f, g) = max
x [a,b]
{|f(x) g(x)|}
demostrar que d es una metrica.
Demostracion :
1. Como |f(x) g(x)| 0 para todo x [a, b] entonces max{|f(x) g(x)|} 0
por lo tanto d(f, g) 0
2. d(f, g) = 0
max
x [a,b]
{|f(x) g(x)|} = 0
|f(x) g(x)| = 0
f(x) = g(x) x [a, b]
2
3. d(f, g) = max
x [a,b]
{|f(x) g(x)|} =

max
x [a,b]
{|g(x) g(x)|} = d(g, f)
* |f(x) g(x)| = |g(x) f(x)| x
4. d(f, g) = max
x [a,b]
{|f(x) g(x)|}
max
x [a,b]
{|f(x) g(x)|} = max
x [a,b]
{|f(x) h(x) + h(x) g(x)|}
max
x [a,b]
{|f(x) h(x)| +|h(x) g(x)|}
max
x [a,b]
{|f(x) h(x)|} + max
x [a,b]
{|h(x) g(x)|}
d(f, g) d(f, h) + d(h, g)
Probar que en el espacio de sucesiones {a
n
} de n umeros reales tales que

1
|a
n
| < .
La aplicaci on d(x
n
, y
n
) =

1
|x
n
y
n
| es una distancia.
Prueba :
1. Como |x
n
y
n
| 0 n N entonces

1
|x
n
y
n
| 0
por lo tanto d(x
n
, y
n
) 0
2. d(x
n
, y
n
) = 0

1
|x
n
y
n
| = 0
|x
n
y
n
| = 0 n N
x
n
y
n
= 0 n N
x
n
= y
n
3. d(x
n
, y
n
) =

1
|x
n
z
n
|

1
|x
n
z
n
|

1
|x
n
y
n
| +|y
n
z
n
|
=

1
|x
n
y
n
| +

1
|y
n
z
n
|
= d(x
n
, y
n
) + d(y
n
, z
n
)
3
Ejercicio: Sea d una metrica de un conjunto no vacio X. Demostrar que la funcion e denida
por e(a, b) = mn(1, d(a, b)) donde a, b X tambien es una metrica de X.
Solucion :
1. Sean a, b X. Puesto que d es una metrica d(a, b) 0 entonces e(a, b) = 1
o e(a, b) = d(a, b) 0, en cualquier caso e(a, b) 0
2. Si a = b entonces e(a, b) = mn(1, d(a, b)) = mn(1, 0) = 0
3. Sea a, b X. Por denicion e(a, b) = d(a, b) o e(a, b) = 1
Supongamos e(a, b) = d(a, b)) entonces d(a, b) < 1.
Puesto que d(a, b) es una metrica d(a, b) = d(b, a) < 1. En consecuencia e(b, a) =
d(a, b) = e(a, b), por otro lado supongase que e(a, b) = 1, entonces d(a, b) 1
d(b, a) 1
por lo tanto e(a, b) = 1 = e(b, a)
Sean ahora a, b, c X. Demostremos la desigualdad triangular. Por demostrar e(a, c)
e(a, b) + e(b, c)
Observese que e(a, c) = mn{1, d(a, c)} 1 de donde e(a, b) = 1 o e(b, c) = 1
e(a, c) e(a, b) + e(b, c) pero puede ocurrir e(a, b) < 1 y e(b, c) < 1
e(a, b) = d(a, b) e(b, c) = d(b, c)
por lo tanto e(a, c) = mn(1, d(a, c)) d(a, c) d(a, b) + d(b, c) = e(a, b) + e(b, c).
Sea d(f, g) =
_
1
0
|f(x) g(x)| Es d una metrica?
Solucion: No, ya que si consideramos f(x) = 0 x, g(x) =
_
_
_
0 0 x 1
1 x = 1
entonces
f(x) g(x) = 0 pero f = g
d no es una metrica.
4
CALCULO DIFERENCIAL E INTEGRAL III
TAREA 5
Profa. Ana Belem Zavaleta Ramos, Profa. Pamela Villamil Sapien, Prof. Esteban Ruben Hurtado Cruz
1.- Demostrar la formula para calcular la torsion de una funcion vectorial f(t)
=
[f

(t)xf

(t)] f

(t)
f

(t)xf

(t)
2
2.- Si f(s) es la reparametrizacion por longitud de arco de una funcion f(t), demostar que
=
[f

(t)xf

(t)] f

(t)
f

(t)xf

(t)
2
3.- Calcular la torsion de la helice f(t) =
_
1

2
(cos(t) sin(t), t)
_
4.- Mostar que si una trayectoria esta en un plano, entonces su torsion es cero.
5.- Demostrar la desigualdad de Minkowski: Dados un par de puntos cualesquiera p = (a
1
, . . . , a
n
)
y q = (b
1
, . . . , b
n
) de R
n
, p+q p+q es decir
_

|a
i
+ b
i
|
2

|a
i
|
2
+
_

|b
i
|
2
(Sugerencia: Desarrolle p + q
2
y use la desigualdad de Schwarz demostrada en clase)
6.- Demostar la desigualdad de Minkowski para sumas innitas: Si {a
n
}, {b
n
} son sucesiones
tales que

1
|a
n
| < ,

1
|b
n
| < , entonces a
n
+b
n
a
n
+b
n
es decir

1
|a
n
+ b
n
|
2

1
|a
n
|
2
+

1
|b
n
|
2
7.- Sea d una metrica de un conjunto no vacio X. Demostrar que la funcion e denida por
e(a, b) =
d(a, b)
1 + d(a, b)
, donde a, b X, es una metrica de X.
fecha de entrega 22 de marzo.
5