قضیه دی فینیتی

طبق قضیه دی فینیتی اگر دنباله‌ای بینهایت از متغیرهای تصادفی دودوییِ تعویض پذیر باشد آنگاه احتمال مشترک هر زیردنباله از دنباله اصلی مخلوطی از متغیرهای تصادفی برنولیِ مستقل با توزیع یکسان (IID) خواهد بود.

تعریف ریاضی 
اگر  دنباله‌ای بینهایت و تعویض پذیر از متغیرهای تصادفی دودویی باشد آنگاه یک توزیع پیشین منحصر به فرد که در معادله پایین آنرا   می‌نامیم وجود خواهد داشت که احتمال مشترک هر زیردنباله، مخلوطی از متغیرهای تصادفی برنولیِ مستقل با توزیع یکسان (IID) با توزیع پیشین  خواهد بود:

در معادله خط پیشین   دارای توزیع برنولی است.

مثال 
گلدان پلیا یک نمونه کلاسیک تعویض پذیری است. فرض کنید ما یک گلدان داریم که حاوی  توپ سفید و  توپ سیاه است. هر بار یک توپ را کاملاً به صورت تصادفی از گلدان برمی‌داریم رنگ آن را را ثبت کرده و توپ را به همراه یک توپ دیگر به همان رنگ به گلدان برمی‌گردانیم. هر بار که یک توپ جدید از گلدان برمی‌داریم یک متغیر تصادفی به اسم  برای رنگ توپ تعریف می‌کنیم.  اگر رنگ توپ سیاه باشد و در غیر اینصورت . هر چه تعداد متغیرهای تصادفی قبل از  که یک هستند بیشتر باشد، احتمال اینکه  نیز یک شود بیشتر خواهد شد، چه که توپ‌های سیاه بیشتری به گلدان اضافه شده‌اند. از این رو این متغیرها نسبت به هم مستقل نیستند، اما همان‌طور که در پایین نشان خواهیم داد این متغیرها تعویض‌پذیرند.

فرض کنیم که  بار از گلدان توپ برداریم، و از این  دفعه  بار توپ سیاه و  بار توپ سفید دیده باشیم. بار اول تعداد توپ‌های گلدان  است، بار دوم این تعداد  خواهد بود الی آخر. پس در دفعه  ام، تعداد توپ‌های ما  خواهد بود. حال فرض کنیم که تمام توپ‌های سیاه را قبل از توپ‌های سفید دیده باشیم، احتمال این رویداد عبارت پایین می‌شود:

حال باید ثابت کنیم که اگر ترتیب توپ‌های سیاه و سفید به صورت دلخواه عوض شوند تغییری در احتمال نهائی پیش نخواهد آمد. همان‌طور که در خط بالا می‌بینیم مخرج کسرها با تغییر ترتیب توپ‌ها تغییر نخواهد کرد، همیشه در دور ام مخرج کسر ما  خواهد بود، زیرا در این دور این تعداد توپ در گلدان است. اگر امین توپ سیاه را در دور  ببینم احتمال  با  برابر خواهد بود، یعنی صورت احتمال با  برابر خواهد شد. با استدلالی مشابه می‌توان صورت احتمال برای توپ‌های سفید را هم محاسبه کرد. ازین رو احتمال نهائی با عبارت پایین برابر خواهد شد (حاصلضرب مخرج‌ها در حاصلضرب صورتها برای توپ‌های سیاه در حاصلضرب صورتها برای توپ‌های سفید):

این احتمال به ترتیب دیدن توپ‌های سیاه و سفید مربوط نمی‌شود و فقط به تعدا کل توپ‌های سفید و تعداد کل توپ‌های سیاه بستگی دارد.

طبق قضیه دی فینیتی برای این دنباله باید یک توزیع پیشین منحصر به فرد وجود داشته باشد که احتمال مشترک آنرا مخلوطی از احتمالات برنولی کند. می‌توان نشان داد که این توزیع پیشین، توزیع بتا با پارامترهای  است. در قضیه دی فینیتی اگر   را با   جایگزین کنیم به معادله قبلی می‌رسیم:

در این معادله .

منابع 

آمار بیزی
قضیه‌های احتمالات