Abstrakcyjny kompleks symplicjalny w matematyce
W dziedzinie matematyki, a konkretnie w obszarze kombinatoryki oraz topologii algebraicznej, abstrakcyjny kompleks symplicjalny definiuje się jako parę
K
=
(
W
,
S
)
,
{\displaystyle K=(W,S),}
gdzie
W
{\displaystyle W}
stanowi zbiór (wierzchołków), a
S
{\displaystyle S}
to zbiór jego niepustych podzbiorów, które nazywamy sympleksami, spełniający następujące warunki:
- (a) każdy zbiór składający się dokładnie z jednego wierzchołka uznawany jest za sympleksem,
- (b) każdy niepusty podzbiór sympleksu również jest sympleksem.
== Przypisy ==