Topologa

1 Idea intuitiva
Particularmente se presenta a la topologa como la geo-
metra de la pgina de goma (chicle). Esto hace refe-
rencia a que, en la geometra eucldea, dos objetos sern
equivalentes mientras podamos transformar uno en otro
mediante isometras (rotaciones, traslaciones, reexiones,
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.

sta es la razn de que se la llame la geometra de la

pgina de goma, porque es como si estuviramos estu-
Ilustracin del Teorema de los cuatro colores. diando geometra sobre un papel de goma que pudiera
contraerse, estirarse, etc.

La topologa (del griego , 'lugar', y , 'es-

tudio') es la rama de las matemticas dedicada al es-
tudio de aquellas propiedades de los cuerpos geom-
tricos que permanecen inalteradas por transformaciones
continuas.[1] Es una disciplina que estudia las propieda-
des 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 clasicar mlti-
ples atributos donde destacan conectividad, compacidad,
metricidad o metrizabilidad, entre otros.
Los matemticos usan la palabra topologa con dos sen-
tidos: informalmente es el sentido arriba especicado, y
de manera formal es la referencia a una cierta familia de Una taza transformndose en una rosquilla (toro).
subconjuntos de un conjunto dado, familia que cumple
unas reglas sobre la unin y la interseccin este segun- Un chiste habitual entre los toplogos (los matemticos
do sentido puede verse desarrollado en el artculo espacio que se dedican a la topologa) es que un toplogo es una
topolgico. persona incapaz de distinguir una taza de una rosquilla.

1
2 3
Pero esta visin, aunque muy intuitiva e ingeniosa, es ses-
gada y parcial. Por un lado, puede llevar a pensar que
la topologa trata slo de objetos y conceptos geomtri-
cos, 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 in-
terpretacin intuitiva de problemas topolgicos o inclu-
so de algunos conceptos. El intentar visualizar los con-
ceptos es un error frecuente entre los principiantes en la
topologa,[cita requerida] que les hace avanzar muy lentamen-
te cuando no pueden encontrar un ejemplo grco, tener
una visin parcial de algunos conceptos, e incluso incu-
rrir en errores. Es frecuente entre los estudiantes prime-
rizos escuchar que no entienden la topologa y que no
les gusta esa rama; generalmente se debe a que se man-
tienen en esta actitud grca. Por ltimo, la topologa se Histricamente, las primeras ideas topolgicas concier-
nutre tambin en buena medida de conceptos cuya inspi-
racin 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.
1.1 Un ejemplo claricador
Plano del metro de Madrid.
DESARROLLO FORMAL
Observemos un antiguo plano del metro de Madrid. En
l estn representadas las estaciones y las lneas de me-
tro que las unen, pero no es geomtricamente exacto. La
curvatura de las lneas de metro no coincide, ni su lon-
gitud a escala, ni la posicin relativa de las estaciones...
Pero aun as es un plano perfectamente til. Sin embar-
go, este plano es exacto en cierto sentido pues representa
elmente cierto tipo de informacin, la nica que nece-
sitamos para decidir nuestro camino por la red de metro:
informacin topolgica.
2 Historia de la topologa
nen 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, an-
te la aparicin de nmeros reales no racionales. El pri-
mer acercamiento concreto al concepto de lmite y tam-
bin 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 incapa-
cidad de la geometra para tratar este tema. Fue preci-
samente la fundamentacin del clculo innitesimal, as
como los intentos de formalizar el concepto de variedad
en Geometra lo que llev a la aparicin de la topologa,
a nales del siglo XIX y principios del XX.
Se suele fechar el origen de la topologa con la reso-
lucin 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 total-
mente 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 arbitra-
rio 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 anti-
guo profesor de la escuela primaria, Mller, y posterior-
mente en su libro Vorstudien zur Topologie ('Estudios pre-
vios a la topologa'), publicado en 1847. Anteriormente
se la denominaba analysis situs. Maurice Frchet introdu-
jo el concepto de espacio mtrico en 1906.
3 Desarrollo formal
En el artculo Glosario de topologa se encuentra una co-
leccin de trminos topolgicos con su signicado. Aqu
y ahora nos limitaremos a dar algunas nociones bsicas.
Como hemos dicho, el concepto fundamental de la topo-
loga es la relacin de proximidad, que puede parecer
ambigua y subjetiva. El gran logro de la topologa es dar
 3

una formulacin precisa, objetiva y til de este concepto. Si tenemos denida una distancia sobre X , diremos que
Para ello tomamos un conjunto de referencia X , que ser la pareja
el ambiente en el que nos moveremos, y al que llamare-
mos espacio. Tomaremos un elemento cualquiera x de X
. A los elementos del espacio se les llama puntos, as que (X, d)
x ser llamado punto, independientemente de que x sea
una funcin, un vector, un conjunto, un ideal maximal en es un espacio mtrico. Dado un espacio mtrico (X, d) ,
un anillo conmutativo y unitario... Un subconjunto V de queda determinada una topologa sobre X en la que los
X ser un entorno de x si x es elemento de V y existe conjuntos abiertos son los subconjuntos G de X tales que
un conjunto abierto G de manera que G est incluido en cualquiera que sea el punto x de G existe un nmero >
V . Qu entenderemos por conjunto abierto? Aqu est 0 de tal manera que el conjunto {y X : d(x, y) < }
el quid de la cuestin: una coleccin T de subconjuntos est totalmente incluido en G . Al conjunto {y X :
de X se dir que es una topologa sobre X si X es uno d(x, y) < } se le denomina bola abierta de centro x y
de los elementos de esa coleccin, si es un elemento radio , y ser precisamente un entorno del punto x .
de la coleccin, si la unin de elementos de la coleccin
Como se ha apuntado antes, por desgracia no toda topo-
da como resultado un elemento de la coleccin y si la in-
loga proviene de una distancia, es decir, existen espa-
terseccin nita de elementos de la coleccin tambin es
cios topolgicos que no son espacios mtricos. Cuando
un elemento de la coleccin. A los elementos de la colec-
un espacio topolgico es adems espacio mtrico (esto
cin T se les denomina abiertos de la topologa T , y al
es, cuando dada una topologa sobre un conjunto, puede
par (X, T ) se le denomina espacio topolgico.
denirse en ese conjunto una distancia de manera que la
Las condiciones para que T sea topologa sobre X son topologa generada por la distancia coincida con la topo-
entonces estas: loga dada) se dice que el espacio topolgico es metriza-
ble. Un problema clsico en topologa es el de determinar
(1) T, X T qu condiciones debe satisfacer un espacio topolgico pa-
ra que sea metrizable.

(2) (O1 T, O2 T ) (O1 O2 T )

4 Ramas de la topologa
(3) S T, OS O T
Se suelen considerar principalmente tres ramas:
Puede parecer extrao que de una denicin tan altamen-
te formal y conjuntista se obtenga una formulacin pre- la topologa general o conjuntista,
cisa del concepto de proximidad. Lo primero que se ob-
serva es que sobre un mismo espacio X se pueden denir la topologa algebraica y
distintas topologas, generando entonces distintos espa-
cios topolgicos. Por otra parte, precisamente la manera la topologa diferencial.
en que quede determinada una topologa sobre un con-
junto (es decir, la eleccin del criterio que nos permita Adems de estas tres ramas, que podramos decir pro-
decidir si un conjunto dado es o no abierto) es lo que va a piamente topolgicas, la implicacin en mayor o me-
dar carcter visualizable o no a ese espacio topolgico. nor medida en otras disciplinas matemticas hacen que
muchos consideren parte de la topologa al anlisis fun-
Una de las maneras ms sencillas de determinar una to-
cional, la teora de la medida, la teora de nudos (parte
pologa es mediante una distancia o mtrica, mtodo que
de la topologa de dimensiones baja), la teora de gru-
slo es aplicable en algunos casos (si bien es cierto que
pos topolgicos, etc. Es fundamental su contribucin a
muchos de los casos ms intersantes de topologas en la
la teora de grafos, anlisis matemtico, ecuaciones di-
Geometra y del Anlisis Matemtico pueden determi-
ferenciales, ecuaciones funcionales, variable compleja,
narse mediante alguna distancia). Una distancia sobre un
geometra diferencial, geometra algebraica, lgebra con-
conjunto X es una aplicacin d : X X R que
mutativa, estadstica, teora del caos, geometra fractal...
verica las siguientes propiedades:
Incluso tiene aplicaciones directas en biologa, sociologa,
etc.
d(x, y) 0 ;
d(x, y) = d(y, x)
d(x, y) = 0 si y slo si x = y ;
5 Topologa general o conjuntista
d(x, y) d(x, z) + d(z, y) Constituye la base de los estudios en topologa. En ella se
desarrollan tpicos como lo que es un espacio topolgico
cualesquiera que sean x, y, z X . o los entornos de un punto.
4 5 TOPOLOGA GENERAL O CONJUNTISTA

5.1 Conceptos fundamentales referidos a La nocin de subespacio topolgico se presenta de ma-

la topologa de un conjunto nera natural, y es el concepto anlogo al de subgrupo en
Teora de Grupos o al de subespacio vectorial en lgebra
Lineal.
5.1.1 Topologa, espacio topolgico, abiertos, cerra-
dos, subespacios 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.
Sea X un conjunto cualquiera y P (X) el conjunto de
sus partes. Una topologa sobre X es un conjunto T
P (X) que cumpla que X T , T , si A, B T en- 5.1.2 Base de una topologa, entornos, bases locales,
tonces AB T , y que si S T entonces GS G T axiomas de numerabilidad
. A los elementos de T se les denomina conjuntos abier-
tos. Al par (X, T ) se le denomina espacio topolgico. A Una familia (B) T se dice que es base (de la topologa
los elementos de X se les suele denominar puntos. T ) si para cualquiera que sea el G T existe un conjunto
Ntese que desde un primer momento hemos especica- M (B) de manera que G = BM B .
do que el conjunto X es cualquiera, no necesariamente un No siempre es cmodo trabajar con una topologa. A ve-
conjunto de naturaleza geomtrica. La denominacin de ces resulta ms complicado establecer una topologa que
espacio (topolgico) y de punto se mantiene an cuando una base de topologa (como en espacios mtricos). En
X sea un conjunto de nmeros, de funciones, de ecuacio- cualquier caso, una base es una manera muy cmoda de
nes diferenciales, de guras geomtricas, de vectores, de establecer una topologa. An ms sencillo es establecer
conjuntos... una subbase, que es una familia de conjuntos para la que
Como puede observarse, la denicin es muy formal y el conjunto de sus intersecciones nitas forma una base
general, y lo primero que se observa es que sobre un mis- de topologa. Uno de los casos ms importantes de to-
mo conjunto pueden darse multitud de topologas distin- pologa, la de los espacios mtricos, viene dado por una
tas. As es. Pero de momento, los conceptos de conjunto base, la del conjunto de bolas abiertas del espacio.
abierto en R o en R2 o R3 cumplen las condiciones exigi- Un espacio topolgico se dice que cumple el Segundo
bles a una topologa. Es precisamente el comprobar que Axioma de Numerabilidad (IIAN) si existe alguna base
otras familias de conjuntos en otros conjuntos de natura- de su topologa que tenga cardinalidad numerable.
leza no geomtrica que comparten estas mismas propie-
dades (como en el conjunto de soluciones de una ecuacin Sea A X un conjunto cualquiera y sea x A un pun-
diferencial, o el conjunto de los ceros de los polinomios to arbitrario. Se dice que A es entorno de x si existe un
con coecientes en los ideales en un anillo conmutativo, conjunto abierto G de manera que x G A . Todo
por ejemplo) lo que motiva esta denicin. As podremos conjunto abierto es entorno de todos sus puntos. Al con-
aplicar a estos conjuntos las mismas (o parecidas) tcni- junto de todos los entornos de un punto x se le denomina
cas topolgicas que aplicamos a los abiertos del plano, sistema de entornos de x .
por ejemplo. La situacin es anloga a la que se da en Obsrvese que no se ha exigido que un entorno sea un
lgebra Lineal cuando se pasa de trabajar en R2 o R3 a conjunto abierto. Los entornos abiertos son un tipo de en-
trabajar en espacios vectoriales arbitrarios. tornos muy tiles (sobre todo en Geometra y Anlisis) y
En lo que sigue, (X, T ) representar siempre un espacio muy usados, tanto que en muchas ocasiones se omite el
topolgico. calicativo abierto. Esto es un abuso de lenguaje y debe
evitarse.
Ligado al concepto de conjunto abierto est el de conjunto
cerrado. Un conjunto F X se dice que es cerrado si su Una coleccin (V ) de entornos de un mismo punto x se
complementario X \ F es un conjunto abierto. Es impor- dice que es una base de entornos (o base local) de x
tante observar que un conjunto que no es abierto no ne- si dado cualquier entorno V de x existe un B (V ) de
cesariamente ha de ser cerrado, y un conjunto que no sea manera que B V .
cerrado no necesariamente ha de ser abierto. As, exis- Se dice que un espacio topolgico cumple el Primer
ten conjuntos que son abiertos y cerrados a la vez, como Axioma de Numerabilidad (IAN) si cada punto del es-
, y pueden existir conjuntos que no sean ni abiertos ni pacio tiene alguna base local de cardinal numerable.
cerrados.
Es inmediato comprobar que la interseccin de cerrados 5.1.3 Subconjuntos notables asociados a un conjun-
es un conjunto cerrado, que la unin de una cantidad nita to
de conjuntos cerrados es un conjunto cerrado, y que tanto
X como son conjuntos cerrados. Ahora podemos establecer una serie de deniciones de
Si Z X , el conjunto TZ := {G Z : G T } es gran importancia, pues sern las piezas bsicas del estu-
una topologa para Z . Se dir entonces que el espacio dio de la topologa y constituirn la materia prima de los
(Z, TZ ) es subespacio topolgico del (X, T ) . conceptos posteriores.
5.2 Conceptos fundamentales referidos a aplicaciones continuas y convergencia 5

Interior, exterior, frontera Un punto x X se dir los abiertos contenidos en el conjunto, y la clausura co-
que es un punto interior de A si existe un entorno N de x
mo la interseccin de todos los cerrados que contienen
tal que N A . As, el conjunto de los puntos interiores
al conjunto. Sin tanta importancia en topologa pero de
a A es un conjunto abierto, denominado Interior de A,
mucha en otras reas de la Matemtica son los conjuntos

denotado por Int (A) o tambin como A . Es el mayor de acumulacin, frontera y de los puntos aislados de un
conjunto abierto incluido en A. conjunto.

Un punto y X se dir que es un punto exterior a A si

existe un entorno N de y tal que N X\A .[3] Asimismo,
el conjunto de los puntos exteriores a A es otro conjunto 5.2 Conceptos fundamentales referidos a
abierto, denominado Exterior de A y denotado por Ext aplicaciones continuas y convergencia
(A).
5.2.1 Convergencia
Un punto z X se dice que es un punto frontera de A
si todo entorno V de z es tal que V A = y V (X \
La idea de la convergencia es la de aproximar un ob-
A) = . Al conjunto de los punto frontera de A se le
jeto por otro, es decir, sustituir un objeto por otro que
denomina Frontera de A y se denota por Fr(A). En otras
est prximo a l. Evidentemente, al hacerlo as se es-
palabras, todo entorno con centro en z tendr elementos
t cometiendo un error, error que en general depender
pertenecientes al conjunto A y otros elementos fuera del
de lo prximo que se encuentre el objeto sustituido del
conjunto A . La frontera de A es un conjunto cerrado.
objeto sustituto. Para hacer esta sustitucin de una ma-
nera sistemtica, de forma que el error pueda ser elegi-
Adherencia, acumulacin, puntos aislados Un pun- do arbitrariamente pequeo, aparecen distintos tipos de
to x X se dice que es un punto de adherencia de A conjuntos. Se obtiene as un proceso de sucesivas apro-
si todo entorno V de x es tal que A V = . Se hace ximaciones que, si todo va bien, terminaran llevndonos
pues evidente que todo punto interior y todo punto fron- al objeto, aunque fuese despus de un nmero innito
tera es punto de adherencia. Al conjunto de los puntos de aproximaciones. El ms sencillo de estos conjuntos es
de adherencia del conjunto A se le denomina adheren- una sucesin, es decir, una coleccin innita (numerable)
cia o clausura de A , y se denota por Cl(A) o por A . y ordenada de objetos, aunque con el mismo carcter de
La clausura de un conjunto A es un conjunto cerrado, y orden hay otros conjuntos que reejan mejor el concepto
es el menor conjunto cerrado que contiene al conjunto. de convergencia.
Un punto x X se dice que es un punto de acumula- Es importante observar que la topologa no trabaja con
cin de A si todo entorno V de x es tal que (V \ {x}) errores ni con aproximaciones. Eso entra en el mbito del
A = . Al conjunto de los puntos de acumulacin de Anlisis Numrico e incluso del Anlisis Matemtico. La
un conjunto se le denomina acumulacin del conjunto, topologa lo que hace en este problema es aportar las he-
o conjunto derivado, y se le denota por Ad o por A . rramientas bsicas y los conceptos tericos para afrontar
correctamente el problema, siempre desde un punto de
Un punto x X se dice que es un punto de - vista conceptual y cualitativo. Estudia qu es lo que debe
acumulacin de A si todo entorno V de x es tal que entenderse cuando decimos que un conjunto (como pue-
(V \ {x}) A es un conjunto innito. Al conjunto de de ser una sucesin) se acerca a un objeto (que puede ser
los puntos de -acumulacin de un conjunto se le de- un punto, un conjunto, etctera).
nomina -acumulacin del conjunto, o conjunto
-derivado, y se le denota por Ad o por A . Todo pun-
to de -acumulacin es punto de acumulacin, y todo
5.2.2 Convergencia de sucesiones
punto de acumulacin es punto de adherencia del mismo
conjunto.
Una sucesin es una aplicacin en un conjunto cuyo do-
Un punto x X se dice que es un punto aislado de minio es el conjunto de los nmeros naturales. En parti-
A si existe algn entorno perforado V de x (es decir, un cular, una sucesin en un espacio topolgico (X, T ) es
conjunto V X de manera que V {x} es un entorno de una aplicacin (xn )nN : N X .
x ) de manera que V A = . Al conjunto de los puntos
aislados de A se le denomina conjunto de los puntos Una sucesin es el caso ms sencillo de aplicacin de
aislados de A , y se le denota por Aa . Todo punto aislado dominio innito.
es punto frontera y tambin es punto de adherencia del Se dice que x X es un punto lmite de la sucesin
mismo conjunto. (xn )nN , o bien que (xn )nN converge al punto x , si se
En topologa son de una importancia capital los conjuntos cumple que, cualquiera que sea el entorno V de x exis-
interior y clausura de un conjunto. Su importancia radica te un nmero natural n0 de tal manera que si n es otro
en ser, respectivamente, el mayor abierto contenido en el nmero natural mayor o igual que n0 (o sea, n n0 )
conjunto y el menor cerrado que contiene al conjunto. El entonces se cumple que xn V .
interior puede obtenerse tambin como la unin de todos Hay que hacer dos observaciones sobre esto:
6 5 TOPOLOGA GENERAL O CONJUNTISTA

En primer lugar, puede darse el caso de que la su-
cesin no tenga puntos lmites, o incluso que tenga
ms de un punto lmite. Al conjunto de puntos lmi-
tes de una sucesin (xn )nN se le denomina lmite
de (xn )nN (y se le denota por limnN xn , o tam-
bin por limn xn ).
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 nita de
ellos (que podr o no ser muy grande, pero no deja
de ser nita).
Un punto x X es punto de aglomeracin de la suce-
sin (xn )nN si cualquiera que sea el entorno V de x se
cumple que el conjunto {n N : xn V } es inni-
to. Todo punto lmite es punto de aglomeracin, pero el
recproco no es cierto. Por ejemplo, los lmites de osci-
lacin de una sucesin no convergente de nmeros reales
(como por ejemplo la sucesin (1)n + n1 ) son puntos
de aglomeracin, pero no son puntos lmites (no existe l-
mite para dicha sucesin, mientras que 1 y 1 son puntos
de acumulacin).
5.2.3 Continuidad de aplicaciones
Otro concepto totalmente fundamental estudiado en es-
ta rama es el de aplicacin continua. Una aplicacin f :
X Y entre dos espacios topolgicos se dice que es
continua si dado cualquier conjunto G abierto en Y , el
conjunto f 1 (G) = {x X : f (x) G} es un con-
junto abierto en X .
Con la misma notacin, si x X , diremos que f es con- En un espacio mtrico, un conjunto es compacto si cum-
tinua en x cuando se obtiene que f 1 (V ) es un entorno ple dos condiciones: es cerrado, es decir contiene a to-
de x , cualquiera que sea el entorno V de f (x) .
Es inmediato entonces comprobar que f es continua
cuando y slo cuando es continua en x X , 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 rom-
pe los que est unido y no pega lo que est separado.
por caminos es conexo, pero no todo conjunto conexo es
conexo por caminos.
Estos conjuntos estn hechos de una pieza (los cone-
xos) o hechos de manera que no tienen piezas totalmen-
te sueltas (los conexos por caminos). Naturalmente esto
es slo una manera de interpretarlos. Las piezas de un
conjunto (los mayores subconjuntos conexos que contie-
ne 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 cone-
xin por caminos. Se exige que el camino sea un homeo-
morsmo sobre su imagen. Aun as, la conexin por arcos
y por caminos coinciden sobre los espacios de Hausdor.
5.4 Compacidad
Los conjuntos compactos son un tipo de conjunto mu-
cho ms difciles de denir. Un espacio es compacto si
para todo recubrimiento por abiertos (familia de abiertos
cuya unin contiene al espacio total X) existe subrecu-
brimiento nito (familia nita de abiertos, formada slo
por conjuntos de la familia anterior, cuya unin contiene
a X).
dos sus puntos frontera; y es acotado, es decir es po-
sible 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 Hausdor, un compacto
siempre es cerrado.

5.5 Metrizacin
5.3 Conjuntos conexos, conexos por cami-
nos y arco-conexos Una topologa sobre un conjunto es metrizable si es posi-
ble encontrar una distancia de forma que los abiertos para
Un conjunto se dice que es conexo si no puede expresarse esa distancia sean exactamente los abiertos de la topolo-
como unin de dos abiertos disjuntos no vacos. ga de partida. La metrizabilidad es tambin una propie-
Un conjunto X se dice que es conexo por caminos si to- dad muy deseable en un espacio topolgico, pues nos per-
do par de puntos puede unirse mediante un camino, esto mite dar una caracterizacin muy sencilla de los abiertos
es, x, y X : [0, 1] X continua de tal ma- de la topologa, adems de implicar otras ciertas propie-
nera que (0) = x y (1) = y . Todo conjunto conexo dades.
 7

5.6 Separacin una cierta diferencia. La homotopa y la homologa tratan

estas cuestiones.
Las propiedades de separacin son ciertas propiedades,
cada una un grado ms restrictiva que la anterior, que nos
indican la resolucin o nura del grano de una topolo- 7 Vase tambin
ga. Por ejemplo, la propiedad de separacin T2 signica
que para dos puntos distintos siempre pueden encontrarse
entornos disjuntos (es decir que no se cortan). Portal:Matemtica. Contenido relacionado con
Matemtica.
Espacio topolgico
5.7 Densidad
Banda de Mbius
Un conjunto es denso en el espacio si est cerca de to-
Botella de Klein
dos los puntos de ese espacio. De manera ms precisa,
un conjunto es denso si su clausura topolgica es todo Nudo borromeo
el espacio. Un conjunto se dice que es separable si tiene
algn subconjunto denso y numerable. Problema de los puentes de Knigsberg
Topologa cociente

5.8 Topologa producto y Topologa co- Topologa cuntica

ciente Topologa geoespacial
La topologa producto nos proporciona una manera de Topologa geomtrica
dotar de una topologa al producto cartesiano de varios
espacios topolgicos, de tal manera que se conserven bue- Glosario de topologa
nas propiedades, en particular que las proyecciones sobre Origami
cada factor sean aplicaciones continuas y abiertas. La to-
pologa cociente nos proporciona una manera de dotar de
una topologa al cociente (espacio de clases) de un espa-
cio por una relacin de equivalencia, de manera que ten-
8 Notas
ga el mayor nmero posible de conjuntos abiertos y sin
embargo la proyeccin sea continua (es decir la imagen [1] Stewart, Ian: Conceptos de matemtica moderna. Alianza
Universidad, 1988. p. 171.
recproca de cada abierto sea un abierto).
[2] Tony Crilly (2011). 50 cosas que hay que saber sobre ma-
temticas. Ed. Ariel. ISBN 978-987-1496-09-9.

6 Topologa algebraica [3] Ayala y otros: Elementos de la topologa general ISBN

La topologa algebraica estudia ciertas propiedades rela-
cionadas 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 diver-
sidad de problemas incluidos en la teora de nudos por
ejemplo, o en la teora de homotopas y la teora de ho-
mologa.
Para comprender sucintamente estas cuestiones, volva-
mos 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 agu-
jeros, e incluso parece claro que entre estos hay tambin
84-7829-006-0
9 Enlaces externos
Wikimedia Commons alberga contenido multi-
media sobre TopologaCommons.
Wikcionario tiene deniciones y otra informa-
cin sobre topologa.Wikcionario
Wikiquote alberga frases clebres de o sobre los
Toplogos. Wikiquote
Wikiversidad alberga proyectos de aprendizaje
sobre Topologa.Wikiversidad
http://www.ehu.es/~{}mtwmastm/sigma20.pdf
Macho Stadler, Marta: Qu es la topologa?
8 9 ENLACES EXTERNOS

http://rinconmatematico.com/chamizo/APtopo.
pdf La Topologa... no es tan difcil.
http://topologia.wordpress.com Juegos topolgicos.

http://www.elcorreoelectronico.com/
esquemas-topologia/topologia La Topologa
en el correo electrnico.
 9

10 Text and image sources, contributors, and licenses

10.1 Text
Topologa Fuente: http://es.wikipedia.org/wiki/Topolog%C3%ADa?oldid=82114857 Colaboradores: Brion VIBBER, Andre Engels, Ma-
veric149, Joseaperez, Fibonacci, Moriel, JorgeGG, Sanbec, Tony Rotondas, Ivn, Dodo, Sms, Cookie, Tostadora, Tano4595, Aracne, Fma-
riluis, Robotico, Renabot, Digigalos, Boticario, Fermar, AlfonsoERomero, Rembiapo pohyiete (bot), Lumen, Halcn, Further (bot), Ro-
botQuistnix, Chobot, Caiserbot, Ivansiiito, Yrbot, Adrruiz, FlaBot, GermanX, Wewe, Gaijin, Fmercury1980, Eskimbot, Jos., Maldoror,
Juan Marquez, CEM-bot, JMCC1, Alexav8, Baiji, Ingenioso Hidalgo, Thijs!bot, Smontero, Roberto Fiadone, Escarbot, Yeza, Drake 81,
RoyFocker, IrwinSantos, Arcibel, JAnDbot, Wadim, Xavigivax, TXiKiBoT, HiTe, Chabbot, Rovnet, VolkovBot, Technopat, Matdrodes,
House, Seraphita~eswiki, Muro Bot, Dodecaedro, SieBot, Daniarmo, Drinibot, BOTarate, Garber, Jarisleif, Javierito92, Dnu72, HUB,
Antn Francho, Nicop, Gato ocioso, Leonpolanco, Alecs.bot, Furti, Petruss, Alexbot, Lugowii, AVBOT, NicolasAlejandro, Diegusjaimes,
Davidgutierrezalvarez, MelancholieBot, CarsracBot, Luckas-bot, Alpinu, Xtquique, Kevineitor, ArthurBot, SuperBraulio13, Kender00,
Xqbot, Jkbw, Josetomas2008, AstaBOTh15, TobeBot, RedBot, Tzihue, Jerowiki, AldanaN, Veronoa, Proferichardperez, Jorge c2010,
EmausBot, ZroBot, ChessBOT, Sergio Andres Segovia, Kerny65, Grillitus, JackieBot, Quetzal02, Abin, MerlIwBot, KLBot2, Metro-
Bot, Acratta, KundaliniZero, Mechita korn, LlamaAl, rico Jnior Wouters, Helmy oved, Syum90, Suhagja, Addbot, JacobRodrigues,
JaimeDes y Annimos: 143

10.2 Images
Archivo:Commons-logo.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Licencia: Public domain
Colaboradores: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used to be slightly
warped.) Artista original: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version, created by
Reidab.
Archivo:Four_Colour_Map_Example.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/8/8a/Four_Colour_Map_
Example.svg Licencia: CC-BY-SA-3.0 Colaboradores: Based on a this raster image by chas zzz brown on en.wikipedia. Artista original:
Inductiveload
Archivo:Homeo_tasse.png Fuente: http://upload.wikimedia.org/wikipedia/commons/2/27/Homeo_tasse.png Licencia: Public domain
Colaboradores: Transferred from de.wikipedia Artista original: Original uploader was CHW at de.wikipedia
Archivo:Madrid-metro-map.png Fuente: http://upload.wikimedia.org/wikipedia/commons/7/79/Madrid-metro-map.png Licencia: CC
BY-SA 2.5 Colaboradores: ? Artista original: ?
Archivo:Mug_and_Torus_morph.gif Fuente: http://upload.wikimedia.org/wikipedia/commons/2/26/Mug_and_Torus_morph.gif Li-
cencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Nuvola_apps_edu_mathematics-p.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/c/c2/Nuvola_apps_edu_
mathematics-p.svg Licencia: GPL Colaboradores: Derivative of Image:Nuvola apps edu mathematics.png created by self Artista original:
David Vignoni (original icon); Flamurai (SVG convertion)
Archivo:Spanish_Wikiquote.SVG Fuente: http://upload.wikimedia.org/wikipedia/commons/1/13/Spanish_Wikiquote.SVG Licencia:
CC BY-SA 3.0 Colaboradores: derived from Wikiquote-logo.svg Artista original: James.mcd.nz
Archivo:Wikiversity-logo-Snorky.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/1/1b/Wikiversity-logo-en.svg Licen-
cia: CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Snorky
Archivo:Wiktionary-logo-es.png Fuente: http://upload.wikimedia.org/wikipedia/commons/0/06/Wiktionary-logo-es.png Licencia: CC
BY-SA 3.0 Colaboradores: originally uploaded there by author, self-made by author Artista original: es:Usuario:Pybalo

10.3 Content license

Creative Commons Attribution-Share Alike 3.0