Una función que envía subconjuntos abiertos (o cerrados) a subconjuntos abiertos (o cerrados)
En matemáticas , más específicamente en topología , una aplicació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 está abierta si cualquier conjunto abierto en la imagen está abierto en
Del mismo modo, un mapa cerrado es una función que asigna conjuntos cerrados a conjuntos cerrados. [3] [4]
Un mapa puede estar abierto, cerrado, ambos o ninguno; [5] en particular, un mapa abierto no necesita estar cerrado y viceversa. [6]![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los mapas abiertos [7] y cerrados [8] no son necesariamente continuos . [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 limita a espacios métricos. [9]
Aunque sus definiciones parecen más naturales, los mapas abiertos y cerrados son mucho menos importantes que los mapas continuos. Recuerde que, por definición, una función es continua si la preimagen de cada conjunto abierto de está abierta en [2] (de manera equivalente, si la preimagen de cada conjunto cerrado de está cerrada en ).![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los primeros estudios de mapas abiertos fueron iniciados por Simion Stoilow y Gordon Thomas Whyburn . [10]
Definiciones y caracterizaciones
Si es un subconjunto de un espacio topológico, entonces sea y (resp. ) denotar el cierre (resp. interior ) de en ese espacio. Sea una función entre espacios topológicos . Si hay algún conjunto, entonces se llama imagen de debajo.![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {S}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Cl} S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Int} S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(S):=\left\{f(s)~:~s\in S\cap \operatorname {dominio} f\right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Definiciones en competencia
Hay dos definiciones diferentes, en competencia, pero estrechamente relacionadas, de " mapa abierto " que se utilizan ampliamente, donde ambas definiciones se pueden resumir como: "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\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- " Mapa fuertemente abierto " si siempre es un subconjunto abierto del dominio , entonces es un subconjunto abierto del codominio
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- "Mapa relativamente abierto "si siemprees un subconjunto abierto del dominio,entonceses un subconjunto abierto dela imagende 'sdonde, como de costumbre, este conjunto está dotado de latopología subespacialinducida en él porel codominio de 's
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Estoy} f:=f(X),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Todo mapa fuertemente abierto es un mapa relativamente abierto. 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 aconsejable comprobar siempre qué definición de "mapa abierto" está utilizando un autor.
Un mapa sobreyectivo es relativamente abierto si y sólo si es fuertemente abierto; por lo que para este importante caso especial las definiciones son equivalentes. De manera más general, un mapa es relativamente abierto si y sólo si la sobreyección es un mapa fuertemente abierto.
![{\displaystyle f:X\to f(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Porque siempre es un subconjunto abierto de la imagen de un mapa fuertemente abierto debe ser un subconjunto abierto de su codominio. De hecho, un mapa relativamente abierto es un mapa fuertemente abierto si y sólo si su imagen es un subconjunto abierto de su codominio. En resumen,![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(X)=\operatorname {Estoy} f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- 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 los 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 mapas cerrados si cada instancia de la palabra "abierto" se reemplaza por la palabra "cerrado".
Abrir mapas
Un mapa se llama
abrir el mapa o unmapa fuertemente abierto si satisface cualquiera de las siguientes condiciones equivalentes:
- Definición: asigna 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\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es un mapa relativamente abierto y su imagen es un subconjunto abierto de su codominio![{\displaystyle \operatorname {Estoy} f:=f(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Para todos y cada uno de los barrios de (por pequeños que sean), es un barrio de . Podemos reemplazar la primera o ambas apariciones de la palabra "vecindario" por "vecindario abierto" en esta condición y el resultado seguirá siendo una condición equivalente:
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(N)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Para todos y cada uno de los barrios abiertos de , es un barrio de .
![{\displaystyle x\en X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(N)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Para todos y cada uno de los barrios abiertos de , es un barrio abierto de .
![{\displaystyle x\en X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(N)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para todos los subconjuntos de donde denota el interior topológico del conjunto.![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Int} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Siempre que es un subconjunto cerrado de entonces el conjunto es un subconjunto cerrado de
![{\displaystyle C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\{y\in Y~:~f^{-1}(y)\subseteq C\right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Esta 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\},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R\subseteq X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si es una base para ello, se puede agregar lo siguiente a esta lista:![{\displaystyle {\mathcal {B}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
asigna conjuntos abiertos básicos a conjuntos abiertos en su codominio (es decir, cualquier conjunto abierto básico es un subconjunto abierto de ).
![{\displaystyle f(B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Mapas cerrados
Un mapa se llama
mapa relativamente cerrado si siemprees unsubconjunto cerradodel dominio,entonceses un subconjunto cerrado deimagende 'sdonde, como de costumbre, este conjunto está dotado de latopología subespacialinducida en él porel codominiode 's![{\displaystyle C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(C)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Estoy} f:=f(X),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Un mapa se llama
mapa cerrado o unmapa fuertemente cerrado si satisface alguna de las siguientes condiciones equivalentes:
- 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\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(C)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es un mapa relativamente cerrado y su imagen es un subconjunto cerrado de su codominio![{\displaystyle \operatorname {Estoy} f:=f(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para cada subconjunto![{\displaystyle A\subseteq X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para cada subconjunto cerrado![{\displaystyle C\subseteq X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
para cada subconjunto cerrado![{\displaystyle C\subseteq X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Siempre que sea un subconjunto abierto de entonces el conjunto es un subconjunto abierto de
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\{y\in Y~:~f^{-1}(y)\subseteq U\right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si es una red in y es un punto tal que in entonces converge en el conjunto
![{\displaystyle x_{\bullet }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y\en Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\left(x_{\bullet }\right)\to y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- La convergencia significa que cada subconjunto abierto que contiene contendrá todos los índices suficientemente grandes
![{\displaystyle x_{\bullet }\to f^{-1}(y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f^{-1}(y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{j}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle j.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Un mapa sobreyectivo es fuertemente cerrado si y sólo si es relativamente cerrado. Entonces, para este importante caso especial, las dos definiciones son equivalentes. Por definición, el mapa es un mapa relativamente cerrado si y sólo si la sobreyección es un mapa fuertemente cerrado.
![{\displaystyle f:X\to \operatorname {Estoy} f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si en la definición de conjunto abierto de " mapa continuo " (que es la afirmación: "cada preimagen de un conjunto abierto es abierta"), ambas instancias de la palabra "abierto" se reemplazan por "cerrado", entonces la declaración de resultados (" toda preimagen de un conjunto cerrado es cerrada") equivale a continuidad. Esto no sucede con la definición de "mapa abierto" (que es: "toda imagen de un conjunto abierto es abierta") ya que la afirmación que resulta ("toda imagen de un conjunto cerrado es cerrada") es la definición de "mapa cerrado". mapa", que en general no equivale a apertura. Existen mapas abiertos que no están cerrados y también existen mapas cerrados que no están abiertos. Esta diferencia entre mapas abiertos/cerrados y mapas continuos se debe en última instancia al hecho de que para cualquier conjunto solo está garantizado en general, mientras que para las preimágenes la igualdad siempre se cumple.![{\displaystyle S,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(X\setminus S)\supseteq f(X)\setminus f(S)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f^{-1}(Y\setminus S)=f^{-1}(Y)\setminus f^{-1}(S)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplos
La función definida por es continua, cerrada y relativamente abierta, pero no (fuertemente) abierta. Esto se debe a que si hay algún intervalo abierto en el dominio de que no contiene , entonces , este intervalo abierto es un subconjunto abierto de ambos y, sin embargo, si hay algún intervalo abierto que contiene , 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 es una base para la topología euclidiana , esto muestra que es relativamente abierto pero no (fuertemente) abierto. ![{\displaystyle f:\mathbb {R} \to \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(x)=x^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U=(a,b)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(U)=(\min\{a^{2},b^{2}\},\max\{a^{2},b^{2}\}),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Estoy} f:=f(\mathbb {R} )=[0,\infty ).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U=(a,b)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(U)=[0,\max\{a^{2},b^{2}\}),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Estoy} f=[0,\infty ).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:\mathbb {R} \to \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si tiene una 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 piso desde hasta es abierta y cerrada, pero no continua. Este ejemplo muestra que la imagen de un espacio conectado bajo un mapa abierto o cerrado no necesita estar conectada. ![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Siempre que tenemos un producto de espacios topológicos las proyecciones naturales son abiertas [12] [13] (además de continuas). Dado que las proyecciones de haces de fibras y mapas de cobertura son proyecciones locales naturales de productos, estos también son mapas abiertos. Sin embargo, no es necesario cerrar las proyecciones. Consideremos, por ejemplo, la proyección sobre el primer componente; entonces el conjunto está cerrado pero no cerrado.
Sin embargo, para un espacio compacto la proyección está cerrada. Este es esencialmente el lema del tubo .![{\textstyle X=\prod X_ {i},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p_{i}:X\to X_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p_{1}:\mathbb {R} ^{2}\to \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A=\{(x,1/x):x\neq 0\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{2},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p_{1}(A)=\mathbb {R} \setminus \{0\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\times Y\to X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
A cada punto del círculo unitario podemos asociar el ángulo del eje positivo con el rayo que conecta el punto con el origen. Esta función desde el círculo unitario hasta el intervalo semiabierto [0,2π) es biyectiva, abierta y cerrada, pero no continua. Muestra que la imagen de un espacio compacto bajo un mapa abierto o cerrado no tiene por qué ser compacta. Tenga en cuenta también que si consideramos esto como una función desde el círculo unitario hasta los números reales, entonces no es ni abierto ni cerrado. Especificar el codominio es esencial.![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Condiciones suficientes
Todo homeomorfismo es abierto, cerrado y continuo. De hecho, un mapa continuo biyectivo es un homeomorfismo si y sólo si es abierto, o de manera equivalente, si y sólo si es cerrado.
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 está fuertemente abierto (respectivamente, fuertemente cerrado) y está relativamente abierto (respectivamente, relativamente cerrado), entonces está relativamente abierto (respectivamente, relativamente cerrado). ![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g:Y\a Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g\circ f:X\to Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Sea un mapa. Dado cualquier subconjunto si es un mapa relativamente abierto (respectivamente, relativamente cerrado, fuertemente abierto, fuertemente cerrado, continuo, sobreyectivo ), entonces lo mismo ocurre con su restricción
al subconjunto saturado.![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T\subseteq Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f{\big \vert }_{f^{-1}(T)}~:~f^{-1}(T)\to T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f^{-1}(T).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La suma categórica de dos mapas abiertos es abierta, o 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]
Un mapa biyectivo está abierto si y sólo si está cerrado. La inversa de un mapa biyectivo continuo es un mapa biyectivo abierto/cerrado (y viceversa). Un mapa abierto sobreyectivo no es necesariamente un mapa cerrado y, de la misma manera, un mapa cerrado sobreyectivo no es necesariamente un mapa abierto. Todos los homeomorfismos locales , incluidos todos los gráficos de coordenadas de las variedades y todos los mapas de cobertura , son mapas abiertos.
Una variante del lema del mapa cerrado establece que si una función continua entre espacios de Hausdorff localmente compactos es adecuada, entonces también es cerrada.
En análisis complejo , el teorema de mapeo abierto del mismo nombre establece que cada función holomorfa no constante definida en un subconjunto abierto conectado del plano complejo es un mapa abierto.
La invariancia del teorema del dominio establece que una función continua y localmente inyectiva entre variedades topológicas bidimensionales debe estar abierta. ![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En análisis funcional , el teorema de mapeo abierto establece que cada operador lineal continuo sobreyectivo entre espacios de Banach es un mapa abierto. Este teorema se ha generalizado a espacios vectoriales topológicos más allá de los espacios de Banach.
Un mapa sobreyectivo se llama mapa casi abierto.
si para cada uno existe alguno que sea un![{\displaystyle y\en Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en f^{-1}(y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
punto de apertura parael cual, por definición, significa que para cada vecindad abiertadees unavecindaddeinno es necesario quela vecindadabierta). Todo mapa abierto sobreyectivo es un mapa casi abierto pero, en general, lo contrario no es necesariamente cierto. Si una sobreyecciónes un mapa casi abierto, entonces será un mapa abierto si satisface la siguiente condición (una condición que nodependede ninguna manera dela topología de): ![{\displaystyle f,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(x)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:(X,\tau )\to (Y,\sigma )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- siempre que pertenezcan a la misma fibra de (es decir, ) entonces, para cada vecindad de existe alguna vecindad de tal que
![{\displaystyle m,n\en X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(m)=f(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U\en \tau }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V\en \tau }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F(V)\subseteq F(U).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si el mapa es continuo, entonces la condición anterior también es necesaria para que el mapa esté abierto. Es decir, si es una sobreyección continua entonces es un mapa abierto si y sólo si es casi abierto y satisface la condición anterior.![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Propiedades
Mapas abiertos o cerrados que son continuos.
Si es un mapa continuo que también está abierto o cerrado entonces: ![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- si es una sobreyección entonces es un mapa de cociente e incluso un mapa de cociente hereditario ,
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Un mapa sobreyectivo se llama cociente hereditario si para cada subconjunto la restricción es un mapa de cociente.
![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle T\subseteq Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f{\big \vert }_{f^{-1}(T)}~:~f^{-1}(T)\to T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si es una inyección , entonces es una incrustación topológica .
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si es una biyección entonces es un homeomorfismo .
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En los dos primeros casos, estar abierto o cerrado es simplemente una condición suficiente para la conclusión que sigue. En el tercer caso, también es necesario .
Abrir mapas continuos
Si es un mapa continuo (fuertemente) abierto, y entonces:![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\subseteq X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S\subseteq Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde denota el límite de un conjunto.![{\displaystyle \operatorname {Bd} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde denota el cierre de un conjunto.![{\displaystyle {\overline {S}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si donde denota el interior de un conjunto, entonces
donde este conjunto también es necesariamente un conjunto cerrado regular (in ). [nota 1] En particular, si es un conjunto cerrado regular, entonces también lo es. Y si es un conjunto abierto regular , entonces también lo es.
![{\displaystyle {\overline {A}}={\overline {\operatorname {Int} _ {X}A}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Int} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\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)}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {f(A)}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {f(A)}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si el mapa abierto continuo también es sobreyectivo, entonces y además, es un subconjunto regular abierto (o regular cerrado) [nota 1] de si y solo si es un subconjunto regular abierto (o regular cerrado) de
![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Int} _ {X}f^{-1}(S)=f^{-1}\left(\operatorname {Int} _{Y}S\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f^{-1}(S)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si una red converge en un punto y si el mapa abierto continuo es sobreyectivo, entonces para cualquiera existe una red en (indexada por algún conjunto dirigido ) tal que en y es una subred de Además, se puede considerar que el conjunto de indexación es con el pedido del producto donde hay alguna base de vecindad dirigida por [nota 2]
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y\en Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en f^{-1}(y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet }=\left(x_{a}\right)_{a\in A}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{\bullet }\a x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\left(x_{\bullet }\right):=\left(f\left(x_{a}\right)\right)_{a\in A}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y_{\bullet}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A:=I\times {\mathcal {N}}_{x}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {N}}_{x}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \,\supseteq .\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Notas
- ^ ab Un subconjunto se llama
conjunto cerrado regular sio equivalentemente, sidonde(resp.) denota ellímite topológico(resp.interior,cierre) deenEl conjuntose llama![{\displaystyle {\overline {\operatorname {Int} S}}=S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Bd} \left(\operatorname {Int} S\right)=\operatorname {Bd} S,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Bd} S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {S}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
conjunto abierto regular sio equivalentemente, siEl interior (tomado en) de un subconjunto cerrado dees siempre un subconjunto abierto regular deEl cierre (tomado en) de un subconjunto abierto dees siempre un subconjunto cerrado regular de![{\displaystyle \operatorname {Int} \left({\overline {S}}\right)=S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {Bd} \left({\overline {S}}\right)=\operatorname {Bd} S.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- ^ Explícitamente, para cualquier elección, cualquier cosa que sea arbitraria. La asignación define un morfismo de orden tal que es un subconjunto cofinal de por lo tanto es una subred Willard de
![{\displaystyle a:=(i,U)\in A:=I\times {\mathcal {N}}_{x},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h_{a}\en I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\leq h_{a}{\text{ y }}y_{h_{a}}\in f(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{a}\in U\cap f^{-1}\left(y_{h_{a}}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h:A\a I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h(A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I;}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\left(x_{\bullet }\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y_{\bullet}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Citas
- ^ Munkres, James R. (2000). Topología (2ª ed.). Prentice Hall . ISBN 0-13-181629-2.
- ^ ab Mendelson, Bert (1990) [1975]. Introducción a la topología (Tercera ed.). Dover. pag. 89.ISBN 0-486-66352-3.
Es importante recordar que el Teorema 5.3 dice que una función es continua si y sólo si la imagen inversa de cada conjunto abierto es abierta. Esta caracterización de continuidad no debe confundirse con otra propiedad que una función puede poseer o no, la propiedad de que la imagen de cada conjunto abierto es un conjunto abierto (tales funciones se denominan mapeos abiertos ).![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- ^ abc Lee, John M. (2003). Introducción a los colectores lisos . Textos de Posgrado en Matemáticas. vol. 218. Medios científicos y comerciales de Springer. pag. 550.ISBN 9780387954486. Se dice que
un mapa (continuo o no) es un mapa abierto si por cada subconjunto cerrado está abierto y un mapa cerrado si por cada subconjunto cerrado está cerrado Los mapas continuos pueden ser abiertos, cerrados, ambos o ninguno, como puede ser visto examinando ejemplos simples que involucran subconjuntos del plano.![{\displaystyle F:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F(U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F(K)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- ^ ab Ludu, Andrei (15 de enero de 2012). Ondas no lineales y solitones en contornos y superficies cerradas . Serie Springer en Sinergética. pag. 15.ISBN 9783642228940.
Un mapa abierto es una función entre dos espacios topológicos que asigna conjuntos abiertos a conjuntos abiertos. Asimismo, una aplicación cerrada es una función que asigna conjuntos cerrados a conjuntos cerrados. Los mapas abiertos o cerrados no son necesariamente continuos.
- ^ Sohrab, Houshang H. (2003). Análisis Real Básico. Medios de ciencia y negocios de Springer. pag. 203.ISBN 9780817642112.
Ahora estamos listos para nuestros ejemplos que muestran que una función puede estar abierta sin estar cerrada o cerrada sin estar abierta. Además, una función puede estar abierta y cerrada simultáneamente o ni abierta ni cerrada.
(La afirmación citada se da en el contexto de los espacios métricos, pero como los espacios topológicos surgen como generalizaciones de espacios métricos, la afirmación también es válida allí). - ^ Naber, Gregory L. (2012). Métodos topológicos en espacios euclidianos . Libros de Dover sobre matemáticas (reimpresión ed.). Corporación de mensajería. pag. 18.ISBN 9780486153445.
Ejercicio 1-19. Demuestre que el mapa de proyección π 1 : X 1 × ··· × X k → X i es un mapa abierto, pero no necesita ser un mapa cerrado. Sugerencia: La proyección de R 2 sobre no está cerrada. De manera similar, un mapa cerrado no necesita estar abierto ya que cualquier mapa constante está cerrado. Sin embargo, para mapas que son uno a uno y uno a uno, los conceptos de "abierto" y "cerrado" son equivalentes.![{\displaystyle \pi _{i}:X_{i}\times \cdots \times X_{k}\to X_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- ^ Mendelson, Bert (1990) [1975]. Introducción a la topología (Tercera ed.). Dover. pag. 89.ISBN 0-486-66352-3.
Hay muchas situaciones en las que una función tiene la propiedad de que, para cada subconjunto abierto del conjunto, es un subconjunto abierto de y, sin embargo, no es continua.![{\displaystyle f:\left(X,\tau \right)\to \left(Y,\tau '\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- ^ Abucheos, Johann (2000). Métodos clásicos y modernos en sumabilidad. Prensa de la Universidad de Oxford. pag. 332.ISBN 0-19-850165-X.
Ahora surge la pregunta de si la última afirmación es cierta en general, es decir, si los mapas cerrados son continuos. Esto falla en general, como lo demuestra el siguiente ejemplo.
- ^ Kubrusly, Carlos S. (2011). Los elementos de la teoría del operador . Medios de ciencia y negocios de Springer. pag. 115.ISBN 9780817649982.
En general, una aplicación de un espacio métrico a un espacio métrico puede poseer cualquier combinación de los atributos "continuo", "abierto" y "cerrado" (es decir, son conceptos independientes).![{\displaystyle F:X\a Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- ^ Hart, KP; Nagata, J.; Vaughan, JE, eds. (2004). Enciclopedia de Topología General . Elsevier. pag. 86.ISBN 0-444-50355-2.
Parece que el estudio de los mapas abiertos (interiores) comenzó con los artículos [13,14] de S. Stoïlow . Claramente, GT Whyburn fue el primero en estudiar exhaustivamente la apertura de los mapas [19,20].
- ^ Willard, Stephen (1970). Topología general . Addison-Wesley. ISBN 0486131785.
- ^ Lee, John M. (2012). Introducción a los colectores lisos. Textos de Posgrado en Matemáticas. vol. 218 (Segunda ed.). pag. 606. doi :10.1007/978-1-4419-9982-5. ISBN 978-1-4419-9982-5.
Ejercicio A.32. Supongamos que son espacios topológicos. Demuestre que cada proyección es un mapa abierto.![{\displaystyle X_{1},\ldots,X_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pi _{i}:X_{1}\times \cdots \times X_{k}\to X_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- ^ ab Baues, Hans-Joachim; Quintero, Antonio (2001). Teoría de la homotopía infinita . K -Monografías en Matemáticas. vol. 6. pág. 53.ISBN 9780792369820.
Un compuesto de mapas abiertos está abierto y un compuesto de mapas cerrados está cerrado. Además, se abre un producto de mapas abiertos. En cambio, un producto de mapas cerrados no necesariamente es cerrado,...
- ^ abc James, IM (1984). Topología general y teoría de la homotopía . Springer-Verlag. pag. 49.ISBN 9781461382836.
...recordemos que la composición de los mapas abiertos es abierta y la composición de los mapas cerrados es cerrada. También que la suma de mapas abiertos sea abierta y la suma de mapas cerrados sea cerrada. Sin embargo, el producto de mapas cerrados no necesariamente es cerrado, aunque el producto de mapas abiertos sí lo es.
Referencias
- Narici, Lorenzo; Beckenstein, Eduardo (2011). Espacios vectoriales topológicos . Matemática pura y aplicada (Segunda ed.). Boca Ratón, 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 Nueva York Pie de 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.