En geometría , un simplex (plural: simplexes o simplexes ) es una generalización de la noción de triángulo o tetraedro a dimensiones arbitrarias . El simplex se llama así porque representa el politopo más simple posible en cualquier dimensión dada. Por ejemplo,
Específicamente, un k -simplex es un politopo k -dimensional que es el casco convexo de sus k + 1 vértices . Más formalmente, supongamos que los k + 1 puntos son afínmente independientes , lo que significa que los k vectores son linealmente independientes . Entonces, el símplex determinado por ellos es el conjunto de puntos
Un simplex regular [1] es un simplex que también es un politopo regular . Un k -simplex regular se puede construir a partir de un ( k − 1) -simplex regular conectando un nuevo vértice a todos los vértices originales mediante la longitud del borde común.
El simplex estándar o simplex de probabilidad [2] es el simplex ( k − 1) -dimensional cuyos vértices son los k vectores unitarios estándar en , o en otras palabras
En topología y combinatoria , es común "pegar" simples para formar un complejo simplicial . La estructura combinatoria asociada se llama complejo simplicial abstracto , en cuyo contexto la palabra "simplex" simplemente significa cualquier conjunto finito de vértices.
El concepto de simplex era conocido por William Kingdon Clifford , quien escribió sobre estas formas en 1886 pero las llamó "límites primarios". Henri Poincaré , escribiendo sobre topología algebraica en 1900, los llamó "tetraedros generalizados". En 1902, Pieter Hendrik Schoute describió el concepto primero con el superlativo latino simplicissimum ("el más simple") y luego con el mismo adjetivo latino en la forma normal simplex ("simple"). [3]
La familia simplex regular es la primera de tres familias de politopos regulares , etiquetadas por Donald Coxeter como α n , las otras dos son la familia de politopos cruzados , etiquetada como β n , y los hipercubos , etiquetados como γ n . Una cuarta familia, la teselación del espacio n -dimensional por infinitos hipercubos , la denominó δ n . [4]
La cáscara convexa de cualquier subconjunto no vacío de los n + 1 puntos que definen un n -símplex se llama cara del símplex. Los rostros son simples en sí mismos. En particular, el casco convexo de un subconjunto de tamaño m + 1 (de los n + 1 puntos que definen) es un m -símplex, llamado m -cara del n -símplex. Las caras 0 (es decir, los puntos que se definen como conjuntos de tamaño 1) se llaman vértices (singular: vértice), las caras 1 se llaman aristas , las caras ( n − 1 ) se llaman facetas y la única n -cara es el n -símplex completo en sí. En general, el número de m -caras es igual al coeficiente binomial . [5] En consecuencia, el número de m -caras de un n -simplex se puede encontrar en la columna ( m + 1 ) de la fila ( n + 1 ) del triángulo de Pascal . Un simplex A es una cocara de un simplex B si B es una cara de A. Cara y faceta pueden tener diferentes significados al describir tipos de simples en un complejo simplicial .
El vector f extendido para un n -simplex se puede calcular mediante ( 1 , 1 ) n +1 , como los coeficientes de los productos polinomiales . Por ejemplo, un 7-símplex es ( 1 , 1 ) 8 = ( 1,2 , 1 ) 4 = ( 1,4,6,4 , 1 ) 2 = ( 1,8,28,56,70,56 , 28,8, 1 ).
El número de 1 caras (aristas) del n -simplex es el n -ésimo número del triángulo , el número de 2 caras del n -simplex es el ( n − 1) ésimo número del tetraedro , el número de 3 caras del n -simplex es el ( n − 2) ésimo número de 5 celdas, y así sucesivamente.
Un n -simplex es el politopo con la menor cantidad de vértices que requiere n dimensiones. Considere un segmento de línea AB como una forma en un espacio unidimensional (el espacio unidimensional es la línea en la que se encuentra el segmento). Se puede colocar un nuevo punto C en algún lugar fuera de la línea. La nueva forma, el triángulo ABC , requiere dos dimensiones; no puede caber en el espacio unidimensional original. El triángulo es el 2-símplex, una forma simple que requiere dos dimensiones. Considere un triángulo ABC , una forma en un espacio bidimensional (el plano en el que reside el triángulo). Se puede colocar un nuevo punto D en algún lugar fuera del avión. La nueva forma, el tetraedro ABCD , requiere tres dimensiones; no puede caber en el espacio bidimensional original. El tetraedro es el 3-símplex, una forma simple que requiere tres dimensiones. Considere el tetraedro ABCD , una forma en un espacio tridimensional (el espacio tridimensional en el que se encuentra el tetraedro). Se puede colocar un nuevo punto E en algún lugar fuera del espacio 3. La nueva forma ABCDE , llamada de 5 celdas, requiere cuatro dimensiones y se llama 4-símplex; no puede caber en el espacio tridimensional original. (Tampoco se puede visualizar fácilmente). Esta idea se puede generalizar, es decir, agregar un único punto nuevo fuera del espacio actualmente ocupado, lo que requiere ir a la siguiente dimensión superior para mantener la nueva forma. Esta idea también se puede trabajar al revés: el segmento de línea con el que comenzamos es una forma simple que requiere un espacio unidimensional para contenerlo; el segmento de recta es el 1-símplex. El segmento de línea en sí se formó comenzando con un solo punto en el espacio de 0 dimensiones (este punto inicial es el 0-símplex) y agregando un segundo punto, lo que requirió el aumento al espacio de 1 dimensión.
Más formalmente, un ( n + 1) -simplex se puede construir como una unión (operador ∨) de un n -simplex y un punto, () . Un ( m + n + 1) -simplex se puede construir como una unión de un m -simplex y un n -simplex. Los dos simples están orientados para ser completamente normales entre sí, con traslación en una dirección ortogonal a ambos. Un 1-símplex es la unión de dos puntos: ( ) ∨ ( ) = 2 ⋅ ( ) . Un 2-símplex general (triángulo escaleno) es la unión de tres puntos: ( ) ∨ ( ) ∨ ( ) . Un triángulo isósceles es la unión de un 1-símplex y un punto: { } ∨ ( ) . Un triángulo equilátero es 3 ⋅ ( ) o {3}. Un 3-símplex general es la unión de 4 puntos: ( ) ∨ ( ) ∨ ( ) ∨ ( ) . Un 3-símplex con simetría especular se puede expresar como la unión de una arista y dos puntos: { } ∨ ( ) ∨ ( ) . Un 3-símplex con simetría triangular se puede expresar como la unión de un triángulo equilátero y 1 punto: 3.( )∨( ) o {3}∨( ) . Un tetraedro regular es 4 ⋅ ( ) o {3,3} y así sucesivamente.
En algunas convenciones, [7] el conjunto vacío se define como un (−1)-símplex. La definición anterior de simplex todavía tiene sentido si n = −1 . Esta convención es más común en aplicaciones de topología algebraica (como la homología simplicial ) que en el estudio de politopos.
Estos polígonos de Petrie (proyecciones ortogonales sesgadas) muestran todos los vértices del simplex regular en un círculo y todos los pares de vértices conectados por aristas.
El estándar n -simplex (o unidad n -simplex ) es el subconjunto de R n +1 dado por
El simplex Δ n se encuentra en el hiperplano afín obtenido al eliminar la restricción t i ≥ 0 en la definición anterior.
Los n + 1 vértices del estándar n -simplex son los puntos e i ∈ R n +1 , donde
Un simplex estándar es un ejemplo de un politopo 0/1 , con todas las coordenadas como 0 o 1. También se puede ver una faceta de un ortoplex regular ( n + 1) .
Hay un mapa canónico del n -simplex estándar a un n -simplex arbitrario con vértices ( v 0 , ..., v n ) dado por
Los coeficientes t i se denominan coordenadas baricéntricas de un punto en el n -símplex. Este simplex general se denomina a menudo n -símplex afín , para enfatizar que el mapa canónico es una transformación afín . A veces también se le llama n -símplex afín orientado para enfatizar que el mapa canónico puede preservar o invertir la orientación.
De manera más general, existe un mapa canónico del estándar -simplex (con n vértices) a cualquier politopo con n vértices, dado por la misma ecuación (modificando la indexación):
Éstas se conocen como coordenadas baricéntricas generalizadas y expresan cada politopo como la imagen de un simplex:
Una función comúnmente utilizada desde R n hasta el interior del simplex estándar es la función softmax , o función exponencial normalizada; esto generaliza la función logística estándar .
Un sistema de coordenadas alternativo está dado tomando la suma indefinida :
Esto produce la presentación alternativa por orden, es decir, como n -tuplas no decrecientes entre 0 y 1:
Geométricamente, este es un subconjunto n -dimensional de (dimensión máxima, codimensión 0) en lugar de (codimensión 1). Las facetas, que en el simplex estándar corresponden a una coordenada que desaparece, aquí corresponden a coordenadas sucesivas que son iguales, mientras que el interior corresponde a que las desigualdades se vuelven estrictas (secuencias crecientes).
Una distinción clave entre estas presentaciones es el comportamiento bajo permutación de coordenadas: el simplex estándar se estabiliza mediante la permutación de coordenadas, mientras que los elementos permutantes del "símplex ordenado" no lo dejan invariante, ya que permutar una secuencia ordenada generalmente la vuelve desordenada. De hecho, el simplex ordenado es un dominio fundamental (cerrado) para la acción del grupo simétrico en el n -cubo, lo que significa que la órbita del simplex ordenado bajo el n ! Los elementos del grupo simétrico dividen el n -cubo en símplices en su mayoría disjuntos (disjuntos excepto por los límites), lo que muestra que este simplex tiene volumen 1/ n . . Alternativamente , el volumen se puede calcular mediante una integral iterada, cuyos integrandos sucesivos son 1, x , x 2/2 , x 3/3 . , ..., x n / n ! .
Una propiedad adicional de esta presentación es que usa el orden pero no la suma y, por lo tanto, puede definirse en cualquier dimensión sobre cualquier conjunto ordenado y, por ejemplo, puede usarse para definir un simplex de dimensión infinita sin problemas de convergencia de sumas.
Especialmente en aplicaciones numéricas de la teoría de la probabilidad es de interés una proyección sobre el simplex estándar. Dado con entradas posiblemente negativas, el punto más cercano en el simplex tiene coordenadas
donde se elige tal que
se puede calcular fácilmente ordenando p i . [8] El enfoque de clasificación requiere complejidad, que se puede mejorar a complejidad O ( n ) mediante algoritmos de búsqueda de mediana . [9] Proyectar sobre el simplex es computacionalmente similar a proyectar sobre la pelota.
Finalmente, una variante simple es reemplazar "sumando 1" por "sumando como máximo 1"; esto aumenta la dimensión en 1, por lo que para simplificar la notación, la indexación cambia:
Esto produce un n -símplex como esquina del n -cubo, y es un simplex ortogonal estándar. Este es el simplex utilizado en el método simplex , que se basa en el origen y modela localmente un vértice en un politopo con n facetas.
Una forma de escribir un n -símplejo regular en R n es elegir dos puntos para que sean los dos primeros vértices, elegir un tercer punto para formar un triángulo equilátero, elegir un cuarto punto para formar un tetraedro regular, y así sucesivamente. Cada paso requiere ecuaciones satisfactorias que aseguren que cada vértice recién elegido, junto con los vértices elegidos previamente, forme un simplex regular. Hay varios conjuntos de ecuaciones que se pueden escribir y utilizar para este propósito. Estos incluyen la igualdad de todas las distancias entre vértices; la igualdad de todas las distancias desde los vértices al centro del simplex; el hecho de que el ángulo subtendido a través del nuevo vértice por dos vértices cualesquiera elegidos previamente es ; y el hecho de que el ángulo subtendido por el centro del simplex por dos vértices cualesquiera es .
También es posible escribir directamente un n -simplex regular particular en R n que luego se puede traducir, rotar y escalar según se desee. Una forma de hacer esto es la siguiente. Denota los vectores base de R n por e 1 a e n . Comience con el estándar ( n − 1) -simplex, que es la capa convexa de los vectores base. Al agregar un vértice adicional, estos se convierten en una cara de un n -símplex regular. El vértice adicional debe estar en la línea perpendicular al baricentro del simplex estándar, por lo que tiene la forma ( α / n , ..., α / n ) para algún número real α . Dado que la distancia al cuadrado entre dos vectores base es 2, para que el vértice adicional forme un n -símplex regular, la distancia al cuadrado entre él y cualquiera de los vectores base también debe ser 2. Esto produce una ecuación cuadrática para α . Resolver esta ecuación muestra que hay dos opciones para el vértice adicional:
Cualquiera de estos, junto con los vectores de base estándar, produce un n -símplex regular.
El n -simplex regular anterior no está centrado en el origen. Se puede trasladar al origen restando la media de sus vértices. Al cambiar la escala, se le puede dar una longitud lateral unitaria. Esto da como resultado el simplex cuyos vértices son:
Para y
Tenga en cuenta que aquí se describen dos conjuntos de vértices. Se utiliza un conjunto en cada cálculo. El otro conjunto utiliza en cada cálculo.
Este simplex está inscrito en una hiperesfera de radio .
Un cambio de escala diferente produce un simplex que se inscribe en una hiperesfera unitaria. Cuando se hace esto, sus vértices son
dónde y
La longitud del lado de este simplex es .
Una forma altamente simétrica de construir un n -simplex regular es utilizar una representación del grupo cíclico Z n +1 mediante matrices ortogonales . Esta es una matriz ortogonal Q n × n tal que Q n +1 = I es la matriz identidad , pero no lo es una potencia inferior de Q. La aplicación de potencias de esta matriz a un vector v apropiado producirá los vértices de un n -símplex regular. Para llevar a cabo esto, primero observe que para cualquier matriz ortogonal Q , existe una opción de base en la que Q es una matriz diagonal de bloques.
donde cada Q i es ortogonal y 2 × 2 o 1 × 1 . Para que Q tenga orden n + 1 , todas estas matrices deben tener orden de división n + 1 . Por lo tanto, cada Q i es una matriz de 1 × 1 cuya única entrada es 1 o, si n es impar , −1 ; o es una matriz de 2 × 2 de la forma
donde cada ω i es un número entero entre cero y n inclusive. Una condición suficiente para que la órbita de un punto sea un simplex regular es que las matrices Q i formen una base para las representaciones reales irreducibles no triviales de Z n +1 , y el vector que se está rotando no esté estabilizado por ninguna de ellas.
En términos prácticos, para n incluso esto significa que toda matriz Q i es 2 × 2 , existe igualdad de conjuntos
y, para cada Q i , las entradas de v sobre las cuales actúa Q i no son ambas cero. Por ejemplo, cuando n = 4 , una matriz posible es
Aplicando esto al vector (1, 0, 1, 0) se obtiene el simplex cuyos vértices son
cada uno de los cuales tiene una distancia √5 de los demás. Cuando n es impar, la condición significa que exactamente uno de los bloques diagonales es 1 × 1 , igual a −1 , y actúa sobre una entrada distinta de cero de v ; mientras que los bloques diagonales restantes, digamos Q 1 , ..., Q ( n − 1) / 2 , son 2 × 2 , existe una igualdad de conjuntos
y cada bloque diagonal actúa sobre un par de entradas de v que no son ambas cero. Entonces, por ejemplo, cuando n = 3 , la matriz puede ser
Para el vector (1, 0, 1/ √ 2 ) , el simplex resultante tiene vértices
cada uno de los cuales tiene una distancia 2 de los demás.
El volumen de un n -simplex en un espacio n -dimensional con vértices ( v 0 , ..., v n ) es
donde cada columna del determinante n × n es un vector que apunta desde el vértice v 0 a otro vértice v k . [10] Esta fórmula es particularmente útil cuando se trata del origen.
La expresion
emplea un determinante de Gram y funciona incluso cuando los vértices del n -simplex están en un espacio euclidiano con más de n dimensiones, por ejemplo, un triángulo en .
Una forma más simétrica de calcular el volumen de un n -simplex es
Otra forma común de calcular el volumen del simplex es mediante el determinante de Cayley-Menger , que funciona incluso cuando los vértices del n-simplex están en un espacio euclidiano con más de n dimensiones. [11]
Sin el 1/ n ! es la fórmula para el volumen de un n - paralelótopo . Esto puede entenderse de la siguiente manera: Supongamos que P es un n -paralelotopo construido sobre la base de . Dada una permutación de , llame a una lista de vértices una ruta n si
(por lo que hay n ! n -caminos y no depende de la permutación). Se sostienen las siguientes afirmaciones:
Si P es la unidad n -hipercubo, entonces la unión de los n -simplex formados por el casco convexo de cada n -camino es P , y estos símplex son congruentes y no se superponen por pares. [12] En particular, el volumen de dicho simplex es
Si P es un paralelotopo general, se mantienen las mismas afirmaciones excepto que ya no es cierto, en dimensión > 2, que los símplex deben ser congruentes por pares; sin embargo sus volúmenes permanecen iguales, porque el n -paralelotopo es la imagen de la unidad n -hipercubo por el isomorfismo lineal que remite la base canónica de a . Como anteriormente, esto implica que el volumen de un simplex procedente de un camino n es:
Por el contrario, dado un n -símplejo de , se puede suponer que los vectores forman una base de . Considerando el paralelotopo construido a partir de y , se ve que la fórmula anterior es válida para todo símplex.
Finalmente, la fórmula al comienzo de esta sección se obtiene observando que
De esta fórmula se deduce inmediatamente que el volumen bajo un estándar n -símplex (es decir, entre el origen y el símplex en R n +1 ) es
El volumen de un n -símplex regular con longitud de lado unitaria es
como se puede ver multiplicando la fórmula anterior por x n +1 , para obtener el volumen bajo el n -simplex en función de su distancia de vértice x al origen, diferenciando con respecto a x , en (donde el lado n -simplex la longitud es 1), y normalizando por la longitud del incremento, a lo largo del vector normal.
Cualesquiera dos caras ( n − 1) -dimensionales de un simplex regular n -dimensional son en sí mismas simples simples ( n − 1) -dimensionales regulares y tienen el mismo ángulo diédrico de cos −1 (1/ n ) . [13] [14]
Esto se puede ver observando que el centro del simplex estándar es y los centros de sus caras son permutaciones de coordenadas de . Entonces, por simetría, el vector que apunta desde a es perpendicular a las caras. Entonces los vectores normales a las caras son permutaciones de , a partir de las cuales se calculan los ángulos diédricos.
Una "esquina ortogonal" significa aquí que hay un vértice en el que todos los bordes adyacentes son ortogonales por pares. De ello se deduce inmediatamente que todas las caras adyacentes son ortogonales por pares. Estos simples son generalizaciones de triángulos rectángulos y para ellos existe una versión n -dimensional del teorema de Pitágoras :
La suma de los volúmenes dimensionales al cuadrado ( n − 1 ) de las facetas adyacentes a la esquina ortogonal es igual al volumen dimensional al cuadrado ( n − 1 ) de la faceta opuesta a la esquina ortogonal.
donde las facetas son ortogonales entre sí por pares pero no ortogonales a , que es la faceta opuesta a la esquina ortogonal. [15]
Para un 2-símplex, el teorema es el teorema de Pitágoras para triángulos con un ángulo recto y para un 3-símplex es el teorema de de Gua para un tetraedro con una esquina ortogonal.
El diagrama de Hasse de la red de caras de un n -símplex es isomorfo a la gráfica de los bordes del hipercubo ( n + 1 ) , y los vértices del hipercubo se asignan a cada uno de los elementos del n -símplex, incluido el símplex completo y el politopo nulo como los puntos extremos de la red (asignados a dos vértices opuestos en el hipercubo). Este hecho se puede utilizar para enumerar eficientemente la red de caras del simplex, ya que los algoritmos de enumeración de redes de caras más generales son más costosos computacionalmente.
El n -simplex es también la figura de vértice del ( n + 1 ) -hipercubo. También es la faceta del ( n +1 ) -ortoplex .
Topológicamente , un n -simplex es equivalente a un n -bola . Cada n -simplex es una variedad n -dimensional con esquinas .
En teoría de la probabilidad, los puntos del estándar n -simplex en ( n + 1) -espacio forman el espacio de posibles distribuciones de probabilidad en un conjunto finito que consta de n + 1 resultados posibles. La correspondencia es la siguiente: Para cada distribución descrita como una tupla ordenada ( n + 1) de probabilidades cuya suma es (necesariamente) 1, asociamos el punto del simplex cuyas coordenadas baricéntricas son precisamente esas probabilidades. Es decir, al k -ésimo vértice del simplex se le asigna la k -ésima probabilidad de la ( n + 1) -tupla como coeficiente baricéntrico. Esta correspondencia es un homeomorfismo afín.
La geometría de Aitchinson es una forma natural de construir un espacio de producto interno a partir del simplex estándar . Define las siguientes operaciones sobre números simples y reales:
Dado que todos los simples son autoduales, pueden formar una serie de compuestos;
En topología algebraica , los simples se utilizan como bloques de construcción para construir una clase interesante de espacios topológicos llamados complejos simpliciales . Estos espacios se construyen a partir de simples pegados de forma combinatoria . Los complejos simpliciales se utilizan para definir un cierto tipo de homología llamada homología simplicial .
Un conjunto finito de k -simplex incrustados en un subconjunto abierto de R n se denomina cadena k afín . Los símplex de una cadena no tienen por qué ser únicos; pueden ocurrir con multiplicidad . En lugar de utilizar la notación de conjuntos estándar para denotar una cadena afín, la práctica estándar es utilizar signos más para separar cada miembro del conjunto. Si algunos de los símplex tienen la orientación opuesta , van precedidos de un signo menos. Si algunos de los símplex aparecen en el conjunto más de una vez, tienen como prefijo un recuento de números enteros. Por tanto, una cadena afín toma la forma simbólica de una suma con coeficientes enteros.
Tenga en cuenta que cada faceta de un n -simplex es un afín ( n - 1) -simplex y, por tanto, el límite de un n -simplex es una cadena afín ( n - 1 ) . Por lo tanto, si denotamos un simplex afín orientado positivamente como
denotando los vértices, entonces el límite de σ es la cadena
De esta expresión y de la linealidad del operador de frontera se deduce que la frontera de un simplex es cero:
Asimismo, el límite del límite de una cadena es cero: .
De manera más general, un simplex (y una cadena) se pueden incrustar en una variedad mediante un mapa suave y diferenciable . En este caso, tanto la convención de suma para denotar el conjunto como la operación de límites conmutan con la incrustación . Eso es,
donde son los números enteros que denotan orientación y multiplicidad. Para el operador de frontera , se tiene:
donde ρ es una cadena. La operación de límite conmuta con el mapeo porque, al final, la cadena se define como un conjunto y poco más, y la operación de conjunto siempre conmuta con la operación de mapa (por definición de mapa).
Un mapa continuo de un espacio topológico X se denomina con frecuencia n -símplejo singular . (Un mapa generalmente se llama "singular" si no tiene alguna propiedad deseable como la continuidad y, en este caso, el término pretende reflejar el hecho de que el mapa continuo no necesita ser una incrustación).
Dado que la geometría algebraica clásica permite hablar de ecuaciones polinomiales pero no de desigualdades, el estándar algebraico n-simplex se define comúnmente como el subconjunto del espacio afín ( n + 1) -dimensional, donde todas las coordenadas suman 1 (omitiendo así el parte de desigualdad). La descripción algebraica de este conjunto es la que equivale a la descripción teórica del esquema con el anillo de funciones regulares en el n -símplex algebraico (para cualquier anillo ).
Al utilizar las mismas definiciones que para el n -simplice clásico, los n -simplices para diferentes dimensiones n se ensamblan en un objeto simplicial , mientras que los anillos se ensamblan en un objeto cosimplicial (en la categoría de esquemas o anillos, ya que la cara y la degeneración todos los mapas son polinomiales).
Los n -símplices algebraicos se utilizan en la teoría K superior y en la definición de grupos de Chow superiores .