Условное распределение вероятностей

В теории вероятностей и статистике, учитывая два совместно распределенных случайные величины $X\; \{\backslash \; displaystyle\; X\}$и $Y\; \{\backslash \; displaystyle\; Y\}$, условное распределение вероятностей Y для данного X - это распределение вероятностей для $Y\; \{\backslash \; displaystyle\; Y\}$, когда $X\; \{\backslash \; displaystyle\; X\}$известен быть определенной ценностью; в некоторых случаях условные вероятности могут быть выражены как функции, содержащие в качестве параметра неуказанное значение $x\; \{\backslash \; displaystyle\; x\}$из $X\; \{\backslash \; displaystyle\; X\}$. Когда оба $X\; \{\backslash \; displaystyle\; X\}$и $Y\; \{\backslash \; displaystyle\; Y\}$являются категориальными переменными, таблица условной вероятности обычно используется для обозначения условной вероятности. Условное распределение контрастирует с предельным распределением случайной величины, которое является ее распределением без ссылки на значение другой переменной.

Если условное распределение $Y\; \{\backslash \; displaystyle\; Y\}$с учетом $X\; \{\backslash \; displaystyle\; X\}$является непрерывным распределением, то его функция плотности вероятности известна как функция условной плотности . Свойства условного распределения, такие как моменты, часто упоминаются соответствующими именами, такими как условное среднее и условная дисперсия.

В более общем смысле можно относятся к условному распределению подмножества набора из более чем двух переменных; это условное распределение зависит от значений всех оставшихся переменных, и если в подмножество включено более одной переменной, то это условное распределение является условным совместным распределением включенных переменных.

• 1 Условные дискретные распределения
  • 1.1 Пример
• 2 Условные непрерывные распределения
  • 2.1 Пример
• 3 Отношение к независимости
• 4 Свойства
• 5 Теоретико-мерная формулировка
• 6 Связь с условным ожиданием
• 7 См. Также
• 8 Примечания
• 9 Ссылки

Для дискретных случайных величин функция массы условной вероятности of $Y\; \{\backslash \; displaystyle\; Y\}$с учетом $X\; =\; x\; \{\backslash \; displaystyle\; X\; =\; x\}$может быть записано в соответствии с его определением как:

$p\; Y\; |\; Икс\; (Y\; \mid \; Икс)\; \triangleq \; п\; (Y\; =\; Y\; \mid \; X\; =\; x)\; =\; P\; (\{X\; =\; x\}\; \cap \; \{Y\; =\; y\})\; P\; (X\; =\; x)\; \{\backslash \; displaystyle\; p\_\; \{Y\; |\; X\}\; (y\; \backslash \; середина\; x)\; \backslash \; треугольник\; q\; P\; (Y\; =\; y\; \backslash \; mid\; X\; =\; x)\; =\; \{\backslash \; frac\; \{P\; (\backslash \; \{X\; =\; x\; \backslash \}\; \backslash \; cap\; \backslash \; \{Y\; =\; y\; \backslash \})\}\; \{P\; (X\; =\; x)\}\}\; \}$

Из-за наличия в знаменателе $P\; (X\; =\; x)\; \{\backslash \; displaystyle\; P\; (X\; =\; x)\}$, это определено только для ненулевого (следовательно, строго положительного) $Р\; (Х\; =\; х).\; \{\backslash \; displaystyle\; P\; (X\; =\; x).\}$

Связь с распределением вероятностей $X\; \{\backslash \; displaystyle\; X\}$при $Y\; \{\backslash \; displaystyle\; Y\}$равно:

$P\; (Y\; =\; y\; \mid \; X\; =\; x)\; P\; (X\; =\; x)\; =\; P\; (\{X\; =\; x\}\; \cap \; \{Y\; =\; y\})\; =\; P\; (X\; =\; x\; \mid \; Y\; =\; y)\; P\; (Y\; =\; y).\; \{\backslash \; Displaystyle\; P\; (Y\; =\; Y\; \backslash \; середина\; X\; =\; x)\; P\; (X\; =\; x)\; =\; P\; (\backslash \; \{X\; =\; x\; \backslash \}\; \backslash \; cap\; \backslash \; \{Y\; =\; y\; \backslash \})\; =\; P\; (X\; =\; x\; \backslash \; mid\; Y\; =\; y)\; P\; (Y\; =\; y).\}$

Пример

Рассмотрим бросок честного кубика и пусть $X\; =\; 1\; \{\backslash \; displaystyle\; X\; =\; 1\}$, если число четное (например, 2, 4 или 6), и $X\; =\; 0\; \{\backslash \; displaystyle\; X\; =\; 0\}$в противном случае. Кроме того, пусть $Y\; =\; 1\; \{\backslash \; displaystyle\; Y\; =\; 1\}$, если число простое (например, 2, 3 или 5) и $Y\; =\; 0\; \{\backslash \; displaystyle\; Y\; =\; 0\}$иначе.

Тогда безусловная вероятность того, что $X\; =\; 1\; \{\backslash \; displaystyle\; X\; =\; 1\}$равна 3/6 = 1/2 (поскольку есть шесть возможных бросков кубика, три из которых даже), тогда как вероятность того, что $X\; =\; 1\; \{\backslash \; displaystyle\; X\; =\; 1\}$условно на $Y\; =\; 1\; \{\backslash \; displaystyle\; Y\; =\; 1\}$, равна 1 / 3 (поскольку есть три возможных броска простых чисел - 2, 3 и 5, из которых одно четное).

Аналогично для непрерывных случайных величин, условная функция плотности вероятности для $Y\; \{\backslash \; displaystyle\; Y\}$с учетом появления значения $x\; \{\backslash \; displaystyle\; x\}$из $X\; \{\backslash \; displaystyle\; X\}$может быть записано как

$f\; Y\; \mid \; Икс\; (Y\; \mid \; Икс)\; знак\; равно\; е\; Икс,\; Y\; (Икс,\; Y)\; е\; Икс\; (Икс)\; \{\backslash \; Displaystyle\; F\_\; \{Y\; \backslash \; mid\; X\}\; (y\; \backslash \; mid\; x)\; =\; \{\backslash \; frac\; \{f\_\; \{X,\; Y\}\; (\; x,\; y)\}\; \{f\_\; \{X\}\; (x)\}\}\}$

где $f\; X,\; Y\; (x,\; y)\; \{\backslash \; displaystyle\; f\_\; \{X,\; Y\}\; (x,\; y)\}$дает плотность соединения из $X\; \{\backslash \; displaystyle\; X\}$и $Y\; \{\backslash \; displaystyle\; Y\}$, а $f\; X\; (x)\; \{\backslash \; displaystyle\; f\_\; \{X\}\; (x)\}$дает предельную плотность для $X\; \{\backslash \; displaystyle\; X\}$. Также в этом случае необходимо, чтобы $f\; X\; (x)>0\; \{\backslash \; displaystyle\; f\_\; \{X\}\; (x)>0\}$.

Связь с распределением вероятностей $X\; \{\backslash \; displaystyle\; X\}$задано $Y\; \{\backslash \; displaystyle\; Y\}$определяется как:

$f\; Y\; \mid \; X\; (y\; \mid \; x)\; f\; X\; (x)\; =\; f\; X,\; Y\; (Икс,\; Y)\; знак\; равно\; е\; Икс\; |\; Y\; (Икс\; \mid \; Y)\; е\; Y\; (Y).\; \{\backslash \; Displaystyle\; F\_\; \{Y\; \backslash \; mid\; X\}\; (y\; \backslash \; mid\; x)\; f\_\; \{X\}\; (x)\; =\; f\_\; \{X,\; Y\; \}\; (x,\; y)\; =\; f\_\; \{X\; |\; Y\}\; (x\; \backslash \; mid\; y)\; f\_\; \{Y\}\; (y).\}$

Концепция условного распределения непрерывной случайной величины не так интуитивно понятна, как может показаться : Парадокс Бореля показывает, что условные функции плотности вероятности не обязательно должны быть инвариантными относительно преобразований координат.

Пример

На графике показано двумерная нормальная плотность суставов для случайных величин $X\; \{\backslash \; displaystyle\; X\}$и $Y\; \{\backslash \; displaystyle\; Y\}$. Чтобы увидеть распределение $Y\; \{\backslash \; displaystyle\; Y\}$при условии $X\; =\; 70\; \{\backslash \; displaystyle\; X\; =\; 70\}$, сначала можно визуализировать строку $X\; =\; 70\; \{\backslash \; displaystyle\; X\; =\; 70\}$в $X,\; Y\; \{\backslash \; displaystyle\; X,\; Y\}$плоскости, а затем визуализируйте плоскость, содержащую эту линию и перпендикуляр на плоскость $X,\; Y\; \{\backslash \; displaystyle\; X,\; Y\}$. Пересечение этой плоскости с нормальной плотностью сустава, после масштабирования для получения единицы площади под пересечением, является соответствующей условной плотностью $Y\; \{\backslash \; displaystyle\; Y\}$.

$Y\; \mid \; X\; =\; 70\; \sim \; N\; (\mu \; 1\; +\; \sigma \; 1\; \sigma \; 2\; \rho \; (70\; -\; \mu \; 2),\; (1\; -\; \rho \; 2)\; \sigma \; 1\; 2).\; \{\backslash \; Displaystyle\; Y\; \backslash \; mid\; X\; =\; 70\; \backslash \; \backslash \; sim\; \backslash \; \{\backslash \; mathcal\; \{N\}\}\; \backslash \; left\; (\backslash \; mu\; \_\; \{1\}\; +\; \{\backslash \; frac\; \{\backslash \; sigma\; \_\; \{1\}\}\; \{\backslash \; sigma\; \_\; \{2\}\}\}\; \backslash \; rho\; (70-\; \backslash \; mu\; \_\; \{2\}),\; \backslash ,\; (1-\; \backslash \; rho\; ^\; \{2\})\; \backslash \; sigma\; \_\; \{1\}\; ^\; \{2\}\; \backslash \; right).\}$

Случайные переменные $X\; \{\backslash \; displaystyle\; X\}$, $Y\; \{\backslash \; displaystyle\; Y\}$независимы тогда и только тогда, когда условное распределение $Y\; \{\backslash \; displaystyle\; Y\}$при заданном $X\; \{\backslash \; displaystyle\; X\}$для всех возможных реализаций $X\; \{\backslash \; displaystyle\; X\}$равно безусловное распределение $Y\; \{\backslash \; displaystyle\; Y\}$. Для дискретных случайных величин это означает $P\; (Y\; =\; y\; |\; X\; =\; x)\; =\; P\; (Y\; =\; y)\; \{\backslash \; displaystyle\; P\; (Y\; =\; y\; |\; X\; =\; x)\; =\; P\; (Y\; =\; y)\}$для всех возможных $y\; \{\backslash \; displaystyle\; y\}$и $x\; \{\backslash \; displaystyle\; x\}$с $P\; (X\; =\; x)>0\; \{\; \backslash \; displaystyle\; P\; (X\; =\; x)>0\}$. Для непрерывных случайных величин $X\; \{\backslash \; displaystyle\; X\}$и $Y\; \{\backslash \; displaystyle\; Y\}$, имея функция совместной плотности, это означает, что $f\; Y\; (y\; |\; X\; =\; x)\; =\; f\; Y\; (y)\; \{\backslash \; displaystyle\; f\_\; \{Y\}\; (y\; |\; X\; =\; x)\; =\; f\_\; \{Y\}\; (y)\}$для всех возможных $y\; \{\backslash \; displaystyle\; y\}$и $x\; \{\backslash \; displaystyle\; x\}$с $f\; X\; (x)>0\; \{\backslash \; displaystyle\; f\_\; \{X\}\; (x)>0\}$.

Рассматриваются как функция $y\; \{\backslash \; displaystyle\; y\}$для данного $x\; \{\backslash \; displaystyle\; x\}$, $P\; (Y\; =\; y\; |\; X\; =\; x)\; \{\backslash \; displaystyle\; P\; (Y\; =\; y\; |\; X\; =\; x)\}$- функция массы вероятности и, следовательно, сумма по всем $y\; \{\backslash \; displaystyle\; y\}$(или интеграл, если это условная плотность вероятности) равен 1. Рассматривается как функция от $x\; \{\backslash \; displaystyle\; x\}$для данного $y\; \{\backslash \; displaystyle\; y\}$, это функция правдоподобия, поэтому сумма по всем $x\; \{\backslash \; displaystyle\; x\}$не обязательно должна быть 1.

Дополнительно, маргинальное значение совместного распределения может быть выражено как математическое ожидание соответствующего условного распределения. Например, $p\; X\; (x)\; =\; E\; Y\; [p\; X\; |\; Y\; (X\; |\; Y)]\; \{\backslash \; displaystyle\; p\_\; \{X\}\; (x)\; =\; E\_\; \{Y\}\; [p\_\; \{X\; |\; Y\}\; (X\; \backslash \; |\; \backslash \; Y)]\}$.

Пусть $(\Omega ,\; F,\; P)\; \{\backslash \; displaystyle\; (\backslash \; Omega,\; \{\backslash \; mathcal\; \{F\}\},\; P)\}$будет вероятностным пространством, $G\; \subseteq \; F\; \{\backslash \; displaystyle\; \{\backslash \; mathcal\; \{G\}\}\; \backslash \; substeq\; \{\backslash \; mathcal\; \{F\}\}\}$a $\sigma \; \{\backslash \; displaystyle\; \backslash \; sigma\}$-поле в $F\; \{\backslash \; displaystyle\; \{\backslash \; mathcal\; \{F\}\}\; \}$и $X:\; \Omega \; \to \; R\; \{\backslash \; displaystyle\; X:\; \backslash \; Omega\; \backslash \; to\; \backslash \; mathbb\; \{R\}\}$случайная величина с действительным знаком (измеримая относительно Борель $\sigma \; \{\backslash \; displaystyle\; \backslash \; sigma\}$-field $R\; 1\; \{\backslash \; displaystyle\; \{\backslash \; mathcal\; \{R\}\}\; ^\; \{1\}\}$на $R\; \{\backslash \; displaystyle\; \backslash \; mathbb\; \{R\}\}$). Учитывая $A\; \in \; F\; \{\backslash \; displaystyle\; A\; \backslash \; in\; \{\backslash \; mathcal\; \{F\}\}\}$, теорема Радона-Никодима подразумевает, что существует $G\; \{\backslash \; displaystyle\; \{\backslash \; mathcal\; \{G\}\}\}$-измеримая интегрируемая случайная величина $P\; (A\; \mid \; G):\; \Omega \; \to \; R\; \{\backslash \; displaystyle\; P\; (A\; \backslash \; mid\; \{\backslash \; mathcal\; \{G\}\}):\; \backslash \; Omega\; \backslash \; to\; \backslash \; mathbb\; \{R\}\}$такой, что $\int \; GP\; (A\; \mid \; G)\; (\omega )\; d\; P\; (\omega )\; =\; P\; (A\; \cap \; G)\; \{\backslash \; displaystyle\; \backslash \; int\; \_\; \{\; G\}\; P\; (A\; \backslash \; mid\; \{\backslash \; mathcal\; \{G\}\})\; (\backslash \; omega)\; dP\; (\backslash \; omega)\; =\; P\; (A\; \backslash \; cap\; G)\}$для каждого $G\; \in \; G\; \{\backslash \; displaystyle\; G\; \backslash \; in\; \{\backslash \; mathcal\; \{G\}\}\}$, и такая случайная величина определяется однозначно с точностью до множеств с нулевой вероятностью. Кроме того, тогда можно показать, что существует функция $\mu :\; R\; 1\; \times \; \Omega \; \to \; R\; \{\backslash \; displaystyle\; \backslash \; mu:\; \{\backslash \; mathcal\; \{R\}\}\; ^\; \{1\}\; \backslash \; times\; \backslash \; Omega\; \backslash \; to\; \backslash \; mathbb\; \{R\; \}\}$такая, что

$\mu \; (\cdot ,\; \omega )\; \{\backslash \; displaystyle\; \backslash \; mu\; (\backslash \; cdot,\; \backslash \; omega)\}$является мерой вероятности на $R\; 1\; \{\backslash \; displaystyle\; \{\backslash \; mathcal\; \{R\}\}\; ^\; \{1\}\}$для каждого $\omega \; \in \; \Omega \; \{\backslash \; displaystyle\; \backslash \; omega\; \backslash \; in\; \backslash \; Omega\}$(т. е. обычный ) и $\mu \; (H,\; \cdot )\; =\; P\; (X\; -\; 1\; (H)\; \mid \; G)\; \{\backslash \; displaystyle\; \backslash \; mu\; (H,\; \backslash \; cdot)\; =\; P\; (X\; ^\; \{-1\}\; (H)\; \backslash \; mid\; \{\backslash \; mathcal\; \{G\}\})\}$(почти наверняка) для каждого $H\; \in \; R\; 1\; \{\backslash \; displaystyle\; H\; \backslash \; in\; \{\backslash \; mathcal\; \{R\}\}\; ^\; \{1\}\}$.

Для любого $\omega \; \in \; \Omega \; \{\backslash \; displaystyle\; \backslash \; omega\; \backslash \; in\; \backslash \; Omega\}$функция $\mu \; (\cdot ,\; \omega ):\; R\; 1\; \to \; R\; \{\; \backslash \; displaystyle\; \backslash \; mu\; (\backslash \; cdot,\; \backslash \; omega):\; \{\backslash \; mathcal\; \{R\}\}\; ^\; \{1\}\; \backslash \; to\; \backslash \; mathbb\; \{R\}\}$называется условной вероятностью распределение из $X\; \{\backslash \; displaystyle\; X\}$с учетом $G\; \{\backslash \; displaystyle\; \{\backslash \; mathcal\; \{G\}\}\}$. В этом случае $E\; [X\; \mid \; G]\; =\; \int \; -\; \infty \; \infty \; x\; \mu \; (dx,\; \cdot )\; \{\backslash \; displaystyle\; E\; [X\; \backslash \; mid\; \{\backslash \; mathcal\; \{G\}\}]\; =\; \backslash \; int\; \_\; \{-\; \backslash \; infty\}\; ^\; \{\backslash \; infty\}\; x\; \backslash ,\; \backslash \; mu\; (dx,\; \backslash \; cdot)\}$почти наверняка.

Для любого события $A\; \in \; A\; \supseteq \; B\; \{\backslash \; displaystyle\; A\; \backslash \; in\; \{\backslash \; mathcal\; \{A\}\}\; \backslash \; supseteq\; \{\backslash \; mathcal\; \{B\}\}\}$, определите индикаторную функцию :

$1\; A\; (\omega )\; =\; \{1,\; если\; \omega \; \in \; A,\; 0,\; если\; \omega \; \notin \; A,\; \{\backslash \; displaystyle\; \backslash \; mathbf\; \{1\}\; \_\; \{A\}\; (\backslash \; omega)\; =\; \{\backslash \; begin\; \{case\}\; 1\; \backslash ;\; \{\backslash \; text\; \{if\}\}\; \backslash \; omega\; \backslash \; in\; A,\; \backslash \backslash \; 0\; \backslash ;\; \{\backslash \; text\; \{if\}\}\; \backslash \; omega\; \backslash \; notin\; A,\; \backslash \; end\; \{case\}\; \}\}$

- случайная величина. Обратите внимание, что математическое ожидание этой случайной величины равно вероятности самого A:

$E\; \; (1\; A)\; =\; P\; \; (A).\; \{\backslash \; displaystyle\; \backslash \; operatorname\; \{E\}\; (\backslash \; mathbf\; \{1\}\; \_\; \{A\})\; =\; \backslash \; operatorname\; \{P\}\; (A).\; \backslash ;\}$

Тогда условная вероятность при $B\; \{\backslash \; displaystyle\; \backslash \; scriptstyle\; \{\backslash \; mathcal\; \{B\}\}\}$- это функция $P\; \; (\cdot \; \mid \; B):\; A\; \times \; \Omega \; \to \; [0,\; 1]\; \{\backslash \; displaystyle\; \backslash \; scriptstyle\; \backslash \; operatorname\; \{\; P\}\; (\backslash \; cdot\; \backslash \; mid\; \{\backslash \; mathcal\; \{B\}\}):\; \{\backslash \; mathcal\; \{A\}\}\; \backslash \; times\; \backslash \; Omega\; \backslash \; to\; [0,1]\}$такой, что $P\; \; (A\; \mid \; B)\; \{\backslash \; displaystyle\; \backslash \; scriptstyle\; \backslash \; operatorname\; \{P\}\; (A\; \backslash \; mid\; \{\backslash \; mathcal\; \{B\}\})\}$- условное ожидание индикаторной функции для $A\; \{\backslash \; displaystyle\; A\}$:

$P\; \; (A\; \mid \; B)\; =\; E\; \; (1\; A\; \mid \; B)\; \{\backslash \; displaystyle\; \backslash \; operatorname\; \{P\}\; (A\; \backslash \; mid\; \{\backslash \; mathcal\; \{B\}\})\; =\; \backslash \; operatorname\; \{E\; \}\; (\backslash \; mathbf\; \{1\}\; \_\; \{A\}\; \backslash \; mid\; \{\backslash \; mathcal\; \{B\}\})\; \backslash ;\}$

Другими словами, $P\; \; (A\; \mid \; B)\; \{\backslash \; displaystyle\; \backslash \; scriptstyle\; \backslash \; operatorname\; \{P\; \}\; (A\; \backslash \; mid\; \{\backslash \; mathcal\; \{B\}\})\}$- это $B\; \{\backslash \; displaystyle\; \backslash \; scriptstyle\; \{\backslash \; mathcal\; \{B\}\}\}$-измеримая функция, удовлетворяющая

$\int \; BP\; \; (A\; \mid \; B)\; (\omega )\; d\; P\; \; (\omega )\; =\; P\; \; (A\; \cap \; B)\; fo\; r\; все\; A\; \in \; A,\; B\; \in \; B.\; \{\backslash \; displaystyle\; \backslash \; int\; \_\; \{B\}\; \backslash \; operatorname\; \{P\}\; (A\; \backslash \; mid\; \{\backslash \; mathcal\; \{B\}\})\; (\backslash \; omega)\; \backslash ,\; \backslash \; mathrm\; \{d\}\; \backslash \; operatorname\; \{P\}\; (\backslash \; omega)\; =\; \backslash \; operatorname\; \{\; P\}\; (A\; \backslash \; cap\; B)\; \backslash \; qquad\; \{\backslash \; text\; \{для\; всех\}\}\; \backslash \; quad\; A\; \backslash \; in\; \{\backslash \; mathcal\; \{A\}\},\; B\; \backslash \; in\; \{\backslash \; mathcal\; \{B\}\}.\}$

Условная вероятность - это регулярный, если $P\; \; (\cdot \; \mid \; B)\; (\omega )\; \{\backslash \; displaystyle\; \backslash \; scriptstyle\; \backslash \; operatorname\; \{P\}\; (\backslash \; cdot\; \backslash \; mid\; \{\backslash \; mathcal\; \{B\}\})\; (\backslash \; omega)\}$также является вероятностной мерой для всех ω ∈ Ω. Ожидание случайной величины относительно обычной условной вероятности равно ее условному ожиданию.

• Для тривиальной сигма-алгебры $B\; =\; \{\varnothing ,\; \Omega \}\; \{\backslash \; displaystyle\; \{\backslash \; mathcal\; \{B\}\}\; =\; \backslash \; \{\backslash \; emptyset,\; \backslash \; Omega\; \backslash \}\}$условная вероятность равна постоянная функция, $P\; (A\; \mid \; \{\varnothing ,\; \Omega \})\; \equiv \; P\; \; (A).\; \{\backslash \; Displaystyle\; \backslash \; OperatorName\; \{P\}\; \backslash !\; \backslash \; left\; (A\; \backslash \; mid\; \backslash \; \{\backslash \; emptyset,\; \backslash \; Omega\; \backslash \}\; \backslash \; right)\; \backslash \; Equiv\; \backslash \; OperatorName\; \{P\}\; (A).\}$
• Для $A\; \in \; B\; \{\backslash \; displaystyle\; A\; \backslash \; in\; \{\backslash \; mathcal\; \{B\}\}\}$, как указано выше, $P\; \; (A\; \mid \; B)\; =\; 1\; A.\; \{\backslash \; displaystyle\; \backslash \; operatorname\; \{P\}\; (A\; \backslash \; mid\; \{\backslash \; mathcal\; \{B\}\})\; =\; 1\_\; \{A\}.\}$

• Условие (вероятность)
• Условная вероятность
• Обычная условная вероятность
• Теорема Байеса

• Биллингсли, Патрик (1995). Вероятность и мера (3-е изд.). Нью-Йорк: John Wiley and Sons.