Inhalt

Grundlagen der Mathematik

Diskrete Mathematik

Differentialgleichungen

Funktionalanalysis

Normierte Räume

Funktional

Lineare Operatoren

Banach-Raum

Banachalgebra

Hilbertraum

Lp-Raum

Vollständigkeitssatz

von Riesz

Rieszscher

Darstellungssatz

Neumann-Reihe

Differentialgeometrie

Anbieterkennzeichnung

Weiterbildung für alle! Über 200 Fernlehrgänge an Deutschlands größter Fernschule!

Lp-Raum

In der Mathematik sind L^p -Räume spezielle Banachräume. Das L in der Bezeichnung geht auf den französischen Mathematiker Lebesgue zurück, da diese Räume über das Lebesgue-Integral definiert werden. Manchmal werden sie daher auch als Lebesgue-Räume bezeichnet. Das p in der Bezeichnung ist ein reeller Parameter: Für jede Zahl ist ein L^p -Raum definiert.

Definition

Funktionenraum mit Halbnorm

Sei ein Maßraum, E ein Banachraum mit der Norm und . Die Menge

ist messbar

ist ein Vektorraum.

Die Abbildung ist eine Halbnorm auf . Die Dreiecksungleichung für diese Halbnorm wird Minkowski-Ungleichung genannt und mit Hilfe der Hölder-Ungleichung bewiesen. Nach dem Riesz'schen Vollständigkeitssatz ist der Raum mit dieser Halbnorm versehen vollständig.

ist genau dann eine Norm, wenn die einzige Nullmenge die leere Menge ist. Gibt es nämlich eine Nullmenge , so ist die charakteristische Funktion 1_N ungleich der Nullfunktion, aber es gilt ||1_N ||_p = 0.

Faktorraum mit Norm

Um im Fall der Halbnorm einen normierten Raum zu erhalten, definieren wir die Äquivalenzrelation durch

Auf dem Faktorraum ist durch ||[f]||_p := ||f||_p eine Norm definiert. Dabei handelt es sich bei [f] um die Äquivalenzklasse von f und die Normdefinition hängt nicht von dem Repräsentanten aus [f] ab, d.h. falls Funktionen , gilt ||f₁ ||_p = ||f₂ ||_p . Der normierte Vektorraum L^p ist bzgl. der Norm vollständig und damit ein Banachraum.

Auch wenn man von sogenannten L^p -Funktionen spricht, handelt es sich dabei um die gesamte Äquivalenzklasse einer klassischen Funktion. Allerdings liegen 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 kann man einen L^p -Raum, den Raum der wesentlich beschränkten Funktionen, definieren. Hierfür gibt es verschiedene Möglichkeiten, die aber für σ-endliche Maßräume alle zusammenfallen. Am verbreitetsten ist: dabei ist Betrachten wir analog zu oben , erhalten wir wieder einen Banachraum.

Beispiele

Die klassischste Version eines L^p -Raums ist durch gegeben. beschreibt dann die Borelsche σ-Algebra und ist dann das Lebesgue-Maß . Darüber hinaus wird oft E als die Menge der reellen Zahlen gewählt. In diesem Zusammenhang wird die Notation benutzt.

Einige Autoren schreiben den Parameter p unten statt oben: L_p statt L^p .

In der Stochastik betrachtet man L^p -Räume, die mit einem Wahrscheinlichkeitsmaß P ausgestattet sind. Unter einer Zufallsvariable versteht man dann eine Funktion . Weiter ist der Erwartungswert als

definiert. Zufallsvariablen, die L¹ -Funktionen sind, besitzen also einen endlichen Erwartungswert. Da das für praktische Anwendungen immer gefordert ist, sind L^p -Räume gerade in der Stochastik sehr wichtig.

In einem weiteren wichtigen Fall sind die natürlichen Zahlen, und das normale Zählmaß. Hier ist der L^p -Raum der Raum aller Zahlenfolgen , für die die Reihe konvergiert. Diese Räume werden auch oft mit bezeichnet.

Wichtige Eigenschaften

Alle L^p -Räume für sind Banachräume.
Ist ein endliches Maß, gilt also , so folgt aus der Ungleichung der verallgemeinerten Mittelwerte, dass für .
Für sind die Dualräume der L^p -Räume wieder L^p -Räume, konkret gilt: Der Dualraum von L^p ist der Raum L^q , wobei q die Gleichung erfüllt.

Genauer gilt: Für reflexive Banachräume E und

ist

und der kanonische isometrische Isomorphismus ist durch

gegeben.

Für p = 1 und ist zu isomorph (der Isomorphismus analog zu oben), falls -endlich ist. Ist nicht -endlich, so lässt sich (wieder unter dem selben Isomorphismus) als der Banachraum der lokal messbaren lokal im wesentlichen beschränkten Funktionen darstellen.
Daraus folgt, dass für und reflexives E die L^p -Räume reflexiv sind.
Der Fall p = 2 ist ein Sonderfall: Der L² ist, falls E ein Hilbertraum ist, nämlich sogar ein Hilbertraum (siehe unten).
Die Räume L¹ und sind nicht reflexiv.

Verallgemeinerungen

Es gibt auch die Verallgemeinerung der L^p -Räume für 0 < p < 1. Diese sind allerdings keine Banachräume mehr, weil die entsprechende Definition keine Norm liefert, sondern nur eine Quasi-norm. In diesem Fall ist jedoch eine translationsinvariante Metrik auf , die diesen Raum zu einem vollständigen metrischen Vektorraum macht.

Berücksichtigt man in der Norm nicht nur die Funktionswerte, sondern auch die Ableitungen, so erhält man Sobolew-Räume, die insbesondere in der Untersuchung von Differentialgleichungen eine wichtige Rolle spielen.

Der Hilbertraum L²

Sei ein Maßraum, ein Hilbertraum (häufig mit dem Skalarprodukt ) und . Dann definiert ein Skalarprodukt auf L² . Dieser Raum ist bezüglich der durch das Skalarprodukt induzierten Norm vollständig und damit selbst wieder ein Hilbertraum.

Wir Mathematiker sind die wahren Dichter, nur müssen wir das, was unsere Phantasie schafft, noch beweisen.

Leopold Kronecker

Druckansicht

Impressum: Wurzelzieher Mathepedia • Thomas Steinfeld • Dorfplatz 25 • 17237 Blankensee • Tel.: 01734332309 (Vodafone/D2) • Email: matһе@wυrzеlzιeher.de

Amazon.de empfiehlt: