In mathematics, a non-empty collection of sets π {\displaystyle {\mathcal {R}}}
is called a Ξ΄-ring (pronounced "delta-ring") if it is closed under union, relative complementation, and countable intersection. The name "delta-ring" originates from the German word for intersection, "Durchschnitt", which is meant to highlight the ring's closure under countable intersection, in contrast to a π-ring which is closed under countable unions.
Definition
[edit]A family of sets π {\displaystyle {\mathcal {R}}}
is called a Ξ΄-ring if it has all of the following properties:
- Closed under finite unions: π {\displaystyle A\cup B\in {\mathcal {R}}}
for all π {\displaystyle A,B\in {\mathcal {R}},} - Closed under relative complementation: π {\displaystyle A-B\in {\mathcal {R}}}
for all π {\displaystyle A,B\in {\mathcal {R}},}
and - Closed under countable intersections: π {\displaystyle \bigcap _{n=1}^{\infty }A_{n}\in {\mathcal {R}}}
if π {\displaystyle A_{n}\in {\mathcal {R}}}
for all π {\displaystyle n\in \mathbb {N} .}
If only the first two properties are satisfied, then π {\displaystyle {\mathcal {R}}}
is a ring of sets but not a Ξ΄-ring. Every π-ring is a Ξ΄-ring, but not every Ξ΄-ring is a π-ring.
Ξ΄-rings can be used instead of Ο-algebras in the development of measure theory if one does not wish to allow sets of infinite measure.
Examples
[edit]The family π {\displaystyle {\mathcal {K}}=\{S\subseteq \mathbb {R} :S{\text{ is bounded}}\}}
is a Ξ΄-ring but not a π-ring because π {\textstyle \bigcup _{n=1}^{\infty }[0,n]}
is not bounded.
See also
[edit]- Field of sets β Algebraic concept in measure theory, also referred to as an algebra of sets
- π-system (Dynkin system) β Family closed under complements and countable disjoint unions
- Monotone class β Measure theory and probability theoremPages displaying short descriptions of redirect targets
- Ο-system β Family of sets closed under intersection
- Ring of sets β Family closed under unions and relative complements
- Ο-algebra β Algebraic structure of set algebra
- π-ideal β Family closed under subsets and countable unions
- π-ring β Family of sets closed under countable unions
References
[edit]- Cortzen, Allan. "Delta-Ring." From MathWorldβA Wolfram Web Resource, created by Eric W. Weisstein. http://mathworld.wolfram.com/Delta-Ring.html
