Límite (topología)

Un conjunto (en azul claro) y su límite (en azul oscuro).

En topología y matemáticas en general, la frontera de un subconjunto S de un espacio topológico X es el conjunto de puntos en el cierre de S no perteneciente al interior del S. Un elemento de la frontera S se llama punto límite de S. El término operación fronteriza se refiere a encontrar o tomar el límite de un conjunto. Notas utilizadas para el límite de un conjunto S incluir bd⁡ ⁡ ()S),fr⁡ ⁡ ()S),{displaystyle operatorname {bd} (S),operatorname {fr} (S),} y ∂ ∂ S{displaystyle partial S}. Algunos autores (por ejemplo Willard, en Topología general) utilizar el término frontera en lugar de límites en un intento de evitar confusión con una definición diferente utilizada en la topología algebraica y la teoría de los múltiples. A pesar de la aceptación generalizada del significado de los términos límite y frontera, a veces se han utilizado para referirse a otros conjuntos. Por ejemplo, Espacios métricos por E. T. Copson utiliza el límite del término para referirse a Hausdorff frontera, que se define como la intersección de un conjunto con su límite. Hausdorff también introdujo el término residuos, que se define como la intersección de un conjunto con el cierre de la frontera de su complemento.

Un componente conectado del límite de S se denomina componente de límite de S.

Definiciones comunes

Hay varias definiciones equivalentes para los frontera de un subconjunto S⊆ ⊆ X{displaystyle Ssubseteq X} de un espacio topológico X,{displaystyle X. que será denotado ∂ ∂ XS,{displaystyle partial _{X}S,} BdX⁡ ⁡ S,{displaystyle operatorname {Bd} _{X}S,} o simplemente ∂ ∂ S{displaystyle partial S} si X{displaystyle X} se entiende:

1. Es el cierre de S{displaystyle S. menos el interior de S{displaystyle S. dentro X{displaystyle X}:
   ∂ ∂ S:=S̄ ̄ ∖ ∖ intX⁡ ⁡ S{displaystyle partial S~:=~{overline {S}setminus operatorname {int} ¿Qué?

   
   Donde S̄ ̄ =clX⁡ ⁡ S{displaystyle {fnMicrosoft}=operatorname {cl} _{X}S} denota el cierre de S{displaystyle S. dentro X{displaystyle X} y intX⁡ ⁡ S{displaystyle operatorname {int} ¿Qué? denota el interior topológico de S{displaystyle S. dentro X.{displaystyle X.}
2. Es la intersección del cierre de S{displaystyle S. con el cierre de su complemento:
   ∂ ∂ S:=S̄ ̄ ∩ ∩ ()X∖ ∖ S)̄ ̄ {displaystyle partial S~:=~{overline {S}cap {fnMicrosoft} {(Xsetminus S)}}}

   
3. Es el conjunto de puntos p▪ ▪ X{displaystyle pin X} tal que cada barrio p{displaystyle p} contiene al menos un punto S{displaystyle S. y al menos un punto no S{displaystyle S.:
   ∂ ∂ S:={}p▪ ▪ X:por cada barrioOdep,O∩ ∩ Sل ل ∅ ∅ yO∩ ∩ ()X∖ ∖ S)ل ل ∅ ∅ }.{displaystyle partial S~:=~pin X:{text{ for every neighbourhood }O{text{ of }p, Ocap Sneq varnothing ,{text{ and },Ocap (Xsetminus S)neq varnothing }.}

   

A punto límite de un conjunto se refiere a cualquier elemento del límite de ese conjunto. El límite ∂ ∂ XS{displaystyle partial _{X}S} definido arriba se llama a veces el conjunto frontera topológica para distinguirlo de otras nociones similares tales como el límite de un múltiples con el límite o el límite de un múltiples con esquinas, para nombrar sólo algunos ejemplos.

Propiedades

Cierre de un conjunto S{displaystyle S. iguala la unión del conjunto con su límite:

S̄ ̄ =S∪ ∪ ∂ ∂ XS{displaystyle {fnK}=Scup partial _{X}S}

S̄ ̄ =clX⁡ ⁡ S{displaystyle {fnMicrosoft}=operatorname {cl} _{X}S}

S{displaystyle S.

X.{displaystyle X.}

∂ ∂ XS:=S̄ ̄ ∩ ∩ ()X∖ ∖ S)̄ ̄ ,{displaystyle partial - ¿Qué? {S}cap {fnMicrosoft} {(Xsetminus S)}}}}

∂ ∂ XS{displaystyle partial _{X}S}

X.{displaystyle X.}

("Tricotomía") Dado cualquier subconjunto S⊆ ⊆ X,{displaystyle Ssubseteq X,} cada punto X{displaystyle X} mentiras en uno de los tres conjuntos intX⁡ ⁡ S,∂ ∂ XS,{displaystyle operatorname {int} _{X}S,partial _{X}S,} y intX⁡ ⁡ ()X∖ ∖ S).{displaystyle operatorname {int} _{X}(Xsetminus S).} Dicho de otra manera,

X=()intX⁡ ⁡ S)∪ ∪ ()∂ ∂ XS)∪ ∪ ()intX⁡ ⁡ ()X∖ ∖ S)){displaystyle X~=~left(operatorname {int} _{X}Sright);cup ;left(partial _{X}Sright);cup ;left(operatorname {int} _{X}(Xsetminus S)right)}

X.{displaystyle X.}

Un punto p▪ ▪ X{displaystyle pin X} es un punto límite de un conjunto si y sólo si cada barrio de p{displaystyle p} contiene al menos un punto en el conjunto y al menos un punto no en el conjunto. El límite del interior de un conjunto, así como el límite del cierre de un conjunto están ambos contenidos en el límite del conjunto.

Ejemplos

Caracterizaciones y ejemplos generales

El límite de un conjunto es igual al límite del complemento del conjunto:

∂ ∂ XS=∂ ∂ X()X∖ ∖ S).{displaystyle partial _{X}S=partial _{X}(Xsetminus S).}

Un juego U{displaystyle U} es un subconjunto abierto denso X{displaystyle X} si ∂ ∂ XU=X∖ ∖ U.{displaystyle partial ################################################################################################################################################################################################################################################################ U.}

El interior de la frontera de un conjunto cerrado es el conjunto vacío. En consecuencia, el interior del límite del cierre de un conjunto es el conjunto vacío. El interior de la frontera de un conjunto abierto es también el conjunto vacío. En consecuencia, el interior de la frontera del interior de un conjunto es el conjunto vacío. En particular, si S⊆ ⊆ X{displaystyle Ssubseteq X} es un subconjunto cerrado o abierto X{displaystyle X} entonces no existe ningún subconjunto no vacío U⊆ ⊆ ∂ ∂ XS{displaystyle Usubseteq partial ¿Qué? tales que U{displaystyle U} es también un subconjunto abierto de X.{displaystyle X.} Este hecho es importante para la definición y uso de subconjuntos densos, subconjuntos de meager y espacios de Baire.

Un conjunto es el límite de algún conjunto abierto si y solo si es cerrado y en ninguna parte denso. El límite de un conjunto está vacío si y solo si el conjunto es tanto cerrado como abierto (es decir, un conjunto cerrado).

Ejemplos concretos

Límite de componentes hiperbólicos del conjunto Mandelbrot

Considere la línea real R{displaystyle mathbb {R} con la topología habitual (es decir, la topología cuya base establece intervalos abiertos) y Q,{displaystyle mathbb {Q} el subconjunto de números racionales (cuyo interior topológico en R{displaystyle mathbb {R} está vacío). Entonces...

• ∂ ∂ ()0,5)=∂ ∂ [0,5)=∂ ∂ ()0,5]=∂ ∂ [0,5]={}0,5}{displaystyle partial (0,5)=partial [0,5)=partial (0,5]=partial [0,5]={0,5}
• ∂ ∂ ∅ ∅ =∅ ∅ {displaystyle partial varnothing =varnothing }
• ∂ ∂ Q=R{displaystyle partial mathbb {Q} = 'Mathbb {R}
• ∂ ∂ ()Q∩ ∩ [0,1])=[0,1]{displaystyle partial (mathbb {Q} cap [0,1])=[0,1]}

Estos dos últimos ejemplos ilustran el hecho de que el límite de un denso conjunto con el interior vacío es su cierre. También muestran que es posible para el límite ∂ ∂ S{displaystyle partial S} de un subconjunto S{displaystyle S. para contener un subconjunto abierto no vacío X:=R{displaystyle X:=Mathbb {R}; es decir, para el interior de ∂ ∂ S{displaystyle partial S} dentro X{displaystyle X} para ser no vacía. Sin embargo, a cerrado El límite del subconjunto siempre tiene un interior vacío.

En el espacio de números racionales con la topología habitual (la topología subespacial de R{displaystyle mathbb {R}), el límite de ()− − JUEGO JUEGO ,a),{displaystyle (-inftya),} Donde a{displaystyle a} es irracional, está vacío.

El límite de un conjunto es una noción topológica y puede cambiar si uno cambia la topología. Por ejemplo, dada la topología habitual en R2,{displaystyle mathbb {R} ^{2} el límite de un disco cerrado Ω Ω ={}()x,Sí.):x2+Sí.2≤ ≤ 1}{displaystyle Omega =left{x,y):x^{2}+y^{2}leq 1 'right'} es el círculo circundante del disco: ∂ ∂ Ω Ω ={}()x,Sí.):x2+Sí.2=1}.{displaystyle partial Omega =left{(x,y):x^{2}+y^{2}=1right} Si el disco se ve como un conjunto R3{displaystyle mathbb {R} {} {}}} con su propia topología habitual, es decir, Ω Ω ={}()x,Sí.,0):x2+Sí.2≤ ≤ 1},{displaystyle Omega =left{x,y,0):x^{2}+y^{2}leq 1right}} entonces el límite del disco es el disco mismo: ∂ ∂ Ω Ω =Ω Ω .{displaystyle partial Omega =Omega.} Si el disco es visto como su propio espacio topológico (con la topología subespacial de R2{displaystyle mathbb {R} {2}}), entonces el límite del disco está vacío.

Límite de una bola abierta frente a su esfera circundante

Este ejemplo demuestra que el límite topológico de una bola abierta de radio 0}" xmlns="http://www.w3.org/1998/Math/MathML">r■0{displaystyle r] 0" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/23cbbcd53bd13620bc53490e3eec42790850b452" style="vertical-align: -0.338ex; width:5.31ex; height:2.176ex;"/> es no necesariamente igual a la esfera correspondiente del radio r{displaystyle r} (centrado en el mismo punto); también muestra que el cierre de una bola abierta de radio 0}" xmlns="http://www.w3.org/1998/Math/MathML">r■0{displaystyle r] 0" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/23cbbcd53bd13620bc53490e3eec42790850b452" style="vertical-align: -0.338ex; width:5.31ex; height:2.176ex;"/> es no necesariamente igual a la bola cerrada del radio r{displaystyle r} (de nuevo centrado en el mismo punto). Denota la métrica Euclideana habitual en R2{displaystyle mathbb {R} {2}} por

d()()a,b),()x,Sí.)):=()x− − a)2+()Sí.− − b)2{displaystyle d(a,b),(x,y)):={sqrt {(x-a)^{2}+(y-b)^{2}}}

R2{displaystyle mathbb {R} {2}}

X⊆ ⊆ R2{displaystyle Xsubseteq mathbb {R} } {2}

Sí.{displaystyle y}

Y:={}0}× × R{displaystyle Y:={0}times mathbb {R}

S1:={}p▪ ▪ R2:d()p,0)=1}={}()x,Sí.)▪ ▪ R2:x2+Sí.2=1}{displaystyle S^{1}:=left{pin mathbb {R} ^{2}:d(p,mathbf {0})=1right}=left{(x,y)in mathbb - Sí.

0:=()0,0)▪ ▪ R2{displaystyle mathbf {0}:=(0,0)in mathbb {R} ^{2}

X:=Y∪ ∪ S1,{displaystyle X:=Ycup S^{1}

R2{displaystyle mathbb {R} {2}}

d.{displaystyle d.}

Y,S1,Y∩ ∩ S1={}()0,± ± 1)},{displaystyle Y,S^{1},Ycap S^{1}={(0,pm 1)}

{}0}× × [− − 1,1]{displaystyle {0}times [-1,1]}

R2{displaystyle mathbb {R} {2}}

X.{displaystyle X.}

0=()0,0){displaystyle mathbf {0} =(0,0)}

()X,d){displaystyle (X,d)}

()R2,d){displaystyle (mathbb {R} } {2},d)}

Denota la bola abierta del radio 0}" xmlns="http://www.w3.org/1998/Math/MathML">r■0{displaystyle r] 0" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/23cbbcd53bd13620bc53490e3eec42790850b452" style="vertical-align: -0.338ex; width:5.31ex; height:2.176ex;"/> dentro ()X,d){displaystyle (X,d)} por <math alttext="{displaystyle B_{r}:=left{pin X:d(p,mathbf {0})Br:={}p▪ ▪ X:d()p,0).r}{displaystyle B_{r}:=left{pin X:d(p,mathbf {0})<img alt="{displaystyle B_{r}:=left{pin X:d(p,mathbf {0})Así que cuando r=1{displaystyle r=1} entonces

B1={}0}× × ()− − 1,1){displaystyle B_{1}={0}times (-1,1)}

Sí.{displaystyle y}

Sí.=− − 1{displaystyle y=-1}

Sí.=1.{displaystyle y=1.}

()X,d){displaystyle (X,d)}

r=1{displaystyle r=1}

{}p▪ ▪ X:d()p,0)=1}=S1{displaystyle left{pin X:d(p,mathbf {0}=1right}=S^{1}

()X,d){displaystyle (X,d)}

{}p▪ ▪ X:d()p,0)≤ ≤ 1}=S1∪ ∪ (){}0}× × [− − 1,1]).{displaystyle left{pin X:d(p,mathbf {0})leq 1right}=S^{1}cup left({0}times [-1,1]right).}

Sin embargo, la frontera topológica ∂ ∂ XB1{displaystyle partial ¿Qué? y cierre topológico clX⁡ ⁡ B1{displaystyle operatorname {cl} ¿Qué? dentro X{displaystyle X} de la bola de unidad abierta B1{displaystyle B_{1} son:

∂ ∂ XB1={}()0,1),()0,− − 1)}yclX⁡ ⁡ B1=B1∪ ∪ ∂ ∂ XB1=B1∪ ∪ {}()0,1),()0,− − 1)}={}0}× × [− − 1,1].{displaystyle partial ################################################################################################################################################################################################################################################################ ¿Por qué? partial _{X}B_{1}~=~B_{1}cup {(0,1),(0,-1)}~=~{0}times [-1,1].}

∂ ∂ XB1={}()0,1),()0,− − 1)}{displaystyle partial _{X}B_{1}={(0,1),(0,-1)}}

{}p▪ ▪ X:d()p,0)=1}=S1{displaystyle left{pin X:d(p,mathbf {0}=1right}=S^{1}

()X,d).{displaystyle (X,d). }

clX⁡ ⁡ B1=B1∪ ∪ {}()0,1),()0,− − 1)}{displaystyle operatorname {cl} ¿Por qué?

{}p▪ ▪ X:d()p,0)≤ ≤ 1}=S1∪ ∪ (){}0}× × [− − 1,1]){displaystyle left{pin X:d(p,mathbf {0})leq 1right}=S^{1}cup left({0}times [-1,1]right)}

()X,d).{displaystyle (X,d). }

()1,0)▪ ▪ X,{displaystyle (1,0)in X,}

clX⁡ ⁡ B1{displaystyle operatorname {cl} ¿Qué?

B1={}0}× × ()− − 1,1){displaystyle B_{1}={0}times (-1,1)}

X{displaystyle X}

{}0}× × [− − 1,1]{displaystyle {0}times [-1,1]}

clX⁡ ⁡ B1.{displaystyle operatorname {cl} ¿Qué?

B1{displaystyle B_{1}

B1{displaystyle B_{1}

∂ ∂ XB1{displaystyle partial ¿Qué?

{}0}× × [− − 1,1].{displaystyle {0}times [-1,1].}

En cualquier espacio métrico ()M,*** *** ),{displaystyle (M,rho),} el límite topológico M{displaystyle M} de una bola abierta de radio 0}" xmlns="http://www.w3.org/1998/Math/MathML">r■0{displaystyle r] 0" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/23cbbcd53bd13620bc53490e3eec42790850b452" style="vertical-align: -0.338ex; width:5.31ex; height:2.176ex;"/> centrado en un punto c▪ ▪ M{displaystyle cin M} es siempre un subconjunto de la esfera del radio r{displaystyle r} centrado en ese mismo punto c{displaystyle c}; es decir,

Además, la esfera de unidad en ()X,d){displaystyle (X,d)} contiene X∖ ∖ Y=S1∖ ∖ {}()0,± ± 1)},{displaystyle Xsetminus Y=S^{1}setminus {(0,pm 1)} que es un subconjunto abierto de X.{displaystyle X.} Esto demuestra, en particular, que la esfera de unidad {}p▪ ▪ X:d()p,0)=1}{displaystyle left{pin X:d(p,mathbf {0}=1right} dentro ()X,d){displaystyle (X,d)} contiene a no vacío abierto subconjunto X.{displaystyle X.}

Límite de un límite

Para cualquier conjunto S,∂ ∂ S⊇ ⊇ ∂ ∂ ∂ ∂ S,{displaystyle S,partial Ssupseteq partial partial partial S,} Donde ⊇ ⊇ {displaystyle ,supseteq ,} denota el superset con igualdad de tenencia si y sólo si el límite S{displaystyle S. no tiene puntos interiores, que serán el caso por ejemplo si S{displaystyle S. está cerrado o abierto. Puesto que el límite de un conjunto está cerrado, ∂ ∂ ∂ ∂ S=∂ ∂ ∂ ∂ ∂ ∂ S{displaystyle partial partial S=partial partial S} para cualquier conjunto S.{displaystyle S.} El operador de límites satisface así un tipo debilitado de idempotencia.

Al discutir los límites de variedades o simples y sus complejos simpliciales, a menudo se encuentra con la afirmación de que el límite del límite siempre está vacío. De hecho, la construcción de la homología singular se basa críticamente en este hecho. La explicación de la aparente incongruencia es que el límite topológico (el tema de este artículo) es un concepto ligeramente diferente del límite de una variedad o de un complejo simplicial. Por ejemplo, el límite de un disco abierto visto como una variedad está vacío, al igual que su límite topológico visto como un subconjunto de sí mismo, mientras que su límite topológico visto como un subconjunto del plano real es el círculo que rodea al disco. Por el contrario, el límite de un disco cerrado visto como una variedad es el círculo delimitador, al igual que su límite topológico visto como un subconjunto del plano real, mientras que su límite topológico visto como un subconjunto de sí mismo está vacío. En particular, el límite topológico depende del espacio ambiental, mientras que el límite de una variedad es invariable.