Ring (Mengensystem)

Ein Mengenring, auch einfach kurz Ring genannt, ist in der Maßtheorie ein spezielles Mengensystem und somit eine Menge von Mengen. Ringe und ihre Erweiterungen zu komplexeren Mengensystemen wie σ-Algebren spielen eine wichtige Rolle im axiomatischen Aufbau der Wahrscheinlichkeitstheorie und der Integrationstheorie.

Felix Hausdorff nannte aufgrund „einer ungefähren Analogie“ zur algebraischen Struktur eines Ringes in der algebraischen Zahlentheorie einen Mengenverband „Ring“. Unter einem Ring versteht man heute in der Maßtheorie üblicherweise ein wie hier definiertes Mengensystem.

Der hier verwendete Begriff des Ringes unterscheidet sich außerdem von dem eines Rings im Sinne der Algebra, beide stehen aber in einem Zusammenhang.

Definition

Sei $Ω$ eine beliebige Menge. Ein Mengensystem $ℛ$ über $Ω$ , also eine Menge von Teilmengen von $Ω$ , heißt ein Mengenring oder Ring über $Ω$ , wenn folgende Eigenschaften erfüllt sind:

$ℛ \neq ∅︀$ ( $ℛ$ ist nicht leer).
$A, B \in ℛ ⟹ A \cup B \in ℛ$ (Stabilität/Abgeschlossenheit bezüglich Vereinigung).
$A, B \in ℛ ⟹ A ∖ B \in ℛ$ (Stabilität/Abgeschlossenheit bezüglich Differenz).

Jeder Mengenring $ℛ$ enthält mit der leeren Menge $∅︀$ ein Nullelement bzw. eine Null, denn $ℛ$ enthält mindestens ein Element $A$ und damit ist $∅︀ = A ∖ A \in ℛ$ .

Äquivalente Definitionen befinden sich im entsprechenden unten stehenden Abschnitt.

Beispiele

Potenzmengen

Über einer beliebigen Menge $Ω$ ist jede Potenzmenge

ℛ = 𝒫 (T)

von einer Menge $T \subseteq Ω$ ein Mengenring. Denn $𝒫 (T)$ ist nicht leer und stabil bezüglich allen Mengenoperationen, da $𝒫 (T)$ per Definition alle Teilmengen von $T$ enthält, die ebenso Teilmengen von $Ω$ sind.

Insbesondere ist die Potenzmenge $𝒫 (Ω)$ der größte Mengenring über $Ω$ , enthält sie doch alle Teilmengen von $Ω$ .

Die Potenzmenge der leeren Menge $𝒫 (∅︀) = {∅︀}$ ist wiederum der kleinste Mengenring über $Ω$ , weil immer zumindest $∅︀ \in ℛ$ ist.

System aller endlichen Teilmengen

Ist $Ω$ eine beliebige Menge und bezeichnet $| A |$ die Mächtigkeit der Menge $A (| ∅︀ | = 0)$ , so ist das System

ℛ = {A \subseteq Ω ∣ | A | \in ℕ_{0}}

aller endlichen Teilmengen von $Ω$ ein Mengenring, weil Vereinigungen und Differenzen von jeweils zwei endlichen Mengen wieder endlich sind.

Mengenring der d-dimensionalen Figuren

Ein in der Anwendung wichtiger Mengenring über $ℝ^{d}, d \in ℕ,$ ist der Ring der $d$ -dimensionalen Figuren

ℛ = {[a_{1}, b_{1}) \cup \dots \cup [a_{n}, b_{n}) \subset ℝ^{d} ∣ a_{i}, b_{i} \in ℝ^{d} mit a_{i} \leq b_{i} für i = 1, \dots, n}

.

Er besteht aus allen Mengen, die sich als endliche Vereinigungen von rechtsoffenen $d$ -dimensionalen Intervallen darstellen lassen, und ist der von dem Mengenhalbring

ℋ = {[a, b) \subset ℝ^{d} ∣ a, b \in ℝ^{d} mit a \leq b}

erzeugte Ring (s. u.).

Eigenschaften

Stabilität bezüglich Mengenoperationen

Für zwei beliebige Mengen $A, B$ gilt stets $A \cap B = A ∖ (A ∖ B)$ und $A △ B = (A ∖ B) \cup (B ∖ A)$ . Daher ist auch jeder Mengenring $ℛ$ stabil/abgeschlossen bezüglich Durchschnitt und symmetrischer Differenz:

$A, B \in ℛ ⟹ A \cap B \in ℛ$ .
$A, B \in ℛ ⟹ A △ B \in ℛ$ .

Aus der Stabilität bezüglich Vereinigung, Durchschnitt und symmetrischer Differenz folgt jeweils induktiv, dass auch alle endlichen Vereinigungen sowie alle nicht leeren, endlichen Durchschnitte und symmetrischen Differenzen von Elementen des Mengenringes $ℛ$ in ihm enthalten sind, d. h. für alle $n \in ℕ$ gilt:

$A_{1}, \dots, A_{n} \in ℛ ⟹ A_{1} \cup \dots \cup A_{n} \in ℛ$ und $⋃ ∅︀ = ∅︀ \in ℛ$ .
$A_{1}, \dots, A_{n} \in ℛ ⟹ A_{1} \cap \dots \cap A_{n} \in ℛ$ .
$A_{1}, \dots, A_{n} \in ℛ ⟹ A_{1} △ \dots △ A_{n} \in ℛ$ .

Mengenring mit Eins

Da jeder Mengenring $ℛ$ vereinigungs- und durchschnittsstabil ist, ist er auch ein Mengenverband. Wenn $ℛ$ als solcher auch $I := ⋃ ℛ$ als Einselement bzw. Eins enthält, dann ist $ℛ$ ein Mengenring mit Eins oder kurz ein Ring mit Eins.

Jede Potenzmenge

ℛ = 𝒫 (T)

einer Menge $T \subseteq Ω$ ist ein Mengenring über $Ω$ mit Einselement $I = T$ .

Dagegen ist das Mengensystem

ℛ = {∅︀} \cup {{n_{1}, \dots, n_{m}} ∣ n_{1}, \dots, n_{m} \in ℕ, m \in ℕ}

aller endlichen Teilmengen von $Ω = ℕ$ ein Beispiel für einen Mengenring ohne Eins, denn $⋃ ℛ = ℕ \notin ℛ$ .

Beziehung zum Ring im Sinne der Algebra

Das Tripel $(ℛ, △, \cap)$ mit dem Mengenring $ℛ$ ist ein Ring im Sinne der Algebra und die leere Menge $∅︀$ ist dessen Nullelement. Falls $ℛ$ ein Mengenring mit Eins ist, ist $I = ⋃ ℛ$ zudem das Einselement von $(ℛ, △, \cap)$ .

Ist umgekehrt $ℛ$ ein Mengensystem, so dass $(ℛ, △, \cap)$ ein Ring im Sinne der Algebra ist, dann ist $ℛ$ wegen $A \cup B = (A △ B) △ (A \cap B) \in ℛ$ und $A ∖ B = A △ (A \cap B) \in ℛ$ für alle $A, B \in ℛ$ auch immer ein Mengenring.

Damit sich jeder Mengenring $ℛ$ als Ring im Sinne der Algebra darstellen lässt, darf $ℛ$ nicht leer sein, denn die leere Menge $∅︀$ kann kein Nullelement enthalten und daher keine Trägermenge eines Ringes im Sinne der Algebra sein.

Äquivalente Definitionen

Wenn $ℛ$ ein System von Teilmengen von $Ω$ ist und wenn $A, B$ Mengen sind, dann sind wegen $A \cap B = A ∖ (A ∖ B)$ und $A ∖ B = A ∖ (A \cap B)$ folgende zwei Aussagen äquivalent:

$A, B \in ℛ ⟹ A ∖ B \in ℛ$ .
$A, B \in ℛ ⟹ A \cap B \in ℛ$ und falls $B \subseteq A$ auch $A ∖ B \in ℛ$ .

Ist außerdem $ℛ \neq ∅︀$ , so sind wegen $A ∖ B = (A \cup B) △ B$ und $A \cup B = (A ∖ B) \cup B$ sowie $A \cup B = C ∖ ((C ∖ A) \cap (C ∖ B))$ für jede Menge $C$ mit $A \cup B \subseteq C$ ebenso äquivalent:

$ℛ$ ist ein Mengenring.
$ℛ$ ist ein differenzstabiler Mengenverband.
$ℛ$ ist ein vereinigungsstabiler Mengenhalbring.
$ℛ$ ist stabil bezüglich symmetrischer Differenz $△$ und Durchschnitt $\cap$ .
$(ℛ, △)$ ist eine abelsche Gruppe und $(ℛ, \cap)$ ist eine Halbgruppe.
$(ℛ, △, \cap)$ ist ein Ring im Sinne der Algebra mit Addition $△$ und Multiplikation $\cap$ .
$(ℛ, △, \cap)$ ist ein idempotenter (kommutativer) Ring im Sinne der Algebra.
$ℛ$ ist stabil bezüglich symmetrischer Differenz $△$ und Vereinigung $\cup$ .
$A, B \in ℛ ⟹ A ∖ B \in ℛ$ und falls $A \cap B = ∅︀$ existiert ein $C \in ℛ$ mit $A \cup B \subseteq C$ .
$A, B \in ℛ ⟹ A ∖ B \in ℛ$ und es existiert ein $C \in ℛ$ mit $A \cup B \subseteq C$ .

Operationen mit Ringen

Schnitt von Ringen

Der Schnitt $ℛ_{1} \cap ℛ_{2}$ von zwei Mengenringen $ℛ_{1}$ und $ℛ_{2}$ ist stets wieder ein Ring. Denn sind $A, B \in ℛ_{1} \cap ℛ_{2}$ , so sind auch $A, B \in ℛ_{1}$ und $A, B \in ℛ_{2}$ , also $A \cup B \in ℛ_{1}$ sowie $A \cup B \in ℛ_{2}$ . Somit ist $A \cup B$ auch in $ℛ_{1} \cap ℛ_{2}$ , der Schnitt ist folglich stabil bezüglich Vereinigung. Die Stabilität bezüglich der Differenz folgt analog.

Die Aussage gilt ebenso für den Schnitt einer beliebigen Anzahl von Mengenringen, da sich die obige Argumentation dann auf alle diese Ringe ausweiten lässt. Somit gilt:

Ist $I$ eine beliebige Indexmenge und sind alle $ℛ_{i}$ für $i \in I$ Mengenringe über derselben Grundmenge $Ω$ , so ist der Schnitt aller dieser Ringe wieder ein Mengenring über $Ω$ :

ℛ_{I} := ⋂_{i \in I} ℛ_{i}

.

Vereinigung von Ringen

Die Vereinigung $ℛ_{1} \cup ℛ_{2}$ zweier Mengenringe $ℛ_{1}$ und $ℛ_{2}$ ist jedoch im Allgemeinen kein Mengenring mehr. Betrachtet man beispielsweise die beiden Ringe

ℛ_{1} = {∅︀, {1}, {2, 3}, {1, 2, 3}}

sowie

ℛ_{2} = {∅︀, {2}, {1, 3}, {1, 2, 3}}

,

so ist

ℛ_{1} \cup ℛ_{2} = {∅︀, {1}, {2}, {1, 3}, {2, 3}, {1, 2, 3}}

.

Dieses Mengensystem ist aber weder vereinigungsstabil, da es ${1} \cup {2} = {1, 2}$ nicht enthält, noch ist es differenzstabil, da es ${1, 3} ∖ {1} = {3}$ nicht enthält, und somit auch kein Mengenring.

Produkt von Ringen

Es seien $𝒮_{1}$ ein Mengensystem über $Ω_{1}$ und $𝒮_{2}$ ein Mengensystem über $Ω_{2}$ . Das direkte Produkt von $𝒮_{1}$ und $𝒮_{2}$ ist definiert als das Mengensystem

𝒮_{1} ⊡ 𝒮_{2} := {A \times B ∣ A \in 𝒮_{1}, B \in 𝒮_{2}}

über $Ω_{1} \times Ω_{2}$ .

Das direkte Produkt von zwei Mengenringen ist jedoch im Allgemeinen kein Mengenring mehr, sondern lediglich ein Mengenhalbring.

Betrachtet man als Gegenbeispiel den Potenzmengenring

ℛ = 𝒫 ({1, 2}) = {∅︀, {1}, {2}, {1, 2}}

,

so enthält das Mengensystem $ℛ ⊡ ℛ$ die Mengen

A = {1} \times {1} = {(1, 1)}

und

B = {1, 2} \times {1, 2} = {(1, 1), (1, 2), (2, 1), (2, 2)}

.

Die Menge

B ∖ A = {(1, 2), (2, 1), (2, 2)}

ist jedoch nicht in $ℛ ⊡ ℛ$ enthalten, da sie sich nicht als kartesisches Produkt zweier Mengen aus $ℛ$ darstellen lässt. Somit ist das direkte Produkt $ℛ ⊡ ℛ$ nicht differenzstabil und damit auch kein Mengenring.

Das Ringprodukt von zwei Mengenringen $ℛ_{1}$ über $Ω_{1}$ und $ℛ_{2}$ über $Ω_{2}$ definiert man daher als deren Tensorprodukt

ℛ_{1} ⊠ ℛ_{2} := {A_{1} \times B_{1} \cup \dots \cup A_{n} \times B_{n} ∣ A_{1}, \dots, A_{n} \in ℛ_{1}, B_{1}, \dots, B_{n} \in ℛ_{2}, n \in ℕ}

,

sodass dieses wieder ein Mengenring über $Ω_{1} \times Ω_{2}$ ist, nämlich der von $ℛ_{1} ⊡ ℛ_{2}$ erzeugte Ring (s. u.).

Spur eines Rings

Die Spur eines Rings $ℛ$ über $Ω$ in einer Menge $T \subseteq Ω$ , also das Mengensystem

ℛ |_{T} := {A \cap T ∣ A \in ℛ}

,

ist immer ein Mengenring über $Ω$ und über $T$ .

Erzeugung von Ringen

Da beliebige Schnitte von Mengenringen wieder Ringe sind (s. o.), lässt sich für jedes Mengensystem $𝒮$ über $Ω$ durch

ϱ (𝒮) := ⋂ {ℛ ∣ ℛ ist ein Ring über Ω mit 𝒮 \subseteq ℛ}

eine Hülle definieren. Diese ist per Definition der kleinste Mengenring über $Ω$ , der das Mengensystem $𝒮$ enthält, und wird der von $𝒮$ erzeugte Ring genannt.

Teilweise kann der erzeugte Ring direkt angegeben werden. So ist der von einem Mengenhalbring $ℋ$ erzeugte Ring von der Form

ϱ (ℋ) = {A_{1} \cup \dots \cup A_{n} ∣ A_{1}, \dots, A_{n} \in ℋ sind paarweise disjunkt, n \in ℕ}

.

Ein explizites Beispiel dieser Form ist das obige Beispiel des Mengenrings der $d$ -dimensionalen Figuren.

Ebenso gilt für das oben besprochene Produkt zweier Mengenringe $ℛ_{1}$ und $ℛ_{2}$ :

ℛ_{1} ⊠ ℛ_{2} = ϱ (ℛ_{1} ⊡ ℛ_{2})

.

Siehe auch

Topologischer Raum

Literatur

Heinz Bauer: Maß- und Integrationstheorie. 2., überarb. Auflage. De Gruyter, Berlin/New York 1992, ISBN 3-11-013626-0.
Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer, Berlin/Heidelberg 2009, ISBN 978-3-540-89727-9, doi:10.1007/978-3-540-89728-6.
Ernst Henze: Einführung in die Maßtheorie. 2. überarb. Auflage. Bibliographisches Institut, Mannheim/Zürich 1985, ISBN 3-411-03102-6.

Einzelnachweise

↑ Felix Hausdorff: Grundzüge der Mengenlehre. Veit & Comp., Leipzig 1914, S. 14. Hausdorff bezeichnete dabei die Vereinigung als „Summe“.
↑ Hausdorff nannte ein solches einen „Körper“ (Grundzüge der Mengenlehre. S. 15).
↑ Peter Eichelsbacher: Wahrscheinlichkeitstheorie. Ruhr-Universität Bochum, S. 5 f. ( [PDF; abgerufen am 30. Oktober 2018] Vorlesungsskript Wintersemester 2016/17).

[1] Felix Hausdorff: Grundzüge der Mengenlehre. Veit & Comp., Leipzig 1914, S. 14. Hausdorff bezeichnete dabei die Vereinigung als „Summe“.

[2] Hausdorff nannte ein solches einen „Körper“ (Grundzüge der Mengenlehre. S. 15).

[3] Peter Eichelsbacher: Wahrscheinlichkeitstheorie. Ruhr-Universität Bochum, S. 5 f. ( [PDF; abgerufen am 30. Oktober 2018] Vorlesungsskript Wintersemester 2016/17).