Sigma algebra: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Ragnar Schroder
(Correcting tex, cosmetics, rephrasing,adding external link)
imported>Ragnar Schroder
(Rephrasing, adding text, changing layout.)
Line 1: Line 1:
A '''sigma algebra'''  is an advanced mathematical concept.  It refers to a [[mathematical structure|formal mathematical structure]] intended among other things to provide a rigid basis for [[axiomatic probability theory]].
A '''sigma algebra'''  is an advanced mathematical concept.  It refers to a [[mathematical structure|formal mathematical structure]] intended among other things to provide a rigid basis for [[axiomatic probability theory]].


==Examples==
==Formal definition==


==Example==
Given the set <math>\Omega</math>={Red,Yellow,Green}
Given the set <math>\Omega</math>={Red,Yellow,Green}


The [[power set]]  <math>2^\Omega</math> will be {A0,A1,A2,A3,A4,A5,A6,A7},  with
The [[power set]]  <math>2^\Omega</math> is {A0,A1,A2,A3,A4,A5,A6,A7},  with
*A0={} (The empty set}
*A0={} (The empty set}
*A1={Green}
*A1={Green}
Line 23: Line 25:
#For any subset of F,  the union of the sets therein will also be in F.  For example,  the union of all elements in the subset {A0,A1,A4} of F is A0 U A1 U A4 = A5.  
#For any subset of F,  the union of the sets therein will also be in F.  For example,  the union of all elements in the subset {A0,A1,A4} of F is A0 U A1 U A4 = A5.  


Thus F is a '''sigma algebra''' over <math>\Omega</math>.


==Formal definitions==





Revision as of 12:24, 27 June 2007

A sigma algebra is an advanced mathematical concept. It refers to a formal mathematical structure intended among other things to provide a rigid basis for axiomatic probability theory.

Formal definition

Example

Given the set ={Red,Yellow,Green}

The power set is {A0,A1,A2,A3,A4,A5,A6,A7}, with

  • A0={} (The empty set}
  • A1={Green}
  • A2={Yellow}
  • A3={Yellow, Green}
  • A4={Red}
  • A5={Red, Green}
  • A6={Red, Yellow}
  • A7={Red, Yellow, Green} (the whole set \Omega)

Let F be a subset of : F={A0, A1, A4, A5, A7}.

Notice that the following is satisfied:

  1. The empty set is in F.
  2. The original set is in F.
  3. For any set in F, you'll find it's complement in F as well.
  4. For any subset of F, the union of the sets therein will also be in F. For example, the union of all elements in the subset {A0,A1,A4} of F is A0 U A1 U A4 = A5.

Thus F is a sigma algebra over .


See also

References

External links