فضای احتمال

در نظریه‌ی احتمال، فضای احتمال یا احتمال سه‌گانه $(\Omega ,{\mathcal {F}},P)$، ساختار ریاضی‌ای است که یک مدل رسمی از یک فرآیند تصادفی یا «آزمایش» را ارائه می‌کند. به عنوان مثال، می‌توانیم فضای احتمالی را تعریف کنیم که پرتاب یک تاس را مدل می‌کند.

یک فضای احتمال از سه عنصر تشکیل شده است:

1. فضای نمونه یا $\Omega$ که مجموعه‌ای از تمام نتایج ممکن است.
2. فضای پیشامد یا فضای رویداد که مجموعه‌ای از پیشامدها یا ${\mathcal {F}}$ است. یک پیشامد مجموعه‌ای از نتایج در فضای نمونه است.
3. تابع احتمال یا $P$ که به هر پیشامد در فضای رویداد یک احتمال اختصاص می‌دهد و عددی بین 0 و 1 است.

به منظور ارائه‌ی یک مدل معقول از احتمالات، این عناصر باید بعضی از اصولی که در این مقاله به تفصیل شرح داده شده‌است را برآورده کنند.

در مثال پرتاب یک تاس استاندارد، فضای نمونه‌ی $\{1,2,3,4,5,6\}$ را در نظر می گیریم. برای فضای رویداد، ما به سادگی می توانیم از مجموعه‌ی تمام زیرمجموعه‌های فضای نمونه استفاده کنیم که شامل رویدادهای ساده‌ای مانند $\{5\}$ (تاس عدد ۵ آمده‌است.) و همچنین رویدادهای پیچیده‌ای مانند $\{2,4,6\}$ (تاس عددی زوج آمده‌است.) است. در نهایت برای تابع احتمال، ما هر رویداد را به تعداد پیشامدهای آن رویداد تقسیم می‌کنیم. در مثال ما تعداد پیشامدها ۶ عدد می‌باشد پس $\{5\}$ به $1/6$ و $\{2,4,6\}$ به $3/6=1/2$ نظیر می‌شود.

هنگامی که یک آزمایش انجام می‌شود، تصوّر می‌کنیم که «طبیعت» یک نتیجه‌ی یکسان $\omega$ را از فضای نمونه‌ی $\Omega$ «انتخاب» می‌کند. به همه‌ی پیشامد‌هایی که در فضای پیشامد${\mathcal {F}}$ (که فضای پیشامد حاوی نتیجه‌ی انتخاب شده‌ی $\omega$ است.) هستند گفته می‌شود که «روی داده‌اند». این «انتخاب» به این صورت اتّفاق می‌افتد که اگر آزمایش بارها تکرار می‌شد، تعداد وقوع هر رویداد، به عنوان کسری از تعداد کلّ آزمایش‌ها، به احتمال زیاد به سمت احتمالی که توسّط تابع احتمال $P$ به آن رویداد اختصاص داده می‌شود، میل می‌کند.

آندری کولموگروف، ریاضی‌دان روسی، مفهوم فضای احتمال را همراه با دیگر اصول احتمال در دهه‌ی 1930 معرّفی کرد. در نظریه‌ی احتمال مدرن، تعدادی رویکرد جایگزین برای بدیهی‌سازی وجود دارد. برای مثال جبر متغیّرهای تصادفی.

معرّفی

فضای احتمال برای پرتاب یک تاس دو بار متوالی: فضای نمونه‌ی $\Omega$ شامل تمام ۳۶ نتیجه‌ی ممکن است. سه رویداد مختلف (چند ضلعی‌های رنگی) با احتمالات مربوط به آن‌ها نشان داده شده‌اند (با فرض توزیع یکنواخت گسسته).

فضای احتمال یک سه‌گانه‌ی ریاضی $(\Omega ,{\mathcal {F}},P)$ است که مدلی را برای کلاس خاصّی از موقعیّت‌های دنیای واقعی ارائه می‌دهد. مانند مدل‌های دیگر، در نهایت نویسنده‌ی آن تعریف می‌کند که کدام عناصر $\Omega$، ${\textstyle {\mathcal {F}}}$ و $P$ شامل خواهند شد.

• فضای نمونه‌ی $\Omega$ مجموعه‌ای از تمام نتایج ممکن است. یک نتیجه، حاصل اجرای یک‌بار مدل می‌باشد. نتایج ممکن است حالت‌های طبیعی، احتمالات، نتایج تجربی و موارد مشابه باشند. هر نمونه از وضعیّت دنیای واقعی (یا اجرای آزمایش) باید دقیقاً یک نتیجه ایجاد کند. اگر نتایج اجراهای متفاوت آزمایش در مواردی که مهم است، متفاوت باشد، آنگاه آن آزکایش‌ها نتایج متمایز هستند. اینکه کدام موارد مهم هستند به نوع تحلیلی که می‌خواهیم انجام دهیم بستگی دارد. این منجر به انتخاب‌های متفاوت از فضای نمونه می‌شود.
• جبر سیگمای ${\textstyle {\mathcal {F}}}$ مجموعه‌ای از تمام پیشامدهایی است که می‌خواهیم در نظر بگیریم. این مجموعه ممکن است شامل هر یک از رویدادهای ابتدایی باشد یا باشد. در اینجا، یک «رویداد» مجموعه‌ای از صفر نتيجه یا تعداد نتایج بیشتر است. یعنی یک «رویداد» زیرمجموعه‌ای از فضای نمونه است. در طول یک آزمایش زمانی یک رویداد «اتفاق افتاده» است که نتیجه‌ی آزمایش یکی از عناصر آن رویداد باشد. یک نتیجه ممکن است عضو تعداد زیادی از رویدادها باشد، پس این امکان وجود دارد که با یک نتیجه یکسان، چند رویداد اتّفاق افتاده باشد. به عنوان مثال، وقتی آزمایش شامل پرتاب دو تاس است، مجموعه‌ی تمام نتایج با مجموع ۷ می‌تواند یک رویداد را تشکیل دهد و همین‌طور نتایج با مجموع فرد نیز می‌تواند رویداد دیگری باشد. اگر نتیجه، عدد ۲ به روی تاس اوّل و عدد ۵ به روی تاس دوم باشد، گفته می‌شود که هر دو رویداد «مجموع ۷» و «مجموع فرد» اتّفاق افتاده‌است.
• اندازه‌گیری احتمال $P$ یک تابع است که احتمال یک رویداد را برمی‌گرداند. احتمال یک رویداد عددی حقیقی بین صفر (رویدادهای غیرممکن احتمال صفر دارند، اگرچه رویدادهای با احتمال صفر لزوماً غیر ممکن نیستند.) و یک (رویدادهایی که قریب به یقین اتفاق می‌افتند، تقریباً با اطمینان کامل) است. بدین ترتیب $P$ یک تابع است به طوری که $P:{\mathcal {F}}\to [0,1]$. تابع اندازه‌گیری احتمال باید دو شرط ساده را برآورده کند: اول آنکه احتمال یک مجموعه‌ی شمارا از رویدادهای دو به دو مجزّا باید برابر با مجموع قابل شمارش احتمال هر یک از آن رویدادها باشد. به عنوان مثال، احتمال مجموعه‌ی مجزّای وقایع ${\text{Head}}$ و ${\text{Tail}}$ در آزمایش تصادفی پرتاب یک سکّه، $P({\text{Head}}\cup {\text{Tail}})$، برابر با مجموع احتمال برای ${\text{Head}}$ و احتمال برای ${\text{Tail}}$ می‌باشد، $P({\text{Head}})+P({\text{Tail}})$. دوم آنکه احتمال فضای نمونه‌ی $\Omega$ باید برابر با ۱ باشد (که نشان‌دهنده‌ی آن است به هنگام اجرای مدل، برخی از نتایج باید رخ بدهد.). در مثال قبلی احتمال مجموعه‌ای از نتایج $P(\{{\text{Head}},{\text{Tail}}\})$ باید برابر با یک باشد، زیرا کاملاً مسلّم است که در یک پرتاب سکّه، نتیجه یا ${\text{Head}}$ خواهد بود یا ${\text{Tail}}$ (این مدل از هر امکان دیگری صرف نظر می‌کند).

هر زیرمجموعه‌ای از فضای نمونه‌ی $\Omega$ نباید لزوماً یک رویداد در نظر گرفته شود. برخی از زیرمجموعه‌ها به سادگی مورد بحث نیستند یا برخی دیگر را نمی‌توان «اندازه گیری» کرد. این موضوع در مورد پرتاب سکّه چندان واضح نیست. در مثالی دیگر، می‌توان طول پرتاب نیزه را در نظر گرفت. در این مثال پیشامدها معمولاً فواصلی بین ۶۰ تا ۶۵ متر یا چنین فواصلی هستند در حالی که پیشامدهای ما مجموعه‌هایی مانند اعداد گنگ بین ۶۰ تا ۶۵ متر نیستد.

تعریف

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