Sigma-algebra

From Maths
(Redirected from Sigma-algebras)
Jump to: navigation, search
This page is currently being refactored (along with many others)
Please note that this does not mean the content is unreliable. It just means the page doesn't conform to the style of the site (usually due to age) or a better way of presenting the information has been discovered.
(Unknown grade)
This page requires references, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
The message provided is:
Needs more than 1, should have at least 3!
Sigma algebra
[math]\forall A\in\mathcal{A}[A^C\in\mathcal{A}][/math]
[math]\forall\{A_n\}_{n=1}^\infty\subseteq\mathcal{A}\left[\bigcup_{n=1}^\infty A_n\in\mathcal{A}\right][/math]
For a [ilmath]\sigma[/ilmath]-algebra [ilmath](X,\mathcal{A}\subseteq\mathcal{P}(X))[/ilmath]
Note: A Sigma-algebra of sets, or [ilmath]\sigma[/ilmath]-algebra is very similar to a [ilmath]\sigma[/ilmath]-ring of sets.
A ring of sets is to an algebra of sets as a [ilmath]\sigma[/ilmath]-ring is to a [ilmath]\sigma[/ilmath]-algebra

Definition

Given a set [ilmath]X[/ilmath] a [ilmath]\sigma[/ilmath]-algebra on [ilmath]X[/ilmath] is a family of subsets of [ilmath]X[/ilmath], [ilmath]\mathcal{A} [/ilmath][Note 1], such that[1]:

  • [ilmath]\forall A\in\mathcal{A}[A^C\in\mathcal{A}][/ilmath] - Stable under complements
  • [ilmath]\forall\{A_n\}_{n=1}^\infty\subseteq\mathcal{A}\left[\bigcup_{n=1}^\infty A_n\in\mathcal{A}\right][/ilmath] - Stable under countable union

Note on Alternative Definitions

Many books have slightly different definitions of a [ilmath]\sigma[/ilmath]-algebra, the definition above is actually equivalent to the longer definitions one might see around.
The two properties above give rise to all the others.

Usually on this project differing definitions are listed, but due to the trivial proofs that they share properties, this was omitted.

To show this yourself, do the following:

  1. Show a [ilmath]\sigma[/ilmath]-algebra is closed under set-subtraction, [ilmath]\forall A,B\in\mathcal{A}[A-B\in\mathcal{A}][/ilmath]
  2. Use this to show [ilmath]\emptyset\in\mathcal{A} [/ilmath], notice [ilmath]\emptyset=A-A\in\mathcal{A}[/ilmath] for any [ilmath]A\in\mathcal{A} [/ilmath]
  3. [ilmath]X\in\mathcal{A} [/ilmath] as [ilmath]\emptyset^C\in\mathcal{A} [/ilmath]

This resolves most ambiguities.

Immediate consequences

Among other things immediately we see that:


As [ilmath]A-B=(A^c\cup B)^c[/ilmath] and a [ilmath]\sigma[/ilmath]-algebra is closed under complements and unions, this shows it is closed under set subtraction too

One might argue that we only know [ilmath]\mathcal{A} [/ilmath] is closed under countable union, not finite (2) union. so we cannot know [ilmath]A^C\cup B\in\mathcal{A} [/ilmath], thus this proof is invalid. It is not invalid.

The person who mentioned this argued that we require set-subtraction in order to show [ilmath]\emptyset\in\mathcal{A} [/ilmath] - which we do not yet know, so we cannot construct the family:

  • [ilmath]\{A_n\}_{n=1}^\infty[/ilmath] with [ilmath]A_1=A^C[/ilmath], [ilmath]A_2=B[/ilmath], [ilmath]A_i=\emptyset[/ilmath] for [ilmath]i> 2[/ilmath]

And they are not wrong, however:

  • [ilmath]A^C\cup B=A^C\cup B\cup B\cup B\ldots[/ilmath]

So

  • [ilmath]\{A_n\}_{n=1}^\infty[/ilmath] with [ilmath]A_1=A^C[/ilmath] and [ilmath]A_i=B[/ilmath] for [ilmath]i> 1[/ilmath] is something we can construct.

  • [ilmath]\mathcal{A} [/ilmath] is [ilmath]\cap[/ilmath]-closed (furthermore, that [ilmath]\mathcal{A} [/ilmath] is in fact [ilmath]\sigma[/ilmath]-[ilmath]\cap[/ilmath]-closed - that is closed under countable intersections)


(Unknown grade)
This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:
We should do this here
See Properties of a class of sets closed under set subtraction

  • [ilmath]\emptyset\in\mathcal{A} [/ilmath]


[ilmath]\forall A\in\mathcal{A} [/ilmath] we have [ilmath]A-A\in\mathcal{A} [/ilmath] (by closure under set subtraction), as [ilmath]A-A=\emptyset[/ilmath], [ilmath]\emptyset\in\mathcal{A} [/ilmath]

  • [ilmath]X\in\mathcal{A} [/ilmath][Note 2]


As [ilmath]\emptyset\in\mathcal{A} [/ilmath] and it is closed under complement we see that [ilmath]\emptyset^c\in\mathcal{A} [/ilmath] (by closure under complement) and [ilmath]\emptyset^c=X[/ilmath] - the claim follows.

  • [ilmath]\mathcal{A} [/ilmath] is a [ilmath]\sigma[/ilmath]-algebra [ilmath]\implies[/ilmath] [ilmath]\mathcal{A} [/ilmath] is a [ilmath]\sigma[/ilmath]-ring


To prove this we must check:
  1. [ilmath]\mathcal{A} [/ilmath] is closed under countable union
    • True by definition of [ilmath]\sigma[/ilmath]-algebra
  2. [ilmath]\mathcal{A} [/ilmath] is closed under set subtraction
    • We've already shown this, so this is true too.
This completes the proof.

Important theorems

Common [ilmath]\sigma[/ilmath]-algebras

See also: Index of common [ilmath]\sigma[/ilmath]-algebras

See also

Notes

  1. So [ilmath]\mathcal{A}\subseteq\mathcal{P}(X)[/ilmath]
  2. Measures, Integrals and Martingales puts this in the definition of [ilmath]\sigma[/ilmath]-algebras

References

  1. Measures, Integrals and Martingales - René L. Schilling




OLD PAGE

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[Note 1] if[1][2]

  • 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.

Immediate consequences

Among other things immediately we see that:


As [ilmath]A-B=(A^c\cup B)^c[/ilmath] and a [ilmath]\sigma[/ilmath]-algebra is closed under complements and unions, this shows it is closed under set subtraction too

  • [ilmath]\mathcal{A} [/ilmath] is [ilmath]\cap[/ilmath]-closed (furthermore, that [ilmath]\mathcal{A} [/ilmath] is in fact [ilmath]\sigma[/ilmath]-[ilmath]\cap[/ilmath]-closed - that is closed under countable intersections)

  • [ilmath]\emptyset\in\mathcal{A} [/ilmath]


[ilmath]\forall A\in\mathcal{A} [/ilmath] we have [ilmath]A-A\in\mathcal{A} [/ilmath] (by closure under set subtraction), as [ilmath]A-A=\emptyset[/ilmath], [ilmath]\emptyset\in\mathcal{A} [/ilmath]

  • [ilmath]X\in\mathcal{A} [/ilmath][Note 2]


As [ilmath]\emptyset\in\mathcal{A} [/ilmath] and it is closed under complement we see that [ilmath]\emptyset^c\in\mathcal{A} [/ilmath] (by closure under complement) and [ilmath]\emptyset^c=X[/ilmath] - the claim follows.

  • [ilmath]\mathcal{A} [/ilmath] is a [ilmath]\sigma[/ilmath]-algebra [ilmath]\implies[/ilmath] [ilmath]\mathcal{A} [/ilmath] is a [ilmath]\sigma[/ilmath]-ring


To prove this we must check:
  1. [ilmath]\mathcal{A} [/ilmath] is closed under countable union
    • True by definition of [ilmath]\sigma[/ilmath]-algebra
  2. [ilmath]\mathcal{A} [/ilmath] is closed under set subtraction
    • We've already shown this, so this is true too.
This completes the proof.


Important theorems

The intersection of [ilmath]\sigma[/ilmath]-algebras is a [ilmath]\sigma[/ilmath]-algebra




TODO: Proof - see PTACC page 5, also in Halmos AND in that other book



Common [ilmath]\sigma[/ilmath]-algebras

See also: Index of common [ilmath]\sigma[/ilmath]-algebras

See also

Notes

  1. Some books (notably Measures, Integrals and Martingales) give [ilmath]X\in\mathcal{A} [/ilmath] as a defining property of [ilmath]\sigma[/ilmath]-algebras, however the two listed are sufficient to show this (see the immediate consequences section)
  2. Measures, Integrals and Martingales puts this in the definition of [ilmath]\sigma[/ilmath]-algebras

References

  1. Halmos - Measure Theory - page 28 - Springer - Graduate Texts in Mathematics - 18
  2. Measures, Integrals and Martingales - Rene L. Schilling