Schema simpliciale
![Niente fonti!](http://upload.wikimedia.org/wikipedia/commons/thumb/6/64/Question_book-4.svg/45px-Question_book-4.svg.png)
In matematica, uno schema simpliciale è un oggetto definito usando la teoria degli insiemi, usato soprattutto per modellizzare in modo astratto e combinatorio uno spazio topologico. Lo spazio topologico che modellizza è un complesso simpliciale.
Definizione
Uno schema simpliciale è una coppia dove è un insieme i cui elementi sono detti vertici, e è una famiglia di sottoinsiemi di che soddisfa le proprietà seguenti:
- contiene tutti gli insiemi formati da un solo elemento,
- Se un insieme appartiene a allora tutti i suoi sottoinsiemi appartengono a .
Le due condizioni possono essere espresse anche nel modo seguente.
Gli elementi di sono detti simplessi. La dimensione di un simplesso è la sua cardinalità meno uno.
Complesso simpliciale associato
A partire da uno schema simplicale è possibile costruire un complesso simpliciale, che è a sua volta uno spazio topologico. Il complesso simpliciale è costruito rappresentando ogni simplesso di dimensione come un simplesso geometrico della stessa dimensione, definito come l'insieme
E identificando i vari simplessi secondo le prescrizioni date dalle relazioni insiemistiche degli elementi di .
Voci correlate
- Complesso simpliciale
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)