En matemáticas, la triangulación describe la sustitución de espacios topológicos por espacios lineales por partes , es decir, la elección de un homeomorfismo en un complejo simplicial adecuado . Los espacios que son homeomorfos a un complejo simplicial se denominan triangulares. La triangulación tiene varios usos en diferentes ramas de las matemáticas, por ejemplo en topología algebraica, en análisis complejos o en modelado.
Por un lado, a veces resulta útil olvidarse de la información superflua de los espacios topológicos: la sustitución de los espacios originales por complejos simpliciales puede ayudar a reconocer propiedades cruciales y a obtener una mejor comprensión del objeto considerado.
Por otro lado, los complejos simpliciales son objetos de carácter combinatorio y por lo tanto se les pueden asignar cantidades que surgen de su patrón combinatorio, por ejemplo, la característica de Euler . La triangulación permite ahora asignar tales cantidades a espacios topológicos.
Las investigaciones sobre la existencia y unicidad de las triangulaciones establecieron una nueva rama de la topología: la topología lineal por partes (topología PL corta). Su objetivo principal son las propiedades topológicas de los complejos simpliciales y su generalización, los complejos celulares .
Un complejo simplicial abstracto sobre un conjunto es un sistema de subconjuntos no vacíos tal que:
Los elementos de se llaman simples y los elementos de se llaman vértices. Un simplex con vértices tiene dimensión por definición. La dimensión de un complejo simplicial abstracto se define como . [1]
Los complejos abstractos simpliciales también pueden considerarse objetos geométricos. Esto requiere el término de simplex geométrico.
Sean puntos afínmente independientes en , es decir, los vectores son linealmente independientes . Se dice que el conjunto es el simplex abarcado por . Tiene dimensión por definición. Los puntos se llaman vértices de , los símplices abarcados por de los vértices se llaman caras y el límite se define como la unión de sus caras.
El símplex estándar dimensional es el símplex abarcado por los vectores unitarios [2]
Un complejo geométrico simplicial es una colección de simples geométricos tales que
La unión de todos los simples en da el conjunto de puntos de , denotado. Este conjunto está dotado de una topología al elegir los conjuntos cerrados para que sean cerrados para todos . Tenga en cuenta que, en general, esta topología no es la misma que la topología de subespacio que hereda de . Las topologías coinciden en el caso de que cada punto del complejo se encuentre sólo en un número finito de simples. [2]
Cada complejo geométrico puede asociarse a un complejo abstracto eligiendo como conjunto fundamental el conjunto de vértices que aparecen en cualquier símplex de y como sistema de subconjuntos cuyos subconjuntos corresponden a conjuntos de vértices de símplices en .
Una pregunta natural es si, a la inversa, cualquier complejo simplicial abstracto corresponde a un complejo geométrico. En general, la construcción geométrica mencionada aquí no es lo suficientemente flexible: consideremos, por ejemplo, un complejo abstracto simple de dimensión infinita. Sin embargo, la siguiente construcción más abstracta proporciona un espacio topológico para cualquier tipo de complejo simplicial abstracto:
Sea un complejo simplicial abstracto sobre un conjunto . Elija una unión de simples , pero cada uno de dimensión suficientemente grande, de modo que el simplex geométrico sea de dimensión si el simplex geométrico abstracto tiene dimensión . Si , se puede identificar con una cara de y el espacio topológico resultante es el encolado. Efectuando el encolado para cada inclusión, se termina con el espacio topológico deseado.
Como en la construcción anterior, por la topología inducida por pegado, los conjuntos cerrados en este espacio son los subconjuntos que están cerrados en la topología subespacial de cada simplex del complejo.
El complejo simplicial que consta de todos los simples de dimensión se llama el -ésimo esqueleto de .
Se considera que una vecindad natural de un vértice en un complejo simplicial está dada por la estrella de un simplex, cuyo límite es el enlace .
Los mapas considerados en esta categoría son mapas simpliciales: Sean , complejos simpliciales abstractos sobre conjuntos , . Un mapa simplicial es una función que asigna cada simplex a un simplex . Por extensión lineal afín sobre los simples, induce un mapa entre las realizaciones geométricas de los complejos. [2]
Una triangulación de un espacio topológico es un homeomorfismo donde hay un complejo simplicial. Los espacios topológicos no necesariamente admiten una triangulación y si la admiten no necesariamente son únicas.
Las triangulaciones de espacios permiten asignar invariantes combinatorios que surgen de sus complejos simpliciales dedicados a los espacios. Estas son características iguales para complejos que son isomórficos a través de un mapa simplicial y, por lo tanto, tienen el mismo patrón combinatorio.
Estos datos podrían ser útiles para clasificar espacios topológicos hasta el homeomorfismo, pero sólo dado que las características también son invariantes topológicas, es decir, no dependen de la triangulación elegida. Para los datos enumerados aquí, este es el caso. [4] Para obtener detalles y el vínculo con la homología singular , consulte invariancia topológica.
Mediante triangulación, se puede asignar un complejo de cadena a espacios topológicos que surgen de su complejo simplicial y calcular su homología simplicial . Los espacios compactos siempre admiten triangulaciones finitas y, por tanto, sus grupos de homología se generan de forma finita y sólo un número finito de ellos no desaparecen. Otros datos como los números de Betti o las características de Euler pueden derivarse de la homología.
Sea un complejo simplicial finito. El -ésimo número Betti se define como el rango del -ésimo grupo de homología simplicial de los espacios. Estos números codifican propiedades geométricas de los espacios: el número de Betti, por ejemplo, representa el número de componentes conectados . Para superficies orientables cerradas y trianguladas , se cumple donde denota el género de la superficie: por lo tanto, su primer número de Betti representa el número duplicado de asas de la superficie. [5]
Con los comentarios anteriores, para espacios compactos todos los números de Betti son finitos y casi todos son cero. Por lo tanto, se puede formar su suma alterna.
que se llama característica de Euler del complejo, una invariante topológica pegadiza.
Para utilizar estos invariantes para la clasificación de espacios topológicos hasta el homeomorfismo se necesita la invariancia de las características con respecto al homeomorfismo.
Un enfoque famoso a la cuestión fue a principios del siglo XX el intento de demostrar que dos triangulaciones cualesquiera del mismo espacio topológico admiten una subdivisión común . Esta suposición se conoce como Hauptvermutung ( en alemán: Suposición principal). Sea un complejo simple. Se dice que un complejo es una subdivisión de si:
Esas condiciones aseguran que las subdivisiones no cambien el complejo simplicial como conjunto o como espacio topológico. Se dice que una aplicación entre complejos simpliciales es lineal por partes si hay un refinamiento de tal que sea lineal por partes en cada simplex de . Se dice que dos complejos que se corresponden entre sí mediante biyección lineal por partes son isomórficos combinatorios. En particular, dos complejos que tienen un refinamiento común son combinatoriamente equivalentes. Los grupos de homología son invariantes a la equivalencia combinatoria y, por tanto, la Hauptvermutung daría la invariancia topológica de los grupos de homología simpliciales. En 1918, Alejandro introdujo el concepto de homología singular. De ahora en adelante, la mayoría de las invariantes que surgen de la triangulación fueron reemplazadas por invariantes que surgen de la homología singular. Para esos nuevos invariantes, se puede demostrar que eran invariantes con respecto al homeomorfismo e incluso con respecto a la equivalencia de homotopía . [6] Además, se demostró que los grupos de homología singular y simplicial coinciden. [6] Esta solución ha demostrado la invariancia de los datos al homeomorfismo. La Hauptvermutung perdió importancia, pero fue la inicial para una nueva rama de la topología: la topología lineal por partes (topología PL corta). [7]
La Hauptvermutung ( conjetura principal en alemán ) afirma que dos triangulaciones siempre admiten una subdivisión común. Originalmente, su propósito era demostrar la invariancia de invariantes combinatorios con respecto a los homeomorfismos. La suposición de que tales subdivisiones existen en general es intuitiva, ya que las subdivisiones son fáciles de construir para espacios simples, por ejemplo, para variedades de baja dimensión. De hecho, la suposición fue probada para variedades de dimensión y para variedades diferenciables, pero fue refutada en general: [8] Una herramienta importante para mostrar que las triangulaciones no admiten una subdivisión común. i. Si sus complejos subyacentes no son combinatoriamente isomórficos es el invariante combinatorio de la torsión de Reidemeister.
Para refutar la Hauptvermutung es útil utilizar invariantes combinatorios que no sean invariantes topológicos. Un ejemplo famoso es la torsión de Reidemeister. Se puede asignar a una tupla de complejos CW: si esta característica será una invariante topológica pero si en general no. Una aproximación a la Hauptvermutung fue encontrar espacios homeomórficos con diferentes valores de torsión de Reidemeister. Esta invariante se utilizó inicialmente para clasificar espacios de lentes y los primeros contraejemplos de la Hauptvermutung se construyeron basándose en espacios de lentes: [8]
En su formulación original, los espacios de lentes son 3 variedades, construidos como espacios cocientes de las 3 esferas: Sean números naturales, tales que sean coprimos. El espacio de la lente se define como el espacio de órbita de la acción del grupo libre.
Para diferentes tuplas , los espacios de lentes serán equivalentes a la homotopía pero no homeomórficos. Por lo tanto, no se pueden distinguir con la ayuda de invariantes clásicas como grupo fundamental sino mediante el uso de la torsión de Reidemeister.
Dos espacios de lentes son homeomórficos, si y sólo si . [9] Este es el caso si dos espacios de lentes son equivalentes a homotopía simple . Este hecho puede utilizarse para construir contraejemplos para la Hauptvermutung de la siguiente manera. Supongamos que hay espacios derivados de espacios de lentes no homeomórficos que tienen diferente torsión de Reidemeister. Supongamos además que la modificación en no afecta la torsión de Reidemeister pero que después de la modificación y son homeomorfas. Los espacios resultantes desmentirán la Hauptvermutung.
Además de la cuestión de triangulaciones concretas para cuestiones computacionales, hay afirmaciones sobre espacios que son más fáciles de demostrar dado que son complejos simpliciales. Especialmente interesantes son las variedades. Las variedades topológicas de dimensión siempre son triangulares [10] [11] [1] pero hay variedades no triangulares para dimensión , arbitrarias pero mayores que tres. [12] [13] Además, las variedades diferenciables siempre admiten triangulaciones. [3]
Los colectores son una clase importante de espacios. Es natural exigir que no sólo sean triangulares sino que además admitan un atlas lineal por partes, una estructura PL:
Sea un complejo simplicial tal que cada punto admita una vecindad abierta tal que haya una triangulación y un homeomorfismo lineal por partes . Entonces se dice que es una variedad de dimensión lineal por partes (PL) y la triangulación junto con el atlas PL se dice que es una estructura PL en .
Un lema importante es el siguiente:
Sea un espacio topológico. es equivalente
La equivalencia del segundo y tercer enunciado se debe a que el vínculo de un vértice es independiente de la triangulación elegida hasta el isomorfismo combinatorio. [14] Se puede demostrar que las variedades diferenciables admiten una estructura PL así como variedades de dimensión . [15] Los contraejemplos de la conjetura de triangulación son, por supuesto, contraejemplos de la conjetura de la existencia de una estructura PL.
Además, hay ejemplos de espacios triangulados que no admiten una estructura PL. Considere una esfera de homología PL de dimensiones . La doble suspensión es una esfera topológica. Al elegir una triangulación obtenida mediante la operación de suspensión de triangulaciones, el complejo simplicial resultante no es una variedad PL, porque hay un vértice tal que no es una esfera. [dieciséis]
Una pregunta que surge con la definición es si las estructuras PL son siempre únicas: dadas dos estructuras PL para el mismo espacio , ¿existe un homeomorfismo que sea lineal por partes con respecto a ambas estructuras PL? La suposición es similar a la Hauptvermutung y, de hecho, hay espacios que tienen diferentes estructuras PL que no son equivalentes. La triangulación de espacios equivalentes a PL se puede transformar entre sí mediante movimientos de Pachner:
Los movimientos de Pachner son una forma de manipular triangulaciones: sea un complejo simple. Para dos simples la unión
son los puntos que se encuentran en rectas entre los puntos en y en . Elija tal que para cualquier mentira no en . Se puede obtener un nuevo complejo reemplazando por . Este reemplazo se llama movimiento de Pachner. El teorema de Pachner establece que siempre que dos variedades trianguladas son equivalentes a PL, hay una serie de movimientos de Pachner que transforman ambas en otras. [17]
Una construcción similar pero más flexible que los complejos simpliciales es la de los complejos celulares (o complejos CW). Su construcción es la siguiente:
Una celda es la bola unitaria de dimensión cerrada , una celda abierta es su interior . Sea un espacio topológico, sea un mapa continuo. Se dice que el pegado se obtiene pegando una celda.
Un complejo celular es una unión de espacios topológicos tales que
Cada complejo simplicial es un complejo CW; lo inverso no es cierto. La construcción de complejos CW se puede utilizar para definir la homología celular y se puede demostrar que la homología celular y la homología simplicial coinciden. [18] Para cuestiones computacionales, a veces es más fácil asumir que los espacios son complejos CW y determinar su homología mediante descomposición celular; un ejemplo es el plano proyectivo : su construcción como complejo CW necesita tres celdas, mientras que su complejo simplicial consta de 54 simples.
Al triangular variedades unidimensionales, se puede demostrar que siempre son homeomorfas para separar copias de la línea real y la esfera unitaria . Además, las superficies, es decir, de 2 variedades, se pueden clasificar completamente: Sea una superficie compacta.
Para demostrar este teorema se construye un polígono fundamental de la superficie: esto se puede hacer utilizando la estructura simple obtenida por la triangulación. [19]
Dar a los espacios la estructura de una estructura simple podría ayudar a comprender los mapas definidos en los espacios. A menudo se puede suponer que los mapas son mapas simpliciales mediante el teorema de aproximación simplicial:
Sean , complejos simpliciales abstractos sobre conjuntos , . Un mapa simplicial es una función que asigna cada simplex a un simplex . Por extensión lineal afín sobre los simples, induce un mapa entre las realizaciones geométricas de los complejos. Cada punto de un complejo geométrico se encuentra en el interior de exactamente un simplex, su soporte. Consideremos ahora un mapa continuo . Se dice que una aplicación simplicial es una aproximación simple de si y sólo si cada uno de ellos se asigna sobre el soporte de in . Si tal aproximación existe, se puede construir una homotopía transformándose en definiéndola en cada simplex; ahí siempre existe, porque los simples son contráctiles.
El teorema de aproximación simple garantiza para cada función continua la existencia de una aproximación simple al menos después del refinamiento de , por ejemplo reemplazando por su subdivisión baricéntrica iterada. [2] El teorema juega un papel importante en ciertos enunciados de topología algebraica para reducir el comportamiento de aplicaciones continuas respecto de aplicaciones simpliciales, por ejemplo en el teorema del punto fijo de Lefschetz.
El número de Lefschetz es una herramienta útil para saber si una función continua admite puntos fijos. Estos datos se calculan de la siguiente manera: Supongamos que y son espacios topológicos que admiten triangulaciones finitas. Un mapa continuo induce homomorfismos entre sus grupos de homología simplicial con coeficientes en un campo . Estos son mapas lineales entre espacios vectoriales, por lo que se puede determinar su traza y su suma alterna.
se llama número de Lefschetz . Si , este número es la característica de Euler de . El teorema del punto fijo establece que siempre que , tiene un punto fijo. En la prueba, esto se muestra primero sólo para aplicaciones simpliciales y luego se generaliza para cualquier función continua mediante el teorema de aproximación. El teorema del punto fijo de Brouwer trata el caso en el que existe un endomorfismo de la bola unitaria. Porque todos sus grupos de homología desaparecen y siempre es la identidad, por lo que tiene un punto fijo. [20]
La fórmula de Riemann-Hurwitz permite determinar el género de una superficie de Riemann compacta y conexa sin utilizar una triangulación explícita. La prueba necesita la existencia de triangulaciones para superficies en un sentido abstracto: Sea una función holomorfa no constante sobre una superficie con género conocido. La relación entre el género de las superficies y es.
donde denota el grado del mapa. La suma está bien definida ya que solo cuenta los puntos ramificados de la función.
El trasfondo de esta fórmula es que las funciones holomorfas en las superficies de Riemann son recubrimientos ramificados. La fórmula se puede encontrar examinando la imagen de la estructura simplicial cerca de los puntos de ramificación. [21]
{{citation}}
: CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link){{citation}}
: CS1 maint: location missing publisher (link)