Đại diện Định lý De Finetti của cho trong một mất duy nhất, trong việc giải thích subjectivistic của xác suất, các raison d'être của mô hình thống kê và ý nghĩa của các thông số và phân phối trước của họ.
Giả sử rằng các biến ngẫu nhiên đại diện cho kết quả tung liên tiếp của một đồng xu, với giá trị 1 và 0 tương ứng với kết quả "đứng đầu" và "đuôi", tương ứng. Phân tích, trong bối cảnh diễn giải chủ quan của phép tính xác suất, ý nghĩa của mô hình thường xuyên thông thường mà theo đó X i là độc lập và phân phối giống hệt nhau, ví dụ, De Finetti nhận thấy rằng điều kiện độc lập sẽ ngụ ý rằng
P { X n = x n ∣ X 1 = x 1X1,…,Xn10Xi
Và, do đó, kết quả của những người đầu tiên n - 1 tung sẽ không thay đổi bất ổn của tôi về kết quả của n -thứ quăng. Ví dụ, nếu tôi tin rằng một tiên nghiệm rằng đây là một đồng tiền cân bằng, thì sau khi nhận được thông tin rằng 999 lầnnémđầu tiênhóa ra là "Thủ trưởng", tôi vẫn tin rằng, có điều kiện là thông tin đó có xác suất nhận được " Thủ trưởng" trên toss 1000 là tương đương với 1 / 2 . Thực tế, giả thuyết về tính độc lập của X i sẽ ngụ ý rằng không thể học được gì về đồng xu bằng cách quan sát kết quả của các lần tung của nó.
P{Xn=xn∣X1=x1,…,Xn−1=xn−1}=P{Xn=xn},
n−1na priori9991/2Xi
Quan sát này đã khiến De Finetti đưa ra một điều kiện yếu hơn độc lập để giải quyết mâu thuẫn rõ ràng này. Chìa khóa cho giải pháp của De Finetti là một loại đối xứng phân phối được gọi là khả năng trao đổi.
Đối với một tập hữu hạn cho { X i } n i = 1 đối tượng ngẫu nhiên, chúng ta hãy μ X 1 , ... , X n biểu thị phân phối chung của họ. Tập hợp hữu hạn Đây là trao đổi nếu μ X 1 , ... , X n = μ X π ( 1 ) , ... , X π ( n ) , cho mỗi hoán vị π : { 1 , ...Definition.{Xi}ni=1μX1,…,XnμX1,…,Xn=μXπ(1),…,Xπ(n) . Một chuỗi { X i } ∞ i = 1 đối tượng ngẫu nhiên là trao đổi nếu mỗi tập con hữu hạn của nó là trao đổi.π:{1,…,n}→{1,…,n}{Xi}∞i=1
{Xi}∞i=1Xi01{Xi}∞i=1Θ:Ω→[0,1]μΘ
P{X1=x1,…,Xn=xn}=∫[0,1]θs(1−θ)n−sdμΘ(θ),
s=∑ni=1xiX¯n=1n∑i=1nXi−→−−n→∞Θalmost surely,
{Xi}∞i=1there isparameter ΘΘconditionallyΘμΘX¯nXiΘ
P{Xn=1∣X1=x1,…,Xn−1=xn−1}=E[Θ∣X1=x1,…,Xn−1=xn−1].