Axiomas de separación en espacios topológicos |
---|
T0 |
T1 |
T2 |
T2½ |
completamente T2 |
T3 |
T3½ |
T4 |
T5 |
T6 |
En topología un espacio T1 o de Fréchet es un caso particular de espacio topológico.
YouTube Encyclopedic
-
1/3Views:163 594633 92110 079
-
[4K Ultra HD] Maravillas del Universo y el Espacio: El Sistema Solar
-
COSMOS 08 - VIAJES A TRAVÉS DEL ESPACIO Y TIEMPO (Español Latino) HQ
-
COSMOS Capítulo 8 - Viajes a través del espacio y el tiempo (Español versión extendida)
Transcription
Definición
Un espacio topológico es si para cada pareja de elementos distintos , de existe un abierto que contiene a y no a . Esto claramente implica que también existe un abierto que contiene a y no a , ya que también se cumple para la pareja , . Por tanto, también se suele definir como un espacio topológico tal que para cada pareja de elementos distintos e de existe un abierto que contiene a y no a y también existe un abierto que contiene a y no a
Notar que no es necesario que estos dos abiertos sean disjuntos (si esto ocurriera para todo e , sería un espacio de Hausdorff o ).
Propiedades
Sea un espacio topológico. Son equivalentes:
- es un espacio .
- es un espacio y un espacio <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math alttext="{\displaystyle R_{0}}" xmlns="http://www.w3.org/1998/Math/MathML"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <msub> <mi>R</mi> <mrow class="MJX-TeXAtom-ORD"> <mn>0</mn> </mrow> </msub> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle R_{0}}</annotation> </semantics> </math></span><img alt="{\displaystyle R_{0}}" aria-hidden="true" class="mwe-math-fallback-image-inline mw-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9b8916196f182fcbaaca54f931176a4a4f5769cc" style="vertical-align: -0.671ex; width:2.818ex; height:2.509ex;"/></span>.
- Para cada de , es cerrado.
- Todo conjunto de un único punto es la intersección de sus entornos.
- Todo subconjunto de es la intersección de sus entornos.
- Todo suconjunto finito de es cerrado.
- Todo subconjunto cofinito de es abierto.
- El ultrafiltro principal de converge solamente a .
- Para cada punto de y todo subcojunto de , es un punto límite de si y solo sí es un punto de acumulación de .
La propiedad de ser T1 es hereditaria, es decir, los subespacios de un T1 es también T1.[1]
Nota y casos
- Sea (ℕ, T) donde Tx = {A ⊂ ℕ; x ∈ A y ℕ - A es finito}. Entonces T es una estructura topológica sobre ℕ, llamada estructura topológica cofinita que es T1 pero no T2.[2]
- Cualquier espacio T1 finito es un espacio topológico discreto.[3]
- Sea con la topología formada por los subconjuntos de siguientes: , , , , . No es T1 ya que no es cerrado.[4]
Teorema
Un espacio topológico es T1 si y solo si cada punto es un conjunto cerrado.[3][5]
Ejemplos
- La topología cofinita sobre un conjunto infinito es T1 pero no T2.[6]
- El espacio topológico de Sierpinski es T0 pero no es T1.[7]
Referencias
- ↑ Llopis, José L. «Propiedades topológicas hereditarias». Matesfacil. ISSN 2659-8442. Consultado el 10 de octubre de 2019.
- ↑ Ayala y otros: "Elementos de topología general" ISBN 84-7829-006-0
- ↑ a b Simmons: Introduction to Topology and Modern Analysis
- ↑ Llopis, José L. «Ejemplos y propiedades de los espacios topológicos finitos». Matesfacil. ISSN 2659-8442. Consultado el 11 de octubre de 2019.
- ↑ Llopis, José L. «Espacio topológico de Fréchet T1». Matesfacil. ISSN 2659-8442. Consultado el 13 de octubre de 2019.
- ↑ Sapiña, R. «Topología cofinita». Problemas y Ecuaciones. ISSN 2659-9899. Consultado el 13 de octubre de 2019.
- ↑ Sapiña, R. «Espacio de Sierpinski». Problemas y Ecuaciones. ISSN 2659-9899. Consultado el 13 de octubre de 2019.
Véase también
- Axiomas de separación
- Espacio de Kolmogórov (T0)
- Espacio de Hausdorff (T2)
- Espacio completamente de Hausdorff
- Espacio regular (T3)
- Espacio de Tíjonov (T3½)
- Espacio normal
Bibliografía
- Willard, Stephen (1998). General Topology. New York: Dover. pp. 86-90. ISBN 0-486-43479-6.
- Folland, Gerald (1999). Real analysis: modern techniques and their applications (2nd edición). John Wiley & Sons, Inc. p. 116. ISBN 0-471-31716-0.
- Llopis, José L. (2017). «Espacios de Fréchet». Matesfacil. ISSN 2659-8442.