امید ریاضی
امید ریاضی (به انگلیسی: Expected value) یا مقدار چشمداشتی یا مقدار انتظاری در نظریه احتمالات، مقدارِ قابل انتظاری است از یک متغیر تصادفیِ گسسته که برابر است با مجموع حاصلضرب احتمالِ وقوع هر یک از حالات ممکن در مقدار آن حالت. در نتیجه میانگین برابر است با مقداری که بهطور متوسط از یک فرایند تصادفی با بینهایت تکرار انتظار میرود. به بیان سادهتر، امید ریاضی از یک متغیر تصادفی، مقدارِ میانگینِ تعداد دفعاتِ مشاهده شدهٔ یک وضعیت است. به عنوان مثال، در پرتاب یک سکه، برای بدست آوردن احتمال مشاهدهٔ هر سمت از یک سکه (شیر یا خط)، میتوان این کار را به دفعات زیاد انجام داد. اکنون میانگین تعداد دفعاتِ مشاهدهٔ هرکدام از حالتها (شیر یا خط)، برابر است با امید ریاضی بهطور مثال برای تاس داریم:
یعنی اگر بینهایت بار تاس را پرت کنیم، مقدار میانگین بدست آمده به سمت عدد ۳٫۵ میل خواهد کرد.
تعریف ریاضی
امید ریاضی (امید ریاضی) یک متغیر تصادفی به صورت زیر تعریف میشود:
که در آن
ویژگیها
ثابتها
امید ریاضی یک عدد ثابت برابر با همان عدد ثابت است؛ یعنی اگر
یکنوایی
اگر برای دو متغیر تصادفی
خطی بودن
عملگر امید ریاضی خطی است یعنی برای هر دو متغیر تصادفی
و یا:
میانگین احتمال شرطی
نامساوی
اگر متغیر تصادفی
اگر
در یک حالت خاص اگر
در نتیجه قدر مطلق امید ریاضی یک متغیر تصادفی، کوچکتر یا مساوی امید ریاضی قدر مطلق متغیر تصادفی است.
تعریف
متغیر تصادفی گسسته، حالت متناهی فرض کنید که متغیر تصادفی
چون جمع همهٔ احتمالات pi برابر یک است p1 + p2 + … + pk = ۱ (بنابر این میتوان مقدار مورد انتظار را به صورت میانگین وزن دار به همراه pi’sهایی که وزن هستند دید:
اگر همهٔ جوابهای xi دارای احتمال یکسان باشند (یعنی p1 = p2 = … = pk), پس میانگین وزن دار به میانگین ساده تبدیل میشود. این شهودی است: مقدار مورد انتظار یک متغیر تصادفی میانگین همهٔ مقادیری است که میتوان گرفت؛ بنابراین، این مقدار مورد انتظار، مقداری است که شما انتظار دارید روی میانگین اتفاق بیفتد. اگر جوابهای
اگر تاس n بار پرتاب شود و میانگین نتایج محاسبه شوند پس با افزایش n، میانگین به مقدار مورد انتظار همگرا خواهد بود. به این موضوع قانون قوی مقادیر بزرگ میگویند. برای مثال دنبالهٔ ده تاس به صورت ۲, ۳, ۱, ۲, ۵, ۶, ۲, ۲, ۲, ۶ است که میانگین آنها برابر ۳٫۱ با فاصلهٔ ۰٫۴ از مقدار مورد انتظار ۳٫۵ میباشند. همگرایی نسبتاً پائین است. احتمالی که میانگین در بین محدودهٔ ۳٫۵ ± ۰٫۱ افت میکند برای ده پرتاب ۲۱٫۶٪ و برای هزار پرتاب ۹۳٫۷٪ است. شکل که برای توضیح میانگینهای دنبالههای طولانیتر پرتابها نشان داده شده را ببینید و توجه کنید که چطور آنها به مقدار مورد انتظار ۳٫۵ همگرا میشوند. عموماً نسبت همگرایی را میتوان از طریق مثلاً نامساوی چبیشف و نظریهٔ بری-اسن (Berry-Esseen theorem) به سختی کمی کرد.
مثال ۲- بازی رولت شامل یک توپ کوچک و یک چرخ با ۳۸ پاکت شماره گذاری شده در اطراف لبهٔ آن است. همانطور که این چرخ میچرخد، توپ بهطور تصادفی به چرخش در میآید تا در یکی از این پاکتها متوقف شود. فرض کنید متغیر تصادفی X جواب یک شرطبندی ۱دلاری (شرط مستقیم) رانشان دهد. اگر این شرط برنده شود (که با احتمال ۱/۳۸ اتفاق میافتد)، حاصل ۳۵ دلار میشود. در غیر اینصورت بازیکن شرط را میبازد. سود مورد انتظار از این چنین شرطی به صورت زیر خواهد بود:
متغیر تصادفی گسسته، حالت قابل شمارش فرض کنیدXیک متغیر تصادفی گسستهای باشد که مقادیر x
1, x
۲, … به ترتیب با احتمالات، p
1, p
۲, … را در خود میگیرد. پس مقدار مورد انتظار این متغیر تصادفی جمع متناهی زیر میباشد:
مشروط بر اینکه این سری مطلقاً همگرا است (که این جمع باید در صورتی متناهی باشد که ما همهٔ x
i's را با مقادیر قدرمطلقشان جایگزین کنیم). اگر این سری مطلقاً همگرا نباشد می گوئیم که مقدار مورد انتظار X وجود ندارد.
برای مثال فرض کنید که متغیر تصادفی X شامل مقادیر ۱, −۲, ۳, −۴, … به ترتیب با احتمالات c/1, c/2, c/3, c/4, … ,باشد که c = 6/π یک ثابت نرمالساز است که مطمئن میسازد که مجموع احتمالات برابر یک است. پس جمع متناهی زیر همگرا است و جمعش برابر ln(2) ≃ ۰٫۶۹۳۱۵. میباشد:
با این حال صحیح نیست که ادعا کنیم مقدار مورد انتظار X با این مقدار برابر است در حقیقت E[X] وجود ندارد جون این سری مطلقاً همگرا نیست (سریهای هارمونیک را ببینید).
متغیر تصادفی پیوسته یک متغیره
اگر توزیع احتمال
تعریف عمومی عموماً اگر Xیک متغیر تصادفی تعریف شده روی یک فضای احتمال (Ω, Σ, P), باشد پس مقدار مورد انتظار X (که به صورت E[X], <X>, X or E[X], مشخص میشود) به صورت انتگرال لبسگو تعریف میشود:
وقتی که این انتگرال وجود داشته باشد، پس به صورت امید X تعریف میشود. توجه کنید که هیچ متغیر تصادفی اصلاً مقدار مورد انتظار متناهی ندارد چون ممکن نیست که این انتگرال مطلقاً همگرا باشد؛ بعلاوه برای بعضی این اصلاً تعریف نشدهاست (مثلاً توزیع کوشی). دو متغیر با توزیع احتمال یکسان، مقدار مورد انتظار یکسانی خواهند داشت در صورتی که این انتگرال تعریف شده باشد این موضوع مستقیماً از تعریف حالت گسسته پیروی میکند که اگر Xیک متغیر تصادفی ثابت باشد (یعنی X = b برای چند تا مقدار حقیقی ثابت b) پس مقدار مورد انتظارX نیز bخواهد بود. مقدار مورد انتظار یک تابع دلخواه (X, g(X, نسبت به تابع چگالی احتمال (ƒ(x از طریق ضرب داخلی ƒ و g بدست میآید.
بعضی مواقع به این قانون آماری ناخودآگاه میگویند. بااستفاده از نمایشها به صورت انتگرال ریمان – استیلتجس و انتگرالگیری جزئی میتوان این فرمول را به صورت زیر دوباره بیان کرد:
- if,
- if.
چون در این حالت ویژه، α یک عدد حقیقی مثبت را نشان میدهد پس:
به ویژه برای α = ۱ این به شکل زیر کاهش مییابد در صورتی که Pr[X ≥ ۰] = ۱, باشد (که F تابع توزیع تجمعی X است). اصطلاحات متداول
- وقتی که شخصی از قیمت مورد انتظار، ارتفاع مورد انتظار و غیره صحبت میکند یعنی اینکه مقدار مورد انتظار یک متغیر تصادفی آن یک قیمت یا یک ارتفاع و غیره است.
- وقتی که شخصی از تعداد مورد انتظار تلاشهای مورد نیاز برای موفق شدن صحبت میکند، ممکن است شخص بهطور محافظه کارانه آن را به صورت نسبت معکوس احتمال موفقیت برای اینچنین تلاشی تقریب بزند (یعنی مقدار مورد انتظار توزیع هندسی).
ویژگیها ثابتها مقدار مورد انتظار یک ثابت مساوی باخود ثابت است یعنی اگر cیک ثابت است پس E[c] = c است.
یکنوایی اگر X وY متغیرهای تصادفی هستند به طوریکه X ≤ Y است، پس E[X] ≤ E[Y].
خطی بودن عملگر مقدار مورد انتظار (یا عملگر امید ریاضی) E در مورد زیر خطی است:
توجه داشته باشید که نتیجهٔ دوم حتی اگر X از لحاظ آماری مستقل از Y نباشد، معتبر و دست است. با ترکیب نتایج حاصل از سه معادلهٔ قبلی، ما میتوانیم به نتیجهٔ زیر برسیم:
برای هر کدام از متغیرهای تصادفی Xو Y (که باید در همان فضای احتمال تعریف شوند) و هر عدد
که بدین معنی است E[X|Y](y) یک تابعY است. پس امید ریاضی x در معادلهٔ زیر صدق میکند:
بنابر این معادلهٔ زیر برقرار است:
یعنی:
طرف راست معادله به امید ریاضی مکرر اشاره دارد و گاهی اوقات قانون برج یا احتمال برج نامیده شدهاست. این پیش فرض در قانون کل امید ریاضی مورد توجه قرار گرفتهاست. امید مکرر برای متغیرهای تصادفی پیوسته در مورد متغیرهای پیوسته، نتایج ما کاملاً قابل قیاس هستند. تعریف امید ریاضی شرطی از نابرابریها، تابعهای چگالی و انتگرالها استفاده میکند تا با نابرابریها، تابعهای جزئی و مجموعها به ترتیب جایگزین کند. اما نتیجهٔ اصلی هنوز برقرار است:
نابرابریها اگر یک متغیر تصادفی x همیشه کمتر یا مساوی با متغیر تصادفی دیگری Y باشد، پس امید ریاضی (یا مقدار مورد انتظار) کمتر یا مساوی با مقدار مورد انتظار Y است. اگر X ≤ Y, است، پس E[X] ≤ E[Y]. است. به ویژه، اگر y را با |X| منطبق کنیم، میدانیم X ≤ Yو−X ≤ Y. است. از اینرو ما میدانیم E[X] ≤ E[Y] و E[-X] ≤ E[Y]. با توجه به خطی بودن امید ریاضی ما میدانیم -E[X] ≤ E[Y] است. از اینرو، مقدار مطلق امید ریاضی یک متغیر تصادفی کمتر یا مساوی با مقدار مطلق آن است:
غیر ضربی اگر تابع چگالی احتمال مشترک (یا توأم) x و y را در نظر بگیریم (مثلاً j(x,y)) پس امید ریاضی xy بدین صورت است:
بهطور کلی، عملگر مقدار مورد انتظار ضربی نیست، یعنی E[XY] لزوماً با E[X]·E[Y] مساوی نیست. در حقیقت، مقداری که نمیتواند ضرب شود، را کوواریانس مینامند:
از اینرو، این ضرب هنگامیکه Cov(X, Y) = ۰ است، برقرار است، در آن کوواریانس، XوY گفته میشود نا همبسته هستند (متغیرهای مستقل یک مورد مهم متغیرهای نا همبسته هستند). حالا اگر X و Y مستقل هستند، پس با توجه به تعریف j(x,y) = ƒ(x)g(y) در اینجا f و g در واقع PDFهای حاشیهای برای X و Yهستند. پس:
and Cov(X, Y) = ۰. مشاهده کنید که استقلال X و Y مورد نیاز است تا این معادله نوشته شود: j(x,y) = ƒ(x)g(y), و این باید دومین تساوی بالا را ثابت کند. تساوی سوم از یک کاربرد اولیه و اصلی تئوری نوبینی-تونلی پیروی میکند. ناوردایی تابعی بهطور کلی، عملگر امید ریاضی و تابعهای متغیرهای تصادفی تبدیل نیم شوند یعنی:
یک نا تساوی مهم برای این موضوع نا تساوی جنسن است، که شامل مقدارهای مورد انتظار تابعهای محدب میشود. استفادهها و کاربردها مقدارهای مورد انتظار توانهای Xگشتاورهای Xمینامند؛ گشتاورها نزدیک به میانگین X در واقع مقدارهای مورد انتظار توانهای X − E[X] هستند. گشتاورهای بعضی از متغیرهای تصادفی میتوانند برای تعیین توزیعهایشان از طریق تابع تولیدی گشتاوریشان استفاده شوند. برای تخمین تجربی مقدار مورد انتظار یک متغیر تصادفی، ما بهطور پیوسته مشاهدات متغیر را اندازهگیری میکنیم و میانگین حسابی نتایج را محاسبه میکنیم. اگر مقدار مورد انتظار وجود دارد، این فرایند مقدار مورد انتظار حقیقی را با یک شیوهٔ غیر تعصبی و غیر طرفدارانه را تخمین میزند و ویژگی به حداقل رساندن مجموع مربعهای باقیماندهها دارد (جمع تفاضلهای مربع بین مشاهدات و تخمین) قانون اعداد بزرگ نشان داد که تحت شرایط نسبتاً مناسب، هنگامیکه اندازهٔ نمونه بزرگتر میشود واریانس این تخمین کوچکتر میشود. این ویژگی در بسیار از مصارف استفاده میشود مانند: مسائل کلی تخمین آماری و آموزش ماشین، بریا تخمین مقدارهای (احتمالی) سود از طریق متود ها/روشهای مونت کارلو، زیرا اکثر مقدارهای (کمیتهای) سود میتواند از لحاظ امید ریاضی نوشته شوند یعنی، در اینجا تابع شاخصی برای مجموعهٔ است. در مکانیک کلاسیک، مرکز جرم یک مفهوم مشابه امید ریاضی است. برای مثال، فرض کنید X یک متغیر تصادفی گسسته با مقدارهای xi و احتمالات مرتبط pi است، حالا یک میلهٔ بدون وزن که بر روی آن وزنها در موقعیتهای xi در طول میله قرار گرفتهاند و جرم آنها pi است (که مجموع آنها یک است) نقطه که در آن میله متعادل E[X] است. مقدارهای مورد انتظار میتوانند همچنین برای محاسبهٔ واریانس به وسیلهٔ فرمولهای محاسباتی واریانس استفاده شوند.
یک کاربرد بسیار مهم مقدار مورد انتظار در زمینهٔ مکانیک کوانتوم است. مقدار مورد انتظار یک عملگر (یا اپراتور) مکانیکی کوانتوم
از این در ماتریسهای کوواریانس استفاده میشود
فرمولها برای حالتهای ویژه
توزیع گسسته ای که فقط مقادیر صحیح غیر منفی را میگیرد
وقتی که یک مقدار تصادفی فقط مقادیر داخل
اثبات:
با مبادلهٔ توان مجموع همانطور که ادعا میکردیم، داریم:
این جواب میتواند یک میانبر محاسباتی مفید باشد. برای مثال فرض کنید که ما یک سکهای را بالا میاندازیم که احتمال عدد آمدن آن pباشد. با چند پرتاب میتوان اولین خطها (نه آنهایی که شامل خود خط هستند) را انتظار داشت؟ فرض کنید X این تعداد را نشان دهد. توجه کنید که ما فقط دنبالهها را میشماریم و خطهایی که آزمایش را پایان میدهند را نمیشماریم. ما میتوانیم داشته باشیم که X = ۰. امید Xرا میتوان از طریق محاسبه کرد. این بدین خاطر است که تعداد پرتابهای سکه حداقل دقیقاً i هستند (در زمانی که اولین پرتابهای i دنبالهها را بدست آوردهاست). این امر، امید یک متغیر تصادفی را با یک توزیع نمایی منطبق میسازد. ما از این فرمول برای تصاعد هندسی استفاده کردیم:
توزیع پیوستهای که مقادیر غیر منفی را میگیرد مثل حالت گسستهای که قبلاً گفته شده وقتی که یک متغیر تصادفی پیوستهای مثلX فقط مقادیر غیر منفی را میگیرد پس میتوانیم از فرمول زیر برای محاسبهٔ امیدش استفاده کنیم (حتی وقتی که امید نامتناهی باشد):
- <>
\operatorname{E}(X)=\int_0^\infty P(X \ge x)\; dx </math>
اثبات: ابتدا فرض کنید که X یک چگالی برابر
- با استفاده از انتگرالگیری جزئی (حالت ویژهای از بخش ۱٫۴ بالا):
و کروشهٔ آن به صفر میرسد چون
- با استفاده از یک مبادله در مرتبهٔ انتگرالگیری:
در حالتی که هیچ چگالی وجود نداشته باشد دیده میشود که:
تاریخ نظریهٔ مقدار مورد انتظار در اواسط قرن هفدهم از مطالعه مشکل معروف امتیازات منشأ گرفتهاست. مشکل این بود: چگونه باید پولهای شرطبندی شده را بهطور عادلانه بین دو بازیکنی که قبل از اینکه بازی کاملاً تمام شود مجبور هستند بازی را تمام کنند تقسیم کرد؟ این مشکل قرنها مورد بحث و بررسی قرار گرفت و راه حلها و پیشنهادهای جنجالبرانگیز زیادی پیشنهاد شدند. این نظریه برای اولین بار توسط یک نجیبزاده ی فرانسوی دومر ((de Mere در سال ۱۶۵۴ به بلیز پاسکال ارائه شد. دومر اظهار نظر کرد که این مشکل نمیتواند حل شود و این نشان میدهد ریاضی نمیتواند در دنیای واقعی استفاده شود و کمبود دارد. پاسکال، که یک ریاضیدان بود، برانگیخته شد و تصمیم گرفت این مشکل را برای همیشه حل کند. اولین موضوع را از طریق نامههای معروفی با پیر دو فرما (Pierre de fermat) در میان گذاشت. بعد از مدت زمان کوتاهی هر دوی آنها به دو راه حل مجزا رسیدند. آنها این مشکل را با دو راه حل محاسباتی متفاوت حل کردند، اما نتیجهٔ آنها یکسان بود زیرا محاسبات شان بر اساس اصول پایه و اساسی یکسانی بود. این اصل پایه این بود که مقدار یک یود آینده باید مستقیماً با شانس به دست آوردن آن مساوی باشد. این اصل به نظر هر دوی آنها کاملاً طبیعی بود. آنها از اینکه به راه حل رسیده بودند بسیار خوشحال بودند و از اینرو این باعث شد آنها متقاعد شوند بالاخره این مشکل را توانستهاند حل کنند. با این حال آنها یافتههایشان را منتشر نکردند. آنها تنها به تعدادی از دوستان مشترک محققشان در پاریس اطلاع دادند. سه سال بعد در سال ۱۶۵۷ یک ریاضیدان آلمانی کریستیان هیگنز، که به پاریس سفر کرده بود، یک مقاله در مورد نظریهٔ احتمال با نام (de ratiociniis in ludo ale) چاپ کرد. در آن مقاله هیگنز مسئله امتیازات را در نظر گرفته بود و یک راه حل بر اساس همان اصلی که پاسکال و فرما دنبال کرده بودند پیشنهاد کرد. او همچنین نظریه امید را با اضافه کردن قوانین مربوط به چگونه محاسبه کردن امیدها در موقعیتهای پیچیدهتر از مسئلهٔ اصلی، گسترش داد. هینگز در مقدمهٔ مقاله اش نوشت: باید گفته شود که بریا بعضی مواقع، بعضی از بهترین ریاضی دانان از فرانسه قبلاً به حل آن پرداخته بودند بنابراین هیچکس نباید افتخار ابداع این نظریه را به من نسبت دهد. این به من تعلق ندارد. اما این دانشمندان، اگر چه هر دو یکدیگر را از طریق پرسیدن سوالات دشوار از یکدیگر در معرض آزمایش قرار داده بودند ولی روشهایشان را از هم پنهان کرده بودند. از اینرو من از همان اصول اولیه شروع کردم تا به حل این مسئله رسیدم و بدین دلیل غیرممکن است تأیید کنم که از همان اصول آنها آغاز به کار کردم. اما در نهایت من در بسیاری از موارد بدین نتیجه رسیدم که پاسخهایم با آنها متفاوت هستند. از اینرو هیگنز در طی سفرش به فرانسه از اظهار نظر دومر در سال ۱۶۵۵ مطلع شد، بعداً در سال ۱۶۵۶ از طریق ارتباط با کارکاوی دریافت که روش او کاملاً همانند پاسکال است، بنابراین قبل از اینکه مقاله اش برای چاپ برود، او از ارجحیت و پیش قدمی پاسکال در این زمینه آگاه بود. پاسکال و هیگنز هیچکدام کلمهٔ امید را با مفهوم امروزی استفاده نکردند. به خصوص شانس یا امید من برای بردن هر چیزی مساوی با به دست نیاوردن آن است… اگر من انتظار دارم a یا b را به دست بیاورم، شانس بدست آوردن هر کدام از آنها مساوی است، مقدار امید من (a+b)/2 است. بیش از صد سال قبل، در سال ۱۸۱۴ پیرسایمون لاپلاس مقالهٔ خود را با عنوان "Théorie analytique des probabilités" منتشر کرد، در آنجا مفهوم مقدار مورد انتظار (یا امید ریاضی) بهطور واضح توضیح داده شد. استفاده از حرف E به معنی مقدار مورد انتظار است که به نظریهٔ انتخاب و شانس دابیلیو. ای وایت ورت بر میگردد این سمبل در زمانی که بریا همهٔ نویسندگان انگلیسی، آلمانی و فرانسوی E به معنی انتظار شد.
جستارهای وابسته
منابع
- ↑ «مقدار چشمداشتی» [شیمی، فیزیک] همارزِ «expectation value»؛ منبع: گروه واژهگزینی. جواد میرشکاری، ویراستار. دفتر پنجم. فرهنگ واژههای مصوب فرهنگستان. تهران: انتشارات فرهنگستان زبان و ادب فارسی. شابک ۹۷۸-۹۶۴-۷۵۳۱-۷۶-۴ (ذیل سرواژهٔ مقدار چشمداشتی)
- ↑ Sheldon M Ross. "§3.4: Computing expectations by conditioning". cited work. p. 105 ff. ISBN 0-12-598062-0.
مشارکتکنندگان ویکیپدیا. «Expected value». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۱۹ فوریه ۲۰۰۸.
- Casella، George؛ Berger، Roger L. (۲۰۰۱). «۱». Statistical Inference. Duxbury Press. شابک ۰۵۳۴۲۴۳۱۲۶.