跳到主要内容

千葉大学 理学研究科 基盤理学専攻 数学・情報数理学コース 2014年8月実施 専門 B8

Author

祭音Myyura (co-authored with GPT 6 Astra)

Description

(Ω,F,P)(\Omega,\mathcal F,P) を確率空間とする。

(1) 実数値関数 XX に対し、G={X1(B):BB(R)}\mathcal G=\{X^{-1}(B):B\in\mathcal B(\mathbb R)\}σ\sigma 加法族であることを示し、XX が確率変数となる条件を与えよ。

(2) 確率変数 X,YX,Y と実数 a,ba,b に対し、aX+bYaX+bY も確率変数であることを示せ。

(3) 確率変数 XX に対し、μ(B)=P(X1(B))\mu(B)=P(X^{-1}(B))(R,B(R))(\mathbb R,\mathcal B(\mathbb R)) 上の確率測度であることを示せ。

题目描述

(Ω,F,P)(\Omega,\mathcal F,P) 是概率空间。

(1) 对实值函数 XX,证明 G={X1(B):BB(R)}\mathcal G=\{X^{-1}(B):B\in\mathcal B(\mathbb R)\}σ\sigma 代数,并给出 XX 为随机变量的条件。

(2) 证明随机变量的实线性组合 aX+bYaX+bY 仍为随机变量。

(3) 证明 μ(B)=P(X1(B))\mu(B)=P(X^{-1}(B)) 在实数的 Borel 可测空间上定义概率测度。

Kai

(1)

X1(R)=ΩX^{-1}(\mathbb R)=\Omega であり、逆像は補集合と可算和に対して

ΩX1(B)=X1(RB),nX1(Bn)=X1(nBn)\Omega\setminus X^{-1}(B)=X^{-1}(\mathbb R\setminus B),\qquad \bigcup_nX^{-1}(B_n)=X^{-1}\left(\bigcup_nB_n\right)

を満たす。Borel 集合族の σ\sigma 加法性から G\mathcal Gσ\sigma 加法族である。

XX が確率変数であるための必要十分条件は GF\mathcal G\subset\mathcal F

(2)

ω(X(ω),Y(ω))\omega\mapsto(X(\omega),Y(\omega)) は可測である。実際、開長方形の逆像は可測集合の共通部分で、平面の開集合は有理端点の開長方形の可算和で表せる。連続写像 (x,y)ax+by(x,y)\mapsto ax+by と合成すれば、aX+bYaX+bY も可測となる。

(3)

μ(B)0\mu(B)\ge0μ(R)=P(Ω)=1\mu(\mathbb R)=P(\Omega)=1。互いに素な Borel 集合 BnB_n の逆像も互いに素なので、

μ(nBn)=P(nX1(Bn))=nP(X1(Bn))=nμ(Bn).\mu\left(\bigcup_nB_n\right)=P\left(\bigcup_nX^{-1}(B_n)\right) =\sum_nP(X^{-1}(B_n))=\sum_n\mu(B_n).

従って μ\mu は確率測度である。