Hầu như chắc chắn hội tụ không bao hàm sự hội tụ hoàn chỉnh


10

Chúng tôi nói hội tụ hoàn toàn thành nếu với mọi .X ε > 0 Σ n = 1 P ( | X n - X | > ε ) < X1,X2,Xϵ>0 n=1P(|XnX|>ϵ)<

Với bổ đề của Borel Cantelli là thẳng tiến để chứng minh rằng sự hội tụ hoàn toàn ngụ ý sự hội tụ gần như chắc chắn.

Tôi đang tìm kiếm một ví dụ gần như chắc chắn sự hội tụ không thể được chứng minh với Borel Cantelli. Đây là, một chuỗi các biến ngẫu nhiên hội tụ gần như chắc chắn nhưng không hoàn toàn.

Câu trả lời:


9

Hãy Ω=(0,1) với Borel đại số sigma F và thống nhất biện pháp μ . Định nghĩa

Xn(ω)=2+(1)n when ω1/n

ngược lại. Các X n là có thể đo đếm trên không gian xác suất ( Ω , F , μ ) .Xn(ω)=0Xn(Ω,F,μ)

Nhân vật

Đối với bất kỳ và tất cả N > 1 / ω nó là trường hợp đó X n ( ω ) = 0 . Do đó, theo định nghĩa, chuỗi ( X n ) hội tụ về 0 (không chỉ gần như chắc chắn!).ωΩN>1/ωXn(ω)=0(Xn)0

0<ϵ<1Pr(Xn>ϵ)=Pr(Xn0)=1/n

n=1Pr(Xn>ϵ)=n=11n,

mà phân kỳ thành .


1
Cảm ơn rất nhiều!. Hai nhận xét, có lý do để xác định thay vì ? thứ hai, nó có nên là không? X n ( ω ) = 1  khi  ω 1 / n Σ Pr ( X n > ε )
Xn(ω)=2+(1)n when ω1/n
Xn(ω)=1 when ω1/n
Pr(Xn>ϵ)
Manuel

1
1. Không có lý do chính đáng. Trong khi tôi đang suy nghĩ điều này, tôi đã sử dụng thuật ngữ như một lời nhắc nhở rằng có thể không có sự hội tụ tại những điểm như vậy. 2. Tôi đã sửa lỗi đánh máy , cảm ơn. <±1<
whuber

Là độc lập? Chúng dường như đối với tôi, mà bổ đề Borel Cantelli thứ hai sẽ ám chỉ sự hội tụ gần như không chắc chắn. Xn
Rdrr

@Rdrr Sau đó, bạn sẽ không gặp khó khăn gì khi chứng minh không độc lập. Xn
whuber
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.