Polyeder

Weiteres empfehlenswertes Fachwissen

Wie kann man Pipetten schnell überprüfen?

Sicherer Wägebereich zur Sicherstellung genauer Resultate

Was ist der richtige Weg, um die Wiederholbarkeit bei Waagen zu überprüfen?

Ein Polyeder [polyˈeːdər] (auch Vielflach, Vielflächner oder Ebenflächner) ist ein Körper, der ausschließlich von geraden Flächen begrenzt wird, beispielsweise ein Würfel. Man kann den Begriff aber auch auf höhere Dimensionen verallgemeinern.

Dreidimensionale Polyeder

  Beispiele für Polyeder aus dem Alltag sind (in ihrer üblichen Bauweise) Schränke, Pyramiden, Häuser, Kristalle oder Spielwürfel. Keine Polyeder sind Kugeln, Kegel, Flaschen, Tortenstücke, da sie krumme Randflächen besitzen. Die wichtigsten Polyeder in der geometrischen Anwendung sind Quader, Prismen, Pyramiden und Spate (Parallelepipede).

Für konvexe Polyeder gilt der eulersche Polyedersatz:

E + F − K = 2.

Dabei ist E die Anzahl der Ecken, F die Anzahl der Flächen und K die Anzahl der Kanten.

  Gegenbeispiel: Die Punkte des dreidimensionalen Raumes mit den (rechtwinkligen kartesischen) Koordinaten (x,y,z), wobei der Absolutbetrag von x, y und z jeweils kleiner oder gleich 2 ist, bilden einen Würfel der Kantenlänge 4. Wenn wir aus ihm die Punkte entfernen, deren Koordinaten alle vom Betrag <1 sind, entsteht ein nichtkonvexes Polyeder, nämlich ein Würfel, aus dessen Innerem ein kleinerer Würfel ausgebohrt ist, mit 16 Ecken, 24 Kanten und 12 Flächen, in dem der eulersche Polyedersatz nicht gilt.

Für zusammenhängende Polyeder (zu denen das obige Beispiel nicht gehört) gilt allgemein

E − K + F = χ

mit der Euler-Charakteristik χ. Für einen Torus zum Beispiel ist χ = 0. Das rechts abgebildete Polyeder ist ein Beispiel dafür. Es hat 24 Ecken, 72 Kanten und 48 Flächen: E − K + F = 24 − 72 + 48 = 0.

Regelmäßige Polyeder

  Bekannt sind auch Polyeder, die sich durch eine hohe Regelmäßigkeit auszeichnen, wie die platonischen Körper – die einzigen fünf konvexen Polyeder, die sich nur aus kongruenten (deckungsgleichen) Vielecken zusammensetzen und deren Ecken alle identisch sind. Wird im Gegensatz dazu die Kongruenz der Seitenflächen nicht erfüllt und es sind mehrere Flächentypen zugelassen, ist der Körper entweder ein Prisma, Antiprisma oder einer der 13 archimedischen Körper. Die konvexen Polyeder, die durch regelmäßige Vielecke begrenzt sind und nicht in eine der vorherigen Kategorien fallen, sind die 92 Johnson-Körper.

Eine weitere Gruppe regelmäßiger konvexer Polyeder sind die 13 catalanischen Körper, deren nicht regelmäßige Flächen alle kongruent sind und gleichermaßen im Körper auftauchen.

Verallgemeinerte konvexe Polyeder

Allgemein ist ein konvexes Polyeder eine Punktmenge, die sich durch ein lineares Ungleichungssystem mit endlich vielen Zeilen darstellen lässt.

Dabei bilden die einzelnen Zeilen des Systems einen Halbraum, so dass P als Schnitt von Halbräumen dargestellt ist. Solch ein Polyeder ist durch Hyperebenen begrenzt, die den Geraden im zweidimensionalen Fall entsprechen. Jedes konvexe Polyeder kann auch als Konvexkombination (oder konvexe Hülle) seiner Ecken und konische Linearkombination seiner Extremalstrahlen geschrieben werden:

P: = conv{X} + cone{E},

wobei X die Menge der Ecken und E die Menge der Extremalstrahlen bezeichnet. Im zweidimensionalen Fall entsprechen die Extremalstrahlen Halbgeraden, die das Polyeder begrenzen. Ein Polyeder, das beschränkt ist, also einen endlichen Durchmesser besitzt, heißt Polytop. Ein zweidimensionales Polytop heißt Polygon. Manchmal wird der Begriff Polyeder auch als Synonym für Polytope im Sinne dieses Textes, also für beschränkte konvexe Polyeder, benutzt.

Die Dimension eines Polyeders P ist definiert als die Dimension seiner affinen Hülle, also des kleinsten affinen Raums, der P enthält. Ein Würfel ist also dreidimensional, weil der kleinste Raum, der ihn enthält, dreidimensional ist.

Eine Seitenfläche (oft auch Seite genannt) eines konvexen Polyeders ist im wesentlichen der Schnitt einer Hyperebene (im dreidimensionalen Raum: einer Ebene) mit dem Polyeder, falls das Polyeder vollständig auf einer Seite der Hyperebene (einschl. dieser selbst) liegt. Etwas formaler ausgedrückt: ist eine lineare Ungleichung, die von allen Punkten des Polyeders erfüllt wird, dann ist der Schnitt des Polyeders mit der Menge {x | a^Tx = b} eine Seitenfläche. Jede Seitenfläche lässt sich durch eine solche Ungleichung darstellen. Im Spezialfall der Ungleichung ergibt sich als Schnitt das ganze Polyeder, und für die Ungleichung ist der Schnitt die leere Menge. Eine Facette eines n-dimensionalen konvexen Polyeders ist eine (n − 1)-dimensionale Seitenfläche. Bei einem dreidimensionalen Würfel sind beispielsweise alle Ecken, Kanten und Flächen des Würfels Seitenflächen, aber auch die leere Menge und der ganze Würfel. Aber nur die zweidimensionalen Seitenflächen sind Facetten des Würfels.

Eine Ecke eines konvexen Polyeders ist ein Punkt im Polyeder, der sich nicht durch andere Punkte des Polyeders konvex kombinieren lässt, der also nicht auf einer Geraden zwischen zwei anderen Punkten des Polyeders liegt. Dies entspricht der anschaulichen Vorstellung einer Ecke. Beispielsweise lässt sich keine Gerade zwischen zwei Punkten eines Würfels konstruieren, die eine Ecke als inneren Punkt enthält. Eine Ecke x eines Polyeders P heißt entartet, wenn die Anzahl der Facetten, die x enthalten, größer ist als die Dimension von P. Beispielsweise ist die Spitze einer dreidimensionalen Pyramide mit quadratischer Grundfläche entartet, weil sie in vier Facetten enthalten ist. Ein konvexes Polyeder heißt ganzzahlig, wenn alle seine Ecken durch ganzzahlige Koordinaten beschrieben werden. Diese Begriffe sind unter anderem in der linearen und ganzzahligen linearen Optimierung von Bedeutung, weil das Optimum eines linearen Programms stets in einer Ecke angenommen wird.