Espacios Localmente Compactos

Cap tulo 6: Compacidad
Lecci on 8 : Compacidad local

El concepto de compacidad lo podemos localizar en un punto de la manera siguiente. 6.58. Denici on. (i) Dado un espacio topol ogico (X, G ) y x X , decimos que X es localmente compacto en x, sii, dada una vecindad abierta Ux existe otra vecindad abierta V de X tal que x V V Ux , con V compacta en otras palabras, existe un sistema fundamental de vecindades cerradas y compactas en el punto x. Si X es localmente compacto en cada punto, decimos que X es localmente compacto. 6.59. Ejemplo. (Rn , usual) es localmente compacto. Pero (R, cof initos) no es localmente compacto, pues la adherencia de una vecindad de un punto es todo R. Es com un en la literatura de este tema, encontrar la siguiente denici on de compacidad local. 6.60. Denici on (ii) Un espacio topol ogico (X, G ) es localmente compacto, sii, cada punto del espacio posee una vecindad compacta. Veamos que sobre los espacios de Hausdor, estas dos deniciones coinciden. 6.61. Teorema. Sea (X, G ) un espacio de Hausdor, entonces denici on (i) es equivalente a denici on (ii). Demostraci on. Solo veremos que denici on (ii) implica denici on (i). Sean on (ii), existe una vecindad x X y Ux una vecindad abierta de x. Por la denici compacta Wx tal que W x es compacta y de Hausdor, esto es, estamos en las hipotesis del ejercicio 11 de 6.1, luego para la vecindad (Ux Wx ) W x existe una vecindad Vx con x Vx V x (Ux Wx ) Ux y ademas V x es compacta por ser un cerrado contenido en el subespacio compacto W x . Muestre que V x con respecto a X coincide con V x con respecto a W x . 6.62. Ejemplo. La topolog a de intervalos encajados. Consideremos el espacio topol ogico (X, G ) donde X = (0, 1) R, y, U G , sii, U = (0, 1 1/n), (n = 2, 3, 4, . . .) por supuesto a nadimos el y X . Esto nos da un ejemplo de un espacio que satisface la denici on (ii) pero no la denici on (i), puesto que la adherencia de cualquier vecindad es todo el espacio el cual no es compacto. Muestre que en este espacio el u nico subespacio cerrado que es compacto, es el vac o y que todo subespacio abierto es compacto, excepto X mismo.
6.63. Proposici on. Sea H el espacio de Hilbert. H no es localmente compacto. Demostraci on. Dados x H, y, > 0 veamos que la bola cerrada B (x) no es compacta. Sea x = (x1 , x2 , . . .) y por cada n N denimos yn = as d(yi , yj ) = ( x1 , x2 , . . . , xn1 , xn + , xn+1 , . . .). Por supuesto yn B (x) y adem 2 para todo i, j N . As , la sucesi on (yn ) no admite una subsucesi on convergente, es decir B (x) no es compacta por sucesiones, lo que es equivalente en este espacio m etrico a decir que no es compacta. La compacidad local en general no es hereditaria, por ejemplo, si consideramos los n umeros racionales Q con la topolog a de subespacio de (R, usual), no es localmente compacto en el punto 0 pues ninguna vecindad de este punto es compacta. En efecto dado un intervalo [p, q ] en Q que contenga a 0, podemos obtener un cubrimiento abierto de [p, q ] no reducible a uno nito, basta tomar i R Q con p < i < q y considerar la colecci on [p, i1/n)(i+1/n, q ], (n N ) trazada con Q algunas intersecciones pueden resultar vac as. Claro que esto no sucede en caso que los subespacios sean abiertos o cerrados dem uestrelo!.
6.64. Ejemplo. Sea D el grafo de la funci on f (x) = sen(1/x) para 0 < a de subespacio x 1/ . El conjunto D = D {(0, 0)} dotado de la topolog de (R2 , usual), no es localmente compacto en el punto (0, 0) ya que cualquier vecindad V de este punto, contiene una sucesi on de puntos sobre una recta paralela al eje x que no poseen un punto de acumulaci on en V , es decir V no es cerrada. 6.65. Ejemplo. La compacidad local no es preservada por funciones continuas en general, por ejemplo la funci on id entica de (R, discreta) en (R, cof initos) es continua. El siguiente ejemplo muestra uno de los espacios que ha sido cl asico en la presentaci on de espacios que no son localmente compactos. Recordemos que la proyecci on estereograca p : R2 S 2 /{(0, 0, 1)} identica al plano con la esfera punteada, donde es removido el polo norte. Hemos identicado un espacio no compacto con uno que si lo es al a nadirle un punto S 2 es compacto. 2
Si tratamos de generalizar este hecho nos preguntamos: Si X es un espacio localmente compacto pero no compacto, es posible encontrar un espacio X compacto y un homeomorsmo f : X f (X ) X tal que X /f (X ) sea un conjunto unitario?. La respuesta a esta pregunta es en efecto si y es lo que veremos en los siguientes parrafos. La construcci on es un m etodo general de construir desde X un espacio compacto X que tenga a X como un espacio inmerso. 6.66. Proposici on. Sea (X, G ) un espacio topol ogico y un punto que no pertenece a X . Denimos X = X {}. Entonces G denida como: U G , sii, (i) / U y U G , o, (ii) U y X /U es un subconjunto de X cerrado y compacto. es una topolog a para X . an en G pues es trivialmente compacto. Demostraci on Claramente y X est on nita. Si U, V G y ambos Veamos que G es cerrada para la intersecci en si U G y V , V c cerrado y est an en G entonces U V G , pero tambi compacto en G , entonces V X es abierto en X y asi U V G G . Pero si, est a tanto en U como en V , entonces U c , V c son cerrados y compactos en X , en es cerrado y compacto en X por ser uni on luego (U V )c = U c V c tambi de dos compactos, con lo que U V G . / V entonces Ahora examinemos la uni on de una familia V G . Si V G G . Pero si U V entonces (V )c U c , pero (V )c es cerrado y U c es compacto, luego (V )c es cerrado y compacto, esto es V G . 6.67. Corolario. El espacio (X , G ) es compacto. Demostraci on. Sea U un cubrimiento abierto de X ; como U , exen cubrimiento iste U0 U con U0 y U0 compacto. Claramente U es tambi n c , luego lo podemos reducir a U1 , . . . , Un y por tanto X i=1 Ui . abierto de U0 6.68. Proposici on. X es denso en X , sii, X no es compacto.
Demostraci on. Si X = X entonces X no es compacto, pues de lo contrario X ser a cerrado y compacto, con lo cual {} ser a un abierto y {} X = negando que X . En el otro sentido basta ver que X . Sea V una vecindad de en G . c c es un subconjunto cerrado y compacto de X , con lo cual V no Entonces V X = X en G . puede ser todo X , as que V X =, con lo cual X y as En el caso de partir en la construcci on desde un espacio Hausdor tenemos el siguiente teorema.
6.69. Teorema. (X, G ) es un espacio de Hausdor, localmente compacto, on de Alexandro es de Hausdor . sii, (X , G ) la compactaci Demostraci on. Sea X localmente compacto y de Hausdor. Dados x, y X veamos que los podemos separar. Si x, y X no hay nada que demostrar puesto que X es T2 . Si x = , como X es localmente compacto y Hausdor, existe Vy compacta y por tanto cerrada, luego (X /Vy ) G y (X /Vy ) Vy =. En el otro sentido, supongamos que (X , G ) es Hausdor. Luego X como subespacio de X es de nuevo Hausdor. Veamos que X es localmente compacto. Sea x X y encontremos una vecindad compacta. Existen Vx , V abiertas en G con Vx V =, esto es X /V es un subconjunto cerrado y compacto de X , con Vx X /V , luego Vx X /V y por ser Vx un cerrado dentro de un compacto, es compacta.
6.70. Corolario. Cada espacio localmente compacto y de Hausdor, es homeomorfo a un subespacio de un espacio compacto y de Hausdor. Demostraci on. Basta considerar la inclusi on i : X X . 6.71. Denici on. Sea (X, G ) un espacio topol ogico. Un espacio (Y, H) compacto, se llama un compactado de X , sii, existe una funci on f : X Y continua e inyectiva, tal que f : X f (X ) Y es un homeomorsmo con f (X ) denso en Y . En particular decimos que f realiza la compactaci on de X . Si adem as Y /f (X ) se reduce a un conjunto unitario, decimos que Y es un compactado de Alexandro, o, compactado por un punto. En resumen hemos demostrado el siguiente teorema. 6.72. Teorema. Sea X un espacio localmente compacto y no compacto. Enon can onica es una compactaci on de Alexandro tonces i : X X la inyecci para X .
Curso de Topololog a General. http://www.virtual.unal.edu.co

Espacios Localmente Compactos

Cargado por

Copyright:

Formatos disponibles

Espacios Localmente Compactos

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Espacios Localmente Compactos

Cargado por

Copyright:

Formatos disponibles

Cap tulo 6: Compacidad

Lecci on 8 : Compacidad local

Curso de Topololog a General. http://www.virtual.unal.edu.co

También podría gustarte