PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] independent sigma algebras (Definition)

Let $(\Omega, \mathcal{B}, P)$ be a probability space. Let $\mathcal{B}_1$ and $\mathcal{B}_2$ be two sub sigma algebras of $\mathcal{B}$ Then $\mathcal{B}_1$ and $\mathcal{B}_2$ are said to be independent if for any pair of events $B_1\in\mathcal{B}_1$ and $B_2\in\mathcal{B}_2$ $$P(B_1\cap B_2)=P(B_1)P(B_2).$$

More generally, a finite set of sub-$\sigma$ algebras $\mathcal{B}_1,\ldots, \mathcal{B}_n$ is independent if for any set of events $B_i\in \mathcal{B}_i$ $i=1,\ldots,n$ $$P(B_1\cap\cdots\cap B_n)=P(B_1)\cdots P(B_n).$$

An arbitrary set $\mathcal{S}$ of sub-$\sigma$ algebras is mutually independent if any finite subset of $\mathcal{S}$ is independent.

The above definitions are generalizations of the notions of independence for events and for random variables:

  1. Events $B_1,\ldots,B_n$ (in $\Omega$ are mutually independent if the sigma algebras $\sigma(B_i):=\lbrace \varnothing, B_i, \Omega-B_i, \Omega\rbrace$ are mutually independent.
  2. Random variables $X_1,\ldots,X_n$ defined on $\Omega$ are mutually independent if the sigma algebras $\mathcal{B}_{X_i}$ generated by the $X_i$ s are mutually independent.
In general, mutual independence among events $B_i$ random variables $X_j$ and sigma algebras $\mathcal{B}_k$ means the mutual independence among $\sigma(B_i)$ $\mathcal{B}_{X_j}$ and $\mathcal{B}_k$

Remark. Even when random variables $X_1,\ldots, X_n$ are defined on different probability spaces $(\Omega_i,\mathcal{B}_i,P_i)$ we may form the product of these spaces $(\Omega,\mathcal{B},P)$ so that $X_i$ (by abuse of notation) are now defined on $\Omega$ and their independence can be discussed.




"independent sigma algebras" is owned by CWoo.
(view preamble | get metadata)

View style:

Other names:  mutually independent $\sigma$-algebras
Also defines:  mutually independent sigma algebras

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: even, random variables, definitions, subset, finite, finite set, events, sigma algebras, probability space
There is 1 reference to this entry.

This is version 6 of independent sigma algebras, born on 2006-11-05, modified 2006-11-25.
Object id is 8527, canonical name is IndependentSigmaAlgebras.
Accessed 2809 times total.

Classification:
AMS MSC60A05 (Probability theory and stochastic processes :: Foundations of probability theory :: Axioms; other general questions)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)