Dimension

Ein Polyeder PP hat die Dimension dim⁡(P)=k\operatorname{dim}(P)=k , wenn maximal k+1k+1 affin unabhängige Punkte in PP sind.

Wenn dim⁡(P)=n\operatorname{dim}(P)=n gilt ist pp volldimensional.