Complejo simplicial

Summary

En la matemática, un complejo simplicial es un tipo particular de espacio topológico construido mediante el pegado de puntos, segmentos de línea, triángulos, tetraedros y demás análogos de dimensiones superiores. Este concepto no debe ser confundido con la noción abstracta de conjunto simplicial que surge en la moderna teoría simplicial homotópica

Un ejemplo de complejo simplicial. Este consiste en 17 puntos (0-símplices), 22 aristas (1-símplices), 8 triángulos (2-símplices) y 1 tetraedro (3-símplice).

Ejemplo

editar

Sean   con   que están en posición general, la envolvente convexa del conjunto   se llama k-símplice de   y se denota  . Se prueba sin dificultad que:

 

con   y   para todas las i.

Los   de la representación anterior se llaman coordenadas baricéntricas del punto  . Si tomamos  , se dice que el r-símplice   es una cara de  .

Observe que un 0-símplice es un punto, un 1-símplice es un segmento, un 2-símplice es un triángulo y un 3-símplice es un tetraedro.

Ejemplos

editar
  • El toro: Es posible triangular el toro con un vértice s, tres aristas a, b, c y dos caras R y V. Partimos de la representación clásica del toro: un cuadrado cuyos lados opuestos se pegan y lo cortamos en dos para obtener triángulos. De este modo, obtenemos una estructura ∆-compleja. La Botella de Klein también se puede triangular de la misma manera, pero invirtiendo la dirección de una de las conexiones entre los dos triángulos.
  • La Banda de Möbius: La banda de Möbius se diferencia del toro en dos aspectos. Primero, solo se pega una arista del cuadrado, dejando la otra libre. Segundo, se gira antes de pegar. De ahí el diagrama opuesto. En esta ocasión, hay dos vértices s y t, cuatro aristas a, b, c y d, y dos caras R y V.
  • El Plano proyectivo: Es más difícil de visualizar, ya que no se extiende al espacio normal. Se obtiene pegando las aristas de la banda de Möbius siguiendo el diagrama. Existe otra forma de pegarlas, que da como resultado una botella de Klein. (En este caso, solo habrá un vértice, al igual que en el toro). Aquí, tenemos dos vértices s y t, tres aristas a, b y c, y dos caras R y V.
     
El toro La banda de Möbius El plano proyectivo

Caracterización

editar

Un complejo simplicial (finito) es un conjunto finito de  - símplices de   que cumple las dos condiciones siguientes:

  1. Si un símplice pertenece a  , entonces todas sus caras pertenecen a  .
  2. Si dos símplices de   se cortan, su intersección es una cara común.

Referencias

editar
  •   Datos: Q994399
  •   Multimedia: Simplicial complexes / Q994399