Ring of sets
In mathematics, there are two different notions of a ring of sets, both referring to certain families of sets.
In order theory, a nonempty family of sets is called a ring (of sets) if it is closed under union and intersection.[1] That is, the following two statements are true for all sets and ,
- implies and
- implies
In measure theory, a nonempty family of sets is called a ring (of sets) if it is closed under union and relative complement (set-theoretic difference).[2] That is, the following two statements are true for all sets and ,
- implies and
- implies
This implies that a ring in the measure-theoretic sense always contains the empty set. Furthermore, for all sets A and B,
which shows that a family of sets closed under relative complement is also closed under intersection, so that a ring in the measure-theoretic sense is also a ring in the order-theoretic sense.
Examples
If X is any set, then the power set of X (the family of all subsets of X) forms a ring of sets in either sense.
If (X, ≤) is a partially ordered set, then its upper sets (the subsets of X with the additional property that if x belongs to an upper set U and x ≤ y, then y must also belong to U) are closed under both intersections and unions. However, in general it will not be closed under differences of sets.
The open sets and closed sets of any topological space are closed under both unions and intersections.[1]
On the real line R, the family of sets consisting of the empty set and all finite unions of half-open intervals of the form (a, b], with a, b ∈ R is a ring in the measure-theoretic sense.
If T is any transformation defined on a space, then the sets that are mapped into themselves by T are closed under both unions and intersections.[1]
If two rings of sets are both defined on the same elements, then the sets that belong to both rings themselves form a ring of sets.[1]
Related structures
A ring of sets in the order-theoretic sense forms a distributive lattice in which the intersection and union operations correspond to the lattice's meet and join operations, respectively. Conversely, every distributive lattice is isomorphic to a ring of sets; in the case of finite distributive lattices, this is Birkhoff's representation theorem and the sets may be taken as the lower sets of a partially ordered set.[1]
A family of sets closed under union and relative complement is also closed under symmetric difference and intersection. Conversely, every family of sets closed under both symmetric difference and intersection is also closed under union and relative complement. This is due to the identities
- and
Symmetric difference and intersection together give a ring in the measure-theoretic sense the structure of a boolean ring.
In the measure-theoretic sense, a σ-ring is a ring closed under countable unions, and a δ-ring is a ring closed under countable intersections. Explicitly, a σ-ring over is a set such that for any sequence we have
Given a set a field of sets − also called an algebra over − is a ring that contains This definition entails that an algebra is closed under absolute complement A σ-algebra is an algebra that is also closed under countable unions, or equivalently a σ-ring that contains In fact, by de Morgan's laws, a δ-ring that contains is necessarily a σ-algebra as well. Fields of sets, and especially σ-algebras, are central to the modern theory of probability and the definition of measures.
A semiring (of sets) is a family of sets with the properties
-
- If (3) holds, then if and only if
- implies and
- implies for some disjoint
Every ring (in the measure theory sense) is a semi-ring. On the other hand, on is a semi-ring but not a ring, since it is not closed under unions.
A semialgebra[3] or elementary family [4] is a collection of subsets of satisfying the semiring properties except with (3) replaced with:
- If then there exists a finite number of mutually disjoint sets such that
This condition is stronger than (3), which can be seen as follows. If is a semialgebra and , then we can write for disjoint . Then:
and every since it is closed under intersection, and disjoint since they are contained in the disjoint 's. Moreover the condition is strictly stronger: any that is both a ring and a semialgebra is an algebra, hence any ring that is not an algebra is also not a semialgebra (e.g. the collection of finite sets on an infinite set ).
See also
- Algebra of sets – Identities and relationships involving sets
- δ-ring – Ring closed under countable intersections
- 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 – theoremPages displaying wikidata descriptions as a fallbackPages displaying short descriptions with no spaces
- π-system – Family of sets closed under intersection
- σ-algebra – Algebraic structure of set algebra
- 𝜎-ideal – Family closed under subsets and countable unions
- 𝜎-ring – Family of sets closed under countable unions
Families of sets over
| ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
Is necessarily true of or, is closed under: | Directed by | F.I.P. | ||||||||
π-system | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
Semiring | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | Never |
Semialgebra (Semifield) | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | Never |
Monotone class | ![]() | ![]() | ![]() | ![]() | ![]() | only if | only if | ![]() | ![]() | ![]() |
𝜆-system (Dynkin System) | ![]() | ![]() | ![]() | only if | ![]() | ![]() | only if or they are disjoint | ![]() | ![]() | Never |
Ring (Order theory) | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
Ring (Measure theory) | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | Never |
δ-Ring | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | Never |
𝜎-Ring | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | Never |
Algebra (Field) | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | Never |
𝜎-Algebra (𝜎-Field) | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | Never |
Dual ideal | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
Filter | ![]() | ![]() | ![]() | Never | Never | ![]() | ![]() | ![]() | ![]() | |
Prefilter (Filter base) | ![]() | ![]() | ![]() | Never | Never | ![]() | ![]() | ![]() | ![]() | |
Filter subbase | ![]() | ![]() | ![]() | Never | Never | ![]() | ![]() | ![]() | ![]() | |
Open Topology | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() (even arbitrary ) | ![]() | ![]() | Never |
Closed Topology | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() (even arbitrary ) | ![]() | ![]() | ![]() | Never |
Is necessarily true of or, is closed under: | directed downward | finite intersections | finite unions | relative complements | complements in | countable intersections | countable unions | contains | contains | Finite Intersection Property |
Additionally, a semiring is a π-system where every complement is equal to a finite disjoint union of sets in |
References
- ^ a b c d e Birkhoff, Garrett (1937), "Rings of sets", Duke Mathematical Journal, 3 (3): 443–454, doi:10.1215/S0012-7094-37-00334-X, MR 1546000.
- ^ De Barra, Gar (2003), Measure Theory and Integration, Horwood Publishing, p. 13, ISBN 9781904275046.
- ^ Durrett 2019, pp. 3–4.
- ^ Folland 1999, p. 23.
Sources
- Durrett, Richard (2019). Probability: Theory and Examples (PDF). Cambridge Series in Statistical and Probabilistic Mathematics. Vol. 49 (5th ed.). Cambridge New York, NY: Cambridge University Press. ISBN 978-1-108-47368-2. OCLC 1100115281. Retrieved November 5, 2020.
- Folland, Gerald B. (1999). Real Analysis: Modern Techniques and Their Applications (2nd ed.). John Wiley & Sons. ISBN 0-471-31716-0.
External links
- Ring of sets at Encyclopedia of Mathematics