Difference between revisions of "Sigma-algebra"
From Maths
(Created page with "A '''Sigma-algebra''' of sets, or {{sigma|algebra}} is very similar to a ring}} of sets. Like how ring of sets and Algebra of sets|...") |
m |
||
Line 10: | Line 10: | ||
That is it is closed under [[Complement|complement]] and [[Countable|countable]] [[Union|union]] | That is it is closed under [[Complement|complement]] and [[Countable|countable]] [[Union|union]] | ||
+ | ==See also== | ||
+ | * [[Types of set algebras]] | ||
+ | ==References== | ||
+ | <references/> | ||
{{Definition|Measure Theory}} | {{Definition|Measure Theory}} | ||
− |
Revision as of 12:39, 14 June 2015
A Sigma-algebra of sets, or [ilmath]\sigma[/ilmath]-algebra is very similar to a [ilmath]\sigma[/ilmath]-ring of sets.
Like how ring of sets and algebra of sets differ, the same applies to [ilmath]\sigma[/ilmath]-ring compared to [ilmath]\sigma[/ilmath]-algebra
Definition
A non empty class of sets [ilmath]S[/ilmath] is a [ilmath]\sigma[/ilmath]-algebra if[1]
- if [math]A\in S[/math] then [math]A^c\in S[/math]
- if [math]\{A_n\}_{n=1}^\infty\subset S[/math] then [math]\cup^\infty_{n=1}A_n\in S[/math]
That is it is closed under complement and countable union
See also
References
- ↑ Halmos - Measure Theory - page 28 - Springer - Graduate Texts in Mathematics - 18