Aplicación propia
En matemáticas y topología, una aplicación propia (o función propia) es una aplicación entre dos espacios topológicos tal que la imagen inversa de cualquier conjunto compacto es compacta. En geometría algebraica, el concepto análogo se denomina morfismo propio.
Definición
Una aplicación f : X → Y entre dos espacios topológicos es propia si y solo si la preimagen de cada conjunto compacto de Y es un conjunto compacto de X.
Existen diversas descripciones alternativas (pero equivalentes). Por ejemplo, una aplicación continua f es propia si es una aplicación cerrada y la preimagen de cada punto de Y es compacta. Al final de esta sección se ofrece la demostración de equivalencia. De manera más abstraca, f es propia si para cualquier espacio Z la aplicación
- f × idZ: X × Z → Y × Z
es cerrada. Estas definiciones son equivalentes a la inicial si X es Hausdorff e Y es localmente compacto y Hausdorff.
Una definición equivalente, y posiblemente más intuitiva es esta, cuando X e Y son espacios métricos es la siguiente: una secuencia infinita de puntos {pi} en el espacio X escapa al infinito si, para cada conjunto compacto S ⊂ X solo un número finito de puntos pi pertenecen a S. Entonces una aplicación continua f : X → Y es propia si y solo si para cada secuencia de puntos de X {pi} que escapa al infinito, {f(pi)} escapa también al infinito en Y.
Esta última definición basada en sucesiones está relacionada con la noción de "secuencialmente propia", ver la referencia final.
Generalización
Es posible generalizar la noción de aplicación propia a espacios topológicos como los locales y los topoi véase (Johnstone, 2002).
Véase también
Referencias
Bibliografía
- Bourbaki, Nicolas (1998), General topology. Chapters 5--10, Elements of Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-3-540-64563-4, MR 1726872.
- Johnstone, Peter (2002), Sketches of an elephant: a topos theory compendium, Oxford: Oxford University Press, ISBN 0-19-851598-7., esp. section C3.2 "Proper maps"
- Brown, Ronald (2006), Topology and groupoids, N. Carolina: Booksurge, ISBN 1-4196-2722-8., esp. p. 90 "Proper maps" and the Exercises to Section 3.6.
- Brown, R. "Sequentially proper maps and a sequential compactification", J. London Math Soc. (2) 7 (1973) 515-522.