VOOZH about

URL: https://en.wikipedia.org/wiki/Delta-ring

⇱ Delta-ring - Wikipedia


Jump to content
From Wikipedia, the free encyclopedia
Ring closed under countable intersections

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:

  1. Closed under finite unions: πŸ‘ {\displaystyle A\cup B\in {\mathcal {R}}}
    for all πŸ‘ {\displaystyle A,B\in {\mathcal {R}},}
  2. Closed under relative complementation: πŸ‘ {\displaystyle A-B\in {\mathcal {R}}}
    for all πŸ‘ {\displaystyle A,B\in {\mathcal {R}},}
    and
  3. 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]
Families πŸ‘ {\displaystyle {\mathcal {F}}}
of sets over πŸ‘ {\displaystyle \Omega }
Is necessarily true of πŸ‘ {\displaystyle {\mathcal {F}}\colon }

or, is πŸ‘ {\displaystyle {\mathcal {F}}}
closed under:
Directed
by
πŸ‘ {\displaystyle \,\supseteq }
πŸ‘ {\displaystyle A\cap B}
πŸ‘ {\displaystyle A\cup B}
πŸ‘ {\displaystyle B\setminus A}
πŸ‘ {\displaystyle \Omega \setminus A}
πŸ‘ {\displaystyle A_{1}\cap A_{2}\cap \cdots }
πŸ‘ {\displaystyle A_{1}\cup A_{2}\cup \cdots }
πŸ‘ {\displaystyle \Omega \in {\mathcal {F}}}
πŸ‘ {\displaystyle \varnothing \in {\mathcal {F}}}
F.I.P.
Ο€-system πŸ‘ Yes
πŸ‘ Yes
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
Semiring πŸ‘ Yes
πŸ‘ Yes
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ Yes
Never
Semialgebra (semifield) πŸ‘ Yes
πŸ‘ Yes
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ Yes
Never
Monotone class πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
only if πŸ‘ {\displaystyle A_{i}\searrow }
only if πŸ‘ {\displaystyle A_{i}\nearrow }
πŸ‘ No
πŸ‘ No
πŸ‘ No
πœ†-system (Dynkin system) πŸ‘ Yes
πŸ‘ No
πŸ‘ No
only if
πŸ‘ {\displaystyle A\subseteq B}
πŸ‘ Yes
πŸ‘ No
only if πŸ‘ {\displaystyle A_{i}\nearrow }
or
they are disjoint
πŸ‘ Yes
πŸ‘ Yes
Never
Ring (order theory) πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
Ring (measure theory) πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ Yes
Never
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ No
πŸ‘ Yes
πŸ‘ No
πŸ‘ No
πŸ‘ Yes
Never
𝜎-ring πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ No
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ No
πŸ‘ Yes
Never
Algebra (field) πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ No
πŸ‘ No
πŸ‘ Yes
πŸ‘ Yes
Never
𝜎-algebra (𝜎-field) πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
Never
Filter πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ No
πŸ‘ No
Proper filter πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
Never Never πŸ‘ No
πŸ‘ Yes
πŸ‘ Yes
Never πŸ‘ Yes
Prefilter (filter base) πŸ‘ Yes
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ Yes
Filter subbase πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ Yes
Open topology πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ No
πŸ‘ No
πŸ‘ No
πŸ‘ Image

(even arbitrary πŸ‘ {\displaystyle \cup }
)
πŸ‘ Yes
πŸ‘ Yes
Never
Closed topology πŸ‘ Yes
πŸ‘ Yes
πŸ‘ Yes
πŸ‘ No
πŸ‘ No
πŸ‘ Image

(even arbitrary πŸ‘ {\displaystyle \cap }
)
πŸ‘ No
πŸ‘ Yes
πŸ‘ Yes
Never
Is necessarily true of πŸ‘ {\displaystyle {\mathcal {F}}\colon }

or, is πŸ‘ {\displaystyle {\mathcal {F}}}
closed under:
directed
downward
finite
intersections
finite
unions
relative
complements
complements
in πŸ‘ {\displaystyle \Omega }
countable
intersections
countable
unions
contains πŸ‘ {\displaystyle \Omega }
contains πŸ‘ {\displaystyle \varnothing }
Finite
intersection
property

Additionally, a semiring is a Ο€-system where every complement πŸ‘ {\displaystyle B\setminus A}
is equal to a finite disjoint union of sets in πŸ‘ {\displaystyle {\mathcal {F}}.}

A semialgebra is a semiring where every complement πŸ‘ {\displaystyle \Omega \setminus A}
is equal to a finite disjoint union of sets in πŸ‘ {\displaystyle {\mathcal {F}}.}

πŸ‘ {\displaystyle A,B,A_{1},A_{2},\ldots }
are arbitrary elements of πŸ‘ {\displaystyle {\mathcal {F}}}
and it is assumed that πŸ‘ {\displaystyle {\mathcal {F}}\neq \varnothing .}