Điều đó có nghĩa gì khi nói rằng một sự kiện mà xảy ra cuối cùng là gì?


15

Xem xét bước đi ngẫu nhiên 1 chiều trên các số nguyên Z với trạng thái ban đầu xZ :

Sn=x+i=1nξi

nơi gia số ξi là IID mà P{ξi=1}=P{ξi=1}=12 .

Người ta có thể chứng minh rằng (1)

Px{Sn reaches +1 eventually}=1

trong đó chỉ số biểu thị vị trí ban đầu.

Hãy τ là thời đoạn đầu tiên để nhà nước +1 . Nói cách khác, τ:=τ(1):=min{n0:Sn=1} . Người ta cũng có thể chứng minh rằng (2)

Eτ=+

Cả hai bằng chứng có thể được tìm thấy trong http://galton.uchicago.edu/~lalley/Cifts/312/RW.pdf . Qua đọc bài báo, tôi hiểu cả hai bằng chứng.

Câu hỏi của tôi là, tuy nhiên, ý nghĩa của "cuối cùng" là gì trong tuyên bố đầu tiên cũng như nói chung. Nếu một cái gì đó xảy ra "cuối cùng", nó không phải xảy ra trong thời gian hữu hạn, phải không? Nếu vậy, điều gì thực sự là sự khác biệt giữa một cái gì đó không xảy ra và cái gì đó không xảy ra "cuối cùng"? Các tuyên bố (1) và (2) trong một số ý nghĩa đang mâu thuẫn với chính tôi. Có những ví dụ khác như thế này?


BIÊN TẬP

Chỉ muốn thêm một động lực cho câu hỏi, ví dụ, một ví dụ đơn giản về một cái gì đó xảy ra "cuối cùng", nhưng với thời gian chờ đợi hữu hạn dự kiến.

P{walker eventually moves left}=1P{walker never moves left}=1limn12n=1

Vì vậy chúng tôi biết rằng người đi sẽ "cuối cùng" di chuyển sang bên trái, và thời gian chờ đợi mong đợi trước khi làm như vậy (ví dụ, di chuyển bên trái) là .1/(1/2)=2

Nhìn thấy một cái gì đó xảy ra "cuối cùng" nhưng với "thời gian chờ đợi" vô hạn dự kiến ​​là khá kéo dài cho trí tưởng tượng của tôi. Nửa sau phản hồi của @ whuber là một ví dụ tuyệt vời khác.


4
cuối cùng không có nghĩa là trong thời gian hữu hạn. Đó chính xác là những gì đang được đối chiếu: P là hữu hạn, trong khi kỳ vọng của tau là vô hạn
seanv507

Vâng, có một ví dụ điển hình về phân phối Cauchy en.wikipedia.org/wiki/Cauchy_distribution .
seanv507

2
@ seanv507 - Có, mặc dù giá trị trung bình của phân phối Cauchy không được xác định thay vì vô hạn (một mẫu trung bình từ dbn Cauchy sẽ nhảy xung quanh khi tiến đến vô cùng thay vì hội tụ đều đặn đến + Vô cực). Tôi đã nghĩ đến phân phối Pareto ( en.wikipedia.org/wiki/Pareto_distribution ), có nghĩa là = Infinity khi tham số hình dạng của nó α < = 1 và chưa có chức năng phân phối xác suất được xác định rõ. nα<=1
RobertF

@RobertF cảm ơn - Tôi phải nói Pareto
seanv507

2
Có một số sự thoải mái trong tất cả điều này: nếu , sau đó E [ τ ] = , nhưng không phải là cách khác xung quanh. P(τ=)>0E[τ]=
Alex R.

Câu trả lời:


16

Làm thế nào bạn sẽ chứng minh một sự kiện "cuối cùng xảy ra"? Bạn sẽ tiến hành một thí nghiệm suy nghĩ với một đối thủ giả định. Đối thủ của bạn có thể thách thức bạn với bất kỳ số dương . Nếu bạn có thể tìm thấy một n (mà rất có thể phụ thuộc vào p ) mà cơ hội của sự kiện xảy ra theo thời gian npnpn ít nhất là , thì bạn sẽ thắng.1p

Trong ví dụ, " " là ký hiệu sai lệch vì bạn sử dụng cả hai để chỉ một trạng thái của bước đi ngẫu nhiên cũng như toàn bộ bước đi ngẫu nhiên. Hãy cẩn thận để nhận ra sự khác biệt. "Reaches 1 cuối cùng" là có nghĩa là để chỉ một tập con S của tập tất cả các ngẫu nhiên đi Ω . Mỗi bước đi S Ohm có vô cùng nhiều bước. Giá trị của S tại thời điểm nS n . " S đạt 1 lần nSn1SΩSΩSnSnS1n " dùng để chỉ tập hợp con của của tầng lớp xã hội đã đạt đến trạng thái 1Ω1theo thời gian . Một cách nghiêm ngặt, đó là bộn

Ω1,n={SΩS1=1 or S2=1 or  or Sn=1}.

Trong trả lời của bạn với đối thủ tưởng tượng, bạn đang trưng bày một số với tài sản đóΩ1,n

Pξ(Ω1,n)1p.

là tùy ý, bạn có sẵn tất cả các yếu tố của tập hợpn

Ω1,=n=1Ω1,n.

(Nhớ lại rằng khi và chỉ khi tồn tại một hữu hạn nS Ω 1Sn=1Ω1,n n , vì vậy không có bất kỳ con số vô hạn tham gia vào liên minh này.)SΩ1,n

Khả năng giành chiến thắng trong trò chơi của bạn cho thấy liên minh này có xác suất vượt quá tất cả các giá trị của mẫu , bất kể p > 0 có thể nhỏ đến mức nào . Do đó, xác suất đó ít nhất là 11pp>01 - và do đó bằng . Sau đó, bạn sẽ chứng minh rằng1

Pξ(Ω1,)=1.

Một cách đơn giản để đánh giá cao sự khác biệt giữa "cuối cùng xảy ra" và có thời gian qua đầu tiên được mong đợi vô hạn là suy ngẫm về một tình huống đơn giản hơn. Đối với bất kỳ số tự nhiên, chúng ta hãy ω ( nn là dãyω(n)

ω(n)=(0,0,,0n,1,1,)

trong đó n số không được theo sau bởi một chuỗi vô tận. Nói cách khác, đây là những bước đi ở gốc và tại một thời điểm (hữu hạn) bước tới điểm , sau đó ở lại đó mãi mãi.1

Hãy là tập hợp của tất cả những ω ( n ) , n = 0 , 1 , 2Ω với rời rạc sigma đại số. Chỉ định thước đo xác suất thông quaω(n),n=0,1,2,

P(ω(n))=1n+11n+2=1(n+1)(n+2).

Điều này được thiết kế để làm cho cơ hội nhảy lên vào thời điểm n bằng 1 - 1 / ( n + 1 ) , rõ ràng là tiếp cận gần tùy ý với 1 . Bạn sẽ giành chiến thắng trong trò chơi. Bước nhảy cuối cùng xảy ra và khi nó xảy ra, nó sẽ ở một thời điểm hữu hạn. Tuy nhiên, thời gian dự kiến khi nó xảy ra là tổng của hàm sinh tồn (mang lại cơ hội không nhảy vào thời điểm n ),1 n11/(n+1)1n

E(τ)=11+12+13+,

mà phân kỳ. Đó là bởi vì một xác suất tương đối lớn được đưa ra để chờ đợi một thời gian dài trước khi nhảy.


Am hiểu lầm tôi nếu tôi đọc phần đầu tiên của bạn như sôi xuống đến một cuộc tranh cãi epsilon / đồng bằng, và do đó về cơ bản chỉ nói (trong đó P n là xác suất của một số sự kiện sau n bước)?
limnPn=1
Pnn
jpmc26

1
@jpm Nó không chỉ sôi sục với nó: đó một đối số epsilon-delta. Trong trường hợp này, "delta" là " " và "epsilon" được viết " p " như một lời nhắc nhở rằng đó là một xác suất. Sự nhấn mạnh ở đây là về tính hữu hạn của n : giới hạn được xác định theo các giá trị hữu hạn và các phép toán hữu hạn, không phải là vô hạn. npn
whuber

Tôi cảm ơn một người dùng ẩn danh cho thấy việc sử dụng underbracetrong mô tả của . ω(n)
whuber

3

Rằng một cái gì đó xảy ra cuối cùng có nghĩa là có một thời điểm mà nó xảy ra, nhưng có một ý nghĩa rằng người ta không đề cập đến bất kỳ thời điểm cụ thể nào trước khi nó xảy ra. Nếu bạn nói điều gì đó sẽ xảy ra trong vòng ba tuần, đó là một tuyên bố mạnh mẽ hơn là điều đó sẽ xảy ra cuối cùng. Rằng điều đó sẽ xảy ra cuối cùng không xác định thời gian, chẳng hạn như "ba tuần" hoặc "ba mươi tỷ năm" hoặc "một phút".

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.