L^p-Raum

Die $L^{p}$ -Räume, auch Lebesgue-Räume, sind in der Mathematik spezielle Räume, die aus allen p-fach integrierbaren Funktionen bestehen. Das L in der Bezeichnung geht auf den französischen Mathematiker Henri Léon Lebesgue zurück, da diese Räume über das Lebesgue-Integral definiert werden. Im Fall Banachraum-wertiger Funktionen (wie im Folgenden allgemein für Vektorräume $E$ dargestellt) bezeichnet man sie auch als Bochner-Lebesgue-Räume.^[1] Das $p$ in der Bezeichnung ist ein reeller Parameter: Für jede Zahl $0<p\leq \infty$ ist ein $L^{p}$ -Raum definiert. Die Konvergenz in diesen Räumen wird als Konvergenz im p-ten Mittel bezeichnet.

Definition

𝓛^p mit Halbnorm

Sei $(\Omega ,{\mathcal {A}},\mu )$ ein Maßraum, $\mathbb {K} \in \{\,\mathbb {R} ,\mathbb {C} \,\}$ und $0<p<\infty$ . Dann ist die folgende Menge ein Vektorraum:

{\mathcal {L}}^{p}(\Omega ,{\mathcal {A}},\mu ):=\left\{f\colon \Omega \to \mathbb {K} \;{\Bigg |}\;f\mathrm {\ ist\ messbar} ,\,\int _{\Omega }|f(x)|^{p}\,\mathrm {d} \mu (x)<\infty \right\}\mathrm {.}

Die durch

{\begin{aligned}\|\cdot \|_{{\mathcal {L}}^{p}}\colon {\mathcal {L}}^{p}&\longrightarrow \mathbb {R} \\f&\longmapsto \left(\int _{\Omega }|f(x)|^{p}\,\mathrm {d} \mu (x)\right)^{\frac {1}{p}}\end{aligned}}

gegebene Abbildung ist für alle $p\geq 1$ eine Halbnorm auf ${\mathcal {L}}^{p}$ . Die Dreiecksungleichung für diese Halbnorm wird Minkowski-Ungleichung genannt und kann mit Hilfe der Hölder-Ungleichung bewiesen werden.

Genau dann ist $\|\cdot \|_{{\mathcal {L}}^{p}}$ eine Norm auf ${\mathcal {L}}^{p}$ , wenn die leere Menge die einzige Nullmenge in ${\mathcal {A}}$ ist. Gibt es nämlich eine Nullmenge $N\neq \emptyset$ , so ist die charakteristische Funktion $1_{N}$ ungleich der Nullfunktion, aber es gilt $\left\|1_{N}\right\|_{{\mathcal {L}}^{p}}=0$ .

L^p mit Norm

Um auch im Fall einer Halbnorm $\|\cdot \|_{{\mathcal {L}}^{p}}$ zu einem normierten Raum zu kommen, identifiziert man Funktionen miteinander, wenn sie fast überall gleich sind. Formal bedeutet das: Man betrachtet den (von $p\geq 1$ unabhängigen) Untervektorraum

{\mathcal {N}}:=\{\,f\in {\mathcal {L}}^{p}\mid \|f\|_{{\mathcal {L}}^{p}}=0\,\}=\{\,f\in {\mathcal {L}}^{p}\mid f=0~\mu {\text{-fast }}\mathrm {{\ddot {u}}berall} \,\}

und definiert den Raum $L^{p}$ als den Faktorraum ${\mathcal {L}}^{p}/{\mathcal {N}}$ . Zwei Elemente von $[f],[g]\in L^{p}$ sind also genau dann gleich, wenn $f-g\in {\mathcal {N}}$ gilt, also wenn $f$ und $g$ fast überall gleich sind.

Der Vektorraum $L^{p}$ ist durch $\|[f]\|_{L^{p}}:=\|f\|_{{\mathcal {L}}^{p}}$ normiert. Die Normdefinition hängt nicht von dem Repräsentanten aus $[f]$ ab, das heißt, für Funktionen $f_{1},f_{2}\in [f]$ in der gleichen Äquivalenzklasse gilt $\|f_{1}\|_{{\mathcal {L}}^{p}}=\|f_{2}\|_{{\mathcal {L}}^{p}}$ . Das begründet sich damit, dass das Lebesgue-Integral invariant gegenüber Änderungen des Integranden auf Nullmengen ist.

Der normierte Vektorraum $L^{p}$ ist vollständig und damit ein Banachraum, die Norm $\|\cdot \|_{L^{p}}$ wird L^p-Norm genannt.

Auch wenn man von sogenannten $L^{p}$ -Funktionen spricht, handelt es sich dabei um die gesamte Äquivalenzklasse einer klassischen Funktion. Allerdings liegen im Falle des Lebesgue-Maßes auf dem $\mathbb {R} ^{n}$ zwei verschiedene stetige Funktionen nie in der gleichen Äquivalenzklasse, so dass der $L^{p}$ -Begriff eine natürliche Erweiterung des Begriffs stetiger Funktionen darstellt.

Sonderfall p=∞

Auch für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p=\infty} kann man mithilfe des wesentlichen Supremums (in Zeichen: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{ess~sup}} ) einen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Raum definieren, den Raum der wesentlich beschränkten Funktionen. Hierfür gibt es verschiedene Möglichkeiten, die aber für σ-endliche Maßräume alle zusammenfallen. Am verbreitetsten ist:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{L}^\infty (\Omega, \mathcal{A}, \mu) := \left\{\, f \colon \Omega \to \mathbb{K} \mid f \mathrm{\ ist\,messbar},\, \|f\|_{\mathcal{L}^\infty} < \infty \,\right\} \mathrm{;}}

dabei ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \|f\|_{\mathcal{L}^\infty} := \operatorname{ess~sup}_{x \in \Omega} |f(x)| = \inf_{N \in \mathcal{A} \atop \mu(N) = 0} \sup_{x \in \Omega \setminus N} |f(x)| \mathrm{.}}

Betrachtet man analog zu oben Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^\infty := \mathcal{L}^\infty / \mathcal{N}} , erhält man wieder einen Banachraum.

Beispiele

Lebesgue-Räume bezüglich des Lebesgue-Maßes

Ein sehr wichtiges Beispiel von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Räumen ist durch einen Maßraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega\subset\R^n} gegeben, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{A}} ist dann die borelsche σ-Algebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{B}(\Omega)} , und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} das Lebesgue-Maß Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lambda} . In diesem Zusammenhang wird die kürzere Notation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p(\Omega):=L^p(\Omega,\mathcal{B}(\Omega),\lambda)} benutzt.

Der Folgenraum ℓ^p

Betrachtet man den Maßraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\N, \mathcal A, \mu)} , wobei hier also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega} als die Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \N} der natürlichen Zahlen, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal A = \mathcal{P}(\N)} deren Potenzmenge und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} als das Zählmaß gewählt wurde, dann besteht der Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p(\N, \mathcal A, \mu)} aus allen Folgen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left(x_n\right)_{n \in \N} \in \mathbb{K}^\N} mit

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sum_{n=1}^\infty |x_n|^p < \infty}

für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0 < p<\infty} bzw.

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sup_{n\in\N}|x_n| < \infty}

für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p=\infty} .

Dieser Raum wird mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^p} bezeichnet. Die Grenzfälle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^1} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^\infty} sind der Raum der absolut summierbaren Zahlenfolgen und der Raum der beschränkten Zahlenfolgen. Für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1\leq p\leq q\leq\infty} gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^p\subseteq\ell^q} .

Allgemeiner ℓ^p-Raum

Völlig analog kann man zu einer beliebigen Indexmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} den Maßraum mit dem Zählmaß betrachten. In diesem Fall nennt man den Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^p(I)} , es gilt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^p (I) = \left\{\, \left(x_i\right)_{i \in I} \in \mathbb{K}^I \;\Bigg|\; \sum_{i \in I} |x_i|^p < \infty \,\right\}} ,

wobei die Konvergenz der Summe implizieren möge, dass nur abzählbar viele Summanden ungleich null sind (siehe auch unbedingte Konvergenz). Ist die Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} abzählbar unendlich, so ist ein solcher Raum isomorph zum oben definierten Folgenraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^p} . Im Falle einer überabzählbaren Indexmenge kann man den Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^p(I)} als lokalkonvexen direkten Limes von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^p} -Folgenräumen auffassen.^[2]

Sobolev-Räume quadratintegrierbarer Funktionen

Wählt man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega = \R^n} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{A} = \mathcal{B}\left(\R^n\right)} als die borelsche σ-Algebra und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu = \left(1 + \left\|\xi\right\|^2\right)^{\frac{s}{2}} \lambda} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s\in\R} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lambda} das Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -dimensionale Borel-Lebesgue-Maß ist, dann erhält man den Maßraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left(\R^n,\mathcal{B}\left(\R^n\right),\left(1 + \left\|\xi\right\|^2\right)^{\frac{s}{2}} \lambda\right)} . Der Lebesgue-Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2\left(\R^n,\mathcal{B}\left(\R^n\right),\left(1 + \left\|\xi\right\|^2\right)^{\frac{s}{2}} \lambda\right)} der bezüglich dieses Maßes quadratintegrierbaren Funktionen ist ein echter Unterraum des Raums Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{S}'} der temperierten Distributionen. Er wird unter der Fourier-Transformation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{F}} bijektiv auf den Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H^s\left(\R^n\right)} der quadratintegrierbaren Sobolev-Funktionen zur Differentiationsordnung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s} , ebenfalls ein echter Unterraum von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{S}'} , abgebildet. Dabei überführt die Fourier-Transformation die entsprechenden Normen ineinander:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left\|\mathcal{F}\left(f\right)\right\|_{H^s\left(\R^n\right)} = \left\|f\right\|_{L^2\left(\R^n,\mathcal{B}\left(\R^n\right),\left(1 + \left\|\xi\right\|^2\right)^{\frac{s}{2}} \lambda\right)}}

Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle s \ge 0} sind obige Räume dichte Teilräume von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2\left(\R^n,\mathcal{B}\left(\R^n\right),\lambda\right)} , sodass man in diesem Fall auch die Fourier-Transformation auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2\left(\R^n,\mathcal{B}\left(\R^n\right),\lambda\right)} statt auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{S}'} betrachten kann.

Wichtige Eigenschaften

Vollständigkeit

Nach dem Satz von Fischer-Riesz sind die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Räume vollständig für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1\le p \le \infty} , also Banachräume.

Einbettungen

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} ein endliches Maß, gilt also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu(\Omega)<\infty} , so gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^q\subseteq L^p\;} für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1\leq p \leq q} (folgt aus der Ungleichung der verallgemeinerten Mittelwerte)

Für allgemeine Maße gilt für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1<p\leq q\leq r\leq\infty} stets Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{L}^q\supseteq\mathcal{L}^p\cap\mathcal{L}^r} . Dies wird auch als konvexe oder Hölder-Interpolation bezeichnet.

Dichtheit und Separabilität

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left(\Omega, \mathcal{A}\right)} ein separabler Messraum, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} ein Maß auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left(\Omega, \mathcal{A}\right)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1 \le p < \infty } , dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p\left(\Omega, \mathcal{A}, \mu\right)} separabel.^[3] Der Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^\infty\left(\Omega\right)} ist hingegen im Allgemeinen nicht separabel.

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega \subset \R^n} offen. Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1 \leq p < \infty} liegt der Testfunktionenraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C_c^\infty(\Omega)} dicht in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p(\Omega)} .^[4]

Kompaktheit

Der Satz von Kolmogorow-Riesz beschreibt präkompakte bzw. kompakte Mengen in L^p-Räumen.

Dualräume und Reflexivität

Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1 < p < \infty} sind die Dualräume der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Räume wieder Lebesgue-Räume. Konkret gilt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p(\Omega,\mathcal A,\mu)' \cong L^q(\Omega, \mathcal A, \mu),}

worin Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q} durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tfrac{1}{p}+\tfrac{1}{q} =1 } definiert ist, außerdem ist der kanonische, isometrische Isomorphismus

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^q(\Omega, \mathcal A, \mu)\to L^p(\Omega,\mathcal A, \mu)'}

gegeben durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \mapsto \left( g \mapsto \int_\Omega g(\omega)f(\omega) \,\mathrm{d}\mu(\omega) \right) \mathrm{.}}

Daraus folgt, dass für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1< p < \infty} die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Räume reflexiv sind.

Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p=1} ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^1(\Omega, \mathcal A, \mu)'} zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^\infty(\Omega, \mathcal A, \mu)} isomorph (der Isomorphismus analog zu oben), falls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega, \mathcal A, \mu)} σ-endlich oder allgemeiner lokalisierbar ist. Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega, \mathcal A, \mu)} nicht Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma} -endlich, so lässt sich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^1(\Omega, \mathcal A, \mu)'} (wieder unter demselben Isomorphismus) als der Banachraum der lokal messbaren lokal im Wesentlichen beschränkten Funktionen darstellen.

Die Räume Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^1} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^\infty} sind nicht reflexiv.

Der Hilbertraum L²

Definition

Der Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2} hat eine besondere Rolle unter den Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Räumen. Dieser ist nämlich selbst-dual und lässt sich als einziger mit einem Skalarprodukt versehen und wird somit zu einem Hilbertraum. Sei dazu wie oben Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega, \mathcal A, \mu)} ein Maßraum, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (H, \langle\cdot,\cdot\rangle_H)} ein Hilbertraum (häufig Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb C} mit dem Skalarprodukt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle w,z\rangle = \overline wz} ) und

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\, ,g\in L^2(\Omega, \mathcal{A}, \mu;H)} .

Dann definiert

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \langle f, g \rangle_{L^2 (\Omega, \mathcal{A}, \mu; H)} := \int_\Omega {\langle f(x), g(x) \rangle}_H \,\mathrm{d}\mu(x)}

ein Skalarprodukt auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2} . Die von diesem Skalarprodukt induzierte Norm ist die oben definierte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Norm mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p = 2}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \|f\|_{L^2 (\Omega, \mathcal{A}, \mu; H)} = \sqrt{\int_\Omega \|f(x)\|_H^2 \,\mathrm{d}\mu(x)} = \sqrt{\int_\Omega {\langle f(x), f(x) \rangle}_H \,\mathrm{d}\mu(x)} \mathrm{.}}

Da diese Funktionen der Norm nach zum Quadrat integrierbar sind, werden die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2} -Funktionen auch quadratintegrierbare bzw. quadratisch integrierbare Funktionen genannt. Handelt es sich hierbei speziell um die Elemente des Folgenraums Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^2} , so spricht man in der Regel von den quadratisch summierbaren Folgen. Dieser Hilbertraum spielt eine besondere Rolle in der Quantenmechanik.

Beispiel

Die Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon [1,+\infty] \to \R} , welche durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle x \mapsto \frac{1}{x}} definiert ist, ist eine Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2} -Funktion mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2} -Norm:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left( \int_1^\infty \left| \frac{1}{x} \right|^2 \,\mathrm{d} x \right)^\frac{1}{2} = \left( \int_1^\infty x^{-2} \,\mathrm{d} x \right)^\frac{1}{2} = \left( \lim_{b\to\infty} \left[ \frac{x^{-1}}{-1} \right]_1^b \right)^\frac{1}{2} = \left( \lim_{b\to\infty} -\frac{1}{b} + 1 \right)^\frac{1}{2} = 1 < \infty }

Die Funktion ist aber keine Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^1} -Funktion, weil

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \int_1^\infty \left| \frac{1}{x} \right|^1 \,\mathrm{d} x = \int_1^\infty \frac{1}{x} \,\mathrm{d} x = \lim_{b\to\infty} \left[ \ln(x) \right]_1^b = \lim_{b\to\infty} \ln(b) = \infty \mathrm{.} }

Andere Beispiele für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2} -Funktionen sind die Schwartz-Funktionen.

Erweiterter Hilbertraum

Wie weiter oben schon erwähnt, sind die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Räume vollständig. Also ist der Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2} mit dem Skalarprodukt wirklich ein Hilbertraum. Der Raum der Schwartz-Funktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{S}(\R^n)} und der Raum der glatten Funktionen mit kompaktem Träger (ein Teilraum des Schwartz-Raums) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{D}(\R^n)} liegen dicht in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2(\R^n).} Daher erhält man die Inklusionen

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{S}(\R^n) \subset L^2(\R^n) \hookrightarrow \mathcal{S}'(\R^n)}

und

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{D}(\R^n) \subset L^2(\R^n) \hookrightarrow \mathcal{D}'(\R^n).}

Dabei wird mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle '} der entsprechende topologische Dualraum bezeichnet, insbesondere heißt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{D}'(\R^n)} Raum der Distributionen und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{S}'(\R^n)} Raum der temperierten Distributionen. Die Paare

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathcal{S}(\R^n), L^2(\R^n))} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathcal{D}(\R^n), L^2(\R^n))}

sind Beispiele für erweiterte Hilberträume.

Bochner-Lebesgue-Räume

Die Bochner-Lebesgue-Räume sind eine Verallgemeinerung der bisher betrachteten Lebesgue-Räume. Sie umfassen im Gegensatz zu den Lebesgue-Räumen banachraumwertige Funktionen.

Definition

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (E,\|{\cdot}\|)} ein Banachraum und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\Omega, \mathcal A, \mu)} ein Maßraum. Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0 < p < \infty} definiert man

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{L}^p (\Omega, \mathcal{A}, \mu; E, \|\cdot\|) := \left\{\, f \colon \Omega \to E \;\Bigg|\; f \mathrm{\ ist\ messbar},\, \int_\Omega \|f(x)\|^p \,\mathrm{d}\mu(x) < \infty \,\right\}} ,

wobei sich „messbar“ auf die borelsche σ-Algebra der Normtopologie von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} bezieht. Die Abbildung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \|f\|_{\mathcal{L}^p} := \left( \int_\Omega \|f(x)\|^p \,\mathrm{d}\mu(x) \right)^\frac{1}{p}}

ist ebenfalls eine Halbnorm auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{L}^p} , wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1\le p} gilt. Die Bochner-Lebesgue-Räume Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p(\Omega, \mathcal A, \mu; E, \|\cdot\|) } sind nun genauso wie die Lebesgue-Räume als Faktorraum definiert.

Eigenschaften

Für die Bochner-Lebesgue-Räume gelten ebenfalls die Aussagen, die unter Eigenschaften aufgeführt sind. Nur bei den Dualräumen gibt es einen Unterschied. Für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1 < p < \infty} gilt nämlich

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p(\Omega,\mathcal A,\mu; E)' \cong L^q(\Omega, \mathcal A, \mu; E'),}

wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q} durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tfrac{1}{p}+\tfrac{1}{q} =1 } definiert ist und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E'} den Dualraum von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} bezeichnet. Entsprechend sind Bochner-Lebesgue-Räume nur dann reflexiv, wenn der Banachraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} reflexiv ist.^[5] Ebenso sind die Bochner-Lebesgue-Räume nur separabel, wenn der Zielraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} separabel ist.

Beispiel: Zufallsvariable

In der Stochastik betrachtet man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Räume, die mit einem Wahrscheinlichkeitsmaß Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} ausgestattet sind. Unter einer Zufallsvariable versteht man dann eine messbare Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X\colon\Omega\rightarrow E} . Weiter ist der Erwartungswert für quasiintegrierbare Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} als

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E(X) := \int_\Omega X \,\mathrm{d}P \in E}

definiert. Zufallsvariablen, die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^1} -Funktionen sind, besitzen also einen endlichen Erwartungswert. Des Weiteren sind Zufallsvariablen genau dann in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^2} , wenn man ihnen eine Varianz zuweisen kann. Da das für praktische Anwendungen häufig gefordert ist, sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Räume gerade in der Stochastik wichtig.

Den Lebesgue-Räumen verwandte Räume

Oftmals betrachtet man auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Funktionen für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p < 1.} Außerdem werden in der Funktionalanalysis die Sobolev-Räume und die Hardy-Räume untersucht, welche man als Spezialfälle der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Räume verstehen kann und in der Differentialgeometrie gibt es auf Mannigfaltigkeiten eine Verallgemeinerung der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Räume.

L^p für p < 1

Ein Kreis bzgl. (2/3)-Quasinorm in zwei Dimensionen, d. h. in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^{\frac{2}{3}}\left(\left\{0,1\right\},\mathcal{P}\left(\left\{0,1\right\}\right),\mu\right)} , mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mu} Zählmaß, ist eine Astroide. Die Kreisscheibe ist nicht konvex.

Es gibt auch die Verallgemeinerung der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Räume Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p\left(X,\mathcal{A},\mu\right)} bzw. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p\left(X,\mathcal{A},\mu;E\right)} für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0 < p < 1} . Diese sind allerdings keine Banachräume mehr, weil die entsprechende Definition keine Norm liefert. Immerhin sind diese Räume vollständige topologische Vektorräume^[6]^[7] mit der Quasinorm

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} N_p\colon L^p \left(X, \mathcal{A}, \mu \right) &\longrightarrow \R \\ f &\longmapsto \left( \int_X \| f \|^p \,\mathrm{d}\mu \right)^\frac{1}{p} \end{align} }

bzw. der Pseudonorm oder Fréchet-Metrik

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} \varrho_p\colon L^p \left( X, \mathcal{A}, \mu \right) &\longrightarrow \R \\ f &\longmapsto (N_p (f))^p = \int_X \| f \|^p \,\mathrm{d}\mu \end{align} }

oder der translationsinvarianten Metrik

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} d_p\colon L^p \left( X, \mathcal{A}, \mu \right) \times L^p \left( X, \mathcal{A}, \mu \right) &\longrightarrow \R \\ (f, g) &\longmapsto \varrho_p (f - g) = \int_X \| f - g \|^p \,\mathrm{d}\mu \mathrm{.} \end{align}}

Für die Quasinorm wird die Dreiecksungleichung abgeschwächt, die positive Homogenität bleibt erhalten:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N_p (f + g) \leq 2^{\frac{1}{p} - 1} \cdot (N_p (f) + N_p (g)), \quad N_p (\lambda f) = |\lambda| N_p (f) \mathrm{.} }

Für die Fréchet-Metrik wird hingegen die positive Homogenität abgeschwächt, die Dreiecksungleichung bleibt erhalten:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} \varrho_p (f + g) &\leq \varrho_p (f) + \varrho_p (g), \\ \varrho_p (\lambda f) &= |\lambda|^p \cdot \varrho_p (f) \stackrel{|\lambda| \leq 1}{\leq} |\lambda| \varrho_p (f), \\ \varrho_p (-f) &= \varrho_p (f) \mathrm{.} \end{align} }

Diese Räume sind im Allgemeinen nicht lokalkonvex, der Satz von Hahn-Banach also im Allgemeinen nicht anwendbar, sodass es möglicherweise „sehr wenige“ lineare stetige Funktionale gibt. Insbesondere ist nicht gesichert, dass die schwache Topologie auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p\left(X,\mathcal{A},\mu\right)} Punkte trennen kann. Ein derartiges Beispiel liefert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p([\, 0, 1 \,])} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (L^p ([\, 0, 1 \,]))' = \{\, 0 \,\}} ^[6]^[8]^[9].

Raum der lokal integrierbaren Funktionen

Eine lokal integrierbare Funktion ist eine messbare Funktion, die nicht notwendigerweise auf ihrem kompletten Definitionsbereich integrierbar sein muss, jedoch muss sie für jedes Kompaktum, das im Definitionsbereich enthalten ist, integrierbar sein. Sei also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega \subset \R^n} offen. Dann heißt eine Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} lokal integrierbar, falls für jedes Kompaktum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K \subset \Omega} das Lebesgue-Integral

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p_K (f) := \int_K |f(x)| \,\mathrm{d} x < \infty}

endlich ist. Die Menge dieser Funktionen wird mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{L}^1_{\operatorname{loc}}(\Omega)} bezeichnet. Analog zu den Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal{L}^p} -Räumen bildet man auch hier Äquivalenzklassen von Funktionen, die sich nur auf einer Nullmenge unterscheiden, und erhält dann den Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^1_{\operatorname{loc}}(\Omega)} als Faktorraum. Mit der Familie aller Halbnormen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p_K} (für kompakte Mengen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K \subset \Omega} ) wird dieser zu einem hausdorffschen, lokalkonvexen und vollständigen topologischen Vektorraum; durch Auswahl abzählbar vieler Kompakta, die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Omega} geeignet approximieren, sogar ein Fréchet-Raum. Dieser Raum kann als Raum der regulären Distributionen verstanden werden und lässt sich daher stetig in den Raum der Distributionen einbetten. Analog zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^1_{\operatorname{loc}}(\Omega)} lassen sich auch die Räume Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p_{\operatorname{loc}}(\Omega)} der lokal p-integrierbaren Funktionen definieren.

Sobolev-Räume

Neben den schon angeführten Sobolev-Räumen mit quadratintegrierbaren Funktionen, gibt es noch weitere Sobolev-Räume. Diese werden mithilfe der schwachen Ableitungen definiert und umfassen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p} -integrierbare Funktionen. Verwendet werden diese Räume insbesondere zur Untersuchung von partiellen Differentialgleichungen.

Hardy-Räume

Untersucht man statt der messbaren Funktionen nur die holomorphen beziehungsweise die harmonischen Funktionen auf Integrierbarkeit, so werden die entsprechenden Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Räume Hardy-Räume genannt.

Lebesgue-Räume auf Mannigfaltigkeiten

Auf einer abstrakten differenzierbaren Mannigfaltigkeit, die nicht in einen euklidischen Raum eingebettet ist, existiert zwar kein kanonisches Maß und somit kann man keine Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Funktionen definieren. Es ist aber trotzdem möglich, ein Analogon zum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L^p} -Raum zu definieren, indem man statt Funktionen auf der Mannigfaltigkeit sogenannte 1-Dichten untersucht. Weitere Informationen sind im Artikel Dichtebündel zu finden.

Quellen

Herbert Amann, Joachim Escher: Analysis. Band 3. Birkhäuser, Basel u. a. 2001, ISBN 3-7643-6613-3.

Einzelnachweise

↑ Bochner-Integral. In: Guido Walz (Red.): Lexikon der Mathematik. Band 3: Inp bis Mon. Spektrum Akademischer Verlag, Mannheim u. a. 2001, ISBN 3-8274-0435-5.
↑ Rafael Dahmen, Gábor Lukács: Long colimits of topological groups I: Continuous maps and homeomorphisms. in: Topology and its Applications Nr. 270, 2020. Example 2.14
↑ Haïm Brezis: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer New York, New York NY 2010, ISBN 978-0-387-70913-0, Theorem 4.13.
↑ Dirk Werner: Funktionalanalysis. 6., korrigierte Auflage. Springer, Berlin u. a. 2007, ISBN 978-3-540-72533-6, Lemma V.1.10.
↑ Joseph Diestel, John J. Uhl: Vector measures (= Mathematical Surveys and Monographs. Bd. 15). American Mathematical Society, Providence RI 1977, ISBN 0-8218-1515-6, Seiten 98, 82.
↑ ^a ^b Jürgen Elstrodt: Maß- und Integrationstheorie. 6. Auflage. Springer Verlag, Berlin, Heidelberg 2009, ISBN 978-3-540-89727-9, Kapitel 6, S. 223–225, 229–234, 263, 268.
↑ Herbert Amann, Joachim Escher: Analysis. Band 3. 2. Auflage. Birkhäuser Verlag, Basel u. a. 2008, ISBN 978-3-7643-8883-6, Kapitel X: Integrationstheorie, Aufgabe 13, S. 131.
↑ Walter Rudin: Functional Analysis. 2. Auflage. McGraw-Hill, New York 1991, ISBN 0-07-054236-8, S. 36–37.
↑ Hans Wilhelm Alt: Lineare Funktionalanalysis. Eine anwendungsorientierte Einführung. 6. Auflage. Springer-Verlag, Berlin, Heidelberg 2012, ISBN 978-3-642-22260-3, Kapitel 2. Teilmengen von Funktionenräumen, U2.11, S. 140.

[1] Bochner-Integral. In: Guido Walz (Red.): Lexikon der Mathematik. Band 3: Inp bis Mon. Spektrum Akademischer Verlag, Mannheim u. a. 2001, ISBN 3-8274-0435-5.

[2] Rafael Dahmen, Gábor Lukács: Long colimits of topological groups I: Continuous maps and homeomorphisms. in: Topology and its Applications Nr. 270, 2020. Example 2.14

[3] Haïm Brezis: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer New York, New York NY 2010, ISBN 978-0-387-70913-0, Theorem 4.13.

[4] Dirk Werner: Funktionalanalysis. 6., korrigierte Auflage. Springer, Berlin u. a. 2007, ISBN 978-3-540-72533-6, Lemma V.1.10.

[5] Joseph Diestel, John J. Uhl: Vector measures (= Mathematical Surveys and Monographs. Bd. 15). American Mathematical Society, Providence RI 1977, ISBN 0-8218-1515-6, Seiten 98, 82.

[Elstrodt-6] Jürgen Elstrodt: Maß- und Integrationstheorie. 6. Auflage. Springer Verlag, Berlin, Heidelberg 2009, ISBN 978-3-540-89727-9, Kapitel 6, S. 223–225, 229–234, 263, 268.

[7] Herbert Amann, Joachim Escher: Analysis. Band 3. 2. Auflage. Birkhäuser Verlag, Basel u. a. 2008, ISBN 978-3-7643-8883-6, Kapitel X: Integrationstheorie, Aufgabe 13, S. 131.

[8] Walter Rudin: Functional Analysis. 2. Auflage. McGraw-Hill, New York 1991, ISBN 0-07-054236-8, S. 36–37.

[9] Hans Wilhelm Alt: Lineare Funktionalanalysis. Eine anwendungsorientierte Einführung. 6. Auflage. Springer-Verlag, Berlin, Heidelberg 2012, ISBN 978-3-642-22260-3, Kapitel 2. Teilmengen von Funktionenräumen, U2.11, S. 140.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

Anonym

Suche

Lp-Raum

Definition

𝓛p mit Halbnorm

Lp mit Norm

Sonderfall p=∞

Beispiele

Lebesgue-Räume bezüglich des Lebesgue-Maßes

Der Folgenraum ℓp

Allgemeiner ℓp-Raum

Sobolev-Räume quadratintegrierbarer Funktionen

Wichtige Eigenschaften

Vollständigkeit

Einbettungen

Dichtheit und Separabilität

Kompaktheit

Dualräume und Reflexivität

Der Hilbertraum L2

Definition

Beispiel

Erweiterter Hilbertraum

Bochner-Lebesgue-Räume

Definition

Eigenschaften

Beispiel: Zufallsvariable

Den Lebesgue-Räumen verwandte Räume

Lp für p < 1

Raum der lokal integrierbaren Funktionen

Sobolev-Räume

Hardy-Räume

Lebesgue-Räume auf Mannigfaltigkeiten

Quellen

Einzelnachweise

Navigation

Wikiwerkzeuge

Seitenwerkzeuge

Weitere Projekte

Kategorien

L^p-Raum

𝓛^p mit Halbnorm

L^p mit Norm

Der Folgenraum ℓ^p

Allgemeiner ℓ^p-Raum

Der Hilbertraum L²

L^p für p < 1