Difference between revisions of "Sigma-algebra"
From Maths
m |
m |
||
| Line 4: | Line 4: | ||
==Definition== | ==Definition== | ||
| − | A non empty class of sets {{M|S}} is a {{sigma|algebra}} if<ref>Halmos - Measure Theory - page 28 - Springer - Graduate Texts in Mathematics - 18</ref> | + | A non empty class of sets {{M|S}} is a {{sigma|algebra}}<ref group="Note">Some books (notably ''Measures, Integrals and Martingales'') give {{M|X\in\mathcal{A} }} as a defining property of {{sigma|algebras}}, however the two listed are sufficient to show this (see the ''immediate consequences'' section)</ref> if<ref>Halmos - Measure Theory - page 28 - Springer - Graduate Texts in Mathematics - 18</ref><ref name="MIAM">Measures, Integrals and Martingales - Rene L. Schilling</ref> |
* if <math>A\in S</math> then <math>A^c\in S</math> | * 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> | * 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|complement]] and [[Countable|countable]] [[Union|union]].<br/> | |
| − | That is it is closed under [[Complement|complement]] and [[Countable|countable]] [[Union|union]] | + | ===Immediate consequences=== |
| − | + | Among other things immediately we see that: | |
| − | == | + | {{Begin Inline Theorem}} |
| + | * {{M|\mathcal{A} }} is closed under [[Set subtraction|set subtraction]] | ||
| + | {{Begin Inline Proof}} | ||
| + | :: As {{M|1=A-B=(A^c\cup B)^c}} and a {{sigma|algebra}} is closed under complements and unions, this shows it is closed under set subtraction too | ||
| + | {{End Proof}}{{End Theorem}} | ||
| + | {{Begin Inline Theorem}} | ||
| + | * {{M|\emptyset\in\mathcal{A} }} | ||
| + | {{Begin Inline Proof}} | ||
| + | :: {{M|\forall A\in\mathcal{A} }} we have {{M|A-A\in\mathcal{A} }} (by closure under set subtraction), as {{M|1=A-A=\emptyset}}, {{M|\emptyset\in\mathcal{A} }} | ||
| + | {{End Proof}}{{End Theorem}} | ||
| + | {{Begin Inline Theorem}} | ||
| + | * {{M|X\in\mathcal{A} }}<ref group="Note">''Measures, Integrals and Martingales'' puts this in the definition of {{sigma|algebras}}</ref> | ||
| + | {{Begin Inline Proof}} | ||
| + | :: As {{M|\emptyset\in\mathcal{A} }} and it is closed under complement we see that {{M|\emptyset^c\in\mathcal{A} }} (by closure under complement) and {{M|1=\emptyset^c=X}} - the claim follows. | ||
| + | {{End Proof}}{{End Theorem}} | ||
| + | {{Begin Inline Theorem}} | ||
| + | * {{M|\mathcal{A} }} is a {{sigma|algebra}} {{M|\implies}} {{M|\mathcal{A} }} is a [[Sigma-ring|{{Sigma|ring}}]] | ||
| + | {{Begin Inline Proof}} | ||
| + | :: To prove this we must check: | ||
| + | ::# {{M|\mathcal{A} }} is closed under countable union | ||
| + | ::#* True by definition of {{Sigma|algebra}} | ||
| + | ::# {{M|\mathcal{A} }} is closed under [[Set subtraction|set subtraction]] | ||
| + | ::#* We've already shown this, so this is true too. | ||
| + | :: This completes the proof. | ||
| + | {{End Proof}}{{End Theorem}} | ||
| + | ==Important theorems== | ||
{{Begin Theorem}} | {{Begin Theorem}} | ||
The intersection of {{Sigma|algebras}} is a {{Sigma|algebra}} | The intersection of {{Sigma|algebras}} is a {{Sigma|algebra}} | ||
| Line 16: | Line 41: | ||
{{Todo|Proof - see PTACC page 5, also in Halmos AND in that other book}} | {{Todo|Proof - see PTACC page 5, also in Halmos AND in that other book}} | ||
{{End Proof}}{{End Theorem}} | {{End Proof}}{{End Theorem}} | ||
| + | |||
| + | ==Common {{Sigma|algebras}}== | ||
| + | * [[Sigma-algebra generated by|{{Sigma|algebra}} generated by]] | ||
| + | * [[Trace sigma-algebra|Trace {{Sigma|algebra}}]] | ||
| + | * [[Pre-image sigma-algebra|Pre-image {{Sigma|algebra}}]] | ||
==See also== | ==See also== | ||
* [[Types of set algebras]] | * [[Types of set algebras]] | ||
| + | * [[Sigma-algebra generated by|{{Sigma|algebra}} generated by]] | ||
| + | * [[Sigma-ring|{{Sigma|ring}}]] | ||
| + | |||
| + | ==Notes== | ||
| + | <references group="Note"/> | ||
==References== | ==References== | ||
| Line 24: | Line 59: | ||
{{Definition|Measure Theory}} | {{Definition|Measure Theory}} | ||
| + | {{Theorem Of|Measure Theory}} | ||
Revision as of 16:22, 17 July 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[Note 1] if[1][2]
- if A∈S then Ac∈S
- if {An}∞n=1⊂S then ∪∞n=1An∈S
That is it is closed under complement and countable union.
Immediate consequences
Among other things immediately we see that:
Important theorems
[Expand]
The intersection of σ-algebras is a σ-algebra
Common σ-algebras
See also
Notes
- Jump up ↑ Some books (notably Measures, Integrals and Martingales) give X∈A as a defining property of σ-algebras, however the two listed are sufficient to show this (see the immediate consequences section)
- Jump up ↑ Measures, Integrals and Martingales puts this in the definition of σ-algebras
References
- Jump up ↑ Halmos - Measure Theory - page 28 - Springer - Graduate Texts in Mathematics - 18
- Jump up ↑ Measures, Integrals and Martingales - Rene L. Schilling
