Lexikon der Mathematik: projektive Familie von Maßen
Begriff aus der Maßtheorie.
Es sei \({{\mathcal{I}}}\) eine Menge, 𝒫0 (\({{\mathcal{I}}}\)) das Mengensystem der endlichen Untermengen von \({{\mathcal{I}}}\), ((Ωi, 𝔄i)|i ∈ \({{\mathcal{I}}}\)) eine Familie von Meßräumen, und (μ𝒥 |𝒥 ∈ 𝒫0 (\({{\mathcal{I}}}\))) eine Familie von Maßen auf den Produkt-σ-Algebren
Dann heißt die Familie von Maßen projektiv, falls für jedes 0 ≠ 𝒥 ⊆ H ⊆ \({{\mathcal{I}}}\) mit \({{\mathcal{I}}}\), H ∈ 𝒫0 (\({{\mathcal{I}}}\)), und mit der Projektion \({\pi }_{{\mathcal{J}}}^{H}:{\times }_{i\in H}{\Omega }_{i}\to {\times }_{i\in {\mathcal{J}}}{\Omega }_{i}\), definiert durch
gilt:
(Bildmaß).
Schreiben Sie uns!