可分定義相關(guān)
probability theory - Definition of separable stochastic process. Which is the "intuition" behind such a definition? - Mathematics Stack Exchange
probability - Prove that two definitions of Separable Processes are equivalent - Mathematics Stack Exchange
連續(xù)與可分的相關(guān)例子
1. 樣本函數(shù)不連續(xù)狼忱，但是完全可分
![T=[0,1],\Omega=[0,1],{F}=[0,1]](https://math.jianshu.com/math?formula=T%3D%5B0%2C1%5D%2C%5COmega%3D%5B0%2C1%5D%2C%7BF%7D%3D%5B0%2C1%5D)
上的勒貝格可測(cè)集所成的
代數(shù)。
定義
![x_t(\omega)=\left\{\begin{aligned} 0&,\text{ if } 0\leq t \leq \frac{1}{2} \\ 1&,\text{ if } \frac{1}{2} < t \leq 1 \end{aligned}\right.,\omega\in[0,1]](https://math.jianshu.com/math?formula=x_t(%5Comega)%3D%5Cleft%5C%7B%5Cbegin%7Baligned%7D%200%26%2C%5Ctext%7B%20if%20%7D%200%5Cleq%20t%20%5Cleq%20%5Cfrac%7B1%7D%7B2%7D%20%5C%5C%201%26%2C%5Ctext%7B%20if%20%7D%20%5Cfrac%7B1%7D%7B2%7D%20%3C%20t%20%5Cleq%201%20%5Cend%7Baligned%7D%5Cright.%2C%5Comega%5Cin%5B0%2C1%5D)
可見![\forall \omega\in[0,1],x_t(\omega)](https://math.jianshu.com/math?formula=%5Cforall%20%5Comega%5Cin%5B0%2C1%5D%2Cx_t(%5Comega))
是
的階梯函數(shù)，跳躍點(diǎn)為
,
則對(duì)于任意
的可列稠密子集
，
都可分骨稿。
證明如下：對(duì)于任意的可列稠密子集，
![\forall \omega \in [0,1],\forall t\in [0,1]\setminus\{\displaystyle\frac{1}{2}\}](https://math.jianshu.com/math?formula=%5Cforall%20%5Comega%20%5Cin%20%5B0%2C1%5D%2C%5Cforall%20t%5Cin%20%5B0%2C1%5D%5Csetminus%5C%7B%5Cdisplaystyle%5Cfrac%7B1%7D%7B2%7D%5C%7D)
,
可以在的足夠小的領(lǐng)域內(nèi)取逼近的中的點(diǎn)列
姜钳，使得
且%3Dx_%7Bt%7D(%5Comega))
;
當(dāng)
時(shí)坦冠，取從的左端逼近的中的點(diǎn)列，使得
且%3Dx_%7B%5Cfrac%7B1%7D%7B2%7D%7D(%5Comega)%3D0)
.
2. 樣本函數(shù)不連續(xù)哥桥，可分但不完全可分
上的勒貝格可測(cè)集所成的代數(shù)辙浑。
定義
![x_t(\omega)=\left\{\begin{aligned} 1&,\text{ if } t=\frac{1}{2},\\ 0&,\text{ if } t \neq \frac{1}{2}, \end{aligned}\right.t \in[0,1],\omega\in[0,1]](https://math.jianshu.com/math?formula=x_t(%5Comega)%3D%5Cleft%5C%7B%5Cbegin%7Baligned%7D%201%26%2C%5Ctext%7B%20if%20%7D%20t%3D%5Cfrac%7B1%7D%7B2%7D%2C%5C%5C%200%26%2C%5Ctext%7B%20if%20%7D%20t%20%5Cneq%20%5Cfrac%7B1%7D%7B2%7D%2C%20%5Cend%7Baligned%7D%5Cright.t%20%5Cin%5B0%2C1%5D%2C%5Comega%5Cin%5B0%2C1%5D)
則存在的可列稠密子集
，使得對(duì)于可分拟糕。
也存在的可列稠密子集
例衍，使得對(duì)于不可分。
證明如下：取為![[0,1]](https://math.jianshu.com/math?formula=%5B0%2C1%5D)
上的有理數(shù)的集合已卸，則是的可列稠密子集，
,可以取任意逼近的中的點(diǎn)列硼一，使得
且%3Dx_%7Bt%7D(%5Comega)%3D0)
;
當(dāng)時(shí)累澡，取
，使得
且%3Dx_%7B%5Cfrac%7B1%7D%7B2%7D%7D(%5Comega)%3D1)
.
取
般贼，則是的可列稠密子集愧哟，
![\forall \omega \in [0,1],\exists t_0=\displaystyle\frac{1}{2}](https://math.jianshu.com/math?formula=%5Cforall%20%5Comega%20%5Cin%20%5B0%2C1%5D%2C%5Cexists%20t_0%3D%5Cdisplaystyle%5Cfrac%7B1%7D%7B2%7D)
，使得對(duì)于任意逼近
的中的點(diǎn)列哼蛆，
但 %3D0%5Cneq%20x_%7Bt_0%7D(%5Comega)%3D1)
.
3. 樣本函數(shù)不連續(xù)蕊梧，不可分
上的勒貝格可測(cè)集所成的代數(shù)。
定義
![x_{t}(\omega)=\left\{\begin{aligned} 1, & \text { if } t=\omega, \\ 0, & \text { if } t \neq \omega, \end{aligned} t \in[0,1], \omega \in [0,1]\right.](https://math.jianshu.com/math?formula=x_%7Bt%7D(%5Comega)%3D%5Cleft%5C%7B%5Cbegin%7Baligned%7D%201%2C%20%26%20%5Ctext%20%7B%20if%20%7D%20t%3D%5Comega%2C%20%5C%5C%200%2C%20%26%20%5Ctext%20%7B%20if%20%7D%20t%20%5Cneq%20%5Comega%2C%20%5Cend%7Baligned%7D%20t%20%5Cin%5B0%2C1%5D%2C%20%5Comega%20%5Cin%20%5B0%2C1%5D%5Cright.)
則是不可分的腮介。
證明如下：假設(shè)可分肥矢，則存在的可列稠密子集，及概率為零的集
叠洗，使得
%3Dx_%7Bt%7D(%5Comega)%3D0.)
則
甘改，當(dāng)
時(shí)旅东，%3D1)
，當(dāng)
時(shí)十艾，%3D0)
,
要使%3Dx_%7Bt%7D(%5Comega)%3D0)
抵代，只有
，因此
.
所以%5Cge%20P(%5COmega)-P(N)%3D1)
忘嫉，即%3D1)
.
這與假設(shè)是可列的矛盾荤牍。綜上，不可分庆冕。
最后編輯于 ：
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
