Difference between revisions of "Algebra of sets"
From Maths
(Created page with "An Algebra of sets is sometimes called a '''Boolean algebra''' We will show later that every Algebra of sets is an Algebra of sets ==Definition== An class {{M|R}} of set...") |
m |
||
| Line 17: | Line 17: | ||
Thus it is a [[Ring of sets]] | Thus it is a [[Ring of sets]] | ||
| − | {{ | + | ==See also== |
| − | + | * [[Sigma-algebra|{{sigma|algebra}}]] | |
| + | * [[Ring of sets]] | ||
| + | * [[Types of set algebras]] | ||
==References== | ==References== | ||
| + | <references/> | ||
| + | {{Definition|Measure Theory}} | ||
Revision as of 18:48, 28 August 2015
An Algebra of sets is sometimes called a Boolean algebra
We will show later that every Algebra of sets is an Algebra of sets
Definition
An class R of sets is an Algebra of sets if[1]:
- [A∈R∧B∈R]⟹A∪B∈R
- A∈R⟹Ac∈R
So an Algebra of sets is just a Ring of sets containing the entire set it is a set of subsets of!
Every Algebra is also a Ring
Since for A∈R and B∈R we have:
A−B=A∩B′=(A′∪B)′ we see that being closed under Complement and Union means it is closed under Set subtraction
Thus it is a Ring of sets
See also
References
- Jump up ↑ p21 - Halmos - Measure Theory - Graduate Texts In Mathematics - Springer - #18
