Facultad de Ciencias Naturales y Exactas

Departamento de Matemáticas y Estadística, Manizales, Colombia.

Tarea 2, Topología

1. Recordemos que podemos dotar a X = {0, 1, 2} con la topología discreta e indiscreta. ¾Con
cuáles otras topologías podemos dotar a X ? ½Descríbelas!

2. ¾Qué es una base para una topología?

3. Denotemos mediante C al conjunto conformado por todas las funciones continuas f : [0, 1] →
R. Para cada f ∈ C y cada real ε > 0, denimos el conjunto
( )
B(f, ε) := g ∈ C : sup |f (x) − g(x)| < ε .
x∈[0,1]

Prueba que la familia {B(f, ε) : f ∈ C y ε > 0} es una base de alguna topología para C .

4. Denotemos mediante `∞ al conjunto conformado por todas las sucesiones de números reales
acotadas. Para cada (xn )n∈N ∈ `∞ y cada real ε > 0, denimos el conjunto
 
B ((xn )n∈N , ε) := (yn )n∈N : sup |xn − yn | < ε .
n∈N

Prueba que la familia {B ((xn )n∈N , ε) : (xn )n∈N ∈ `∞ y ε > 0} es una base de alguna
topología para `∞ .

5. Denotemos mediante M al conjunto

! conformado por las matrices de 2 × 2 con entradas en
a b
los reales. Dados A = ∈ M y el real ε > 0 denimos el conjunto
c d
0 0
( ! )
a b
q
B(A, ε) := 0 0 ∈ M : (a − a0 )2 + (b − b0 )2 + (c − c0 )2 + (d − d2 )2 < ε .
c d

Prueba que la familia {B(A, ε) : A ∈ M y ε > 0} es una base de alguna topología para M.
6. Consideremos un conjunto parcialmente ordenadoposet (X, ≺). Dado el punto x ∈ X se
denen los conjuntos

BL (x) = {y ∈ X : y ≺ x} y BR (x) = {y ∈ X : x ≺ y}.

Prueba:

∗ La familia {BL (x) : x ∈ X} es base para alguna topología de X .

∗∗ La familia {BR (x) : x ∈ X} es base para alguna topología de X .

Denición. Dos bases B y B equivalentes si y

0
7. para el espacio topológico X se dicen son
0
solo si τ (B) = τ (B ).
0
Prueba: Dos bases B y B son equivalentes si y solo si se satisfacen las siguientes dos condi-
ciones:
0 0 0
∗ Para cada U ∈ B y cada x ∈ U , existe un elemento U ∈ B tal que x ∈ U ⊂ U .
0 0 0 0
∗∗ Para cada U ∈ B y cada x ∈ U , existe un elemento U ∈ B tal que x ∈ U ⊂ U .

8. Prueba que la familia {(a, b) ⊂ R : a y b son racionales} es una base para la topología usual
de R.

Profesor Camilo Ramírez Maluendas

camramirezma@unal.edu.co