Tính hoán vị và Định lý de Finetti

Tính hoán vị chính thức hóa ý tưởng rằng thứ tự của các quan sát không mang thông tin, và định lý của de Finetti cho thấy giả định này biện minh cho việc coi dữ liệu là i.i.d. có điều kiện khi biết một tham số với phân phối tiên nghiệm.

Definition

Một chuỗi các biến ngẫu nhiên được gọi là hoán vị nếu phân phối đồng thời của nó bất biến dưới bất kỳ hoán vị nào của các chỉ số; định lý của de Finetti phát biểu rằng một chuỗi hoán vị vô hạn là một hỗn hợp của các chuỗi i.i.d., với phân phối hỗn hợp đóng vai trò là phân phối tiên nghiệm.

Scope

Chủ đề này bao gồm tính hoán vị hữu hạn và vô hạn, định lý biểu diễn của de Finetti và vai trò của nó trong việc đặt nền tảng cho các mô hình tham số và phân phối tiên nghiệm dựa trên xác suất chủ quan thuần túy, cũng như tính hoán vị một phần cho dữ liệu có cấu trúc.

Core questions

• Một chuỗi các quan sát hoán vị có nghĩa là gì?
• Định lý của de Finetti biểu diễn một chuỗi hoán vị dưới dạng i.i.d. có điều kiện như thế nào?
• Tại sao tính hoán vị cung cấp một sự biện minh dựa trên xác suất chủ quan cho các phân phối tiên nghiệm và các mô hình tham số?
• Ý tưởng này được mở rộng thông qua tính hoán vị một phần cho dữ liệu có cấu trúc hoặc được nhóm như thế nào?

Key concepts

• tính hoán vị
• bất biến hoán vị
• phân phối hỗn hợp
• độc lập có điều kiện
• tính hoán vị một phần
• xác suất chủ quan

Key theories

Định lý biểu diễn của de Finetti

Bất kỳ chuỗi nhị phân hoán vị vô hạn nào cũng có thể được viết dưới dạng hỗn hợp của các chuỗi Bernoulli, với độ đo hỗn hợp có thể được diễn giải như một phân phối tiên nghiệm trên xác suất thành công; kết quả này tổng quát hóa cho các không gian quan sát rộng hơn.

Tính hoán vị một phần

Khi dữ liệu được phân thành các nhóm, tính hoán vị được giả định trong nội bộ các nhóm, thúc đẩy các mô hình phân cấp trong đó các tham số cấp nhóm cũng có tính hoán vị.

Clinical relevance

Tính hoán vị là giả định mô hình cho phép tổng hợp thông tin từ các đơn vị tương tự, làm nền tảng cho phân tích tổng hợp (meta-analysis), thử nghiệm đa trung tâm và các mô hình phân cấp trong khắp các ngành khoa học ứng dụng.

History

De Finetti đã giới thiệu tính hoán vị và chứng minh định lý biểu diễn của mình vào những năm 1930, cung cấp một giải pháp thay thế dựa trên xác suất chủ quan cho khái niệm lấy mẫu i.i.d. theo trường phái tần suất. Hewitt và Savage sau đó đã mở rộng định lý này cho các không gian tổng quát hơn.

Key figures

• Bruno de Finetti
• David Hewitt
• Leonard J. Savage

Seminal works

• definetti1937
• bernardo1994

Frequently asked questions

Tính hoán vị có giống với tính độc lập không?

Không. Các biến hoán vị thường phụ thuộc lẫn nhau, nhưng định lý của de Finetti cho thấy chúng trở nên độc lập và phân phối đồng nhất có điều kiện khi một tham số không xác định được đưa vào, đây chính xác là cấu trúc của một mô hình Bayes.