Cap tulo I: Espacios m etricos.

26 de septiembre de 2008

1.

Esferas y bolas.

Sea (E, d) un espacio m etrico. Denici on 1 Sea x0 E y R > 0 un real. Se denen los siguientes subconjuntos de E : 1. La esfera de centro x0 y radio R es el conjunto S (x0 , R) = {x E : d(x0 , x) = R}. 2. La bola abierta de centro x0 y radio R es el conjunto Bo (x0 , R) = {x E : d(x0 , x) < R}. 3. La bola cerrada de centro x0 y radio R es el conjunto B (x0 , R) = {x E : d(x0 , x) R}. En otras palabras, la esfera S (x0 , R) es el conjunto de todos los elementos de E que est an a distancia R de x0 , la bola abierta Bo (x0 , R) es el conjunto de todos los elementos de E que est an a distancia menor que R de x0 , y la bola cerrada B (x0 , R) es el conjunto de todos los elementos de E que est an a distancia menor o igual a R de x0 . Ejercicio 1 Sean x0 E y R > 0 un real. Probar que S (x0 , R) Bo (x0 , R) = B (x0 , R). Ejemplo 1 Considere R equipado con la m etrica natural. Sean x0 R y R > 0. S (x0 , R) = {x R : |x x0 | = R} = {x0 R, x0 + R}. Bo (x0 , R) = {x R : |x x0 | < R} = (x0 R, x0 + R). B (x0 , R) = {x R : |x x0 | R} = [x0 R, x0 + R]. Ejemplo 2 Considere R2 equipado con la m etrica d2 . S (0, R) = {y = (y1 , y2 ) R2 : la circunferencia de centro 0 y radio R en R2 . 1
2 + y 2 = R} = S 1 , y1 2

Ejemplo 3 Sea E un conjunto cualquiera equipado con la m etrica discreta d. Sea x0 E . S (x0 , 1) = E \ {x0 } y S (x0 , R) = si R es un real positivo distinto de 0. Si R > 1 entonces Bo (x0 , R) = E , y si 0 < R 1 entonces Bo (x0 , R) = {x0 }. Si R 1 entonces B (x0 , R) = E , y si R < 1 entonces B (x0 , R) = {x0 }. Del u ltimo ejemplo se deduce que un conjunto puede ser al mismo tiempo una bola abierta y una bola cerrada. Denici on 2 Sea (E, d) un espacio m etrico. Se dice que un subconjunto A de E es acotado si existe x E y un real R > 0 tal que A B (x, R). Observaci on 1 En lo que sigue, cada vez que digamos bola, sin especicar si es abierta o cerrada, nos estaremos reriendo impl citamente a una bola cerrada. Denici on 3 Sea A un subconjunto de E . Denimos el di ametro de A como diam(A) = sup d(x, y ).
x,y A

Ejercicio 2 Pruebe que un subconjunto A de E es acotado si y s olo si diam(A) < . En (R, ), los conjuntos N, Z y Q no son acotados. Si E est a equipado con la m etrica discreta, entonces todos los subconjuntos de E son acotados.

2.

Conjuntos abiertos

Sea (E, d) un espacio m etrico. Denici on 4 Un subconjunto A de E es abierto si para todo x A existe un real R > 0 tal que Bo (x, R). Es decir, A es abierto si para cualquier punto x en A, A contiene una bola abierta de centro x. Ejemplo 4 Todas las bolas abiertas de E son conjuntos abiertos. En efecto, sean x0 E y R > 0. Si y Bo (x0 , R) entonces d(x0 , y ) = < R. Luego, r = R > 0. Veriquemos que Bo (y, r) Bo (x, R): sea z Bo (y, r). Entonces d(x, z ) d(x, y ) + d(y, z ) = + d(y, z ) < + r = R. Esto muestra que la bola abierta de centro x0 y radio R es un conjunto abierto. Proposici on 1 Un subsconjunto A de E es abierto si y s olo si A se escribe como uni on de bolas abiertas. Demostraci on: Supongamos que A es un subconjunto abierto de E . Entonces para todo x A existe rx > 0 tal que Bo (x, rx ) A. Luego, A = xA Bo (x, rx ). Supongamos que A es un subconjunto de E que se escribe como uni on de bolas abiertas. Diagmos A = iI Bo (xi , Ri ). Entonces si x A, existe i I tal que x Bo (xi , Ri ). Como esta bola es abierta, es un conjunto abierto, por lo tanto, existe R > 0 tal que Bo (x, R) Bo (xi , Ri ) A. Esto muestra que A es abierto. 2

Corolario 1 La uni on de conjuntos abiertos es abierto. Demostraci on: Sea {Ai }iI una colecci on arbitraria de abiertos de E . La Proposici on 1 implica que cada conjunto Ai se escribe como uni on de bola abiertas. Es decir, para todo i I existe una colecci on de bolas abiertas {Bo (xi,j , Ri,j )}j Ji que verica Ai = j Ji Bo (xi,j , Ri,j ). Luego, A= Ai = Bo (xi,j , Ri,j )
iI iI j Ji

es una reuni on de bolas abiertas. A partir de la Proposici on 1 conclu mos que A es abierto.

La intersecci on de conjuntos abiertos no siempre es un conjunto abierto, como lo muestra el 1 1 siguiente ejemplo: para cada n N considere el intervalo abierto ( n , n ). Estos son conjuntos 1 1 abiertos en (R, ||). Sin embargo, la intersecci on nN ( n , n ) = {0} no es un conjunto abierto, pues dado cualquier R > 0, la bola de centro 0 y radio R no est a contenida en {0}. La siguiente proposici on nos entrega condiciones bajo las que la intersecci on de abiertos es un abierto. Proposici on 2 La intersecci on nita de conjuntos abiertos es un abierto. Es decir, si n < y A1 , , An son abiertos, entonces n i=1 Ai es un abierto. Demostraci on: Sean n < , A1 , , An conjuntos abiertos, y A = n i=1 Ai . Para probar que A es abierto, cualquiera sea x A hay que encontrar R > 0 tal que B0 (x, R) A. Sea x A. Por denici on de conjunto abierto, para todo 1 i n existe Ri > 0 tal que Bo (xi , Ri ) Ai . Si R = m n{R1 , , Rn } entonces R > 0 y Bo (x, R) Bo (x, Ri ) Ai , para todo 1 i n. Luego, Bo (x, R) A. Observaci on 2 Del Corolario 1 se deduce que E es abierto, pues E = xE Bo (x, 1). Se considera que tambi es es abierto, pues al no tener elementos, no se puede probar lo contrario. Observaci on 3 Hemos visto que la colecci on de abiertos 1. 2. 3. es estable bajo uni on, es estable bajo intersecci on nita, contiene a E y .

Una colecci on O de subconjuntos de cualquier conjunto E (no necesariamente un espacio m etrico) que satisfaga las propiedades 1, 2 y 3 mencionadas arriba, se conoce como topolog a. En ese caso, el conjunto E equipado con la colecci on O recibe el nombre de espacio topol ogico. Los espacios m etricos con la colecci on de abiertos son espacios topol ogicos. Observaci on 4 La colecci on de bolas abiertas de E es una base, pues cualquier abierto se escribe como reuni on de bolas abiertas. Observaci on 5 Se dice que los espacio m etrico son Hausdor, pues dados cualquier par de puntos distintos x e y en E , existen bolas abiertas B1 y B2 tales que x B1 , y B2 y B1 B2 = .