Topologa

Para otros usos de este trmino, vase Topologa (desambiguacin).

Ilustracin del teorema de los cuatro colores.

La topologa (del griego , 'lugar', y , 'estudio') es la rama de

las matemticas dedicada al estudio de aquellas propiedades de los cuerpos geomtricos que
permanecen inalteradas por transformaciones continuas.1 Es una disciplina que estudia las
propiedades de los espacios topolgicos y las funciones continuas. La topologa se interesa
por conceptos como proximidad, nmero de agujeros, el tipo de consistencia (o textura) que
presenta un objeto, comparar objetos y clasificar mltiples atributos donde
destacan conectividad, compacidad, metricidad o metrizabilidad, entre otros.
Los matemticos usan la palabra topologa con dos sentidos: informalmente es el sentido
arriba especificado, y de manera formal es la referencia a una cierta familia
de subconjuntos de un conjunto dado, familia que cumple unas reglas sobre la unin y la
interseccin este segundo sentido puede verse desarrollado en el artculo espacio
topolgico.

ndice
[ocultar]

1Idea intuitiva

o 1.1Un ejemplo clarificador

2Historia de la topologa

3Desarrollo formal

4Ramas de la topologa

5Topologa general o conjuntista

o 5.1Conceptos fundamentales referidos a la topologa de un conjunto

 5.1.1Topologa, espacio topolgico, abiertos, cerrados, subespacios

5.1.2Base de una topologa, entornos, bases locales, axiomas de

numerabilidad

5.1.3Subconjuntos notables asociados a un conjunto

5.1.3.1Interior, exterior, frontera

5.1.3.2Adherencia, acumulacin, puntos aislados

o 5.2Conceptos fundamentales referidos a aplicaciones continuas y convergencia

5.2.1Convergencia

5.2.2Convergencia de sucesiones

5.2.3Continuidad de aplicaciones

o 5.3Conjuntos conexos, conexos por caminos y arco-conexos

o 5.4Compacidad

o 5.5Metrizacin

o 5.6Separacin

o 5.7Densidad

o 5.8Topologa producto y topologa cociente

6Topologa algebraica

7Vase tambin

8Notas

9Enlaces externos

Idea intuitiva[editar]
Coloquialmente, se presenta a la topologa como la geometra de la pgina de goma
(chicle). Esto hace referencia a que, en la geometra eucldea, dos objetos sern
equivalentes mientras podamos transformar uno en otro
mediante isometras (rotaciones, traslaciones, reflexiones, etc.), es decir, mediante
transformaciones que conservan las medidas de ngulo, rea, longitud, volumen y otras.
En topologa, dos objetos son equivalentes en un sentido mucho ms amplio. Han de tener el
mismo nmero de trozos, huecos, intersecciones, etc. En topologa est permitido doblar,
estirar, encoger, retorcer, etc., los objetos, pero siempre que se haga sin romper ni separar lo
que estaba unido, ni pegar lo que estaba separado. Por ejemplo, un tringulo es
topolgicamente lo mismo que una circunferencia, ya que podemos transformar uno en otra
de forma continua, sin romper ni pegar. Pero una circunferencia no es lo mismo que un
segmento, ya que habra que partirla (o pegarla) por algn punto.
Esta es la razn de que se la llame la geometra de la pgina de goma, porque es como si
estuviramos estudiando geometra sobre un papel de goma que pudiera contraerse,
estirarse, etc.

Una taza transformndose en una rosquilla (toro).

Un chiste habitual entre los toplogos (los matemticos que se dedican a la topologa) es que
un toplogo es una persona incapaz de distinguir una taza de una rosquilla. Pero esta
visin, aunque muy intuitiva e ingeniosa, es sesgada y parcial. Por un lado, puede llevar a
pensar que la topologa trata solo de objetos y conceptos geomtricos, siendo ms bien al
contrario, es la geometra la que trata con un cierto tipo de objetos topolgicos. Por otro lado,
en muchos casos es imposible dar una imagen o interpretacin intuitiva de problemas
topolgicos o incluso de algunos conceptos. Es frecuente entre los estudiantes primerizos
escuchar que no entienden la topologa y que no les gusta esa rama; generalmente se debe
a que se mantienen en esta actitud grfica. Por ltimo, la topologa se nutre tambin en buena
medida de conceptos cuya inspiracin se encuentra en el anlisis matemtico. Se puede decir
que casi la totalidad de los conceptos e ideas de esta rama son conceptos e ideas
topolgicos.

Un ejemplo clarificador[editar]
Plano del metro de Madrid.

Observemos un plano del metro de Madrid. En l estn representadas las estaciones y las
lneas de metro que las unen, pero no es geomtricamente exacto. La curvatura de las lneas
de metro no coincide, ni su longitud a escala, ni la posicin relativa de las estaciones... Pero
aun as es un plano perfectamente til. Sin embargo, este plano es exacto en cierto sentido
pues representa fielmente cierto tipo de informacin, la nica que necesitamos para decidir
nuestro camino por la red de metro: informacin topolgica.

Historia de la topologa[editar]
Histricamente, las primeras ideas topolgicas conciernen al concepto de lmite y al de
completitud de un espacio mtrico, y se manifestaron principalmente en la crisis de
los inconmesurables de los pitagricos, ante la aparicin de nmeros reales no racionales. El
primer acercamiento concreto al concepto de lmite y tambin al de integral aparece en
el mtodo de exhaucin de Arqumedes. La aparicin del anlisis matemtico en el siglo XVII
puso en evidencia la necesidad de formalizar los conceptos de proximidad y continuidad, y la
incapacidad de la geometra para tratar este tema. Fue precisamente la fundamentacin
del clculo infinitesimal, as como los intentos de formalizar el concepto de variedad en
Geometra lo que llev a la aparicin de la topologa, a finales del siglo XIX y principios del XX.
Se suele fechar el origen de la topologa con la resolucin por parte de Euler del problema de
los puentes de Knigsberg, en 1735. Ciertamente, la resolucin de Euler del problema utiliza
una forma de pensar totalmente topolgica, y la solucin del problema nos lleva a
la caracterstica de Euler, el primer invariante de la topologa algebraica, pero sera muy
arriesgado y arbitrario fechar en ese momento la aparicin de la topologa. La situacin es
exactamente anloga a la del clculo del rea de la elipse por Arqumedes.
El trmino topologa fue usado por primera vez por Johann Benedict Listing, en 1836 en una
carta a su antiguo profesor de la escuela primaria, Mller, y posteriormente en su
libro Vorstudien zur Topologie ('Estudios previos a la topologa'), publicado en 1847.
Anteriormente se la denominaba analysis situs. Maurice Frchet introdujo el concepto
de espacio mtrico en 1906.
Cronologa2
Ao Acontecimiento
300 a.C. Euclides define las secciones cnicas y estudia los poliedros regulares, una de las
 formas ms bsicas estudiadas por los toplogos.
250 a.C. Arqumedes investiga las curvas espirales y los poliedros truncados.
1735 d.C. Leonhard Euler resuelve el problema de los puentes de Knigsberg.
Los alemanes August Mbius y Johann Benedict Listing descubren en forma
1858
independiente la hoy llamada banda de Mbius.
Giuseppe Peano aplicando la definicin de Jordn demuestra que un cuadrado relleno
1890
tambin es una curva.
Dcada de
Pvel Urysn y Karl Menger definen el concepto de curva a partir de la topologa.
1920

Desarrollo formal[editar]
En el artculo Glosario de topologa se encuentra una coleccin de trminos topolgicos con
su significado. Aqu y ahora nos limitaremos a dar algunas nociones bsicas.
Como hemos dicho, el concepto fundamental de la topologa es la "relacin de proximidad",
que puede parecer ambigua y subjetiva. El gran logro de la topologa es dar una formulacin
precisa, objetiva y til de este concepto. Para ello tomamos un conjunto de referencia , que
ser el ambiente en el que nos moveremos, y al que llamaremos espacio. Tomaremos un
elemento cualquiera de . A los elementos del espacio se les llama puntos, as que ser
llamado punto, independientemente de que sea una funcin, un vector, un conjunto, un ideal
maximal en un anillo conmutativo y unitario... Un subconjunto de ser
un entorno de si incluye un conjunto abierto de manera que es elemento de . Qu
entenderemos por conjunto abierto? Aqu est el quid de la cuestin: una coleccin de
subconjuntos de se dir que es una topologa sobre si es uno de los elementos de esa
coleccin, si es un elemento de la coleccin, si la unin de elementos de la coleccin da como
resultado un elemento de la coleccin y si la interseccin finita de elementos de la coleccin
tambin es un elemento de la coleccin. A los elementos de la coleccin se les denomina
abiertos de la topologa , y al par se le denomina espacio topolgico.
Las condiciones para que sea topologa sobre son entonces estas:
Puede parecer extrao que de una definicin tan altamente formal y conjuntista se
obtenga una formulacin precisa del concepto de proximidad. Lo primero que se
observa es que sobre un mismo espacio se pueden definir distintas topologas,
generando entonces distintos espacios topolgicos. Por otra parte, precisamente
la manera en que quede determinada una topologa sobre un conjunto (es decir,
la eleccin del criterio que nos permita decidir si un conjunto dado es o no abierto)
es lo que va a dar carcter "visualizable" o no a ese espacio topolgico.
Una de las maneras ms sencillas de determinar una topologa es mediante
una distancia o mtrica, mtodo que slo es aplicable en algunos casos (si bien
es cierto que muchos de los casos ms intersantes de topologas en la Geometra
y del Anlisis Matemtico pueden determinarse mediante alguna distancia). Una
distancia sobre un conjunto es una aplicacin que verifica las siguientes
propiedades:
;
si y slo si ;
cualesquiera que sean .
Si tenemos definida una distancia sobre , diremos que la pareja
es un espacio mtrico. Dado un espacio mtrico , queda
determinada una topologa sobre en la que los conjuntos
abiertos son los subconjuntos de tales que cualquiera que
sea el punto de existe un nmero de tal manera que el
conjunto est totalmente incluido en . Al conjunto se le
denomina bola abierta de centro y radio , y ser
precisamente un entorno del punto .
Como se ha apuntado antes, por desgracia no toda topologa
proviene de una distancia, es decir, existen espacios
topolgicos que no son espacios mtricos. Cuando un
espacio topolgico es adems espacio mtrico (esto es,
cuando dada una topologa sobre un conjunto, puede
definirse en ese conjunto una distancia de manera que la
topologa generada por la distancia coincida con la topologa
dada) se dice que el espacio topolgico es metrizable. Un
problema clsico en topologa es el de determinar qu
condiciones debe satisfacer un espacio topolgico para que
sea metrizable.

Ramas de la topologa[editar]
Se suelen considerar principalmente tres ramas:

la topologa general o conjuntista,

la topologa algebraica y

la topologa diferencial.
Adems de estas tres ramas, que podramos decir
propiamente topolgicas, la implicacin en mayor o menor
medida en otras disciplinas matemticas hacen que muchos
consideren parte de la topologa al anlisis funcional, la teora
de la medida, la teora de nudos (parte de la topologa de
dimensiones baja), la teora de grupos topolgicos, etc. Es
fundamental su contribucin a la teora de grafos, anlisis
matemtico, ecuaciones diferenciales, ecuaciones
funcionales, variable compleja, geometra
diferencial, geometra algebraica, lgebra
conmutativa, estadstica, teora del caos, geometra fractal...
Incluso tiene aplicaciones directas en biologa, sociologa,
etc.

Topologa general o conjuntista[editar]

Constituye la base de los estudios en topologa. En ella se
desarrollan tpicos como lo que es un espacio topolgico o
los entornos de un punto.
Conceptos fundamentales referidos a la
topologa de un conjunto[editar]
Topologa, espacio topolgico, abiertos, cerrados,
subespacios[editar]
Sea un conjunto cualquiera y el conjunto de sus partes.
Una topologa sobre es un conjunto que cumpla que , ,
si entonces , y que si entonces . A los elementos de se les
denomina conjuntos abiertos. Al par se le denomina espacio
topolgico. A los elementos de se les suele
denominar puntos.
Ntese que desde un primer momento hemos especificado
que el conjunto es cualquiera, no necesariamente un
conjunto de naturaleza geomtrica. La denominacin de
espacio (topolgico) y de punto se mantiene aun cuando sea
un conjunto de nmeros, de funciones, de ecuaciones
diferenciales, de figuras geomtricas, de vectores, de
conjuntos...
Como puede observarse, la definicin es muy formal y
general, y lo primero que se observa es que sobre un mismo
conjunto pueden darse multitud de topologas distintas. As
es. Pero de momento, los conceptos de conjunto abierto
en o en o cumplen las condiciones exigibles a una
topologa. Es precisamente el comprobar que otras familias
de conjuntos en otros conjuntos de naturaleza no geomtrica
que comparten estas mismas propiedades (como en el
conjunto de soluciones de una ecuacin diferencial, o el
conjunto de los ceros de los polinomios con coeficientes en
los ideales en un anillo conmutativo, por ejemplo) lo que
motiva esta definicin. As podremos aplicar a estos
conjuntos las mismas (o parecidas) tcnicas topolgicas que
aplicamos a los abiertos del plano, por ejemplo. La situacin
es anloga a la que se da en lgebra Lineal cuando se pasa
de trabajar en o a trabajar en espacios vectoriales
arbitrarios.
En lo que sigue, representar siempre un espacio
topolgico.
Ligado al concepto de conjunto abierto est el de conjunto
cerrado. Un conjunto se dice que es cerrado si su
complementario es un conjunto abierto. Es importante
observar que un conjunto que no es abierto no
necesariamente ha de ser cerrado, y un conjunto que no sea
cerrado no necesariamente ha de ser abierto. As, existen
conjuntos que son abiertos y cerrados a la vez, como , y
pueden existir conjuntos que no sean ni abiertos ni cerrados.
Es inmediato comprobar que la interseccin de cerrados es
un conjunto cerrado, que la unin de una cantidad finita de
conjuntos cerrados es un conjunto cerrado, y que
tanto como son conjuntos cerrados.
Si , el conjunto es una topologa para . Se dir entonces que
el espacio es subespacio topolgico del .
La nocin de subespacio topolgico se presenta de manera
natural, y es el concepto anlogo al de subgrupo en Teora de
Grupos o al de subespacio vectorial en lgebra Lineal.
Una propiedad relativa a espacios topolgicos se dice que
es hereditaria cuando si un espacio la tiene, entonces
tambin la tiene cualquiera de sus subespacios.
Base de una topologa, entornos, bases locales, axiomas
de numerabilidad[editar]
Una familia se dice que es base (de la topologa ) si para
cualquiera que sea el existe un conjunto de manera que .
No siempre es cmodo trabajar con una topologa. A veces
resulta ms complicado establecer una topologa que una
base de topologa (como en espacios mtricos). En cualquier
caso, una base es una manera muy cmoda de establecer
una topologa. An ms sencillo es establecer una subbase,
que es una familia de conjuntos para la que el conjunto de
sus intersecciones finitas forma una base de topologa. Uno
de los casos ms importantes de topologa, la de los
espacios mtricos, viene dado por una base, la del conjunto
de bolas abiertas del espacio.
Un espacio topolgico se dice que cumple el Segundo
Axioma de Numerabilidad (IIAN) si existe alguna base de su
topologa que tenga cardinalidad numerable.
Sea un conjunto cualquiera y sea un punto arbitrario. Se
dice que es entorno de si existe un conjunto abierto de
manera que . Todo conjunto abierto es entorno de todos sus
puntos. Al conjunto de todos los entornos de un punto se le
denomina sistema de entornos de .
Obsrvese que no se ha exigido que un entorno sea un
conjunto abierto. Los entornos abiertos son un tipo de
entornos muy tiles (sobre todo en Geometra y Anlisis) y
muy usados, tanto que en muchas ocasiones se omite el
calificativo abierto. Esto es un abuso de lenguaje y debe
evitarse.
Una coleccin de entornos de un mismo punto x se dice que
es una base de entornos (o base local) de si dado
cualquier entorno de existe un de manera que .
Se dice que un espacio topolgico cumple el Primer Axioma
de Numerabilidad (IAN) si cada punto del espacio tiene
alguna base local de cardinal numerable.
Subconjuntos notables asociados a un conjunto[editar]
Ahora podemos establecer una serie de definiciones de gran
importancia, pues sern las piezas bsicas del estudio de la
topologa y constituirn la materia prima de los conceptos
posteriores.
Interior, exterior, frontera[editar]
Un punto se dir que es un punto interior de si existe un
entorno de tal que . As, el conjunto de los puntos interiores
a es un conjunto abierto, denominado Interior de A,
denotado por Int (A) o tambin como . Es el mayor conjunto
abierto incluido en A.
Un punto se dir que es un punto exterior a si existe un
entorno de tal que .3 Asimismo, el conjunto de los puntos
exteriores a es otro conjunto abierto, denominado Exterior
de A y denotado por Ext (A).
Un punto se dice que es un punto frontera de si todo
entorno de es tal que y . Al conjunto de los punto frontera
de se le denomina Frontera de A y se denota por Fr(A). En
otras palabras, todo entorno con centro en tendr elementos
pertenecientes al conjunto y otros elementos fuera del
conjunto . La frontera de es un conjunto cerrado.
Adherencia, acumulacin, puntos aislados[editar]
Un punto se dice que es un punto de adherencia de si todo
entorno de es tal que . Se hace pues evidente que todo
punto interior y todo punto frontera es punto de adherencia.
Al conjunto de los puntos de adherencia del conjunto se le
denomina adherencia o clausura de , y se denota por o
por . La clausura de un conjunto es un conjunto cerrado, y es
el menor conjunto cerrado que contiene al conjunto.
Un punto se dice que es un punto de acumulacin de si
todo entorno de es tal que . Al conjunto de los puntos de
acumulacin de un conjunto se le
denomina acumulacin del conjunto, o conjunto derivado,
y se le denota por o por .
Un punto se dice que es un punto de -acumulacin de si
todo entorno de es tal que es un conjunto infinito. Al
conjunto de los puntos de -acumulacin de un conjunto se le
denomina -acumulacin del conjunto, o conjunto -
derivado, y se le denota por o por . Todo punto de -
acumulacin es punto de acumulacin, y todo punto de
acumulacin es punto de adherencia del mismo conjunto.
Un punto se dice que es un punto aislado de si existe
algn entorno perforado de (es decir, un conjunto de
manera que es un entorno de ) de manera que . Al conjunto
de los puntos aislados de se le denomina conjunto de los
puntos aislados de , y se le denota por . Todo punto aislado
es punto frontera y tambin es punto de adherencia del
mismo conjunto.
En topologa son de una importancia capital los conjuntos
interior y clausura de un conjunto. Su importancia radica en
ser, respectivamente, el mayor abierto contenido en el
conjunto y el menor cerrado que contiene al conjunto. El
interior puede obtenerse tambin como la unin de todos los
abiertos contenidos en el conjunto, y la clausura como la
interseccin de todos los cerrados que contienen al conjunto.
Sin tanta importancia en topologa pero de mucha en otras
reas de la Matemtica son los conjuntos de acumulacin,
frontera y de los puntos aislados de un conjunto.
Conceptos fundamentales referidos a
aplicaciones continuas y convergencia[editar]
Convergencia[editar]
La idea de la convergencia es la de "aproximar" un objeto por
otro, es decir, sustituir un objeto por otro que est prximo a
l. Evidentemente, al hacerlo as se est cometiendo un
error, error que en general depender de lo prximo que se
encuentre el objeto sustituido del objeto sustituto. Para hacer
esta sustitucin de una manera sistemtica, de forma que el
error pueda ser elegido arbitrariamente pequeo, aparecen
distintos tipos de conjuntos. Se obtiene as un proceso de
sucesivas aproximaciones que, si todo va bien, terminaran
llevndonos al objeto, aunque fuese despus de un nmero
infinito de aproximaciones. El ms sencillo de estos conjuntos
es una sucesin, es decir, una coleccin infinita (numerable)
y ordenada de objetos, aunque con el mismo carcter de
orden hay otros conjuntos que reflejan mejor el concepto de
convergencia.
Es importante observar que la topologa no trabaja con
errores ni con aproximaciones. Eso entra en el mbito
del Anlisis Numrico e incluso del Anlisis Matemtico. La
topologa lo que hace en este problema es aportar las
herramientas bsicas y los conceptos tericos para afrontar
correctamente el problema, siempre desde un punto de vista
conceptual y cualitativo. Estudia qu es lo que debe
entenderse cuando decimos que un conjunto (como puede
ser una sucesin) se acerca a un objeto (que puede ser un
punto, un conjunto, etctera).
Convergencia de sucesiones[editar]
Una sucesin es una aplicacin en un conjunto cuyo dominio
es el conjunto de los nmeros naturales. En particular, una
sucesin en un espacio topolgico es una aplicacin .
Una sucesin es el caso ms sencillo de aplicacin
de dominio infinito.
Se dice que es un punto lmite de la sucesin , o bien
que converge al punto , si se cumple que, cualquiera que
sea el entorno de existe un nmero natural de tal manera
que si es otro nmero natural mayor o igual que (o sea, )
entonces se cumple que .
Hay que hacer dos observaciones sobre esto:

En primer lugar, puede darse el caso de que la sucesin

no tenga puntos lmites, o incluso que tenga ms de un
punto lmite. Al conjunto de puntos lmites de una
 sucesin se le denomina lmite de (y se le denota por ,
o tambin por ).

En segundo lugar, la interpretacin de este concepto es

la siguiente: tan cerca como queramos de un punto lmite
podemos encontrar a todos los puntos de la sucesin,
excepto a lo ms a una cantidad finita de ellos (que
podr o no ser muy grande, pero no deja de ser finita).
Un punto es punto de aglomeracin de la sucesin si
cualquiera que sea el entorno de se cumple que el
conjunto es infinito. Todo punto lmite es punto de
aglomeracin, pero el recproco no es cierto. Por ejemplo,
los lmites de oscilacin de una sucesin no convergente de
nmeros reales (como por ejemplo la sucesin ) son puntos
de aglomeracin, pero no son puntos lmites (no existe lmite
para dicha sucesin, mientras que 1 y -1 son puntos de
acumulacin).
Continuidad de aplicaciones[editar]
Otro concepto totalmente fundamental estudiado en esta
rama es el de aplicacin continua. Una aplicacin entre dos
espacios topolgicos se dice que es continua si dado
cualquier conjunto abierto en , el conjunto es un conjunto
abierto en .
Con la misma notacin, si , diremos que es continua
en cuando se obtiene que es un entorno de , cualquiera que
sea el entorno de .
Es inmediato entonces comprobar que es continua cuando y
slo cuando es continua en , cualquiera que sea ste, es
decir, cuando y slo cuando sea continua en cada uno de los
puntos de su dominio.
Informalmente hablando, una aplicacin es continua si
transforma puntos que estn cerca en puntos que estn
cerca, es decir, si respeta la "relacin de cercana". Esto
adems quiere decir que una funcin continua no "rompe" los
que est unido y no "pega" lo que est separado.
Conjuntos conexos, conexos por caminos y
arco-conexos[editar]
Un conjunto se dice que es conexo si no puede expresarse
como unin de dos abiertos disjuntos no vacos.
Un conjunto se dice que es conexo por caminos si todo par
de puntos puede unirse mediante un camino, esto
es, continua de tal manera que y . Todo conjunto conexo por
caminos es conexo, pero no todo conjunto conexo es conexo
por caminos (ver, por ejemplo, el seno del toplogo).
Estos conjuntos estn "hechos de una pieza" (los conexos) o
"hechos de manera que no tienen piezas totalmente sueltas"
(los conexos por caminos). Naturalmente esto es slo una
manera de interpretarlos. Las piezas de un conjunto (los
mayores subconjuntos conexos que contiene el conjunto) se
denominan "componentes conexas". Por ejemplo, un puado
de arena sera un conjunto en el que las componentes
conexas son cada granito de arena. Un espejo roto sera un
conjunto en el que cada trozo de espejo es una componente
conexa. Una bola de hierro es un conjunto con una sola
componente conexa, es decir, un conjunto conexo. Una rejilla
tambin es un conjunto conexo, formado por una sola
componente conexa.
Existe otra nocin de conexin, la conexin por arcos o arco
conexin ligeramente ms restrictiva que la conexin por
caminos. Se exige que el camino sea un homeomorfismo
sobre su imagen. Aun as, la conexin por arcos y por
caminos coinciden sobre los espacios de Hausdorff.
Compacidad[editar]
Los conjuntos compactos son un tipo de conjunto mucho ms
difciles de definir. Un espacio es compacto si para todo
recubrimiento por abiertos (familia de abiertos cuya unin
contiene al espacio total X) existe subrecubrimiento finito
(familia finita de abiertos, formada slo por conjuntos de la
familia anterior, cuya unin contiene a X).
En un espacio mtrico, un conjunto es compacto si cumple
dos condiciones: es "cerrado", es decir contiene a todos sus
puntos frontera; y es "acotado", es decir es posible trazar una
bola que lo contenga. La compacidad es una propiedad muy
importante en topologa, as como en Geometra y en Anlisis
Matemtico.
En cualquier espacio topolgico, un conjunto cerrado dentro
de un compacto, siempre es compacto. Adems, en un
espacio topolgico de Hausdorff, un compacto siempre es
cerrado.
Metrizacin[editar]
Una topologa sobre un conjunto es metrizable si es posible
encontrar una distancia de forma que los abiertos para esa
distancia sean exactamente los abiertos de la topologa de
partida. La metrizabilidad es tambin una propiedad muy
deseable en un espacio topolgico, pues nos permite dar una
caracterizacin muy sencilla de los abiertos de la topologa,
adems de implicar otras ciertas propiedades.
Separacin[editar]
Las propiedades de separacin son ciertas propiedades,
cada una un grado ms restrictiva que la anterior, que nos
indican la "resolucin" o "finura del grano" de una topologa.
Por ejemplo, la propiedad de separacin T2 significa que
para dos puntos distintos siempre pueden encontrarse
entornos disjuntos (es decir que no se cortan).
Densidad[editar]
Un conjunto es denso en el espacio si est "cerca de todos
los puntos" de ese espacio. De manera ms precisa, un
conjunto es denso si su clausura topolgica es todo el
espacio. Equivalentemente, un conjunto es denso si su
interseccin con cualquier abierto no vaco del espacio es
tambin no vaca. Un conjunto se dice que es separable si
tiene algn subconjunto denso y numerable.
Topologa producto y topologa cociente[editar]
La topologa producto nos proporciona una manera de dotar
de una topologa al producto cartesiano de varios espacios
topolgicos, de tal manera que se conserven buenas
propiedades, en particular que las proyecciones sobre cada
factor sean aplicaciones continuas y abiertas. La topologa
cociente nos proporciona una manera de dotar de una
topologa al cociente (espacio de clases) de un espacio por
una relacin de equivalencia, de manera que tenga el mayor
nmero posible de conjuntos abiertos y sin embargo la
proyeccin sea continua (es decir la imagen recproca de
cada abierto sea un abierto).

Topologa algebraica[editar]
La topologa algebraica estudia ciertas propiedades
relacionadas con la conexin de un espacio, propiedades que
podramos describir como la "porosidad" de un espacio, la
cantidad de boquetes que presenta. Para ello se vale de
instrumentos algebraicos, fundamentalmente la teora de
grupos y el lgebra homolgica, hasta tal punto que su
desarrollo es totalmente algebraico.
En la topologa algebraica se consideran una gran diversidad
de problemas incluidos en la teora de nudos por ejemplo, o
en la teora de homotopas y la teora de homologa.
Para comprender sucintamente estas cuestiones, volvamos a
los ejemplos de conjuntos conexos. Segn hemos dicho, una
rejilla, una bola de hierro o una esponja son conjuntos
conexos. Sin embargo todos entendemos que parece que no
tienen el mismo grados de conexin, por expresarlo de
alguna manera. Mientras que una bola de hierro es maciza,
una esponja y una rejilla tienen agujeros, e incluso parece
claro que entre estos hay tambin una cierta diferencia.
La homotopa y la homologa tratan estas cuestiones.