Está en la página 1de 12

Introducción a la Topología

Ilustración del teorema de los cuatro colores.

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.

Esta es la razón de que se la llame la «geometría de la página de goma», porque es como si


estuviéramos estudiando geometría sobre un papel de goma que pudiera contraerse,
estirarse, etc.

Una taza transformándose en una rosquilla (toro o toroide).


Hacer ctrl+click para ver animación.

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

Plano del metro de Madrid.

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.

Como hemos dicho, el concepto fundamental de la topología es la "relación de


proximidad", que puede parecer ambigua y subjetiva. El gran logro de la topología es dar
una formulación precisa, objetiva y útil de este concepto. Para ello tomamos un conjunto de
referencia , que será el ambiente en el que nos moveremos, y al que llamaremos espacio.
Tomaremos un elemento cualquiera de . A los elementos del espacio se les llama
puntos, así que será llamado punto, independientemente de que sea una función, un
vector, un conjunto, un ideal maximal en un anillo conmutativo y unitario... Un
subconjunto de será un entorno de si incluye un conjunto abierto de
manera que es elemento de . ¿Qué entenderemos por conjunto abierto? Aquí está el
quid de la cuestión: una colección de subconjuntos de se dirá que es una topología
sobre si es uno de los elementos de esa colección, si es un elemento de la
colección, si la unión de elementos de la colección da como resultado un elemento de la
colección y si la intersección finita de elementos de la colección también es un elemento de
la colección. A los elementos de la colección se les denomina abiertos de la topología
, y al par se le denomina espacio topológico.

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

cualesquiera que sean .

Si tenemos definida una distancia sobre , diremos que la pareja es un espacio


métrico. Dado un espacio métrico , queda determinada una topología sobre en la
que los conjuntos abiertos son los subconjuntos de tales que cualquiera que sea el
punto de existe un número de tal manera que el conjunto
está totalmente incluido en . Al conjunto
se le denomina bola abierta de centro y radio , y será
precisamente un entorno del punto .

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:

 la topología general o conjuntista,


 la topología algebraica y
 la topología diferencial.

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.

En matemáticas, la topología general es la rama de topología que trata las definiciones y


construcciones básicas de teoría de conjuntos usadas en topología. Contiene los
fundamentos de la mayoría de las otras ramas de la topología, incluyendo topología
diferencial, topología geométrica, y topología algebraica.

Los conceptos fundamentales en topología general son continuidad, compacidad y


conexión:

 Las funciones continuas, intuitivamente, llevan puntos cercanos a puntos cercanos.


 Los conjuntos compactos son los que pueden ser cubiertos por finitos conjuntos
arbitrariamente pequeños.
 Los conjuntos conexos son los que no pueden ser divididos en piezas lejanas.

Las ideas de «cercano», «arbitrariamente cercano» y «lejano» pueden expresarse de forma


precisa usando los conjuntos abiertos. Si cambiamos qué conjuntos son abiertos,
cambiamos qué funciones son continuas y qué conjuntos son compactos y/o conexos. Se
llama topología a cada elección de «conjuntos abiertos». Se llama espacio topológico a un
conjunto dotado de una topología.

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:

 el estudio detallado de los subconjuntos de la línea real.


 la introducción del concepto de variedad.
 el estudio de los espacios métricos, especialmente de los espacios vectoriales
normados, durante los inicios análisis funcional.

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.

Una topología en un conjunto

Sea X un conjunto y sea τ una familia de subconjuntos de X. Se dice que τ es una topología
si:

1. El conjunto vacío y X son elementos de τ.


2. Cualquier unión de elementos de τ es un elemento de τ.
3. Cualquier intersección de una cantidad finita de elementos de τ es un elemento de τ.

Si τ es una topología en X, entonces el par (X, τ) se dice espacio topológico. La notación Xτ


puede ser usada para denotar un conjunto X dotado de la topología particular τ.

Llamamos a los elementos de τ los conjuntos abiertos en X. Un subconjunto de X se


dice cerrado si su complemento pertenece a τ (es decir, su complemento es abierto). Un
subconjunto de X puede ser abierto, cerrado, ambos (conjunto clopen), o ninguno. El
conjunto vacío y X siempre son, a la vez, abiertos y cerrados.

Base para una topología

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.

Subespacio, producto y cociente

Un subconjunto de un espacio topológico puede ser visto como un espacio topológico al


dotarlo de la topología traza, definida como la topología cuyos abiertos son las
intersecciones de los abiertos del espacio original con el subespacio.

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.

Un espacio cociente se define como sigue: si X es un espacio topológico, Y es un conjunto


y f: X → Y es una función sobreyectiva, entonces la topología cociente en Y es la colección
de subconjuntos de Y que tienen preimágenes por f abiertas. En otras palabras, la topología
cociente es la topología más fina en Y para la cual f es continua. Un ejemplo común de
topología cociente es la inducida por una relación de equivalencia en X. La aplicación f es
entonces la proyección natural al conjunto de clases de equivalencia.

Ejemplos de espacios topológicos

Un conjunto dado puede tener muchas topologías diferentes. Si se dota a un conjunto de


una topología diferente, el espacio topológico resultante es diferente. Cualquier conjunto
puede ser dotado de la topología discreta en la que todo subconjunto es abierto. Las únicas
sucesiones o redes convergentes en esta topología son las que son últimamente constantes.
También, cualquier conjunto puede ser dotado de la topología trivial (también llamada
topología indiscreta), en la que sólo el conjunto vacío y el espacio en su totalidad son
abiertos. Toda sucesión y toda red en esta topología convergen a todo punto del espacio.
Este ejemplo muestra que, en un espacio topológico general, los límites de sucesiones no
son necesariamente únicos. Sin embargo, es frecuente requerir que los espacios topológicos
sean espacios de Hausdorff, espacios en los que los límites de sucesiones sí son únicos.

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.

Un toro o toroide, uno de los objetos más frecuentemente estudiados en topología


algebraica.

El método de los invariantes algebraicos

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

Varios resultados útiles se siguen inmediatamente de trabajar con grupos abelianos


finitamente generados. El rango libre del grupo de n-homología de un complejo simplicial
es igual al n-número de Betti, así que se pueden usar los grupos de homología de un
complejo simplicial para calcular su característica de Euler-Poincaré. Si un grupo de n-
homología de un complejo simplicial tiene torsión, entonces el complejo es no-orientable.
Así que la homología "codifica" gran parte de la información topológica de un espacio
topológico dado.

Más allá de la homología simplicial, podemos usar la estructura diferencial de las


Variedades por medio de la Cohomología de De Rham, o la de Cech o con la cohomología
de haces para investigar la resolubilidad de las ecuaciones diferenciales definidas en la
variedad en cuestión. De Rham demostró que todos estos tipos de aproximación están
interrelacionados y que los números de Betti que se derivan de la homología simplicial eran
los mismos números de Betti que aquellos que se derivan de la cohomología de De Rham.

Aplicaciones

Entre las aplicaciones clásicas de la topología algebraica se encuentran:

 El teorema del punto fijo de Brouwer: toda aplicación continua f de un disco


cerrado en sí mismo admite al menos un punto fijo.
 La n-esfera admite un campo vectorial unitario continuo, que no se anula nunca, si y
solo si n es impar (para n = 2, este resultado también se conoce como teorema de la
bola peluda).
 El teorema de Borsuk–Ulam.

Posicionamiento en Teoría de Categorías

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.

Los problemas de la topología algebraica

El problema geométrico, abierto por cerca de un siglo, y más famoso de la topología


algebraica es la Conjetura de Poincaré, resuelto por el ruso Grigori Perelmán en 2002. El
campo de la Teoría de homotopía contiene muchos misterios, en particular la manera
correcta de describir los grupos de homotopía de las esferas.
Topología diferencial
En matemáticas, la topología diferencial es una rama de conocimientos que considera las
variedades 1 diferenciables y a las funciones diferenciables entre ellas. Estudia las posibles
estructuras diferenciables que las variedades pueden portar. Es una ciencia adyacente a la
geometría diferencial.

La topología diferencial usa una de las principales herramientas de la teoría de intersección:


transversalidad, para establecer sus principales resultados.

Algunas de las cuestiones que esta ciencia trata de responder son:

 ¿Cuántas estructuras diferenciables tiene una 2-variedad? ¿Y una 3-variedad?


 ¿Puede una cierta variedad diferenciable ser encajada (del inglés: embedded) en
otra?
 Si dos variedades diferenciables son homeomorfas ¿son difeomorfas?
 ¿Qué variedades diferenciables son frontera de variedades compactas?

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

Una variedad se llama cerrada si no tiene borde y es compacta.

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.

También podría gustarte