Mapa apropiado

En matemáticas , una función entre espacios topológicos se denomina propia si las imágenes inversas de subconjuntos compactos son compactas. ^[1] En geometría algebraica , el concepto análogo se denomina morfismo propio .

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 . ${\displaystyle f:X\to Y}$ ${\estilo de visualización Y}$${\estilo de visualización X.}$${\estilo de visualización f}$ ${\estilo de visualización Y}$${\estilo de visualización Y}$

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${\displaystyle X}$${\displaystyle Y}$${\displaystyle Z}$${\displaystyle f\times \operatorname {id} _{Z}:X\times Z\to Y\times Z}$${\displaystyle Y}$${\displaystyle Z\to Y}$${\displaystyle X\times _{Y}Z\to Z}$${\displaystyle X\times _{Y}Z}$${\displaystyle X\times Z.}$

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${\displaystyle X}$${\displaystyle Y}$${\displaystyle \{p_{i}\}}$${\displaystyle X}$ ${\displaystyle S\subseteq X}$${\displaystyle p_{i}}$${\displaystyle S.}$${\displaystyle f:X\to Y}$${\displaystyle \left\{p_{i}\right\}}$${\displaystyle X,}$${\displaystyle \left\{f\left(p_{i}\right)\right\}}$${\displaystyle Y.}$

• 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${\displaystyle f:X\to Y}$${\displaystyle K\subseteq Y}$${\displaystyle C\subseteq X}$${\displaystyle f(C)=K.}$
• 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]${\displaystyle f:X\to Y}$${\displaystyle Y}$${\displaystyle f}$

Es posible generalizar la noción de mapas propios de espacios topológicos a locales y topos , véase (Johnstone 2002).

• 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