Feltételes függetlenség

A valószínűségszámításban a feltételes függetlenség az események, halmazrendszerek, valószínűségi változók függetlenségének általánosítása a feltételes valószínűség és feltételes várható érték segítségével. A feltételes függetlenséget felhasználják például valószínűségi változók felcserélhető családjainak definiálásához.

Definíció

Adva legyen az ( Ω , Σ , P ) {\displaystyle (\Omega ,\Sigma ,P)} valószínűségi mező, és a Σ {\displaystyle \Sigma } eseménytéren egy A {\displaystyle {\mathcal {A}}} σ-algebra. Legyen P ( | A ) {\displaystyle P(\cdot |{\mathcal {A}})} az A {\displaystyle {\mathcal {A}}} -ra vonatkozó feltételes valószínűség.

A Σ {\displaystyle \Sigma } ( A i ) i I {\displaystyle ({\mathcal {A}}_{i})_{i\in I}} rész-σ-algebráinak egy ( A i ) i I {\displaystyle ({\mathcal {A}}_{i})_{i\in I}} családja feltételesen független A {\displaystyle {\mathcal {A}}} -tól, ha I {\displaystyle I} minden véges J {\displaystyle J} részhalmazára és tetszőleges A j A j {\displaystyle A_{j}\in {\mathcal {A}}_{j}} választása esetén, minden j J {\displaystyle j\in J} -re teljesül, hogy

P ( j J A j | A ) = j J P ( A j | A ) {\displaystyle P\left(\bigcap _{j\in J}A_{j}|{\mathcal {A}}\right)=\prod _{j\in J}P(A_{j}|{\mathcal {A}})} .

A feltételes valószínűség tulajdonságai alapján az identitás P-majdnem biztos.

Az ( X i ) i I {\displaystyle (X_{i})_{i\in I}} valószínűségi változók családja feltételesen független az A {\displaystyle {\mathcal {A}}} -tól, ha az ( σ ( X i ) ) i I {\displaystyle (\sigma (X_{i}))_{i\in I}} generált σ-algebrák feltételesen függetlenek A {\displaystyle {\mathcal {A}}} -tól.

Megjegyzések és tulajdonságok

A független azonos eloszlás feltételes értelmezéséhez: Valószínűségi változók egy családja feltételesen független azonos eloszlású, hogyha a család feltételesen független A {\displaystyle {\mathcal {A}}} -tól és az P ( { X i } | A ) {\displaystyle P(\{X_{i}\in \cdot \}|{\mathcal {A}})} feltételes eloszlások ugyanolyanok.

Például A {\displaystyle {\mathcal {A}}} minden rész-σ-algebrája feltételesen független A {\displaystyle {\mathcal {A}}} -tól, és σ-algebrák minden független családja függetken a triviális σ-algebrától.

Források

  • Achim Klenke. Wahrscheinlichkeitstheorie, 3., Berlin Heidelberg: Springer-Verlag (2013). ISBN 978-3-642-36017-6