Conjuntos notables

Martín Enrique Guerra Cáceres

Escuela de Matemática
Facultad de Ciencias Naturales y Matemática
Universidad de El Salvador

23 de febrero/2023
Topología
Objetivo

Objetivo específico
Definir y demostrar propiedades de abiertos, cerrados y
otro conjuntos notables en un espacio topológico.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.1.
Sean (X , T ) un espacio topológico y A ⊂ X . Se dice que:
1 x ∈ X es punto interior de A ssi existe un entorno V x de x
tal que V x ⊂ A.
2 x ∈ X es punto exterior de A ssi existe V x ∈ B(x) tal que
V x ⊂ X − A.
3 x ∈ X es punto frontera de A ssi ∀ V x ∈ B(x): V x ∩ A ̸= ∅ y
V x ∩ (X − A) ̸= ∅ .
4 x ∈ X es punto adherente de A ssi ∀ V x ∈ B(x):
V x ∩ A ̸= ∅.
5 x ∈ X es punto de acumulación de A ssi ∀ V x ∈ B(x):
V x ∩ (A − {x}) ̸= ∅.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.1.
Sean (X , T ) un espacio topológico y A ⊂ X . Se dice que:
1 x ∈ X es punto interior de A ssi existe un entorno V x de x
tal que V x ⊂ A.
2 x ∈ X es punto exterior de A ssi existe V x ∈ B(x) tal que
V x ⊂ X − A.
3 x ∈ X es punto frontera de A ssi ∀ V x ∈ B(x): V x ∩ A ̸= ∅ y
V x ∩ (X − A) ̸= ∅ .
4 x ∈ X es punto adherente de A ssi ∀ V x ∈ B(x):
V x ∩ A ̸= ∅.
5 x ∈ X es punto de acumulación de A ssi ∀ V x ∈ B(x):
V x ∩ (A − {x}) ̸= ∅.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.1.
Sean (X , T ) un espacio topológico y A ⊂ X . Se dice que:
1 x ∈ X es punto interior de A ssi existe un entorno V x de x
tal que V x ⊂ A.
2 x ∈ X es punto exterior de A ssi existe V x ∈ B(x) tal que
V x ⊂ X − A.
3 x ∈ X es punto frontera de A ssi ∀ V x ∈ B(x): V x ∩ A ̸= ∅ y
V x ∩ (X − A) ̸= ∅ .
4 x ∈ X es punto adherente de A ssi ∀ V x ∈ B(x):
V x ∩ A ̸= ∅.
5 x ∈ X es punto de acumulación de A ssi ∀ V x ∈ B(x):
V x ∩ (A − {x}) ̸= ∅.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.1.
Sean (X , T ) un espacio topológico y A ⊂ X . Se dice que:
1 x ∈ X es punto interior de A ssi existe un entorno V x de x
tal que V x ⊂ A.
2 x ∈ X es punto exterior de A ssi existe V x ∈ B(x) tal que
V x ⊂ X − A.
3 x ∈ X es punto frontera de A ssi ∀ V x ∈ B(x): V x ∩ A ̸= ∅ y
V x ∩ (X − A) ̸= ∅ .
4 x ∈ X es punto adherente de A ssi ∀ V x ∈ B(x):
V x ∩ A ̸= ∅.
5 x ∈ X es punto de acumulación de A ssi ∀ V x ∈ B(x):
V x ∩ (A − {x}) ̸= ∅.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.1.
Sean (X , T ) un espacio topológico y A ⊂ X . Se dice que:
1 x ∈ X es punto interior de A ssi existe un entorno V x de x
tal que V x ⊂ A.
2 x ∈ X es punto exterior de A ssi existe V x ∈ B(x) tal que
V x ⊂ X − A.
3 x ∈ X es punto frontera de A ssi ∀ V x ∈ B(x): V x ∩ A ̸= ∅ y
V x ∩ (X − A) ̸= ∅ .
4 x ∈ X es punto adherente de A ssi ∀ V x ∈ B(x):
V x ∩ A ̸= ∅.
5 x ∈ X es punto de acumulación de A ssi ∀ V x ∈ B(x):
V x ∩ (A − {x}) ̸= ∅.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.2.
Sean (X , T ) un espacio topológico y A ⊂ X . Entonces,
llamamos a:
1 Int(A) = Å = {x ∈ X : x es punto interior de A} interior de A.
2 Ext(A) = {x ∈ X : x es punto exterior de A} exterior de A.
3 Fr(A) = {x ∈ X : x es punto frontera de A} frontera de A.
4 A = {x ∈ X : x es punto de adherencia de A} adherencia de
A.
′
5 A = {x ∈ X : x es punto de acumulación de A} derivado de
A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.2.
Sean (X , T ) un espacio topológico y A ⊂ X . Entonces,
llamamos a:
1 Int(A) = Å = {x ∈ X : x es punto interior de A} interior de A.
2 Ext(A) = {x ∈ X : x es punto exterior de A} exterior de A.
3 Fr(A) = {x ∈ X : x es punto frontera de A} frontera de A.
4 A = {x ∈ X : x es punto de adherencia de A} adherencia de
A.
′
5 A = {x ∈ X : x es punto de acumulación de A} derivado de
A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.2.
Sean (X , T ) un espacio topológico y A ⊂ X . Entonces,
llamamos a:
1 Int(A) = Å = {x ∈ X : x es punto interior de A} interior de A.
2 Ext(A) = {x ∈ X : x es punto exterior de A} exterior de A.
3 Fr(A) = {x ∈ X : x es punto frontera de A} frontera de A.
4 A = {x ∈ X : x es punto de adherencia de A} adherencia de
A.
′
5 A = {x ∈ X : x es punto de acumulación de A} derivado de
A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.2.
Sean (X , T ) un espacio topológico y A ⊂ X . Entonces,
llamamos a:
1 Int(A) = Å = {x ∈ X : x es punto interior de A} interior de A.
2 Ext(A) = {x ∈ X : x es punto exterior de A} exterior de A.
3 Fr(A) = {x ∈ X : x es punto frontera de A} frontera de A.
4 A = {x ∈ X : x es punto de adherencia de A} adherencia de
A.
′
5 A = {x ∈ X : x es punto de acumulación de A} derivado de
A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.2.
Sean (X , T ) un espacio topológico y A ⊂ X . Entonces,
llamamos a:
1 Int(A) = Å = {x ∈ X : x es punto interior de A} interior de A.
2 Ext(A) = {x ∈ X : x es punto exterior de A} exterior de A.
3 Fr(A) = {x ∈ X : x es punto frontera de A} frontera de A.
4 A = {x ∈ X : x es punto de adherencia de A} adherencia de
A.
′
5 A = {x ∈ X : x es punto de acumulación de A} derivado de
A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Si (X , T ) es un espacio topológico, denotaremos por CT al

conjunto de todos los cerrados en (X , T ).

Proposición 2.1.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
\
A= C
C∈CT
C⊃A

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) se cumple que:

2 V x ∩ A ̸= ∅.
3 ∴ V x ∩ C ̸= ∅, ∀ C ∈ CT con C ⊃ A
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Si (X , T ) es un espacio topológico, denotaremos por CT al

conjunto de todos los cerrados en (X , T ).

Proposición 2.1.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
\
A= C
C∈CT
C⊃A

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) se cumple que:

2 V x ∩ A ̸= ∅.
3 ∴ V x ∩ C ̸= ∅, ∀ C ∈ CT con C ⊃ A
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Si (X , T ) es un espacio topológico, denotaremos por CT al

conjunto de todos los cerrados en (X , T ).

Proposición 2.1.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
\
A= C
C∈CT
C⊃A

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) se cumple que:

2 V x ∩ A ̸= ∅.
3 ∴ V x ∩ C ̸= ∅, ∀ C ∈ CT con C ⊃ A
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Si (X , T ) es un espacio topológico, denotaremos por CT al

conjunto de todos los cerrados en (X , T ).

Proposición 2.1.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
\
A= C
C∈CT
C⊃A

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) se cumple que:

2 V x ∩ A ̸= ∅.
3 ∴ V x ∩ C ̸= ∅, ∀ C ∈ CT con C ⊃ A
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

4 x ∈ C, ∀ C ∈ CT con C ⊃ A.
5 Por tanto, \
x∈ C
C∈CT
C⊃A

6 Recíprocamente, si \
x∈ C
C∈CT
C⊃A

7 x ∈ C, ∀ C ∈ CT con C ⊃ A.
8 Como queremos que x ∈ A, veamos que debe cumplirse
que
∀ V x ∈ B(x) : V x ∩ A ̸= ∅

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

4 x ∈ C, ∀ C ∈ CT con C ⊃ A.
5 Por tanto, \
x∈ C
C∈CT
C⊃A

6 Recíprocamente, si \
x∈ C
C∈CT
C⊃A

7 x ∈ C, ∀ C ∈ CT con C ⊃ A.
8 Como queremos que x ∈ A, veamos que debe cumplirse
que
∀ V x ∈ B(x) : V x ∩ A ̸= ∅

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

4 x ∈ C, ∀ C ∈ CT con C ⊃ A.
5 Por tanto, \
x∈ C
C∈CT
C⊃A

6 Recíprocamente, si \
x∈ C
C∈CT
C⊃A

7 x ∈ C, ∀ C ∈ CT con C ⊃ A.
8 Como queremos que x ∈ A, veamos que debe cumplirse
que
∀ V x ∈ B(x) : V x ∩ A ̸= ∅

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

4 x ∈ C, ∀ C ∈ CT con C ⊃ A.
5 Por tanto, \
x∈ C
C∈CT
C⊃A

6 Recíprocamente, si \
x∈ C
C∈CT
C⊃A

7 x ∈ C, ∀ C ∈ CT con C ⊃ A.
8 Como queremos que x ∈ A, veamos que debe cumplirse
que
∀ V x ∈ B(x) : V x ∩ A ̸= ∅

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

4 x ∈ C, ∀ C ∈ CT con C ⊃ A.
5 Por tanto, \
x∈ C
C∈CT
C⊃A

6 Recíprocamente, si \
x∈ C
C∈CT
C⊃A

7 x ∈ C, ∀ C ∈ CT con C ⊃ A.
8 Como queremos que x ∈ A, veamos que debe cumplirse
que
∀ V x ∈ B(x) : V x ∩ A ̸= ∅

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

9 Si existiera W x ∈ B(x) : W x ∩ A = ∅, entonces se tendría

que:
∃ G ∈ T tal que x ∈ G ⊂ W x
X − G ⊃ X − Wx ⊃ A y x ∈/ (X − G) ∈ CT lo que contradice
nuestra hipótesis.
10 Por tanto, x ∈ A y así
\
C⊂A
C∈CT
C⊃A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

9 Si existiera W x ∈ B(x) : W x ∩ A = ∅, entonces se tendría

que:
∃ G ∈ T tal que x ∈ G ⊂ W x
X − G ⊃ X − Wx ⊃ A y x ∈/ (X − G) ∈ CT lo que contradice
nuestra hipótesis.
10 Por tanto, x ∈ A y así
\
C⊂A
C∈CT
C⊃A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

9 Si existiera W x ∈ B(x) : W x ∩ A = ∅, entonces se tendría

que:
∃ G ∈ T tal que x ∈ G ⊂ W x
X − G ⊃ X − Wx ⊃ A y x ∈/ (X − G) ∈ CT lo que contradice
nuestra hipótesis.
10 Por tanto, x ∈ A y así
\
C⊂A
C∈CT
C⊃A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

9 Si existiera W x ∈ B(x) : W x ∩ A = ∅, entonces se tendría

que:
∃ G ∈ T tal que x ∈ G ⊂ W x
X − G ⊃ X − Wx ⊃ A y x ∈/ (X − G) ∈ CT lo que contradice
nuestra hipótesis.
10 Por tanto, x ∈ A y así
\
C⊂A
C∈CT
C⊃A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.2.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces

A ∈ CT ↔ A = A

Pa

1 Supongamos que A ∈ CT .
2 Como \
A⊂ C⊂A
C∈CT
C⊃A

3 ∴A=A
4 Supongamos que A = A. Como A ∈ CT , se sigue que
A ∈ CT .
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.2.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces

A ∈ CT ↔ A = A

Pa

1 Supongamos que A ∈ CT .
2 Como \
A⊂ C⊂A
C∈CT
C⊃A

3 ∴A=A
4 Supongamos que A = A. Como A ∈ CT , se sigue que
A ∈ CT .
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.2.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces

A ∈ CT ↔ A = A

Pa

1 Supongamos que A ∈ CT .
2 Como \
A⊂ C⊂A
C∈CT
C⊃A

3 ∴A=A
4 Supongamos que A = A. Como A ∈ CT , se sigue que
A ∈ CT .
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.2.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces

A ∈ CT ↔ A = A

Pa

1 Supongamos que A ∈ CT .
2 Como \
A⊂ C⊂A
C∈CT
C⊃A

3 ∴A=A
4 Supongamos que A = A. Como A ∈ CT , se sigue que
A ∈ CT .
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.2.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces

A ∈ CT ↔ A = A

Pa

1 Supongamos que A ∈ CT .
2 Como \
A⊂ C⊂A
C∈CT
C⊃A

3 ∴A=A
4 Supongamos que A = A. Como A ∈ CT , se sigue que
A ∈ CT .
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.3.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A⊆B⇒A⊆B
2 A=A
3 A∪B =A∪B yA∩B ⊆A∩B

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
∴ ∀ V x ∈ B(x) : V x ∩ B ̸= ∅, puesto que A ⊆ B, es decir,
x ∈ B.
∴ A ⊆ B.
2 Como A es cerrado, entonces A = A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.3.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A⊆B⇒A⊆B
2 A=A
3 A∪B =A∪B yA∩B ⊆A∩B

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
∴ ∀ V x ∈ B(x) : V x ∩ B ̸= ∅, puesto que A ⊆ B, es decir,
x ∈ B.
∴ A ⊆ B.
2 Como A es cerrado, entonces A = A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.3.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A⊆B⇒A⊆B
2 A=A
3 A∪B =A∪B yA∩B ⊆A∩B

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
∴ ∀ V x ∈ B(x) : V x ∩ B ̸= ∅, puesto que A ⊆ B, es decir,
x ∈ B.
∴ A ⊆ B.
2 Como A es cerrado, entonces A = A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.3.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A⊆B⇒A⊆B
2 A=A
3 A∪B =A∪B yA∩B ⊆A∩B

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
∴ ∀ V x ∈ B(x) : V x ∩ B ̸= ∅, puesto que A ⊆ B, es decir,
x ∈ B.
∴ A ⊆ B.
2 Como A es cerrado, entonces A = A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.3.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A⊆B⇒A⊆B
2 A=A
3 A∪B =A∪B yA∩B ⊆A∩B

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
∴ ∀ V x ∈ B(x) : V x ∩ B ̸= ∅, puesto que A ⊆ B, es decir,
x ∈ B.
∴ A ⊆ B.
2 Como A es cerrado, entonces A = A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.3.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A⊆B⇒A⊆B
2 A=A
3 A∪B =A∪B yA∩B ⊆A∩B

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
∴ ∀ V x ∈ B(x) : V x ∩ B ̸= ∅, puesto que A ⊆ B, es decir,
x ∈ B.
∴ A ⊆ B.
2 Como A es cerrado, entonces A = A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.3.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A⊆B⇒A⊆B
2 A=A
3 A∪B =A∪B yA∩B ⊆A∩B

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
∴ ∀ V x ∈ B(x) : V x ∩ B ̸= ∅, puesto que A ⊆ B, es decir,
x ∈ B.
∴ A ⊆ B.
2 Como A es cerrado, entonces A = A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.3.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A⊆B⇒A⊆B
2 A=A
3 A∪B =A∪B yA∩B ⊆A∩B

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
∴ ∀ V x ∈ B(x) : V x ∩ B ̸= ∅, puesto que A ⊆ B, es decir,
x ∈ B.
∴ A ⊆ B.
2 Como A es cerrado, entonces A = A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.3.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A⊆B⇒A⊆B
2 A=A
3 A∪B =A∪B yA∩B ⊆A∩B

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
∴ ∀ V x ∈ B(x) : V x ∩ B ̸= ∅, puesto que A ⊆ B, es decir,
x ∈ B.
∴ A ⊆ B.
2 Como A es cerrado, entonces A = A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.3.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A⊆B⇒A⊆B
2 A=A
3 A∪B =A∪B yA∩B ⊆A∩B

Pa

1 Si x ∈ A, entonces ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
∴ ∀ V x ∈ B(x) : V x ∩ B ̸= ∅, puesto que A ⊆ B, es decir,
x ∈ B.
∴ A ⊆ B.
2 Como A es cerrado, entonces A = A.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

A⊆A∪B ⇒A⊆A∪B
B ⊆A∪B ⇒B ⊆A∪B
∴A∪B ⊆A∪B
Por otra parte A ∪ B ⊆ A ∪ B y A ∪ B es un cerrado.
Entonces
A∪B ⊆A∪B
Por lo tanto,
A∪B =A∪B
También, A ⊆ A y B ⊆ B entonces A ∩ B ⊆ A ∩ B.
Por lo tanto,
A∩B ⊆A∩B

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.4.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A ⊆ B ⇒ Å ⊆ B̊
˚
2 Å = Å
˚ ˚
3 Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ = A
\ ∩B

Pa
1 y 2 son inmediatas.
3 Å ⊆ A y B̊ ⊆ B
Å ∪ B̊ ⊆ A ∪ B y Å ∩ B̊ ⊆ A ∩ B
˚ ˚
Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ ⊆ A\ ∩B
˚ ˚
A∩B ⊆AyA∩B ⊆B ⇒A \ ∩ B ⊆ Å y A
\ ∩ B ⊆ B̊
˚ ˚
\
A ∩ B ⊆ Å ∩ B̊ y, por tanto, Å ∩ B̊ = A
\ ∩B
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.4.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A ⊆ B ⇒ Å ⊆ B̊
˚
2 Å = Å
˚ ˚
3 Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ = A
\ ∩B

Pa
1 y 2 son inmediatas.
3 Å ⊆ A y B̊ ⊆ B
Å ∪ B̊ ⊆ A ∪ B y Å ∩ B̊ ⊆ A ∩ B
˚ ˚
Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ ⊆ A\ ∩B
˚ ˚
A∩B ⊆AyA∩B ⊆B ⇒A \ ∩ B ⊆ Å y A
\ ∩ B ⊆ B̊
˚ ˚
\
A ∩ B ⊆ Å ∩ B̊ y, por tanto, Å ∩ B̊ = A
\ ∩B
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.4.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A ⊆ B ⇒ Å ⊆ B̊
˚
2 Å = Å
˚ ˚
3 Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ = A
\ ∩B

Pa
1 y 2 son inmediatas.
3 Å ⊆ A y B̊ ⊆ B
Å ∪ B̊ ⊆ A ∪ B y Å ∩ B̊ ⊆ A ∩ B
˚ ˚
Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ ⊆ A\ ∩B
˚ ˚
A∩B ⊆AyA∩B ⊆B ⇒A \ ∩ B ⊆ Å y A
\ ∩ B ⊆ B̊
˚ ˚
\
A ∩ B ⊆ Å ∩ B̊ y, por tanto, Å ∩ B̊ = A
\ ∩B
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.4.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A ⊆ B ⇒ Å ⊆ B̊
˚
2 Å = Å
˚ ˚
3 Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ = A
\ ∩B

Pa
1 y 2 son inmediatas.
3 Å ⊆ A y B̊ ⊆ B
Å ∪ B̊ ⊆ A ∪ B y Å ∩ B̊ ⊆ A ∩ B
˚ ˚
Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ ⊆ A\ ∩B
˚ ˚
A∩B ⊆AyA∩B ⊆B ⇒A \ ∩ B ⊆ Å y A
\ ∩ B ⊆ B̊
˚ ˚
\
A ∩ B ⊆ Å ∩ B̊ y, por tanto, Å ∩ B̊ = A
\ ∩B
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.4.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A ⊆ B ⇒ Å ⊆ B̊
˚
2 Å = Å
˚ ˚
3 Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ = A
\ ∩B

Pa
1 y 2 son inmediatas.
3 Å ⊆ A y B̊ ⊆ B
Å ∪ B̊ ⊆ A ∪ B y Å ∩ B̊ ⊆ A ∩ B
˚ ˚
Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ ⊆ A\ ∩B
˚ ˚
A∩B ⊆AyA∩B ⊆B ⇒A \ ∩ B ⊆ Å y A
\ ∩ B ⊆ B̊
˚ ˚
\
A ∩ B ⊆ Å ∩ B̊ y, por tanto, Å ∩ B̊ = A
\ ∩B
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.4.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A ⊆ B ⇒ Å ⊆ B̊
˚
2 Å = Å
˚ ˚
3 Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ = A
\ ∩B

Pa
1 y 2 son inmediatas.
3 Å ⊆ A y B̊ ⊆ B
Å ∪ B̊ ⊆ A ∪ B y Å ∩ B̊ ⊆ A ∩ B
˚ ˚
Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ ⊆ A\ ∩B
˚ ˚
A∩B ⊆AyA∩B ⊆B ⇒A \ ∩ B ⊆ Å y A
\ ∩ B ⊆ B̊
˚ ˚
\
A ∩ B ⊆ Å ∩ B̊ y, por tanto, Å ∩ B̊ = A
\ ∩B
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.4.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A ⊆ B ⇒ Å ⊆ B̊
˚
2 Å = Å
˚ ˚
3 Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ = A
\ ∩B

Pa
1 y 2 son inmediatas.
3 Å ⊆ A y B̊ ⊆ B
Å ∪ B̊ ⊆ A ∪ B y Å ∩ B̊ ⊆ A ∩ B
˚ ˚
Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ ⊆ A\ ∩B
˚ ˚
A∩B ⊆AyA∩B ⊆B ⇒A \ ∩ B ⊆ Å y A
\ ∩ B ⊆ B̊
˚ ˚
\
A ∩ B ⊆ Å ∩ B̊ y, por tanto, Å ∩ B̊ = A
\ ∩B
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.4.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A ⊆ B ⇒ Å ⊆ B̊
˚
2 Å = Å
˚ ˚
3 Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ = A
\ ∩B

Pa
1 y 2 son inmediatas.
3 Å ⊆ A y B̊ ⊆ B
Å ∪ B̊ ⊆ A ∪ B y Å ∩ B̊ ⊆ A ∩ B
˚ ˚
Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ ⊆ A\ ∩B
˚ ˚
A∩B ⊆AyA∩B ⊆B ⇒A \ ∩ B ⊆ Å y A
\ ∩ B ⊆ B̊
˚ ˚
\
A ∩ B ⊆ Å ∩ B̊ y, por tanto, Å ∩ B̊ = A
\ ∩B
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.4.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A ⊆ B ⇒ Å ⊆ B̊
˚
2 Å = Å
˚ ˚
3 Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ = A
\ ∩B

Pa
1 y 2 son inmediatas.
3 Å ⊆ A y B̊ ⊆ B
Å ∪ B̊ ⊆ A ∪ B y Å ∩ B̊ ⊆ A ∩ B
˚ ˚
Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ ⊆ A\ ∩B
˚ ˚
A∩B ⊆AyA∩B ⊆B ⇒A \ ∩ B ⊆ Å y A
\ ∩ B ⊆ B̊
˚ ˚
\
A ∩ B ⊆ Å ∩ B̊ y, por tanto, Å ∩ B̊ = A
\ ∩B
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.4.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A ⊆ B ⇒ Å ⊆ B̊
˚
2 Å = Å
˚ ˚
3 Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ = A
\ ∩B

Pa
1 y 2 son inmediatas.
3 Å ⊆ A y B̊ ⊆ B
Å ∪ B̊ ⊆ A ∪ B y Å ∩ B̊ ⊆ A ∩ B
˚ ˚
Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ ⊆ A\ ∩B
˚ ˚
A∩B ⊆AyA∩B ⊆B ⇒A \ ∩ B ⊆ Å y A
\ ∩ B ⊆ B̊
˚ ˚
\
A ∩ B ⊆ Å ∩ B̊ y, por tanto, Å ∩ B̊ = A
\ ∩B
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.4.
Sea (X , T ) un espacio topológico. Se verifica que:
1 A ⊆ B ⇒ Å ⊆ B̊
˚
2 Å = Å
˚ ˚
3 Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ = A
\ ∩B

Pa
1 y 2 son inmediatas.
3 Å ⊆ A y B̊ ⊆ B
Å ∪ B̊ ⊆ A ∪ B y Å ∩ B̊ ⊆ A ∩ B
˚ ˚
Å ∪ B̊ ⊆ A
\ ∪ B y Å ∩ B̊ ⊆ A\ ∩B
˚ ˚
A∩B ⊆AyA∩B ⊆B ⇒A \ ∩ B ⊆ Å y A
\ ∩ B ⊆ B̊
˚ ˚
\
A ∩ B ⊆ Å ∩ B̊ y, por tanto, Å ∩ B̊ = A
\ ∩B
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.5.
Sea (X , T ) un espacio topológico y A ⊂ X . Se verifica:
˚
1 X − A = X\ −A
2 X − Å = X − A

Pa

1 A⊆A⇒X −A⊆X −A
˚
Como X − A es abierto, X − A ⊆ X\ −A
˚
Para probar la otra inclusión, sea x ∈ X\
− A.
∃ W x ∈ B(x) : W x ⊂ X − A
Wx ∩ A = ∅
x∈/ A, es decir, x ∈ X − A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.5.
Sea (X , T ) un espacio topológico y A ⊂ X . Se verifica:
˚
1 X − A = X\ −A
2 X − Å = X − A

Pa

1 A⊆A⇒X −A⊆X −A
˚
Como X − A es abierto, X − A ⊆ X\ −A
˚
Para probar la otra inclusión, sea x ∈ X\
− A.
∃ W x ∈ B(x) : W x ⊂ X − A
Wx ∩ A = ∅
x∈/ A, es decir, x ∈ X − A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.5.
Sea (X , T ) un espacio topológico y A ⊂ X . Se verifica:
˚
1 X − A = X\ −A
2 X − Å = X − A

Pa

1 A⊆A⇒X −A⊆X −A
˚
Como X − A es abierto, X − A ⊆ X\ −A
˚
Para probar la otra inclusión, sea x ∈ X\
− A.
∃ W x ∈ B(x) : W x ⊂ X − A
Wx ∩ A = ∅
x∈/ A, es decir, x ∈ X − A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.5.
Sea (X , T ) un espacio topológico y A ⊂ X . Se verifica:
˚
1 X − A = X\ −A
2 X − Å = X − A

Pa

1 A⊆A⇒X −A⊆X −A
˚
Como X − A es abierto, X − A ⊆ X\ −A
˚
Para probar la otra inclusión, sea x ∈ X\
− A.
∃ W x ∈ B(x) : W x ⊂ X − A
Wx ∩ A = ∅
x∈/ A, es decir, x ∈ X − A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.5.
Sea (X , T ) un espacio topológico y A ⊂ X . Se verifica:
˚
1 X − A = X\ −A
2 X − Å = X − A

Pa

1 A⊆A⇒X −A⊆X −A
˚
Como X − A es abierto, X − A ⊆ X\ −A
˚
Para probar la otra inclusión, sea x ∈ X\
− A.
∃ W x ∈ B(x) : W x ⊂ X − A
Wx ∩ A = ∅
x∈/ A, es decir, x ∈ X − A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.5.
Sea (X , T ) un espacio topológico y A ⊂ X . Se verifica:
˚
1 X − A = X\ −A
2 X − Å = X − A

Pa

1 A⊆A⇒X −A⊆X −A
˚
Como X − A es abierto, X − A ⊆ X\ −A
˚
Para probar la otra inclusión, sea x ∈ X\
− A.
∃ W x ∈ B(x) : W x ⊂ X − A
Wx ∩ A = ∅
x∈/ A, es decir, x ∈ X − A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.5.
Sea (X , T ) un espacio topológico y A ⊂ X . Se verifica:
˚
1 X − A = X\ −A
2 X − Å = X − A

Pa

1 A⊆A⇒X −A⊆X −A
˚
Como X − A es abierto, X − A ⊆ X\ −A
˚
Para probar la otra inclusión, sea x ∈ X\
− A.
∃ W x ∈ B(x) : W x ⊂ X − A
Wx ∩ A = ∅
x∈/ A, es decir, x ∈ X − A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.5.
Sea (X , T ) un espacio topológico y A ⊂ X . Se verifica:
˚
1 X − A = X\ −A
2 X − Å = X − A

Pa

1 A⊆A⇒X −A⊆X −A
˚
Como X − A es abierto, X − A ⊆ X\ −A
˚
Para probar la otra inclusión, sea x ∈ X\
− A.
∃ W x ∈ B(x) : W x ⊂ X − A
Wx ∩ A = ∅
x∈/ A, es decir, x ∈ X − A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.5.
Sea (X , T ) un espacio topológico y A ⊂ X . Se verifica:
˚
1 X − A = X\ −A
2 X − Å = X − A

Pa

1 A⊆A⇒X −A⊆X −A
˚
Como X − A es abierto, X − A ⊆ X\ −A
˚
Para probar la otra inclusión, sea x ∈ X\
− A.
∃ W x ∈ B(x) : W x ⊂ X − A
Wx ∩ A = ∅
x∈/ A, es decir, x ∈ X − A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.5.
Sea (X , T ) un espacio topológico y A ⊂ X . Se verifica:
˚
1 X − A = X\ −A
2 X − Å = X − A

Pa

1 A⊆A⇒X −A⊆X −A
˚
Como X − A es abierto, X − A ⊆ X\ −A
˚
Para probar la otra inclusión, sea x ∈ X\
− A.
∃ W x ∈ B(x) : W x ⊂ X − A
Wx ∩ A = ∅
x∈/ A, es decir, x ∈ X − A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.5.
Sea (X , T ) un espacio topológico y A ⊂ X . Se verifica:
˚
1 X − A = X\ −A
2 X − Å = X − A

Pa

1 A⊆A⇒X −A⊆X −A
˚
Como X − A es abierto, X − A ⊆ X\ −A
˚
Para probar la otra inclusión, sea x ∈ X\
− A.
∃ W x ∈ B(x) : W x ⊂ X − A
Wx ∩ A = ∅
x∈/ A, es decir, x ∈ X − A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

2 Å ⊆ A ⇒ X − A ⊆ X − Å
Como X − Å es cerrado, X − A ⊆ X − Å
Para probar la otra inclusión, sea x ∈ X − Å.
x∈ / Å ⇒ ∀ V x ∈ B(x) : V x ̸⊂ A
∀ V x ∈ B(x) : V x ∩ (X − A) ̸= ∅
x ∈X −A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

2 Å ⊆ A ⇒ X − A ⊆ X − Å
Como X − Å es cerrado, X − A ⊆ X − Å
Para probar la otra inclusión, sea x ∈ X − Å.
x∈ / Å ⇒ ∀ V x ∈ B(x) : V x ̸⊂ A
∀ V x ∈ B(x) : V x ∩ (X − A) ̸= ∅
x ∈X −A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

2 Å ⊆ A ⇒ X − A ⊆ X − Å
Como X − Å es cerrado, X − A ⊆ X − Å
Para probar la otra inclusión, sea x ∈ X − Å.
x∈ / Å ⇒ ∀ V x ∈ B(x) : V x ̸⊂ A
∀ V x ∈ B(x) : V x ∩ (X − A) ̸= ∅
x ∈X −A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

2 Å ⊆ A ⇒ X − A ⊆ X − Å
Como X − Å es cerrado, X − A ⊆ X − Å
Para probar la otra inclusión, sea x ∈ X − Å.
x∈ / Å ⇒ ∀ V x ∈ B(x) : V x ̸⊂ A
∀ V x ∈ B(x) : V x ∩ (X − A) ̸= ∅
x ∈X −A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

2 Å ⊆ A ⇒ X − A ⊆ X − Å
Como X − Å es cerrado, X − A ⊆ X − Å
Para probar la otra inclusión, sea x ∈ X − Å.
x∈ / Å ⇒ ∀ V x ∈ B(x) : V x ̸⊂ A
∀ V x ∈ B(x) : V x ∩ (X − A) ̸= ∅
x ∈X −A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

2 Å ⊆ A ⇒ X − A ⊆ X − Å
Como X − Å es cerrado, X − A ⊆ X − Å
Para probar la otra inclusión, sea x ∈ X − Å.
x∈ / Å ⇒ ∀ V x ∈ B(x) : V x ̸⊂ A
∀ V x ∈ B(x) : V x ∩ (X − A) ̸= ∅
x ∈X −A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

2 Å ⊆ A ⇒ X − A ⊆ X − Å
Como X − Å es cerrado, X − A ⊆ X − Å
Para probar la otra inclusión, sea x ∈ X − Å.
x∈ / Å ⇒ ∀ V x ∈ B(x) : V x ̸⊂ A
∀ V x ∈ B(x) : V x ∩ (X − A) ̸= ∅
x ∈X −A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.6.
Sea (X , T ) un espacio topológico y A ⊂ X , entonces
1 Fr (A) = A ∩ X − A.
2 Fr (A) es un conjunto cerrado
3 Fr (A) = Fr (X − A)
4 Fr (A) ⊆ Fr (A) y Fr (Å) ⊆ Fr (A)
5 Fr (X ) = ∅ y Fr (∅) = ∅

Pa
1, 2, 3 y 5 son inmediatas.

˚
4 Fr (A) = A ∩ X − A = A ∩ X\
− A ⊆ A ∩ X − A = Fr (A)
Fr (Å) = Å ∩ X − Å = Å ∩ X − A ⊆ A ∩ X − A = Fr (A)

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.6.
Sea (X , T ) un espacio topológico y A ⊂ X , entonces
1 Fr (A) = A ∩ X − A.
2 Fr (A) es un conjunto cerrado
3 Fr (A) = Fr (X − A)
4 Fr (A) ⊆ Fr (A) y Fr (Å) ⊆ Fr (A)
5 Fr (X ) = ∅ y Fr (∅) = ∅

Pa
1, 2, 3 y 5 son inmediatas.

˚
4 Fr (A) = A ∩ X − A = A ∩ X\
− A ⊆ A ∩ X − A = Fr (A)
Fr (Å) = Å ∩ X − Å = Å ∩ X − A ⊆ A ∩ X − A = Fr (A)

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.6.
Sea (X , T ) un espacio topológico y A ⊂ X , entonces
1 Fr (A) = A ∩ X − A.
2 Fr (A) es un conjunto cerrado
3 Fr (A) = Fr (X − A)
4 Fr (A) ⊆ Fr (A) y Fr (Å) ⊆ Fr (A)
5 Fr (X ) = ∅ y Fr (∅) = ∅

Pa
1, 2, 3 y 5 son inmediatas.

˚
4 Fr (A) = A ∩ X − A = A ∩ X\
− A ⊆ A ∩ X − A = Fr (A)
Fr (Å) = Å ∩ X − Å = Å ∩ X − A ⊆ A ∩ X − A = Fr (A)

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.6.
Sea (X , T ) un espacio topológico y A ⊂ X , entonces
1 Fr (A) = A ∩ X − A.
2 Fr (A) es un conjunto cerrado
3 Fr (A) = Fr (X − A)
4 Fr (A) ⊆ Fr (A) y Fr (Å) ⊆ Fr (A)
5 Fr (X ) = ∅ y Fr (∅) = ∅

Pa
1, 2, 3 y 5 son inmediatas.

˚
4 Fr (A) = A ∩ X − A = A ∩ X\
− A ⊆ A ∩ X − A = Fr (A)
Fr (Å) = Å ∩ X − Å = Å ∩ X − A ⊆ A ∩ X − A = Fr (A)

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.6.
Sea (X , T ) un espacio topológico y A ⊂ X , entonces
1 Fr (A) = A ∩ X − A.
2 Fr (A) es un conjunto cerrado
3 Fr (A) = Fr (X − A)
4 Fr (A) ⊆ Fr (A) y Fr (Å) ⊆ Fr (A)
5 Fr (X ) = ∅ y Fr (∅) = ∅

Pa
1, 2, 3 y 5 son inmediatas.

˚
4 Fr (A) = A ∩ X − A = A ∩ X\
− A ⊆ A ∩ X − A = Fr (A)
Fr (Å) = Å ∩ X − Å = Å ∩ X − A ⊆ A ∩ X − A = Fr (A)

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.6.
Sea (X , T ) un espacio topológico y A ⊂ X , entonces
1 Fr (A) = A ∩ X − A.
2 Fr (A) es un conjunto cerrado
3 Fr (A) = Fr (X − A)
4 Fr (A) ⊆ Fr (A) y Fr (Å) ⊆ Fr (A)
5 Fr (X ) = ∅ y Fr (∅) = ∅

Pa
1, 2, 3 y 5 son inmediatas.

˚
4 Fr (A) = A ∩ X − A = A ∩ X\
− A ⊆ A ∩ X − A = Fr (A)
Fr (Å) = Å ∩ X − Å = Å ∩ X − A ⊆ A ∩ X − A = Fr (A)

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.6.
Sea (X , T ) un espacio topológico y A ⊂ X , entonces
1 Fr (A) = A ∩ X − A.
2 Fr (A) es un conjunto cerrado
3 Fr (A) = Fr (X − A)
4 Fr (A) ⊆ Fr (A) y Fr (Å) ⊆ Fr (A)
5 Fr (X ) = ∅ y Fr (∅) = ∅

Pa
1, 2, 3 y 5 son inmediatas.

˚
4 Fr (A) = A ∩ X − A = A ∩ X\
− A ⊆ A ∩ X − A = Fr (A)
Fr (Å) = Å ∩ X − Å = Å ∩ X − A ⊆ A ∩ X − A = Fr (A)

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.6.
Sea (X , T ) un espacio topológico y A ⊂ X , entonces
1 Fr (A) = A ∩ X − A.
2 Fr (A) es un conjunto cerrado
3 Fr (A) = Fr (X − A)
4 Fr (A) ⊆ Fr (A) y Fr (Å) ⊆ Fr (A)
5 Fr (X ) = ∅ y Fr (∅) = ∅

Pa
1, 2, 3 y 5 son inmediatas.

˚
4 Fr (A) = A ∩ X − A = A ∩ X\
− A ⊆ A ∩ X − A = Fr (A)
Fr (Å) = Å ∩ X − Å = Å ∩ X − A ⊆ A ∩ X − A = Fr (A)

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.6.
Sea (X , T ) un espacio topológico y A ⊂ X , entonces
1 Fr (A) = A ∩ X − A.
2 Fr (A) es un conjunto cerrado
3 Fr (A) = Fr (X − A)
4 Fr (A) ⊆ Fr (A) y Fr (Å) ⊆ Fr (A)
5 Fr (X ) = ∅ y Fr (∅) = ∅

Pa
1, 2, 3 y 5 son inmediatas.

˚
4 Fr (A) = A ∩ X − A = A ∩ X\
− A ⊆ A ∩ X − A = Fr (A)
Fr (Å) = Å ∩ X − Å = Å ∩ X − A ⊆ A ∩ X − A = Fr (A)

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.6.
Sea (X , T ) un espacio topológico y A ⊂ X , entonces
1 Fr (A) = A ∩ X − A.
2 Fr (A) es un conjunto cerrado
3 Fr (A) = Fr (X − A)
4 Fr (A) ⊆ Fr (A) y Fr (Å) ⊆ Fr (A)
5 Fr (X ) = ∅ y Fr (∅) = ∅

Pa
1, 2, 3 y 5 son inmediatas.

˚
4 Fr (A) = A ∩ X − A = A ∩ X\
− A ⊆ A ∩ X − A = Fr (A)
Fr (Å) = Å ∩ X − Å = Å ∩ X − A ⊆ A ∩ X − A = Fr (A)

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.7.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A)
2 A = A ∪ Fr (A)
3 A es abierto ssi A ∩ Fr (A) = ∅
4 A es cerrado ssi Fr (A) ⊆ A
5 A es abierto y cerrado ssi Fr (A) = ∅

Pa

1 A−Fr (A) = A∩(X −Fr (A)) = A∩[(X −A∪(X −X − A)] = Å

2 A ∪ Fr (A) = A ∪ [A ∩ X − A] = A ∩ (A ∪ X − A) = A ∩ X = A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.7.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A)
2 A = A ∪ Fr (A)
3 A es abierto ssi A ∩ Fr (A) = ∅
4 A es cerrado ssi Fr (A) ⊆ A
5 A es abierto y cerrado ssi Fr (A) = ∅

Pa

1 A−Fr (A) = A∩(X −Fr (A)) = A∩[(X −A∪(X −X − A)] = Å

2 A ∪ Fr (A) = A ∪ [A ∩ X − A] = A ∩ (A ∪ X − A) = A ∩ X = A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.7.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A)
2 A = A ∪ Fr (A)
3 A es abierto ssi A ∩ Fr (A) = ∅
4 A es cerrado ssi Fr (A) ⊆ A
5 A es abierto y cerrado ssi Fr (A) = ∅

Pa

1 A−Fr (A) = A∩(X −Fr (A)) = A∩[(X −A∪(X −X − A)] = Å

2 A ∪ Fr (A) = A ∪ [A ∩ X − A] = A ∩ (A ∪ X − A) = A ∩ X = A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.7.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A)
2 A = A ∪ Fr (A)
3 A es abierto ssi A ∩ Fr (A) = ∅
4 A es cerrado ssi Fr (A) ⊆ A
5 A es abierto y cerrado ssi Fr (A) = ∅

Pa

1 A−Fr (A) = A∩(X −Fr (A)) = A∩[(X −A∪(X −X − A)] = Å

2 A ∪ Fr (A) = A ∪ [A ∩ X − A] = A ∩ (A ∪ X − A) = A ∩ X = A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.7.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A)
2 A = A ∪ Fr (A)
3 A es abierto ssi A ∩ Fr (A) = ∅
4 A es cerrado ssi Fr (A) ⊆ A
5 A es abierto y cerrado ssi Fr (A) = ∅

Pa

1 A−Fr (A) = A∩(X −Fr (A)) = A∩[(X −A∪(X −X − A)] = Å

2 A ∪ Fr (A) = A ∪ [A ∩ X − A] = A ∩ (A ∪ X − A) = A ∩ X = A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.7.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A)
2 A = A ∪ Fr (A)
3 A es abierto ssi A ∩ Fr (A) = ∅
4 A es cerrado ssi Fr (A) ⊆ A
5 A es abierto y cerrado ssi Fr (A) = ∅

Pa

1 A−Fr (A) = A∩(X −Fr (A)) = A∩[(X −A∪(X −X − A)] = Å

2 A ∪ Fr (A) = A ∪ [A ∩ X − A] = A ∩ (A ∪ X − A) = A ∩ X = A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.7.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A)
2 A = A ∪ Fr (A)
3 A es abierto ssi A ∩ Fr (A) = ∅
4 A es cerrado ssi Fr (A) ⊆ A
5 A es abierto y cerrado ssi Fr (A) = ∅

Pa

1 A−Fr (A) = A∩(X −Fr (A)) = A∩[(X −A∪(X −X − A)] = Å

2 A ∪ Fr (A) = A ∪ [A ∩ X − A] = A ∩ (A ∪ X − A) = A ∩ X = A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.7.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A)
2 A = A ∪ Fr (A)
3 A es abierto ssi A ∩ Fr (A) = ∅
4 A es cerrado ssi Fr (A) ⊆ A
5 A es abierto y cerrado ssi Fr (A) = ∅

Pa

1 A−Fr (A) = A∩(X −Fr (A)) = A∩[(X −A∪(X −X − A)] = Å

2 A ∪ Fr (A) = A ∪ [A ∩ X − A] = A ∩ (A ∪ X − A) = A ∩ X = A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.7.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A)
2 A = A ∪ Fr (A)
3 A es abierto ssi A ∩ Fr (A) = ∅
4 A es cerrado ssi Fr (A) ⊆ A
5 A es abierto y cerrado ssi Fr (A) = ∅

Pa

1 A−Fr (A) = A∩(X −Fr (A)) = A∩[(X −A∪(X −X − A)] = Å

2 A ∪ Fr (A) = A ∪ [A ∩ X − A] = A ∩ (A ∪ X − A) = A ∩ X = A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

3 Sea A abierto, i.e., A = Å

A ∩ Fr (A) = A ∩ (A − Å) = A ∩ (A − A) = ∅
Recíprocamente, supongamos que A ∩ Fr (A) = ∅
A∩A∩X −A=A∩X −A=∅
A ⊆ (X − X − A) y X − X − A = Å
A = Å y A es abierto
4 A es cerrado ssi X − A es abierto
ssi (X − A) ∩ Fr (X − A) = ∅
ssi (X − A) ∩ Fr (A) = ∅
ssi Fr (A) ⊆ A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

3 Sea A abierto, i.e., A = Å

A ∩ Fr (A) = A ∩ (A − Å) = A ∩ (A − A) = ∅
Recíprocamente, supongamos que A ∩ Fr (A) = ∅
A∩A∩X −A=A∩X −A=∅
A ⊆ (X − X − A) y X − X − A = Å
A = Å y A es abierto
4 A es cerrado ssi X − A es abierto
ssi (X − A) ∩ Fr (X − A) = ∅
ssi (X − A) ∩ Fr (A) = ∅
ssi Fr (A) ⊆ A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

3 Sea A abierto, i.e., A = Å

A ∩ Fr (A) = A ∩ (A − Å) = A ∩ (A − A) = ∅
Recíprocamente, supongamos que A ∩ Fr (A) = ∅
A∩A∩X −A=A∩X −A=∅
A ⊆ (X − X − A) y X − X − A = Å
A = Å y A es abierto
4 A es cerrado ssi X − A es abierto
ssi (X − A) ∩ Fr (X − A) = ∅
ssi (X − A) ∩ Fr (A) = ∅
ssi Fr (A) ⊆ A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

3 Sea A abierto, i.e., A = Å

A ∩ Fr (A) = A ∩ (A − Å) = A ∩ (A − A) = ∅
Recíprocamente, supongamos que A ∩ Fr (A) = ∅
A∩A∩X −A=A∩X −A=∅
A ⊆ (X − X − A) y X − X − A = Å
A = Å y A es abierto
4 A es cerrado ssi X − A es abierto
ssi (X − A) ∩ Fr (X − A) = ∅
ssi (X − A) ∩ Fr (A) = ∅
ssi Fr (A) ⊆ A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

3 Sea A abierto, i.e., A = Å

A ∩ Fr (A) = A ∩ (A − Å) = A ∩ (A − A) = ∅
Recíprocamente, supongamos que A ∩ Fr (A) = ∅
A∩A∩X −A=A∩X −A=∅
A ⊆ (X − X − A) y X − X − A = Å
A = Å y A es abierto
4 A es cerrado ssi X − A es abierto
ssi (X − A) ∩ Fr (X − A) = ∅
ssi (X − A) ∩ Fr (A) = ∅
ssi Fr (A) ⊆ A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

3 Sea A abierto, i.e., A = Å

A ∩ Fr (A) = A ∩ (A − Å) = A ∩ (A − A) = ∅
Recíprocamente, supongamos que A ∩ Fr (A) = ∅
A∩A∩X −A=A∩X −A=∅
A ⊆ (X − X − A) y X − X − A = Å
A = Å y A es abierto
4 A es cerrado ssi X − A es abierto
ssi (X − A) ∩ Fr (X − A) = ∅
ssi (X − A) ∩ Fr (A) = ∅
ssi Fr (A) ⊆ A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

3 Sea A abierto, i.e., A = Å

A ∩ Fr (A) = A ∩ (A − Å) = A ∩ (A − A) = ∅
Recíprocamente, supongamos que A ∩ Fr (A) = ∅
A∩A∩X −A=A∩X −A=∅
A ⊆ (X − X − A) y X − X − A = Å
A = Å y A es abierto
4 A es cerrado ssi X − A es abierto
ssi (X − A) ∩ Fr (X − A) = ∅
ssi (X − A) ∩ Fr (A) = ∅
ssi Fr (A) ⊆ A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

3 Sea A abierto, i.e., A = Å

A ∩ Fr (A) = A ∩ (A − Å) = A ∩ (A − A) = ∅
Recíprocamente, supongamos que A ∩ Fr (A) = ∅
A∩A∩X −A=A∩X −A=∅
A ⊆ (X − X − A) y X − X − A = Å
A = Å y A es abierto
4 A es cerrado ssi X − A es abierto
ssi (X − A) ∩ Fr (X − A) = ∅
ssi (X − A) ∩ Fr (A) = ∅
ssi Fr (A) ⊆ A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

3 Sea A abierto, i.e., A = Å

A ∩ Fr (A) = A ∩ (A − Å) = A ∩ (A − A) = ∅
Recíprocamente, supongamos que A ∩ Fr (A) = ∅
A∩A∩X −A=A∩X −A=∅
A ⊆ (X − X − A) y X − X − A = Å
A = Å y A es abierto
4 A es cerrado ssi X − A es abierto
ssi (X − A) ∩ Fr (X − A) = ∅
ssi (X − A) ∩ Fr (A) = ∅
ssi Fr (A) ⊆ A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

3 Sea A abierto, i.e., A = Å

A ∩ Fr (A) = A ∩ (A − Å) = A ∩ (A − A) = ∅
Recíprocamente, supongamos que A ∩ Fr (A) = ∅
A∩A∩X −A=A∩X −A=∅
A ⊆ (X − X − A) y X − X − A = Å
A = Å y A es abierto
4 A es cerrado ssi X − A es abierto
ssi (X − A) ∩ Fr (X − A) = ∅
ssi (X − A) ∩ Fr (A) = ∅
ssi Fr (A) ⊆ A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

3 Sea A abierto, i.e., A = Å

A ∩ Fr (A) = A ∩ (A − Å) = A ∩ (A − A) = ∅
Recíprocamente, supongamos que A ∩ Fr (A) = ∅
A∩A∩X −A=A∩X −A=∅
A ⊆ (X − X − A) y X − X − A = Å
A = Å y A es abierto
4 A es cerrado ssi X − A es abierto
ssi (X − A) ∩ Fr (X − A) = ∅
ssi (X − A) ∩ Fr (A) = ∅
ssi Fr (A) ⊆ A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

3 Sea A abierto, i.e., A = Å

A ∩ Fr (A) = A ∩ (A − Å) = A ∩ (A − A) = ∅
Recíprocamente, supongamos que A ∩ Fr (A) = ∅
A∩A∩X −A=A∩X −A=∅
A ⊆ (X − X − A) y X − X − A = Å
A = Å y A es abierto
4 A es cerrado ssi X − A es abierto
ssi (X − A) ∩ Fr (X − A) = ∅
ssi (X − A) ∩ Fr (A) = ∅
ssi Fr (A) ⊆ A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

4 A es abierto ssi X − A es cerrado ssi X − A = X − A

A es cerrado ssi A = A
Fr (A) = A ∩ X − A = A ∩ (X − A) = ∅
Recíprocamente, Fr (A) = ∅ ⊂ A ⇒ A es cerrado, por 2
Como Fr (X − A) = Fr (A) = ∅ ⊂ (X − A) ⇒ X − A es
cerrado.
∴ A es abierto y cerrado.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

4 A es abierto ssi X − A es cerrado ssi X − A = X − A

A es cerrado ssi A = A
Fr (A) = A ∩ X − A = A ∩ (X − A) = ∅
Recíprocamente, Fr (A) = ∅ ⊂ A ⇒ A es cerrado, por 2
Como Fr (X − A) = Fr (A) = ∅ ⊂ (X − A) ⇒ X − A es
cerrado.
∴ A es abierto y cerrado.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

4 A es abierto ssi X − A es cerrado ssi X − A = X − A

A es cerrado ssi A = A
Fr (A) = A ∩ X − A = A ∩ (X − A) = ∅
Recíprocamente, Fr (A) = ∅ ⊂ A ⇒ A es cerrado, por 2
Como Fr (X − A) = Fr (A) = ∅ ⊂ (X − A) ⇒ X − A es
cerrado.
∴ A es abierto y cerrado.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

4 A es abierto ssi X − A es cerrado ssi X − A = X − A

A es cerrado ssi A = A
Fr (A) = A ∩ X − A = A ∩ (X − A) = ∅
Recíprocamente, Fr (A) = ∅ ⊂ A ⇒ A es cerrado, por 2
Como Fr (X − A) = Fr (A) = ∅ ⊂ (X − A) ⇒ X − A es
cerrado.
∴ A es abierto y cerrado.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

4 A es abierto ssi X − A es cerrado ssi X − A = X − A

A es cerrado ssi A = A
Fr (A) = A ∩ X − A = A ∩ (X − A) = ∅
Recíprocamente, Fr (A) = ∅ ⊂ A ⇒ A es cerrado, por 2
Como Fr (X − A) = Fr (A) = ∅ ⊂ (X − A) ⇒ X − A es
cerrado.
∴ A es abierto y cerrado.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

4 A es abierto ssi X − A es cerrado ssi X − A = X − A

A es cerrado ssi A = A
Fr (A) = A ∩ X − A = A ∩ (X − A) = ∅
Recíprocamente, Fr (A) = ∅ ⊂ A ⇒ A es cerrado, por 2
Como Fr (X − A) = Fr (A) = ∅ ⊂ (X − A) ⇒ X − A es
cerrado.
∴ A es abierto y cerrado.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

4 A es abierto ssi X − A es cerrado ssi X − A = X − A

A es cerrado ssi A = A
Fr (A) = A ∩ X − A = A ∩ (X − A) = ∅
Recíprocamente, Fr (A) = ∅ ⊂ A ⇒ A es cerrado, por 2
Como Fr (X − A) = Fr (A) = ∅ ⊂ (X − A) ⇒ X − A es
cerrado.
∴ A es abierto y cerrado.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.8.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A) = A − Fr (A)
2 A = A ∪ Fr (A) = Å ∪ Fr (A)

Pa

c c
1 A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å
c c
A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.8.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A) = A − Fr (A)
2 A = A ∪ Fr (A) = Å ∪ Fr (A)

Pa

c c
1 A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å
c c
A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.8.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A) = A − Fr (A)
2 A = A ∪ Fr (A) = Å ∪ Fr (A)

Pa

c c
1 A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å
c c
A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.8.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A) = A − Fr (A)
2 A = A ∪ Fr (A) = Å ∪ Fr (A)

Pa

c c
1 A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å
c c
A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.8.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A) = A − Fr (A)
2 A = A ∪ Fr (A) = Å ∪ Fr (A)

Pa

c c
1 A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å
c c
A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.8.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A) = A − Fr (A)
2 A = A ∪ Fr (A) = Å ∪ Fr (A)

Pa

c c
1 A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å
c c
A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.8.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A) = A − Fr (A)
2 A = A ∪ Fr (A) = Å ∪ Fr (A)

Pa

c c
1 A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å
c c
A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.8.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A) = A − Fr (A)
2 A = A ∪ Fr (A) = Å ∪ Fr (A)

Pa

c c
1 A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å
c c
A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.8.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Å = A − Fr (A) = A − Fr (A)
2 A = A ∪ Fr (A) = Å ∪ Fr (A)

Pa

c c
1 A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å
c c
A−Fr (A) = A∩Fr (A)c = A∩[A∩X − A]c = A∩[A ∪X − A ]
c c
A − Fr (A) = [A ∩ A ] ∪ [A ∩ X − A ] = ∅ ∪ [A ∩ Å] = Å

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

2 A = Å ∪ Fr (A) = [A ∩ Fr (A)c ] ∪ Fr (A)

A = [A ∪ Fr (A)] ∩ [Fr (A)c ∪ Fr (A)] = A ∪ Fr (A)

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

2 A = Å ∪ Fr (A) = [A ∩ Fr (A)c ] ∪ Fr (A)

A = [A ∪ Fr (A)] ∩ [Fr (A)c ∪ Fr (A)] = A ∪ Fr (A)

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

2 A = Å ∪ Fr (A) = [A ∩ Fr (A)c ] ∪ Fr (A)

A = [A ∪ Fr (A)] ∩ [Fr (A)c ∪ Fr (A)] = A ∪ Fr (A)

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 2.9.
Sean (X , T ) un espacio topológico y U un subconjunto abierto
no vacío de X .
Si A ⊂ X es tal que U ∩ A = ∅, entonces U ∩ A = ∅. En
particular, si U, V son abiertos no vacíos y disjuntos, entonces
U ∩ V = ∅ = U ∩ V.

Pa

Supongamos que A ⊂ X tal que U ∩ A = ∅.

1

Si tuviéramos que U ∩ A ̸= ∅, entonces ∃ x ∈ U ∩ A .

2

3 x ∈Uyx ∈A.
4 ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
5 Pero x ∈ U es un abierto y, por tanto, U ∈ B(x), entonces
6 U ∩ A ̸= ∅, lo que contradice nuestra hipótesis.
Obs: Podemos escribir U ∩ A ̸= ∅ ssi U ∩ A ̸= ∅.
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.9.
Sean (X , T ) un espacio topológico y U un subconjunto abierto
no vacío de X .
Si A ⊂ X es tal que U ∩ A = ∅, entonces U ∩ A = ∅. En
particular, si U, V son abiertos no vacíos y disjuntos, entonces
U ∩ V = ∅ = U ∩ V.

Pa

Supongamos que A ⊂ X tal que U ∩ A = ∅.

1

Si tuviéramos que U ∩ A ̸= ∅, entonces ∃ x ∈ U ∩ A .

2

3 x ∈Uyx ∈A.
4 ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
5 Pero x ∈ U es un abierto y, por tanto, U ∈ B(x), entonces
6 U ∩ A ̸= ∅, lo que contradice nuestra hipótesis.
Obs: Podemos escribir U ∩ A ̸= ∅ ssi U ∩ A ̸= ∅.
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.9.
Sean (X , T ) un espacio topológico y U un subconjunto abierto
no vacío de X .
Si A ⊂ X es tal que U ∩ A = ∅, entonces U ∩ A = ∅. En
particular, si U, V son abiertos no vacíos y disjuntos, entonces
U ∩ V = ∅ = U ∩ V.

Pa

Supongamos que A ⊂ X tal que U ∩ A = ∅.

1

Si tuviéramos que U ∩ A ̸= ∅, entonces ∃ x ∈ U ∩ A .

2

3 x ∈Uyx ∈A.
4 ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
5 Pero x ∈ U es un abierto y, por tanto, U ∈ B(x), entonces
6 U ∩ A ̸= ∅, lo que contradice nuestra hipótesis.
Obs: Podemos escribir U ∩ A ̸= ∅ ssi U ∩ A ̸= ∅.
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.9.
Sean (X , T ) un espacio topológico y U un subconjunto abierto
no vacío de X .
Si A ⊂ X es tal que U ∩ A = ∅, entonces U ∩ A = ∅. En
particular, si U, V son abiertos no vacíos y disjuntos, entonces
U ∩ V = ∅ = U ∩ V.

Pa

Supongamos que A ⊂ X tal que U ∩ A = ∅.

1

Si tuviéramos que U ∩ A ̸= ∅, entonces ∃ x ∈ U ∩ A .

2

3 x ∈Uyx ∈A.
4 ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
5 Pero x ∈ U es un abierto y, por tanto, U ∈ B(x), entonces
6 U ∩ A ̸= ∅, lo que contradice nuestra hipótesis.
Obs: Podemos escribir U ∩ A ̸= ∅ ssi U ∩ A ̸= ∅.
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.9.
Sean (X , T ) un espacio topológico y U un subconjunto abierto
no vacío de X .
Si A ⊂ X es tal que U ∩ A = ∅, entonces U ∩ A = ∅. En
particular, si U, V son abiertos no vacíos y disjuntos, entonces
U ∩ V = ∅ = U ∩ V.

Pa

Supongamos que A ⊂ X tal que U ∩ A = ∅.

1

Si tuviéramos que U ∩ A ̸= ∅, entonces ∃ x ∈ U ∩ A .

2

3 x ∈Uyx ∈A.
4 ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
5 Pero x ∈ U es un abierto y, por tanto, U ∈ B(x), entonces
6 U ∩ A ̸= ∅, lo que contradice nuestra hipótesis.
Obs: Podemos escribir U ∩ A ̸= ∅ ssi U ∩ A ̸= ∅.
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.9.
Sean (X , T ) un espacio topológico y U un subconjunto abierto
no vacío de X .
Si A ⊂ X es tal que U ∩ A = ∅, entonces U ∩ A = ∅. En
particular, si U, V son abiertos no vacíos y disjuntos, entonces
U ∩ V = ∅ = U ∩ V.

Pa

Supongamos que A ⊂ X tal que U ∩ A = ∅.

1

Si tuviéramos que U ∩ A ̸= ∅, entonces ∃ x ∈ U ∩ A .

2

3 x ∈Uyx ∈A.
4 ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
5 Pero x ∈ U es un abierto y, por tanto, U ∈ B(x), entonces
6 U ∩ A ̸= ∅, lo que contradice nuestra hipótesis.
Obs: Podemos escribir U ∩ A ̸= ∅ ssi U ∩ A ̸= ∅.
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.9.
Sean (X , T ) un espacio topológico y U un subconjunto abierto
no vacío de X .
Si A ⊂ X es tal que U ∩ A = ∅, entonces U ∩ A = ∅. En
particular, si U, V son abiertos no vacíos y disjuntos, entonces
U ∩ V = ∅ = U ∩ V.

Pa

Supongamos que A ⊂ X tal que U ∩ A = ∅.

1

Si tuviéramos que U ∩ A ̸= ∅, entonces ∃ x ∈ U ∩ A .

2

3 x ∈Uyx ∈A.
4 ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
5 Pero x ∈ U es un abierto y, por tanto, U ∈ B(x), entonces
6 U ∩ A ̸= ∅, lo que contradice nuestra hipótesis.
Obs: Podemos escribir U ∩ A ̸= ∅ ssi U ∩ A ̸= ∅.
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Proposición 2.9.
Sean (X , T ) un espacio topológico y U un subconjunto abierto
no vacío de X .
Si A ⊂ X es tal que U ∩ A = ∅, entonces U ∩ A = ∅. En
particular, si U, V son abiertos no vacíos y disjuntos, entonces
U ∩ V = ∅ = U ∩ V.

Pa

Supongamos que A ⊂ X tal que U ∩ A = ∅.

1

Si tuviéramos que U ∩ A ̸= ∅, entonces ∃ x ∈ U ∩ A .

2

3 x ∈Uyx ∈A.
4 ∀ V x ∈ B(x) : V x ∩ A ̸= ∅
5 Pero x ∈ U es un abierto y, por tanto, U ∈ B(x), entonces
6 U ∩ A ̸= ∅, lo que contradice nuestra hipótesis.
Obs: Podemos escribir U ∩ A ̸= ∅ ssi U ∩ A ̸= ∅.
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

Definición 2.3.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Se dice que A es denso en X ssi A = X .
2 En general, si A, B son subconjuntos de X se dice que A
es denso en B ssi B ⊂ A.
3 Se dice que X es separable ssi X contiene un subconjunto
denso y numerable.
4 Se dice que A es nunca denso en X ssi X − A es denso en
˚=∅
X , i.e., X − A = X o A
Observaciones:
Si A es denso en B y V es un abierto no vacío de X tal
que V ∩ B ̸= ∅ entonces V ∩ A ̸= ∅.
A = X ssi ∀ ∅ =
̸ G ⊆ X abierto : G ∩ A ̸= ∅

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.3.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Se dice que A es denso en X ssi A = X .
2 En general, si A, B son subconjuntos de X se dice que A
es denso en B ssi B ⊂ A.
3 Se dice que X es separable ssi X contiene un subconjunto
denso y numerable.
4 Se dice que A es nunca denso en X ssi X − A es denso en
˚=∅
X , i.e., X − A = X o A
Observaciones:
Si A es denso en B y V es un abierto no vacío de X tal
que V ∩ B ̸= ∅ entonces V ∩ A ̸= ∅.
A = X ssi ∀ ∅ =
̸ G ⊆ X abierto : G ∩ A ̸= ∅

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.3.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Se dice que A es denso en X ssi A = X .
2 En general, si A, B son subconjuntos de X se dice que A
es denso en B ssi B ⊂ A.
3 Se dice que X es separable ssi X contiene un subconjunto
denso y numerable.
4 Se dice que A es nunca denso en X ssi X − A es denso en
˚=∅
X , i.e., X − A = X o A
Observaciones:
Si A es denso en B y V es un abierto no vacío de X tal
que V ∩ B ̸= ∅ entonces V ∩ A ̸= ∅.
A = X ssi ∀ ∅ =
̸ G ⊆ X abierto : G ∩ A ̸= ∅

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.3.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Se dice que A es denso en X ssi A = X .
2 En general, si A, B son subconjuntos de X se dice que A
es denso en B ssi B ⊂ A.
3 Se dice que X es separable ssi X contiene un subconjunto
denso y numerable.
4 Se dice que A es nunca denso en X ssi X − A es denso en
˚=∅
X , i.e., X − A = X o A
Observaciones:
Si A es denso en B y V es un abierto no vacío de X tal
que V ∩ B ̸= ∅ entonces V ∩ A ̸= ∅.
A = X ssi ∀ ∅ =
̸ G ⊆ X abierto : G ∩ A ̸= ∅

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.3.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Se dice que A es denso en X ssi A = X .
2 En general, si A, B son subconjuntos de X se dice que A
es denso en B ssi B ⊂ A.
3 Se dice que X es separable ssi X contiene un subconjunto
denso y numerable.
4 Se dice que A es nunca denso en X ssi X − A es denso en
˚=∅
X , i.e., X − A = X o A
Observaciones:
Si A es denso en B y V es un abierto no vacío de X tal
que V ∩ B ̸= ∅ entonces V ∩ A ̸= ∅.
A = X ssi ∀ ∅ =
̸ G ⊆ X abierto : G ∩ A ̸= ∅

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.3.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Se dice que A es denso en X ssi A = X .
2 En general, si A, B son subconjuntos de X se dice que A
es denso en B ssi B ⊂ A.
3 Se dice que X es separable ssi X contiene un subconjunto
denso y numerable.
4 Se dice que A es nunca denso en X ssi X − A es denso en
˚=∅
X , i.e., X − A = X o A
Observaciones:
Si A es denso en B y V es un abierto no vacío de X tal
que V ∩ B ̸= ∅ entonces V ∩ A ̸= ∅.
A = X ssi ∀ ∅ =
̸ G ⊆ X abierto : G ∩ A ̸= ∅

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.3.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Se dice que A es denso en X ssi A = X .
2 En general, si A, B son subconjuntos de X se dice que A
es denso en B ssi B ⊂ A.
3 Se dice que X es separable ssi X contiene un subconjunto
denso y numerable.
4 Se dice que A es nunca denso en X ssi X − A es denso en
˚=∅
X , i.e., X − A = X o A
Observaciones:
Si A es denso en B y V es un abierto no vacío de X tal
que V ∩ B ̸= ∅ entonces V ∩ A ̸= ∅.
A = X ssi ∀ ∅ =
̸ G ⊆ X abierto : G ∩ A ̸= ∅

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 2.3.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
1 Se dice que A es denso en X ssi A = X .
2 En general, si A, B son subconjuntos de X se dice que A
es denso en B ssi B ⊂ A.
3 Se dice que X es separable ssi X contiene un subconjunto
denso y numerable.
4 Se dice que A es nunca denso en X ssi X − A es denso en
˚=∅
X , i.e., X − A = X o A
Observaciones:
Si A es denso en B y V es un abierto no vacío de X tal
que V ∩ B ̸= ∅ entonces V ∩ A ̸= ∅.
A = X ssi ∀ ∅ =
̸ G ⊆ X abierto : G ∩ A ̸= ∅

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

PREGUNTAS!!!

Martín Enrique Guerra Cáceres Topología