stringtranslate.com

Espacio localmente compacto

En topología y ramas relacionadas de las matemáticas , un espacio topológico se denomina localmente compacto si, en términos generales, cada pequeña porción del espacio parece una pequeña porción de un espacio compacto . Más precisamente, es un espacio topológico en el que cada punto tiene una vecindad compacta .

En el análisis matemático son de particular interés los espacios localmente compactos de Hausdorff ; se abrevian como espacios LCH . [1]

Definición formal

Sea X un espacio topológico . Lo más común es decir que X es localmente compacto si cada punto x de X tiene un entorno compacto , es decir, existe un conjunto abierto U y un conjunto compacto K , tales que .

Existen otras definiciones comunes: todas son equivalentes si X es un espacio de Hausdorff (o preregular), pero no son equivalentes en general:

1. cada punto de X tiene un vecindario compacto .
2. cada punto de X tiene un vecindario compacto cerrado .
2′. cada punto de X tiene un vecindario relativamente compacto .
2″. cada punto de X tiene una base local de vecindades relativamente compactas.
3. cada punto de X tiene una base local de vecindades compactas.
4. cada punto de X tiene una base local de vecindarios compactos cerrados.
5. X es Hausdorff y satisface cualquiera (o equivalentemente, todas) las condiciones anteriores.

Relaciones lógicas entre las condiciones: [2]

La condición (1) es probablemente la definición más comúnmente utilizada, ya que es la menos restrictiva y las otras son equivalentes a ella cuando X es Hausdorff . Esta equivalencia es una consecuencia de los hechos de que los subconjuntos compactos de los espacios de Hausdorff son cerrados, y los subconjuntos cerrados de los espacios compactos son compactos. Los espacios que satisfacen (1) también se denominandébilmente compactos localmente ,[3][4]ya que satisfacen la más débil de las condiciones aquí.

Como se definen en términos de conjuntos relativamente compactos, los espacios que satisfacen (2), (2'), (2") pueden llamarse más específicamente localmente relativamente compactos . [5] [6] Steen y Seebach [7] llaman a (2), (2'), (2") fuertemente localmente compactos para contrastar con la propiedad (1), a la que llaman localmente compactos .

Los espacios que satisfacen la condición (4) son exactamente losespacios regulares localmente compactos . [8][2] De hecho, un espacio de este tipo es regular, ya que cada punto tiene una base local de vecindades cerradas. A la inversa, en un espacio regular localmente compacto supongamos que un puntotiene una vecindad compacta. Por regularidad, dada una vecindad arbitrariade, hay una vecindad cerradadecontenida enyes compacta como un conjunto cerrado en un conjunto compacto.

La condición (5) se utiliza, por ejemplo, en Bourbaki . [9] Cualquier espacio que sea localmente compacto (en el sentido de la condición (1)) y también Hausdorff satisface automáticamente todas las condiciones anteriores. Dado que en la mayoría de las aplicaciones los espacios localmente compactos también son Hausdorff, estos espacios localmente compactos de Hausdorff ( LCH ) serán los espacios de los que se ocupa principalmente este artículo.

Ejemplos y contraejemplos

Espacios compactos de Hausdorff

Todo espacio de Hausdorff compacto es también localmente compacto, y en el artículo sobre espacios compactos se pueden encontrar muchos ejemplos de espacios compactos . Aquí sólo mencionamos:

Espacios de Hausdorff localmente compactos que no son compactos

Espacios de Hausdorff que no son localmente compactos

Como se menciona en la siguiente sección, si un espacio de Hausdorff es localmente compacto, entonces también es un espacio de Tichonoff . Por esta razón, en el artículo dedicado a los espacios de Tichonoff se pueden encontrar ejemplos de espacios de Hausdorff que no llegan a ser localmente compactos porque no son espacios de Tichonoff . Pero también hay ejemplos de espacios de Tichonoff que no llegan a ser localmente compactos, como por ejemplo:

Los dos primeros ejemplos muestran que un subconjunto de un espacio localmente compacto no necesita serlo necesariamente, lo que contrasta con los subconjuntos abiertos y cerrados de la sección anterior. El último ejemplo contrasta con los espacios euclidianos de la sección anterior; para ser más específicos, un espacio vectorial topológico de Hausdorff es localmente compacto si y solo si es de dimensión finita (en cuyo caso es un espacio euclidiano). Este ejemplo también contrasta con el cubo de Hilbert como ejemplo de espacio compacto; no hay contradicción porque el cubo no puede ser un entorno de ningún punto en el espacio de Hilbert.

Ejemplos que no son de Hausdorff

Clases generales de ejemplos

Propiedades

Todo espacio preregular localmente compacto es, de hecho, completamente regular . [11] [12] De ello se deduce que todo espacio de Hausdorff localmente compacto es un espacio de Tichonoff . [13] Puesto que la regularidad directa es una condición más familiar que la preregularidad (que suele ser más débil) o la regularidad completa (que suele ser más fuerte), los espacios preregulares localmente compactos se denominan normalmente en la literatura matemática espacios regulares localmente compactos . De forma similar, los espacios de Tichonoff localmente compactos suelen denominarse simplemente espacios de Hausdorff localmente compactos .

Todo espacio regular localmente compacto, en particular todo espacio de Hausdorff localmente compacto, es un espacio de Baire . [14] [15] Es decir, se cumple la conclusión del teorema de la categoría de Baire : el interior de cada unión numerable de subconjuntos densos en ninguna parte está vacío.

Un subespacio X de un espacio de Hausdorff localmente compacto Y es localmente compacto si y solo si X es localmente cerrado en Y (es decir, X puede escribirse como la diferencia de teoría de conjuntos de dos subconjuntos cerrados de Y ). En particular, todo conjunto cerrado y todo conjunto abierto en un espacio de Hausdorff localmente compacto es localmente compacto. Además, como corolario, un subespacio denso X de un espacio de Hausdorff localmente compacto Y es localmente compacto si y solo si X es abierto en Y . Además, si un subespacio X de cualquier espacio de Hausdorff Y es localmente compacto, entonces X todavía debe ser localmente cerrado en Y , aunque la inversa no se cumple en general.

Sin la hipótesis de Hausdorff, algunos de estos resultados no se pueden aplicar a nociones más débiles de localmente compacto. Todo conjunto cerrado en un espacio débilmente localmente compacto (= condición (1) en las definiciones anteriores) es débilmente localmente compacto. Pero no todo conjunto abierto en un espacio débilmente localmente compacto es débilmente localmente compacto. Por ejemplo, la compactificación de un punto de los números racionales es compacta y, por lo tanto, débilmente localmente compacta. Pero contiene un conjunto abierto que no es débilmente localmente compacto.

Los espacios cocientes de espacios de Hausdorff localmente compactos son espacios de Hausdorff generados de forma compacta . A la inversa, todo espacio de Hausdorff generado de forma compacta es un cociente de algún espacio de Hausdorff localmente compacto.

Para funciones definidas en un espacio localmente compacto, la convergencia uniforme local es lo mismo que la convergencia compacta .

El punto en el infinito

En esta sección se exploran las compactificaciones de espacios localmente compactos. Cada espacio compacto es su propia compactificación. Por lo tanto, para evitar trivialidades, se supone a continuación que el espacio X no es compacto.

Como cada espacio localmente compacto de Hausdorff X es de Tichonoff, puede ser incluido en un espacio compacto de Hausdorff utilizando la compactificación de Stone-Čech . Pero, de hecho, hay un método más simple disponible en el caso localmente compacto; la compactificación de un punto incluirá a X en un espacio compacto de Hausdorff con solo un punto adicional. (La compactificación de un punto se puede aplicar a otros espacios, pero será de Hausdorff si y solo si X es localmente compacto y de Hausdorff). Los espacios localmente compactos de Hausdorff pueden, por lo tanto, caracterizarse como los subconjuntos abiertos de los espacios compactos de Hausdorff.

Intuitivamente, el punto extra en puede considerarse como un punto en el infinito . El punto en el infinito debe considerarse como si estuviera fuera de cada subconjunto compacto de X. Muchas nociones intuitivas sobre la tendencia hacia el infinito pueden formularse en espacios de Hausdorff localmente compactos utilizando esta idea. Por ejemplo, se dice que una función continua real o compleja f con dominio X se desvanece en el infinito si , dado cualquier número positivo e , existe un subconjunto compacto K de X tal que siempre que el punto x esté fuera de K. Esta definición tiene sentido para cualquier espacio topológico X. Si X es localmente compacto y Hausdorff, tales funciones son precisamente aquellas extensibles a una función continua g en su compactificación de un punto donde

Representación de Gelfand

Para un espacio localmente compacto de Hausdorff X, el conjunto de todas las funciones continuas de valor complejo en X que se anulan en el infinito es una C*-álgebra conmutativa . De hecho, toda C*-álgebra conmutativa es isomorfa a algún espacio localmente compacto de Hausdorff X único ( salvo el homeomorfismo ) . Esto se muestra utilizando la representación de Gelfand .

Grupos compactos a nivel local

La noción de compacidad local es importante en el estudio de grupos topológicos principalmente porque cada grupo localmente compacto de Hausdorff G conlleva medidas naturales llamadas medidas de Haar que permiten integrar funciones mensurables definidas en G . La medida de Lebesgue en la línea real es un caso especial de esto.

El dual de Pontryagin de un grupo abeliano topológico A es localmente compacto si y solo si A es localmente compacto. Más precisamente, la dualidad de Pontryagin define una autodualidad de la categoría de grupos abelianos localmente compactos. El estudio de los grupos abelianos localmente compactos es la base del análisis armónico , un campo que desde entonces se ha extendido a los grupos localmente compactos no abelianos.

Véase también

Citas

  1. ^ Folland 1999, pag. 131, art. 4.5.
  2. ^ ab Gompa, Raghu (primavera de 1992). "¿Qué es "localmente compacto"?" (PDF) . Pi Mu Epsilon Journal . 9 (6): 390–392. JSTOR  24340250. Archivado (PDF) desde el original el 10 de septiembre de 2015.
  3. ^ Lawson, J.; Madison, B. (1974). "Cocientes de k-semigrupos". Semigroup Forum . 9 : 1–18. doi :10.1007/BF02194829., pág. 3
  4. ^ Breuckmann, Tomas; Kudri, Soraya; Aygün, Halis (2004). "Acerca de los espacios localmente compactos débiles". Metodología blanda y sistemas de información aleatorios . Springer. pp. 638–644. doi :10.1007/978-3-540-44465-7_79. ISBN 978-3-540-22264-4.
  5. ^ Lowen-Colebunders, Eva (1983), "Sobre la convergencia de conjuntos cerrados y compactos", Pacific Journal of Mathematics , 108 (1): 133–140, doi : 10.2140/pjm.1983.108.133 , MR  0709705, S2CID  55084221, Zbl  0522.54003
  6. ^ Bice, Tristán; Kubiś, Wiesław (2020). "Dualidad Wallman para subbases de semirrejilla". arXiv : 2002.05943 [matemáticas.GN].
  7. ^ Steen y Seebach, pág. 20
  8. ^ Kelley 1975, cap. 5, Teorema 17, pág. 146.
  9. ^ Bourbaki, Nicolas (1989). Topología general, parte I (reimpresión de la edición de 1966). Berlín: Springer-Verlag. ISBN 3-540-19374-X.
  10. ^ Speer, Timothy (16 de agosto de 2007). "Un breve estudio de los espacios de Alexandroff". arXiv : 0708.2136 [math.GN].Teorema 5
  11. ^ Schechter 1996, 17.14 (d), pág. 460.
  12. ^ "topología general - Los espacios preregulares localmente compactos son completamente regulares". Mathematics Stack Exchange .
  13. ^ Willard 1970, teorema 19.3, p.136.
  14. ^ Kelley 1975, Teorema 34, pág. 200.
  15. ^ Schechter 1996, Teorema 20.18, p. 538.

Referencias