UA MATH563 概率论的数学基础2 随机变量1 随机变量与分布函数
UA MATH563 概率論的數(shù)學(xué)基礎(chǔ)2 隨機(jī)變量1 隨機(jī)變量與分布函數(shù)
- 判斷一個(gè)實(shí)變函數(shù)是隨機(jī)變量
- 分布函數(shù)的性質(zhì)
- Lebesgue-Stieltjes測度下的分布函數(shù)
現(xiàn)在我們考慮狀態(tài)空間(Ω,F)(\Omega,\mathcal{F})(Ω,F),假設(shè)ξ\xiξ是定義在狀態(tài)空間上的實(shí)函數(shù),即ξ:(Ω,F)→(R,B(R))\xi:(\Omega,\mathcal{F}) \to (\mathbb{R},\mathcal{B}(\mathbb{R}))ξ:(Ω,F)→(R,B(R))。
隨機(jī)變量 或稱為F\mathcal{F}F可測函數(shù),如果?B∈B(R)\forall B \in \mathcal{B}(\mathbb{R})?B∈B(R), ξ?1(B)∈F\xi^{-1}(B) \in \mathcal{F}ξ?1(B)∈F。如果F\mathcal{F}F是Borel代數(shù),也稱ξ\xiξ為Borel可測函數(shù)。如果Ω\OmegaΩ有限,稱ξ\xiξ為簡單隨機(jī)變量;如果Ω\OmegaΩ可列,稱ξ\xiξ為離散型隨機(jī)變量。
評注 基礎(chǔ)1中我們花了很多精力構(gòu)造σ\sigmaσ-代數(shù),是因?yàn)樗锌蓽y的事件,因此隨機(jī)變量的定義保證我們能夠根據(jù)概率測度定義它的分布。
事件的概率 假設(shè)狀態(tài)空間是一個(gè)概率空間,概率為PPP,則事件ξ∈B(R)\xi \in \mathcal{B}(\mathbb{R})ξ∈B(R)的概率就是
Pξ(B)=P(ξ?1(B))P_{\xi}(B) = P(\xi^{-1}(B))Pξ?(B)=P(ξ?1(B))
分布函數(shù) 考慮B=(∞,x]B=(\infty,x]B=(∞,x],記此時(shí)的事件概率為分布函數(shù)
Fξ(x)=P(ξ?1((?∞,x]))F_{\xi}(x)=P(\xi^{-1}((-\infty,x]))Fξ?(x)=P(ξ?1((?∞,x]))
如果分布函數(shù)連續(xù),稱ξ\xiξ為連續(xù)型隨機(jī)變量;如果分布函數(shù)可導(dǎo),即?fξ(x)=Fξ′(x)\exists f_{\xi}(x)=F_{\xi}'(x)?fξ?(x)=Fξ′?(x),稱fξf_{\xi}fξ?為概率密度。
判斷一個(gè)實(shí)變函數(shù)是隨機(jī)變量
要判斷一個(gè)實(shí)變函數(shù)是不是隨機(jī)變量,根據(jù)定義肯定是做不到的,我們不可能檢查B(R)\mathcal{B}(\mathbb{R})B(R)中的每一個(gè)集合,下面這個(gè)引理可以減少需要檢查的集合數(shù)目:
引理 假設(shè)C\mathcal{C}C是一個(gè)集族,σ(C)=B(R)\sigma(\mathcal{C})=\mathcal{B}(\mathbb{R})σ(C)=B(R),如果?C∈C,ξ?1(C)∈F\forall C \in \mathcal{C}, \xi^{-1}(C) \in \mathcal{F}?C∈C,ξ?1(C)∈F,則ξ\xiξ是F\mathcal{F}F-可測的。
這是實(shí)分析中的結(jié)論,我們直接用就不再證明了。根據(jù)這個(gè)引理,我們只需要檢查一個(gè)能生成Borel代數(shù)的集族即可。構(gòu)造C={(∞,x]:x∈R}\mathcal{C}=\{(\infty,x]:x \in \mathcal{R}\}C={(∞,x]:x∈R},則σ(C)=B(R)\sigma(\mathcal{C})=\mathcal{B}(\mathbb{R})σ(C)=B(R),因此只要ξ?1((?∞,x])∈F\xi^{-1}((-\infty,x])\in\mathcal{F}ξ?1((?∞,x])∈F,ξ\xiξ就是隨機(jī)變量。實(shí)際上ξ?1((?∞,x))∈F\xi^{-1}((-\infty,x))\in\mathcal{F}ξ?1((?∞,x))∈F也可以。
除了按定義判斷隨機(jī)變量的方法之外,還可以基于已知的隨機(jī)變量進(jìn)行判斷:
引理 假設(shè)ψ\psiψ是Borel函數(shù),ξ\xiξ是隨機(jī)變量,則η=ψ(ξ)\eta=\psi(\xi)η=ψ(ξ)是隨機(jī)變量。
證明 根據(jù)定義進(jìn)行判斷,?B∈B(R)\forall B \in \mathcal{B}(\mathbb{R})?B∈B(R),
η?1(B)=[ψ(ξ)]?1(B)=ξ?1(ψ?1(B))∈F\eta^{-1}(B)=[\psi(\xi)]^{-1}(B) = \xi^{-1}(\psi^{-1}(B)) \in \mathcal{F}η?1(B)=[ψ(ξ)]?1(B)=ξ?1(ψ?1(B))∈F
分布函數(shù)的性質(zhì)
基于上文分布函數(shù)的定義:
Fξ(x)=P(ξ?1((?∞,x]))F_{\xi}(x)=P(\xi^{-1}((-\infty,x]))Fξ?(x)=P(ξ?1((?∞,x]))
分布函數(shù)具有下面的性質(zhì):
證明
性質(zhì)1非常簡單,基于概率的單調(diào)性即可以得出,如果x≤yx \le yx≤y,有(?∞,x]?(?∞,y]?ξ?1((?∞,x])?ξ?1((?∞,y])(-\infty,x]\subset (-\infty,y] \Rightarrow \xi^{-1}((-\infty,x])\subset \xi^{-1}((-\infty,y])(?∞,x]?(?∞,y]?ξ?1((?∞,x])?ξ?1((?∞,y]),則P(ξ?1(?∞,x])≤P(ξ?1(?∞,y])P(\xi^{-1}(-\infty,x])\le P(\xi^{-1}(-\infty,y])P(ξ?1(?∞,x])≤P(ξ?1(?∞,y]),即F(x)≤F(y)F(x) \le F(y)F(x)≤F(y);
性質(zhì)2也非常簡單,取an↓?∞a_n \downarrow -\inftyan?↓?∞,則Fξ(?∞)=lim?nFξ(an)=lim?nP(ξ?1(?∞,an])=P(ξ?1(lim?n(?∞,an]))=0F_{\xi}(-\infty)=\lim_nF_{\xi}(a_n) = \lim_n P(\xi^{-1}(-\infty,a_n]) = P(\xi^{-1}(\lim_n (-\infty,a_n]))=0Fξ?(?∞)=limn?Fξ?(an?)=limn?P(ξ?1(?∞,an?])=P(ξ?1(limn?(?∞,an?]))=0;
性質(zhì)3也比較簡單,取bn↑xb_n \uparrow xbn?↑x,lim?nFξ(bn)=lim?nP(ξ?1(?∞,bn])=P(ξ?1(?n(?∞,bn]))=P(ξ?1(?∞,x])=Fξ(x)\lim_n F_{\xi}(b_n)=\lim_nP(\xi^{-1}(-\infty,b_n]) = P(\xi^{-1}(\bigcup_n(-\infty,b_n]))=P(\xi^{-1}(-\infty,x])=F_{\xi}(x)limn?Fξ?(bn?)=limn?P(ξ?1(?∞,bn?])=P(ξ?1(?n?(?∞,bn?]))=P(ξ?1(?∞,x])=Fξ?(x)
Lebesgue-Stieltjes測度下的分布函數(shù)
概率空間4中討論了Lebesgue-Stieltjes測度,假設(shè)函數(shù)F:R→RF:\mathbb{R}\to \mathbb{R}F:R→R滿足
對于區(qū)間(a,b](a,b](a,b],定義測量區(qū)間長度的函數(shù):
λ((a,b])=F(b)?F(a)\lambda((a,b])=F(b)-F(a)λ((a,b])=F(b)?F(a)
由此可以在可測空間(R,B(R))(\mathbb{R},\mathcal{B}(\mathbb{R}))(R,B(R))上建立外測度,用EEE表示前開后閉區(qū)間:
μ?(A)=inf?{∑n=1∞λ(En):A??n=1∞En}\mu^*(A)=\inf\{\sum_{n=1}^{\infty} \lambda(E_n):A \subset \bigsqcup_{n=1}^{\infty}E_n\}μ?(A)=inf{n=1∑∞?λ(En?):A?n=1?∞?En?}
基于這個(gè)外測度導(dǎo)出的L-S測度通常來作為(R,B(R))(\mathbb{R},\mathcal{B}(\mathbb{R}))(R,B(R))上的概率測度,那么基于這個(gè)概率測度定義的分布函數(shù)與L-S定義中的分布函數(shù)會(huì)有什么關(guān)系嗎?
考慮概率空間(R,H(R?),μ?)(\mathbb{R},H(R^*),\mu^*)(R,H(R?),μ?),假設(shè)ξ:(R,H(R?),μ?)→(R,B(R))\xi:(\mathbb{R},H(R^*),\mu^*) \to (\mathbb{R},\mathcal{B}(\mathbb{R}))ξ:(R,H(R?),μ?)→(R,B(R)),定義ξ\xiξ的分布函數(shù)為Fξ(x)=μ?(ξ?1((?∞,x]))F_{\xi}(x)=\mu^*(\xi^{-1}((-\infty,x]))Fξ?(x)=μ?(ξ?1((?∞,x]))。根據(jù)L-S測度的定義?Eσ,σ∈I\exists E_{\sigma},\sigma \in I?Eσ?,σ∈I, Eσ=(aα,bσ]E_{\sigma}=(a_{\alpha},b_{\sigma}]Eσ?=(aα?,bσ?]
Fξ(x)=μ?(?σ∈IEσ)=∑σ∈I[F(bσ)?F(aσ)]F_{\xi}(x)=\mu^*(\bigcup_{\sigma \in I}E_{\sigma}) = \sum_{\sigma\in I} [F(b_{\sigma})-F(a_{\sigma})]Fξ?(x)=μ?(σ∈I??Eσ?)=σ∈I∑?[F(bσ?)?F(aσ?)]
其中
ξ?1((?∞,x])??σ∈IEσ\xi^{-1}((-\infty,x]) \subset \bigcup_{\sigma \in I}E_{\sigma}ξ?1((?∞,x])?σ∈I??Eσ?
由此可以看出,FξF_{\xi}Fξ?主要是由L-S測度的分布函數(shù)與ξ\xiξ的構(gòu)造決定的。
《新程序員》:云原生和全面數(shù)字化實(shí)踐50位技術(shù)專家共同創(chuàng)作,文字、視頻、音頻交互閱讀總結(jié)
以上是生活随笔為你收集整理的UA MATH563 概率论的数学基础2 随机变量1 随机变量与分布函数的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: UA MATH523A 实分析1 集合论
- 下一篇: UA SIE545 优化理论基础5 搜索