Documentos de Académico
Documentos de Profesional
Documentos de Cultura
La topología (del griego τόπος, 'lugar', y λόγος, 'estudio') es la rama de las matemáticas
dedicada al estudio de aquellas propiedades de los cuerpos geométricos que permanecen
inalteradas por transformaciones continuas. Es una disciplina que estudia las propiedades
de los espacios topológicos y las funciones continuas. La topología se interesa por
conceptos como proximidad, número de agujeros, el tipo de consistencia (o textura) que
presenta un objeto, comparar objetos y clasificar múltiples atributos donde destacan
conectividad, compacidad, metricidad o metrizabilidad, entre otros.
Los matemáticos usan la palabra topología con dos sentidos: informalmente es el sentido
arriba especificado, y de manera formal es la referencia a una cierta familia de
subconjuntos de un conjunto dado, familia que cumple unas reglas sobre la unión y la
intersección —este segundo sentido puede verse desarrollado en el artículo espacio
topológico—.
Idea intuitiva
Coloquialmente, se presenta a la topología como la «geometría de la página de goma
(chicle)». Esto hace referencia a que, en la geometría euclídea, dos objetos serán
equivalentes mientras podamos transformar uno en otro mediante isometrías (rotaciones,
traslaciones, reflexiones, etc.), es decir, mediante transformaciones que conservan las
medidas de ángulo, área, longitud, volumen y otras.
En topología, dos objetos son equivalentes en un sentido mucho más amplio. Han de tener
el mismo número de trozos, huecos, intersecciones, etc. En topología 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 triángulo es
topológicamente 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 habría que partirla (o pegarla) por algún punto.
Un chiste habitual entre los topólogos (los matemáticos que se dedican a la topología) es
que «un topólogo es una persona incapaz de distinguir una taza de una rosquilla». Pero esta
visión, aunque muy intuitiva e ingeniosa, es sesgada y parcial. Por un lado, puede llevar a
pensar que la topología trata solo de objetos y conceptos geométricos, siendo más bien al
contrario, es la geometría la que trata con un cierto tipo de objetos topológicos. Por otro
lado, en muchos casos es imposible dar una imagen o interpretación intuitiva de problemas
topológicos o incluso de algunos conceptos. Es frecuente entre los estudiantes primerizos
escuchar que «no entienden la topología» y que no les gusta esa rama; generalmente se
debe a que se mantienen en esta actitud gráfica. Por último, la topología se nutre también en
buena medida de conceptos cuya inspiración se encuentra en el análisis matemático. Se
puede decir que casi la totalidad de los conceptos e ideas de esta rama son conceptos e
ideas topológicos.
Un ejemplo clarificador
Observemos un plano del metro de Madrid. En él están representadas las estaciones y las
líneas de metro que las unen, pero no es geométricamente exacto. La curvatura de las líneas
de metro no coincide, ni su longitud a escala, ni la posición relativa de las estaciones... Pero
aun así es un plano perfectamente útil. Sin embargo, este plano es exacto en cierto sentido
pues representa fielmente cierto tipo de información, la única que necesitamos para decidir
nuestro camino por la red de metro: información topológica.
Historia de la topología
Históricamente, las primeras ideas topológicas conciernen al concepto de límite y al de
completitud de un espacio métrico, y se manifestaron principalmente en la crisis de los
inconmesurables de los pitagóricos, ante la aparición de números reales no racionales. El
primer acercamiento concreto al concepto de límite y también al de integral aparece en el
método de exhaución de Arquímedes. La aparición del análisis matemático en el siglo XVII
puso en evidencia la necesidad de formalizar los conceptos de proximidad y continuidad, y
la incapacidad de la geometría para tratar este tema. Fue precisamente la fundamentación
del cálculo infinitesimal, así como los intentos de formalizar el concepto de variedad en
Geometría lo que llevó a la aparición de la topología, a finales del siglo XIX y principios
del XX.
Se suele fechar el origen de la topología con la resolución por parte de Euler del problema
de los puentes de Königsberg, en 1735. Ciertamente, la resolución de Euler del problema
utiliza una forma de pensar totalmente topológica, y la solución del problema nos lleva a la
característica de Euler, el primer invariante de la topología algebraica, pero sería muy
arriesgado y arbitrario fechar en ese momento la aparición de la topología. La situación es
exactamente análoga a la del cálculo del área de la elipse por Arquímedes.
El término topología fue usado por primera vez por Johann Benedict Listing, en 1836 en
una carta a su antiguo profesor de la escuela primaria, Müller, y posteriormente en su libro
Vorstudien zur Topologie ('Estudios previos a la topología'), publicado en 1847.
Anteriormente se la denominaba analysis situs. Maurice Fréchet introdujo el concepto de
espacio métrico en 1906.
Cronología
Año Acontecimiento
Euclides define las secciones cónicas y estudia los poliedros regulares, una
300 a.C.
de las formas más básicas estudiadas por los topólogos.
250 a.C. Arquímedes investiga las curvas espirales y los poliedros truncados.
1735 d.C. Leonhard Euler resuelve el problema de los puentes de Königsberg.
Los alemanes August Möbius y Johann Benedict Listing descubren en forma
1858
independiente la hoy llamada banda de Möbius.
Giuseppe Peano aplicando la definición de Jordán demuestra que un
1890
cuadrado relleno también es una curva.
Década de Pável Urysón y Karl Menger definen el concepto de curva a partir de la
1920 topología.
Desarrollo formal
En el artículo Glosario de Topología se encuentra una colección de términos topológicos
con su significado. Aquí y ahora nos limitaremos a dar algunas nociones básicas.
Las condiciones para que sea topología sobre son entonces estas:
Puede parecer extraño que de una definición tan altamente formal y conjuntista se obtenga
una formulación precisa del concepto de proximidad. Lo primero que se observa es que
sobre un mismo espacio se pueden definir distintas topologías, generando entonces
distintos espacios topológicos. Por otra parte, precisamente la manera en que quede
determinada una topología sobre un conjunto (es decir, la elección del criterio que nos
permita decidir si un conjunto dado es o no abierto) es lo que va a dar carácter
"visualizable" o no a ese espacio topológico.
Una de las maneras más sencillas de determinar una topología es mediante una distancia o
métrica, método que sólo es aplicable en algunos casos (si bien es cierto que muchos de los
casos más interesantes de topologías en la Geometría y del Análisis Matemático pueden
determinarse mediante alguna distancia). Una distancia sobre un conjunto es una
aplicación que verifica las siguientes propiedades:
;
;
si y sólo si ;
;
Como se ha apuntado antes, por desgracia no toda topología proviene de una distancia, es
decir, existen espacios topológicos que no son espacios métricos. Cuando un espacio
topológico es además espacio métrico (esto es, cuando dada una topología sobre un
conjunto, puede definirse en ese conjunto una distancia de manera que la topología
generada por la distancia coincida con la topología dada) se dice que el espacio topológico
es metrizable. Un problema clásico en topología es el de determinar qué condiciones debe
satisfacer un espacio topológico para que sea metrizable.
Ramas de la topología
Se suelen considerar principalmente tres ramas:
Además de estas tres ramas, que podríamos decir propiamente topológicas, la implicación
en mayor o menor medida en otras disciplinas matemáticas hacen que muchos consideren
parte de la topología al análisis funcional, la teoría de la medida, la teoría de nudos (parte
de la topología de dimensiones baja), la teoría de grupos topológicos, etc. Es fundamental
su contribución a la teoría de grafos, análisis matemático, ecuaciones diferenciales,
ecuaciones funcionales, variable compleja, geometría diferencial, geometría algebraica,
álgebra conmutativa, estadística, teoría del caos, geometría fractal... Incluso tiene
aplicaciones directas en biología, sociología, etc.
Topología general o conjuntista
El seno del topólogo, un ejemplo útil en topología general. Es conexo pero no conexo por
caminos.
Los espacios métricos son una clase importante de espacios topológicos en los que se puede
asignar un número a las distancias, llamada una métrica. La existencia de una métrica
simplifica la mayoría de las demostraciones, y muchos de los espacios topológicos más
comunes son también espacios métricos.
Historia
La topología general se desarrolló gracias a varias áreas, siendo las más importantes:
La topología general alcanzó la forma que se conoce hoy en día en alrededor de 1940.
Prácticamente todo se captura en una forma apropiada de la noción de continuidad, que
puede ser usada en cualquier área de la matemática.
Sea X un conjunto y sea τ una familia de subconjuntos de X. Se dice que τ es una topología
si:
Una base B para un espacio topológico (X,τ) es una colección de conjuntos abiertos en τ tal
que cada conjunto abierto en τ puede ser escrito como unión de elementos de B. Decimos
que la base genera la topología τ. Las bases son útiles porque muchas propiedades de una
topología pueden escritas sólo en término de una base que genera tal topología, y porque en
muchos casos las es más sencillo definir una topología en términos de una base que la
genera.
Dada cualquier familia indexada de espacios topológicos, el producto puede ser dotado de
la topología producto, la cual está generada por las preimágenes de los abiertos de los
factores a través de las proyecciones. Por ejemplo, en productos finitos una base para la
topología producto consta de todos los productos de conjuntos abiertos. Para productos
infinitos, es necesario agregar el requisito adicional que todos salvo finitos abiertos sean la
totalidad del espacio.
Hay muchas maneras de definir una topología en R, el conjunto de los números reales. La
topología estándar en R está generada por los intervalos abiertos, es decir, el conjunto de
todos los intervalos abiertos forma una base para la topología. En particular, esto implica
que un conjunto es abierto si existe un intervalo abierto de radio no nulo centrado en cada
punto del conjunto y completamente contenido en tal conjunto.
Topología algebraica
La topología algebraica es una rama de la topología (comprensión de las matemáticas ) en
la que se usan las herramientas del álgebra abstracta para estudiar los espacios topológicos.
El objetivo básico es encontrar invariantes algebraicas que clasifican los espacios
topológicos hasta el homeomorfismo, aunque normalmente muchos se clasifican hasta la
equivalencia homotópica.
La meta es clasificar los espacios topológicos. Un nombre antiguo para esta materia era el
de topología combinatoria, que ponía el énfasis en cómo un espacio dado X podía
construirse a partir de espacios más pequeños. El método básico que se aplica ahora en
topología algebraica es el de investigar los espacios por medio de los invariantes
algebraicos: por ejemplo aplicándolos, relacionándolos con los grupos, que tienen bastante
estructura utilizable, y de manera que se respete la relación de homeomorfismo de espacios.
Las dos formas principales como se hace esto son a través de los grupos fundamentales, o
más en general la Teoría de homotopía, y por medio de los grupos de homología y de
cohomología. Los grupos fundamentales nos suministran información básica sobre la
estructura de un espacio topológico; pero son a menudo no-abelianos y pueden ser difíciles
de usar. El grupo fundamental de un complejo simplicial (finito) tiene una presentación
finita.
Los grupos de homología y cohomología, por otra parte, son abelianos, y en muchos casos
importantes son finitamente generados. Los grupos abelianos finitamente generados pueden
clasificarse completamente y son particularmente fáciles de usar.
Resultados en homología
Aplicaciones
En general, todas las construcciones de la topología algebraica son funtoriales: las nociones
de categoría, funtor y transformación natural se originaron aquí. Los grupos fundamentales,
de homología y cohomología no son sólo invariantes del espacio topológico subyacente, en
el sentido de que dos espacios topológicos son homeomorfos si tienen asociados los
mismos grupos; una aplicación continua de espacios induce un homomorfismo entre los
grupos asociados, y estos homomorfismos pueden ser usados para probar la no-existencia
(o, más profundamente, la existencia) de aplicaciones.
1
Variedad:
Una variedad es el objeto geométrico estándar en matemática que generaliza la noción intuitiva de curva (1-
variedad) y de superficie (2-variedad) a cualquier dimensión y sobre cuerpos diversos (no necesariamente el
de los reales).
Un poco más formalmente, podemos decir que una variedad de dimensión n es un espacio que se parece
localmente a . Esto nos hace pensar que una variedad está compuesta de parches n-dimensionales, que
donde los parches se traslapan están pegados topológicamente (ver variedad diferenciable).
Un campo de investigación muy activo es el estudio de las 3-variedades, que pertenece al área de la topología
de dimensiones bajas.