Espacio Topológico
Espacio Topológico
Espacio Topológico
Formalmente, se llama espacio topolgico al par ordenado (X,T) formado por un conjunto
X y una topologa T sobre X, es decir, una coleccin de subconjuntos de X que cumplen
las tres propiedades siguientes:
1. El conjunto vaco y X estn en T.
2. La interseccin de cualquier subcoleccin finita de conjuntos de T est en T.
3. La unin de cualquiera subcoleccin de conjuntos de T est en T. 2
Esta condicin tambin se escribe, formalmente:3
A los conjuntos pertenecientes a la topologa T se les llama conjuntos abiertos y a
sus complementos en E conjuntos cerrados.
Espacios metrizables[editar]
Toda mtrica permite definir de manera natural en un espacio la topologa formada por las
uniones arbitrarias de bolas de centro y radio :
Llamamos abierto un conjunto que es una vecindad para todos sus puntos.