Der Vektorraum der Äquivalenzklassen messbarer Funktionen auf einem gegebenen Maßraum, deren p-te Potenz integrierbar ist; Funktionen werden bis auf eine Nullmenge identifiziert und der Raum ist mit der p-Norm ||f||_p = (∫ |f|^p)^{1/p} für 1 ≤ p < ∞ bzw. mit der essenziellen Supremumsnorm für p = ∞ ausgestattet.

Prinzip

Maßtheoretische Integrabilität bestimmt Größe und Konvergenz: Die Zugehörigkeit richtet sich nach der Integrierbarkeit der p-ten Potenz eines Repräsentanten, und fast überall gleiche Funktionen sind dasselbe Element; die p-Norm strukturiert Topologie und Geometrie.

Demonstration

Auf der reellen Linie mit dem Lebesgue-Maß besteht Lp(R) aus messbaren Funktionen f mit ∫_R |f(x)|^p dx < ∞. Für p = 2 ist dieses Raum ein Hilbertraum mit dem Skalarprodukt ⟨f,g⟩ = ∫ f ḡ.

Fehlanwendung

Punktweise Werte eines Repräsentanten als kanonisch behandeln oder davon ausgehen, dass punktweise Operationen (etwa punktweise Multiplikation) stets Elemente desselben Lp-Raums liefern, ohne Integrabilität oder a.e.-Gleichheit zu prüfen.

Konsequenz

Korrekt angewendet bieten Lp-Räume Werkzeuge der Funktionalanalysis: Vollständigkeit (Banachräume für 1 ≤ p ≤ ∞), Hölder- und Minkowski-Ungleichungen, Dualität zwischen konjugierten Exponenten sowie wohldefinierte Begriffe von Konvergenz in Norm und in Maß.

Umkehrung

Statt Integrabilität punktweise Regularität ins Zentrum stellen (z. B. stetige oder beschränkte Funktionen): dann entfällt die Identifikation nach fast überall Gleichheit und die integrabilitätsgetriebene Topologie.

Abgrenzung

Definiert bezogen auf einen Maßraum; nicht-messbare Funktionen sind ausgeschlossen; die Zugehörigkeit hängt von p und dem Maßraum ab; Eigenschaften wie Reflexivität oder Separabilität hängen von p und dem Trägerraum ab.

Semantische Spannung

Spannung entsteht zwischen der Sicht als Äquivalenzklassen (abstrakte funktionalanalytische Objekte) und der Sicht als konkrete Repräsentanten sowie zwischen verschiedenen p-Werten, die die Geometrie und Dualität verändern.

Synthese

Lp-Räume sind Banachräume messbarer Funktionen modulo Nullmengen, deren Größe und Konvergenzverhalten durch eine p-Norm gesteuert werden; die Verbindung von Maßtheorie und Normtopologie macht sie zu einem zentralen Werkzeug der Analysis.