Spur eines Mengensystems

Gegeben sei ein beliebiges Mengensystem ${\displaystyle {\mathcal {M}}\subset {\mathcal {P}}(\Omega )}$ auf der Grundmenge ${\displaystyle \Omega }$ und eine Menge ${\displaystyle E\subset \Omega }$. Dann heißt

${\displaystyle {\mathcal {M}}|_{E}:=\{M\cap E\,|\,M\in {\mathcal {M}}\}}$

die Spur oder Einschränkung von ${\displaystyle {\mathcal {M}}}$ auf ${\displaystyle E}$.

Im Allgemeinen ist die Spur eines Mengensystems nicht mehr vom selben Typ wie das ursprüngliche Mengensystem. Beispiel hierfür sind Dynkin-Systeme. Klassen von Mengensystemen, deren Spur wieder von derselben Klasse ist, sind Halbringe, Mengenringe, Mengenalgebren und σ-Ringe sowie σ-Algebren.

Sei ${\displaystyle \Omega =\{1,2,3\}}$, eine dazugehörige σ-Algebra ${\displaystyle {\mathcal {A}}=\{\emptyset ,\{1\},\{2,3\},\Omega \}}$ und ${\displaystyle E=\{1,2\}}$, so ist ${\displaystyle {\mathcal {A}}|_{E}=\{\emptyset ,\{1\},\{2\},E\}}$ die Spur-σ-Algebra von ${\displaystyle {\mathcal {A}}}$ über ${\displaystyle E}$.

• Jürgen Elstrodt: Maß- und Integrationstheorie. 4., korrigierte Auflage. Springer, Berlin u. a. 2005, ISBN 3-540-21390-2
• Achim Klenke: Wahrscheinlichkeitstheorie. 2. Auflage. Springer-Verlag, Berlin Heidelberg 2008, ISBN 978-3-540-76317-8

1. Achim Klenke: Wahrscheinlichkeitstheorie. (PDF) S. 10, abgerufen am 4. Januar 2015.