Mapa entre espacios topológicos con la propiedad de que la preimagen de cada compacto es compacto
En matemáticas , una función entre espacios topológicos se denomina propia si las imágenes inversas de subconjuntos compactos son compactas. En geometría algebraica , el concepto análogo se denomina morfismo propio .
Definición
Existen varias definiciones en competencia de una " función propia ". Algunos autores llaman propia a una función entre dos espacios topológicos si la preimagen de cada conjunto compacto en es compacta en Otros autores llaman propia
a una función si es continua y cerrada con fibras compactas ; es decir, si es una función cerrada continua y la preimagen de cada punto en es compacta . Las dos definiciones son equivalentes si es localmente compacta y Hausdorff .
Si es Hausdorff y es Hausdorff localmente compacto entonces propio es equivalente a universalmente cerrado . Una función es universalmente cerrada si para cualquier espacio topológico la función es cerrada. En el caso de que sea Hausdorff, esto es equivalente a requerir que para cualquier función el pullback sea cerrado, como se sigue del hecho de que es un subespacio cerrado de
Una definición equivalente, posiblemente más intuitiva, cuando y son espacios métricos es la siguiente: decimos que una secuencia infinita de puntos en un espacio topológico escapa al infinito si, para cada conjunto compacto, solo hay un número finito de puntos en Entonces, una función continua es propia si y solo si para cada secuencia de puntos que escapa al infinito en la secuencia escapa al infinito en
Propiedades
- Toda función continua de un espacio compacto a un espacio de Hausdorff es a la vez propia y cerrada .
- Toda aplicación propia sobreyectiva es una aplicación cubriente compacta.
- Una función se denomina cobertura compacta si para cada subconjunto compacto existe algún subconjunto compacto tal que
- Un espacio topológico es compacto si y sólo si la función de ese espacio en un único punto es propia.
- Si es un mapa continuo propio y es un espacio de Hausdorff generado de forma compacta (esto incluye espacios de Hausdorff que son contables en primer lugar o localmente compactos ), entonces es cerrado. [2]
Generalización
Es posible generalizar la noción de mapas propios de espacios topológicos a locales y topos , véase (Johnstone 2002).
Véase también
- Mapa casi abierto – Mapa que satisface una condición similar a la de ser un mapa abierto.
- Mapas abiertos y cerrados : una función que envía subconjuntos abiertos (o cerrados) a subconjuntos abiertos (o cerrados)
- Mapa perfecto – Mapa sobreyectivo cerrado continuo, cada una de cuyas fibras son también conjuntos compactos
- Glosario de topología – Glosario de matemáticasPages displaying short descriptions of redirect targets
Citas
Referencias