ما معنى الفضاء الاحتمالي القابل للعد؟

مثال 21.5 (النموذج الهندسي: انتظار أول صورة)

نرمي قطعة نقود احتمال ظهور الصورة فيها $p \in \intoo{0}{1}$ مرارا وتكرارا، ونجعل $\Omega = \N^* \cup \{\infty\}$ يسجل رتبة أول صورة. والأوزان الطبيعية هي

وهي قياس احتمالي لأن $\sum_{k\geq1}(1-p)^{k-1}p = \frac{p}{1 - (1-p)} = 1$: فباحتمال $1$ تنتهي اللعبة — لكن يجب أن يظل الفضاء العيني حاويا لإمكان ألا تنتهي. والجمعية القابلة للعد هي ما يسمح لنا بأن نؤكد $\P(\text{تنتهي اللعبة}) = \sum_k \P(\{k\})$.

مثال 21.8 (حصر الاتحاد: فج لكنه لا يُهزم)

الجمعية التحتية مع عدد منته من الأحداث — وهي حصر الاتحاد — تبادل الدقة بالشمولية. ففي مسألة أعياد الميلاد مع $23$ شخصا، يعطي حصر احتمال التصادم بالمجموع على الأزواج

مقابل القيمة الحقيقية $0.507$: أي بفارق واسع، لأن التصادمات تتراكب. ومع ذلك فإن الحصر لا يحتاج إلى أي استقلال، ولا إلى قانون مشترك، ولا إلى شيء سوى احتمالات الأزواج — ولهذا يكون حصر الاتحاد، في مسألة نهاية الأسبوع وفي كل الفصل 22، أول أداة تُسلّ: فإن صادف أن كان صغيرا، حُسم الأمر دون أي نمذجة إضافية.

مثال 21.9 (ستة تأتي في النهاية)

نرمي نردا متزنا إلى الأبد ونجعل $B_n = {}$“ظهور ستة واحدة على الأقل في أول $n$ رمية”، وهي متتالية متزايدة من الأحداث مع $\P(B_n) = 1 - (5/6)^n$. ويعطي الاتصال الرتيب

والمهم ليس النهاية (البديهية) بل الخطوة المنطقية: فقولنا “في النهاية” حدث يتعلق بعدد لانهائي من الرميات، خارج متناول الجمعية المنتهية، والاتصال الرتيب — أي الجمعية $\sigma$ — هو بالضبط البديهية التي تسند إليه احتمالا. وكل نص شبه أكيد في بقية هذا الكتاب يمر عبر هذا الباب الضيق نفسه.