Konvexe Körper

Der Ikosaederstumpf („Fußballkörper“) ist ein konvexer Körper im dreidimensionalen Raum

Ein konvexer Körper ist in der Mathematik ein geometrischer Körper, der konvex ist und dessen Inhalt nichtleer ist.

Definitionen

Eine Teilmenge $K\subset {\mathbb{ℝ}}^n$ des $n$-dimensionalen euklidischen Raums ${\mathbb{ℝ}}^n$ heißt konvexer Körper, wenn sie konvex, beschränkt und abgeschlossen ist und wenn ihr Inneres nicht leer ist. Die Konvexität besagt dabei, dass alle Punkte der Verbindungsstrecke zwischen zwei Punkten $x$ und $y$ des Körpers ebenfalls Teil des Körpers sind, das heißt, es gilt

$x,y\in K\Rightarrow \lambda x+(1-\lambda )y\in K$

für alle $0\le \lambda \le 1$. Die anderen drei Bedingungen stellen dann sicher, dass ein konvexer Körper nur eine endliche Ausdehnung besitzt, seine Oberfläche mit einschließt und nicht vollständig in einer Hyperebene enthalten ist.

Ein konvexer Körper wird symmetrisch genannt, wenn für jeden Punkt $x$ des Körpers auch sein am Ursprung gespiegelter Punkt $-x$ in dem Körper liegt, also

$x\in K\Rightarrow -x\in K$

gilt. Ein symmetrischer konvexer Körper ist damit zentralsymmetrisch bezüglich des Koordinatenursprungs.

Beispiele

Zu den bekanntesten konvexen Körpern gehören die konvexen Polyeder, beispielsweise die regulären Polyeder im dreidimensionalen Raum, von denen es fünf Arten gibt:

• die platonischen Körper,
• die archimedischen Körper,
• die catalanischen Körper,
• die Johnson-Körper und
• die Prismen und Antiprismen.

Weitere Beispiele für symmetrische konvexe Körper können durch Normen abgeleitet werden, zum Beispiel

• die Einheitskugel $K=\{x\in {\mathbb{ℝ}}^n\mid \Vert x{\Vert }_2\le 1\}$,
• der Einheitshyperwürfel $K=\{x\in {\mathbb{ℝ}}^n\mid \Vert x{\Vert }_{\mathrm{\infty }}\le 1\}$ und
• das Einheitskreuzpolytop $K=\{x\in {\mathbb{ℝ}}^n\mid \Vert x{\Vert }_1\le 1\}$,

wobei $\Vert \cdot {\Vert }_p$ die p-Norm ist. Allgemein besteht sogar eine Bijektion zwischen der Menge der symmetrischen konvexen Körper und der Menge der Normkugeln im ${\mathbb{ℝ}}^n$ (siehe Minkowski-Funktional).

Siehe auch

• Konvexer Körper - Artikel in der deutschen Wikipedia
• Minkowskischer Gitterpunktsatz - Artikel in der deutschen Wikipedia

Literatur

•  Jürgen Wolfart: Einführung in die Zahlentheorie und Algebra. Springer, 2010, ISBN 978-3-834-89833-3, S. 235–236.