Các Định lý Hội tụ Martingale

Các định lý hội tụ martingale đảm bảo rằng một martingale bị chặn theo một nghĩa thích hợp sẽ ổn định về một biến ngẫu nhiên giới hạn, cung cấp một con đường linh hoạt để đạt được sự hội tụ hầu như chắc chắn.

Definition

Các định lý hội tụ martingale là những kết quả khẳng định rằng một martingale bị chặn trong L1 hội tụ hầu như chắc chắn và một martingale khả tích đều hội tụ hầu như chắc chắn và trong L1 về một biến ngẫu nhiên đóng martingale như một kỳ vọng có điều kiện.

Scope

Chủ đề này bao gồm bất đẳng thức vượt biên (upcrossing inequality) và bất đẳng thức cực đại của Doob, sự hội tụ hầu như chắc chắn của các martingale bị chặn L1, sự hội tụ theo trung bình cho các martingale khả tích đều và khái niệm biến đóng, sự hội tụ của martingale bị chặn Lp, và định lý hội tụ martingale ngược với các ứng dụng của nó vào luật số lớn mạnh.

Core questions

• Bất đẳng thức vượt biên buộc một martingale bị chặn hội tụ như thế nào?
• Sự khác biệt giữa hội tụ hầu như chắc chắn và hội tụ theo trung bình đối với các martingale là gì?
• Tính khả tích đều bổ sung điều gì, và biến đóng là gì?
• Các martingale ngược mang lại luật số lớn mạnh như thế nào?

Key theories

Bất đẳng thức vượt biên của Doob và hội tụ bị chặn L1

Việc chặn số lần kỳ vọng một martingale vượt qua bất kỳ khoảng nào cho thấy nó không thể dao động vô hạn, do đó một martingale bị chặn L1 hội tụ hầu như chắc chắn về một giới hạn hữu hạn.

Tính khả tích đều và hội tụ L1

Một martingale khả tích đều hội tụ trong L1 cũng như hầu như chắc chắn, và bằng các kỳ vọng có điều kiện của giới hạn của nó, do đó nó được đóng bởi một biến ngẫu nhiên khả tích duy nhất, dạng cần thiết cho nhiều ứng dụng.

Clinical relevance

Sự hội tụ martingale là nền tảng cho các chứng minh của luật số lớn mạnh, sự hội tụ của các niềm tin hậu nghiệm Bayes khi dữ liệu tích lũy, luật không-một của Levy, và các giới hạn hầu như chắc chắn của kích thước quần thể trong quá trình phân nhánh, làm cho nó trở thành một công cụ lặp lại cho các tiệm cận hầu như chắc chắn.

History

Doob đã thiết lập định lý hội tụ và lập luận vượt biên vào những năm 1940 và trình bày chúng trong chuyên luận năm 1953 của ông, và các phiên bản khả tích đều và ngược, cùng với các định lý xuống và lên của Levy, đã trở thành những phần tiêu chuẩn của chương trình giảng dạy xác suất sau đại học.

Key figures

• Joseph Doob
• Paul Levy
• David Williams

Seminal works

• williams1991

Frequently asked questions

Khi nào thì một martingale hội tụ?

Nếu nó bị chặn trong L1, nghĩa là giá trị tuyệt đối kỳ vọng của nó bị chặn theo thời gian, nó hội tụ hầu như chắc chắn; tính khả tích đều bổ sung thêm sự hội tụ theo trung bình về một biến đóng.

Vượt biên (upcrossing) là gì?

Vượt biên của một khoảng là một trường hợp khi martingale di chuyển từ dưới điểm cuối dưới lên trên điểm cuối trên; việc chặn số lần kỳ vọng của các lần vượt biên này chứng minh sự hội tụ.