عرض مصدر تقارب المتغيرات العشوائية

{{كاتب الصفحة}}
[[ملف:تقارب المتغيرات العشوائي.webp|تصغير|يسار|بديل=تقارب المتغيرات العشوائي - مشهد تخيلي|تقارب المتغيرات العشوائي - مشهد تخيلي]]
توجد عدة مفاهيم مختلفة في نظرية الاحتمال لتقارب تسلسلات المتغيرات العشوائية بما في ذلك التقارب الاحتمالي والتقارب في التوزيع والتقارب المؤكد تقريبا. تعكس مفاهيم التقارب المختلفة خصائص مختلفة عن المتسلسلة، حيث تكون بعض مفاهيم التقارب أقوى من غيرها.
على سبيل المثال, يُخبرنا التقارب في التوزيع عن حد التوزيع لسلسلة من المتغيرات العشوائية. يُعد هذا بدوره مفهومًا أضعف من التقارب الاحتمالي الذي يخبرنا عن القيمة التي سيأخذها المتغير العشوائي، وليس مجرد التوزيع.

يعتبر المفهوم مهمًا في نظرية الاحتمال وتطبيقاته على الإحصاء والعمليات العشوائية. وتعرف نفس المفاهيم في الرياضيات الأكثر عمومية باسم التقارب العشوائي وهي تُصَوِّرُ فكرةَ أنه يُتَوَقَّعُ في بعض الأحيان أن تستقر خصائص معينة لتتابع من الأحداث العشوائية أو غير المتوقعة استقرارا أساسيا، إلى سلوك يُمكن اعتباره ثابتًا إلى حد ما عند دراسة العناصر البعيدة بما فيه الكفاية في التسلسل.

ترتبط المفاهيم المختلفة للتقارب بكيفية وصف هذا السلوك: سلوكان مفهومان بسهولة هما أن يتخذ التسلسل قيمة ثابتة في النهاية، وأن تستمر القيم في المتسلسلة في التغير ولكن يمكن وصفها بتوزيع احتمالية ثابت.

==خلفية==

يضفي  "التقارب العشوائي" طابعًا رسميًا على فكرة أن سلسلة من الأحداث العشوائية أو غير المتوقعة يمكن توقعها في بعض الأحيان لتستقر في نمط ما. قد يكون النمط على سبيل المثال:
* تقارب بالمعنى الكلاسيكي إلى قيمة ثابتة، ربما تكون ناتجة عن حدث عشوائي
* تشابه مُتصاعد للنّواتج المُحصَّلة مع ما تنتجه دالة حتْمية بحْتَة
* تفضيل متزايد تجاه نتيجة معينة
* تزايد النفور من الابتعاد الكبير عن نتيجة محددة
* يَمْيلُ توزيع الاحتمالية الذي يصف النتيجة التالية إلى التشابه تشابها متزايدًا مع توزيع معين

بعض الأنماط الأقل وضوحًا والأكثر تجريدًا يمكن أن تكون
* يمكنُ أنْ يَتقارب مَجْمُوعُ القيَمِ المُتوقَّعة للبَعْدِ النَّاتِج عنْ القيمة المتوقعة إِلَى الصّفر 0
* بأن تباين المتغير العشوائي الذي يصف الحدث التالي يقل ويصغر

تظهر الأنواع الأخرى من الأنماط التي قد تنشأ في الأنواع المختلفة من التقارب العشوائي التي دُرست.

في حين أن المناقشة أعلاه تتعلق بتقارب متسلسلة واحدة إلى قيمة حدية، فإن مفهوم تقارب متسلسلتين نحو بعضهما البعض مهم أيضًا، لكن يمكن التعامل مه بسهولة بدراسة المتسلسلة المعرفة على أنها إما الفرق أو النسبة بين المتسلسلتين.

على سبيل المثال، إذا كان متوسط ''n'' متغيرات عشوائية مستقلة ''Y''<sub>''i''</sub>, ''i'' = 1, ..., ''n''، وجميعها لها نفس المتوسط والاختلاف المحدود، يُعطى بالمعادلة:
:<math>X_n = \frac{1}{n}\sum_{i=1}^n Y_i\,,</math>

ثم كلما مال ''n'' إلى ما لا نهاية، سيتقارب المتغير العشوائي {{mvar|X<sub>n</sub>}} احتماليا (انظر أدناه) إلى المتوسط المشترك μ للمتغيرات العشوائية ''Y''<sub>''i''</sub>.

تُعرف هذه النتيجة بقانون الأعداد الكبيرة الضعيف. وتجدر الإشارة إلى أن هناك أشكالًا أخرى من التقارب مهمة في نظريات مفيدة أخرى، بما في ذلك المتوسط المركزي.

فيما يلي ، نفترض أن  (''X''<sub>''n''</sub>) هي متسلسلة من المتغيرات العشوائية، وأن ''X'' هو متغير عشوائي، وأن جميعها معرفة على نفس  الفضاء الاحتمالي <math>(\Omega, \mathcal{F}, \mathbb{P} )</math>.

== التقارب في التوزيع ==
{{Infobox
  | title = أمثلة
  | bodystyle = padding-right: 3pt;
  | headerstyle = background-color: lightblue; text-align: right;
  | datastyle = text-align: right;
  | header1 = مصنع النرد
  | data2   = افترض أن مصنعًا جديدًا للنرد قد انتهى بناؤه للتو. ستخرج أولى مكعبات النرد لتكون متحيزة تحيزا كبيرا، نتيجة للعيوب المصنعية، وستكون نتيجة رمي أيٍ منها تتبع توزيعًا يختلف اختلافًا ملحوظًا عن التوزيع الموحد المطلوب.
<br /><br />وبمجرد تحسن انتاج المصنع، تتبع نتائج رمي النرد الجديد المنتج توزيعًا متساويًا وأكثر تقارباً تدريجياً.
  | header3 = رمي العملات المعدنية
  | data4   = ليكن {{mvar|X<sub>n</sub>}} نسبة ظهور الوجه بعد رمي قطعة نقود غير منحازة {{mvar|n}} مرة. إذن {{math|''X''<sub>1</sub>}} سيتبع توزيع بيرنولي بقيمة متوقعة {{math|''μ'' {{=}} 0.5}} وتباين {{math|''σ''<sup>2</sup> {{=}} 0.25}}. والمتغيرات العشوائية اللاحقة {{math|''X''<sub>2</sub>, ''X''<sub>3</sub>, ...}} ستتبع جميعها توزيعا ثنائي الحد (ذو الحدين).<br /><br />
وكلما اقتربت قيمة {{mvar|n}} من القيمة اللانهائية (أو ازدادت قيمة n كثيرا)، سيقترب التوزيع الاحتمالي هذا تدريجيا ليأخذ شكلًا مشابهًا للمنحنى الجرسي للتوزيع الطبيعي. إذا قمنا بتحويل وإعادة قياس {{math|''X<sub>n</sub>''}} قياسا مناسبا، فإن المتغير <math>\scriptstyle Z_n = \frac{\sqrt{n}}{\sigma}(X_n-\mu)</math> سيتقارب توزيعيا نحو التوزيع الطبيعي الموحد، وذلك وفقًا للمبرهنة المركزية للحدود (مبرهنة القيمة المركزية).
  | header5 = مثال مصور
  | data6   = نفترض أن {{math|{''X<sub>i</sub>''} }} هي متسلسلة متغيرات عشوائية مستقلة وموزعة توزيعا متطابقا من التوزيع الموحد {{math|''U''(−1, 1)}} للمتغيرات العشوائية. لیکن <math>\scriptstyle Z_n = {\scriptscriptstyle\frac{1}{\sqrt{n}}}\sum_{i=1}^n X_i</math> المجاميع (المعلمة). وبناءً على مبرهنة الحد المركزي، يقترب توزيع {{mvar|Z<sub>n</sub>}} من التوزيع المعيارِي {{math|''N''(0, {{sfrac|1|3}})}}.
توضح الصورة التالية هذا التقارب: كلما كبرت قيمة {{mvar|n}}، يقترب شكل دالة كثافة الاحتمال أكثر فأكثر من منحنى غاوس
[[Image:Convergence in distribution (sum of uniform rvs).gif|center|200px]]}}

بعبارة أخرى، ومع تقارب التوزيع، تزداد التوقعات بأن تصبح النتيجة التالية في تتابع التجارب العشوائية نموذجًا أفضل وأفضل بواسطة توزيع احتمالي معين. وبعبارة أكثر دقة، يصبح توزيع المتغير العشوائي المرتبط بالتسلسل قريبًا أكثر من توزيع ثابت محدد.

يعتبر التقارب في التوزيع هو أضعف أشكال التقارب التي تناقش في العادةً لأنه لازم في جميع أنواع التقارب الأخرى المذكورة في هذه المقالة. ومع ذلك، يستخدم التقارب في التوزيع استخداما متكرر جدًا في التطبيقات العملية ؛ وغالبًا ما ينشأ عن تطبيق الحد المركزي.

===التعريف===
يُطلق على سِلسلة مُتَغيِّرات عشوائيَّة حقيقيَّة القيم <math>X_1, X_2, \ldots </math>، لها دوالُ التَّوزيعِ التَّراكميَّةِ <math>F_1, F_2, \ldots </math> على التَّوالي، بأنَّها تتقاربُ في التوزيع (تقاربا ضعيفًا، أو تقارب حسب القانون) إلى مُتغيِّر عشوائي {{mvar|X}} ذي دالة التَّوزيع التَّراكميَّة {{mvar|F}} إذا كان: <math>\lim_{n\to\infty} F_n(x) = F(x),</math> لكل رقم <math>x \in \mathbb{R}</math> حيث أن {{mvar|F}} مستمرة.

يعد مراعاة شرط نقاط الاستمرارية {{mvar|F}} فقط أمرًا ضروريًا. على سبيل المثال, إذا كانت {{mvar|X<sub>n</sub>}} موزعة توزيعا موحدا بفوارق {{math|(0, {{sfrac|1|''n''}})}}، وسيتتقارب هذه المتسلسلة عندئذ بالتوزيع إلى المتغير العشوائي المنحط {{math|''X'' {{=}} 0}}. وبالطبع، {{math|''F<sub>n</sub>''(''x'') {{=}} 0}} لجميع ''n'' عندما {{math|''x'' ≤ 0}}، و {{math|''F<sub>n</sub>''(''x'') {{=}} 1}} لجميع {{math|''x'' ≥ {{sfrac|1|''n''}}}} عندما {{math|''n'' > 0}}. ومع ذلك، لهذا الحد المتغير العشوائي {{math|''F''(0) {{=}} 1}}، على الرغم من {{math|''F<sub>n</sub>''(0) {{=}} 0}} لجميع {{mvar|n}}. وبالتالي سيفشل التقارب عند هذه النقطة {{math|''x'' {{=}} 0}} حيث {{mvar|F}} متقطع.

يمكن الإشارة إلى التقارب في التوزيع على أنه

{{NumBlk|:|<math>\begin{align}
  {}
  & X_n \ \xrightarrow{d}\ X,\ \ 
    X_n \ \xrightarrow{\mathcal{D}}\ X,\ \ 
    X_n \ \xrightarrow{\mathcal{L}}\ X,\ \ 
    X_n \ \xrightarrow{d}\ \mathcal{L}_X, \\
  & X_n \rightsquigarrow X,\ \ 
    X_n \Rightarrow X,\ \ 
    \mathcal{L}(X_n)\to\mathcal{L}(X),\\ 
  \end{align}</math>
|{{EquationRef|1}}}}

حيث <math>\scriptstyle\mathcal{L}_X</math> هو قانون (التوزيع الاحتمالي) ل {{mvar|X}}. على سبيل المثال، إذا كان {{mvar|X}} قياسيًا عاديًا فيمكننا أن نكتب <math style="height:1.5em;position:relative;top:-.3em">X_n\,\xrightarrow{d}\,\mathcal{N}(0,\,1)</math>.

للمتجهات العشوائية {{math|{''X''<sub>1</sub>, ''X''<sub>2</sub>, ...} ⊂ '''R'''<sup>''k''</sup>}} يعرف التقارب في التوزيع بالمثل. ونقول أن هذه المتسلسلة تتقارب في التوزيع إلى متجه عشوائي {{mvar|k}}-vector {{mvar|X}} إذا كان
: <math>\lim_{n\to\infty} \mathbb{P}(X_n\in A) = \mathbb{P}(X\in A)</math>
لكل {{math|''A'' ⊂ '''R'''<sup>''k''</sup>}} وهي مجموعة استمرارية من {{mvar|X}}.

يمكن توسيع تعريف التقارب في التوزيع من المتجهات العشوائية إلى العناصر العشوائية الأكثر عمومية في المساحات المترية العشوائية، وحتى إلى "المتغيرات العشوائية" التي لا يمكن قياسها - وهو الوضع الذي يحدث على سبيل المثال في دراسة العمليات التجريبية. هذا هو "التقارب الضعيف للقوانين دون تعريف القوانين" - إلا تقريبيا.<ref>{{harvnb|Bickel|Klaassen|Ritov|Wellner|1998|loc=A.8, page 475}}</ref>

في هذه الحالة يفضل مصطلح '''التقارب الضعيف'''، ونقول أن سلسلة من العناصر العشوائية {{math|{''X<sub>n</sub>''} }} تتقارب تقاربا ضعيفا إلى {{mvar|X}} ويُشار إليها ب {{math|''X<sub>n</sub>'' ⇒ ''X''}} إذا كان

: <math>\mathbb{E}^*h(X_n) \to \mathbb{E}\,h(X)</math>

لجميع الدوال المتصلة المستمرة {{mvar|h}}.<ref>{{harvnb|van der Vaart|Wellner|1996|page=4}}</ref> تشير E* هنا إلى التوقع الخارجي، وهذا هو توقع أصغر دالة مقاسة {{mvar|g}} تهيمن على {{math|''h''(''X<sub>n</sub>'')}}.

===الخصائص===
* بما أن <math>F(a) = \mathbb{P}(X \le a)</math> فإن التقارب في التوزيع يعني أن احتمال وجود {{mvar|X<sub>n</sub>}} في نطاق معين يساوي تقريبًا احتمال أن تكون قيمة {{mvar|X}} في هذا النطاق، بشرط {{mvar|n}} كبير كفاية.
* عموما، لا يعني التقارب في التوزيع أن تسلسل وظائف الكثافة الاحتمالية المقابلة سيتقارب أيضًا. كمثال يمكن للمرء أن يأخذ في الاعتبار المتغيرات العشوائية ذات الكثافات {{math|''f<sub>n</sub>''(''x'') {{=}} (1 + cos(2''πnx''))'''1'''<sub>(0,1)</sub>}}. تتقارب هذه المتغيرات العشوائية في التوزيع إلى شكل منتظم ''U''(0,&thinsp;1)، في حين أن كثافتها لا تتقارب على الإطلاق.<ref>{{harvnb|Romano|Siegel|1985|loc=Example 5.26}}</ref>
** ومع ذلك، وفقًا لنظرية شيفيه، فإن تقارب دوال الكثافة الاحتمالية يعني التقارب في التوزيع.<ref name="Durrett">{{cite book|last1=Durrett|first1=Rick|title=Probability: Theory and Examples|date=2010|page=84}}</ref>
* وفر بورتمانتو ليما عدة تعريفات مكافئة للتقارب في التوزيع. على الرغم من أن هذه التعريفات أقل بدهية، إلا أنها تستخدم لإثبات العديد من النظريات الإحصائية. تنص تعريفات بورتمانتو ليما على أن {{math|{''X<sub>n</sub>''} }} يتقارب في التوزيع إلى {{mvar|X}} إذا وفقط إذا كانت أي من العبارات التالية صحيحة:<ref>{{harvnb|van der Vaart|1998|loc=Lemma 2.2}}</ref>
** <math>\mathbb{P}(X_n \le x) \to \mathbb{P}(X \le x)</math> لجميع نقاط الاستمرارية في <math>x\mapsto \mathbb{P}(X \le x)</math>;
** <math>\mathbb{E}f(X_n) \to \mathbb{E}f(X)</math> لجميع الوظائف المحدودة أو المستمرة <math>f</math> (حيث <math>\mathbb{E}</math> يدل على عامل القيمة المتوقعة);
** <math>\mathbb{E}f(X_n) \to \mathbb{E}f(X)</math> لجميع وظائف لبتشيز المحدودة <math>f</math>;
** <math>\lim\inf \mathbb{E}f(X_n) \ge \mathbb{E}f(X)</math> لجميع الدوال المستمرة غير السالبة <math>f</math>;
** <math>\lim\inf \mathbb{P}(X_n \in G) \ge \mathbb{P}(X \in G)</math> لكل مجموعة مفتوحة <math>G</math>;
** <math>\lim\sup \mathbb{P}(X_n \in F) \le \mathbb{P}(X \in F)</math> لكل مجموعة مغلقة <math>F</math>;
** <math>\mathbb{P}(X_n \in B) \to \mathbb{P}(X \in B)</math> لجميع المجموعات الاستمرارية <math>B</math> لمتغير عشوائي <math>X</math>;
** <math>\limsup \mathbb{E}f(X_n) \le \mathbb{E}f(X)</math> لكل وظيفة علوية شبه مستمرة <math>f</math> محدودة أعلاه;{{citation needed|date=February 2013}}
** <math>\liminf \mathbb{E}f(X_n) \ge \mathbb{E}f(X)</math> لكل وظيفة دنيا شبه مستمرة <math>f</math> محدودة أدناه.{{citation needed|date=February 2013}}
* تنص نظرية التعيين المستمر على أنه بالنسبة للدالة المستمرة {{mvar|g}}، إذا كان التسلسل {{math|{''X<sub>n</sub>''} }}  يتقارب في التوزيع إلى {{mvar|X}}، إذن {{math|{''g''(''X<sub>n</sub>'')} }} يتقارب في التوزيع ل {{math|''g''(''X'')}}.
** لاحظ مع ذلك أن التقارب في توزيع {{math|{''X<sub>n</sub>''} }} إلى {{mvar|X}} و{{math|{''Y<sub>n< /sub>''} }} إلى {{mvar|Y}} ''لا'' يعني عموما التقارب في توزيع {{math|{''X<sub>n</sub>'' + '' Y<sub>n</sub>''} }} إلى {{math|''X'' + ''Y''}} أو من {{math|{''X<sub>n</sub> Y<sub>n</sub>''} }} إلى {{mvar|XY}}.
* نظرية استمرارية ليفي: يتقارب التسلسل {{math|{''X<sub>n</sub>''} }} في التوزيع إلى {{mvar|X}} إذا وفقط إذا كان تسلسل الدوال المميزة المتناظرة {{math|{' 'φ<sub>n</sub>''} }} يتقارب تقاربا نقطيا مع الدالة المميزة {{mvar|φ}} لـ {{mvar|X}}.
* يمكن قياس التقارب في التوزيع من خلال مقياس ليفي-بروخوروف.
* الرابط الطبيعي للتقارب في التوزيع هو نظرية تمثيل سكوروخود.

== التقارب في الاحتمال ==
تكمن الفكرة الأساسية وراء هذا النوع من التقارب في أن احتمال حدوث نتيجة "غير عادية" يصبح أصغر فأصغر كلما تقدم التسلسل.

يُستخدم مفهوم التقارب في الاحتمال استخدامًا متكررًا في الإحصاء. على سبيل المثال، يُطلق على المقدر مصطلح "المتناسق" إذا تقارب احتماليا إلى القيمة المُقدرة. كما أن التقارب الاحتمالي هو نوع التقارب الذي يحدده قانون الأعداد الكبيرة الضعيف.
=== التعريف ===
يتقارب تسلسل {''X''<sub>''n''</sub>} من المتغيرات العشوائية في الاحتمال نحو المتغير العشوائي ''X'' إذا كان لكل ''ε'' > 0

: <math>\lim_{n\to\infty}\mathbb{P}\big(|X_n-X| > \varepsilon\big) = 0.</math>

وبتفصيل أكثر وضوحًا، دع ''P''<sub>''n''</sub>(''ε'') يكون احتمال أن يكون ''X''<sub>''n''</sub> هو خارج نصف قطر الكرة ''ε'' المتمركزة في ''X''. 
ثم يمكننا القول إن {{mvar|X<sub>n</sub>}} يتقارب في الاحتمال مع ''X'' إذا كان لأي {{math|''ε'' > 0}} وأي ''δ'' > 0 يوجد رقم ''N'' (والذي قد يعتمد على ''ε'' و ''δ'') بحيث يكون لكل ''n'' ≥ ''N'', ''P''<sub>''n''</sub>(''ε'') < ''δ'' (تعريف الحد).

لاحظ أنه لاستيفاء الشرط، ليس من الممكن أن يكون المتغيران العشوائيان ''X'' و ''X''<sub>''n''</sub> مستقلان لكل ''n'' ( وبالتالي فإن التقارب في الاحتمال هو شرط على دالة التوزيع التراكمي المشتركة، على عكس التقارب في التوزيع، وهو شرط على دالة التوزيع التراكمي الفردية)، إلا إذا كانت ''X'' حتمية مثل قانون الأعداد الكبيرة الضعيف. وفي الوقت نفسه، لا يمكن التعامل مع حالة ''X'' الحتمية، عندما تكون القيمة الحتمية نقطة انقطاع (غير معزولة)، عن طريق التقارب في التوزيع، حيث يجب استبعاد نقاط الانقطاع استبعادًا صريحًا.

يشار إلى التقارب في الاحتمالية بإضافة الحرف "p" فوق سهم يشير إلى التقارب، أو باستخدام عامل حد الاحتمال "plim"
:{{NumBlk|:| <math>X_n \ \xrightarrow{p}\ X,\ \ X_n \ \xrightarrow{P}\ X,\ \ \underset{n\to\infty}{\operatorname{plim}}\, X_n = X.</math>|{{EquationRef|2}}}}

بالنسبة للعناصر العشوائية {''X''<sub>''n''</sub>} في مساحة مترية قابلة للفصل {{math|(''S'', ''d'')}}، يعرف التقارب في الاحتمال بالمثل على النحو: <ref>{{harvnb|Dudley|2002|loc=Chapter 9.2, page 287}}</ref>
: <math>\forall\varepsilon>0, \mathbb{P}\big(d(X_n,X)\geq\varepsilon\big) \to 0.</math>

===الخصائص===
* التقارب في الاحتمال يعني التقارب في التوزيع.
* وفي الاتجاه المعاكس، يشير التقارب في التوزيع إلى التقارب في الاحتمال عندما يكون المتغير العشوائي المحدد ''X'' ثابتًا.
* التقارب في الاحتمال لا يعني تقاربًا شبه مؤكد.
* تنص نظرية التعيين المستمر على أنه لكل دالة مستمرة <math>g</math>، إذا كانت <math display="inline">X_n \xrightarrow{p} X</math>، فعندئذ أيضًا {{nowrap|<math display="inline">g(X_n)\xrightarrow{p}g(X)</math>.}}
* يحدد التقارب في الاحتمالية طوبولوجيا على مساحة المتغيرات العشوائية على مساحة احتمالية ثابتة. يمكن قياس هذه الهيكلية من خلال ''مقياس Ky Fan'':<ref>{{harvnb|Dudley|2002|page=289}}</ref> <math style="position:relative;top:.3em" display="block">d(X,Y) = \inf\!\big\{ \varepsilon>0:\ \mathbb{P}\big(|X-Y|>\varepsilon\big)\leq\varepsilon\big\}</math> أو بالتناوب بهذا المقياس <math display="block">d(X,Y)=\mathbb E\left[\min(|X-Y|, 1)\right].</math>

===أمثلة مضادة===
ليست كل سلسلة من المتغيرات العشوائية التي تتقارب مع متغير عشوائي آخر في التوزيع تتقارب أيضًا في الاحتمال مع ذلك المتغير العشوائي. على سبيل المثال، خذ بعين الاعتبار تسلسل المتغيرات العشوائية العادية القياسية <math>X_n</math> والتسلسل الثاني <math>Y_n = (-1)^nX_n</math>. لاحظ أن توزيع <math>Y_n</math> يساوي توزيع <math>X_n</math> لجميع <math>n</math>، ولكن
<math display="block">P(|X_n - Y_n| \geq \epsilon) = P(|X_n|\cdot|(1 - (-1)^n)| \geq \epsilon)</math>
والتي لا تتقارب مع <math>0</math>. إذن ليس لدينا تقارب في الاحتمال.

== التقارب شبه المؤكد ==
هذا النوع من التقارب العشوائي (التقارب الاحتمالي) هو الأكثر شبها بالتقارب النقطي المعروف في التحليل الحقيقي الابتدائي.
===التعريف===
لنفترض أن التسلسل {{mvar|X<sub>n</sub>}} يتقارب '''بكل تأكيد''' أو '''في كل مكان تقريبًا''' أو '''باحتمال 1''' أو ' "بقوة" نحو ''X'' تعني ذلك
<math display="block">\mathbb{P}\!\left( \lim_{n\to\infty}\! X_n = X \right) = 1.</math>

هذا يعني أن قيم {{mvar|X<sub>n</sub>}} تقترب من قيمة "X"، بمعنى أن الأحداث التي لا تتقارب فيها قيمة {{mvar|X<sub>n</sub>}} مع قيمة ''X'' لها احتمال يساوي الصفر. باستخدام فضاء الاحتمال <math>(\Omega, \mathcal{F}, \mathbb{P} )</math> ومفهوم المتغير العشوائي كدالة من Ω إلى '''R'''، فإن هذا يعادل العبارة
:<math display="block">\mathbb{P}\Bigl( \omega \in \Omega: \lim_{n \to \infty} X_n(\omega) = X(\omega) \Bigr) = 1.</math>
باستخدام فكرة الحد الأعلى لسلسلة من المجموعات، يمكن أيضًا تعريف التقارب المؤكد على النحو التالي:
<math display="block">\mathbb{P}\Bigl( \limsup_{n\to\infty} \bigl\{\omega \in \Omega: | X_n(\omega) - X(\omega) | > \varepsilon \bigr\} \Bigr) = 0 \quad\text{for all}\quad \varepsilon>0.</math>

===الخصائص===
* التقارب المؤكد تقريبًا يعني التقارب في الاحتمالية (بواسطة ليما فاتو)، وبالتالي يعني التقارب في التوزيع. وهي فكرة التقارب المستخدمة في القانون الأعداد الكبيرة القوي.
* إن مفهوم التقارب شبه المؤكد لا يأتي من طوبولوجيا في مساحة المتغيرات العشوائية. وهذا يعني عدم وجود طوبولوجيا في مساحة المتغيرات العشوائية بحيث تكون التسلسلات المتقاربة تقاربا شبه مؤكد هي بالضبط التسلسلات المتقاربة فيما يتعلق بتلك الطوبولوجيا. لا يوجد مقياس للتقارب شبه المؤكد على وجه الخصوص.
==التقارب المؤكد أو التقارب النقطي==
لنفترض أن تسلسل المتغيرات العشوائية (''X''<sub>''n''</sub>) المحددة في نفس مساحة الاحتمال يتقارب '''بالتأكيد''' أو  "في كل مكان" أو "تقاربا نقطيا" باتجاه "X" يعني:
<math display="block">\forall \omega \in \Omega \colon \ \lim_{n\to\infty} X_n(\omega) = X(\omega),</math>

حيث Ω هي مساحة العينة لمساحة الاحتمالية الأساسية التي تعرف المتغيرات العشوائية عليها.

هذه هي فكرة التقارب النقطي لسلسلة من الوظائف الممتدة إلى سلسلة من المتغيرات العشوائية.

<math display="block">\left\{\omega \in \Omega : \lim_{n \to \infty}X_n(\omega) = X(\omega) \right\} = \Omega.</math>

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

===أمثلة مضادة===
خذ بعين الاعتبار تسلسل <math>\{X_n\}</math> من المتغيرات العشوائية المستقلة مثل <math>P(X_n=1)=\frac{1}{n}</math> و<math>P(X_n) =0)=1-\frac{1}{n}</math>. بالنسبة إلى <math>0<\varepsilon<1/2</math> لدينا <math>P(|X_n|\geq \varepsilon)=\frac{1}{n}</math> والذي يتقارب مع <math> 0</math> وبالتالي <math>X_n\to 0</math> في الاحتمال.

بما أن <math>\sum_{n\geq 1}P(X_n=1)\to\infty</math> والأحداث <math>\{X_n=1\}</math> مستقلة، فإن [[Borel– Cantelli_lemma#Converse-result|ثانية Borel Cantelli Lemma]] تضمن أن <math>P(\limsup_n \{X_n=1\})=1</math> ومن هنا يأتي التسلسل <math>\{X_n\}</math> لا يتقارب مع <math>0</math> في كل مكان تقريبًا (في الواقع المجموعة التي لا يتقارب فيها هذا التسلسل مع <math>0</math> لها احتمال <math>1</math>).

== التقارب في المتوسط ==
بالنظر إلى العدد الحقيقي {{math|''r'' ≥ 1}}، نقول أن المتسلسلة {{mvar|X<sub>n</sub>}} تتقارب '''في ''r''- المتوسط ''' (أو '''في ''L<sup>r</sup>''-norm''') نحو المتغير العشوائي ''X''، إذا كان {{mvar|r}} -th [العزوم المطلقة <math>\mathbb{E}</math>(|''X<sub>n</sub>''|<sup>''r ''</sup>) و <math> \mathbb{E}</math>(|''X''|<sup>''r ''</sup>) من {{mvar|X<sub>n</sub>}} و ''X '' موجودة، و
: <math>\lim_{n\to\infty} \mathbb{E}\left( |X_n-X|^r \right) = 0,</math>
حيث يشير العامل E إلى القيمة المتوقعة. يخبرنا التقارب في الوسط {{mvar|r}}- أن توقع القوة {{mvar|r}}- للفرق بين <math>X_n</math> و<math>X</math> يتقارب إلى الصفر.

يُشار إلى هذا النوع من التقارب غالبًا بإضافة الحرف ''L<sup>r</sup>'' فوق سهم يشير إلى التقارب:

{{NumBlk|:| <math>\overset{}{X_n \, \xrightarrow{L^r} \, X.}</math>|{{EquationRef|4}}}}

وأهم حالات التقارب في المتوسط في ''r''-th هي:

* عندما يتقارب {{mvar|X<sub>n</sub>}} في ''r''-th يعني ''X'' لـ ''r'' = 1، نقول أن {{mvar|X <sub>n</sub>}} يتقارب '''في المتوسط''' مع ''X''.
* عندما يتقارب {{mvar|X<sub>n</sub>}} في ''r''-th يعني ''X'' لـ ''r'' = 2، نقول أن {{mvar|X <sub>n</sub>}} يتقارب '''في متوسط المربع'' (أو '''في المتوسط التربيعي''') مع ''X''.

التقارب في المتوسط ''r''-th، بالنسبة لـ ''r'' ≥ 1، يعني التقارب في الاحتمالية (متباينة ماركوف). علاوة على ذلك، إذا كان ''r'' > ''s'' ≥ 1، فإن التقارب في الوسط ''r''-th يعني التقارب في الوسط ''s''-th. ومن ثم، فإن التقارب في مربع المتوسط يعني التقارب في المتوسط.

بالإضافة إلى ذلك،
: <math>\overset{}{X_n \xrightarrow{L^r} X} \quad\Rightarrow\quad   \lim_{n \to \infty} \mathbb{E}[|X_n|^r] = \mathbb{E}[|X|^r]. </math>
العكس ليس بالضرورة صحيحا، ولكنه صحيح إذا كان <math>\overset{}{X_n \, \xrightarrow{p} \, X}</math>

==الخصائص==
بشرط اكتمال مساحة الاحتمال:
* إذا كان <math>X_n\ \xrightarrow{\overset{}{p}}\ X</math> و<math>X_n\ \xrightarrow{\overset{}{p}}\ Y</math>، ثم <math> >X=Y</math> شبه مؤكد.
* إذا كان <math>X_n\ \xrightarrow{\overset{}\text{a.s.}}\ X</math> و<math>X_n\ \xrightarrow{\overset{}\text{a.s.}}\ Y</math> ، ومن المؤكد تقريبًا أن <math>X=Y</math>.
* إذا كان <math>X_n\ \xrightarrow{\overset{}{L^r}}\ X</math> و<math>X_n\ \xrightarrow{\overset{}{L^r}}\ Y</math> ، ومن المؤكد تقريبًا أن <math>X=Y</math>.
* إذا كان <math>X_n\ \xrightarrow{\overset{}{p}}\ X</math> و<math>Y_n\ \xrightarrow{\overset{}{p}}\ Y</math>، فإن <math> >aX_n+bY_n\ \xrightarrow{\overset{}{p}}\ aX+bY</math> (لأي أرقام حقيقية {{mvar|a}} و{{mvar|b}}) و<math>X_n Y_n\xrightarrow{\overset{}{p}}\ XY</math>.
* إذا كان <math>X_n\ \xrightarrow{\overset{}\text{a.s.}}\ X</math> و<math>Y_n\ \xrightarrow{\overset{}\text{a.s.}}\ Y</math> ، ثم <math>aX_n+bY_n\ \xrightarrow{\overset{}\text{a.s.}}\ aX+bY</math> (لأي أرقام حقيقية {{mvar|a}} و{{mvar|b}} ) و <math>X_n Y_n\xrightarrow{\overset{}\text{a.s.}}\ XY</math>.
* إذا كان <math>X_n\ \xrightarrow{\overset{}{L^r}}\ X</math> و<math>Y_n\ \xrightarrow{\overset{}{L^r}}\ Y</math> ، ثم <math>aX_n+bY_n\ \xrightarrow{\overset{}{L^r}}\ aX+bY</math> (لأي أعداد حقيقية {{mvar|a}} و{{mvar|b}} ).
* لا ينطبق أي من العبارات المذكورة أعلاه على التقارب في التوزيع.

ترد ملاحظة تسلسل التأثيرات بين المفاهيم المختلفة للتقارب في أقسامها الخاصة. وهي ، باستخدام تدوين السهم:

: <math>\begin{matrix}
  \xrightarrow{\overset{}{L^s}}  & \underset{s>r\geq1}{\Rightarrow} &  \xrightarrow{\overset{}{L^r}}  &             & \\
                                 &                                  &     \Downarrow                  &             & \\
  \xrightarrow{\text{a.s.}}      &            \Rightarrow           &  \xrightarrow{p}                & \Rightarrow & \xrightarrow{d}
  \end{matrix}</math>

وتتلخص هذه الخصائص، إلى جانب عدد من الحالات الخاصة الأخرى، في القائمة التالية:

* يكاد يكون التقارب المؤكد يعني التقارب في الاحتمال:<ref name="vdv2">{{harvnb|van der Vaart|1998|loc=Theorem 2.7}}</ref>
*:<math>X_n\ \xrightarrow{\text{a.s.}}\ X  \quad\Rightarrow\quad  X_n\ \xrightarrow{\overset{}{p}}\ X</math>
* التقارب في الاحتمال يعني وجود تسلسل فرعي <math>(n_k)</math> والتي تتقارب jrhvfh شبه مؤكد:<ref>{{cite book|last=Gut|first=Allan|title=Probability: A graduate course|year=2005|publisher=Springer|location=Theorem 3.4|isbn=978-0-387-22833-4}}</ref> 
*: <math>X_n\ \xrightarrow{\overset{}{p}}\ X  \quad\Rightarrow\quad  X_{n_k}\ \xrightarrow{\text{a.s.}}\ X</math>
* التقارب في الاحتمال يعني التقارب في التوزيع:<ref name="vdv2"/>
*: <math>X_n\ \xrightarrow{\overset{}{p}}\ X \quad\Rightarrow\quad  X_n\ \xrightarrow{\overset{}{d}}\ X</math>
*  التقارب في الترتيب ''r''-th يعني التقارب في الاحتمالية:
*: <math>X_n\ \xrightarrow{\overset{}{L^r}}\ X  \quad\Rightarrow\quad  X_n\ \xrightarrow{\overset{}{p}}\ X</math>
*  التقارب في متوسط الترتيب ''r''-th يعني التقارب في متوسط الترتيب الأدنى، بافتراض أن كلا الأمرين أكبر من أو يساوي واحد:
*: <math>X_n\ \xrightarrow{\overset{}{L^r}}\ X  \quad\Rightarrow\quad  X_n\ \xrightarrow{\overset{}{L^s}}\ X,</math> 
بشرط ''r'' ≥ ''s'' ≥ 1.
*  إذا تقارب ''X''<sub>''n''</sub> في التوزيع إلى ثابت ''c''، فإن ''X''<sub>''n''</sub> يتقارب في التوزيع الاحتمالي ل ''c'':<ref name="vdv2"/>
*: <math>X_n\ \xrightarrow{\overset{}{d}}\ c \quad\Rightarrow\quad X_n\ \xrightarrow{\overset{}{p}}\ c,</math>
بشرط أن يكون "c" ثابتًا.
*  إذا تقارب {{mvar|X<sub>n</sub>}} في التوزيع إلى ''X'' والفرق بين ''X<sub>n</sub>'' و ''Y<sub>n </sub>'' يتقارب في الاحتمالية مع الصفر، ثم يتقارب ''Y<sub>n</sub>'' أيضًا في التوزيع مع ''X'':<ref name="vdv2"/>
*: <math>X_n\ \xrightarrow{\overset{}{d}}\ X,\ \ |X_n-Y_n|\ \xrightarrow{\overset{}{p}}\ 0\  \quad\Rightarrow\quad  Y_n\ \xrightarrow{\overset{}{d}}\ X</math>
*  إذا تقارب {{mvar|X<sub>n</sub>}} في التوزيع إلى ''X'' وتقارب ''Y<sub>n</sub>'' في التوزيع إلى ثابت ''c'' , ثم المتجه المشترك {{math|(''X''<sub>''n''</sub>,&nbsp;''Y''<sub>''n''</sub>)}} يتقارب في التوزيع إلى {{tmath|(X, c)}}:<ref name="vdv2"/>
*: <math>X_n\ \xrightarrow{\overset{}{d}}\ X,\ \ Y_n\ \xrightarrow{\overset{}{d}}\ c\ \quad\Rightarrow\quad (X_n,Y_n)\ \xrightarrow{\overset{}{d}}\ (X,c)</math>
بشرط أن يكون "c" ثابتًا.
*:لاحظ أن شرط تقارب {{mvar|Y<sub>n</sub>}} مع ثابت مهم، فإذا تقارب مع متغير عشوائي ''Y'' فلن نتمكن من الاستنتاج أن {{math|(''X''<sub>''n''</sub>,&nbsp;''Y''<sub>''n''</sub>)}} يتقارب إلى {{math|(X, Y)}}.
*  إذا تقارب ''X<sub>n</sub>'' في الاحتمال مع ''X'' وتقارب ''Y<sub>n</sub>'' في الاحتمال مع ''Y''، فإن المتجه المشترك {{math|(''X''<sub>''n''</sub>,&nbsp;''Y''<sub>''n''</sub>)}} يتقارب في الاحتمال مع {{math|(''X'',&nbsp;''Y'')}}:<ref name="vdv2"/>
*: <math>X_n\ \xrightarrow{\overset{}{p}}\ X,\ \ Y_n\ \xrightarrow{\overset{}{p}}\ Y\ \quad\Rightarrow\quad (X_n,Y_n)\ \xrightarrow{\overset{}{p}}\ (X,Y)</math>
* إذا كان {{mvar|X<sub>n</sub>}} يتقارب في الاحتمال مع ''X''، وإذا كان {{math|'''P'''({{mabs|''X<sub> n</sub>''}} ≥ ''b'') {{=}} 1}} لجميع ''n'' وبعض ''b''، ثم {{mvar|X<sub>n< /sub>}} يتقارب في ''r''th الوسط إلى ''X'' لجميع {{math|''r'' ≥ 1}}. بمعنى آخر، إذا كان {{mvar|X<sub>n</sub>}} يتقارب في الاحتمال مع ''X'' وجميع المتغيرات العشوائية {{mvar|X<sub>n</sub>}} تقريبًا بالتأكيد يحدها من الأعلى والأسفل، ثم يتقارب {{mvar|X<sub>n</sub>}} مع ''X'' أيضًا في أي وسط ''r''.<ref>{{harvnb|Grimmett|Stirzaker|2020|p=354}}</ref>
* '''تمثيل شبه مؤكد'''. عادة، لا يعني التقارب في التوزيع التقارب تقاربا شبه مؤكد. ومع ذلك، بالنسبة لتسلسل معين {''X<sub>n</sub>''} والذي يتقارب في التوزيع إلى ''X''<sub>0</sub> فمن الممكن دائمًا العثور على مساحة احتمالية جديدة ( Ω، ''F''، P) والمتغيرات العشوائية {''Y<sub>n</sub>''، ''n'' = 0, 1, ...} محددة عليها بحيث يكون ''Y <sub>n</sub>'' يساوي في التوزيع {{mvar|X<sub>n</sub>}} لكل {{math|''n'' ≥ 0}}، و''Y <sub>n</sub>'' يتقارب مع ''Y''<sub>0</sub> تقاربا شبه مؤكد.<ref>{{harvnb|van der Vaart|1998|loc=Th.2.19}}</ref><ref>{{Harvnb|Fristedt|Gray|1997|loc=Theorem 14.5}}</ref>
* إذا كان للجميع ''ε'' > 0،
*::<math>\sum_n \mathbb{P} \left(|X_n - X| > \varepsilon\right) < \infty,</math>
*:ثم نقول أن {{mvar|X<sub>n</sub>}} ''يتقارب تقاربا كاملا تقريبًا''، أو ''تقريبًا في الاحتمال'' نحو ''X''. عندما يتقارب {{mvar|X<sub>n</sub>}} بشكل تقاربا شبه كامل نحو ''X''، فإنه يتقارب أيضًا تقاربا شبه مؤكد إلى ''X''.   بمعنى آخر، إذا تقارب {{mvar|X<sub>n</sub>}} في الاحتمالية مع ''X'' بسرعة كافية (أي أن التسلسل أعلاه لاحتمالات الذيل قابل للجمع لجميع {{math|''ε '' > 0}})، ثم يتقارب {{mvar|X<sub>n</sub>}} تقاربا شبه مؤكد مع ''X''. هذا ضمنا مباشرا من بوريل-كانتيلي ليما.
* إذا كان {{mvar|S<sub>n</sub>}} عبارة عن مجموع المتغيرات العشوائية المستقلة الحقيقية ''n'':
*::<math>S_n = X_1+\cdots+X_n \, </math>
*:ثم يتقارب {{mvar|S<sub>n</sub>}} تقاربا شبه مؤكد إذا وفقط إذا تقارب {{mvar|S<sub>n</sub>}} في الاحتمال.
* توفر نظرية التقارب المسيطر شروطًا كافية للتقارب شبه المؤكد ليتضمن تقارب ''L''<sup>1</sup>:
{{NumBlk|*::|<math>\left. 
\begin{matrix} 
 X_n\xrightarrow{\overset{}\text{a.s.}} X \\
 |X_n| < Y \\
 \mathbb{E}[Y] < \infty 
\end{matrix}\right\} \quad\Rightarrow \quad X_n\xrightarrow{{L^1}} X </math>|{{EquationRef|5}}}}

* الشرط الضروري والكافي لتقارب ''L''<sup>1</sup> هو <math>X_n\xrightarrow{\overset{}{P}} X</math> والتسلسل (''X<sub >n</sub>'') قابل للتكامل تكاملا موحدا.
* إذا كان <math>X_n\ \xrightarrow{\overset{}{p}}\ X </math>، فإن ما يلي متكافئ <ref>{{Cite web |title=real analysis - Generalizing Scheffe's Lemma using only Convergence in Probability |url=https://math.stackexchange.com/questions/4401886/generalizing-scheffes-lemma-using-only-convergence-in-probability |access-date=2022-03-12 |website=Mathematics Stack Exchange}}</ref>
**<math>X_n\ \xrightarrow{\overset{}{L^r}}\ X</math>,
**<math> \mathbb{E}[|X_n|^r] \rightarrow  \mathbb{E}[|X|^r] < \infty </math>,
**<math>\{|X_n|^r\}</math> غير قابلة للتكامل تكاملا موحدا.
*إذا كانت <math>X_n</math> منفصلة ومستقلة، فإن <math>X_n \stackrel{p}{\rightarrow} X</math> يشير ضمنًا إلى أن <math>X_n \stackrel{a.s.}{\rightarrow} X</math>. وهذا نتيجة لمعضلة بوريل-كانتيلي الثانية.

{{refend}}

==المراجع==
{{مراجع|2}}

[[تصنيف:تقانة]]
{{#vardefine:infoboxseo|1}}{{#seo:
|title 			= {{PAGENAME}} - ويكي عربية
|site_name		= ويكي عربية
|type			= article
|description=تقارب المتغيرات العشوائية، مفاهيم التقارب الاحتمالي، وتطبيقاتها في التقدير والتحليل.
|locale			= {{PAGELANGUAGE}}
|image 			= تقارب المتغيرات العشوائي.webp
}}
{{Short description|تقارب المتغيرات العشوائية، مفاهيم التقارب الاحتمالي، وتطبيقاتها في التقدير والتحليل.}}