Cap tulo 1 Espacios Mtricos e

1.3. Topolog de un espacio mtrico a e

1.3.1 Denicin. Sean (X, d) un espacio mtrico, x X y > 0. El o e conjunto B(x, ) = {y X : d(x, y) < } se llama la bola abierta centrada en x con radio . El conjunto B[x, ] = {y X : d(x, y) } se llama la bola cerrada centrada en x con radio . Ntese que en R, la bola abierta centrada en un nmero real x con radio o u es el intervalo abierto (x , x + ). La siguiente gura muestra la bola abierta de radio 1 centrada en el origen, para cada una de las mtricas , 1 y 2 denidas sobre R2 en los e numerales 2, 3 y 4 de los ejemplos 1.1.2.

Por su parte, la bola abierta de radio centrada en una funcin f : R o R que pertenezca al espacio mtrico descrito en el numeral 5. de los ejemplos e 1.1.2., est formada por las funciones acotadas que tienen su grca contenida a a en la franja que muestra la siguiente gura:

Si X es un espacio discreto, es decir si en X consideramos la mtrica e discreta, entonces la bola abierta de radio > 0 centrada en un punto x X se reduce a {x} si 1 y es todo el conjunto X si > 1. Si X es el Espacio Mtrico de Sierpinski denido en el numeral 8 de 1.1.2. e entonces la bola de radio 0 < 1 centrada en cualquier punto x X se reduce a {x}. Una de las propiedades ms bonitas y relevantes de las bolas en un espacio a mtrico se enuncia en el siguiente resultado: e 1.3.2 Proposicin. Si (X, d) es un espacio mtrico, si a y b son elementos o e de X, si y son nmeros reales positivos y si x B(a, ) B(b, ) entonces u existe > 0 tal que B(x, ) B(a, ) B(b, ).

Para probar esta proposicin basta considerar = m o n{ d(a, x), d(x, b)} y utilizar la desigualdad triangular. En los espacios mtricos tenemos la posibilidad de hablar de cercan e a. Decir que un punto est tan cerca de otro como queramos, signica que los a puntos estn a una distancia menor que un nmero positivo que hemos jado a u con anterioridad. En otras palabras, si para nosotros estar sucientemente cerca de un punto a signica estar a una distancia menor que un cierto nmero > 0, entonces los vecinos de a o los puntos sucientemente u cercanos a a son precisamente los elementos del conjunto B(a, ). Estas consideraciones sugieren la siguiente denicin: o 1.3.3 Denicin. Sean X un espacio mtrico y x X. Un subconjunto V o e de X es una vecindad de x si existe > 0 tal que B(x, ) V . Denotamos por V(x) al conjunto de todas las vecindades del punto x.

1.3.4 Ejemplos. 1. En los nmeros reales el intervalo [1, +) es una vecindad de 3 (en u realidad es una vecindad de cualquier real mayor que 1); pero no es una vecindad de 1. 2. El conjunto {x R : |x| > 2} es una vecindad de 3 en R. 3. La bola cerrada B[x, 1] es una vecindad de x = (0, 0) en R2 . 3

4. El conjunto A = {(x, y) : y < x} es una vecindad de cada uno de los puntos de A. 5. El conjunto {f : R R : |f (x)| < 2 para cada x R} es una vecindad de la funcin arctan x en el espacio de funciones acotadas o denido en el numeral 5. de 1.1.2. Los items 2 y 4 de los ejemplos anteriores muestran conjuntos muy especiales en los que se basar todo nuestro estudio en topolog Tienen en a a. comn la caracter u stica de ser vecindades de cada uno de sus puntos. De estos conjuntos diremos que son conjuntos abiertos. 1.3.5 Denicin. Un subconjunto A de un espacio mtrico X es un cono e junto abierto en X si A es vecindad de cada uno de sus puntos. Consideremos un espacio mtrico X. De la denicin se ineren de manera e o natural los siguientes hechos: 1. El conjunto vac y el conjunto X son conjuntos abiertos. o 2. Si A y B son conjuntos abiertos en X entonces A B es un conjunto abierto en X. 3. La unin de cualquier familia de conjuntos abiertos en X es un conjunto o abierto en X. Ntese que en un espacio mtrico X las bolas abiertas son conjuntos o e abiertos y que cada conjunto abierto se puede expresar como una unin o de bolas abiertas. Decimos entonces que las bolas abiertas generan los conjuntos abiertos. Ms adelante expresaremos este hecho diciendo que las a bolas abiertas generan la topolog del espacio X o que son una base para a la topolog de X. a La siguiente denicin establece un criterio que nos permite saber cundo, o a desde el punto de vista puramente topolgico, vale la pena distinguir entre o dos mtricas aparentemente distintas. e

1.3.6 Denicin. Dos mtricas sobre un conjunto X son equivalentes si o e generan los mismos conjuntos abiertos.

1.3.7 Ejemplos. 1. Hemos visto que si X es un conjunto contable entonces los subconjuntos unitarios de X son bolas abiertas, tanto si consideramos la mtrica e discreta sobre X, como si consideramos la mtrica de Sierpinski. Estas e dos mtricas generan entonces los mismos conjuntos abiertos en X. En e otras palabras, estas mtricas son equivalentes. e 2. Los numerales 2, 3 y 4 de 1.1.2. establecen mtricas equivalentes sobre e R2 . 3. Si (X, d) es un espacio mtrico, la funcin d1 : X X R denida e o por d1 (x, y) = m n{d(x, y), 1} es una mtrica acotada sobre X equivae lente a la mtrica d. e Estudiaremos otros conceptos topolgicos en espacios mtricos a lo largo o e de los siguientes cap tulos.

Ejercicios
1. Sea X un espacio mtrico. Demuestre los siguientes hechos: e a) El conjunto vac y el conjunto X son conjuntos abiertos. o b) Si A y B son conjuntos abiertos en X entonces AB es un conjunto abierto en X. c) La unin de cualquier familia de conjuntos abiertos en X es un o conjunto abierto en X. d ) Todo intervalo abierto de R es un conjunto abierto. 2. Sea X un espacio mtrico. Decimos que un subconjunto F de X es e cerrado en X si su complemento es abierto. Pruebe las siguientes armaciones: a) Los subconjuntos de X que tienen exactamente un punto son cerrados. b) Si A y B son conjuntos cerrados en X entonces A B es un conjunto cerrado en X. c) La interseccin de cualquier familia de conjuntos cerrados en X o es un conjunto cerrado en X. d ) Si X tiene la mtrica discreta entonces todo subconjunto de X es e abierto y cerrado. e) Todo intervalo cerrado de R es un conjunto cerrado. 3. Sean X y Y espacios mtricos y sea f : X Y una funcin.Demuestre e o que las siguientes armaciones son equivalentes: a) f es continua. b) Si A es un subconjunto abierto de Y entonces f 1 (A) es un subconjunto abierto de X. c) Si K es un subconjunto cerrado de Y entonces f 1 (K) es un subconjunto cerrado de X. 4. Mueste que los numerales 2, 3 y 4 de 1.1.2. establecen mtricas equive alentes sobre R2 . 6

5. Sea (X, d) es un espacio mtrico. Muestre que la funcin d1 : X X e o R denida por d1 (x, y) = m n{d(x, y), 1} es una mtrica acotada sobre e X equivalente a la mtrica d. e