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

Các định lý hội tụ của Doob chỉ ra rằng một martingale không dao động quá mạnh phải hội tụ về một giới hạn hầu như chắc chắn, đây là một con đường mạnh mẽ và rất tổng quát để chứng minh rằng các chuỗi ngẫu nhiên hội tụ.

Definition

Các định lý hội tụ martingale là các kết quả phát biểu rằng một martingale bị chặn trong trung bình bậc nhất hội tụ hầu như chắc chắn, và rằng dưới điều kiện khả tích đều, nó hội tụ trong trung bình bậc nhất và bằng các kỳ vọng có điều kiện của giới hạn của nó.

Scope

Chủ đề này bao gồm bất đẳng thức vượt mức của Doob và định lý hội tụ martingale hầu như chắc chắn cho các quá trình bị chặn trong trung bình bậc nhất, vai trò của tính khả tích đều trong việc nâng cấp lên hội tụ trong trung bình bậc nhất và trong việc đóng một martingale bằng giới hạn của nó, hội tụ trong trung bình bậc p với p lớn hơn một, và các định lý hội tụ lên và xuống của Levy với luật không-một như một hệ quả.

Core questions

• Tại sao tính bị chặn trong trung bình bậc nhất lại buộc một martingale phải hội tụ hầu như chắc chắn?
• Điều kiện bổ sung nào mang lại sự hội tụ trong trung bình và một biến giới hạn đóng?
• Định lý của Levy mô tả giới hạn của các kỳ vọng có điều kiện dọc theo một lọc như thế nào?
• Làm thế nào các định lý này tạo ra các luật không-một và các kết quả hội tụ khác?

Key concepts

• bất đẳng thức vượt mức
• hội tụ hầu như chắc chắn
• tính khả tích đều
• martingale đóng
• luật không-một của Levy

Key theories

Định lý hội tụ martingale của Doob

Một martingale có các mô men tuyệt đối bậc nhất bị chặn hội tụ hầu như chắc chắn đến một giới hạn hữu hạn, được chứng minh thông qua bất đẳng thức vượt mức, giới hạn số lần quá trình có thể vượt qua bất kỳ khoảng nào, mang lại sự hội tụ dưới các giả thuyết tối thiểu.

Tính khả tích đều và hội tụ trong trung bình

Một martingale khả tích đều hội tụ cả hầu như chắc chắn và trong trung bình bậc nhất và được đóng bởi giới hạn của nó, nghĩa là mỗi số hạng là kỳ vọng có điều kiện của giới hạn đó với thông tin tương ứng, điều này đặc trưng cho các martingale hoạt động tốt.

Các định lý lên và xuống của Levy

Các kỳ vọng có điều kiện của một biến khả tích cố định với một họ các đại số sigma tăng hoặc giảm hội tụ hầu như chắc chắn và trong trung bình đến kỳ vọng có điều kiện với đại số sigma giới hạn, với luật không-một của Kolmogorov là một trường hợp đặc biệt.

Clinical relevance

Hội tụ Martingale là nền tảng cho tính nhất quán của các hậu nghiệm Bayes khi dữ liệu tích lũy, sự hội tụ hầu như chắc chắn của các thuật toán xấp xỉ ngẫu nhiên và học trực tuyến, luật số lớn mạnh thông qua các martingale đảo ngược, và sự hội tụ của tỷ số khả năng chi phối kiểm định tuần tự và lựa chọn mô hình.

History

Doob đã chứng minh định lý hội tụ hầu như chắc chắn và giới thiệu lập luận vượt mức vào những năm 1940, và Levy trước đó đã thiết lập sự hội tụ của các kỳ vọng có điều kiện dọc theo một lọc; cùng với nhau, những điều này đã trở thành xương sống hội tụ của lý thuyết martingale được trình bày trong các văn bản hiện đại.

Key figures

• Joseph L. Doob
• Paul Levy
• David Williams

Seminal works

• williams1991

Frequently asked questions

Sự hội tụ hầu như chắc chắn của một martingale có ngụ ý sự hội tụ của các trung bình của nó không?

Không phải tự nó; sự hội tụ hầu như chắc chắn xuất phát từ tính bị chặn trong trung bình bậc nhất, nhưng sự hội tụ của các kỳ vọng và tính chất đóng đòi hỏi điều kiện mạnh hơn là tính khả tích đều.

Bất đẳng thức vượt mức là gì?

Nó giới hạn số lần kỳ vọng một martingale vượt lên trên một khoảng cố định theo kích thước hiện tại của nó; vì một chuỗi bị chặn không hội tụ sẽ phải dao động qua một khoảng nào đó vô hạn lần, giới hạn này buộc sự hội tụ hầu như chắc chắn.