\(\DeclarePairedDelimiterX{\Set}[2]{\{}{\}}{#1 \nonscript\;\delimsize\vert\nonscript\; #2}\) \( \DeclarePairedDelimiter{\set}{\{}{\}}\) \( \DeclarePairedDelimiter{\parens}{\left(}{\right)}\) \(\DeclarePairedDelimiterX{\innerproduct}[1]{\langle}{\rangle}{#1}\) \(\newcommand{\ip}[1]{\innerproduct{#1}}\) \(\newcommand{\bmat}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\barray}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\mat}[1]{\begin{matrix}#1\end{matrix}}\) \(\newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}\) \(\newcommand{\mathword}[1]{\mathop{\textup{#1}}}\)
Marginal Probability Distributions
Conditional Event Probabilities
Needed by:
Conditional Densities
Memory Chains
Rooted Tree Distributions
Sheet PDF
Graph PDF

Conditional Distributions


We want to speak of the pairwise conditional distributions of a particular joint distribution.1


Suppose $A_1, \dots , A_n$ is a list of finite sets and $p: \prod_{i = 1}^{n} A_i \to [0,1]$ is a distribution on the (finite) product $\prod_{i = 1}^n A_i$.

For $i \neq j \in \set{1, \dots , n}$, the conditional distribution of $i$ on $j$ is the function $p_{i \mid j}: A_i \times A_j \to \R $ defined so that that $p_{i \mid j}(\cdot, b)$ is the conditional distribution induced by conditioning on $\Set{a \in \prod_{i = 1}^{n} A_i }{a_j = b}$.

For $i,j = 1, \dots , n$ and $i \neq j$, $p_i$, $p_{ij}$ and $p_{i\mid j}$ satisify

\[ p_{i \mid j}(b, c)p_{j}(c) = p_{ij}(b, c) \quad \text{for all } b \in A_i, c \in A_j \]

  1. Future editions will rework this sheet. ↩︎
Copyright © 2023 The Bourbaki Authors — All rights reserved — Version 13a6779cc About Show the old page view