Geordneter Vektorraum

Geordneter Vektorraum

Eine geordneter Vektorraum ist eine mathematische Struktur. Es handelt sich um einen \R-Vektorraum, auf dem zusätzlich eine mit der Vektorraum-Struktur verträgliche Ordnungsrelation gegeben ist, die man üblicher Weise mit \le bezeichnet (man liest kleiner-gleich). Dadurch ist es möglich, die Elemente eines Vektorraums der Größe nach zu vergleichen. Viele in der Mathematik untersuchte Vektorräume tragen eine natürliche Ordnungsstruktur.

Inhaltsverzeichnis

Definition

Ein geordneter Vektorraum ist ein Paar (V,\le) bestehend aus einem \R-Vektorraum V und einer Ordnungsrelation \le auf V, so dass folgendes gilt:

  • x\le x für alle x\in V, das heißt \le ist reflexiv.
  • Aus x\le y und y\le z folgt x\le z für all x,y,z\in V, das heißt \le ist transitiv.
  • Aus x\le y folgt x+z\le y+z für alle x,y,z\in V, das heißt \le ist mit der Addition verträglich.
  • Aus x\le y folgt \lambda x\le \lambda y für alle x,y\in V und \lambda\in\R, \lambda \ge 0, das heißt \le ist mit der skalaren Multiplikation verträglich.[1]

In der Definition kann man \R durch einen geordneten Körper ersetzen. In den meisten Anwendungen hat man es allerdings mit dem Körper der reellen Zahlen zu tun. Ein \C-Vektorraum heißt geordneter Vektorraum, wenn er als reeller Vektorraum geordnet ist. Viele der hier besprochenen Begriffsbildungen lassen sich auf geordnete abelsche Gruppen verallgemeinern.

Positiver Kegel

Ist (V,\le) ein geordneter Vektorraum, so heißt V^+ := \{x\in V;\, x\ge 0\} der positive Kegel. Es handelt sich in der Tat um einen Kegel, das heißt es gilt:

  • Für alle x,y\in V^+ und \lambda, \mu \ge 0 gilt \lambda x+\mu y \in V^+.

Insbesondere ist der positive Kegel konvex, was Anlass zu geometrischen Untersuchungen gibt.

Ist umgekehrt in einem \R-Vektorraum V ein Kegel P gegeben, so wird durch x\le y :\Leftrightarrow y-x\in P eine Ordnungsrelation definiert, die (V,\le) zu einem geordneten Vektorraum macht, so dass V + = P gilt. Ein geordneter Vektorraum kann daher auch als Vektorraum mit einem ausgezeichneten Kegel aufgefasst werden. Eigenschaften der Ordnung können in Beziehung zu algebraischen und geometrischen Eigenschaften des Kegels gesetzt werden; ist V sogar ein topologischer Vektorraum, so kommen topologische Eigenschaften des Kegels hinzu.

Positive Operatoren

Die strukturerhaltenden Abbildungen zwischen geordneten Vektorräumen (V,\le) und (W,\preceq) sind die linearen Operatoren f:V\rightarrow W, die auch die Ordnungsstruktur erhalten, das heißt für die aus x\le y stets f(x) \preceq f(y) folgt. Solche Abbildungen heißen positive oder monotone Operatoren. Die Untersuchung positiver Operatoren ist ein wichtiger Teil der Theorie der geordneten Vektorräume.

Offenbar bilden die geordneten Vektorräume mit den positiven Operatoren als Morphismen eine Kategorie.

Ein Ordnungsintervall ist eine Menge der Form [x,y] := \{z\in V; x\le z \le y\}. Ein linearer Operator zwischen geordneten Vektorräumen heißt ordnungsbeschränkt, wenn er Ordnungsintervalle in Ordnungsintervalle abbildet. Differenzen positiver Operatoren sind offenbar ordnungsbeschränkt.

Duale Ordnung

Ist (V,\le) ein geordneter Vektorraum, so ist P := \{f\in V\,';\, f(x)\ge 0\,\forall x\in V^+\} ein Kegel, der den Dualraum V\,' zu einem geordneten Vektorraum macht; dies ist die sogenannte duale Ordnung auf V\,'. Ist V zusätzlich ein topologischer Vektorraum, so betrachtet man statt des algebraischen den topologischen Dualraum, das heißt den Raum aller stetigen linearen Funktionale auf V. Ist dieser Raum normiert oder allgemeiner lokalkonvex, so steht die für diese Raumklassen reichhaltige Dualitätstheorie zur Verfügung.

Oft betrachtet man auch nur den Unterraum V^b\subset V\,^' der ordnungsbeschränkten Funktionale und spricht vom ordnungsbeschränkten Dualraum.

Beispiele

  • Die Folgenräume wie c, c0 oder \ell^p sind geordnete Vektorräume, wenn man die Ordnung komponentenweise erklärt, das heißt wenn man für zwei Folgen x = (xn)n und y = (yn)n die Relation x\le y durch x_n \le y_n\forall n\in \N definiert.
  • Funktionenräume wie C[0,1] oder Lp[0,1] sind geordnete Vektorräume, wenn man die Ordnung punktweise erklärt, das heißt wenn man für zwei Funktionen f und g die Relation f\le g durch f(x) \le g(x) für alle x aus dem Definitionsbereich bzw. fast überall auf dem Definitionsbereich definiert.
  • Ist A eine C*-Algebra und setzt man A^+:=\{x^*x;\, x\in A\}, so kann man zeigen, dass A + ein Kegel ist, der A zu einem geordneten Vektorraum macht. Die Untersuchung des Dualraums mit der dualen Ordnung ist eine wichtige Methode in der Theorie der C*-Algebren.

Weitere Begriffsbildungen

Sei (V,\le) ein geordneter Vektorraum.

Strikte Ordnung

In der hier gegebenen Definition wurde nicht gefordert, dass aus x\le y und y\le x stets x = y folgen soll; die Ordnungsrelation wäre dann antisymmetrisch, und dies wäre äquivalent dazu, dass der Kegel V + spitz ist (das heißt V^+\cap (-V^+)=\{0\}). Die meisten in den Anwendungen vorkommenden Kegel sind spitz. Manche Autoren verstehen unter einem Kegel stets einen spitzen Kegel und nennen den oben eingeführten allgemeineren Begriff einen stumpfen Kegel. Antisymmetrische Ordnungen werden auch strikte Ordnungen genannt.

Gerichtete Ordnung

Die Ordnung auf V heißt gerichtet, falls es zu je zwei Elementen x,y\in V stets ein z\in V gibt mit x\le z und y\le z. Die Ordnung ist genau dann gerichtet, wenn V = V +V + , das heißt wenn der positive Kegel den Vektorraum erzeugt. [2]

Ordnungseinheiten

Ein Element e\in V heißt eine Ordnungseinheit, falls es zu jedem x\in V ein n\in \N gibt mit -n\cdot e \le x \le n\cdot e. Das ist äquivalent dazu, dass das Ordnungsintervall [-e,e] := \{x\in V; -e \le x \le e\} eine absorbierende Menge ist.[3]

Offenbar ist die konstante Funktion 1 eine Ordnungseinheit in C[0,1], während der Folgenraum c0 keine Ordnungseinheiten besitzt.

Archimedische Ordnung

Die Ordnung auf V heißt archimedisch wenn gilt: Sind x,y\in V und ist nx \le y für alle n\in \N, so folgt x\le 0.

Die Ordnung heißt fast archimedisch, wenn gilt: Sind x,y\in V und ist -y \le nx \le y für alle n\in \N, so folgt x = 0.

Die Ordnung heißt nirgends archimedisch, wenn es zu jedem x \in V ein y \in V gibt mit -y \le nx \le y für alle n\in \N. [4]

Unterräume, Quotienten und direkte Produkte

Ist (V,\le) ein geordneter Vektorraum und U\subset V ein Unterraum, so ist U mit der eingeschränkten Ordnung wieder ein geordneter Vektorraum, es ist offenbar U^+ = U \cap V^+ und die Einbettung  U\subset V ist ein positiver Operator.

Der Quotientenraum V / U wird mit dem Kegel \{x+U;\, x\in V^+\} offenbar zu einem geordneten Vektorraum und die Quotientenabbildung V\rightarrow V/U ist ein positiver Operator.

Ist schließlich (V_i,\le_i)_{i\in I} eine Familie von geordneten Vektorräumen, so wird das direkte Produkt \prod_{i\in I}V_i zu einem geordneten Vektorraum, wenn man den positiven Kegel durch \{(v_i)_i;\, v_i \in V_i^+, i\in I\} erklärt. Eine wichtige Frage in der Theorie der geordneten Vektorräume ist, ob sich ein gegebener geordneter Vektorraum als direktes Produkt geordneter Räume zerlegen lässt. [5]

Riesz-Räume

Ein gerichteter Vektorraum (V,\le) hat die Riesz'sche Interpolationseigenschaft, wenn folgendes gilt:

Ist y,x_1,x_2 \in V^+ und 0\le y \le x_1+x_2, so gibt es y_i\in V mit 0\le y_1\le x_1, 0\le y_2\le x_2 und  y_1 + y_2 \,=\, y.

Gibt es zu je zwei Elementen x,y\in V eines geordneten Vektorraums stets ein kleinstes Element z mit x\le z und y\le z, welches dann mit x\vee y bezeichnet wird und das Supremum aus x und y heißt, so spricht man von einem Riesz-Raum oder Vektorverband[6]. Man kann zeigen, dass tatsächlich ein distributiver Verband vorliegt, wobei die andere Verbandsoperation durch x\wedge y = -((-x)\vee(-y)) definiert werden könnte. Offenbar haben Vektorverbände die Riesz'sche Interpolationseigenschaft, denn obige Definition kann mit y_i=y\wedge x_i erfüllt werden. Man nennt einen Vektorverband vollständig, wenn nicht nur je zwei Elemente sondern jede nach oben beschränkte Menge ein Supremum besitzt.

Bemerkung zur Bezeichnung: Manche Autoren nennen gerichtete und strikt geordnete Vektorräume mit der Riesz'schen Interpolationseigenschaft Riesz-Räume, siehe zum Beispiel [7], und verwenden Riesz-Raum daher nicht als Synonym zu Vektorverband.

Im Zusammenhang mit den hier eingeführten Begriffen besteht folgender wichtiger Satz von F. Riesz [8]:

  • Ist (V,\le) ein gerichteter und strikt geordneter Vektorraum mit der Riesz'schen Interpolationseigenschaft, so ist der ordnungsbeschränkte Dualraum ein vollständiger Vektorverband.

Als Anwendung betrachte man eine C*-Algebra A. Dann ist der selbstadjungierte Teil A_{sa}:= \{a\in A; a^* = a\} ein reeller Vektorraum, der durch den Kegel A^+:= \{a^*a; a\in A\} zu einem gerichteten und strikt geordneten Vektorraum mit Riesz'scher Interpolationseigenschaft wird.[9]. Der Dualraum A_{sa}^', der mit dem ordnungsbeschränkten Dualraum zusammenfällt, ist daher ein vollständiger Vektorverband, was für die C*-Theorie von Bedeutung ist.

Topologische geordnete Vektorräume

Trägt ein geordneter Vektorraum zusätzlich eine Vektorraumtopologie, so spricht man von einem geordneten, topologischen Vektorraum und kann Stetigkeitseigenschaften der Ordnung untersuchen. Insbesondere in Vektorverbänden kann man die Stetigkeit der Abbildungen

  • (x,y) \mapsto x\vee y
  • x\mapsto x^+ := 0\vee x, \quad x\mapsto x^-:= 0\wedge x
  • x\mapsto |x| := x^+\vee x^-

studieren.

Es gilt folgender Satz für geordnete topologische Vektorverbände V[10]:

  • Die Abbildung V\times V\rightarrow V, (x,y) \mapsto x\vee y genau dann stetig ist, wenn V eine Nullumgebungsbasis aus Mengen U hat, die die folgende Eigenschaft haben: Ist x\in U und y\in V mit |y| \le |x|, so folgt y\in U.

Ist V sogar ein normierter Raum mit Norm \|\cdot\| und ein Vektorverband, so nennt man die Norm eine Verbandsnorm, wenn aus |x|\le|y| stets \|x\|\le \|y\| folgt.[11]. In diesem Fall spricht man von einem normierten Vektorverband. Dann ist der oben zitierte Satz anwendbar und man erkennt die Stetigkeit der Verbandsoperationen. Typische Beispiele sind die oben aufgeführten Beispiele c_0, \ell^1 oder C([0,1]) mit ihren natürlichen Ordnungen und Normen.

Für geordnete topologische Vektorräume, insbesondere geordnete Banachräume, existiert eine umfangreiche Theorie, für die an dieser Stelle auf die Literatur verwiesen wird.

Einzelnachweise

  1. Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Band 141 (1970), 1.1
  2. Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Band 141 (1970), 1.1.3
  3. Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Band 141 (1970), 1.3.1
  4. Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Band 141 (1970), 1.3
  5. Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Band 141 (1970), 1.4
  6. C. D. Aliprantis, R. Tourky: Cones and duality, American Mathematical Society (2007), 1.14
  7. Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Band 141 (1970), 2.1
  8. Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Band 141 (1970), 2.6.1
  9. Gert K. Pedersen: C*-Algebras and Their Automorphism Groups ISBN 0125494505, 1.4.10
  10. Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Band 141 (1970), 4.1.5
  11. C. D. Aliprantis, R. Tourky: Cones and duality, American Mathematical Society (2007), 2.36

Literatur

  • Graham Jameson: Ordered Linear Spaces, Springer Lecture Notes, Band 141 (1970)
  • W. A. J. Luxemburg and A. C. Zaanen: Riesz-Spaces, North-Holland Pub. Co.; New York, American Elsevier Pub. Co. (1971), ISBN 0444101292
  • C. D. Aliprantis, R. Tourky: Cones and duality, American Mathematical Society (2007), ISBN 0821841467

Wikimedia Foundation.

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

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

  • Rieszraum — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Riesz Raum berührt die Spezialgebiete Mathematik …   Deutsch Wikipedia

  • Riesz-Raum — Ein Riesz Raum ist ein Vektorraum mit einer Verbandsstruktur, die so beschaffen ist, dass sich die lineare und die Verbandsstruktur vertragen. Im Jahr 1928 wurde dieser Raum von Frigyes Riesz definiert[1] und trägt deshalb heute seinen Namen.… …   Deutsch Wikipedia

  • Kegel (Lineare Algebra) — In der linearen Algebra ist ein (linearer) Kegel eine Teilmenge eines Vektorraums, die abgeschlossen bzgl. Multiplikation mit positiven Skalaren ist. Inhaltsverzeichnis 1 Definition 2 Spitze und stumpfe Kegel 3 Ko …   Deutsch Wikipedia

  • Vektorverband — Vẹktorverband   [v ], Riesz Raum [riːs ; nach F. Riesz], ein Paar (V, ≦), bestehend aus einem reellen Vektorraum V und einer reflexiven, antisymmetrischen und transitiven Ordnungsrelation ≦ auf V, die mit der Vektorraumstruktur im folgenden… …   Universal-Lexikon

  • Frigyes Riesz — (Friedrich en allemand et Frédéric en français), né le 22 juin 1880 à Győr et mort le 28 février 1956 à Budapest, est un mathématicien hongrois. Il a étudié à Budapest, Göttinge …   Wikipédia en Français

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Fehlstand — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Integrabel — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Kollinear — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

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