Lexikon der Mathematik: quadratintegrierbare Funktion
im Spezialfall eines Maßraums (Ω, Σ, μ) ein Element des Funktionenraums 𝔏2 (μ), also eine meßbare Funktion f : Ω → ℂ mit
Durch
wird eine Halbnorm ∥ ∥2 : 𝔏2 (μ) → [0, ∞) definiert. Diese wird durch ein Semiskalarprodukt erzeugt, nämlich gerade durch das Quadratintegral 〈,〉μ : 𝔏2 (μ) × 𝔏2 (μ) → ℂ. Es gilt also
für f ∈ 𝔏2 (μ). Durch Quotientenbildung nach dem Unterraum
erhält man aus 𝔏2 (μ) einen Hilbertraum L2 (μ). Das Skalarprodukt zweier Elemente ist dabei durch das Quadratintegral beliebiger Repräsentanten gegeben.
Hier wurde gleich ein Maßraum zugrundegelegt. Ist zunächst nur ein Maß auf einem Mengen(halb)ring gegeben, so muß dieses beim klassischen Zugang erst auf eine σ-Algebra fortgesetzt werden, ehe man meßbare Funktionen betrachten und damit schließlich den Raum L2 (μ) definieren kann. Eleganter ist es, im Rahmen einer Integrationstheorie mit Integralnormen diese auch zur Definition von 𝔏2-Räumen zu benutzen. Dieser Zu gang ist auch geeignet zur Behandlung wesentlich allgemeinerer Begriffe von Quadratintegrierbarkeit.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.