Más ejemplos de topologías.

Conjuntos
cerrados

Martín Enrique Guerra Cáceres

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

21 de febrero/2023
Topología
Objetivo

Objetivo específico
Comprender los conceptos de base de una topología y
topología menos fina

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en[0, 1]}.

Sabemos que

d∞ : C[0, 1] × C[0, 1] → R t.q d∞ (f , g) = sup |f (x) − g(x)|

x∈[0,1]

es una métrica.
B(f , r ) = {g ∈ C[0, 1] : supx∈[0,1] |f (x) − g(x)| < r }.
Consideremos Td∞ 1 .
Denotamos

L∞ (C[0, 1]) = (C[0, 1], Td∞ )

1 S
Td = {∅} {G ⊆ X : G es unión de bolas abiertas en X }
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en[0, 1]}.

Sabemos que

d∞ : C[0, 1] × C[0, 1] → R t.q d∞ (f , g) = sup |f (x) − g(x)|

x∈[0,1]

es una métrica.
B(f , r ) = {g ∈ C[0, 1] : supx∈[0,1] |f (x) − g(x)| < r }.
Consideremos Td∞ 1 .
Denotamos

L∞ (C[0, 1]) = (C[0, 1], Td∞ )

1 S
Td = {∅} {G ⊆ X : G es unión de bolas abiertas en X }
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en[0, 1]}.

Sabemos que

d∞ : C[0, 1] × C[0, 1] → R t.q d∞ (f , g) = sup |f (x) − g(x)|

x∈[0,1]

es una métrica.
B(f , r ) = {g ∈ C[0, 1] : supx∈[0,1] |f (x) − g(x)| < r }.
Consideremos Td∞ 1 .
Denotamos

L∞ (C[0, 1]) = (C[0, 1], Td∞ )

1 S
Td = {∅} {G ⊆ X : G es unión de bolas abiertas en X }
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en[0, 1]}.

Sabemos que

d∞ : C[0, 1] × C[0, 1] → R t.q d∞ (f , g) = sup |f (x) − g(x)|

x∈[0,1]

es una métrica.
B(f , r ) = {g ∈ C[0, 1] : supx∈[0,1] |f (x) − g(x)| < r }.
Consideremos Td∞ 1 .
Denotamos

L∞ (C[0, 1]) = (C[0, 1], Td∞ )

1 S
Td = {∅} {G ⊆ X : G es unión de bolas abiertas en X }
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en[0, 1]}.

Sabemos que

d∞ : C[0, 1] × C[0, 1] → R t.q d∞ (f , g) = sup |f (x) − g(x)|

x∈[0,1]

es una métrica.
B(f , r ) = {g ∈ C[0, 1] : supx∈[0,1] |f (x) − g(x)| < r }.
Consideremos Td∞ 1 .
Denotamos

L∞ (C[0, 1]) = (C[0, 1], Td∞ )

1 S
Td = {∅} {G ⊆ X : G es unión de bolas abiertas en X }
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

Sea {fn }∞ ∞
n=1 una sucesión en L (C[0, 1]) = (C[0, 1], Td∞ ).
Que fn → f0 significa que

∀ ϵ > 0, ∃ n0 t.q : n ≥ n0 → fn ∈ B(f0 , ϵ)

: n ≥ n0 → sup |fn (x)−f0 (x)| < ϵ

x∈[0,1]

En particular, para cada x ∈ [0, 1] fijo:

∀ ϵ > 0, ∃ n0 t.q : n ≥ n0 → |fn (x) − f0 (x)| < ϵ

Por tanto, fn (x) → f0 (x) para cada x ∈ [0, 1].

A la topología Td∞ se le suele llamar topología de la
convergencia uniforme.
Por tanto, si la sucesión fn que converge uniformemente a
f0 , entonces fn converge puntualmente a f0 .
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

Sea {fn }∞ ∞
n=1 una sucesión en L (C[0, 1]) = (C[0, 1], Td∞ ).
Que fn → f0 significa que

∀ ϵ > 0, ∃ n0 t.q : n ≥ n0 → fn ∈ B(f0 , ϵ)

: n ≥ n0 → sup |fn (x)−f0 (x)| < ϵ

x∈[0,1]

En particular, para cada x ∈ [0, 1] fijo:

∀ ϵ > 0, ∃ n0 t.q : n ≥ n0 → |fn (x) − f0 (x)| < ϵ

Por tanto, fn (x) → f0 (x) para cada x ∈ [0, 1].

A la topología Td∞ se le suele llamar topología de la
convergencia uniforme.
Por tanto, si la sucesión fn que converge uniformemente a
f0 , entonces fn converge puntualmente a f0 .
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

Sea {fn }∞ ∞
n=1 una sucesión en L (C[0, 1]) = (C[0, 1], Td∞ ).
Que fn → f0 significa que

∀ ϵ > 0, ∃ n0 t.q : n ≥ n0 → fn ∈ B(f0 , ϵ)

: n ≥ n0 → sup |fn (x)−f0 (x)| < ϵ

x∈[0,1]

En particular, para cada x ∈ [0, 1] fijo:

∀ ϵ > 0, ∃ n0 t.q : n ≥ n0 → |fn (x) − f0 (x)| < ϵ

Por tanto, fn (x) → f0 (x) para cada x ∈ [0, 1].

A la topología Td∞ se le suele llamar topología de la
convergencia uniforme.
Por tanto, si la sucesión fn que converge uniformemente a
f0 , entonces fn converge puntualmente a f0 .
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

Sea {fn }∞ ∞
n=1 una sucesión en L (C[0, 1]) = (C[0, 1], Td∞ ).
Que fn → f0 significa que

∀ ϵ > 0, ∃ n0 t.q : n ≥ n0 → fn ∈ B(f0 , ϵ)

: n ≥ n0 → sup |fn (x)−f0 (x)| < ϵ

x∈[0,1]

En particular, para cada x ∈ [0, 1] fijo:

∀ ϵ > 0, ∃ n0 t.q : n ≥ n0 → |fn (x) − f0 (x)| < ϵ

Por tanto, fn (x) → f0 (x) para cada x ∈ [0, 1].

A la topología Td∞ se le suele llamar topología de la
convergencia uniforme.
Por tanto, si la sucesión fn que converge uniformemente a
f0 , entonces fn converge puntualmente a f0 .
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

Sea {fn }∞ ∞
n=1 una sucesión en L (C[0, 1]) = (C[0, 1], Td∞ ).
Que fn → f0 significa que

∀ ϵ > 0, ∃ n0 t.q : n ≥ n0 → fn ∈ B(f0 , ϵ)

: n ≥ n0 → sup |fn (x)−f0 (x)| < ϵ

x∈[0,1]

En particular, para cada x ∈ [0, 1] fijo:

∀ ϵ > 0, ∃ n0 t.q : n ≥ n0 → |fn (x) − f0 (x)| < ϵ

Por tanto, fn (x) → f0 (x) para cada x ∈ [0, 1].

A la topología Td∞ se le suele llamar topología de la
convergencia uniforme.
Por tanto, si la sucesión fn que converge uniformemente a
f0 , entonces fn converge puntualmente a f0 .
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

Sea {fn }∞ ∞
n=1 una sucesión en L (C[0, 1]) = (C[0, 1], Td∞ ).
Que fn → f0 significa que

∀ ϵ > 0, ∃ n0 t.q : n ≥ n0 → fn ∈ B(f0 , ϵ)

: n ≥ n0 → sup |fn (x)−f0 (x)| < ϵ

x∈[0,1]

En particular, para cada x ∈ [0, 1] fijo:

∀ ϵ > 0, ∃ n0 t.q : n ≥ n0 → |fn (x) − f0 (x)| < ϵ

Por tanto, fn (x) → f0 (x) para cada x ∈ [0, 1].

A la topología Td∞ se le suele llamar topología de la
convergencia uniforme.
Por tanto, si la sucesión fn que converge uniformemente a
f0 , entonces fn converge puntualmente a f0 .
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

Pero, el recíproco no es cierto. En efecto,

1

 n2 x(1 − nx),
 si 0 ≤ x ≤
fn (x) = n
 1
 0, si ≤x ≤1
n
verifica que:
Para cada x ∈ [0, 1], fn (x) → 0 en
fn ↛ 0 en L∞ (C[0, 1]) = (C[0, 1], Td∞ ) ya que
n
sup |fn (x)| =
x∈[0,1] 4

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Pero, el recíproco no es cierto. En efecto,

1

 n2 x(1 − nx),
 si 0 ≤ x ≤
fn (x) = n
 1
 0, si ≤x ≤1
n
verifica que:
Para cada x ∈ [0, 1], fn (x) → 0 en
fn ↛ 0 en L∞ (C[0, 1]) = (C[0, 1], Td∞ ) ya que
n
sup |fn (x)| =
x∈[0,1] 4

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Pero, el recíproco no es cierto. En efecto,

1

 n2 x(1 − nx),
 si 0 ≤ x ≤
fn (x) = n
 1
 0, si ≤x ≤1
n
verifica que:
Para cada x ∈ [0, 1], fn (x) → 0 en
fn ↛ 0 en L∞ (C[0, 1]) = (C[0, 1], Td∞ ) ya que
n
sup |fn (x)| =
x∈[0,1] 4

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en[0, 1]}.

Sabemos que
s
Z 1
d2 : C[0, 1]×C[0, 1] → R t.q d2 (f , g) = |f (x) − g(x)|2 dx
0

es una métrica.
Consideremos Td2 .
Denotamos L2 (C[0, 1]) = (C[0, 1], Td2 ).
Veamos que Td2 ⊂ Td∞ .

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en[0, 1]}.

Sabemos que
s
Z 1
d2 : C[0, 1]×C[0, 1] → R t.q d2 (f , g) = |f (x) − g(x)|2 dx
0

es una métrica.
Consideremos Td2 .
Denotamos L2 (C[0, 1]) = (C[0, 1], Td2 ).
Veamos que Td2 ⊂ Td∞ .

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en[0, 1]}.

Sabemos que
s
Z 1
d2 : C[0, 1]×C[0, 1] → R t.q d2 (f , g) = |f (x) − g(x)|2 dx
0

es una métrica.
Consideremos Td2 .
Denotamos L2 (C[0, 1]) = (C[0, 1], Td2 ).
Veamos que Td2 ⊂ Td∞ .

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en[0, 1]}.

Sabemos que
s
Z 1
d2 : C[0, 1]×C[0, 1] → R t.q d2 (f , g) = |f (x) − g(x)|2 dx
0

es una métrica.
Consideremos Td2 .
Denotamos L2 (C[0, 1]) = (C[0, 1], Td2 ).
Veamos que Td2 ⊂ Td∞ .

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en[0, 1]}.

Sabemos que
s
Z 1
d2 : C[0, 1]×C[0, 1] → R t.q d2 (f , g) = |f (x) − g(x)|2 dx
0

es una métrica.
Consideremos Td2 .
Denotamos L2 (C[0, 1]) = (C[0, 1], Td2 ).
Veamos que Td2 ⊂ Td∞ .

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.1.
Se verifica que Td2 ⊆ Td∞ .

Prueba 2.1.

Para demostrar que Td2 ⊆ Td∞ basta probar que toda bola
abierta B d2 (f , r ) es un conjunto abierto en L∞ ([0, 1]).
1 Si g ∈ B d2 (f , r ), sea rg = r − d2 (f , g) y, por tanto,
2 B d2 (g, rg ) ⊆ B d2 (f , r )
qR
1
3 d2 (h, g) = 2 0 |h(x) − g(x)|2 dx
qR qR
2 1 2 dx ≤ 2 1 2
4
0 |h(x) − g(x)| 0 (supx∈[0,1] |h(x) − g(x)|) dx

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.1.
Se verifica que Td2 ⊆ Td∞ .

Prueba 2.1.

Para demostrar que Td2 ⊆ Td∞ basta probar que toda bola
abierta B d2 (f , r ) es un conjunto abierto en L∞ ([0, 1]).
1 Si g ∈ B d2 (f , r ), sea rg = r − d2 (f , g) y, por tanto,
2 B d2 (g, rg ) ⊆ B d2 (f , r )
qR
1
3 d2 (h, g) = 2 0 |h(x) − g(x)|2 dx
qR qR
2 1 2 dx ≤ 2 1 2
4
0 |h(x) − g(x)| 0 (supx∈[0,1] |h(x) − g(x)|) dx

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.1.
Se verifica que Td2 ⊆ Td∞ .

Prueba 2.1.

Para demostrar que Td2 ⊆ Td∞ basta probar que toda bola
abierta B d2 (f , r ) es un conjunto abierto en L∞ ([0, 1]).
1 Si g ∈ B d2 (f , r ), sea rg = r − d2 (f , g) y, por tanto,
2 B d2 (g, rg ) ⊆ B d2 (f , r )
qR
1
3 d2 (h, g) = 2 0 |h(x) − g(x)|2 dx
qR qR
2 1 2 dx ≤ 2 1 2
4
0 |h(x) − g(x)| 0 (supx∈[0,1] |h(x) − g(x)|) dx

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.1.
Se verifica que Td2 ⊆ Td∞ .

Prueba 2.1.

Para demostrar que Td2 ⊆ Td∞ basta probar que toda bola
abierta B d2 (f , r ) es un conjunto abierto en L∞ ([0, 1]).
1 Si g ∈ B d2 (f , r ), sea rg = r − d2 (f , g) y, por tanto,
2 B d2 (g, rg ) ⊆ B d2 (f , r )
qR
1
3 d2 (h, g) = 2 0 |h(x) − g(x)|2 dx
qR qR
2 1 2 dx ≤ 2 1 2
4
0 |h(x) − g(x)| 0 (supx∈[0,1] |h(x) − g(x)|) dx

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.1.
Se verifica que Td2 ⊆ Td∞ .

Prueba 2.1.

Para demostrar que Td2 ⊆ Td∞ basta probar que toda bola
abierta B d2 (f , r ) es un conjunto abierto en L∞ ([0, 1]).
1 Si g ∈ B d2 (f , r ), sea rg = r − d2 (f , g) y, por tanto,
2 B d2 (g, rg ) ⊆ B d2 (f , r )
qR
1
3 d2 (h, g) = 2 0 |h(x) − g(x)|2 dx
qR qR
2 1 2 dx ≤ 2 1 2
4
0 |h(x) − g(x)| 0 (supx∈[0,1] |h(x) − g(x)|) dx

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.1.
Se verifica que Td2 ⊆ Td∞ .

Prueba 2.1.

Para demostrar que Td2 ⊆ Td∞ basta probar que toda bola
abierta B d2 (f , r ) es un conjunto abierto en L∞ ([0, 1]).
1 Si g ∈ B d2 (f , r ), sea rg = r − d2 (f , g) y, por tanto,
2 B d2 (g, rg ) ⊆ B d2 (f , r )
qR
1
3 d2 (h, g) = 2 0 |h(x) − g(x)|2 dx
qR qR
2 1 2 dx ≤ 2 1 2
4
0 |h(x) − g(x)| 0 (supx∈[0,1] |h(x) − g(x)|) dx

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.1.
Se verifica que Td2 ⊆ Td∞ .

Prueba 2.1.

Para demostrar que Td2 ⊆ Td∞ basta probar que toda bola
abierta B d2 (f , r ) es un conjunto abierto en L∞ ([0, 1]).
1 Si g ∈ B d2 (f , r ), sea rg = r − d2 (f , g) y, por tanto,
2 B d2 (g, rg ) ⊆ B d2 (f , r )
qR
1
3 d2 (h, g) = 2 0 |h(x) − g(x)|2 dx
qR qR
2 1 2 dx ≤ 2 1 2
4
0 |h(x) − g(x)| 0 (supx∈[0,1] |h(x) − g(x)|) dx

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

5 d2 (h, g) ≤ supx∈[0,1] |h(x) − g(x)| = d∞ (h, g)

6 B d∞ (g, rg ) ⊆ B d2 (g, rg ) ⊆ B d2 (f , r )
7
[
B d2 (f , r ) = B d∞ (g, rg )
g∈B d2 (f ,r )

8 B d2 (f , r ) ∈ Td∞
9 ∴ Td2 ⊆ Td∞
Intuitivamente esto significa que si g está próximo a f en
L∞ ([0, 1]), entonces g está próximo a f en L2 ([0, 1]).
Pero puntos muy próximos a un punto f en L2 ([0, 1]) no
necesariamente son próximos a f en L∞ ([0, 1]).

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

5 d2 (h, g) ≤ supx∈[0,1] |h(x) − g(x)| = d∞ (h, g)

6 B d∞ (g, rg ) ⊆ B d2 (g, rg ) ⊆ B d2 (f , r )
7
[
B d2 (f , r ) = B d∞ (g, rg )
g∈B d2 (f ,r )

8 B d2 (f , r ) ∈ Td∞
9 ∴ Td2 ⊆ Td∞
Intuitivamente esto significa que si g está próximo a f en
L∞ ([0, 1]), entonces g está próximo a f en L2 ([0, 1]).
Pero puntos muy próximos a un punto f en L2 ([0, 1]) no
necesariamente son próximos a f en L∞ ([0, 1]).

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

5 d2 (h, g) ≤ supx∈[0,1] |h(x) − g(x)| = d∞ (h, g)

6 B d∞ (g, rg ) ⊆ B d2 (g, rg ) ⊆ B d2 (f , r )
7
[
B d2 (f , r ) = B d∞ (g, rg )
g∈B d2 (f ,r )

8 B d2 (f , r ) ∈ Td∞
9 ∴ Td2 ⊆ Td∞
Intuitivamente esto significa que si g está próximo a f en
L∞ ([0, 1]), entonces g está próximo a f en L2 ([0, 1]).
Pero puntos muy próximos a un punto f en L2 ([0, 1]) no
necesariamente son próximos a f en L∞ ([0, 1]).

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

5 d2 (h, g) ≤ supx∈[0,1] |h(x) − g(x)| = d∞ (h, g)

6 B d∞ (g, rg ) ⊆ B d2 (g, rg ) ⊆ B d2 (f , r )
7
[
B d2 (f , r ) = B d∞ (g, rg )
g∈B d2 (f ,r )

8 B d2 (f , r ) ∈ Td∞
9 ∴ Td2 ⊆ Td∞
Intuitivamente esto significa que si g está próximo a f en
L∞ ([0, 1]), entonces g está próximo a f en L2 ([0, 1]).
Pero puntos muy próximos a un punto f en L2 ([0, 1]) no
necesariamente son próximos a f en L∞ ([0, 1]).

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

5 d2 (h, g) ≤ supx∈[0,1] |h(x) − g(x)| = d∞ (h, g)

6 B d∞ (g, rg ) ⊆ B d2 (g, rg ) ⊆ B d2 (f , r )
7
[
B d2 (f , r ) = B d∞ (g, rg )
g∈B d2 (f ,r )

8 B d2 (f , r ) ∈ Td∞
9 ∴ Td2 ⊆ Td∞
Intuitivamente esto significa que si g está próximo a f en
L∞ ([0, 1]), entonces g está próximo a f en L2 ([0, 1]).
Pero puntos muy próximos a un punto f en L2 ([0, 1]) no
necesariamente son próximos a f en L∞ ([0, 1]).

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

5 d2 (h, g) ≤ supx∈[0,1] |h(x) − g(x)| = d∞ (h, g)

6 B d∞ (g, rg ) ⊆ B d2 (g, rg ) ⊆ B d2 (f , r )
7
[
B d2 (f , r ) = B d∞ (g, rg )
g∈B d2 (f ,r )

8 B d2 (f , r ) ∈ Td∞
9 ∴ Td2 ⊆ Td∞
Intuitivamente esto significa que si g está próximo a f en
L∞ ([0, 1]), entonces g está próximo a f en L2 ([0, 1]).
Pero puntos muy próximos a un punto f en L2 ([0, 1]) no
necesariamente son próximos a f en L∞ ([0, 1]).

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

5 d2 (h, g) ≤ supx∈[0,1] |h(x) − g(x)| = d∞ (h, g)

6 B d∞ (g, rg ) ⊆ B d2 (g, rg ) ⊆ B d2 (f , r )
7
[
B d2 (f , r ) = B d∞ (g, rg )
g∈B d2 (f ,r )

8 B d2 (f , r ) ∈ Td∞
9 ∴ Td2 ⊆ Td∞
Intuitivamente esto significa que si g está próximo a f en
L∞ ([0, 1]), entonces g está próximo a f en L2 ([0, 1]).
Pero puntos muy próximos a un punto f en L2 ([0, 1]) no
necesariamente son próximos a f en L∞ ([0, 1]).

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

5 d2 (h, g) ≤ supx∈[0,1] |h(x) − g(x)| = d∞ (h, g)

6 B d∞ (g, rg ) ⊆ B d2 (g, rg ) ⊆ B d2 (f , r )
7
[
B d2 (f , r ) = B d∞ (g, rg )
g∈B d2 (f ,r )

8 B d2 (f , r ) ∈ Td∞
9 ∴ Td2 ⊆ Td∞
Intuitivamente esto significa que si g está próximo a f en
L∞ ([0, 1]), entonces g está próximo a f en L2 ([0, 1]).
Pero puntos muy próximos a un punto f en L2 ([0, 1]) no
necesariamente son próximos a f en L∞ ([0, 1]).

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Por ejemplo, sea

1

 1 − nx,
 si 0 ≤ x ≤
gn (x) = n
 1
 0, si <x ≤1
n
Se verifica que:
1 ∀ n ∈ N : gn es continua en [0, 1]
2 Si f (x) = 0 para todo x ∈ [0, 1], entonces
s s r
Z 1 Z 1/n
2 2 2 2 2 1
d2 (f , gn ) = |gn (x)| dt = |1 − nx| dt =
0 0 3n

d∞ (f , gn ) = 1, ∀ n

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Por ejemplo, sea

1

 1 − nx,
 si 0 ≤ x ≤
gn (x) = n
 1
 0, si <x ≤1
n
Se verifica que:
1 ∀ n ∈ N : gn es continua en [0, 1]
2 Si f (x) = 0 para todo x ∈ [0, 1], entonces
s s r
Z 1 Z 1/n
2 2 2 2 2 1
d2 (f , gn ) = |gn (x)| dt = |1 − nx| dt =
0 0 3n

d∞ (f , gn ) = 1, ∀ n

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Por ejemplo, sea

1

 1 − nx,
 si 0 ≤ x ≤
gn (x) = n
 1
 0, si <x ≤1
n
Se verifica que:
1 ∀ n ∈ N : gn es continua en [0, 1]
2 Si f (x) = 0 para todo x ∈ [0, 1], entonces
s s r
Z 1 Z 1/n
2 2 2 2 2 1
d2 (f , gn ) = |gn (x)| dt = |1 − nx| dt =
0 0 3n

d∞ (f , gn ) = 1, ∀ n

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en [0, 1]}. Para cada

f ∈ C[0, 1], cada conjunto finito {x1 , x2 , · · · , xn } ⊂ [0, 1] y r > 0,
definamos:
1 B(x1 ,x2 ,··· ,xn ,r ) (f ) = {g ∈ C[0, 1] : |g(xi ) − f (xi )| < r , i = 1, . . . , n}.
2 Se verifica:
[
C[0, 1] = {B(x1 ,x2 ,··· ,xn ,r ) (f ) : f ∈ C[0, 1], x1 , · · · , xn ∈ [0, 1], r > 0}

ya que f ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) para cualesquiera sean x1 , · · · , xn , r .

3 Sean dos conjuntos B(x1 ,x2 ,··· ,xn ,r1 ) (f ) y B(y1 ,y2 ,··· ,ym ,r2 ) (g).
4 Sea h ∈ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g), i.e,
5 h : [0, 1] → R es continua y
′ ′
ϵ1 = |h(x1 ) − f (x1 )| < r1 , · · · , ϵn = |h(xn ) − f (xn )| < r1
′ ′
δ1 = |h(y1 ) − g(y1 )| < r2 , · · · , δm = |h(ym ) − g(ym )| < r2

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en [0, 1]}. Para cada

f ∈ C[0, 1], cada conjunto finito {x1 , x2 , · · · , xn } ⊂ [0, 1] y r > 0,
definamos:
1 B(x1 ,x2 ,··· ,xn ,r ) (f ) = {g ∈ C[0, 1] : |g(xi ) − f (xi )| < r , i = 1, . . . , n}.
2 Se verifica:
[
C[0, 1] = {B(x1 ,x2 ,··· ,xn ,r ) (f ) : f ∈ C[0, 1], x1 , · · · , xn ∈ [0, 1], r > 0}

ya que f ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) para cualesquiera sean x1 , · · · , xn , r .

3 Sean dos conjuntos B(x1 ,x2 ,··· ,xn ,r1 ) (f ) y B(y1 ,y2 ,··· ,ym ,r2 ) (g).
4 Sea h ∈ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g), i.e,
5 h : [0, 1] → R es continua y
′ ′
ϵ1 = |h(x1 ) − f (x1 )| < r1 , · · · , ϵn = |h(xn ) − f (xn )| < r1
′ ′
δ1 = |h(y1 ) − g(y1 )| < r2 , · · · , δm = |h(ym ) − g(ym )| < r2

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en [0, 1]}. Para cada

f ∈ C[0, 1], cada conjunto finito {x1 , x2 , · · · , xn } ⊂ [0, 1] y r > 0,
definamos:
1 B(x1 ,x2 ,··· ,xn ,r ) (f ) = {g ∈ C[0, 1] : |g(xi ) − f (xi )| < r , i = 1, . . . , n}.
2 Se verifica:
[
C[0, 1] = {B(x1 ,x2 ,··· ,xn ,r ) (f ) : f ∈ C[0, 1], x1 , · · · , xn ∈ [0, 1], r > 0}

ya que f ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) para cualesquiera sean x1 , · · · , xn , r .

3 Sean dos conjuntos B(x1 ,x2 ,··· ,xn ,r1 ) (f ) y B(y1 ,y2 ,··· ,ym ,r2 ) (g).
4 Sea h ∈ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g), i.e,
5 h : [0, 1] → R es continua y
′ ′
ϵ1 = |h(x1 ) − f (x1 )| < r1 , · · · , ϵn = |h(xn ) − f (xn )| < r1
′ ′
δ1 = |h(y1 ) − g(y1 )| < r2 , · · · , δm = |h(ym ) − g(ym )| < r2

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en [0, 1]}. Para cada

f ∈ C[0, 1], cada conjunto finito {x1 , x2 , · · · , xn } ⊂ [0, 1] y r > 0,
definamos:
1 B(x1 ,x2 ,··· ,xn ,r ) (f ) = {g ∈ C[0, 1] : |g(xi ) − f (xi )| < r , i = 1, . . . , n}.
2 Se verifica:
[
C[0, 1] = {B(x1 ,x2 ,··· ,xn ,r ) (f ) : f ∈ C[0, 1], x1 , · · · , xn ∈ [0, 1], r > 0}

ya que f ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) para cualesquiera sean x1 , · · · , xn , r .

3 Sean dos conjuntos B(x1 ,x2 ,··· ,xn ,r1 ) (f ) y B(y1 ,y2 ,··· ,ym ,r2 ) (g).
4 Sea h ∈ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g), i.e,
5 h : [0, 1] → R es continua y
′ ′
ϵ1 = |h(x1 ) − f (x1 )| < r1 , · · · , ϵn = |h(xn ) − f (xn )| < r1
′ ′
δ1 = |h(y1 ) − g(y1 )| < r2 , · · · , δm = |h(ym ) − g(ym )| < r2

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en [0, 1]}. Para cada

f ∈ C[0, 1], cada conjunto finito {x1 , x2 , · · · , xn } ⊂ [0, 1] y r > 0,
definamos:
1 B(x1 ,x2 ,··· ,xn ,r ) (f ) = {g ∈ C[0, 1] : |g(xi ) − f (xi )| < r , i = 1, . . . , n}.
2 Se verifica:
[
C[0, 1] = {B(x1 ,x2 ,··· ,xn ,r ) (f ) : f ∈ C[0, 1], x1 , · · · , xn ∈ [0, 1], r > 0}

ya que f ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) para cualesquiera sean x1 , · · · , xn , r .

3 Sean dos conjuntos B(x1 ,x2 ,··· ,xn ,r1 ) (f ) y B(y1 ,y2 ,··· ,ym ,r2 ) (g).
4 Sea h ∈ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g), i.e,
5 h : [0, 1] → R es continua y
′ ′
ϵ1 = |h(x1 ) − f (x1 )| < r1 , · · · , ϵn = |h(xn ) − f (xn )| < r1
′ ′
δ1 = |h(y1 ) − g(y1 )| < r2 , · · · , δm = |h(ym ) − g(ym )| < r2

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en [0, 1]}. Para cada

f ∈ C[0, 1], cada conjunto finito {x1 , x2 , · · · , xn } ⊂ [0, 1] y r > 0,
definamos:
1 B(x1 ,x2 ,··· ,xn ,r ) (f ) = {g ∈ C[0, 1] : |g(xi ) − f (xi )| < r , i = 1, . . . , n}.
2 Se verifica:
[
C[0, 1] = {B(x1 ,x2 ,··· ,xn ,r ) (f ) : f ∈ C[0, 1], x1 , · · · , xn ∈ [0, 1], r > 0}

ya que f ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) para cualesquiera sean x1 , · · · , xn , r .

3 Sean dos conjuntos B(x1 ,x2 ,··· ,xn ,r1 ) (f ) y B(y1 ,y2 ,··· ,ym ,r2 ) (g).
4 Sea h ∈ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g), i.e,
5 h : [0, 1] → R es continua y
′ ′
ϵ1 = |h(x1 ) − f (x1 )| < r1 , · · · , ϵn = |h(xn ) − f (xn )| < r1
′ ′
δ1 = |h(y1 ) − g(y1 )| < r2 , · · · , δm = |h(ym ) − g(ym )| < r2

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Sea C[0, 1] = {f : [0, 1] → R : f es continua en [0, 1]}. Para cada

f ∈ C[0, 1], cada conjunto finito {x1 , x2 , · · · , xn } ⊂ [0, 1] y r > 0,
definamos:
1 B(x1 ,x2 ,··· ,xn ,r ) (f ) = {g ∈ C[0, 1] : |g(xi ) − f (xi )| < r , i = 1, . . . , n}.
2 Se verifica:
[
C[0, 1] = {B(x1 ,x2 ,··· ,xn ,r ) (f ) : f ∈ C[0, 1], x1 , · · · , xn ∈ [0, 1], r > 0}

ya que f ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) para cualesquiera sean x1 , · · · , xn , r .

3 Sean dos conjuntos B(x1 ,x2 ,··· ,xn ,r1 ) (f ) y B(y1 ,y2 ,··· ,ym ,r2 ) (g).
4 Sea h ∈ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g), i.e,
5 h : [0, 1] → R es continua y
′ ′
ϵ1 = |h(x1 ) − f (x1 )| < r1 , · · · , ϵn = |h(xn ) − f (xn )| < r1
′ ′
δ1 = |h(y1 ) − g(y1 )| < r2 , · · · , δm = |h(ym ) − g(ym )| < r2

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

′ ′
7 Sea ϵi = r1 − ϵi ,i = 1, · · · , n y δj = r2 − δj , j = 1, · · · , m
8 ∀ i : ϵi > 0 y ∀ j : δj > 0
9 Si 0 < r < mı́n{ϵ1 , · · · , ϵn , δ1 , · · · , δm }, entonces
10 B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h) ⊂ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g)
′
11 En efecto, h ∈ B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h), entonces
12 ∀i :
′ ′
|h (xi ) − f (xi )| ≤ |h (xi ) − h(xi )| + |h(xi ) − f (xi )|
≤ r + |h(xi ) − f (xi )|
< r1 − |h(xi ) − f (xi )| + |h(xi ) − f (xi )| = r1

13 ∀j :
′ ′
|h (yj ) − g(yj )| ≤ |h (yj ) − h(yj )| + |h(yj ) − g(yj )|
≤ r + |h(yj ) − g(yj )|
< r2 − |h(yj ) − g(yj )| + |h(yj ) − g(yj )| = r2
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

′ ′
7 Sea ϵi = r1 − ϵi ,i = 1, · · · , n y δj = r2 − δj , j = 1, · · · , m
8 ∀ i : ϵi > 0 y ∀ j : δj > 0
9 Si 0 < r < mı́n{ϵ1 , · · · , ϵn , δ1 , · · · , δm }, entonces
10 B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h) ⊂ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g)
′
11 En efecto, h ∈ B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h), entonces
12 ∀i :
′ ′
|h (xi ) − f (xi )| ≤ |h (xi ) − h(xi )| + |h(xi ) − f (xi )|
≤ r + |h(xi ) − f (xi )|
< r1 − |h(xi ) − f (xi )| + |h(xi ) − f (xi )| = r1

13 ∀j :
′ ′
|h (yj ) − g(yj )| ≤ |h (yj ) − h(yj )| + |h(yj ) − g(yj )|
≤ r + |h(yj ) − g(yj )|
< r2 − |h(yj ) − g(yj )| + |h(yj ) − g(yj )| = r2
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

′ ′
7 Sea ϵi = r1 − ϵi ,i = 1, · · · , n y δj = r2 − δj , j = 1, · · · , m
8 ∀ i : ϵi > 0 y ∀ j : δj > 0
9 Si 0 < r < mı́n{ϵ1 , · · · , ϵn , δ1 , · · · , δm }, entonces
10 B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h) ⊂ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g)
′
11 En efecto, h ∈ B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h), entonces
12 ∀i :
′ ′
|h (xi ) − f (xi )| ≤ |h (xi ) − h(xi )| + |h(xi ) − f (xi )|
≤ r + |h(xi ) − f (xi )|
< r1 − |h(xi ) − f (xi )| + |h(xi ) − f (xi )| = r1

13 ∀j :
′ ′
|h (yj ) − g(yj )| ≤ |h (yj ) − h(yj )| + |h(yj ) − g(yj )|
≤ r + |h(yj ) − g(yj )|
< r2 − |h(yj ) − g(yj )| + |h(yj ) − g(yj )| = r2
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

′ ′
7 Sea ϵi = r1 − ϵi ,i = 1, · · · , n y δj = r2 − δj , j = 1, · · · , m
8 ∀ i : ϵi > 0 y ∀ j : δj > 0
9 Si 0 < r < mı́n{ϵ1 , · · · , ϵn , δ1 , · · · , δm }, entonces
10 B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h) ⊂ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g)
′
11 En efecto, h ∈ B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h), entonces
12 ∀i :
′ ′
|h (xi ) − f (xi )| ≤ |h (xi ) − h(xi )| + |h(xi ) − f (xi )|
≤ r + |h(xi ) − f (xi )|
< r1 − |h(xi ) − f (xi )| + |h(xi ) − f (xi )| = r1

13 ∀j :
′ ′
|h (yj ) − g(yj )| ≤ |h (yj ) − h(yj )| + |h(yj ) − g(yj )|
≤ r + |h(yj ) − g(yj )|
< r2 − |h(yj ) − g(yj )| + |h(yj ) − g(yj )| = r2
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

′ ′
7 Sea ϵi = r1 − ϵi ,i = 1, · · · , n y δj = r2 − δj , j = 1, · · · , m
8 ∀ i : ϵi > 0 y ∀ j : δj > 0
9 Si 0 < r < mı́n{ϵ1 , · · · , ϵn , δ1 , · · · , δm }, entonces
10 B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h) ⊂ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g)
′
11 En efecto, h ∈ B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h), entonces
12 ∀i :
′ ′
|h (xi ) − f (xi )| ≤ |h (xi ) − h(xi )| + |h(xi ) − f (xi )|
≤ r + |h(xi ) − f (xi )|
< r1 − |h(xi ) − f (xi )| + |h(xi ) − f (xi )| = r1

13 ∀j :
′ ′
|h (yj ) − g(yj )| ≤ |h (yj ) − h(yj )| + |h(yj ) − g(yj )|
≤ r + |h(yj ) − g(yj )|
< r2 − |h(yj ) − g(yj )| + |h(yj ) − g(yj )| = r2
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

′ ′
7 Sea ϵi = r1 − ϵi ,i = 1, · · · , n y δj = r2 − δj , j = 1, · · · , m
8 ∀ i : ϵi > 0 y ∀ j : δj > 0
9 Si 0 < r < mı́n{ϵ1 , · · · , ϵn , δ1 , · · · , δm }, entonces
10 B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h) ⊂ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g)
′
11 En efecto, h ∈ B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h), entonces
12 ∀i :
′ ′
|h (xi ) − f (xi )| ≤ |h (xi ) − h(xi )| + |h(xi ) − f (xi )|
≤ r + |h(xi ) − f (xi )|
< r1 − |h(xi ) − f (xi )| + |h(xi ) − f (xi )| = r1

13 ∀j :
′ ′
|h (yj ) − g(yj )| ≤ |h (yj ) − h(yj )| + |h(yj ) − g(yj )|
≤ r + |h(yj ) − g(yj )|
< r2 − |h(yj ) − g(yj )| + |h(yj ) − g(yj )| = r2
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

′ ′
7 Sea ϵi = r1 − ϵi ,i = 1, · · · , n y δj = r2 − δj , j = 1, · · · , m
8 ∀ i : ϵi > 0 y ∀ j : δj > 0
9 Si 0 < r < mı́n{ϵ1 , · · · , ϵn , δ1 , · · · , δm }, entonces
10 B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h) ⊂ B(x1 ,x2 ,··· ,xn ,r1 ) (f ) ∩ B(y1 ,y2 ,··· ,ym ,r2 ) (g)
′
11 En efecto, h ∈ B(x1 ,··· ,xn ,y1 ,··· ,ym ,r ) (h), entonces
12 ∀i :
′ ′
|h (xi ) − f (xi )| ≤ |h (xi ) − h(xi )| + |h(xi ) − f (xi )|
≤ r + |h(xi ) − f (xi )|
< r1 − |h(xi ) − f (xi )| + |h(xi ) − f (xi )| = r1

13 ∀j :
′ ′
|h (yj ) − g(yj )| ≤ |h (yj ) − h(yj )| + |h(yj ) − g(yj )|
≤ r + |h(yj ) − g(yj )|
< r2 − |h(yj ) − g(yj )| + |h(yj ) − g(yj )| = r2
Martín Enrique Guerra Cáceres Topología
Topología
Topologías importantes

14 Sea

Bp = B(x1 ,x2 ,··· ,xn ,r ) (f ) : f ∈ C[0, 1], x1 , · · · , xn ∈ [0, 1], r > 0

15

n [ o
TBp = {∅} ∪ G ⊂ C[0, 1] : G = B(x1 ,x2 ,··· ,xn ,r ) (f )

es una topología en C[0, 1].

16 A la topología TBp se le llama topología de la convergencia
puntual.

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

14 Sea

Bp = B(x1 ,x2 ,··· ,xn ,r ) (f ) : f ∈ C[0, 1], x1 , · · · , xn ∈ [0, 1], r > 0

15

n [ o
TBp = {∅} ∪ G ⊂ C[0, 1] : G = B(x1 ,x2 ,··· ,xn ,r ) (f )

es una topología en C[0, 1].

16 A la topología TBp se le llama topología de la convergencia
puntual.

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

14 Sea

Bp = B(x1 ,x2 ,··· ,xn ,r ) (f ) : f ∈ C[0, 1], x1 , · · · , xn ∈ [0, 1], r > 0

15

n [ o
TBp = {∅} ∪ G ⊂ C[0, 1] : G = B(x1 ,x2 ,··· ,xn ,r ) (f )

es una topología en C[0, 1].

16 A la topología TBp se le llama topología de la convergencia
puntual.

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.2.
Se verifica que TBp ⊂ Td∞ .

Prueba 2.2.

1 Sea g ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) ∈ TBp

2 |g(x1 ) − f (x1 )| < r , |g(x2 ) − f (x2 )| < r · · · , |h(xn ) − f (xn )| < r
3 Sean vi = |g(xi ) − f (xi )| < r , v = máx{vi }, i = 1, · · · , n, y
4 0<δ <r −v
5 B d∞ (g, δ) ⊂ B(x1 ,x2 ,··· ,xn ,r ) (f )
h ∈ B d∞ (g, δ) → supx∈[0,1] |h(x) − g(x)| < δ < r − v
∀ x ∈ [0, 1] : |h(x) − g(x)| < δ < r − v
∀ i : |h(xi )−g(xi )|+v < r → |h(xi )−g(xi )|+|g(xi )−f (xi )| < r
∀ i : |h(xi ) − f (xi )| < r
d∞ (g, δ)
S
6 B(x1 ,x2 ,··· ,xn ,r ) (f ) = g∈B(x1 ,x2 ,··· ,xn ,r ) (f ) B

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.2.
Se verifica que TBp ⊂ Td∞ .

Prueba 2.2.

1 Sea g ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) ∈ TBp

2 |g(x1 ) − f (x1 )| < r , |g(x2 ) − f (x2 )| < r · · · , |h(xn ) − f (xn )| < r
3 Sean vi = |g(xi ) − f (xi )| < r , v = máx{vi }, i = 1, · · · , n, y
4 0<δ <r −v
5 B d∞ (g, δ) ⊂ B(x1 ,x2 ,··· ,xn ,r ) (f )
h ∈ B d∞ (g, δ) → supx∈[0,1] |h(x) − g(x)| < δ < r − v
∀ x ∈ [0, 1] : |h(x) − g(x)| < δ < r − v
∀ i : |h(xi )−g(xi )|+v < r → |h(xi )−g(xi )|+|g(xi )−f (xi )| < r
∀ i : |h(xi ) − f (xi )| < r
d∞ (g, δ)
S
6 B(x1 ,x2 ,··· ,xn ,r ) (f ) = g∈B(x1 ,x2 ,··· ,xn ,r ) (f ) B

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.2.
Se verifica que TBp ⊂ Td∞ .

Prueba 2.2.

1 Sea g ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) ∈ TBp

2 |g(x1 ) − f (x1 )| < r , |g(x2 ) − f (x2 )| < r · · · , |h(xn ) − f (xn )| < r
3 Sean vi = |g(xi ) − f (xi )| < r , v = máx{vi }, i = 1, · · · , n, y
4 0<δ <r −v
5 B d∞ (g, δ) ⊂ B(x1 ,x2 ,··· ,xn ,r ) (f )
h ∈ B d∞ (g, δ) → supx∈[0,1] |h(x) − g(x)| < δ < r − v
∀ x ∈ [0, 1] : |h(x) − g(x)| < δ < r − v
∀ i : |h(xi )−g(xi )|+v < r → |h(xi )−g(xi )|+|g(xi )−f (xi )| < r
∀ i : |h(xi ) − f (xi )| < r
d∞ (g, δ)
S
6 B(x1 ,x2 ,··· ,xn ,r ) (f ) = g∈B(x1 ,x2 ,··· ,xn ,r ) (f ) B

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.2.
Se verifica que TBp ⊂ Td∞ .

Prueba 2.2.

1 Sea g ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) ∈ TBp

2 |g(x1 ) − f (x1 )| < r , |g(x2 ) − f (x2 )| < r · · · , |h(xn ) − f (xn )| < r
3 Sean vi = |g(xi ) − f (xi )| < r , v = máx{vi }, i = 1, · · · , n, y
4 0<δ <r −v
5 B d∞ (g, δ) ⊂ B(x1 ,x2 ,··· ,xn ,r ) (f )
h ∈ B d∞ (g, δ) → supx∈[0,1] |h(x) − g(x)| < δ < r − v
∀ x ∈ [0, 1] : |h(x) − g(x)| < δ < r − v
∀ i : |h(xi )−g(xi )|+v < r → |h(xi )−g(xi )|+|g(xi )−f (xi )| < r
∀ i : |h(xi ) − f (xi )| < r
d∞ (g, δ)
S
6 B(x1 ,x2 ,··· ,xn ,r ) (f ) = g∈B(x1 ,x2 ,··· ,xn ,r ) (f ) B

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.2.
Se verifica que TBp ⊂ Td∞ .

Prueba 2.2.

1 Sea g ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) ∈ TBp

2 |g(x1 ) − f (x1 )| < r , |g(x2 ) − f (x2 )| < r · · · , |h(xn ) − f (xn )| < r
3 Sean vi = |g(xi ) − f (xi )| < r , v = máx{vi }, i = 1, · · · , n, y
4 0<δ <r −v
5 B d∞ (g, δ) ⊂ B(x1 ,x2 ,··· ,xn ,r ) (f )
h ∈ B d∞ (g, δ) → supx∈[0,1] |h(x) − g(x)| < δ < r − v
∀ x ∈ [0, 1] : |h(x) − g(x)| < δ < r − v
∀ i : |h(xi )−g(xi )|+v < r → |h(xi )−g(xi )|+|g(xi )−f (xi )| < r
∀ i : |h(xi ) − f (xi )| < r
d∞ (g, δ)
S
6 B(x1 ,x2 ,··· ,xn ,r ) (f ) = g∈B(x1 ,x2 ,··· ,xn ,r ) (f ) B

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.2.
Se verifica que TBp ⊂ Td∞ .

Prueba 2.2.

1 Sea g ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) ∈ TBp

2 |g(x1 ) − f (x1 )| < r , |g(x2 ) − f (x2 )| < r · · · , |h(xn ) − f (xn )| < r
3 Sean vi = |g(xi ) − f (xi )| < r , v = máx{vi }, i = 1, · · · , n, y
4 0<δ <r −v
5 B d∞ (g, δ) ⊂ B(x1 ,x2 ,··· ,xn ,r ) (f )
h ∈ B d∞ (g, δ) → supx∈[0,1] |h(x) − g(x)| < δ < r − v
∀ x ∈ [0, 1] : |h(x) − g(x)| < δ < r − v
∀ i : |h(xi )−g(xi )|+v < r → |h(xi )−g(xi )|+|g(xi )−f (xi )| < r
∀ i : |h(xi ) − f (xi )| < r
d∞ (g, δ)
S
6 B(x1 ,x2 ,··· ,xn ,r ) (f ) = g∈B(x1 ,x2 ,··· ,xn ,r ) (f ) B

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.2.
Se verifica que TBp ⊂ Td∞ .

Prueba 2.2.

1 Sea g ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) ∈ TBp

2 |g(x1 ) − f (x1 )| < r , |g(x2 ) − f (x2 )| < r · · · , |h(xn ) − f (xn )| < r
3 Sean vi = |g(xi ) − f (xi )| < r , v = máx{vi }, i = 1, · · · , n, y
4 0<δ <r −v
5 B d∞ (g, δ) ⊂ B(x1 ,x2 ,··· ,xn ,r ) (f )
h ∈ B d∞ (g, δ) → supx∈[0,1] |h(x) − g(x)| < δ < r − v
∀ x ∈ [0, 1] : |h(x) − g(x)| < δ < r − v
∀ i : |h(xi )−g(xi )|+v < r → |h(xi )−g(xi )|+|g(xi )−f (xi )| < r
∀ i : |h(xi ) − f (xi )| < r
d∞ (g, δ)
S
6 B(x1 ,x2 ,··· ,xn ,r ) (f ) = g∈B(x1 ,x2 ,··· ,xn ,r ) (f ) B

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.2.
Se verifica que TBp ⊂ Td∞ .

Prueba 2.2.

1 Sea g ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) ∈ TBp

2 |g(x1 ) − f (x1 )| < r , |g(x2 ) − f (x2 )| < r · · · , |h(xn ) − f (xn )| < r
3 Sean vi = |g(xi ) − f (xi )| < r , v = máx{vi }, i = 1, · · · , n, y
4 0<δ <r −v
5 B d∞ (g, δ) ⊂ B(x1 ,x2 ,··· ,xn ,r ) (f )
h ∈ B d∞ (g, δ) → supx∈[0,1] |h(x) − g(x)| < δ < r − v
∀ x ∈ [0, 1] : |h(x) − g(x)| < δ < r − v
∀ i : |h(xi )−g(xi )|+v < r → |h(xi )−g(xi )|+|g(xi )−f (xi )| < r
∀ i : |h(xi ) − f (xi )| < r
d∞ (g, δ)
S
6 B(x1 ,x2 ,··· ,xn ,r ) (f ) = g∈B(x1 ,x2 ,··· ,xn ,r ) (f ) B

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.2.
Se verifica que TBp ⊂ Td∞ .

Prueba 2.2.

1 Sea g ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) ∈ TBp

2 |g(x1 ) − f (x1 )| < r , |g(x2 ) − f (x2 )| < r · · · , |h(xn ) − f (xn )| < r
3 Sean vi = |g(xi ) − f (xi )| < r , v = máx{vi }, i = 1, · · · , n, y
4 0<δ <r −v
5 B d∞ (g, δ) ⊂ B(x1 ,x2 ,··· ,xn ,r ) (f )
h ∈ B d∞ (g, δ) → supx∈[0,1] |h(x) − g(x)| < δ < r − v
∀ x ∈ [0, 1] : |h(x) − g(x)| < δ < r − v
∀ i : |h(xi )−g(xi )|+v < r → |h(xi )−g(xi )|+|g(xi )−f (xi )| < r
∀ i : |h(xi ) − f (xi )| < r
d∞ (g, δ)
S
6 B(x1 ,x2 ,··· ,xn ,r ) (f ) = g∈B(x1 ,x2 ,··· ,xn ,r ) (f ) B

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.2.
Se verifica que TBp ⊂ Td∞ .

Prueba 2.2.

1 Sea g ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) ∈ TBp

2 |g(x1 ) − f (x1 )| < r , |g(x2 ) − f (x2 )| < r · · · , |h(xn ) − f (xn )| < r
3 Sean vi = |g(xi ) − f (xi )| < r , v = máx{vi }, i = 1, · · · , n, y
4 0<δ <r −v
5 B d∞ (g, δ) ⊂ B(x1 ,x2 ,··· ,xn ,r ) (f )
h ∈ B d∞ (g, δ) → supx∈[0,1] |h(x) − g(x)| < δ < r − v
∀ x ∈ [0, 1] : |h(x) − g(x)| < δ < r − v
∀ i : |h(xi )−g(xi )|+v < r → |h(xi )−g(xi )|+|g(xi )−f (xi )| < r
∀ i : |h(xi ) − f (xi )| < r
d∞ (g, δ)
S
6 B(x1 ,x2 ,··· ,xn ,r ) (f ) = g∈B(x1 ,x2 ,··· ,xn ,r ) (f ) B

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.2.
Se verifica que TBp ⊂ Td∞ .

Prueba 2.2.

1 Sea g ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) ∈ TBp

2 |g(x1 ) − f (x1 )| < r , |g(x2 ) − f (x2 )| < r · · · , |h(xn ) − f (xn )| < r
3 Sean vi = |g(xi ) − f (xi )| < r , v = máx{vi }, i = 1, · · · , n, y
4 0<δ <r −v
5 B d∞ (g, δ) ⊂ B(x1 ,x2 ,··· ,xn ,r ) (f )
h ∈ B d∞ (g, δ) → supx∈[0,1] |h(x) − g(x)| < δ < r − v
∀ x ∈ [0, 1] : |h(x) − g(x)| < δ < r − v
∀ i : |h(xi )−g(xi )|+v < r → |h(xi )−g(xi )|+|g(xi )−f (xi )| < r
∀ i : |h(xi ) − f (xi )| < r
d∞ (g, δ)
S
6 B(x1 ,x2 ,··· ,xn ,r ) (f ) = g∈B(x1 ,x2 ,··· ,xn ,r ) (f ) B

Martín Enrique Guerra Cáceres Topología

Topología
Topologías importantes

Proposición 2.2.
Se verifica que TBp ⊂ Td∞ .

Prueba 2.2.

1 Sea g ∈ B(x1 ,x2 ,··· ,xn ,r ) (f ) ∈ TBp

2 |g(x1 ) − f (x1 )| < r , |g(x2 ) − f (x2 )| < r · · · , |h(xn ) − f (xn )| < r
3 Sean vi = |g(xi ) − f (xi )| < r , v = máx{vi }, i = 1, · · · , n, y
4 0<δ <r −v
5 B d∞ (g, δ) ⊂ B(x1 ,x2 ,··· ,xn ,r ) (f )
h ∈ B d∞ (g, δ) → supx∈[0,1] |h(x) − g(x)| < δ < r − v
∀ x ∈ [0, 1] : |h(x) − g(x)| < δ < r − v
∀ i : |h(xi )−g(xi )|+v < r → |h(xi )−g(xi )|+|g(xi )−f (xi )| < r
∀ i : |h(xi ) − f (xi )| < r
d∞ (g, δ)
S
6 B(x1 ,x2 ,··· ,xn ,r ) (f ) = g∈B(x1 ,x2 ,··· ,xn ,r ) (f ) B

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Definición 3.1.
Sea (X , T ) un espacio topológico y C ⊂ X . Se dice que C es
un conjunto cerrado ssi X − C ∈ T .

Ejemplos 3.1.
 
1 S
C1 = {0}, C2 = N, y C3 = {0} son cerrados en
n n∈N
(R, Tu )

Proposición 3.1.
Sea (X , T ) un espacio topológico y C ⊂ X . Entonces C es
cerrado ssi ∀ x ∈ X − C, ∃ V x ∈ B(x) tal que V x ∪ C = ∅.

Prueba 3.1.
Es consecuencia inmediata de que X − C es abierto.
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos cerrados

Definición 3.1.
Sea (X , T ) un espacio topológico y C ⊂ X . Se dice que C es
un conjunto cerrado ssi X − C ∈ T .

Ejemplos 3.1.
 
1 S
C1 = {0}, C2 = N, y C3 = {0} son cerrados en
n n∈N
(R, Tu )

Proposición 3.1.
Sea (X , T ) un espacio topológico y C ⊂ X . Entonces C es
cerrado ssi ∀ x ∈ X − C, ∃ V x ∈ B(x) tal que V x ∪ C = ∅.

Prueba 3.1.
Es consecuencia inmediata de que X − C es abierto.
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos cerrados

Definición 3.1.
Sea (X , T ) un espacio topológico y C ⊂ X . Se dice que C es
un conjunto cerrado ssi X − C ∈ T .

Ejemplos 3.1.
 
1 S
C1 = {0}, C2 = N, y C3 = {0} son cerrados en
n n∈N
(R, Tu )

Proposición 3.1.
Sea (X , T ) un espacio topológico y C ⊂ X . Entonces C es
cerrado ssi ∀ x ∈ X − C, ∃ V x ∈ B(x) tal que V x ∪ C = ∅.

Prueba 3.1.
Es consecuencia inmediata de que X − C es abierto.
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos cerrados

Definición 3.1.
Sea (X , T ) un espacio topológico y C ⊂ X . Se dice que C es
un conjunto cerrado ssi X − C ∈ T .

Ejemplos 3.1.
 
1 S
C1 = {0}, C2 = N, y C3 = {0} son cerrados en
n n∈N
(R, Tu )

Proposición 3.1.
Sea (X , T ) un espacio topológico y C ⊂ X . Entonces C es
cerrado ssi ∀ x ∈ X − C, ∃ V x ∈ B(x) tal que V x ∪ C = ∅.

Prueba 3.1.
Es consecuencia inmediata de que X − C es abierto.
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos cerrados

Definición 3.1.
Sea (X , T ) un espacio topológico y C ⊂ X . Se dice que C es
un conjunto cerrado ssi X − C ∈ T .

Ejemplos 3.1.
 
1 S
C1 = {0}, C2 = N, y C3 = {0} son cerrados en
n n∈N
(R, Tu )

Proposición 3.1.
Sea (X , T ) un espacio topológico y C ⊂ X . Entonces C es
cerrado ssi ∀ x ∈ X − C, ∃ V x ∈ B(x) tal que V x ∪ C = ∅.

Prueba 3.1.
Es consecuencia inmediata de que X − C es abierto.
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.1.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos de X que no sean ni abiertos ni cerrados.
En R, T = {∅, R, Q, R − Q} es una topología.
I = [0, 1] no es abierto ni cerrado.
Dado un espacio topológico (X , T ), pueden existir
subconjuntos propios no vacíos de X que sean
simultáneamente abiertos y cerrados.
En el espacio anterior, Q y R − Q son abiertos y cerrados.
En X = {a, b, c, d}, T = {∅, X , {a} , {d} , {a, d} , {b, c, d}}
es una topología.
{a} es abierto y cerrado.
{b} no es abierto ni cerrado.
{a, d} es abierto, pero no cerrado.
{b, c} es cerrado, pero no abierto.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Teorema 3.1.
Sea (X , T ) un espacio topológico. Entonces:
1 ∅ y X son conjuntos cerrados.
2 La unión de una familia finita de conjuntos cerrados es un
conjunto cerrado.
3 La intersección de una familia cualquiera de conjuntos
cerrados es un conjunto cerrado.

Prueba 3.2.

1 Se tiene que X − ∅ = X y X − X = ∅ son abiertos.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Teorema 3.1.
Sea (X , T ) un espacio topológico. Entonces:
1 ∅ y X son conjuntos cerrados.
2 La unión de una familia finita de conjuntos cerrados es un
conjunto cerrado.
3 La intersección de una familia cualquiera de conjuntos
cerrados es un conjunto cerrado.

Prueba 3.2.

1 Se tiene que X − ∅ = X y X − X = ∅ son abiertos.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Teorema 3.1.
Sea (X , T ) un espacio topológico. Entonces:
1 ∅ y X son conjuntos cerrados.
2 La unión de una familia finita de conjuntos cerrados es un
conjunto cerrado.
3 La intersección de una familia cualquiera de conjuntos
cerrados es un conjunto cerrado.

Prueba 3.2.

1 Se tiene que X − ∅ = X y X − X = ∅ son abiertos.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Teorema 3.1.
Sea (X , T ) un espacio topológico. Entonces:
1 ∅ y X son conjuntos cerrados.
2 La unión de una familia finita de conjuntos cerrados es un
conjunto cerrado.
3 La intersección de una familia cualquiera de conjuntos
cerrados es un conjunto cerrado.

Prueba 3.2.

1 Se tiene que X − ∅ = X y X − X = ∅ son abiertos.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Teorema 3.1.
Sea (X , T ) un espacio topológico. Entonces:
1 ∅ y X son conjuntos cerrados.
2 La unión de una familia finita de conjuntos cerrados es un
conjunto cerrado.
3 La intersección de una familia cualquiera de conjuntos
cerrados es un conjunto cerrado.

Prueba 3.2.

1 Se tiene que X − ∅ = X y X − X = ∅ son abiertos.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Teorema 3.1.
Sea (X , T ) un espacio topológico. Entonces:
1 ∅ y X son conjuntos cerrados.
2 La unión de una familia finita de conjuntos cerrados es un
conjunto cerrado.
3 La intersección de una familia cualquiera de conjuntos
cerrados es un conjunto cerrado.

Prueba 3.2.

1 Se tiene que X − ∅ = X y X − X = ∅ son abiertos.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

2 Sea F =
{Fi ⊂ X : Fi es un conjunto cerrado para cada i = 1, 2, · · · , n}
y sea
[n
Fi
i=1

Como
n
[ n
\
X− Fi = (X − Fi ) es un conjunto abierto
i=1 i=1
n
[
∴ Fi es un conjunto cerrado
i=1

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

2 Sea F =
{Fi ⊂ X : Fi es un conjunto cerrado para cada i = 1, 2, · · · , n}
y sea
[n
Fi
i=1

Como
n
[ n
\
X− Fi = (X − Fi ) es un conjunto abierto
i=1 i=1
n
[
∴ Fi es un conjunto cerrado
i=1

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

2 Sea F =
{Fi ⊂ X : Fi es un conjunto cerrado para cada i = 1, 2, · · · , n}
y sea
[n
Fi
i=1

Como
n
[ n
\
X− Fi = (X − Fi ) es un conjunto abierto
i=1 i=1
n
[
∴ Fi es un conjunto cerrado
i=1

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

2 Sea F =
{Fi ⊂ X : Fi es un conjunto cerrado para cada i = 1, 2, · · · , n}
y sea
[n
Fi
i=1

Como
n
[ n
\
X− Fi = (X − Fi ) es un conjunto abierto
i=1 i=1
n
[
∴ Fi es un conjunto cerrado
i=1

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

3 Sea
F = {Fα ⊂ X : Fα es un conjunto cerrado para cada α}α∈I y
sea \
Fα
α∈I

\ [
X− Fα = (X − Fα ) es un conjunto abierto
α∈I α∈I
\
∴ Fα es un conjunto cerrado
α∈I

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

3 Sea
F = {Fα ⊂ X : Fα es un conjunto cerrado para cada α}α∈I y
sea \
Fα
α∈I

\ [
X− Fα = (X − Fα ) es un conjunto abierto
α∈I α∈I
\
∴ Fα es un conjunto cerrado
α∈I

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

3 Sea
F = {Fα ⊂ X : Fα es un conjunto cerrado para cada α}α∈I y
sea \
Fα
α∈I

\ [
X− Fα = (X − Fα ) es un conjunto abierto
α∈I α∈I
\
∴ Fα es un conjunto cerrado
α∈I

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

3 Sea
F = {Fα ⊂ X : Fα es un conjunto cerrado para cada α}α∈I y
sea \
Fα
α∈I

\ [
X− Fα = (X − Fα ) es un conjunto abierto
α∈I α∈I
\
∴ Fα es un conjunto cerrado
α∈I

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.2.
 
1
En R, Tu , se tiene que ∀ n ∈ N : Cn = es cerrado.
n
Pero  
[ 1
Cn =
n n∈N
n∈N

no es cerrado.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos cerrados

Observaciones 3.2.
 
1
En R, Tu , se tiene que ∀ n ∈ N : Cn = es cerrado.
n
Pero  
[ 1
Cn =
n n∈N
n∈N

no es cerrado.

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Definición 4.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 4.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 4.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 4.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 4.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 4.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 4.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 4.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 4.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 4.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

Proposición 4.1.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
[
Å = G
G∈T
G⊂A

Prueba 4.1.

1 Si x ∈ Å entonces ∃ V x ∈ B(x) tal que V x ⊂ A.

2 ∃ G ∈ T tal que x ∈ G ⊂ V x ⊂ A
[
∴x ∈ G
G∈T
G⊂A

3
[
∴x ∈ G → ∃ G ∈ T t.q. x ∈ G ⊂ A → x ∈ Å
G∈T
G⊂A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 4.1.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
[
Å = G
G∈T
G⊂A

Prueba 4.1.

1 Si x ∈ Å entonces ∃ V x ∈ B(x) tal que V x ⊂ A.

2 ∃ G ∈ T tal que x ∈ G ⊂ V x ⊂ A
[
∴x ∈ G
G∈T
G⊂A

3
[
∴x ∈ G → ∃ G ∈ T t.q. x ∈ G ⊂ A → x ∈ Å
G∈T
G⊂A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 4.1.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
[
Å = G
G∈T
G⊂A

Prueba 4.1.

1 Si x ∈ Å entonces ∃ V x ∈ B(x) tal que V x ⊂ A.

2 ∃ G ∈ T tal que x ∈ G ⊂ V x ⊂ A
[
∴x ∈ G
G∈T
G⊂A

3
[
∴x ∈ G → ∃ G ∈ T t.q. x ∈ G ⊂ A → x ∈ Å
G∈T
G⊂A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

Proposición 4.1.
Sea (X , T ) un espacio topológico y A ⊂ X . Entonces
[
Å = G
G∈T
G⊂A

Prueba 4.1.

1 Si x ∈ Å entonces ∃ V x ∈ B(x) tal que V x ⊂ A.

2 ∃ G ∈ T tal que x ∈ G ⊂ V x ⊂ A
[
∴x ∈ G
G∈T
G⊂A

3
[
∴x ∈ G → ∃ G ∈ T t.q. x ∈ G ⊂ A → x ∈ Å
G∈T
G⊂A

Martín Enrique Guerra Cáceres Topología

Topología
Conjuntos notables en espacios topológicos

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

A ∈ T ssi A = Å

Prueba 4.2.

→
1 Supongamos A ∈ T . Entonces A ⊂ Å.
2 Si x ∈ Å, entonces ∃ G ∈ T tal que x ∈ G ⊂ A.
3 ∴ Å ⊂ A.
←
4 Supongamos que A = Å.
5 Como Å ∈ T , entonces A ∈ T
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

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

A ∈ T ssi A = Å

Prueba 4.2.

→
1 Supongamos A ∈ T . Entonces A ⊂ Å.
2 Si x ∈ Å, entonces ∃ G ∈ T tal que x ∈ G ⊂ A.
3 ∴ Å ⊂ A.
←
4 Supongamos que A = Å.
5 Como Å ∈ T , entonces A ∈ T
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

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

A ∈ T ssi A = Å

Prueba 4.2.

→
1 Supongamos A ∈ T . Entonces A ⊂ Å.
2 Si x ∈ Å, entonces ∃ G ∈ T tal que x ∈ G ⊂ A.
3 ∴ Å ⊂ A.
←
4 Supongamos que A = Å.
5 Como Å ∈ T , entonces A ∈ T
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

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

A ∈ T ssi A = Å

Prueba 4.2.

→
1 Supongamos A ∈ T . Entonces A ⊂ Å.
2 Si x ∈ Å, entonces ∃ G ∈ T tal que x ∈ G ⊂ A.
3 ∴ Å ⊂ A.
←
4 Supongamos que A = Å.
5 Como Å ∈ T , entonces A ∈ T
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

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

A ∈ T ssi A = Å

Prueba 4.2.

→
1 Supongamos A ∈ T . Entonces A ⊂ Å.
2 Si x ∈ Å, entonces ∃ G ∈ T tal que x ∈ G ⊂ A.
3 ∴ Å ⊂ A.
←
4 Supongamos que A = Å.
5 Como Å ∈ T , entonces A ∈ T
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

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

A ∈ T ssi A = Å

Prueba 4.2.

→
1 Supongamos A ∈ T . Entonces A ⊂ Å.
2 Si x ∈ Å, entonces ∃ G ∈ T tal que x ∈ G ⊂ A.
3 ∴ Å ⊂ A.
←
4 Supongamos que A = Å.
5 Como Å ∈ T , entonces A ∈ T
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

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

A ∈ T ssi A = Å

Prueba 4.2.

→
1 Supongamos A ∈ T . Entonces A ⊂ Å.
2 Si x ∈ Å, entonces ∃ G ∈ T tal que x ∈ G ⊂ A.
3 ∴ Å ⊂ A.
←
4 Supongamos que A = Å.
5 Como Å ∈ T , entonces A ∈ T
Martín Enrique Guerra Cáceres Topología
Topología
Conjuntos notables en espacios topológicos

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

A ∈ T ssi A = Å

Prueba 4.2.

→
1 Supongamos A ∈ T . Entonces A ⊂ Å.
2 Si x ∈ Å, entonces ∃ G ∈ T tal que x ∈ G ⊂ A.
3 ∴ Å ⊂ A.
←
4 Supongamos que A = Å.
5 Como Å ∈ T , entonces A ∈ T
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

Topología
Tarea

Tarea 5.1.
1 Sean X es un conjunto con más de dos elementos y
x0 ∈ X .
S
Probar que Tx0 = {∅} {G ⊂ X : x0 ∈ G} es una topología.
Encontrar una base de Tx0 .
2 Sean X es un conjunto y A ∈ X .
S
Probar que TA = {∅} {G ⊂ X : A ⊂ G} es una topología.
Determinar T∅ y TX
Encontrar una base de TA .
Para cada x ∈ X , encontrar B(x).

Martín Enrique Guerra Cáceres Topología

Topología
Tarea

Tarea 5.2.
3 Sean X es un conjunto con más de dos elementos y
A ∈ X.
Probar que T A = {X } {G ⊂ X : A ∩ G = ∅} es una
S
topología.
Determinar T ∅ y T X .
Encontrar una base de T A .
Para cada x ∈ X , encontrarB(x).

Martín Enrique Guerra Cáceres Topología