En matemáticas , en el campo de la topología , se dice que un espacio topológico es pseudocompacto si su imagen bajo cualquier función continua a R está acotada . Muchos autores incluyen el requisito de que el espacio sea completamente regular en la definición de pseudocompactancia. Los espacios pseudocompactos fueron definidos por Edwin Hewitt en 1948. [1]
- Para que un espacio de Tychonoff X sea pseudocompacto, se requiere que cada colección localmente finita de conjuntos abiertos no vacíos de X sea finita . Hay muchas condiciones equivalentes para la pseudocompactancia (a veces se debe suponer algún axioma de separación); un gran número de ellos se citan en Stephenson 2003. Algunas observaciones históricas sobre resultados anteriores se pueden encontrar en Engelking 1989, p. 211.
- Cada espacio contablemente compacto es pseudocompacto. Para los espacios normales de Hausdorff ocurre lo contrario.
- Como consecuencia del resultado anterior, todo espacio secuencialmente compacto es pseudocompacto. Lo contrario es cierto para los espacios métricos . Como la compacidad secuencial es una condición equivalente a la compacidad para los espacios métricos, esto implica que la compacidad es una condición equivalente a la pseudocompactancia también para los espacios métricos.
- El resultado más débil de que cada espacio compacto es pseudocompacto se demuestra fácilmente: la imagen de un espacio compacto bajo cualquier función continua es compacta, y cada conjunto compacto en un espacio métrico está delimitado.
- Si Y es la imagen continua del pseudocompacto X , entonces Y es pseudocompacto. Tenga en cuenta que para las funciones continuas g : X → Y y h : Y → R , la composición de g y h , llamada f , es una función continua de X a los números reales. Por lo tanto, f está acotada e Y es pseudocompacta.
- Sea X un conjunto infinito dada la topología de puntos particular . Entonces X no es compacto, secuencialmente compacto, numerablemente compacto, paracompacto ni metacompacto. Sin embargo, dado que X está hiperconectado, es pseudocompacto. Esto muestra que la pseudocompacidad no implica ninguna otra forma (conocida) de compacidad.
- Para que un espacio de Hausdorff X sea compacto, se requiere que X sea pseudocompacto y realcompacto (ver Engelking 1968, p. 153).
- Para que un espacio de Tychonoff X sea compacto, se requiere que X sea pseudocompacto y metacompacto (ver Watson).
Grupos topológicos pseudocompactos
Se dispone de una teoría relativamente refinada para grupos topológicos pseudocompactos . [2] En particular, WW Comfort y Kenneth A. Ross demostraron que un producto de grupos topológicos pseudocompactos sigue siendo pseudocompacto (esto podría fallar para espacios topológicos arbitrarios). [3]
Notas
- ^ Anillos de funciones continuas de valor real, I, Trans. Amer. Matemáticas. Soc. 64 [1] (1948), 45-99.
- ↑ Ver, por ejemplo, Mikhail Tkachenko , Topological Groups: Between Compactness and-delimitación, en Mirek Husek y Jan van Mill (eds.), Recent Progress in General Topology II, 2002 Elsevier Science BV
- ^ Comfort, WW y Ross, KA, Pseudocompactancia y continuidad uniforme en grupos topológicos, Pacific J. Math. 16, 483-496, 1966. [2]
Ver también
Referencias
- Engelking, Ryszard (1968), Esquema de topología general , traducido del polaco, Ámsterdam: Holanda del Norte.
- Engelking, Ryszard (1989), Topología general , Berlín: Heldermann Verlag.
- Kerstan, Johannes (1957), "Zur Charakterisierung der pseudokompakten Räume", Mathematische Nachrichten , 16 (5-6): 289-293, doi : 10.1002 / mana.19570160505.
- Stephenson, RM Jr (2003), Pseudocompact Spaces , Chapter d-7 en Encyclopedia of General Topology, Editado por: Klaas Pieter Hart, Jun-iti Nagata y Jerry E. Vaughan, Páginas 177-181, Amsterdam: Elsevier BV.
- Watson, W. Stephen (1981), "Los espacios metacompactos pseudocompactos son compactos", Proc. Amer. Matemáticas. Soc. , 81 : 151–152, doi : 10.1090 / s0002-9939-1981-0589159-1.
- Willard, Stephen (1970), Topología general , Reading, Mass .: Addison-Wesley.
- Yan-Min, Wang (1988), "Nuevas caracterizaciones de espacios pseudocompactos", Bull. Austral. Matemáticas. Soc. , 38 (2): 293–298, doi : 10.1017 / S0004972700027568.
enlaces externos
- MI Voitsekhovskii (2001) [1994], "Espacio pseudocompacto" , Enciclopedia de Matemáticas , EMS Press.
- "Espacio pseudocompacto" . PlanetMath ..