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 [ilmath]R[/ilmath] of sets is an Algebra of sets if[1]:
- [math][A\in R\wedge B\in R]\implies A\cup B\in R[/math]
- [math]A\in R\implies A^c\in R[/math]
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 [math]A\in R[/math] and [math]B\in R[/math] we have:
[math]A-B=A\cap B' = (A'\cup B)'[/math] 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
- ↑ p21 - Halmos - Measure Theory - Graduate Texts In Mathematics - Springer - #18
