Differences between revisions 5 and 12 (spanning 7 versions)
Revision 5 as of 2024-03-22 22:49:46
Size: 1353
Comment: Simplified description
Revision 12 as of 2026-07-28 03:39:40
Size: 886
Comment: Moving
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
= σ Algebra Notation = = σ Algebra =
Line 3: Line 3:
σ algebra uses and re-uses many common statistics [[Statistics/ProbabilityNotation|notations]]. A '''σ algebra''' (sigma algebra) is a measurable set.
Line 11: Line 11:
== Sets and Subsets == == Description ==
Line 13: Line 13:
The maximal set, which in probability applications is the '''sample space''', is notated as ''Ω''. A σ algebra is usually notated using a calligraphic uppercase letters, like 𝒜.
Line 15: Line 15:
For a given sample space ''Ω'', a σ algebra 𝒜 can be defined. It is the [[Analysis/Sets|subset]] of the [[Analysis/PowerSet|power set]] of the sample space (𝒜 ''⊆ P(Ω)'') that satisfies three conditions:
Line 16: Line 17:

=== Subsets ===

Subsets are usually named with calligraphic uppercase letters, but that's not exactly practical in typed notes. Capital letters will be used instead.

A subset of ''Ω'' is expressed as ''A ⊆ Ω''.



=== Intersections and Unions ===

The '''intersection''' of two sets is notated as ''A ⋂ B''; the '''union''' of two sets is notated as ''A ⋃ B''.

The intersection of all subsets ''A,,i,,'' can be expressed as:

{{attachment:intersection.svg}}

The union of all subsets ''A,,i,,'' can be expressed as:

{{attachment:union.svg}}

----



== Properties ==


A pair of sets are '''disjoint''' if there is no intersection, which is expressed as ''A ⋂ B = ∅''

----



== Maps ==

Maps are usually named with blackboard bold letters, but that's not exactly practical in typed notes. Bold capital letters will be used instead.

A map translates a (sub)set into a real number. A parallel to the functional expression of probability, ''p(A)'', is '''''P''': A -> R''.
 * Both the empty set and the full sample space are in the σ algebra; ''Ø, Ω ∈'' 𝒜
 * The sigma algebra is closed on complementation; ''A ∈'' 𝒜 ''-> A^C^ ∈'' 𝒜
 * The sigma algebra is closed upon countable unions; ''⋃ A,,i,, ∈'' 𝒜 where members of 𝒜 be indexed as ''A,,i,,''
   * This indirectly requires that the sample space itself be [[Analysis/Cardinality|countable]]; ''i ∈ N''

σ Algebra

A σ algebra (sigma algebra) is a measurable set.


Description

A σ algebra is usually notated using a calligraphic uppercase letters, like 𝒜.

For a given sample space Ω, a σ algebra 𝒜 can be defined. It is the subset of the power set of the sample space (𝒜 ⊆ P(Ω)) that satisfies three conditions:

  • Both the empty set and the full sample space are in the σ algebra; Ø, Ω ∈ 𝒜

  • The sigma algebra is closed on complementation; A ∈ 𝒜 -> AC 𝒜

  • The sigma algebra is closed upon countable unions; ⋃ Ai 𝒜 where members of 𝒜 be indexed as Ai

    • This indirectly requires that the sample space itself be countable; i ∈ N


CategoryRicottone

Analysis/SigmaAlgebra (last edited 2026-08-09 18:48:19 by DominicRicottone)