Complejo simplicial

Complejo simplicial

Un complejo simplicial $K$ es una colección finita de símplices verificando:

1. Toda cara de cada símplice de $K$ también está en $K$.
2. La intersección de cualesquiera dos símplices de $K$ es vacía o un subsímplice de ambos.

La dimensión de $K$ es la máxima dimensión de sus símplices.