Riesz-Raum

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf bitte mit ihn zu verbessern und entferne anschließend diese Markierung.

Rieszraum

berührt die Spezialgebiete

Mathematik
- Analysis
  - Funktionalanalysis

ist Spezialfall von

Ein Rieszraum ist ein Vektorraum mit einer Verbandsstruktur, die so beschaffen ist, dass sich die lineare und die Verbandsstruktur vertragen.

[Bearbeiten] Definition

Sei $(X, +, \cdot)$ ein $\R$ -Vektorraum und $(X,\leq)$ eine teilweise geordnete Menge.

Dann heißt $(X,+,\cdot,\leq)$ ein Rieszraum wenn folgende Axiome erfüllt sind:

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

[Bearbeiten] Anmerkungen

1. und 2. bedeuten $(X,+,\cdot,\leq)$ ist ein geordneter Vektorraum.
Bei der Formulierung von 2. ist zu beachten, dass $\leq$ sich sowohl auf $\R$ , als auch auf $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 $0\leq a$ und $\mathbf{0}\leq f \Rightarrow \mathbf{0} \leq a\cdot f$ ersetzen.
Bezeichnen $\land, \lor$ die Verbandsoperationen, so ist es Konvention, dass $\land, \lor$ stärker binden, als $+, \cdot$ (Klammerregel).

[Bearbeiten] Erste Eigenschaften

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

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

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

$(f\lor g)+(f\land g)=f+g$ und $(f\lor g)-(f\land g)=|f-g|$
$(f\lor g)\land h = (f\land h) \lor (g \land h)$ und $(f\land g)\lor h = (f\lor h) \land (g \lor h)$

Dies bedeutet jeder Rieszraum ist ein distributiver Verband.

[Bearbeiten] Beispiele

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