Espacios de Fréchet: Espacios T1 Espacios de Hausdorff: Espacios T2

Topología General
Clase 8 Dos axiomas de separación

Jonathan Pérez Recuero

Departamento de Matemáticas
Universidad del Atlántico

10 de julio de 2020

Jonathan Pérez Recuero Topología General

Espacios de Fréchet: Espacios T1 Espacios de Hausdorff: Espacios T2

Índice

1 Espacios de Fréchet: Espacios T1

2 Espacios de Hausdorff: Espacios T2

Jonathan Pérez Recuero Topología General

Espacios de Fréchet: Espacios T1 Espacios de Hausdorff: Espacios T2

Definición 1 (Espacios T1 )
Decimos que un espacio topológico (X, τ ) es un espacio T1 , o de Fréchet si ∀x, y ∈ X,
si x 6= y, existe un abierto U ∈ τ tal que x ∈ U y y ∈
/ U.

1
Si (X, τ ) es un espacio T1 , se tiene que para cualquier par x, y ∈ X x 6= y, existen Ux y
Uy abiertos tales que x ∈ Ux , y ∈ Uy pero x ∈
/ Uy y y ∈
/ Ux .

Jonathan Pérez Recuero Topología General

Espacios de Fréchet: Espacios T1 Espacios de Hausdorff: Espacios T2

Teorema 1 (Equivalencias)
Sea (X, τ ) un espacio topológico Son equivalentes:

i. (X, τ ) es T1 .

ii. Si x, y ∈ X con x 6= y, existe Bx ∈ β tal que x ∈ Bx y y ∈

/ Bx , para alguna base β
de τ .

iii. Si x, y ∈ X con x 6= y, existe N ∈ Nx tal que y ∈

/ N.

iv. Si x, y ∈ X con x 6= y, existe B ∈ Bx tal que y ∈

/ B, para alguna base de entornos
Bx .

v. ∀x ∈ X, {x} es cerrado.

vi. Si F ⊂ X es finito entonces F es cerrado.

Jonathan Pérez Recuero Topología General

Espacios de Fréchet: Espacios T1 Espacios de Hausdorff: Espacios T2

Demostración 1
• (i. ⇒ ii.) Supongamos que (X, τ ) es T1 y sean x, y ∈ X con x 6= y. Por hipótesis,
existe Ux ∈ τ tal que x ∈ Ux y y ∈
/ Ux . Como Ux es abierto, existe Bx ∈ β tal que
x ∈ Bx ⊂ Ux . Por tanto, y ∈
/ Bx
• (ii. ⇒ iii.) Sean x, y ∈ X con x 6= y. Por hipótesis, existe Bx ∈ β tal que x ∈ Bx y
y∈
/ Bx Tome N = Bx . Como N es abierto y x ∈ N, entonces N ∈ Nx y y ∈
/ N.
• (iii. ⇒ iv.) Sean x, y ∈ X con x 6= y. Por hipótesis, existe N ∈ Nx tal que y ∈
/ N.
Por lo tanto, existe B ∈ Bx tal que B ⊂ N y por tanto y ∈
/ B.

Jonathan Pérez Recuero Topología General

Espacios de Fréchet: Espacios T1 Espacios de Hausdorff: Espacios T2

Demostración 2 (Continuación de la demostración)

• (iv. ⇒ v.) Sea x ∈ X. Mostremos que {x} es cerrado. Dado que {x} ⊂ ({x}), es
suficiente probar que ({x}) ⊂ {x}. Sea y ∈
/ {x}. Entonces y 6= x y por hipótesis
existe BBy tal que x ∈
/ B. Por lo tanto, B ∩ {x} = ∅, por lo que y ∈
/ ({x}), por la
Proposición 3.9.
• (v. ⇒ vi.) Sea F ⊂ X finito. Si F = ∅, es cerrado. Si F es no vacío finito, entonces

n
[
F = {x1 , x2 , ..., xn } = {xk }.
k=1

Como por hipótesis {xk } es cerrado para k = 1, ..., n, tenemos por el Lema 2.1
que F es cerrado.
• Supongamos que todo subconjunto finito de X es cerrado y mostremos que
(X, τ ) es T1 . Sean x, y ∈ X tales que x 6= y. Como {y} es cerrado, tome
Ux = ({y})c . Ux es abierto y x ∈ Ux pero y ∈
/ Ux . Esto es, (X, τ ) es T1 .

Jonathan Pérez Recuero Topología General

Espacios de Fréchet: Espacios T1 Espacios de Hausdorff: Espacios T2

Índice

1 Espacios de Fréchet: Espacios T1

2 Espacios de Hausdorff: Espacios T2

Jonathan Pérez Recuero Topología General

Espacios de Fréchet: Espacios T1 Espacios de Hausdorff: Espacios T2

Definición 2 (Espacios T2 )
Decimos que un espacio topológico (X, τ ) es un espacio T2 , o de Hausdorff si
∀x, y ∈ X, si x 6= y, existen abiertos Ux , Uy ∈ τ tales que x ∈ Ux y y ∈ Uy y Ux ∩ Uy = ∅.

2
Si (X, τ ) es un espacio T2 , entonces es T1 ya que si x, y ∈ X con x 6= y, existen Ux y Uy
abiertos tales que x ∈ Ux , y ∈ Uy y Ux ∩ Uy = ∅, luego y ∈
/ Ux .

Jonathan Pérez Recuero Topología General

Espacios de Fréchet: Espacios T1 Espacios de Hausdorff: Espacios T2

Teorema 2 (Equivalencias)
Sea (X, τ ) un espacio topológico Son equivalentes:

i. (X, τ ) es T2 .

ii. Si x, y ∈ X con x 6= y, existen Bx , By ∈ β tal que x ∈ Bx y y ∈ By y Bx ∩ By = ∅,

para alguna base β de τ .

iii. Si x, y ∈ X con x 6= y, existen N ∈ Nx y M ∈ Ny disyuntos.

iv. Si x, y ∈ X con x 6= y, existen B ∈ Bx y B0 ∈ By disyuntos, para alguna base de

entornos Bx .

Jonathan Pérez Recuero Topología General

Espacios de Fréchet: Espacios T1 Espacios de Hausdorff: Espacios T2

Demostración 3
• (i. ⇒ ii.) Supongamos que (X, τ ) es T2 y sean x, y ∈ X con x 6= y. Por hipótesis,
existen Ux , Uy ∈ τ tales que x ∈ Ux y y ∈ Uy y Ux ∩ Uy = ∅. Como Ux , Uy son
abiertos, existen Bx , By ∈ β tales que x ∈ Bx ⊂ Ux y x ∈ By ⊂ Uy . Por tanto,
Bx ∩ By = ∅.

• (ii. ⇒ iii.) Sean x, y ∈ X con x 6= y. Por hipótesis, existen Bx , By ∈ β tales que

x ∈ Bx y y ∈ By y Bx ∩ By = ∅. Tome N = Bx y M = By . Como N, M son abiertos,
x ∈ N y y ∈ M, entonces N ∈ Nx y M ∈ Ny .
• (iii. ⇒ iv.) Sean x, y ∈ X con x 6= y. Por hipótesis, existen N ∈ Nx y M ∈ Ny
disyuntos. Por lo tanto, existen B ∈ Bx y B0 ∈ By tal que B ⊂ N y B0 ⊂ M. Por
tanto B y B0 son disyuntos.
• (iv. ⇒ v.) Sean x, y ∈ X con x 6= y. Por hipótesis, existen B ∈ Bx y B0 ∈ By
disyuntos. Por ser B y B0 entornos, existen Ux , Uy ∈ τ tales que x ∈ Ux ⊂ B y
y ∈ Uy ⊂ B0 . Y dado B y B0 son disyuntos, Ux ∩ Uy = ∅. Por tanto, (X, τ ) es T2 .

Jonathan Pérez Recuero Topología General

Espacios de Fréchet: Espacios T1 Espacios de Hausdorff: Espacios T2

Ejemplo 1
i. El espacio topológico discreto (X, τdis ) siempre es T2 y, por lo tanto T1 .

ii. El espacio topológico indiscreto (X, τind ) es T1 únicamente si X consta de un

solo elemento, en cuyo caso coincide con el ejemplo anterior.

iii. El espacio topológico (X, τA ) es T1 únicamente si A = ∅, en cuyo caso coincide

con el ejemplo i.

iv. El espacio topológico (X, τ A ) es T1 únicamente si A = X, en cuyo caso coincide

con el ejemplo i.

v. El espacio topológico (X, τcof ) es T1 pero no es T2 .

vi. El espacio topológico (R, τkol ) no es T1 .

vii. El espacio topológico usual (R, τu ) es T2 y, por lo tanto T1

viii. El espacio topológico de Sorgenfrey (R, τsor ), es T2 y, por lo tanto T1

ix. Todo espacio métrico (X, d) es T2 y, por lo tanto T1 .

Jonathan Pérez Recuero Topología General