En geometría , un símplex (plural: símplexes o simplices ) es una generalización de la noción de triángulo o tetraedro a dimensiones arbitrarias . El símplex se llama así porque representa el politopo más simple posible en cualquier dimensión dada. Por ejemplo,
En concreto, un k -símplex es un politopo de dimensión k que es la envoltura convexa de sus k + 1 vértices . De manera más formal, 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 símplex regular [1] es un símplex que también es un politopo regular . Un k -símplex regular puede construirse a partir de un ( k − 1) -símplex regular conectando un nuevo vértice a todos los vértices originales por la longitud de la arista común.
El símplex estándar o símplex de probabilidad [2] es el símplex ( 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" símplices para formar un complejo simplicial . La estructura combinatoria asociada se denomina complejo simplicial abstracto , en cuyo contexto la palabra "símplice" simplemente significa cualquier conjunto finito de vértices.
El concepto de símplex era conocido por William Kingdon Clifford , quien escribió sobre estas formas en 1886, pero las llamó «confines primos». Henri Poincaré , escribiendo sobre topología algebraica en 1900, las 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 de politopos regulares es la primera de tres familias de politopos regulares , etiquetada 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 una cantidad infinita de hipercubos , la etiquetó como δ n . [4]
La envoltura convexa de cualquier subconjunto no vacío de los n + 1 puntos que definen un n -símplex se denomina cara del símplex. Las caras son símplex en sí mismas. En particular, la envoltura convexa de un subconjunto de tamaño m + 1 (de los n + 1 puntos que definen) es un m -símplex, denominado m -cara del n -símplex. Las 0-caras (es decir, los propios puntos que definen como conjuntos de tamaño 1) se denominan vértices (singular: vértice), las 1-caras se denominan aristas , las ( n − 1 )-caras se denominan 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 -símplice se puede encontrar en la columna ( m + 1 ) de la fila ( n + 1 ) del triángulo de Pascal . Un símplice A es una cocara de un símplice B si B es una cara de A . Cara y faceta pueden tener diferentes significados al describir tipos de símplices en un complejo simplicial .
El vector f extendido para un n -símplex se puede calcular mediante ( 1 , 1 ) n +1 , como los coeficientes de productos polinómicos . 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 -símplex es el n -ésimo número de triángulo , el número de 2-caras del n -símplex es el ( n -1) -ésimo número de tetraedro , el número de 3-caras del n -símplex es el ( n -2) -ésimo número de 5 celdas, y así sucesivamente.
Δn | Nombre | Coxeter, el perro guardián | 0- caras (vértices) | 1- caras (aristas) | 2- caras (caras) | 3- caras (celdas) | 4- caras | 5- caras | 6- caras | 7- caras | 8- caras | 9- caras | 10- caras | Suma = 2 n +1 − 1 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Δ0 | 0-simplex ( punto ) | ( ) | 1 | 1 | ||||||||||
Δ1 | 1-símplex ( segmento de línea ) | { } = ( ) ∨ ( ) = 2⋅( ) | 2 | 1 | 3 | |||||||||
Δ2 | 2-simplex ( triángulo ) | {3} = 3⋅( ) | 3 | 3 | 1 | 7 | ||||||||
Δ3 | 3-símplex ( tetraedro ) | {3,3} = 4⋅( ) | 4 | 6 | 4 | 1 | 15 | |||||||
Δ4 | 4-simplex ( 5 celdas ) | {3 3 } = 5⋅( ) | 5 | 10 | 10 | 5 | 1 | 31 | ||||||
Δ5 | 5-símplex | {3 4 } = 6⋅( ) | 6 | 15 | 20 | 15 | 6 | 1 | 63 | |||||
Δ6 | 6-símplex | {3 5 } = 7⋅( ) | 7 | 21 | 35 | 35 | 21 | 7 | 1 | 127 | ||||
Δ7 | 7-símplex | {3 6 } = 8⋅( ) | 8 | 28 | 56 | 70 | 56 | 28 | 8 | 1 | 255 | |||
Δ8 | 8-símplex | {3 7 } = 9⋅( ) | 9 | 36 | 84 | 126 | 126 | 84 | 36 | 9 | 1 | 511 | ||
Δ9 | 9-símplex | {3 8 } = 10⋅( ) | 10 | 45 | 120 | 210 | 252 | 210 | 120 | 45 | 10 | 1 | 1023 | |
Δ10 | 10-símplex | {3 9 } = 11⋅( ) | 11 | 55 | 165 | 330 | 462 | 462 | 330 | 165 | 55 | 11 | 1 | 2047 |
Un n -símplex es el politopo con menos 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 cabe 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 plano. La nueva forma, el tetraedro ABCD , requiere tres dimensiones; no cabe 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 tridimensional. La nueva forma ABCDE , llamada 5-celda, requiere cuatro dimensiones y se llama 4-símplex; no cabe en el espacio tridimensional original. (Tampoco se puede visualizar fácilmente). Esta idea se puede generalizar, es decir, añadiendo un único punto nuevo fuera del espacio ocupado actualmente, lo que requiere ir a la siguiente dimensión superior para contener la nueva forma. Esta idea también se puede trabajar al revés: el segmento de línea con el que empezamos es una forma simple que requiere un espacio unidimensional para contenerla; el segmento de línea es el 1-símplex. El segmento de línea en sí se formó comenzando con un único punto en el espacio 0-dimensional (este punto inicial es el 0-símplex) y añadiendo un segundo punto, lo que requirió el aumento al espacio unidimensional.
Más formalmente, un ( n + 1) -símplex se puede construir como una unión (operador ∨) de un n -símplex y un punto, ( ) . Un ( m + n + 1) -símplex se puede construir como una unión de un m -símplex y un n -símplex. Los dos símplex 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 del símplex anterior todavía tiene sentido si n = −1 . Esta convención es más común en aplicaciones a la topología algebraica (como la homología simplicial ) que al estudio de politopos.
Estos polígonos de Petrie (proyecciones ortogonales sesgadas) muestran todos los vértices del símplex regular en un círculo y todos los pares de vértices conectados por aristas.
1 | 2 | 3 | 4 | 5 |
6 | 7 | 8 | 9 | 10 |
11 | 12 | 13 | 14 | 15 |
16 | 17 | 18 | 19 | 20 |
El n -simplex estándar (o unidad n -simplex ) es el subconjunto de R n +1 dado por
El símplex Δ 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 n -símplex estándar son los puntos e i ∈ R n +1 , donde
Un símplex estándar es un ejemplo de un politopo 0/1 , con todas las coordenadas como 0 o 1. También puede verse como una faceta de un ortoplex regular ( n + 1 ) .
Existe una función canónica del n -símplex estándar a un n -símplex 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 símplex general se denomina a menudo n -símplex afín , para enfatizar que la función canónica es una transformación afín . También se denomina a veces n- símplex afín orientado , para enfatizar que la función canónica puede conservar o invertir la orientación.
De manera más general, existe una función canónica del -símplex estándar (con n vértices) sobre cualquier politopo con n vértices, dada por la misma ecuación (modificando la indexación):
Estas se conocen como coordenadas baricéntricas generalizadas y expresan cada politopo como la imagen de un símplex:
Una función comúnmente utilizada desde R n al interior del -símplex estándar es la función softmax , o función exponencial normalizada; ésta generaliza la función logística estándar .
Un sistema de coordenadas alternativo se da 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, se trata de un subconjunto n -dimensional de (dimensión máxima, codimensión 0) en lugar de (codimensión 1). Las facetas, que en el símplex estándar corresponden a una coordenada que se desvanece, aquí corresponden a coordenadas sucesivas que son iguales, mientras que el interior corresponde a desigualdades que se vuelven estrictas (secuencias crecientes).
Una distinción clave entre estas presentaciones es el comportamiento bajo la permutación de coordenadas: el símplex estándar se estabiliza permutando las coordenadas, mientras que la permutación de elementos del "símplex ordenado" no lo deja invariante, ya que la permutación de una secuencia ordenada generalmente la hace desordenada. De hecho, el símplex ordenado es un dominio fundamental (cerrado) para la acción del grupo simétrico sobre el n -cubo, lo que significa que la órbita del símplex ordenado bajo los n ! elementos del grupo simétrico divide el n -cubo en símplex mayoritariamente disjuntos (disjuntos excepto por los límites), lo que muestra que este símplex 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 utiliza 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 símplex de dimensión infinita sin problemas de convergencia de sumas.
Especialmente en aplicaciones numéricas de la teoría de la probabilidad, resulta de interés una proyección sobre el símplex estándar. Dado que se pueden dar entradas negativas, el punto más cercano sobre el símplex tiene coordenadas
donde se elige tal que
se puede calcular fácilmente ordenando p i . [8] El enfoque de ordenamiento requiere complejidad, que se puede mejorar a una complejidad O( n ) mediante algoritmos de búsqueda de mediana . [9] Proyectar sobre el símplex 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 vértice del n -cubo, y es un símplex ortogonal estándar. Este es el símplex utilizado en el método símplex , 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ímplex 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 nuevo vértice elegido, junto con los vértices elegidos previamente, forme un símplex regular. Hay varios conjuntos de ecuaciones que se pueden escribir y utilizar para este propósito. Estas incluyen la igualdad de todas las distancias entre vértices; la igualdad de todas las distancias desde los vértices hasta el centro del símplex; el hecho de que el ángulo subtendido a través del nuevo vértice por dos vértices previamente elegidos es ; y el hecho de que el ángulo subtendido a través del centro del símplex por dos vértices cualesquiera es .
También es posible escribir directamente un n -símplex regular particular en R n que luego puede trasladarse, rotarse y escalarse como se desee. Una forma de hacerlo es la siguiente. Denote los vectores base de R n por e 1 a e n . Comience con el ( n − 1) -símplex estándar que es la envoltura 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 símplex 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 α . Al resolver esta ecuación se ve que hay dos opciones para el vértice adicional:
Cualquiera de estos, junto con los vectores base estándar, produce un n -símplex regular.
El n -símplex regular anterior no está centrado en el origen. Se puede trasladar al origen restando la media de sus vértices. Al cambiar de escala, se le puede dar una longitud de lado unitaria. Esto da como resultado el símplex cuyos vértices son:
para , y
Tenga en cuenta que aquí se describen dos conjuntos de vértices. Un conjunto se utiliza en cada cálculo. El otro conjunto se utiliza en cada cálculo.
Este símplex está inscrito en una hiperesfera de radio .
Un reescalado diferente produce un símplex que está inscrito en una hiperesfera unitaria. Cuando se hace esto, sus vértices son
donde , y
La longitud del lado de este símplex es .
Una forma altamente simétrica de construir un n -símplex regular es usar una representación del grupo cíclico Z n +1 mediante matrices ortogonales . Esta es una matriz ortogonal n × n Q tal que Q n +1 = I es la matriz identidad , pero ninguna potencia inferior de Q lo es. La aplicación de potencias de esta matriz a un vector apropiado v 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 elecció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 que divida a n + 1 . Por lo tanto, cada Q i es una matriz 1 × 1 cuya única entrada es 1 o, si n es impar , −1 ; o es una matriz 2 × 2 de la forma
donde cada ω i es un entero entre cero y n inclusive. Una condición suficiente para que la órbita de un punto sea un símplex 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 rota no esté estabilizado por ninguna de ellas.
En términos prácticos, para n par esto significa que cada matriz Q i es 2 × 2 , existe una igualdad de conjuntos
y, para cada Q i , las entradas de v sobre las que 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 símplex cuyos vértices son
cada uno de los cuales tiene una distancia √5 de los otros. 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. Así, por ejemplo, cuando n = 3 , la matriz puede ser
Para el vector (1, 0, 1/ √ 2 ) , el símplex resultante tiene vértices
cada uno de los cuales tiene una distancia 2 de los demás.
El volumen de un n -símplex 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 es el origen.
La expresión
emplea un determinante de Gram y funciona incluso cuando los vértices del n -símplex 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 -símplex es
Otra forma común de calcular el volumen del símplex es a través del determinante de Cayley-Menger , que funciona incluso cuando los vértices del n-símplex 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 - paralelotopo . Esto se puede entender de la siguiente manera: Supongamos que P es un n -paralelotopo construido sobre una base de . Dada una permutación de , llamemos a una lista de vértices un n -camino si
(por lo tanto, hay n ! n -caminos y no depende de la permutación). Se cumplen las siguientes afirmaciones:
Si P es el n -hipercubo unitario, entonces la unión de los n -símplex formados por la envoltura convexa de cada n -camino es P , y estos símplex son congruentes y no se superponen entre sí. [12] En particular, el volumen de dicho símplex es
Si P es un paralelotopo general, se cumplen las mismas afirmaciones excepto que ya no es cierto, en dimensión > 2, que los símplex necesitan ser congruentes por pares; sin embargo, sus volúmenes siguen siendo iguales, porque el n -paralelotopo es la imagen del n -hipercubo unitario por el isomorfismo lineal que envía la base canónica de a . Como antes, esto implica que el volumen de un símplex que viene de un n -camino es:
Por el contrario, dado un n -símplex de , se puede suponer que los vectores forman una base de . Considerando el paralelepípedo construido a partir de y , se ve que la fórmula anterior es válida para todo símplex.
Finalmente, la fórmula del inicio de esta sección se obtiene observando que
De esta fórmula se deduce inmediatamente que el volumen bajo un n -símplex estándar (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 al multiplicar la fórmula anterior por x n +1 , para obtener el volumen bajo el n -símplex en función de la distancia de su vértice x desde el origen, diferenciando con respecto a x , en (donde la longitud del lado n -símplex es 1), y normalizando por la longitud del incremento, , a lo largo del vector normal.
Dos caras cualesquiera de ( n − 1) dimensiones de un símplex regular de n dimensiones son en sí mismas símplices regulares de ( n − 1) dimensiones, y tienen el mismo ángulo diedro de cos −1 (1/ n ) . [13] [14]
Esto se puede ver al notar que el centro del símplex 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. Por lo tanto, los vectores normales a las caras son permutaciones de , a partir de las cuales se calculan los ángulos diedros.
Una "esquina ortogonal" significa aquí que hay un vértice en el que todas las aristas adyacentes son ortogonales por pares. De ello se deduce inmediatamente que todas las caras adyacentes son ortogonales por pares. Tales símplices 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 al cuadrado ( n − 1) -dimensionales de las facetas adyacentes a la esquina ortogonal es igual al volumen al cuadrado ( n − 1) -dimensional 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 un vértice ortogonal.
El diagrama de Hasse de la red de caras de un n -símplex es isomorfo al gráfico de las aristas del ( n + 1) -hipercubo , con los vértices del hipercubo mapeándose a cada uno de los elementos del n -símplex, incluyendo el símplex completo y el politopo nulo como los puntos extremos de la red (mapeados a dos vértices opuestos en el hipercubo). Este hecho puede usarse para enumerar eficientemente la red de caras del símplex, ya que los algoritmos de enumeración de red de caras más generales son más costosos computacionalmente.
El n -símplex es también la figura del vértice del ( n +1) -hipercubo . También es la faceta del ( n +1) -ortoplex .
Topológicamente , un n -símplex es equivalente a una n -bola . Todo n -símplex es una variedad n -dimensional con vértices .
En teoría de la probabilidad, los puntos del n -símplex estándar en el espacio ( n + 1) forman el espacio de posibles distribuciones de probabilidad en un conjunto finito que consiste en n + 1 resultados posibles. La correspondencia es la siguiente: para cada distribución descrita como una ( n + 1) -tupla ordenada de probabilidades cuya suma es (necesariamente) 1, asociamos el punto del símplex cuyas coordenadas baricéntricas son precisamente esas probabilidades. Es decir, se asigna al k -ésimo vértice del símplex la k -ésima probabilidad de la ( n + 1) -tupla como su 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 símplex estándar . Define las siguientes operaciones con símplex y números reales:
Como todos los simples son autoduales, pueden formar una serie de compuestos;
En topología algebraica , los símplices 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 símplices pegados entre sí de manera combinatoria . Los complejos simpliciales se utilizan para definir un cierto tipo de homología llamada homología simplicial .
Un conjunto finito de k -símplex incluidos en un subconjunto abierto de R n se denomina k -cadena afín . Los símplex de una cadena no necesitan ser únicos; pueden ocurrir con multiplicidad . En lugar de utilizar la notación de conjuntos estándar para denotar una cadena afín, es una práctica estándar utilizar signos más para separar cada miembro del conjunto. Si algunos de los símplex tienen la orientación opuesta , se les antepone un signo menos. Si algunos de los símplex ocurren en el conjunto más de una vez, se les antepone un número entero. Por lo tanto, una cadena afín toma la forma simbólica de una suma con coeficientes enteros.
Nótese que cada faceta de un n -símplex es un ( n − 1) -símplex afín y, por lo tanto, el límite de un n -símplex es una ( n − 1) -cadena afín. Por lo tanto, si denotamos un simplex afín orientado positivamente como
con la denotación de los vértices, entonces el límite de σ es la cadena
De esta expresión y de la linealidad del operador de borde se deduce que el borde del borde de un símplex es cero:
De la misma manera, el límite del límite de una cadena es cero: .
En términos más generales, un símplex (y una cadena) se pueden incrustar en una variedad mediante una función diferenciable y suave . En este caso, tanto la convención de suma para denotar el conjunto como la operación de contorno conmutan con la incrustación . Es decir,
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 contorno conmuta con la de 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 mapeo (por definición de mapeo).
Un mapa continuo de un espacio topológico X se denomina con frecuencia un n -símplex singular . (Un mapa se denomina generalmente "singular" si no posee 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.) [16]
Dado que la geometría algebraica clásica permite hablar de ecuaciones polinómicas pero no de desigualdades, el n-símplex algebraico estándar se define comúnmente como el subconjunto del espacio afín ( n + 1) -dimensional, donde todas las coordenadas suman 1 (omitiendo así la parte de desigualdad). La descripción algebraica de este conjunto es que es igual a la descripción de la teoría del esquema con el anillo de funciones regulares en el n -símplex algebraico (para cualquier anillo ).
Usando las mismas definiciones que para el n -símplice clásico, los n -símplices 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 respectivamente anillos, ya que los mapas de caras y degeneración son todos polinomiales).
Los n -símplices algebraicos se utilizan en la K -teoría superior y en la definición de grupos de Chow superiores .