Mapas abiertos y cerrados

En matemáticas , más específicamente en topología , una función abierta es una función entre dos espacios topológicos que asigna conjuntos abiertos a conjuntos abiertos. ^{[1] [2] [3]} Es decir, una función es abierta si para cualquier conjunto abierto en la imagen es abierto en Del mismo modo, una función cerrada es una función que asigna conjuntos cerrados a conjuntos cerrados. ^{[3] [4]} Una función puede ser abierta, cerrada, ambas o ninguna; ^[5] en particular, una función abierta no necesita ser cerrada y viceversa. ^[6]${\displaystyle f:X\to Y}$${\estilo de visualización U}$${\estilo de visualización X,}$ ${\displaystyle f(U)}$${\displaystyle Y.}$

Las funciones abiertas ^[7] y cerradas ^[8] no son necesariamente continuas . ^[4] Además, la continuidad es independiente de la apertura y el cierre en el caso general y una función continua puede tener una, ambas o ninguna propiedad; ^[3] este hecho sigue siendo cierto incluso si uno se restringe a los espacios métricos. ^[9] Aunque sus definiciones parecen más naturales, las funciones abiertas y cerradas son mucho menos importantes que las funciones continuas. Recordemos que, por definición, una función es continua si la preimagen de cada conjunto abierto de es abierta en ^[2] (Equivalentemente, si la preimagen de cada conjunto cerrado de es cerrada en ).${\displaystyle f:X\to Y}$${\estilo de visualización Y}$${\estilo de visualización X.}$${\estilo de visualización Y}$${\estilo de visualización X}$

Los primeros estudios de mapas abiertos fueron iniciados por Simion Stoilow y Gordon Thomas Whyburn . ^[10]

Si es un subconjunto de un espacio topológico, entonces sea y (resp. ) la clausura (resp. interior ) de en ese espacio. Sea una función entre espacios topológicos . Si es cualquier conjunto, entonces se llama imagen de bajo${\estilo de visualización S}$${\displaystyle {\overline {S}}}$${\displaystyle \operatorname {Cl} S}$${\displaystyle \nombreoperador {Int} S}$${\estilo de visualización S}$${\displaystyle f:X\to Y}$${\estilo de visualización S}$${\displaystyle f(S):=\left\{f(s)~:~s\in S\cap \operatorname {dominio} f\right\}}$${\estilo de visualización S}$${\estilo de visualización f.}$

Existen dos definiciones diferentes, que compiten entre sí, pero que están estrechamente relacionadas, de " mapa abierto " y que se utilizan ampliamente. Ambas definiciones se pueden resumir así: "es un mapa que envía conjuntos abiertos a conjuntos abiertos". A veces se utiliza la siguiente terminología para distinguir entre las dos definiciones.

Un mapa se llama${\displaystyle f:X\to Y}$

• " Mapa fuertemente abierto " si siempre que es un subconjunto abierto del dominio entonces es un subconjunto abierto del codominio de${\estilo de visualización U}$${\estilo de visualización X}$${\displaystyle f(U)}$${\estilo de visualización f}$ ${\displaystyle Y.}$
• "Mapa relativamente abierto "si siempre quees un subconjunto abierto del dominioentonceses un subconjunto abierto delaimagende donde como es habitual, este conjunto está dotado de latopología de subespacioinducida en él porel codominio de^[11]${\estilo de visualización U}$${\estilo de visualización X}$${\displaystyle f(U)}$${\estilo de visualización f}$ ${\displaystyle \operatorname {Im} f:=f(X),}$${\estilo de visualización f}$${\displaystyle Y.}$

Toda aplicación fuertemente abierta es una aplicación relativamente abierta. Sin embargo, estas definiciones no son equivalentes en general.

Advertencia : Muchos autores definen "mapa abierto" como " mapa relativamente abierto" (por ejemplo, The Encyclopedia of Mathematics), mientras que otros definen "mapa abierto" como " mapa fuertemente abierto". En general, estas definiciones no son equivalentes, por lo que es recomendable verificar siempre qué definición de "mapa abierto" utiliza un autor.

Una función sobreyectiva es relativamente abierta si y solo si es fuertemente abierta; por lo tanto, para este importante caso especial, las definiciones son equivalentes. En términos más generales, una función es relativamente abierta si y solo si la sobreyección es una función fuertemente abierta. ${\displaystyle f:X\to Y}$ ${\displaystyle f:X\to f(X)}$

Porque siempre es un subconjunto abierto de la imagen de una función fuertemente abierta debe ser un subconjunto abierto de su codominio. De hecho, una función relativamente abierta es una función fuertemente abierta si y sólo si su imagen es un subconjunto abierto de su codominio. En resumen,${\estilo de visualización X}$${\estilo de visualización X,}$${\displaystyle f(X)=\nombre del operador {Im} f}$${\displaystyle f:X\to Y}$${\displaystyle Y.}$

Un mapa es fuertemente abierto si y sólo si es relativamente abierto y su imagen es un subconjunto abierto de su codominio.

Al utilizar esta caracterización, a menudo resulta sencillo aplicar resultados que involucran una de estas dos definiciones de "mapa abierto" a una situación que involucra la otra definición.

La discusión anterior también se aplicará a los mapas cerrados si cada instancia de la palabra "abierto" se reemplaza por la palabra "cerrado".

Un mapa se llama${\displaystyle f:X\to Y}$abrir mapa o unmapa fuertemente abierto si satisface alguna de las siguientes condiciones equivalentes:

1. Definición: mapea subconjuntos abiertos de su dominio a subconjuntos abiertos de su codominio; es decir, para cualquier subconjunto abierto de , es un subconjunto abierto de${\displaystyle f:X\to Y}$${\estilo de visualización U}$${\estilo de visualización X}$${\displaystyle f(U)}$${\displaystyle Y.}$
2. ${\displaystyle f:X\to Y}$es un mapa relativamente abierto y su imagen es un subconjunto abierto de su codominio${\displaystyle \operatorname {Im} f:=f(X)}$${\displaystyle Y.}$
3. Para cada vecindario de (por pequeño que sea), es un vecindario de . Podemos reemplazar la primera o ambas instancias de la palabra "vecindario" por "vecindario abierto" en esta condición y el resultado seguirá siendo una condición equivalente:${\displaystyle x\en X}$ ${\estilo de visualización N}$${\estilo de visualización x}$${\displaystyle f(N)}$${\estilo de visualización f(x)}$
   • Para cada barrio abierto de , es un barrio de .${\displaystyle x\en X}$${\estilo de visualización N}$${\estilo de visualización x}$${\displaystyle f(N)}$${\estilo de visualización f(x)}$
   • Para cada barrio abierto de , es un barrio abierto de .${\displaystyle x\en X}$${\estilo de visualización N}$${\estilo de visualización x}$${\displaystyle f(N)}$${\estilo de visualización f(x)}$
4. ${\displaystyle f\left(\operatorname {Int} _{X}A\right)\subseteq \operatorname {Int} _{Y}(f(A))}$para todos los subconjuntos de donde denota el interior topológico del conjunto.${\estilo de visualización A}$${\estilo de visualización X,}$${\displaystyle \nombre del operador {Int} }$
5. Siempre que sea un subconjunto cerrado de entonces el conjunto es un subconjunto cerrado de${\estilo de visualización C}$${\estilo de visualización X}$${\displaystyle \left\{y\in Y~:~f^{-1}(y)\subseteq C\right\}}$${\displaystyle Y.}$
   • Esto es una consecuencia de la identidad que se cumple para todos los subconjuntos.${\displaystyle f(X\setminus R)=Y\setminus \left\{y\in Y:f^{-1}(y)\subseteq R\right\},}$${\displaystyle R\subseteq X.}$

Si es una base para entonces se puede añadir lo siguiente a esta lista:${\displaystyle {\mathcal {B}}}$${\displaystyle X}$

6. ${\displaystyle f}$asigna conjuntos abiertos básicos a conjuntos abiertos en su codominio (es decir, para cualquier conjunto abierto básico es un subconjunto abierto de ).${\displaystyle B\in {\mathcal {B}},}$ ${\displaystyle f(B)}$${\displaystyle Y}$

Un mapa se llama${\displaystyle f:X\to Y}$mapa relativamente cerrado si siempre quees unsubconjunto cerradodel dominioentonceses un subconjunto cerrado delaimagende donde como es habitual, este conjunto está dotado de latopología de subespacioinducida en él porel codominiode${\displaystyle C}$${\displaystyle X}$${\displaystyle f(C)}$${\displaystyle f}$ ${\displaystyle \operatorname {Im} f:=f(X),}$${\displaystyle f}$ ${\displaystyle Y.}$

Un mapa se llama${\displaystyle f:X\to Y}$mapa cerrado o unmapa fuertemente cerrado si satisface alguna de las siguientes condiciones equivalentes:

1. Definición: asigna subconjuntos cerrados de su dominio a subconjuntos cerrados de su codominio; es decir, para cualquier subconjunto cerrado de es un subconjunto cerrado de${\displaystyle f:X\to Y}$${\displaystyle C}$${\displaystyle X,}$ ${\displaystyle f(C)}$${\displaystyle Y.}$
2. ${\displaystyle f:X\to Y}$es un mapa relativamente cerrado y su imagen es un subconjunto cerrado de su codominio${\displaystyle \operatorname {Im} f:=f(X)}$${\displaystyle Y.}$
3. ${\displaystyle {\overline {f(A)}}\subseteq f\left({\overline {A}}\right)}$para cada subconjunto${\displaystyle A\subseteq X.}$
4. ${\displaystyle {\overline {f(C)}}\subseteq f(C)}$para cada subconjunto cerrado${\displaystyle C\subseteq X.}$
5. ${\displaystyle {\overline {f(C)}}=f(C)}$para cada subconjunto cerrado${\displaystyle C\subseteq X.}$
6. Siempre que sea un subconjunto abierto de entonces el conjunto es un subconjunto abierto de${\displaystyle U}$${\displaystyle X}$${\displaystyle \left\{y\in Y~:~f^{-1}(y)\subseteq U\right\}}$${\displaystyle Y.}$
7. Si es una red en y es un punto tal que en entonces converge en al conjunto${\displaystyle x_{\bullet }}$${\displaystyle X}$${\displaystyle y\in Y}$${\displaystyle f\left(x_{\bullet }\right)\to y}$${\displaystyle Y,}$${\displaystyle x_{\bullet }}$${\displaystyle X}$${\displaystyle f^{-1}(y).}$
   • La convergencia significa que cada subconjunto abierto de ese conjunto contendrá para todos los índices suficientemente grandes.${\displaystyle x_{\bullet }\to f^{-1}(y)}$${\displaystyle X}$${\displaystyle f^{-1}(y)}$${\displaystyle x_{j}}$${\displaystyle j.}$

Una función sobreyectiva es fuertemente cerrada si y solo si es relativamente cerrada. Por lo tanto, para este importante caso especial, las dos definiciones son equivalentes. Por definición, la función es una función relativamente cerrada si y solo si la sobreyectiva es una función fuertemente cerrada. ${\displaystyle f:X\to Y}$ ${\displaystyle f:X\to \operatorname {Im} f}$

Si en la definición de " mapa continuo " de un conjunto abierto (que es el enunciado: "toda preimagen de un conjunto abierto es abierta"), ambas instancias de la palabra "abierto" se reemplazan por "cerrado", entonces el enunciado de resultados ("toda preimagen de un conjunto cerrado es cerrada") es equivalente a la continuidad. Esto no sucede con la definición de "mapa abierto" (que es: "toda imagen de un conjunto abierto es abierta") ya que el enunciado de resultados ("toda imagen de un conjunto cerrado es cerrada") es la definición de "mapa cerrado", que en general no es equivalente a la apertura. Existen morfismos abiertos que no son cerrados y también existen morfismos cerrados que no son abiertos. Esta diferencia entre morfismo abierto/cerrado y morfismo continuo se debe en última instancia al hecho de que para cualquier conjunto sólo se garantiza en general, mientras que para las preimágenes, la igualdad siempre se cumple.${\displaystyle S,}$${\displaystyle f(X\setminus S)\supseteq f(X)\setminus f(S)}$${\displaystyle f^{-1}(Y\setminus S)=f^{-1}(Y)\setminus f^{-1}(S)}$

La función definida por es continua, cerrada y relativamente abierta, pero no (fuertemente) abierta. Esto se debe a que si es cualquier intervalo abierto en el dominio de que no contiene a entonces donde este intervalo abierto es un subconjunto abierto de ambos y Sin embargo, si es cualquier intervalo abierto en que contiene a entonces que no es un subconjunto abierto del codominio de pero es un subconjunto abierto de Debido a que el conjunto de todos los intervalos abiertos en es una base para la topología euclidiana en esto muestra que es relativamente abierto pero no (fuertemente) abierto. ${\displaystyle f:\mathbb {R} \to \mathbb {R} }$${\displaystyle f(x)=x^{2}}$${\displaystyle U=(a,b)}$${\displaystyle f}$${\displaystyle \mathbb {R} }$${\displaystyle 0}$${\displaystyle f(U)=(\min\{a^{2},b^{2}\},\max\{a^{2},b^{2}\}),}$${\displaystyle \mathbb {R} }$${\displaystyle \operatorname {Im} f:=f(\mathbb {R} )=[0,\infty ).}$${\displaystyle U=(a,b)}$${\displaystyle \mathbb {R} }$${\displaystyle 0}$${\displaystyle f(U)=[0,\max\{a^{2},b^{2}\}),}$${\displaystyle f}$${\displaystyle \mathbb {R} }$${\displaystyle \operatorname {Im} f=[0,\infty ).}$${\displaystyle \mathbb {R} }$${\displaystyle \mathbb {R} ,}$${\displaystyle f:\mathbb {R} \to \mathbb {R} }$

Si tiene la topología discreta (es decir, todos los subconjuntos son abiertos y cerrados), entonces cada función es abierta y cerrada (pero no necesariamente continua). Por ejemplo, la función de suelo de a es abierta y cerrada, pero no continua. Este ejemplo muestra que la imagen de un espacio conexo bajo una función abierta o cerrada no necesita ser conexa. ${\displaystyle Y}$${\displaystyle f:X\to Y}$${\displaystyle \mathbb {R} }$${\displaystyle \mathbb {Z} }$

Siempre que tenemos un producto de espacios topológicos, las proyecciones naturales son abiertas ^{[12] [13]} (así como continuas). Dado que las proyecciones de haces de fibras y de funciones de recubrimiento son proyecciones locales naturales de productos, también son funciones abiertas. Sin embargo, las proyecciones no necesitan ser cerradas. Consideremos, por ejemplo, la proyección sobre el primer componente; entonces, el conjunto está cerrado en pero no está cerrado en Sin embargo, para un espacio compacto, la proyección está cerrada. Este es esencialmente el lema del tubo .${\textstyle X=\prod X_{i},}$${\displaystyle p_{i}:X\to X_{i}}$${\displaystyle p_{1}:\mathbb {R} ^{2}\to \mathbb {R} }$${\displaystyle A=\{(x,1/x):x\neq 0\}}$${\displaystyle \mathbb {R} ^{2},}$${\displaystyle p_{1}(A)=\mathbb {R} \setminus \{0\}}$${\displaystyle \mathbb {R} .}$${\displaystyle Y,}$${\displaystyle X\times Y\to X}$

A cada punto del círculo unitario podemos asociar el ángulo del eje positivo con el rayo que une el punto con el origen. Esta función del círculo unitario al intervalo semiabierto [0,2π) es biyectiva, abierta y cerrada, pero no continua. Muestra que la imagen de un espacio compacto bajo una función abierta o cerrada no necesita ser compacta. Nótese también que si consideramos esto como una función del círculo unitario a los números reales, entonces no es ni abierta ni cerrada. Especificar el codominio es esencial.${\displaystyle x}$

Todo homeomorfismo es abierto, cerrado y continuo. De hecho, una función continua biyectiva es un homeomorfismo si y solo si es abierta, o equivalentemente, si y solo si es cerrada.

La composición de dos mapas (fuertemente) abiertos es un mapa abierto y la composición de dos mapas (fuertemente) cerrados es un mapa cerrado. ^{[14] [15]} Sin embargo, la composición de dos mapas relativamente abiertos no necesita ser relativamente abierta y, de manera similar, la composición de dos mapas relativamente cerrados no necesita ser relativamente cerrada. Si es fuertemente abierto (respectivamente, fuertemente cerrado) y es relativamente abierto (respectivamente, relativamente cerrado), entonces es relativamente abierto (respectivamente, relativamente cerrado). ${\displaystyle f:X\to Y}$${\displaystyle g:Y\to Z}$${\displaystyle g\circ f:X\to Z}$

Sea una función. Dado cualquier subconjunto si es una función relativamente abierta (respectivamente, relativamente cerrada, fuertemente abierta, fuertemente cerrada, continua, sobreyectiva ), entonces lo mismo es cierto de su restricción al subconjunto -saturado .${\displaystyle f:X\to Y}$${\displaystyle T\subseteq Y,}$${\displaystyle f:X\to Y}$$${\displaystyle f{\big \vert }_{f^{-1}(T)}~:~f^{-1}(T)\to T}$$${\displaystyle f}$${\displaystyle f^{-1}(T).}$

La suma categórica de dos mapas abiertos es abierta, o la de dos mapas cerrados es cerrada. ^[15] El producto categórico de dos mapas abiertos es abierto, sin embargo, el producto categórico de dos mapas cerrados no necesita ser cerrado. ^{[14] [15]}

Una función biyectiva es abierta si y solo si es cerrada. La inversa de una función biyectiva continua es una función biyectiva abierta/cerrada (y viceversa). Una función sobreyectiva abierta no es necesariamente una función cerrada y, de la misma manera, una función sobreyectiva cerrada no es necesariamente una función abierta. Todos los homeomorfismos locales , incluidos todos los gráficos de coordenadas en variedades y todas las funciones de recubrimiento , son funciones abiertas.

Una variante del lema del mapa cerrado establece que si una función continua entre espacios de Hausdorff localmente compactos es propia, entonces también es cerrada.

En el análisis complejo , el teorema de aplicación abierta, que lleva el mismo nombre, establece que toda función holomorfa no constante definida en un subconjunto abierto conexo del plano complejo es una aplicación abierta.

El teorema de invariancia del dominio establece que una función continua y localmente inyectiva entre variedades topológicas bidimensionales debe ser abierta. ${\displaystyle n}$

En el análisis funcional , el teorema de aplicación abierta establece que todo operador lineal continuo sobreyectivo entre espacios de Banach es una aplicación abierta. Este teorema se ha generalizado a espacios vectoriales topológicos más allá de los espacios de Banach.

Una aplicación sobreyectiva se llama aplicación casi abierta.${\displaystyle f:X\to Y}$Si para cada uno existe algo tal que es un${\displaystyle y\in Y}$${\displaystyle x\in f^{-1}(y)}$${\displaystyle x}$punto de apertura parael cual por definición significa que para cada entorno abiertodees unentornodeen(nótese queno se requiere que el entorno sea unabierto). Toda función abierta sobreyectiva es una función casi abierta pero en general, la inversa no es necesariamente cierta. Si una función abierta sobreyectivaes una función casi abierta entonces será una función abierta si satisface la siguiente condición (una condición que nodependeen modo alguno dela topología de): ${\displaystyle f,}$${\displaystyle U}$${\displaystyle x,}$ ${\displaystyle f(U)}$${\displaystyle f(x)}$${\displaystyle Y}$${\displaystyle f(U)}$${\displaystyle f:(X,\tau )\to (Y,\sigma )}$${\displaystyle Y}$${\displaystyle \sigma }$

siempre que pertenezcan a la misma fibra de (es decir, ) entonces para cada vecindad de existe alguna vecindad de tal que${\displaystyle m,n\in X}$${\displaystyle f}$${\displaystyle f(m)=f(n)}$${\displaystyle U\in \tau }$${\displaystyle m,}$${\displaystyle V\in \tau }$${\displaystyle n}$${\displaystyle F(V)\subseteq F(U).}$

Si la función es continua, entonces también es necesaria la condición anterior para que la función sea abierta. Es decir, si es una sobreyección continua, entonces es una función abierta si y solo si es casi abierta y satisface la condición anterior.${\displaystyle f:X\to Y}$

Si es un mapa continuo que también está abierto o cerrado entonces: ${\displaystyle f:X\to Y}$

• Si es una sobreyección entonces es una función cociente e incluso una función cociente hereditaria ,${\displaystyle f}$
  • Una aplicación sobreyectiva se llama hereditariamente cociente si para cada subconjunto la restricción es una aplicación cociente.${\displaystyle f:X\to Y}$${\displaystyle T\subseteq Y,}$${\displaystyle f{\big \vert }_{f^{-1}(T)}~:~f^{-1}(T)\to T}$
• Si es una inyección entonces es una incrustación topológica .${\displaystyle f}$
• Si es una biyección entonces es un homeomorfismo .${\displaystyle f}$

En los dos primeros casos, la apertura o el cierre son simplemente una condición suficiente para la conclusión que se sigue. En el tercer caso, también son necesarios .

Si es un mapa continuo (fuertemente) abierto, y entonces:${\displaystyle f:X\to Y}$${\displaystyle A\subseteq X,}$${\displaystyle S\subseteq Y,}$

• ${\displaystyle f^{-1}\left(\operatorname {Bd} _{Y}S\right)=\operatorname {Bd} _{X}\left(f^{-1}(S)\right)}$donde denota el límite de un conjunto.${\displaystyle \operatorname {Bd} }$
• ${\displaystyle f^{-1}\left({\overline {S}}\right)={\overline {f^{-1}(S)}}}$donde denotan el cierre de un conjunto.${\displaystyle {\overline {S}}}$
• Si donde denota el interior de un conjunto, entonces donde este conjunto es también necesariamente un conjunto regular cerrado (en ). ^{[nota 1]} En particular, si es un conjunto regular cerrado entonces también lo es Y si es un conjunto regular abierto entonces también lo es${\displaystyle {\overline {A}}={\overline {\operatorname {Int} _{X}A}},}$${\displaystyle \operatorname {Int} }$$${\displaystyle {\overline {\operatorname {Int} _{Y}f(A)}}={\overline {f(A)}}={\overline {f\left(\operatorname {Int} _{X}A\right)}}={\overline {f\left({\overline {\operatorname {Int} _{X}A}}\right)}}}$$${\displaystyle {\overline {f(A)}}}$${\displaystyle Y}$${\displaystyle A}$${\displaystyle {\overline {f(A)}}.}$${\displaystyle A}$${\displaystyle Y\setminus {\overline {f(X\setminus A)}}.}$
• Si la función abierta continua también es sobreyectiva, entonces y además, es un subconjunto regular abierto (resp. un regular cerrado) ^{[nota 1]} de si y solo si es un subconjunto regular abierto (resp. un regular cerrado) de${\displaystyle f:X\to Y}$${\displaystyle \operatorname {Int} _{X}f^{-1}(S)=f^{-1}\left(\operatorname {Int} _{Y}S\right)}$${\displaystyle S}$${\displaystyle Y}$${\displaystyle f^{-1}(S)}$${\displaystyle X.}$
• Si una red converge en un punto y si la función abierta continua es sobreyectiva, entonces para cualquier existe una red en (indexada por algún conjunto dirigido ) tal que en y es una subred de Además, el conjunto de indexación puede tomarse como con el orden del producto donde es cualquier base de vecindad de dirigida por ^{[nota 2]}${\displaystyle y_{\bullet }=\left(y_{i}\right)_{i\in I}}$ ${\displaystyle Y}$${\displaystyle y\in Y}$${\displaystyle f:X\to Y}$${\displaystyle x\in f^{-1}(y)}$${\displaystyle x_{\bullet }=\left(x_{a}\right)_{a\in A}}$${\displaystyle X}$ ${\displaystyle A}$${\displaystyle x_{\bullet }\to x}$${\displaystyle X}$${\displaystyle f\left(x_{\bullet }\right):=\left(f\left(x_{a}\right)\right)_{a\in A}}$${\displaystyle y_{\bullet }.}$${\displaystyle A}$${\displaystyle A:=I\times {\mathcal {N}}_{x}}$${\displaystyle {\mathcal {N}}_{x}}$${\displaystyle x}$${\displaystyle \,\supseteq .\,}$

• Mapa casi abierto  – Mapa que satisface una condición similar a la de ser un mapa abierto.
• Grafo cerrado  – Gráfica de un mapa cerrado en el espacio del productoPages displaying short descriptions of redirect targets
• Operador lineal cerrado
• Homeomorfismo local  – Función matemática reversible cerca de cada punto
• Mapa cuasi-abierto  – Función que asigna conjuntos abiertos no vacíos a conjuntos que tienen un interior no vacío en su codominio
• Mapa de cocientes (topología)  – Construcción del espacio topológicoPages displaying short descriptions of redirect targets
• Mapa perfecto  – Mapa sobreyectivo cerrado continuo, cada una de cuyas fibras son también conjuntos compactos
• Mapa propio  – Mapa entre espacios topológicos con la propiedad de que la preimagen de cada compacto es compacto
• Mapa de cobertura de secuencias

• Narici, Lawrence; Beckenstein, Edward (2011). Espacios vectoriales topológicos . Matemáticas puras y aplicadas (segunda edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666.OCLC 144216834  .
• Schaefer, Helmut H. ; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . Vol. 8 (Segunda ed.). Nueva York, NY: Springer New York Imprenta Springer. ISBN 978-1-4612-7155-0.OCLC 840278135  .
• Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-45352-1.OCLC 853623322  .