Difference between revisions of "Sigma-algebra"
From Maths
m |
m |
||
| Line 9: | Line 9: | ||
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]] | ||
| + | |||
| + | ==First theorems== | ||
| + | {{Begin Theorem}} | ||
| + | The intersection of {{Sigma|algebras}} is a {{Sigma|algebra}} | ||
| + | {{Begin Proof}} | ||
| + | {{Todo|Proof - see PTACC page 5, also in Halmos AND in that other book}} | ||
| + | {{End Proof}}{{End Theorem}} | ||
==See also== | ==See also== | ||
Revision as of 13:59, 16 June 2015
A Sigma-algebra of sets, or σ-algebra is very similar to a σ-ring of sets.
Like how ring of sets and algebra of sets differ, the same applies to σ-ring compared to σ-algebra
Contents
[hide]Definition
A non empty class of sets S is a σ-algebra if[1]
- if A∈Sthen Ac∈S
- if {An}∞n=1⊂Sthen ∪∞n=1An∈S
That is it is closed under complement and countable union
First theorems
[Expand]
The intersection of σ-algebras is a σ-algebra
See also
References
- Jump up ↑ Halmos - Measure Theory - page 28 - Springer - Graduate Texts in Mathematics - 18
