Verallgemeinerte Ungleichung

Eine verallgemeinerte Ungleichung (engl. generalized inequality) ist eine Halbordnung auf dem {\mathbb  {R}}^{n}, die mittels eines Kegels definiert wird und die den {\mathbb  {R}}^{n} zu einem geordneten Vektorraum macht. Verallgemeinerte Ungleichungen werden in der Optimierung verwendet, um auch noch in höheren Dimensionen Punkte sinnvoll miteinander vergleichen zu können. Außerdem kann man mit verallgemeinerten Ungleichungen den Begriff der konvexen Funktionen auf vektorwertige Funktionen verallgemeinern.

Definition

Gegeben sei ein abgeschlossener, spitzer und konvexer Kegel K, der ein nichtleeres Inneres besitzt. Dann definiert

{\displaystyle x\preccurlyeq _{K}y{\text{ genau dann, wenn }}y-x\in K}

eine Halbordnung auf \mathbb {R} ^{n}. Der Kegel enthält also alle "positiven" Elemente, also diejenigen, für die 0_{n}\preccurlyeq _{K}y gilt. Analog lässt sich durch

{\displaystyle x\prec _{K}y{\text{ genau dann, wenn }}y-x\in K^{\circ }}

eine strikte Halbordnung auf \mathbb {R} ^{n} definieren. Dabei ist K^{\circ } das Innere des Kegels.

Die Ungleichungen bezüglich dieser Halbordnung werden verallgemeinerte Ungleichungen (bezüglich der von dem Kegel K induzierten Halbordnung) genannt.

Ist K^{*} der zu K duale Kegel, so heißt \preccurlyeq _{{K^{*}}} (\prec _{{K^{*}}}) die zu \preccurlyeq _{K} ( \prec _{K}) duale (strikte) Halbordnung oder duale verallgemeinerte Ungleichung.

Eigenschaften

Die verallgemeinerte Ungleichung \preccurlyeq _{K} hat folgende Eigenschaften:

Die strikte verallgemeinerte Ungleichung \prec _{K} hat folgende Eigenschaften:

Die duale (strikte) verallgemeinerte Ungleichung \preccurlyeq _{{K^{*}}} (\prec _{{K^{*}}}) hat folgende Eigenschaften:

Alle diese Eigenschaften folgen direkt aus den Eigenschaften der definierenden Kegel.

Minimale Elemente und Minimum

Ein Element x einer Menge  S heißt ein Minimum von  S , wenn für alle y\in S gilt, dass x\preccurlyeq _{K}y. Äquivalent hierzu ist, dass S\subset x+K.

Ein Element x der Menge  S heißt ein minimales Element von  S , wenn aus y\preccurlyeq _{K}x mit y\in S folgt, dass y=x. Äquivalent hierzu ist, dass (x-K)\cap S=\{x\}.

Analog lassen sich auch die Begriffe Maximum und maximales Element definieren. Die Begriffe können zusammenfallen, tun dies aber im Allgemeinen nicht! Ein Beispiel für ein minimales oder maximales Element einer Menge ist das Pareto-Optimum.

Beispiele

x\preccurlyeq _{K}y{\text{ genau dann wenn }}x_{i}\leq y_{i}\,{\text{ für alle }}i=1,\dots ,n.

Verwendung

Verallgemeinerte Ungleichungen spielen eine wichtige Rolle in der Vektoroptimierung, um eine Vergleichbarkeit von Vektoren zu garantieren. Außerdem erlauben verallgemeinerte Ungleichungen die Verallgemeinerung von konvexen Funktionen auf vektorwertige Funktionen, die sogenannten K-konvexen Funktionen. Diese Finden zum Beispiel bei der Formulierung von konischen Programmen eine Rolle.

Abwandlungen und alternative Notationen

In der Optimierung werden teilweise Kegel zur Definition von Ordnungen verwendet, deren Inneres leer ist. Dies hat den Vorteil, dass man Gleichungs- und Ungleichungsrestriktionen komponentenweise in eine Funktion schreiben kann. Ist zum Beispiel K=\{0\}\times {\mathbb  {R}}_{{\geq 0}}\subset {\mathbb  {R}}^{2} ein Kegel, setzt dann x\leq _{K}y\iff y-x\in K und definiert die Funktion f(x)=(g(x),h(x))^{T}, so ist f(x)\leq _{K}0 genau dann, wenn g(x)=0 und h(x)\leq 0. Nachteil ist, dass sich die zugehörige strikte Ungleichung nicht mehr definieren lässt und damit einige Aussagen wie zum Beispiel die Slater-Bedingung umständlich zu formulieren werden.

Gelegentlich findet man auch anstelle der Formulierung

g(x)\preccurlyeq _{{K}}0

die Notation

g(x)\in -K,

was äquivalent ist, wenn K ein echter Kegel ist. Meist handelt es sich jedoch nur um einen Ordnungskegel. Die zweite Notationsweise wird bevorzugt dann genutzt, wenn man schwächere Voraussetzungen an den Kegel stellt und/oder sich in unendlichdimensionalen Vektorräumen bewegt.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung: Jena, den: 31.03. 2020