Espacio topolgico

Un espacio topolgico es una estructura matemtica que permite la definicin formal de

conceptos como convergencia, conectividad, continuidad, vecindad,
usando subconjuntos de un conjunto dado.1 La rama de las matemticas que estudia los
espacios topolgicos se llama topologa. Las variedades, al igual que los espacios
mtricos son especializaciones de espacios topolgicos con restricciones y estructuras
propias.

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 :

Esta topologa se aproxima a la nocin intuitiva de conjunto abierto, permitiendo una

aproximacin de carcter local a la topologa.

En vez de considerar todo el conjunto, el punto de vista local consiste en preguntarse:

qu relacin tiene que haber entre un punto a cualquiera de A, y A para que A sea un
abierto?

Si se considera el ejemplo ms conocido, el de los intervalos, uno se da cuenta de que los

intervalos abiertos son los que no contienen puntos en su frontera o borde, que son puntos
en contacto al la vez con A y con su complementario R - A.

En otras palabras, un punto de un abierto no est directamente en contacto con el

"exterior".
No estar en contacto significa intuitivamente que hay una cierta distancia entre el punto y
el exterior; llammosla d. Entonces la bola B (a, d/2), de radio d/2 y de centro a est
incluida en A y no toca el complementario. En la figura, a est en el interior de A, mientras
que b est en su frontera, porque cualquier vecindad de b encuentra R - A.

Al hablar de distancia, utilizamos un concepto de los espacios mtricos, que son ms

intuitivos pues corresponden al mundo real (asimilable a R). En topologa, tenemos que
cambiar el concepto de bola por el, ms general, de vecindad o entorno. Una vecindad de
un punto x es este punto con algo de su alrededor. Tenemos entera libertad para definir el
significado de "alrededor" y "vecindad" con tal de satisfacer los axiomas siguientes:

1. x pertenece a todas sus vecindades.

2. Un conjunto que contiene una vecindad de x es una vecindad de x.

3. La interseccin de dos vecindades de x es tambin una vecindad de x.

4. En toda vecindad V de x existe otra vecindad U de x tal que V es una vecindad de

todos los puntos de U.

Llamamos abierto un conjunto que es una vecindad para todos sus puntos.

Los axiomas expuestos en el punto de vista global estn verificados:

1. E es obviamente una vecindad para todos sus puntos, y tambin porque no

contiene punto. (Una propiedad universal: para todo x... es forzosamente cierta en
el conjunto vaco.)

2. Una unin de abiertos Oi es un superconjunto de cada Oi, y Oi es una vecindad de

todos sus puntos, por lo tanto, la unin es una vecindad de todos sus puntos,
gracias a la propiedad (2).

3. Sea x un punto de la interseccin de los abiertos O1 y O2. O1 y O2 son abiertos que

contienen x y por lo tanto vecindades de l. Una interseccin de vecindades
de x es una vecindad de x (propiedad 3), lo que implica que O1 O2 es una
vecindad de todos sus puntos, y por lo tanto un abierto.