Riesz-Raum

Ein Riesz-Raum i​st ein Vektorraum m​it einer Verbandsstruktur, d​ie so beschaffen ist, d​ass sich d​ie lineare u​nd die Verbandsstruktur vertragen. Im Jahr 1928 w​urde dieser Raum v​on Frigyes Riesz definiert[1] u​nd trägt deshalb h​eute seinen Namen.

Definition

Sei ${\displaystyle (X,+,\cdot )}$ ein ${\displaystyle \mathbb {R} }$-Vektorraum und ${\displaystyle (X,\leq )}$ eine halbgeordnete Menge.

Dann heißt ${\displaystyle (X,+,\cdot ,\leq )}$ ein Riesz-Raum wenn folgende Axiome erfüllt sind:

1. Für alle ${\displaystyle f,g,h\in X}$ gilt: ${\displaystyle f\leq g\Rightarrow f+h\leq g+h}$.
2. Für alle ${\displaystyle f,g\in X}$ gilt: ${\displaystyle 0\leq a\in \mathbb {R} }$ und ${\displaystyle f\leq g\Rightarrow a\cdot f\leq a\cdot g}$.
3. ${\displaystyle (X,\leq )}$ ist ein Verband.

Anmerkungen

• 1. und 2. bedeuten ${\displaystyle (X,+,\cdot ,\leq )}$ ist ein geordneter Vektorraum.
• Bei der Formulierung von 2. ist zu beachten, dass ${\displaystyle \leq }$ sich sowohl auf ${\displaystyle \mathbb {R} }$, als auch auf ${\displaystyle X}$ bezieht, aus dem Zusammenhang ist meistens klar, welche Ordnungsrelation gemeint ist, so dass üblicherweise auf zusätzliche Indizes verzichtet wird.
• 2. lässt sich auch durch die schwächere Forderung ${\displaystyle 0\leq a}$ und ${\displaystyle \mathbf {0} \leq f\Rightarrow \mathbf {0} \leq a\cdot f}$ ersetzen.
• Bezeichnen ${\displaystyle \land ,\lor }$ die Verbandsoperationen, so ist es Konvention, dass ${\displaystyle \land ,\lor }$ stärker binden, als ${\displaystyle +,\cdot }$ (Klammerregel).

Erste Eigenschaften

Für ${\displaystyle f,g,h\in X}$ und ${\displaystyle 0\leq a\in \mathbb {R} }$ gelten folgende Rechenregeln:

• ${\displaystyle (f+h)\lor (g+h)=(f\lor g)+h}$ und ${\displaystyle (f+h)\land (g+h)=(f\land g)+h}$
• ${\displaystyle (af)\lor (ag)=a(f\lor g)}$ und ${\displaystyle (af)\land (ag)=a(f\land g)}$
• ${\displaystyle (-f)\lor (-g)=-(f\land g)}$ und ${\displaystyle (-f)\land (-g)=-(f\lor g)}$
• Sei ${\displaystyle |f|:=f\lor (-f)}$ für ${\displaystyle f\in X}$.

Dann gilt ${\displaystyle f\lor g={\tfrac {1}{2}}(f+g+|f-g|)}$ und ${\displaystyle f\land g={\tfrac {1}{2}}(f+g-|f-g|)}$.

• ${\displaystyle (f\lor g)+(f\land g)=f+g}$ und ${\displaystyle (f\lor g)-(f\land g)=|f-g|}$
• ${\displaystyle (f\lor g)\land h=(f\land h)\lor (g\land h)}$ und ${\displaystyle (f\land g)\lor h=(f\lor h)\land (g\lor h)}$

Dies bedeutet jeder Riesz-Raum ist ein distributiver Verband.

Beispiele

• Die reellen Zahlen ${\displaystyle \mathbb {R} }$ mit der üblichen Anordnung ${\displaystyle \leq }$ bilden einen Riesz-Raum.
• Der ${\displaystyle \mathbb {R} ^{n}}$ mit komponentenweiser Anordnung bildet einen Riesz-Raum.
• Die Menge der reellen Zahlenfolgen ${\displaystyle \mathbb {R} ^{\mathbb {N} }}$ mit komponentenweiser Anordnung bildet einen Riesz-Raum.
• Die Menge der reellen Nullfolgen ${\displaystyle c_{0}}$ mit komponentenweiser Anordnung bildet einen Riesz-Raum.
• Für ${\displaystyle 1\leq p\leq \infty }$ ist ${\displaystyle l_{p}}$ mit komponentenweiser Anordnung ein Riesz-Raum.
• Die Menge der beschränkten reellen Folgen ${\displaystyle l_{\infty }}$ mit komponentenweiser Anordnung bildet einen Riesz-Raum.
• Die Menge der stetigen Funktionen ${\displaystyle {\mathcal {C}}[a,b]}$ auf einem Intervall ${\displaystyle [a,b]}$ bildet mit punktweiser Anordnung einen Riesz-Raum.
• Die Menge der stetig differenzierbaren Funktionen ${\displaystyle {\mathcal {C}}^{1}[a,b]}$ auf einem Intervall ${\displaystyle [a,b]}$ bildet einen geordneten Vektorraum mit der punktweisen Anordnung, aber keinen Riesz-Raum.

Integrationstheorie

Riesz-Räume bieten Voraussetzungen für e​ine abstrakte Maß- u​nd Integrationstheorie. Die zentrale Aussage i​n diesem Zusammenhang i​st der Spektralsatz v​on Freudenthal. Dieser Satz garantiert für Riesz-Räume a​uf abstrakte Weise d​ie Approximationseigenschaft v​on Funktionen d​urch Treppenfunktionen. Der Satz v​on Radon-Nikodým u​nd die Poissonsche Summenformel für beschränkte harmonische Funktionen a​uf der offenen Kreisscheibe s​ind Spezialfälle d​es Spektralsatzes v​on Freudenthal. Dieser Spektralsatz w​ar einer d​er Ausgangspunkte für d​ie Theorie d​er Riesz-Räume.

Einzelnachweise

1. Riesz, Frigyes: Sur la décomposition des opérations fonctionelles linéaires, Atti congress. internaz. mathematici (Bologna, 1928), 3, Zanichelli (1930) pp. 143–148

Literatur

• Luxemburg, W.A.J. & Zaanen, A.C.: "Riesz spaces", North-Holland, 1971, ISBN 978-0444866264
• V. I. Sobolev: Riesz space. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).