Lokalisierbar

Lokalisierbarkeit ist in der Mathematik, genauer in der Maßtheorie, eine Eigenschaft, die Maßraum zukommt.

Definition

Dabei heißt ein Maßraum $(S, \mathcal A, \mu)$ lokalisierbar, wenn gilt: Ist $\mathcal A_0 := \{A \in \mathcal A: \mu(A) < \infty\}$ und $(g_A)_{A \in \mathcal A_0}$ eine Familie messbarer Funktionen $g_A: A \to \mathbb R$ mit

$g_A|_{A\cap B} = g_B|_{A \cap B}$ für alle $A,B \in \mathcal A$ mit $\mu(A), \mu(B) < \infty$

so existiert eine lokal messbare Funktion $g: S \to \mathbb R$ mit g | _A = g_A für alle $A \in \mathcal A_0$.

Erläuterung

In einem lokalisierbaren Maßraum ist es also möglich, lokal konsistent gegebene messbare Funktionen zu einer (lokal) messbaren Funktion, die auf dem ganzen Raum definiert ist, zusammenzusetzen. Lokal bedeutet hierbei auf Mengen endlichen Maßes.

Eigenschaften

• Die vielleicht wichtigste Eigenschaft eines lokalisierbaren Maßraums ist vielleicht die, dass in lokalisierbaren Räumen der Dualraum des L¹ als der Raum der lokal messbaren, lokal im wesentlichen beschränkten Funktionen beschrieben werden kann. Im Fall σ-endlicher Maßräume fällt dieser Raum, mit dem üblichen L^∞ zusammen.