در صورتی که دنبالهای بینهایت از متغیرهای تصادفی داشته باشیم، و به ازای هر جایگشت دلخواه تعداد محدودی از از آنها را جابجا کنیم، و دنبالهٔ جدیدی درست کنیم
توزیع مشترک دنبالهٔ جدید عیناً برابر با توزیع مشترک دنباله قبل از جابجایی باشد.
مجموعهای از متغیرهای تصادفی که IID متغیرهای تصادفی مستقل با توزیع یکسان مشروط بر فرض دانستن اطلاعات توزیع، تعویض پذیر هستند. این نتیجه مستقیماً از تعریف دنبالهٔ تعویض پذیر بر اساس توزیع مشترک بدست میآید. یا به عبارت دیگر میتوان یک دنبالهٔ تعویض پذیر را معادل با یک دنبالهٔ IID مشروط به ساختار توزیعی آنها تعریف کرد. توجه باید کرد که این مسئله تنها در مورد دنباله با طول بینهایت صادق است.
یک دنبالهٔ تعویض پذیر با طول بینهایت، اکیداً ایستا است و قانون اعداد بزرگ به فرم نظریه ارگودیک (Birkhoff-Khinchin theorem) در مورد آن صدق میکند. یعنی میتوان با نسبت دادن توصیفی برای توزیع دادهها، خطای تجمعی نمونهها اکیداً محدود کرد. هرچه نمونههای واقعی به نمونههای تعویض پذیر شباهت بیشتری داشته باشند، این استدلال واقعی تر است.
می توان توصیف ریاضی مفاهیم بالا را اینگونه بیان کرد. فرض کنیم دنبالهٔ بینهایت را داشته باشیم، توزیع نمونهای را اینگونه تعریف میکنیم
اگر دنباله تعویض پذیر باشد، بدین معنی است که المانهای از هم مستقل هستند. این بدی معنی است که میتوان توزیع مشترک هر زیر مجموعهای از متغیرها به این صورت جدا کرد:
گلدان پلیا یک نمونه کلاسیک تعویض پذیری است. فرض کنید ما یک گلدان داریم که حاوی توپ سفید و توپ سیاه است. هر بار یک توپ را کاملا به صورت تصادفی از گلدان برمیداریم رنگ آن را را ثبت کرده و توپ را به همراه یک توپ دیگر به همان رنگ به گلدان برمیگردانیم. هر بار که یک توپ جدید از گلدان برمیداریم یک متغیر تصادفی به اسم برای رنگ توپ تعریف میکنیم. اگر رنگ توپ سیاه باشد و در غیر اینصورت . هر چه متغیرهای تصادفی قبل از بیشتر یک باشد، احتمال اینکه نیز یک شود بیشتر خواهد شد، چه که توپهای سیاه بیشتری به گلدان اضافه شدهاند. از این رو این متغیرها نسبت به هم مستقل نیستند، اما همانطور که در پایین نشان خواهیم داد این متغیرها تعویضپذیرند[۱].
فرض کنیم که بار از گلدان توپ برداریم، و از این دفعه بار توپ سیاه و بار توپ سفید دیده باشیم. بار اول تعداد توپهای گلدان است، بار دوم این تعداد خواهد بود الی آخر. پس در دفعه ام، تعداد توپهای ما خواهد بود. حال فرض کنیم که تمام توپهای سیاه را قبل از توپهای سفید دیده باشیم، احتمال این رویداد عبارت پایین میشود:
حال باید ثابت کنیم که اگر ترتیب توپهای سیاه و سفید به صورت دلخواه عوض شوند تغییری در احتمال نهائی پیش نخواهد آمد. همانطور که در خط بالا میبینیم مخرج کسرها با تغییر ترتیب توپها تغییر نخواهد کرد، همیشه در دور ام مخرج کسر ما خواهد بود، زیرا در این دور این تعداد توپ در گلدان است. اگر امین توپ سیاه را در دور ببینم احتمال با برابر خواهد بود، یعنی صورت احتمال با برابر خواهد شد. با استدلالی مشابه میتوان صورت احتمال برای توپهای سفید را هم محاسبه کرد. ازین رو احتمال نهائی با عبارت پایین برابر خواهد شد (حاصلضرب مخرجها در حاصلضرب صورتها برای توپهای سیاه در حاصلضرب صورتها برای توپهای سفید):
این احتمال به ترتیب دیدن توپهای سیاه و سفید مربوط نمیشود و فقط به تعدا کل توپهای سفید و تعداد کل توپهای سیاه بستگی دارد. ازین رو این احتمال تعویضپذیر است[۱].
Aldous, David J.، Exchangeability and related topics، in: École d'Été de Probabilités de Saint-Flour XIII — 1983, Lecture Notes in Math. 1117, pp. 1–198, Springer, Berlin, 1985. ISBN978-3-540-15203-3doi:10.1007/BFb0099421
Borovskikh, Yu. V. (1996). U-statistics in Banach spaces. Utrecht: VSP. pp. xii+420. ISBN90-6764-200-2. MR1419498.
Chow, Yuan Shih and Teicher, Henry، Probability theory. Independence, interchangeability, martingales، Springer Texts in Statistics, 3rd ed.، Springer, New York, 1997. xxii+488 pp. ISBN 0-387-98228-0