تعویضپذیری و قضیه دی فینتی
تعویضپذیری این ایده را رسمی میکند که ترتیب مشاهدات هیچ اطلاعاتی را در بر ندارد، و قضیه دی فینتی نشان میدهد که این فرض، توجیه میکند که دادهها را به صورت مشروط مستقل و همتوزیع (i.i.d.) در نظر بگیریم، با توجه به یک پارامتر با یک پیشفرض (prior).
Definition
یک دنباله از متغیرهای تصادفی تعویضپذیر است اگر توزیع توأم آن تحت هر جایگشتی از شاخصها ناوردا باشد؛ قضیه دی فینتی بیان میکند که یک دنباله تعویضپذیر نامتناهی، ترکیبی از دنبالههای مستقل و همتوزیع (i.i.d.) است، که توزیع ترکیبکننده نقش یک پیشفرض (prior) را ایفا میکند.
Scope
این موضوع شامل تعویضپذیری متناهی و نامتناهی، قضیه نمایش دی فینتی و نقش آن در پایهگذاری مدلهای پارامتری و پیشفرضها بر اساس احتمال کاملاً ذهنی، و تعویضپذیری جزئی برای دادههای ساختاریافته است.
Core questions
- تعویضپذیر بودن یک دنباله از مشاهدات به چه معناست؟
- قضیه دی فینتی چگونه یک دنباله تعویضپذیر را به صورت مشروط مستقل و همتوزیع (i.i.d.) نمایش میدهد؟
- چرا تعویضپذیری توجیهی مبتنی بر احتمال ذهنی برای پیشفرضها (priors) و مدلهای پارامتری ارائه میدهد؟
- چگونه این ایده از طریق تعویضپذیری جزئی به دادههای ساختاریافته یا گروهبندیشده گسترش مییابد؟
Key concepts
- تعویضپذیری
- ناوردایی جایگشتی
- توزیع ترکیبکننده
- استقلال شرطی
- تعویضپذیری جزئی
- احتمال ذهنی
Key theories
- قضیه نمایش دی فینتی
- هر دنباله باینری تعویضپذیر نامتناهی را میتوان به صورت ترکیبی از دنبالههای برنولی نوشت، که معیار ترکیبکننده قابل تفسیر به عنوان یک پیشفرض (prior) بر روی احتمال موفقیت است؛ این نتیجه به فضاهای مشاهدهای گستردهتر تعمیم مییابد.
- تعویضپذیری جزئی
- هنگامی که دادهها در گروهها قرار میگیرند، تعویضپذیری در داخل گروهها فرض میشود، که مدلهای سلسلهمراتبی را توجیه میکند که در آنها پارامترهای سطح گروه خودشان تعویضپذیر هستند.
Clinical relevance
تعویضپذیری فرض مدلسازی است که امکان تجمیع اطلاعات را در واحدهای مشابه فراهم میکند و زیربنای فراتحلیل، کارآزماییهای چندمرکزی، و مدلهای سلسلهمراتبی در سراسر علوم کاربردی است.
History
دی فینتی مفهوم تعویضپذیری را معرفی کرد و قضیه نمایش خود را در دهه ۱۹۳۰ اثبات کرد، که جایگزینی مبتنی بر احتمال ذهنی برای مفهوم فراوانیگرایانه نمونهبرداری مستقل و همتوزیع (i.i.d.) ارائه داد. هیویت و سوج بعدها این قضیه را به فضاهای عمومیتر گسترش دادند.
Key figures
- Bruno de Finetti
- David Hewitt
- Leonard J. Savage
Related topics
Seminal works
- definetti1937
- bernardo1994
Frequently asked questions
- آیا تعویضپذیری همان استقلال است؟
- خیر. متغیرهای تعویضپذیر معمولاً وابسته هستند، اما قضیه دی فینتی نشان میدهد که آنها پس از معرفی یک پارامتر ناشناخته، به صورت مشروط مستقل و همتوزیع میشوند، که دقیقاً ساختار یک مدل بیزی است.