TheoremBase

Independence of Classes of Events and of σ-Algebras

A family of classes of events is independent if the probability of every intersection of events from finitely many distinct classes is the product of their probabilities; σ-algebras are independent if they are so as classes.

Statement

In the setting of Probability Spaces: Notation, let JJ be a set.

Classes of events. A family (Cj)j∈J(\mathcal{C}_{j})_{j\in J} of subsets of F\mathcal{F} is independent if for every n∈Nn\in\mathbb{N}, all distinct indices j1,…,jn∈Jj_{1},\dots,j_{n}\in J and all events A1∈Cj1,…,An∈CjnA_{1}\in\mathcal{C}_{j_{1}},\dots,A_{n}\in\mathcal{C}_{j_{n}},

P(⋂k=1nAk)=∏k=1nP(Ak).P\Bigl(\bigcap_{k=1}^{n}A_{k}\Bigr)=\prod_{k=1}^{n}P(A_{k}).

σ\sigma-Algebras. A family (Gj)j∈J(\mathcal{G}_{j})_{j\in J} of σ\sigma-algebras on Ω\Omega contained in F\mathcal{F} is independent if it is independent as a family of subsets of F\mathcal{F}, as in (i).

Two independent σ\sigma-algebras. Two σ\sigma-algebras G\mathcal{G} and H\mathcal{H} on Ω\Omega contained in F\mathcal{F} are independent if

P(A∩B)=P(A) P(B)(A∈G, B∈H).P(A\cap B)=P(A)\,P(B)\qquad(A\in\mathcal{G},\ B\in\mathcal{H}).

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…