2

Cantera de ejercicios

E JERCICIO 1.1. Sea X un conjunto. La topologa del complemento enumerable

para X es la coleccion T que consta del y de todos los subconjuntos A de X para
los cuales X \ A es enumerable.
1. Muestre que T es una topologa para X.
2. Para el espacio (X, T ), muestre que un conjunto enumerable A de X tiene
conjunto derivado A = , y que un conjunto no enumerable B tiene B = X.
3. Muestre que la interseccion de cualquier familia enumerable de elementos de
T es un elemento de T .
Demostracion.
1. Sea T la coleccion descrita en el enunciado.
a) Por hipotesis, T . Ademas, siendo X \ X = , tambien X T .
b) Sea {A : L} una familia arbitraria de elementos de T . Como

X\
A =
(X \ A )
L

A es enumerable. Por
y cada X \ A es enumerable, se concluye que X \
L

tanto, L A T .
c) Finalmente, si A1 , . . . , Ak T entonces X \ Ai es enumerable, para cada i =
1, 2, . . . , k. La igualdad
X\

Ai =

i=1

muestra que el conjunto X \

(X \ Ai )

i=1

Ai es una union de una cantidad finita de con-

i=1

juntos enumerables, por tanto, X \

i=1

Ai es enumerable, es decir,

Ai T .

i=1

2. Sea A un subconjunto enumerable del espacio (X, T ) y x X. Observe que por

ser A un conjunto enumerable, el conjunto X \ A es elemento de T .
a) Si x A, el abierto U = {x} (X \ A) es tal que x U y A (U \ {x}) = ,
por tanto, x
/ A .
b) Si x
/ A entonces el abierto V = X \ A es tal que x V y A (V \ {x}) = ,
por tanto, x
/ A .
Esto muestra que ningun elemento de X es punto de acumulacion de A, es decir,
A = .
Por otro lado, sea B un subconjunto no enumerable de X y x un elemento cualquiera de X. Dado cualquier U T tal que x U , el conjunto X \ U es enumerable.
O. Santamaria S.

Cantera de ejercicios

Como B es no enumerable, no puede ser subconjunto de X \ U . Pero ademas de

esto, observe que si fuera U B = {x} entonces B \ {x} sera subconjunto de
X \ U , pero esto es imposible, pues B \ {x} sigue siendo no enumerable, mientras
que X \ U es enumerable. Por tanto, U contiene elementos de B, distintos de x.
Esto muestra que x es punto de acumulacion de B, por tanto, siendo x arbitrario, se
concluye que B = X.
z

O. Santamaria S.