Hay varias definiciones en competencia de una " función adecuada ". Algunos autores llaman a una función entre dos espacios topológicos apropiados si la imagen inversa de cada compacto conjunto en es compacto en
Otros autores llaman un mapa adecuado si es continua y cerrada con fibras compactas ; es decir, si es un mapa cerrado continuo y la preimagen de cada punto es compacta . Las dos definiciones son equivalentes si es localmente compacto y Hausdorff .
Prueba parcial de equivalencia
Sea un mapa cerrado, tal que sea compacto (en X) para todos. Sea un subconjunto compacto de Queda por demostrar que es compacto.
Sea una cubierta abierta de Entonces para todo esto también es una cubierta abierta de Dado que se supone que esta última es compacta, tiene una subcubierta finita. En otras palabras, para cada existe un subconjunto finito tal que
El conjunto está cerrado y su imagen debajo está cerrada porque es un mapa cerrado. De ahí el conjunto
está abierto en De ello se deduce que contiene el punto
Ahora y, dado que se supone que es compacto, hay un número finito de puntos tales que , además, el conjunto es una unión finita de conjuntos finitos, lo que hace un conjunto finito.
Ahora sigue eso y hemos encontrado una subcubierta finita que completa la demostración.
Si es Hausdorff y es Hausdorff localmente compacto, entonces apropiado es equivalente a universalmente cerrado . Un mapa está cerrado universalmente si para cualquier espacio topológico el mapa está cerrado. En el caso de Hausdorff, esto equivale a requerir que para cualquier mapa se cierre el retroceso , como se deduce del hecho de que es un subespacio cerrado de
Un equivalente, definición, posiblemente, más intuitivo cuando y son espacios métricos es el siguiente: decimos una secuencia infinita de puntos en un espacio topológico se escapa al infinito si, para cada conjunto compacto sólo un número finito de puntos están en A continuación, una aplicación continua es adecuado, siempre y sólo si por cada secuencia de puntos que escapa al infinito en la secuencia escapa al infinito en
Es posible generalizar la noción de mapas adecuados de espacios topológicos a lugares y topoi , ver ( Johnstone 2002 ).
Ver también
Mapa casi abierto
Mapas abiertos y cerrados
Mapa perfecto
Glosario de topología
Citas
^ Lee 2012 , p. 610, por encima de la Prop. A.53. sfn error: no target: CITEREFLee2012 (help)
^ Palais, Richard S. (1970). "Cuando se cierran los mapas adecuados" (PDF) . Actas de la American Mathematical Society . 24 : 835–836. doi : 10.1090 / s0002-9939-1970-0254818-x .
Referencias
Bourbaki, Nicolas (1998). Topología general. Capítulos 5–10 . Elementos de las matemáticas. Berlín, Nueva York: Springer-Verlag . ISBN 978-3-540-64563-4. Señor 1726872 .
Johnstone, Peter (2002). Bocetos de un elefante: un compendio de teoría topos . Oxford: Prensa de la Universidad de Oxford . ISBN 0-19-851598-7., esp. sección C3.2 "Mapas adecuados"
Brown, Ronald (2006). Topología y grupoides . Carolina del Norte: Booksurge . ISBN 1-4196-2722-8., esp. pag. 90 "Mapas adecuados" y los ejercicios de la sección 3.6.
Brown, Ronald (1973). "Mapas secuencialmente adecuados y una compactación secuencial". Revista de la Sociedad Matemática de Londres . 2. 7 : 515-522.
Lee, John M. (2012). Introducción a los colectores lisos . Textos de Posgrado en Matemáticas . 218 (Segunda ed.). Nueva York Londres: Springer-Verlag . ISBN 978-1-4419-9981-8. OCLC 808682771 .