正則条件付確率
条件付確率 について、それが確率測度になるか否かは自明ではありません。実際、 を満たす集合, に対して適当な零集合 が存在し
\begin{equation}P(A_{1}|\mathcal{G})(\omega)+P(A_{2}|\mathcal{G})(\omega)=P(A_{1}\cup A_{2}|\mathcal{G})(\omega),\quad\omega\in\Omega\setminus N_{A_{1},A_{2}}\label{eq:RCP:introduction}\end{equation}が成り立ちますが、もし が 上の確率測度であるならば、任意の , に対して は \eqref{eq:RCP:introduction}を満たす、つまり
\begin{equation*} \omega \in \Omega \setminus N,\quad N:=\bigcup_{A_{1},A_{2}\in\mathcal{F};A_{1}\cap A_{2}=\emptyset}N_{A_{1},A_{2}} \end{equation*} でなければなりません。しかし が非可算の場合、 が零集合になるとは限りません。それどころか、そのような は存在しないかもしれません。
今回はこの問題について考えることにします。
定義 を確率空間、 を の部分 -加法族とする。写像 ] が次の3条件を満たすとする:
- 殆ど全ての に対して は 上の確率測度である。
- 各 に対して は -可測である。
- 任意の , に対して が成り立つ。
このとき を の下での の正則条件付確率と呼ぶ。また正則条件付確率 と について任意の 、 に対して が成り立つとき正則条件付確率 は一意であるという。
定理1 上記の定義において を 上の確率測度、 を の部分 -加法族とすると正則条件付確率が存在し一意である。
証明 条件付期待値の単調性より である , に対して -零集合 が存在して のとき\begin{equation}E_{P}[1_{(-\infty,q]}|\mathcal{G}](\omega)\le E_{P}[1_{(-\infty,q^{\prime}]}|\mathcal{G}](\omega).\label{eq:RCP:existence_for_R:inequality_of_CE}\end{equation}
また条件付期待値に関する単調収束定理より に対して -零集合 が存在し のとき\begin{equation}\lim_{q\to-\infty}E_{P}[1_{(-\infty,q]}|\mathcal{G}](\omega)=0,\quad\lim_{q\to\infty}E_{P}[1_{(-\infty,q]}|\mathcal{G}](\omega)=1.\label{eq:RCP:existence_for_R:limit_of_CE}\end{equation}が成り立つ。
\begin{equation*} N:=\left(\bigcup_{q,q^{\prime}\in\mathbf{Q}}N_{q,q^{\prime}}\right)\cup\left(\bigcup_{q^{\prime\prime}\in\mathbf{Q}}N_{q^{\prime\prime}}\right) \end{equation*}
とすると は(零集合の可算和であるから)零集合で のとき\eqref{eq:RCP:existence_for_R:inequality_of_CE}、\eqref{eq:RCP:existence_for_R:limit_of_CE}を満たす。
関数 ] を
\begin{equation*} F(\omega,r):=\begin{cases} \inf\left\{ E_{P}[1_{(-\infty,q]}|\mathcal{G}](\omega)\,\big|\,r<q,\,q\in\mathbf{Q}\right\} , & \omega\in\mathbf{R}\setminus N\\ 0, & \omega\in N \end{cases} \end{equation*}
と定義すると に対して 上の確率測度 で\begin{equation*}p(\omega,(-\infty,r])=F(\omega,r),\quad r\in\mathbf{R}\end{equation*}を満たすものが存在する。特に , に対して次式が成り立つ:\begin{equation*}p(\omega,(-\infty,q])=F(\omega,q)=E_{P}[1_{(-\infty,q]}|\mathcal{G}](\omega).\end{equation*}
ここで任意の に対して となる を取れば条件付期待値に対する単調収束定理により に対して \begin{equation} \begin{split}p(\omega,(-\infty,r]) & =\lim_{n\to\infty}p(\omega,(-\infty,q_{n}])\\ & =\lim_{n\to\infty}E_{P}[1_{(-\infty,q_{n}]}|\mathcal{G}](\omega)=E_{P}[1_{(-\infty,r]}|\mathcal{G}](\omega). \end{split}\label{eq:RCP:existence_for_R:val_of_p} \end{equation}
ところで とすると は -系であり、任意の に対して \eqref{eq:RCP:existence_for_R:val_of_p} が成り立つ。よってディンキンの - 定理により , に対して が成り立つ。(証明終)
集合としての濃度が等しい2つの標準可測空間は可測空間として同型であることに注意をすれば定理1は次の様に一般化されます。
定理2 を標準可測空間、 を 上の確率測度、 を の部分 -加法族とすると正則条件付確率が存在し一意である。
証明 を非可算集合とする。このとき標準可測空間 は と可測同型である。 と の間の同型対応を与える写像を とすると、 により 上の確率測度 、 の部分 -加法族 が定まる。 さらに定理1より の下での の正則条件付確率 ] が一意に存在する。 いま ] を
\begin{equation*} p(\omega,A):=p^{\prime}(\varphi(\omega),\varphi(A)),\quad\omega\in\Omega,\,A\in\mathcal{F}\end{equation*}
と定義すると は の下での の正則条件付確率である。(証明終)