WIIS

確率変数

定値写像(定数関数)は確率変数

目次

Twitter
Mailで保存

定値写像は確率変数

標本空間と事象空間からなる可測空間\(\left(\Omega ,\mathcal{F}\right) \)と、実数空間とボレル集合からなる可測空間\(\left( \mathbb{R} ,\mathcal{B}\right) \)が与えられた状況において、定値写像\begin{equation*}X:\Omega \rightarrow \mathbb{R} \end{equation*}を定義します。つまり、\(X\)が任意の標本点\(\omega \in \Omega \)に対して定める値は、定数\(c\in \mathbb{R} \)を用いて\begin{equation*}X\left( \omega \right) =c
\end{equation*}と表されるということです。

定値写像は確率変数です。

命題(定値写像は確率変数)
可測空間\(\left( \Omega ,\mathcal{F}\right) ,\left( \mathbb{R} ,\mathcal{B}\right) \)に加えて定値写像\(X:\Omega \rightarrow \mathbb{R} \)が与えられているものとする。つまり、\(X\)が\(\omega \in \Omega \)に対して定める値は、定数\(c\in \mathbb{R} \)を用いて、\begin{equation*}X\left( \omega \right) =c
\end{equation*}と表される。\(X\)は確率変数である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(定値写像は確率変数)
可測空間\(\left( \Omega ,\mathcal{F}\right) ,\left( \mathbb{R} ,\mathcal{B}\right) \)に加えて写像\(X:\Omega \rightarrow \mathbb{R} \)が与えられているとともに、これはそれぞれの\(\omega \in \Omega \)に対して、\begin{equation*}X\left( \omega \right) =0
\end{equation*}を定めるものとします。\(X\)は定値写像であるため、先の命題より\(X\)は確率変数です。

 

定値写像は拡大実数値確率変数

標本空間と事象空間からなる可測空間\(\left(\Omega ,\mathcal{F}\right) \)と、拡大実数系とボレル集合からなる可測空間\(\left( \overline{\mathbb{R} },\overline{\mathcal{B}}\right) \)が与えられた状況において、定値写像\begin{equation*}X:\Omega \rightarrow \overline{\mathbb{R} }
\end{equation*}を定義します。つまり、\(X\)が任意の標本点\(\omega \in \Omega \)に対して定める値は、拡大実数値であるような定数\(c\in \overline{\mathbb{R} }\)を用いて\begin{equation*}X\left( \omega \right) =c
\end{equation*}と表されるということです。

定値写像は拡大実数値確率変数です。

命題(定値写像は拡大実数値確率変数)
可測空間\(\left( \Omega ,\mathcal{F}\right) ,\left( \overline{\mathbb{R} },\overline{\mathcal{B}}\right) \)に加えて定値写像\(X:\Omega \rightarrow \overline{\mathbb{R} }\)が与えられているものとする。つまり、\(X\)が\(\omega \in \Omega \)に対して定める値は、拡大実数定数\(c\in \overline{\mathbb{R} }\)を用いて、\begin{equation*}X\left( \omega \right) =c
\end{equation*}と表される。\(X\)は拡大実数値確率変数である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(定値写像は拡大実数値確率変数)
可測空間\(\left( \Omega ,\mathcal{F}\right) ,\left( \overline{\mathbb{R} },\overline{\mathcal{B}}\right) \)に加えて写像\(X:\Omega \rightarrow \overline{\mathbb{R} }\)が与えられているとともに、これはそれぞれの\(\omega \in \Omega \)に対して、\begin{equation*}X\left( \omega \right) =+\infty
\end{equation*}を定めるものとします。\(X\)は定値写像であるため、上の命題より\(X\)は拡大実数値確率変数です。

 

演習問題

問題(確率変数が定置写像であるための必要十分条件)
可測空間\(\left( \Omega ,\mathcal{F}\right) ,\left( \mathbb{R} ,\mathcal{B}\right) \)に加えて確率変数\(X:\Omega \rightarrow \mathbb{R} \)が与えられているものとします。このとき、事象空間が、\begin{equation*}\mathcal{F}=\left\{ \phi ,\Omega \right\}
\end{equation*}であることと、\(X\)が定値写像であることは必要十分であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(定数値確率変数が生成するσ-代数)
可測空間\(\left( \Omega ,\mathcal{F}\right) \)に加えて定数値の確率変数\(X:\Omega \rightarrow \mathbb{R} \)が与えられているものとします。このとき、\begin{equation*}\sigma \left( X\right) =\left\{ \phi ,\Omega \right\}
\end{equation*}であることを示してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

Twitter
Mailで保存

質問とコメント

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

1変数の拡大実数値関数

1変数関数が有限な実数に加えて正負の無限大を値としてとり得ることを認める場合、そのような関数を拡大実数値関数と呼びます。

離散型の確率変数

それぞれの標本点に対して実数を1つずつ割り当てる写像を確率変数と呼びます。値域が有限集合または可算集合であるような確率変数を離散型の確率変数と呼びます。

確率変数の定義

標本点に対して実数を1つずつ割り当てる写像を確率変数と呼びます。確率論の公理と整合的な形で確率変数の概念を定義します。

多変数の定数関数

入力する点とは関係なく常に同じ実数を値として返す多変数関数を定数関数と呼びます。

拡大実数値ルベーグ可測関数の定義

ルベーグ集合上に定義された拡大実数値関数によるボレル集合の逆像がルベーグ可測であることが保証される場合、そのような関数はルベーグ可測であると言います。

指示関数(指示確率変数)

可測な事象が与えられれば、その事象が起こる場合には1を返し、その事象が起こらない場合には0を返す確率変数が定義可能です。これを指示関数(指示確率変数)と呼びます。指示関数を用いれば集合演算を数値演算に置き換えて考えることができます。

拡大実数値ボレル可測関数の定義

ボレル集合上に定義された拡大実数値関数によるボレル集合の逆像がボレル可測であることが保証される場合、そのような関数はボレル可測であると言います。

確率変数の定数倍は確率変数

確率変数の定数倍として定義される写像もまた確率変数になることが保証されます。拡大実数値確率変数についても同様です。

数列の定数倍の極限(定数倍の法則)

数列が収束するとき、その数列の一般項の定数倍を一般項とする数列もまた収束します。また、正の無限大や負の無限大に発散する数列と、その数列の定数倍の極限の間にも同様の関係が成り立ちます。

数列の和の極限(和の法則)

2つの数列が収束するとき、それらの一般項の和を一般項とする数列もまた収束します。また、ともに正の無限大に発散する2つの数列や、ともに負の無限大に発散する2つの数列の間にも同様の関係が成り立ちます。

確率変数どうしの和は確率変数

確率変数どうしの和として定義される写像もまた確率変数になることが保証されます。また、拡大実数値確率変数どうしの和が定義可能である場合には、それもまた拡大実数値確率変数になります。

定数関数の定義と具体例

変数の値によらず常に一定の実数を値として定める関数を定数関数と呼びます。定数関数のグラフは水平な直線です。

確率変数どうしの差は確率変数

確率変数どうしの差として定義される写像もまた確率変数になることが保証されます。また、拡大実数値確率変数どうしの差が定義可能である場合には、それもまた拡大実数値確率変数になります。

定数関数の微分

1変数の定数関数は微分可能であり、導関数は0のみを値としてとります。

確率変数どうしの積は確率変数

確率変数どうしの積として定義される写像もまた確率変数になることが保証されます。また、拡大実数値確率変数どうしの積が定義可能である場合には、それもまた拡大実数値確率変数になります。