Ein Paar grundlegender Aussagen über Folgen von Ereignissen (En) in einem Wahrscheinlichkeitsraum: (i) Wenn die Summe der Wahrscheinlichkeiten Σ P(En) endlich ist, dann ist die Wahrscheinlichkeit, dass unendlich viele En eintreten, null (erstes Lemma). (ii) Wenn die En unabhängig sind und Σ P(En) divergiert, dann treten unendlich viele En mit Wahrscheinlichkeit eins ein (zweites Lemma).

Prinzip

Summierbarkeit der Ereigniswahrscheinlichkeiten steuert das Langzeitverhalten: endliche Summe erzwingt fast sichere Nichtereignisheit auf Dauer; Divergenz zusammen mit Unabhängigkeit erzwingt fast sicheres dauerhaftes Auftreten.

Demonstration

Bei Münzwürfen sei En das Ereignis, dass Wurf n Kopf ist mit Wahrscheinlichkeit p_n. Ist Σ p_n < ∞, so treten mit Wahrscheinlichkeit eins nur endlich viele solcher Köpfe auf. Sind p_n konstant positiv und die Ereignisse unabhängig, dann ist Σ p_n = ∞ und unendlich viele Ereignisse treten a.s. ein.

Fehlanwendung

Das zweite Lemma ohne Unabhängigkeitsannahme anwenden (oder ohne geeignete schwache Abhängigkeitsbedingungen) — die Divergenz von Σ P(En) allein impliziert ohne Unabhängigkeit nicht unendlich oft.

Konsequenz

Gibt ein einfaches, weit verbreitetes Kriterium für fast sichere Aussagen über limsup‑Ereignisse; es bildet die Grundlage für Beweise zu fast sicherer Konvergenz, Null‑Eins‑Gesetzen und probabilistischen Überdeckungen.

Umkehrung

Die Umkehrung des ersten Lemmas gilt im Allgemeinen nicht: Σ P(En)=∞ bedeutet nicht notwendigerweise ‚unendlich oft‘ ohne Unabhängigkeit. Abhängigkeiten können zu weniger oder mehr Ereignissen führen als die Summen aussagen.

Abgrenzung

Voraussetzung ist ein Wahrscheinlichkeitsraum und messbare Ereignisse; das erste Lemma gilt ohne Unabhängigkeit, das zweite setzt Unabhängigkeit oder stärkere Bedingungen voraus (paarweise Unabhängigkeit reicht in der Regel nicht).

Semantische Spannung

Spannung zwischen deterministischen Summenkriterien und stochastischer Abhängigkeit: dieselbe numerische Bedingung (Σ P(En)=∞) hat je nach Unabhängigkeit unterschiedliche Folgen, daher muss ‚Borel‑Cantelli‘ präzisiert werden.

Synthese

Borel‑Cantelli verknüpft die Arithmetik von Wahrscheinlichkeits‑Summen mit fast sicheren Auftretensmustern: Endlichkeit der Summen erzwingt fast sichere Nichtereignisheit auf Dauer, Divergenz bewirkt unter Unabhängigkeit fast sicheres unendliches Auftreten und macht das Lemma zu einem fundamentalen Werkzeug, um probabilistische Größenabschätzungen in langfristige a.s. Aussagen umzuwandeln.