Cap tulo 1 Espacios Mtricos e

1.1. Mtricas y seudomtricas e e

1.1.1 Denicin. Sea X un conjunto. Una mtrica sobre X es una funcin o e o : X X R tal que: 1. (x, y) 0, 2. (x, y) = 0 si y slo si x = y, o 3. (x, y) = (y, x) y 4. (x, y) (x, z) + (z, y) (desigualdad triangular) para todo x, y, z X. Si es una mtrica sobre X decimos que (X, ), o e simplemente X, si no hay lugar a confusin sobre la mtrica con la que se o e trabaja, es un espacio mtrico. e 1.1.2 Ejemplos. 1. Si X es un conjunto cualquiera, la funcin : X X R denida o por 0 si x = y (x, y) = 1 si x = y es una mtrica sobre X que se llama la mtrica discreta. e e 1

2. El conjunto R de los nmeros reales, junto con la funcin distancia u o denida por (x, y) = |x y|, es un espacio mtrico. En adelante e diremos que esta funcin es la mtrica usual de R y, a menos que o e se especique lo contrario, cuando nos reramos a los nmeros reales u estaremos considerando esta mtrica sobre R. e En general, Rn con la mtrica usual denida por e
n

((x1 , ..., xn ), (y1 , ..., yn )) =

i=1

(xi yi )2

es un espacio mtrico. e 3. El plano R2 , junto con la funcin 1 denida por o 1 ((x1 , y1 ), (x2 , y2 )) = |x1 x2 | + |y1 y2 | es un espacio mtrico. La funcin 1 se suele llamar la mtrica del e o e taxista. 4. El plano R2 , junto con la funcin 2 denida por o 2 ((x1 , y1 ), (x2 , y2 )) = mx{|x1 x2 |, |y1 y2 |} a es un espacio mtrico. e 5. Sea X el conjunto de todas las funciones acotadas f : R R (una funcin f : R R es acotada si existe un nmero real M > 0 tal que o u |f (x)| < M para todo x R). La funcin : X X R denida o por (f, g) = sup{|f (x) g(x)| : x R} es una mtrica sobre X. e 6. Sea C(I) el conjunto de todas las funciones continuas denidas del intervalo I = [0, 1] en R. La funcin : C(I) C(I) R denida o 1 por (f, g) = 0 |f (x) g(x)|dx es una mtrica sobre C(I). e 7. Cualquier subconjunto Y de un espacio mtrico (X, d) es un espacio e mtrico con la restriccin d Y Y de la funcin d a Y Y . e o o 8. Si X = {x1 , x2 , ...} es un conjunto contable, entonces la funcin d : o X X R denida por 1 + 1 si i = j i+j d(xi , xj ) = 0 si i = j 2

es una mtrica sobre X. El espacio (X, d) se llama el Espacio Mtrico e e de Sierpinski y d se llama la mtrica de Sierpinski. e En un espacio mtrico, adems de medir la distancia entre dos puntos, es e a posible medir la distancia entre un punto y un conjunto. 1.1.3 Denicin. Sea (X, d) un espacio mtrico. Si A es un subconjunto o e no vac de X entonces la distancia d(x, A) de un punto x X al conjunto o A se dene como el nmo de los nmeros d(x, a) donde a A; esto es, u d(x, A) = inf{d(x, a) : a A}. Ntese que si (X, d) es un espacio mtrico y A X entonces d(x, A) = 0 o e para todo x A; pero que d(x, A) = 0 no implica que x sea un elemento de A. Si consideramos por ejemplo el conjunto R de los nmeros reales con la u 1 mtrica usual y A = { n : n N} entonces d(0, A) = 0 y 0 A. e / 1.1.4 Denicin. Sea (X, d) un espacio mtrico. Si A es un subconjunto o e de X entonces el dimetro de A, diam A es sup{d(x, y) : x, y A}. Si a diam A < entonces decimos que el conjunto A es acotado. De la denicin se tiene que el espacio mtrico X es acotado si la funcin o e o d es acotada. Las condiciones que debe satisfacer la funcin distancia d en o un espacio mtrico X son bastante rigurosas. En ocasiones una funcin d : e o X X R, pudiendo no ser una mtrica en el sentido estricto, permite e hablar de distancia lo sucientemente bien para algunos propsitos. o

1.1.5 Denicin. Sea X un conjunto. Una funcin : X X R tal o o que 1. (x, y) 0, 2. (x, x) = 0, 3. (x, y) = (y, x) y 4. (x, y) (x, z) + (z, y) para cada x, cade y y cada z en X, se llama una seudomtrica sobre X. Si e es una seudomtrica sobre X decimos que (X, ) (o simplemente X) es e un espacio seudomtrico. e Ntese que en un espacio seudomtrico (X, ) pueden existir puntos diso e tintos x y y con (x, y) = 0. 1.1.6 Ejemplos. 1. Toda mtrica sobre un conjunto X es tambin una seudomtrica. e e e 2. Si X es un conjunto entonces la funcin : X X R denida por o (x, y) = 0 es una seudomtrica sobre X. e 3. Sea x0 [0, 1]. La funcin : C(I) C(I) R denida por (f, g) = o |f (x0 g(x0 )| es una seudomtrica sobre C(I). e

Ejercicios
1. Demuestre que las siguientes funciones son mtricas sobre los conjuntos e dados. a) Si X es un conjunto cualquiera, sea : X X R la funcin o denida por 0 si x = y (x, y) = 1 si x = y. b) En R la funcin denida por (x, y) = |x y|. o c) En Rn la funcin denida por o
n

((x1 , ..., xn ), (y1 , ..., yn )) =

i=1

(xi yi )2 .

d ) En el plano, la funcin denida por o 1 ((x1 , y1 ), (x2 , y2 )) = |x1 x2 | + |y1 y2 | es un espacio mtrico. La funcin 1 se suele llamar la mtrica del e o e taxista. e) En el plano, la funcin denida por denida por o 2 ((x1 , y1 ), (x2 , y2 )) = mx{|x1 x2 |, |y1 y2 |} a es un espacio mtrico. e f ) En el conjunto X de todas las funciones acotadas f : R R, la funcin : X X R denida por (f, g) = sup{|f (x) g(x)| : o x R}. g) En el conjunto C(I) de todas las funciones continuas denidas del intervalo I = [0, 1] en R, la funcin : C(I) C(I) R denida o 1 por (f, g) = 0 |f (x) g(x)|dx. h) En cualquier conjunto contable X = {x1 , x2 , ...}, la funcin d : o X X R denida por 1 + 1 si i = j i+j d(xi , xj ) = 0 si i = j. 5

2. Demuestre que las funciones denidas a continuacin son seudomtricas o e sobre los conjuntos dados. a) En un conjunto X, la funcin : X X R denida por o (x, y) = 0. b) Sea x0 [0, 1]. En C(I), la funcin : C(I) C(I) R denida o por (f, g) = |f (x0 g(x0 )|. 3. Sean (X, d) y (Y, m) dos espacios mtricos. Es la funcin : (X Y ) e o (XY ) XY , denida por ((x1 , x1 ), (x2 , y2 )) = mx{d(x1 , x2 ), m(y1 , y2 )}, a una mtrica sobre X Y ? e 4. Sea una seudomtrica denida sobre un conjunto X. Denimos la e relacin sobre X por x y sii (x, y) = 0. o a) Pruebe que es una relacin de equivalencia sobre X. o b) Sea X/ el conjunto de todas las clases deequivalencia determinadas por . Demuestre que la funcin d : X/ X/ R o denida por d([x], [y]) = (x, y) es una mtrica sobre X/. e