UA MATH563 概率论的数学基础2 随机变量1 随机变量与分布函数
UA MATH563 概率論的數學基礎2 隨機變量1 隨機變量與分布函數
- 判斷一個實變函數是隨機變量
- 分布函數的性質
- Lebesgue-Stieltjes測度下的分布函數
現在我們考慮狀態空間(Ω,F)(\Omega,\mathcal{F})(Ω,F),假設ξ\xiξ是定義在狀態空間上的實函數,即ξ:(Ω,F)→(R,B(R))\xi:(\Omega,\mathcal{F}) \to (\mathbb{R},\mathcal{B}(\mathbb{R}))ξ:(Ω,F)→(R,B(R))。
隨機變量 或稱為F\mathcal{F}F可測函數,如果?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代數,也稱ξ\xiξ為Borel可測函數。如果Ω\OmegaΩ有限,稱ξ\xiξ為簡單隨機變量;如果Ω\OmegaΩ可列,稱ξ\xiξ為離散型隨機變量。
評注 基礎1中我們花了很多精力構造σ\sigmaσ-代數,是因為它包含所有可測的事件,因此隨機變量的定義保證我們能夠根據概率測度定義它的分布。
事件的概率 假設狀態空間是一個概率空間,概率為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))
分布函數 考慮B=(∞,x]B=(\infty,x]B=(∞,x],記此時的事件概率為分布函數
Fξ(x)=P(ξ?1((?∞,x]))F_{\xi}(x)=P(\xi^{-1}((-\infty,x]))Fξ?(x)=P(ξ?1((?∞,x]))
如果分布函數連續,稱ξ\xiξ為連續型隨機變量;如果分布函數可導,即?fξ(x)=Fξ′(x)\exists f_{\xi}(x)=F_{\xi}'(x)?fξ?(x)=Fξ′?(x),稱fξf_{\xi}fξ?為概率密度。
判斷一個實變函數是隨機變量
要判斷一個實變函數是不是隨機變量,根據定義肯定是做不到的,我們不可能檢查B(R)\mathcal{B}(\mathbb{R})B(R)中的每一個集合,下面這個引理可以減少需要檢查的集合數目:
引理 假設C\mathcal{C}C是一個集族,σ(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-可測的。
這是實分析中的結論,我們直接用就不再證明了。根據這個引理,我們只需要檢查一個能生成Borel代數的集族即可。構造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ξ就是隨機變量。實際上ξ?1((?∞,x))∈F\xi^{-1}((-\infty,x))\in\mathcal{F}ξ?1((?∞,x))∈F也可以。
除了按定義判斷隨機變量的方法之外,還可以基于已知的隨機變量進行判斷:
引理 假設ψ\psiψ是Borel函數,ξ\xiξ是隨機變量,則η=ψ(ξ)\eta=\psi(\xi)η=ψ(ξ)是隨機變量。
證明 根據定義進行判斷,?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
分布函數的性質
基于上文分布函數的定義:
Fξ(x)=P(ξ?1((?∞,x]))F_{\xi}(x)=P(\xi^{-1}((-\infty,x]))Fξ?(x)=P(ξ?1((?∞,x]))
分布函數具有下面的性質:
證明
性質1非常簡單,基于概率的單調性即可以得出,如果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);
性質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;
性質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測度下的分布函數
概率空間4中討論了Lebesgue-Stieltjes測度,假設函數F:R→RF:\mathbb{R}\to \mathbb{R}F:R→R滿足
對于區間(a,b](a,b](a,b],定義測量區間長度的函數:
λ((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表示前開后閉區間:
μ?(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?}
基于這個外測度導出的L-S測度通常來作為(R,B(R))(\mathbb{R},\mathcal{B}(\mathbb{R}))(R,B(R))上的概率測度,那么基于這個概率測度定義的分布函數與L-S定義中的分布函數會有什么關系嗎?
考慮概率空間(R,H(R?),μ?)(\mathbb{R},H(R^*),\mu^*)(R,H(R?),μ?),假設ξ:(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ξ的分布函數為Fξ(x)=μ?(ξ?1((?∞,x]))F_{\xi}(x)=\mu^*(\xi^{-1}((-\infty,x]))Fξ?(x)=μ?(ξ?1((?∞,x]))。根據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測度的分布函數與ξ\xiξ的構造決定的。
《新程序員》:云原生和全面數字化實踐50位技術專家共同創作,文字、視頻、音頻交互閱讀總結
以上是生活随笔為你收集整理的UA MATH563 概率论的数学基础2 随机变量1 随机变量与分布函数的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: UA MATH523A 实分析1 集合论
- 下一篇: UA SIE545 优化理论基础5 搜索