Ordnungskegel
# Ordnungskegel

Ein Ordnungskegel oder auch positiver Kegel ist ein spezieller Kegel in einem geordneten Vektorraum. Er wird über die Ordnungsrelation in diesem Vektorraum definiert. Umgekehrt lassen sich aber auch Kegel unter gewissen Umständen zu Ordnungskegeln erklären und definieren damit dann eine Ordnungsrelation. Somit sind Ordnungskegel und Ordnungsrelation in mancher Hinsicht äquivalent. Jede Eigenschaft des Kegels entspricht dann einer analogen Eigenschaft der Ordnungsrelation und umgekehrt.

## Definition

Gegeben sei ein geordneter Vektorraum $(V,\preceq )$. Dann heißt die Menge
    $K:=\{x\in V\,|\,0\preceq x\}$
der Ordnungskegel oder der positive Kegel auf $V$. Er enthält alle Elemente, die „positiv“ bezüglich der Ordnungsrelation sind. Ist umgekehrt $K$ ein konvexer Kegel in $V$, so wird durch
    $x\preceq y\iff y-x\in K$
eine Ordnungsrelation auf $V$ definiert, die $(V,\preceq )$ zu einem geordneten Vektorraum macht. Auch in diesem Fall nennt man $K$ den Ordnungskegel.

## Beispiel
### Endlichdimensional

Auf dem Vektorraum $S^{n}$ der reellen symmetrischen $(n\times n)$-Matrizen wird durch
    $A\geq _{L}B\iff A-B{\text{ ist positiv semidefinit }}$
die sogenannte Loewner-Halbordnung definiert. Der entsprechende positive Kegel ist dann
    $K=\{\,A\in S^{n}\,|\,A\geq _{L}0\,\}=\{\,A\in S^{n}\,|\,A{\text{ ist positiv semidefinit}}\,\}.$
Umgekehrt lässt sich die Loewner-Halbordnung auch über diesen Ordnungskegel definieren.

### Unendlichdimensional

Auf dem Funktionenraum $C[0,1]$ der im Intervall zwischen 0 und 1 stetigen Funktionen definiert man den Ordnungskegel
    $K:=\{\,f\in C[0,1]\,|\,\forall t\in [0,1].f(t)\geq 0\,\}$.
Er definiert die Ordnung
    $f\preceq g\iff \forall t\in [0,1].f(t)\leq g(t)$
und macht damit $C[0,1]$ zu einem geordneten Vektorraum.

## Eigenschaften

* Jeder Ordnungskegel, der durch einen geordneten Vektorraum definiert wird, ist ein Kegel mit 0. Dies folgt direkt aus der Reflexivität von $\preceq$.
* Jeder Ordnungskegel, der durch einen geordneten Vektorraum definiert wird, ist ein konvexer Kegel. Dies folgt aus der Abgeschlossenheit der Ordnungsrelation bezüglich Addition und Skalarmultiplikation. Daher definieren auch nur konvexe Kegel geordnete Vektorräume: Schwächere Kegeldefinitionen führen zum Verlust dieser Eigenschaften.
* Die Ordnungsrelation ist genau dann antisymmetrisch, d. h. aus $a\succeq b$ und $b\preceq a$ folgt $a=b$, wenn der Ordnungskegel spitz ist, d. h. wenn $K\cap -K=0$. Die Ordnungsrelation heißt dann eine strikte Ordnung.
* Der zum Ordnungskegel duale Kegel definiert die sogenannte duale Ordnung auf dem Dualraum von $V$.

## Anwendungen

Ordnungskegel und die von ihnen definierten Ordnungsrelationen werden in der Optimierung genutzt, um Verallgemeinerungen von Ungleichungsrestriktionen zu definieren. Insbesondere sind Ordnungskegel etwas allgemeiner als verallgemeinerte Ungleichungen, da sie nur einen konvexen Kegel voraussetzen, nicht einen echten Kegel.
Die oben genannte Loewner-Ordnung kann auf beliebige C*-Algebren verallgemeinert werden. Ist $A_{\text{sa}}$ der reelle Vektorraum der selbstadjungierten Elemente einer C*-Algebra $A$, so ist $\{\,a^{*}a\,|\,a\in A\,\}$ ein Ordnungskegel, der $A_{\text{sa}}$ zu einem geordneten Vektorraum macht. Die Elemente des Ordnungskegels der dualen Ordnung führen zur sogenannten GNS-Konstruktion.