Академический Документы
Профессиональный Документы
Культура Документы
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.
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.
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
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
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.
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.1.1
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 .
5.2
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 .
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 .
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-
5.6
Separacin
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. 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 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
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
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