Extremalpunkt

Extremalpunkt

Ein Extremalpunkt einer konvexen Menge K eines reellen Vektorraums ist ein Punkt x aus K, der sich nicht als Konvexkombination zweier verschiedener Punkte aus K darstellen lässt, also zwischen keinen zwei anderen Punkten aus K liegt. Das heißt, es gibt keine Punkte  a \ne b \in K mit x = λa + (1 − λ)b für ein 0 < λ < 1.

Inhaltsverzeichnis

Beispiele

Extremalpunkte (rot) einer konvexen Menge K (blau und rot) können nicht als Konvexkombination zweier verschiedener Punkte aus K dargestellt werden
  1. Ein Dreieck ist eine konvexe Menge, die Extremalpunkte sind genau die Ecken des Dreiecks.
  2. Eine abgeschlossene Kugel im Rn ist konvex, die Extremalpunkte sind genau die Randpunkte. Das gilt in allen Hilberträumen oder allgemeiner in allen strikt konvexen Räumen. Eine offene Kugel hat keine Extremalpunkte.
  3. Die positiven Funktionale mit Norm 1 einer kommutativen C*-Algebra bilden eine konvexe Menge. Die Extremalpunkte sind genau die multiplikativen Funktionale.

Anwendungen

  • Die Extremalpunkte eines Polyeders nennt man Ecken. Diese spielen eine wichtige Rolle beim Simplex-Verfahren.
  • In vielen Situationen gelingen Charakterisierungen von Extremalpunkten als Objekte mit besonderen Eigenschaften wie im Beispiel 3. Der Satz von Krein-Milman führt dann zu Sätzen über die Existenz solcher Objekte.
  • In der Choquet-Theorie wird die Vorstellung, dass ein Punkt einer konvexen Menge als Mittelung über deren Extremalpunkte darstellbar ist, präzisiert.

Abschluss-Eigenschaften

ExtremalpunkteDoppelkegel.PNG

Die Menge der Extremalpunkte ist im Allgemeinen nicht abgeschlossen. Ein dreidimensionales Beispiel erhält man durch das Zusammenfügen zweier schiefer Kegel zu einem Doppelkegel, so dass die Verbindungsstrecke zwischen den Spitzen P und R (siehe nebenstehende Skizze) auf den Mantelflächen verläuft und die gemeinsame Kreislinie in einem Punkt Q trifft. Die Menge der Extremalpunkte dieses Doppelkegels besteht aus den Kegelspitzen P und R und allen Punkten der Kreislinie ohne Q, denn dieser Punkt lässt sich ja aus P und R konvex kombinieren. Q liegt aber im Abschluss der Extremalpunktmenge.

ExtremalpunkteEinheitskugel.PNG

Im unendlichdimensionalen Fall kann die Menge der Extremalpunkte dicht liegen. Ein einfaches Beispiel ist die Einheitskugel U in einem unendlichdimensionalen Hilbertraum H mit der schwachen Topologie (bezüglich dieser ist U kompakt). Die Extremalpunktmenge ist die Menge aller Vektoren mit Länge 1. Um zu sehen, dass die Extremalpunktmenge dicht in U liegt, sei x0 ein Vektor mit \|x_0\|<1 und V eine schwache Umgebung von x0. Dann gibt es Vektoren y_1,\ldots,y_n \in H und ein \varepsilon > 0 mit \{x\in H;\,\langle x-x_0, y_i\rangle < \varepsilon\,\mbox{ für alle } i=1,\ldots n\} \subset V. Da H unendlichdimensional ist, gibt es einen zu den yi orthogonalen Vektor y und dann ein λ > 0, so dass der Vektor x0 + λy die Länge 1 hat und folglich ein Extremalpunkt ist. Da \langle (x_0+\lambda y)-x_0,y_i\rangle = \lambda \langle y,y_i\rangle = 0, folgt x_0+\lambda y \in V. Damit ist gezeigt, dass jede schwache Umgebung eines Vektors der Länge < 1 einen Extremalpunkt enthält. Daher fällt der Abschluss der Extremalpunktmenge mit U zusammen.

Extremale Mengen

Die Definition eines Extremalpunktes lässt sich auf natürliche Weise auf Mengen übertragen: Eine extremale Menge ist eine Teilmenge einer konvexen Menge mit der Eigenschaft, dass sich Punkte aus dieser Menge nur dann als Konvexkombination von Punkten aus der konvexen Menge darstellen lassen, wenn diese Punkte bereits in der Teilmenge selbst enthalten sind. Formal:

Sei X ein Vektorraum, K\subset X konvex und M\subset K. Dann ist M eine extremale Menge, falls gilt:
\forall\, \alpha \in (0, 1) ~ \forall \, x_1,x_2\in K\!:~ \alpha x_1+(1-\alpha)x_2\in M ~ \Rightarrow ~ x_1,x_2\in M.

Typische Beispiele sind Seiten oder Kanten von Polyedern. Eine oft benutzte Tatasache ist, dass Extremalpunkte von extremalen Mengen bereits Extremalpunkte der umgebenden konvexen Menge sind.

Literatur


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Extremalpunkt — ekstremumo taškas statusas T sritis Standartizacija ir metrologija apibrėžtis Funkcijos maksimumo arba minimumo taškas. atitikmenys: angl. extreme point vok. Extremalpunkt, m; Extrempunkt, m rus. точка экстремума, f; экстремальная точка, f pranc …   Penkiakalbis aiškinamasis metrologijos terminų žodynas

  • Extremalpunkt — ekstremumo taškas statusas T sritis fizika atitikmenys: angl. extreme point vok. Extremalpunkt, m; Extrempunkt, m rus. точка экстремума, f; экстремальная точка, f pranc. point extrême, m …   Fizikos terminų žodynas

  • Dualer Simplex — Das Simplex Verfahren läuft von einer Ecke eines LP Polyeders zur nächsten, bis keine Verbesserung mehr möglich ist. Das Simplex Verfahren (auch Simplex Algorithmus) ist ein Optimierungsverfahren der Numerik zur Lösung linearer… …   Deutsch Wikipedia

  • Eckentheorem — Das Simplex Verfahren läuft von einer Ecke eines LP Polyeders zur nächsten, bis keine Verbesserung mehr möglich ist. Das Simplex Verfahren (auch Simplex Algorithmus) ist ein Optimierungsverfahren der Numerik zur Lösung linearer… …   Deutsch Wikipedia

  • Eckpunkt — Die Ecke, auch der Eckpunkt, ist in der Geometrie ein besonders ausgezeichneter Punkt der Grenzlinie oder fläche eines Gebietes. Die Ecken von zweidimensionalen Polygonen (Vielecken) sind die Punkte, an denen die begrenzenden Linien, die Seiten,… …   Deutsch Wikipedia

  • Federschwingung — Das Potenzial eines harmonischen Oszillators Ein harmonischer Oszillator ist ein physikalisches System, bei dem die Zeitentwicklung eines der Systemparameter einer Sinusfunktion folgen, also harmonisch schwingen kann. Beispiele für harmonische… …   Deutsch Wikipedia

  • Harmonische Schwingung — Das Potenzial eines harmonischen Oszillators Ein harmonischer Oszillator ist ein physikalisches System, bei dem die Zeitentwicklung eines der Systemparameter einer Sinusfunktion folgen, also harmonisch schwingen kann. Beispiele für harmonische… …   Deutsch Wikipedia

  • Konkave Menge — eine konvexe Menge eine nichtkonvexe Menge In der Mathematik heißt eine geometrische Figur oder allgemeiner eine Teilmenge eines …   Deutsch Wikipedia

  • Konvexe Menge — eine konvexe Menge eine nichtkonvexe Menge In der …   Deutsch Wikipedia

  • Konvexe Teilmenge — eine konvexe Menge eine nichtkonvexe Menge In der Mathematik heißt eine geometrische Figur oder allgemeiner eine Teilmenge eines …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”