Вы находитесь на странице: 1из 9

Topologa

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

Paco de Luca

DESARROLLO FORMAL

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.

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,

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 X , que
ser el ambiente en el que nos moveremos, y al que llamaremos espacio. Tomaremos un elemento cualquiera x

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

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
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 paLas condiciones para que T sea topologa sobre X son ra que sea metrizable.
entonces estas:
(1) T, X T
(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 observa es que sobre un mismo espacio X se pueden denir
la topologa algebraica y
distintas topologas, generando entonces distintos espacios topolgicos. Por otra parte, precisamente la manera
la topologa diferencial.
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 Adems de estas tres ramas, que podramos decir prodar carcter visualizable o no a ese espacio topolgico. piamente topolgicas, la implicacin en mayor o menor medida en otras disciplinas matemticas hacen que
Una de las maneras ms sencillas de determinar una tomuchos consideren parte de la topologa al anlisis funpologa es mediante una distancia o mtrica, mtodo que
cional, la teora de la medida, la teora de nudos (parte
slo es aplicable en algunos casos (si bien es cierto que
de la topologa de dimensiones baja), la teora de grumuchos de los casos ms intersantes de topologas en la
pos topolgicos, etc. Es fundamental su contribucin a
Geometra y del Anlisis Matemtico pueden determila teora de grafos, anlisis matemtico, ecuaciones dinarse mediante alguna distancia). Una distancia sobre un
ferenciales, ecuaciones funcionales, variable compleja,
conjunto X es una aplicacin d : X X R que
geometra diferencial, geometra algebraica, lgebra converica las siguientes propiedades:
mutativa, estadstica, teora del caos, geometra fractal...
Incluso tiene aplicaciones directas en biologa, sociologa,
d(x, y) 0 ;
etc.
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)

5 Topologa general o conjuntista

cualesquiera que sean x, y, z X .

Constituye la base de los estudios en topologa. En ella se


Si tenemos denida una distancia sobre X , diremos que desarrollan tpicos como lo que es un espacio topolgico
la pareja
o los entornos de un punto.
(X, d)
es un espacio mtrico. Dado un espacio mtrico (X, d) ,
queda determinada una topologa sobre X en la que los

5.1 Conceptos fundamentales referidos a


la topologa de un conjunto

TOPOLOGA GENERAL O CONJUNTISTA

5.1.1

Topologa, espacio topolgico, abiertos, cerra- Lineal.


dos, subespacios
Una propiedad relativa a espacios topolgicos se dice que
es hereditaria cuando si un espacio la tiene, entonces
Sea X un conjunto cualquiera y P (X) el conjunto de tambin la tiene cualquiera de sus subespacios.
sus partes. Una topologa sobre X es un conjunto T
P (X) que cumpla que X T , T , si A, B T entonces AB T , y que si S T entonces GS G T
. A los elementos de T se les denomina conjuntos abier- 5.1.2 Base de una topologa, entornos, bases locales,
axiomas de numerabilidad
tos. Al par (X, T ) se le denomina espacio topolgico. A
los elementos de X se les suele denominar puntos.
Ntese que desde un primer momento hemos especica- Una familia (B) T se dice que es base (de la topologa
do que el conjunto X es cualquiera, no necesariamente un T ) si para cualquiera que sea el G T existe un conjunto
conjunto de naturaleza geomtrica. La denominacin de M (B) de manera que G = BM B .
espacio (topolgico) y de punto se mantiene aun cuando
X sea un conjunto de nmeros, de funciones, de ecuaciones diferenciales, de guras geomtricas, de vectores, de
conjuntos...
Como puede observarse, la denicin 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 R o en R2 o R3 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 coecientes en los ideales en un anillo conmutativo,
por ejemplo) lo que motiva esta denicin. 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 R2 o R3 a
trabajar en espacios vectoriales arbitrarios.

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 nitas 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 A X un conjunto cualquiera y sea x A un punto arbitrario. Se dice que A es entorno de x si existe un
conjunto abierto G de manera que x G A . Todo
conjunto abierto es entorno de todos sus puntos. Al conjunto de todos los entornos de un punto x se le denomina
sistema de entornos de x .

Obsrvese que no se ha exigido que un entorno sea un


conjunto abierto. Los entornos abiertos son un tipo de enEn lo que sigue, (X, T ) representar siempre un espacio
tornos muy tiles (sobre todo en Geometra y Anlisis) y
topolgico.
muy usados, tanto que en muchas ocasiones se omite el
Ligado al concepto de conjunto abierto est el de conjunto calicativo abierto. Esto es un abuso de lenguaje y debe
cerrado. Un conjunto F X se dice que es cerrado si su evitarse.
complementario X \ F es un conjunto abierto. Es imporUna coleccin (V ) de entornos de un mismo punto x se
tante observar que un conjunto que no es abierto no nedice que es una base de entornos (o base local) de x
cesariamente ha de ser cerrado, y un conjunto que no sea
si dado cualquier entorno V de x existe un B (V ) de
cerrado no necesariamente ha de ser abierto. As, exismanera que B V .
ten conjuntos que son abiertos y cerrados a la vez, como
, y pueden existir conjuntos que no sean ni abiertos ni Se dice que un espacio topolgico cumple el Primer
Axioma de Numerabilidad (IAN) si cada punto del escerrados.
pacio tiene alguna base local de cardinal numerable.
Es inmediato comprobar que la interseccin de cerrados
es un conjunto cerrado, que la unin de una cantidad nita
de conjuntos cerrados es un conjunto cerrado, y que tanto
X como son conjuntos cerrados.
5.1.3 Subconjuntos notables asociados a un conjunSi Z X , el conjunto TZ := {G Z : G T } es
to
una topologa para Z . Se dir entonces que el espacio
(Z, TZ ) es subespacio topolgico del (X, T ) .
Ahora podemos establecer una serie de deniciones de
La nocin de subespacio topolgico se presenta de ma- gran importancia, pues sern las piezas bsicas del estunera natural, y es el concepto anlogo al de subgrupo en dio de la topologa y constituirn la materia prima de los
Teora de Grupos o al de subespacio vectorial en lgebra conceptos posteriores.

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

TOPOLOGA GENERAL O CONJUNTISTA

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 homeomorsmo 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 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 conEn 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 tode x , cualquiera que sea el entorno V de f (x) .
dos sus puntos frontera; y es acotado, es decir es poEs inmediato entonces comprobar que f es continua sible trazar una bola que lo contenga. La compacidad es
cuando y slo cuando es continua en x X , cualquiera una propiedad muy importante en topologa, as como en
que sea ste, es decir, cuando y slo cuando sea continua Geometra y en Anlisis Matemtico.
en cada uno de los puntos de su dominio.
En cualquier espacio topolgico, un conjunto cerrado
Informalmente hablando, una aplicacin es continua si dentro de un compacto, siempre es compacto. Adems,
transforma puntos que estn cerca en puntos que estn en un espacio topolgico de Hausdor, un compacto
cerca, es decir, si respeta la relacin de cercana. Esto siempre es cerrado.
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

5.7

Densidad

jeros, e incluso parece claro que entre estos hay tambin


una cierta diferencia. La homotopa y la homologa tratan
Las propiedades de separacin son ciertas propiedades, estas cuestiones.
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 7 Vase tambin
que para dos puntos distintos siempre pueden encontrarse
entornos disjuntos (es decir que no se cortan).

Portal:Matemtica. Contenido relacionado con


Matemtica.

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.

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 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 agu-

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

9
http://www.ehu.es/~{}mtwmastm/sigma20.pdf
Macho Stadler, Marta: Qu es la topologa?
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=94521812 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, Max Changmin, 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, Teoamez, TobeBot, RedBot, Tzihue, Jerowiki, PatruBOT, AldanaN, Veronoa, Proferichardperez, Jorge c2010, Foundling, EmausBot, ZroBot, ChessBOT, Sergio Andres Segovia, Kerny65, Grillitus, JackieBot, Quetzal02,
Abin, MerlIwBot, KLBot2, MetroBot, Gusama Romero, Acratta, KundaliniZero, Mechita korn, LlamaAl, rico, Helmy oved, Syum90,
Suhagja, Addbot, JacobRodrigues, Jarould, Rewindthetrust, Strakhov, JaimeDes, Ks-M9 y Annimos: 153

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.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/c/c1/Madrid_Metro_Map.svg Licencia:
GFDL Colaboradores: Otros mapas hechos por Benedicto16. Artista original: Javitomad
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