Topologa

1 Idea intuitiva
Particularmente 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, 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.
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.

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 clasicar 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 especicado, 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.

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.
1

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. El intentar visualizar los conceptos es un error frecuente entre los principiantes en la
topologa,[cita requerida] que les hace avanzar muy lentamente cuando no pueden encontrar un ejemplo grco, tener
una visin parcial de algunos conceptos, e incluso incurrir en errores. 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 grca. 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.

1.1

Un ejemplo claricador

DESARROLLO FORMAL

Observemos un antiguo 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
elmente cierto tipo de informacin, la nica que necesitamos para decidir nuestro camino por la red de metro:
informacin topolgica.

2 Historia de la topologa
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 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 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.

3 Desarrollo formal
En el artculo Glosario de topologa se encuentra una coleccin de trminos topolgicos con su signicado. Aqu
y ahora nos limitaremos a dar algunas nociones bsicas.

Plano del metro de Madrid.

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

3
una formulacin precisa, objetiva y til de este concepto. Para ello tomamos un conjunto de referencia X , que
ser el ambiente en el que nos moveremos, y al que llamaremos espacio. Tomaremos un elemento cualquiera x
de X . A los elementos del espacio se les llama puntos,
as que x ser llamado punto, independientemente de que
x sea una funcin, un vector, un conjunto, un ideal maximal en un anillo conmutativo y unitario... Un subconjunto
V de X ser un entorno de x si V incluye un conjunto
abierto G de manera que x es elemento de G . Qu entenderemos por conjunto abierto? Aqu est el quid de la
cuestin: una coleccin T de subconjuntos de X se dir
que es una topologa sobre X si X 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 nita
de elementos de la coleccin tambin es un elemento de
la coleccin. A los elementos de la coleccin T se les denomina abiertos de la topologa T , y al par (X, T ) se le
denomina espacio topolgico.

Si tenemos denida una distancia sobre X , diremos que

la pareja

(X, d)
es un espacio mtrico. Dado un espacio mtrico (X, d) ,
queda determinada una topologa sobre X en la que los
conjuntos abiertos son los subconjuntos G de X tales que
cualquiera que sea el punto x de G existe un nmero >
0 de tal manera que el conjunto {y X : d(x, y) < }
est totalmente incluido en G . Al conjunto {y X :
d(x, y) < } se le denomina bola abierta de centro x y
radio , y ser precisamente un entorno del punto x .

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
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 topoentonces estas:
loga 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 pa(1) T, X T
ra que sea metrizable.
(2) (O1 T, O2 T ) (O1 O2 T )
(3) S T, OS O T

4 Ramas de la topologa

Se suelen considerar principalmente tres ramas:

Puede parecer extrao que de una denicin tan altamente formal y conjuntista se obtenga una formulacin pre la topologa general o conjuntista,
cisa del concepto de proximidad. Lo primero que se ob la topologa algebraica y
serva es que sobre un mismo espacio X se pueden denir
distintas topologas, generando entonces distintos espa la topologa diferencial.
cios 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 Adems de estas tres ramas, que podramos decir prodecidir si un conjunto dado es o no abierto) es lo que va a piamente topolgicas, la implicacin en mayor o medar carcter visualizable o no a ese espacio topolgico. nor medida en otras disciplinas matemticas hacen que
muchos consideren parte de la topologa al anlisis funUna de las maneras ms sencillas de determinar una tocional, 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 gruslo 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 diGeometra y del Anlisis Matemtico pueden determiferenciales, ecuaciones funcionales, variable compleja,
narse mediante alguna distancia). Una distancia sobre un
geometra diferencial, geometra algebraica, lgebra conconjunto 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 ;
d(x, y) d(x, z) + d(z, y)
cualesquiera que sean x, y, z X .

5 Topologa general o conjuntista

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.

5.1

5.1.1

TOPOLOGA GENERAL O CONJUNTISTA

Conceptos fundamentales referidos a La nocin de subespacio topolgico se presenta de manera natural, y es el concepto anlogo al de subgrupo en
la topologa de un conjunto
Teora de Grupos o al de subespacio vectorial en lgebra
Lineal.

Topologa, espacio topolgico, abiertos, cerraUna propiedad relativa a espacios topolgicos se dice que
dos, subespacios
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 abiertos. 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 veconjunto 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 tomo 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 propiedades (como en el conjunto de soluciones de una ecuacin Sea A X un conjunto cualquiera y sea x A un pundiferencial, 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 conaplicar 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 entrabajar 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
calicativo abierto. Esto es un abuso de lenguaje y debe
topolgico.
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 conjunes 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 estuuna topologa para Z . Se dir entonces que el espacio dio de la topologa y constituirn la materia prima de los
conceptos posteriores.
(Z, TZ ) es subespacio topolgico del (X, T ) .

5.2

Conceptos fundamentales referidos a aplicaciones continuas y convergencia

Interior, exterior, frontera Un punto x X se dir

que es un punto interior de A si existe un entorno N de x
tal que N A . As, el conjunto de los puntos interiores
a A es un conjunto abierto, denominado Interior de A,

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

denotado por Int (A) o tambin como A . Es el mayor de acumulacin, frontera y de los puntos aislados de un
conjunto.
conjunto abierto incluido en A.
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
aplicaciones continuas y convergencia
abierto, denominado Exterior de A y denotado por Ext
(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 obA) = . 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 espalabras, 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 manera sistemtica, de forma que el error pueda ser elegiAdherencia, 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 aprosi 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
de convergencia.
es el menor conjunto cerrado que contiene al conjunto.
Un punto x X se dice que es un punto de acumulacin de A si todo entorno V de x es tal que (V \ {x})
A = . Al conjunto de los puntos de acumulacin de
un conjunto se le denomina acumulacin del conjunto,
o conjunto derivado, y se le denota por Ad o por A .

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).

Un punto x X se dice que es un punto de acumulacin de A si todo entorno V de x es tal que

(V \ {x}) A es un conjunto innito. Al conjunto de
los puntos de -acumulacin de un conjunto se le denomina -acumulacin del conjunto, o conjunto
-derivado, y se le denota por Ad o por A . Todo punto 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 doUn punto x X se dice que es un punto aislado de minio es el conjunto de los nmeros naturales. En partiA 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
(xn )nN , o bien que (xn )nN converge al punto x , si se
mismo conjunto.
En topologa son de una importancia capital los conjuntos cumple que, cualquiera que sea el entorno V de x exisinterior 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:

5
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 (xn )nN se le denomina lmite
de (xn )nN (y se le denota por limnN xn , o tambin 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 sucesin (xn )nN si cualquiera que sea el entorno V de x se
cumple que el conjunto {n N : xn V } es innito. 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 (1)n + n1 ) son puntos
de aglomeracin, pero no son puntos lmites (no existe lmite para dicha sucesin, mientras que 1 y 1 son puntos
de acumulacin).

TOPOLOGA GENERAL O CONJUNTISTA

por caminos es conexo, pero no todo conjunto conexo es

conexo por caminos.
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 homeomorsmo sobre su imagen. Aun as, la conexin por arcos
y por caminos coinciden sobre los espacios de Hausdor.

5.4 Compacidad
5.2.3

Continuidad de aplicaciones

Otro concepto totalmente fundamental estudiado en esta 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 conjunto abierto en X .

Los conjuntos compactos son un tipo de conjunto mucho 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 subrecubrimiento nito (familia nita de abiertos, formada slo
por conjuntos de la familia anterior, cuya unin contiene
a X).

Con la misma notacin, si x X , diremos que f es con- En un espacio mtrico, un conjunto es compacto si cumtinua en x cuando se obtiene que f 1 (V ) es un entorno ple dos condiciones: es cerrado, es decir contiene a todos sus puntos frontera; y es acotado, es decir es pode x , cualquiera que sea el entorno V de f (x) .
sible trazar una bola que lo contenga. La compacidad es
Es inmediato entonces comprobar que f es continua
una propiedad muy importante en topologa, as como en
cuando y slo cuando es continua en x X , cualquiera
Geometra y en Anlisis Matemtico.
que sea ste, es decir, cuando y slo cuando sea continua
En cualquier espacio topolgico, un conjunto cerrado
en cada uno de los puntos de su dominio.
dentro de un compacto, siempre es compacto. Adems,
Informalmente hablando, una aplicacin es continua si
en un espacio topolgico de Hausdor, un compacto
transforma puntos que estn cerca en puntos que estn
siempre es cerrado.
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.

5.3

5.5 Metrizacin
Conjuntos conexos, conexos por caminos 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 topolocomo unin de dos abiertos disjuntos no vacos.
ga de partida. La metrizabilidad es tambin una propieUn conjunto X se dice que es conexo por caminos si to- dad muy deseable en un espacio topolgico, pues nos perdo 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 propienera que (0) = x y (1) = y . Todo conjunto conexo dades.

5.6

Separacin

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 topologa. Por ejemplo, la propiedad de separacin T2 signica
que para dos puntos distintos siempre pueden encontrarse
entornos disjuntos (es decir que no se cortan).

5.7

Densidad

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. Un conjunto se dice que es separable si tiene
algn subconjunto denso y numerable.

una cierta diferencia. La homotopa y la homologa tratan

estas cuestiones.

7 Vase tambin

Portal:Matemtica. Contenido relacionado con

Matemtica.

Espacio topolgico
Banda de Mbius
Botella de Klein
Nudo borromeo
Problema de los puentes de Knigsberg
Topologa cociente

5.8

Topologa producto y topologa cociente

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 cuntica
Topologa geoespacial
Topologa geomtrica
Glosario de topologa
Origami

8 Notas
[1] Stewart, Ian: Conceptos de matemtica moderna. Alianza
Universidad, 1988. p. 171.
[2] Tony Crilly (2011). 50 cosas que hay que saber sobre matemticas. Ed. Ariel. ISBN 978-987-1496-09-9.

Topologa algebraica

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

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

84-7829-006-0

9 Enlaces externos

Wikimedia Commons alberga contenido multimedia sobre TopologaCommons.

Wikcionario tiene deniciones y otra informacin 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?

9
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
en el correo electrnico.

Topologa

ENLACES EXTERNOS

10
10.1

Origen del texto y las imgenes, colaboradores y licencias

Texto

Topologa Fuente: https://es.wikipedia.org/wiki/Topolog%C3%ADa?oldid=87452951 Colaboradores: Brion VIBBER, Andre Engels, Maveric149, Joseaperez, Oblongo, Fibonacci, Moriel, JorgeGG, Sanbec, Tony Rotondas, Ivn, Dodo, Sms, Cookie, Tostadora, Tano4595,
Aracne, Fmariluis, Robotico, Renabot, Digigalos, Boticario, Fermar, AlfonsoERomero, Rembiapo pohyiete (bot), Lumen, Halcn, Further
(bot), RobotQuistnix, 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,
MetroBot, Acratta, KundaliniZero, Mechita korn, LlamaAl, rico, Helmy oved, Syum90, Suhagja, Addbot, JacobRodrigues, Jarould, JaimeDes y Annimos: 146

10.2

Imgenes

Archivo:Commons-logo.svg Fuente: https://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:
https://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: https://upload.wikimedia.org/wikipedia/commons/2/27/Homeo_tasse.png Licencia: Public domain
Colaboradores: Transferido desde de.wikipedia a Commons. Artista original: The original uploader was CHW de Wikipedia en alemn
Archivo:Madrid-metro-map.png Fuente: https://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: https://upload.wikimedia.org/wikipedia/commons/2/26/Mug_and_Torus_morph.gif Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Nuvola_apps_edu_mathematics-p.svg Fuente: https://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: https://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: https://upload.wikimedia.org/wikipedia/commons/1/1b/Wikiversity-logo-en.svg Licencia: CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Snorky
Archivo:Wiktionary-logo-es.png Fuente: https://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

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0