نمایش مبدأ برای فضای احتمال

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

یک فضای احتمال از سه عنصر تشکیل شده است: <ref>Loève, Michel. Probability Theory, Vol 1. New York: D. Van Nostrand Company, 1955.</ref> <ref>Stroock, D. W. (1999). Probability theory: an analytic view. Cambridge University Press.</ref>

# '''[[فضای نمونه]]''' یا <math>\Omega</math> که مجموعه‌ای از تمام [[نتیجه (احتمال)|نتایج]] ممکن است.
# '''فضای پیشامد''' یا '''فضای رویداد''' که مجموعه‌ای از [[پیشامد|پیشامدها]] یا <math>\mathcal{F}</math> است. یک [[پیشامد]] مجموعه‌ای از [[نتیجه (احتمال)|نتایج]] در فضای نمونه است.
# '''تابع احتمال''' یا <math>P</math> که به هر [[پیشامد]] در فضای رویداد یک [[احتمال]] اختصاص می‌دهد و عددی بین 0 و 1 است.

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

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

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

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

== معرّفی ==
[[پرونده:Dice_measure.svg|بندانگشتی|400x400پیکسل| فضای احتمال برای پرتاب یک [[تاس (وسیله بازی)|تاس]] دو بار متوالی: فضای نمونه‌ی <math>\Omega</math> شامل تمام ۳۶ نتیجه‌ی ممکن است. سه رویداد مختلف (چند ضلعی‌های رنگی) با احتمالات مربوط به آن‌ها نشان داده شده‌اند (با فرض [[توزیع یکنواخت گسسته]]).]]
فضای احتمال یک سه‌گانه‌ی ریاضی <math>(\Omega, \mathcal{F}, P)</math> است که [[مدل ریاضی|مدلی]] را برای کلاس خاصّی از موقعیّت‌های دنیای واقعی ارائه می‌دهد. مانند مدل‌های دیگر، در نهایت نویسنده‌ی آن تعریف می‌کند که کدام عناصر <math>\Omega</math>، <math display="inline">\mathcal{F}</math> و <math>P</math> شامل خواهند شد.

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

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

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

== منابع ==
{{پانویس|چپ‌چین=بله}}

[[رده:نظریه احتمالات]]
[[رده:آزمایش (نظریه احتمال)]]