فضاء احتمالي/لغة الاحتمال

لغة الاحتمال

تجارب وأحداث عشوائية

تجربة عشوائية

من أمثلة التجارب العشوائية ذات فضاء حوادث $\mathrm{\Omega }$ منته : ألعاب الورق، رمي قطعة نقدية، ألعاب الحظ، اليانصيب. لكن $\mathrm{\Omega }$ قد يكون أكثر تعقيدا بكثير.

أمثلة فضاء الحوادث $\mathrm{\Omega }$ :

• رمي قطعتان نقديتان : $\mathrm{\Omega }=\{PP,PF,FP,FF\}$ ، بحيث نرمز لظهور الوجه الذي يحمل الصورة (الرأس) بـ $F$ (face أو $H$ head)، والوجه الذي يحمل الكتابة (الذيل) بـ $P$ (pile أو $T$ tail).
• رمي نرد : $\mathrm{\Omega }=\{1,2,3,4,5,6\}$
• رمي سهم على هدف دائري قُطره 30 سنتيمتر. تتمثل التجربة في وصف اصطدام السهم في معلم متعامد ممنظم مركزه هو مركز الهدف : $\mathrm{\Omega }=\{(x,y),\sqrt{x^2+y^2}\le 15\}$
• مدة حياة مصباح كهربائي : $\mathrm{\Omega }=[0,+\mathrm{\infty }[$
• في مسرحية روميو وجولييت، روميو ينتظر جولييت التي وعدته أنها ستأتي بين منتصف الليل والساعة الواحدة ليلا. مدة الانتظار : $\mathrm{\Omega }=[0,1]$
• في طريق سيار، مدة مرور العربات في محطة الأداء : $\mathrm{\Omega }=({ℝ}_{+}{)}^{\mathbb{N}}$
• لمراقبة ثمن أصل مالي في فترة زمنية $[t_1,t_2]$ نأخذ $\mathrm{\Omega }$ يساوي $C([t_1,t_2],{ℝ}_{+})$ ، مجموعة الدوال المتصلة على $[t_1,t_2]$ ، والتي تأخذ قيما حقيقية موجبة.
• لدراسة سرعة جُزيئة في غاز نادر (أو غاز نبيل) خلال فترة زمنية $[t_1,t_2]$ نأخذ $\mathrm{\Omega }$ يساوي مجموعة الدوال المتصلة على اليمين والقابلة لنهاية على اليسار في $[t_1,t_2]$ والتي تأخذ قِيَمَها في ${ℝ}^3$

كما نرى في الأمثلة السابقة، يختلف الفضاء $\mathrm{\Omega }$ بشكل كبير من حيث البنية، من تجربة إلى أخرى. وبذلك نُدرك أهمية وضع نظرية غنية تشمل كل هذه الحالات.

سوف نرى لاحقا أن النموذج الرياضي المُجرَّد الذي سنُنشؤه، سيجعلنا نتتحرر من كون أن $\mathrm{\Omega }$ يصف بشكل دقيق جميع النتائج الممكنة للتجربة.

حوادث عشوائية

قالب:تعريف أمثلة :

• إذا كانت التجربة هي رمي نردين،
  • فإن $\}$ مجموع النردين أصغر من 4 $A=\{$ حدث عشوائي.
  • بينما المجموعة $\}$ رقم نتيجة النرد الأول أصغر من 4 $B=\{$ ليست حدثا عشوائيا إذا كان $\mathrm{\Omega }$ يحتوي فقط على نتائج السحب بدون ترتيب.
• في مسرحية روميو وجولييت، المجموعة "جولييت تنتظر أكثر من ثلاثة أرباع الساعة" هي الحدث العشوائي $]3/4,1]$
• في مراقبة ثمن أصل مالي خلال الفترة $[t_1,t_2]$ ، المجموعة "الثمن أصغر من عتبة $\alpha$" : $A=\{\omega \in C([t_1,t_2],ℝ),\underset{t\in [t_1,t_2]}{\sup }|\omega (t)|\le \alpha \}$ حدث عشوائي.

وبالتالي، الحوادث العشوائية هي مجموعات. سنستعمل إذن نظرية المجموعات، وبالخصوص العمليات الأولية على المجموعات، لوصف مختلف إمكانيات تحقق الحوادث.

المجموعات - تذكير

نعتبر مجموعة $\mathrm{\Omega }$ ، أي تشكيلة من الكيانات تُسمى عناصر $\mathrm{\Omega }$ ، أو نقط من $\mathrm{\Omega }$.

نرمز لانتماء نقطة $\omega$ إلى المجموعة $\mathrm{\Omega }$ بـ $\omega \in \mathrm{\Omega }$ . بينما $\omega \notin \mathrm{\Omega }$ تعني أن $\omega$ لا ينتمي إلى $\mathrm{\Omega }$.

كل جزء $A$ من $\mathrm{\Omega }$ هو بذاته مجموعة، وتُسمى مجموعة جزئية من $\mathrm{\Omega }$. ونقول $A$ مضمونة في $\mathrm{\Omega }$ ، ونكتب $A\subset \mathrm{\Omega }$

لنُذكّر بالعمليات الأولية على المجموعات الجزئية :

• التقاطع قالب:ترجمة مصطلح : $A\cap B$ هي تقاطع المجموعتين $A$ و $B$ ، أي مجموعة النقط التي تنتمي إلى $A$ و $B$ معا.
• الاتحاد قالب:ترجمة مصطلح : $A\cup B$ هي اتحاد المجموعتين $A$ و $B$ ، أي مجموعة النقط التي تنتمي على الأقل إلى إحدى المجموعتين.
• المجموعة الفارغة قالب:ترجمة مصطلح : مجموعة لا تحتوي على أي عنصر. يُرمز لها ب $\mathrm{\varnothing }$
• مجموعات متفارقة قالب:ترجمة مصطلح : نقول أن المجموعتين $A$ و $B$ متفارقتان إذا كان $A\cap B=\mathrm{\varnothing }$
• المجموعة المُكَمِّلة قالب:ترجمة مصطلح : إذا كان $A\subset \mathrm{\Omega }$ ، فإن مجموعتها المكملة (في $\mathrm{\Omega }$) هي مجموعة نقط $\mathrm{\Omega }$ التي لا تنتمي إلى $A$. يُرمز لها بـ $A^c$ وأحيانا بـ $\mathrm{\Omega }\mathrm{\setminus }A$ . المجموعتان $A$ و $A^c$ متفارقتان.
• الفرق قالب:ترجمة مصطلح : إذا كان $A$ و $B$ مجموعتان جزئيتان من $\mathrm{\Omega }$ ، فإن $A\mathrm{\setminus }B$ تَرمُز إلى مجموعة النقط التي تنتمي إلى $A$ و لا تنتمي إلى $B$. وبالتالي $A\mathrm{\setminus }B=A\cap B^c$

التقاطع والاتحاد عمليات تبديلية (أو تبادلية) وتجميعية : لدينا $A\cup B=B\cup A$ و $A\cap B=B\cap A$ ، ولدينا كذلك $A\cup (B\cup C)=(A\cup B)\cup C$ و $A\cap (B\cap C)=(A\cap B)\cap C$ ، مجموعات نرمز لها طبيعيا $A\cup B\cup C$ و $A\cap B\cap C$

بصفة عامة، إذا اعتبرنا أُسرة $(A_i{)}_{i\in I}$ من المجموعات، مُؤَشَّرَة (indexed) بمجموعة ما $I$، فإن ${\cup }_{i\in I}{A}_i$ تعني اتحاد هذه الأسرة، أي مجموعة النقط التي تنتمي على الأقل إلى إحدى المجموعات $A_i$ . وبالمثل، ${\cap }_{i\in I}{A}_i$ تعني تقاطع هذه الأسرة، أي مجموعة النقط التي تنتمي إلى جميع المجموعات $A_i$ . في الحالتين، ترتيب التأشير (indexation) في $A_i$ لا يهم.

تجزئة مجموعة $\mathrm{\Omega }$ قالب:ترجمة مصطلح هي مجموعة من أجزاء $\mathrm{\Omega }$، غير فارغة وغير متقاطعة، تغطي $\mathrm{\Omega }$ كليا. يعني هي أُسرة $(A_i{)}_{i\in I}$ حيث المجموعات $A_i$ متفارقة مثنى مثنى ($A_i\cap A_j=\mathrm{\varnothing },\mathrm{\forall }i,j$)، و ${\cup }_{i\in I}{A}_i=\mathrm{\Omega }$

النموذج المجموعاتي للحوادث العشوائية

بما أن الحوادث العشوائية هي مجموعات (نُذَكر أن كل جزء من $\mathrm{\Omega }$ يُمثِل مجموعة جزئية من النتائج الممكنة للتجربة)، فإن بإمكاننا تطبيق العمليات على المجموعات المذكورة أعلاه. إذن هناك تطابق بين العمليات على المجموعات والحوادث العشوائية.

نعتبر $A$ و $B$ حدثان عشوائيان، نُعرف الحوادث الآتية :

• الحدث المضاد قالب:ترجمة مصطلح : يُرمز لتحقق الحدث المضاد لـ $A$ بـ $A^c$ : نتيجة التجربة لا تنتمي إلى $A$.
• الحدث "تَحَقُّق $A$ و $B$" قالب:ترجمة مصطلح يُمَثَّلُ بـ $A\cap B$ : تنتمي نتيجة التجربة إلى $A$ و $B$ معا.
• الحدث "تَحَقُّق $A$ أو $B$" قالب:ترجمة مصطلح يُمَثَّلُ بـ $A\cup B$ : تنتمي نتيجة التجربة إلى $A$ أو $B$ (إحدى المجموعتان، أو هما معا).
• الاستلزام قالب:ترجمة مصطلح : تَحَقُّق الحدث $A$ يؤدي إلى تَحَقُّق الحدث $B$، ونكتب $A\subset B$ .
• الحوادث المتضادة قالب:ترجمة مصطلح : إذا كان $A\cap B=\mathrm{\varnothing }$ ، نقول أن الحدثان $A$ و $B$ متضادان. لا يُمكن لنتيجة التجربة أن تكون في نفس الوقت في $A$ وفي $B$ معا.
• الحدث المؤكد قالب:ترجمة مصطلح : الحدث $\mathrm{\Omega }$ حدث مؤكد. كل نتائج التجربة تنتمي إلى $\mathrm{\Omega }$ .
• الحدث المستحيل قالب:ترجمة مصطلح : الحدث $\mathrm{\varnothing }$ حدث مستحيل.

نرمز بـ $𝒜$ لمجموعة جميع الأحداث. تُمثل $𝒜$ المعلومة التي يُمكن الحصول عليها انطلاقا من نتائج التجربة. يُمكننا أخذ $𝒜=𝒫(\mathrm{\Omega })$ مجموعة المجموعات الجزئية لـ $\mathrm{\Omega }$ ، لكن ليس بالضرورة، كما سنرى لاحقا.

ملاحظة هامة :

لكل يكون النموذج متناسقا مع الحدس، يجي أن يكون $𝒜$ مستقرا بالعمليات على المجموعات : إذا كان $A,B\in 𝒜$ ، فإن $A\cap B\in 𝒜$ و $A\cup B\in 𝒜$ و $A^c\in 𝒜$ ، وكذلك $\mathrm{\Omega }\in 𝒜$ و $\mathrm{\varnothing }\in 𝒜$

الاحتمال - أولى الخصائص

نعتبر $A\in 𝒜$ مجموعة نتائج ممكنة لتجربة عشوائية. نُريد أن نُعَرف مدى إمكانية حدوث $A$ قبل معرفة نتيجة التجربة.

نريد إذن، لكل حدث $A$ ، أن نربط عددا $\mathbb{P}(A)$ محصورا بين صفر وواحد. يُمثل هذا العدد احتمال تحقق هذا الحدث كنتيجةٍ للتجربة.

قالب:خاصية ومنه نستنتج : قالب:لازمة قالب:برهنة

قالب:تعريف سوف نرى لاحقا أن على $\mathbb{P}$ أن تحقق خاصية إضافية عندما يكون الفضاء $\mathrm{\Omega }$ لامنتهي.

في الدرس القادم، سنُعطي التعاريف الرياضية الدقيقة لما سبق ذكره.