Tính độc lập và các bổ đề Borel-Cantelli

Tính độc lập chính thức hóa ý tưởng rằng việc biết một số sự kiện không cho bạn biết gì về các sự kiện khác, và các bổ đề Borel-Cantelli biến tính tổng được của các xác suất thành các phát biểu gần như chắc chắn sắc bén về tần suất xảy ra của một chuỗi các sự kiện.

Definition

Các sự kiện độc lập khi xác suất xảy ra đồng thời của chúng phân tích thành tích các xác suất riêng lẻ của chúng, và các bổ đề Borel-Cantelli liên hệ sự hội tụ hoặc phân kỳ của tổng các xác suất sự kiện với việc liệu vô số sự kiện có xảy ra gần như chắc chắn hay không.

Scope

Chủ đề này bao gồm tính độc lập của các sự kiện, đại số sigma, và các biến ngẫu nhiên, các bổ đề nhóm và xấp xỉ hỗ trợ nó, bổ đề Borel-Cantelli thứ nhất và thứ hai, luật không-một của Kolmogorov cho các sự kiện đuôi, và các ứng dụng cho sự hội tụ gần như chắc chắn và sự tái diễn của các sự kiện hiếm.

Core questions

• Tính độc lập có ý nghĩa gì đối với các sự kiện, đối với đại số sigma và đối với các biến ngẫu nhiên, và các khái niệm này liên quan đến nhau như thế nào?
• Khi nào một chuỗi các sự kiện chỉ xảy ra hữu hạn lần, và khi nào nó tái diễn vô hạn lần?
• Tại sao bổ đề Borel-Cantelli đảo phải giả định tính độc lập?
• Tại sao một sự kiện đuôi của một chuỗi độc lập lại có xác suất bằng không hoặc bằng một?

Key concepts

• tính độc lập của các sự kiện
• tính độc lập của đại số sigma
• đại số sigma đuôi
• sự kiện xảy ra vô hạn lần
• tái diễn gần như chắc chắn

Key theories

Bổ đề Borel-Cantelli thứ nhất

Nếu tổng xác suất của một chuỗi các sự kiện là hữu hạn, thì với xác suất bằng một, chỉ hữu hạn sự kiện xảy ra; không yêu cầu tính độc lập, và kết quả này là cơ sở cho nhiều lập luận hội tụ gần như chắc chắn.

Bổ đề Borel-Cantelli thứ hai

Nếu các sự kiện độc lập và tổng xác suất của chúng phân kỳ, thì với xác suất bằng một, vô số sự kiện xảy ra, đưa ra một đảo sắc bén cho bổ đề thứ nhất trong điều kiện độc lập.

Luật không-một của Kolmogorov

Bất kỳ sự kiện nào trong đại số sigma đuôi của một chuỗi các biến ngẫu nhiên độc lập đều có xác suất bằng không hoặc bằng một, do đó các tính chất tiệm cận như sự hội tụ của một chuỗi các số hạng độc lập là tất định về giá trị chân lý của chúng.

Clinical relevance

Những kết quả này là nền tảng cho các định luật số lớn mạnh và phân tích các kỷ lục, chuỗi và các sự kiện hiếm; trong phân tích độ tin cậy và rủi ro, chúng xác định liệu một mối nguy hiểm tái diễn có xảy ra vô số lần hay không, và trong lý thuyết số và lý thuyết ergodic, luật không-một giải thích tại sao nhiều tính chất giới hạn luôn đúng hoặc không bao giờ đúng.

History

Borel đã chứng minh một nửa sự hội tụ vào năm 1909 trong nghiên cứu của ông về các số chuẩn, và Cantelli đã cung cấp phần đảo độc lập vào năm 1917. Kolmogorov sau đó đã bao gồm cả hai trong luật không-một của ông cho các sự kiện đuôi, biến chúng thành các công cụ trung tâm của lý thuyết đo lường.

Key figures

• Emile Borel
• Francesco Paolo Cantelli
• Andrey Kolmogorov

Seminal works

• durrett2019

Frequently asked questions

Tại sao bổ đề Borel-Cantelli thứ hai yêu cầu tính độc lập nhưng bổ đề thứ nhất thì không?

Nếu không có tính độc lập, các xác suất phân kỳ vẫn có thể mô tả các sự kiện chồng chéo quá nhiều đến mức chỉ hữu hạn các sự kiện riêng biệt xảy ra; tính độc lập loại trừ sự trùng hợp này và buộc vô số lần xảy ra.

Sự kiện đuôi là gì?

Một sự kiện đuôi là một sự kiện mà sự xảy ra của nó không phụ thuộc vào bất kỳ số hữu hạn nào của các biến ngẫu nhiên cơ bản, chẳng hạn như sự hội tụ của một chuỗi vô hạn; luật của Kolmogorov nói rằng các sự kiện như vậy có xác suất bằng không hoặc bằng một khi các biến độc lập.