En topología y ramas relacionadas de las matemáticas , los axiomas de cierre de Kuratowski son un conjunto de axiomas que pueden usarse para definir una estructura topológica en un conjunto . Son equivalentes a la definición de conjunto abierto más comúnmente utilizada . Fueron formalizados por primera vez por Kazimierz Kuratowski , [1] y la idea fue estudiada más a fondo por matemáticos como Wacław Sierpiński y António Monteiro , [2] entre otros.
Se puede utilizar un conjunto similar de axiomas para definir una estructura topológica utilizando únicamente la noción dual de operador interior . [3]
Definición
Operadores de cierre de Kuratowski y debilitamientos.
Sea un conjunto arbitrario y su conjunto potencia . Un operador de cierre de Kuratowski es una operación unaria con las siguientes propiedades:![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} :\wp (X)\to \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[K1] Conserva
el conjunto vacío : ;
![{\displaystyle \mathbf {c} (\varnothing )=\varnothing }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[K2] Es extenso : para todos , ;![{\displaystyle A\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\subseteq \mathbf {c} (A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[K3] Es idempotente : para todos , ;![{\displaystyle A\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} (A)=\mathbf {c} (\mathbf {c} (A))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[K4] Preserva /
distribuye sobre uniones binarias : para todos ,.
![{\displaystyle A,B\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} (A\cup B)=\mathbf {c} (A)\cup \mathbf {c} (B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Una consecuencia de preservar las uniones binarias es la siguiente condición: [4]![{\displaystyle \mathbf {c} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[K4'] Es
monótono : .
![{\displaystyle A\subseteq B\Rightarrow \mathbf {c} (A)\subseteq \mathbf {c} (B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
De hecho, si reescribimos la igualdad en [K4] como una inclusión, dando el axioma más débil [K4''] ( subaditividad ):
[K4''] Es
subaditivo : para todos , ,
![{\displaystyle A,B\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} (A\cup B)\subseteq \mathbf {c} (A)\cup \mathbf {c} (B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
entonces es fácil ver que los axiomas [K4'] y [K4''] juntos son equivalentes a [K4] (consulte el penúltimo párrafo de la Prueba 2 a continuación).
Kuratowski (1966) incluye un quinto axioma (opcional) que requiere que los conjuntos únicos sean estables bajo cierre: para todos ,. Se refiere a los espacios topológicos que satisfacen los cinco axiomas como espacios T 1 en contraste con los espacios más generales que sólo satisfacen los cuatro axiomas enumerados. De hecho, estos espacios corresponden exactamente a los espacios topológicos T 1 mediante la correspondencia habitual (ver más abajo). [5]![{\displaystyle x\en X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} (\{x\})=\{x\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si se omite el requisito [K3] , entonces los axiomas definen un operador de cierre de Čech . [6] Si en su lugar se omite [K1] , entonces se dice que un operador que satisface [K2] , [K3] y [K4'] es un operador de cierre de Moore . [7] Un par se llama espacio de cierre de Kuratowski , Čech o Moore dependiendo de los axiomas satisfechos por .![{\displaystyle (X,\mathbf {c} )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Axiomatizaciones alternativas
Los cuatro axiomas de cierre de Kuratowski pueden sustituirse por una única condición, dada por Pervin: [8]
[P] Para todos , .
![{\displaystyle A,B\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\cup \mathbf {c} (A)\cup \mathbf {c} (\mathbf {c} (B))=\mathbf {c} (A\cup B)\setminus \mathbf {c} (\varnada)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los axiomas [K1] – [K4] se pueden derivar como consecuencia de este requisito:
- Elegir . Entonces , o . Esto implica inmediatamente [K1] .
![{\displaystyle A=B=\varnada }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varnothing \cup \mathbf {c} (\varnothing )\cup \mathbf {c} (\mathbf {c} (\varnothing ))=\mathbf {c} (\varnothing )\setminus \mathbf {c } (\varnada)=\varnada}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} (\varnothing )\cup \mathbf {c} (\mathbf {c} (\varnothing ))=\varnothing }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Elija un arbitrario y . Luego, aplicando el axioma [K1] , , implicando [K2] .
![{\displaystyle A\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B=\varnada }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\cup \mathbf {c} (A)=\mathbf {c} (A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Elija y un arbitrario . Luego, aplicando el axioma [K1] , que es [K3] .
![{\displaystyle A=\varnada }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} (\mathbf {c} (B))=\mathbf {c} (B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Elija arbitrario . Aplicando los axiomas [K1] – [K3] , se deriva [K4] .
![{\displaystyle A,B\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Alternativamente, Monteiro (1945) había propuesto un axioma más débil que sólo implica [K2] – [K4] : [9]
[M] Para todos , .
![{\displaystyle A,B\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle A\cup \mathbf {c} (A)\cup \mathbf {c} (\mathbf {c} (B))\subseteq \mathbf {c} (A\cup B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El requisito [K1] es independiente de [M] : de hecho, si , el operador definido por la asignación constante satisface [M] pero no conserva el conjunto vacío, ya que . Observe que, por definición, cualquier operador que satisfaga [M] es un operador de cierre de Moore.![{\displaystyle X\neq \varnothing }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} ^{\star }:\wp (X)\to \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\mapsto \mathbf {c} ^{\star }(A):=X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} ^{\star }(\varnothing )=X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
MO Botelho y MH Teixeira también demostraron que una alternativa más simétrica a [M] implica los axiomas [K2] – [K4] : [2]
[BT] Para todos , .
![{\displaystyle A,B\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle A\cup B\cup \mathbf {c} (\mathbf {c} (A))\cup \mathbf {c} (\mathbf {c} (B))=\mathbf {c} (A\ copa B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Estructuras análogas
Operadores interiores, exteriores y de límites.
Una noción dual para los operadores de cierre de Kuratowski es la de operador interior de Kuratowski , que es un mapa que satisface los siguientes requisitos similares: [3]![{\displaystyle \mathbf {i} :\wp (X)\to \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[I1] Preserva
el espacio total : ;
![{\displaystyle \mathbf {i} (X)=X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[E2] Es intensivo : para todos , ;![{\displaystyle A\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {i} (A)\subseteq A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[E3] Es idempotente : para todos , ;![{\displaystyle A\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {i} (\mathbf {i} (A))=\mathbf {i} (A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[I4] Preserva
las intersecciones binarias : para todos ,.
![{\displaystyle A,B\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {i} (A\cap B)=\mathbf {i} (A)\cap \mathbf {i} (B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para estos operadores se pueden llegar a conclusiones completamente análogas a las que se dedujeron de los cierres de Kuratowski. Por ejemplo, todos los operadores interiores de Kuratowski son isotónicos , es decir, satisfacen [K4'] y, debido a la intensidad [I2] , es posible debilitar la igualdad en [I3] a una simple inclusión.
La dualidad entre cierres e interiores de Kuratowski la proporciona el operador de complemento natural en el envío del mapa . Este mapa es una ortocomplementación en la red de conjuntos de potencias, lo que significa que satisface las leyes de De Morgan : si es un conjunto arbitrario de índices y ,![{\displaystyle \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {n} :\wp (X)\to \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\mapsto \mathbf {n} (A):=X\setminus A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {I}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{A_{i}\}_{i\in {\mathcal {I}}}\subseteq \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {n} \left(\bigcup _{i\in {\mathcal {I}}}A_{i}\right)=\bigcap _{i\in {\mathcal {I}}}\ mathbf {n} (A_{i}),\qquad \mathbf {n} \left(\bigcap _{i\in {\mathcal {I}}}A_{i}\right)=\bigcup _{i\ en {\mathcal {I}}}\mathbf {n} (A_ {i}).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Al emplear estas leyes, junto con las propiedades definitorias de , se puede demostrar que cualquier interior de Kuratowski induce un cierre de Kuratowski (y viceversa), a través de la relación definitoria (y ). Cada resultado obtenido con respecto a puede convertirse en un resultado con respecto al empleo de estas relaciones junto con las propiedades de la ortocomplementación .![{\displaystyle \mathbf {n} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} :=\mathbf {nin} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {i} :=\mathbf {ncn} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {i} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {n} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Pervin (1964) proporciona además axiomas análogos para los operadores exteriores de Kuratowski [3] y los operadores de límites de Kuratowski , [10] que también inducen cierres de Kuratowski a través de las relaciones y .![{\displaystyle \mathbf {c} :=\mathbf {ne} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} (A):=A\cup \mathbf {b} (A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Operadores abstractos
Tenga en cuenta que los axiomas [K1] – [K4] pueden adaptarse para definir una operación unaria abstracta en una red acotada general , sustituyendo formalmente la inclusión de la teoría de conjuntos con el orden parcial asociado a la red, la unión de la teoría de conjuntos con la operación de unión, y intersecciones de teoría de conjuntos con la operación de encuentro; de manera similar para los axiomas [I1] – [I4] . Si la red es ortocomplementada, estas dos operaciones abstractas se inducen entre sí de la forma habitual. Se pueden utilizar operadores interiores o de cierre abstracto para definir una topología generalizada en la red.![{\displaystyle \mathbf {c} :L\a L}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (L,\land,\lor,\mathbf {0},\mathbf {1})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Dado que ni las uniones ni el conjunto vacío aparecen en el requisito de un operador de cierre de Moore, la definición puede adaptarse para definir un operador unario abstracto en un poset arbitrario .
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Conexión con otras axiomatizaciones de la topología
Inducción de topología a partir del cierre.
Un operador de cierre naturalmente induce una topología de la siguiente manera. Sea un conjunto arbitrario. Diremos que un subconjunto está cerrado respecto de un operador de cierre de Kuratowski si y sólo si es un punto fijo de dicho operador, o en otras palabras es estable bajo , es decir . La afirmación es que la familia de todos los subconjuntos del espacio total que son complementos de conjuntos cerrados satisface los tres requisitos habituales para una topología o, de manera equivalente, la familia de todos los conjuntos cerrados satisface lo siguiente:![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} (C)=C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {S}}[\mathbf {c} ]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Observe que, por idempotencia [K3] , se puede escribir sucintamente .![{\displaystyle {\mathfrak {S}}[\mathbf {c} ]=\operatorname {im} (\mathbf {c} )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Inducción de cierre desde topología.
Por el contrario, dada una familia que satisface los axiomas [T1] – [T3] , es posible construir un operador de cierre de Kuratowski de la siguiente manera: si y es la inclusión trastornada de , entonces![{\displaystyle \kappa}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\en \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A^{\uparrow }=\{B\in \wp (X)\ |\ A\subseteq B\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} _{\kappa }(A):=\bigcap _{B\in (\kappa \cap A^{\uparrow })}B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
define un operador de cierre de Kuratowski en .![{\displaystyle \mathbf {c} _ {\kappa }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Correspondencia exacta entre las dos estructuras.
De hecho, estas dos construcciones complementarias son inversas entre sí: if es la colección de todos los operadores de cierre de Kuratowski en , y es la colección de todas las familias que consisten en complementos de todos los conjuntos en una topología, es decir, la colección de todas las familias que satisfacen [T1 ] – [T3] , entonces tal que es una biyección, cuya inversa está dada por la asignación .![{\displaystyle \mathrm {Cls} _ {\text{K}}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathrm {Atp} (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {S}}:\mathrm {Cls} _ {\text{K}}(X)\to \mathrm {Atp} (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} \mapsto {\mathfrak {S}}[\mathbf {c} ]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {C}}:\kappa \mapsto \mathbf {c} _{\kappa }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Observamos que también se puede extender la biyección a la colección de todos los operadores de cierre de Čech, que contiene estrictamente ; esta extensión también es sobreyectiva, lo que significa que todos los operadores de cierre de Čech en también inducen una topología en . [11] Sin embargo, esto significa que ya no es una biyección.![{\displaystyle {\mathfrak {S}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathrm {Cls} _ {\check {C}}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathrm {Cls} _ {\text{K}}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {\mathfrak {S}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {\mathfrak {S}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplos
- Como se analizó anteriormente, dado un espacio topológico podemos definir el cierre de cualquier subconjunto como el conjunto , es decir, la intersección de todos los conjuntos cerrados que contienen . El conjunto es el conjunto cerrado más pequeño que contiene y el operador es un operador de cierre de Kuratowski.
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\subseteq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} (A)=\bigcap \{C{\text{ un subconjunto cerrado de }}X|A\subseteq C\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} (A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} :\wp (X)\to \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si hay algún conjunto, los operadores son cierres de Kuratowski. El primero induce la topología indiscreta , mientras que el segundo induce la topología discreta .
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} _{\top },\mathbf {c} _{\bot }:\wp (X)\to \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Fijad lo arbitrario , y dejadlo así para todos . Luego define un cierre de Kuratowski; la familia correspondiente de conjuntos cerrados coincide con la familia de todos los subconjuntos que contienen . Cuando , recuperamos una vez más la topología discreta (es decir , como se puede ver en las definiciones).
![{\displaystyle S\subsetneq X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} _{S}:\wp (X)\to \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} _{S}(A):=A\cup S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\en \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} _ {S}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {S}}[\mathbf {c} _ {S}]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S^{\arriba }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S=\varnada }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} _{\varnothing }=\mathbf {c} _{\bot }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si es un número cardinal infinito tal que , entonces el operador es tal que satisface los cuatro axiomas de Kuratowski. [12] Si , este operador induce la topología cofinita en ; si , induce la topología contable .
![{\displaystyle\lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lambda \leq \operatorname {crd} (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} _{\lambda }:\wp (X)\to \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} _{\lambda }(A)={\begin{cases}A&\operatorname {crd} (A)<\lambda ,\\X&\operatorname {crd} (A)\geq \ lambda\end{casos}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lambda =\aleph _ {0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lambda =\aleph _ {1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Propiedades
- Dado que cualquier cierre de Kuratowski es isotónico, y obviamente también lo es cualquier mapeo de inclusión, uno tiene la conexión (isotónica) de Galois , siempre que se vea como un poset con respecto a la inclusión y como un subposet de . De hecho, se puede verificar fácilmente que, para todos y , si y sólo si .
![{\displaystyle \langle \mathbf {c} :\wp (X)\to \mathrm {im} (\mathbf {c} );\iota :\mathrm {im} (\mathbf {c} )\hookrightarrow \wp (X)\rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathrm {im} (\mathbf {c} )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\en \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C\in \mathrm {im} (\mathbf {c} )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} (A)\subseteq C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\subseteq \iota (C)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si es una subfamilia de , entonces
![{\displaystyle \{A_{i}\}_{i\in {\mathcal {I}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \bigcup _{i\in {\mathcal {I}}}\mathbf {c} (A_{i})\subseteq \mathbf {c} \left(\bigcup _{i\in {\mathcal { I}}}A_{i}\right),\qquad \mathbf {c} \left(\bigcap _{i\in {\mathcal {I}}}A_{i}\right)\subseteq \bigcap _{ i\in {\mathcal {I}}}\mathbf {c} (A_ {i}).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si entonces .
![{\displaystyle A,B\en \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} (A)\setminus \mathbf {c} (B)\subseteq \mathbf {c} (A\setminus B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Conceptos topológicos en términos de cierre.
Refinamientos y subespacios
Un par de cierres de Kuratowski tales que para todos inducen topologías tales que y viceversa. En otras palabras, domina si y sólo si la topología inducida por este último es un refinamiento de la topología inducida por el primero, o de manera equivalente . [13] Por ejemplo, domina claramente (siendo este último simplemente la identidad en ). Dado que se puede llegar a la misma conclusión sustituyendo con la familia que contiene los complementos de todos sus miembros, si está dotada del orden parcial para todos y está dotada del orden de refinamiento, entonces podemos concluir que es una correspondencia antitónica entre posets.![{\displaystyle \mathbf {c} _{1},\mathbf {c} _{2}:\wp (X)\to \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} _{2}(A)\subseteq \mathbf {c} _{1}(A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\en \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \tau _{1},\tau _{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \tau _{1}\subseteq \tau _{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} _ {1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} _ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {S}}[\mathbf {c} _{1}]\subseteq {\mathfrak {S}}[\mathbf {c} _{2}]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} _ {\top }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} _ {\bot }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \tau _{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \kappa _{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathrm {Cls} _ {\text{K}}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} \leq \mathbf {c} '\iff \mathbf {c} (A)\subseteq \mathbf {c} '(A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\en \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathrm {Atp} (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {S}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En cualquier topología inducida (en relación con el subconjunto A ), los conjuntos cerrados inducen un nuevo operador de cierre que es simplemente el operador de cierre original restringido a A :, para todos . [14]![{\displaystyle \mathbf {c} _{A}(B)=A\cap \mathbf {c} _{X}(B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B\subseteq A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Mapas continuos, mapas cerrados y homeomorfismos.
Una función es continua en un punto sif y es continua en todas partes si y si para todos los subconjuntos . [15] La aplicación es una aplicación cerrada si se cumple la inclusión inversa, [16] y es un homeomorfismo si es continua y cerrada, es decir, si se cumple la igualdad. [17]![{\displaystyle f:(X,\mathbf {c} )\to (Y,\mathbf {c} ')}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p\in \mathbf {c} (A)\Rightarrow f(p)\in \mathbf {c} '(f(A))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(\mathbf {c} (A))\subseteq \mathbf {c} '(f(A))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\en \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Axiomas de separación
Sea un espacio de cierre de Kuratowski. Entonces![{\displaystyle (X,\mathbf {c} )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es un espacio T 0 sif implica ; [18]![{\displaystyle x\neq y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {c} (\{x\})\neq \mathbf {c} (\{y\})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es un espacio T 1 si para todos ; [19]![{\displaystyle \mathbf {c} (\{x\})=\{x\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es un espacio T 2 sif implica que existe un conjunto tal que ambos y , donde es el operador de complemento de conjunto. [20]![{\displaystyle x\neq y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\en \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\notin \mathbf {c} (A)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle y\notin \mathbf {c} (\mathbf {n} (A))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {n} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Cercanía y separación
Un punto está cerca de un subconjunto si Esto se puede utilizar para definir una relación de proximidad entre los puntos y subconjuntos de un conjunto. [21]![{\displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p\in \mathbf {c} (A).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Dos conjuntos están separados si y así . El espacio es conexo si no puede escribirse como la unión de dos subconjuntos separados. [22]![{\displaystyle A,B\en \wp (X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (A\cap \mathbf {c} (B))\cup (B\cap \mathbf {c} (A))=\varnothing }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Notas
- ^ Kuratowski (1922).
- ^ ab Monteiro (1945), pág. 160.
- ^ abc Pervin (1964), pág. 44.
- ^ Pervin (1964), pág. 43, Ejercicio 6.
- ^ Kuratowski (1966), pág. 38.
- ^ Arkhangel'skij y Fedorchuk (1990), pág. 25.
- ^ "Cierre de Moore". nLaboratorio . 7 de marzo de 2015 . Consultado el 19 de agosto de 2019 .
- ^ Pervin (1964), pág. 42, Ejercicio 5.
- ^ Monteiro (1945), pág. 158.
- ^ Pervin (1964), pág. 46, Ejercicio 4.
- ^ Arkhangel'skij y Fedorchuk (1990), pág. 26.
- ^ Se puede encontrar una prueba del caso en "¿El siguiente es un operador de cierre de Kuratowski?". Intercambio de pila . 21 de noviembre de 2015.
![{\displaystyle \lambda =\aleph _ {0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- ^ Pervin (1964), pág. 43, Ejercicio 10.
- ^ Pervin (1964), pág. 49, Teorema 3.4.3.
- ^ Pervin (1964), pág. 60, Teorema 4.3.1.
- ^ Pervin (1964), pág. 66, Ejercicio 3.
- ^ Pervin (1964), pág. 67, Ejercicio 5.
- ^ Pervin (1964), pág. 69, Teorema 5.1.1.
- ^ Pervin (1964), pág. 70, Teorema 5.1.2.
- ^ Puede encontrar una prueba en este enlace.
- ^ Pervin (1964), págs. 193-196.
- ^ Pervin (1964), pág. 51.
Referencias
- Kuratowski, Kazimierz (1922) [1920], "Sur l'opération A de l'Analysis Situs" [Sobre la operación A en Analysis Situs] (PDF) , Fundamenta Mathematicae (en francés), vol. 3, págs. 182-199.
- Kuratowski, Kazimierz (1966) [1958], Topología , vol. I, traducido por Jaworowski, J., Academic Press, ISBN 0-12-429201-1, LCCN 66029221.
- —— (2010). "Sobre la Operación  Análisis Situs". Puerta de investigación . Traducido por Mark Bowron.
- Pervin, William J. (1964), Boas, Ralph P. Jr. (ed.), Fundamentos de topología general , Academic Press, ISBN 9781483225159, LCCN 64-17796.
- Arkhangel'skij, AV; Fedorchuk, VV (1990) [1988], Gamkrelidze, RV; Arkhangel'skij, AV; Pontryagin, LS (eds.), Topología general I , Enciclopedia de ciencias matemáticas, vol. 17, traducido por O'Shea, DB, Berlín: Springer-Verlag, ISBN 978-3-642-64767-3, LCCN 89-26209.
- Monteiro, António (1945), "Caractérisation de l'opération de fermeture par un seul axiome" [Caracterización de la operación de cierre por un solo axioma], Portugaliae mathematica (en francés), vol. 4, núm. 4, págs. 158–160, SEÑOR 0012310, Zbl 0060.39406.
Enlaces externos
- Caracterizaciones alternativas de espacios topológicos