CONJUNTOS ABIERTOS

Definicin. Sean X un conjunto y A una base para una topologa sobre X. Un

subconjunto N de X es un conjunto abierto en X si es unin de una familia de elementos
de A.
La coleccin de todos los conjuntos abiertos en X es la topologa sobre X generada por
A. Esta definicin justifica el trmino base para una topologa sobre X.
Ntese que, al igual que en los espacios mtricos, la topologa sobre X generada por A
tiene las siguientes propiedades:
1) El conjunto vaco y el conjunto X son conjuntos abiertos.
2) Si A y B son conjuntos abiertos en X entonces AB es un conjunto abierto en
X.
3) La unin de cualquier familia de conjuntos abiertos en X es un conjunto abierto
en X.
Ejemplos:
Si *+ y topologa { *+ *+}, Los conjuntos *+ *+ .


CONJUNTOS CERRADOS
Ligado ntimamente con el concepto de conjunto abierto en un espacio
topolgico, est el concepto de conjunto cerrado.
Definicin. Sea X un espacio topolgico. Un subconjunto F de X es un conjunto
cerrado en X si su complemento,

es un conjunto abierto.
Hacemos notar que el conjunto vaco y el mismo conjunto X son a la vez
abiertos y cerrados y que un subconjunto de X, , puede no ser
abierto ni cerrado.
La siguiente proposicin establece algunas de las ms importantes
propiedades de los conjuntos cerrados.
Proposicin. Sea X un espacio topolgico.
1. y X son conjuntos cerrados.
2. Si F y K son conjuntos cerrados entonces F K es un
conjunto cerrado.
3. Si C es una familia de conjuntos cerrados entonces

es un
conjunto cerrado.
Demostracin
Que y X son conjuntos cerrados es una consecuencia inmediata de la
definicin.
Por las Leyes de De Morgan,( )

que es un conjunto
abierto porque as lo son

.
Nuevamente por las Leyes de De Morgan,(

que es
tambin un conjunto abierto.
La unin arbitraria de conjuntos cerrados no siempre es un conjunto
cerrado como lo muestra el siguiente ejemplo.

Ejemplo. Sea R el espacio de los nmeros reales con la topologa usual.
La coleccin de conjuntos de la forma [

]donde n N, es una
familia de conjuntos cerrados cuya unin es el intervalo [1,1) que no
es un conjunto cerrado.