Ein Ereignis (auch Zufallsereignis) ist in der Wahrscheinlichkeitstheorie ein Teil einer Menge von Ergebnissen eines Zufallsexperiments, dem eine Wahrscheinlichkeit zugeordnet werden kann. Beispielsweise wird das Ereignis „eine gerade Zahl zu würfeln“ der Teilmenge { 2 , 4 , 6 } {\displaystyle \{2,4,6\}} aus der Gesamtmenge { 1 , 2 , 3 , 4 , 5 , 6 } {\displaystyle \{1,2,3,4,5,6\}} aller möglichen Ergebnisse (dem Ergebnisraum) zugeordnet. Man spricht davon, dass ein Ereignis eintritt, wenn es das Ergebnis des Zufallsexperiments als Element enthält.
Das mit der Ergebnismenge Ω {\displaystyle \Omega } identische Ereignis bezeichnet man als sicheres Ereignis, da es immer eintritt. Im Gegensatz dazu bezeichnet man das mit der leeren Menge identische Ereignis als unmögliches Ereignis: Es tritt niemals ein. Beim Beispiel des Würfelwurfs ist das sichere Ereignis die Menge { 1 , 2 , 3 , 4 , 5 , 6 } {\displaystyle \{1,2,3,4,5,6\}} und das unmögliche Ereignis die leere Menge ∅ {\displaystyle \emptyset } .
Ist ( Ω , Σ , P ) {\displaystyle (\Omega ,\Sigma ,P)} ein Wahrscheinlichkeitsraum, so wird ein A ∈ Σ {\displaystyle A\in \Sigma } Ereignis genannt. Die Ereignisse eines Wahrscheinlichkeitsraum sind somit diejenigen Teilmengen der Ergebnismenge Ω {\displaystyle \Omega } , die in der σ-Algebra Σ {\displaystyle \Sigma } , dem sogenannten Ereignissystem liegen.
Die Ereignisse A ∈ Σ {\displaystyle A\in \Sigma } sind diejenigen Mengen, denen eine Wahrscheinlichkeit P ( A ) {\displaystyle P(A)} durch ein Wahrscheinlichkeitsmaß zugeordnet ist. Im allgemeineren Rahmen der Maßtheorie heißen die Ereignisse auch messbare Mengen.
Gegeben sei die Ergebnismenge
Ω = { 1 , 2 , 3 } {\displaystyle \Omega =\{1,2,3\}} ,versehen mit dem Ereignissystem
Σ := { Ω , ∅ , { 1 } , { 2 , 3 } } {\displaystyle \Sigma :=\{\Omega ,\emptyset ,\{1\},\{2,3\}\}} .Dann sind zum Beispiel die Mengen { 1 } {\displaystyle \{1\}} und die Mengen { 2 , 3 } {\displaystyle \{2,3\}} Ereignisse, da sie im Ereignissystem enthalten sind. Die Menge { 2 } {\displaystyle \{2\}} ist kein Ereignis. Sie ist zwar eine Teilmenge der Ergebnismenge, aber nicht im Ereignissystem enthalten. Da das Ereignissystem eine σ-Algebra ist, sind die Ergebnismenge Ω {\displaystyle \Omega } und die leere Menge ∅ {\displaystyle \emptyset } immer Ereignisse.
Für beliebige diskrete Ergebnismengen Ω {\displaystyle \Omega } , also solche mit höchstens abzählbar unendlich vielen Elementen, setzt man meist die Potenzmenge P ( Ω ) {\displaystyle {\mathcal {P}}(\Omega )} als Ereignissystem. Dann ist jede Teilmenge der Ergebnismenge ein Ereignis, da die Potenzmenge genau die Menge aller Teilmengen ist.
Für reelle Ergebnismengen setzt man meist die Borelsche σ-Algebra als Ereignissystem. Hier sind dann zum Beispiel alle offenen Intervalle, also Mengen der Form ( a , b ) {\displaystyle (a,b)} mit a < b {\displaystyle a<b} , Ereignisse. Tatsächlich sind diese Mengensysteme so groß, dass fast alles, was man sinnvoll definieren kann, ein Ereignis ist. Dennoch gibt es Mengen, die – bezogen auf die Borelsche σ-Algebra als Ereignissystem – keine Ereignisse sind, wie zum Beispiel die Vitali-Mengen.
Ist ω ∈ Ω {\displaystyle \omega \in \Omega } ein Ergebnis eines Zufallsexperiments und A ∈ Σ {\displaystyle A\in \Sigma } ein Ereignis, dann sagt man im Falle ω ∈ A {\displaystyle \omega \in A} auch: Das Ereignis A {\displaystyle A} tritt ein.
Falls ein Ereignis A {\displaystyle A} eine Teilmenge eines weiteren Ereignisses B {\displaystyle B} ist (notiert als A ⊆ B {\displaystyle A\subseteq B} ), dann tritt mit dem Ereignis A {\displaystyle A} stets auch das Ereignis B {\displaystyle B} ein. Man sagt dann auch: Das Ereignis A {\displaystyle A} zieht das Ereignis B {\displaystyle B} nach sich. Für die Wahrscheinlichkeiten gilt in diesem Fall P ( A ) ≤ P ( B ) {\displaystyle P(A)\leq P(B)} . Das heißt: Zieht das Ereignis A {\displaystyle A} das Ereignis B {\displaystyle B} nach sich, dann ist die Wahrscheinlichkeit von B {\displaystyle B} mindestens so groß wie die von A {\displaystyle A} .
Es gilt A = B {\displaystyle A=B} genau dann, wenn A ⊆ B {\displaystyle A\subseteq B} und B ⊆ A {\displaystyle B\subseteq A} gilt. Gleichheit von Ereignissen bedeutet also, dass das Ereignis A {\displaystyle A} das Ereignis B {\displaystyle B} in gleicher Weise nach sich zieht wie das Ereignis B {\displaystyle B} das Ereignis A {\displaystyle A} .
Die Schnittmenge A ∩ B {\displaystyle A\cap B} zweier Ereignisse ist wieder ein Ereignis. Es tritt genau dann ein, wenn A {\displaystyle A} und B {\displaystyle B} beide eintreten.
Wenn A ∩ B = ∅ {\displaystyle A\cap B=\emptyset } gilt, also das gemeinsame Eintreten von A {\displaystyle A} und B {\displaystyle B} unmöglich ist, dann sagt man, die zwei Ereignisse schließen einander aus. Die Ereignisse A {\displaystyle A} und B {\displaystyle B} werden dann auch disjunkt oder unvereinbar genannt.
Sind allgemeiner A 1 , A 2 , … {\displaystyle A_{1},A_{2},\ldots } Ereignisse, dann ist der Schnitt
⋂ n = 1 ∞ A n {\displaystyle \bigcap _{n=1}^{\infty }A_{n}}das Ereignis, das genau dann eintritt, wenn alle A n {\displaystyle A_{n}} eintreten. Die Ereignisse heißen paarweise disjunkt, wenn A m ∩ A n = ∅ {\displaystyle A_{m}\cap A_{n}=\emptyset } für alle m , n ∈ N {\displaystyle m,n\in \mathbb {N} } mit m ≠ n {\displaystyle m\neq n} gilt.
Auch die Vereinigungsmenge A ∪ B {\displaystyle A\cup B} zweier Ereignisse ist wieder ein Ereignis. Es tritt genau dann ein, wenn entweder A {\displaystyle A} oder B {\displaystyle B} oder beide Ereignisse eintreten. Anders ausgedrückt: A ∪ B {\displaystyle A\cup B} tritt ein, wenn mindestens eines der beiden Ereignisse A {\displaystyle A} oder B {\displaystyle B} eintritt.
Für die Wahrscheinlichkeit von Schnitt- und Vereinigungsmenge gilt stets die Formel
P ( A ∩ B ) + P ( A ∪ B ) = P ( A ) + P ( B ) . {\displaystyle P(A\cap B)+P(A\cup B)=P(A)+P(B)\,.}Speziell ist im Falle disjunkter Ereignisse P ( A ∪ B ) = P ( A ) + P ( B ) {\displaystyle P(A\cup B)=P(A)+P(B)} .
Sind allgemeiner A 1 , A 2 , … {\displaystyle A_{1},A_{2},\ldots } Ereignisse, dann ist die Vereinigung
⋃ n = 1 ∞ A n {\displaystyle \bigcup _{n=1}^{\infty }A_{n}}das Ereignis, das genau dann eintritt, wenn mindestens eines der A n {\displaystyle A_{n}} eintritt.
Es gilt stets die sogenannte σ-Subadditivität
P ( ⋃ n = 1 ∞ A n ) ≤ ∑ n = 1 ∞ P ( A n ) . {\displaystyle P\left(\bigcup _{n=1}^{\infty }A_{n}\right)\leq \sum _{n=1}^{\infty }P(A_{n})\,.}Im Falle paarweise disjunkter Ereignisse gilt hierbei Gleichheit.
Für die Wahrscheinlichkeit von beliebigen Vereinigungen endlich vieler Ereignisse gilt die Siebformel.
Das komplementäre Ereignis Ω ∖ A {\displaystyle \Omega \setminus A} tritt genau dann ein, wenn das Ereignis A {\displaystyle A} nicht eintritt. Es wird auch Gegenereignis genannt und mit A ¯ {\displaystyle {\overline {A}}} (alternativ auch mit A c {\displaystyle A^{\mathsf {c}}} ) bezeichnet. Seine Wahrscheinlichkeit ist
P ( A ¯ ) = 1 − P ( A ) . {\displaystyle P({\overline {A}})=1-P(A)\,.}Für die Komplemente von Schnitt- und Vereinigungsmengen gelten die de Morganschen Formeln
⋂ n = 1 ∞ A n ¯ = ⋃ n = 1 ∞ A n ¯ , {\displaystyle {\overline {\bigcap _{n=1}^{\infty }A_{n}}}=\bigcup _{n=1}^{\infty }{\overline {A_{n}}}\,,} ⋃ n = 1 ∞ A n ¯ = ⋂ n = 1 ∞ A n ¯ . {\displaystyle {\overline {\bigcup _{n=1}^{\infty }A_{n}}}=\bigcap _{n=1}^{\infty }{\overline {A_{n}}}\,.}Speziell für zwei Ereignisse gilt A ∩ B ¯ = A ¯ ∪ B ¯ {\displaystyle {\overline {A\cap B}}={\overline {A}}\cup {\overline {B}}} sowie A ∪ B ¯ = A ¯ ∩ B ¯ {\displaystyle {\overline {A\cup B}}={\overline {A}}\cap {\overline {B}}} .
Die Differenzmenge A ∖ B {\displaystyle A\setminus B} ist das Ereignis, das genau dann eintritt, wenn das Ereignis A {\displaystyle A} , aber nicht gleichzeitig das Ereignis B {\displaystyle B} eintritt. Es gilt
A ∖ B = A ∩ B ¯ . {\displaystyle A\setminus B=A\cap {\overline {B}}\,.}Für seine Wahrscheinlichkeit gilt P ( A ∖ B ) = P ( A ) − P ( A ∩ B ) {\displaystyle P(A\setminus B)=P(A)-P(A\cap B)} . Im Spezialfall B ⊆ A {\displaystyle B\subseteq A} folgt P ( A ∖ B ) = P ( A ) − P ( B ) {\displaystyle P(A\setminus B)=P(A)-P(B)} .
Eine weitere Mengenoperation ist die symmetrische Differenz
A △ B = ( A ∖ B ) ∪ ( B ∖ A ) = ( A ∪ B ) ∖ ( A ∩ B ) {\displaystyle A\bigtriangleup B=\left(A\setminus B\right)\cup \left(B\setminus A\right)=(A\cup B)\setminus (A\cap B)}zweier Ereignisse A {\displaystyle A} und B {\displaystyle B} . Das Ereignis A △ B {\displaystyle A\bigtriangleup B} tritt genau dann ein, wenn entweder A {\displaystyle A} oder B {\displaystyle B} eintritt (aber nicht beide), also wenn genau eines der beiden Ereignisse eintritt. Es gilt
P ( A △ B ) = P ( A ) + P ( B ) − 2 P ( A ∩ B ) . {\displaystyle P(A\bigtriangleup B)=P(A)+P(B)-2P(A\cap B)\,.}Die zwei Ereignisse A {\displaystyle A} und B {\displaystyle B} heißen voneinander unabhängig, wenn
P ( A ∩ B ) = P ( A ) ⋅ P ( B ) . {\displaystyle P(A\cap B)=P(A)\cdot P(B).}Unter Verwendung der Formel für die bedingte Wahrscheinlichkeit lässt sich das als
P ( A ) = P ( A ∣ B ) {\displaystyle P(A)=P(A\mid B)}schreiben, vorausgesetzt P ( B ) > 0 {\displaystyle P(B)>0} .
Allgemeiner heißt eine Familie ( A i ) i ∈ I {\displaystyle (A_{i})_{i\in I}} von Ereignissen unabhängig, wenn für jede endliche Teilmenge J ⊆ I {\displaystyle J\subseteq I} gilt:
P ( ⋂ j ∈ J A j ) = ∏ j ∈ J P ( A j ) . {\displaystyle P\left(\bigcap _{j\in J}A_{j}\right)=\prod _{j\in J}P(A_{j})\,.}Die Ereignisse heißen paarweise unabhängig, wenn
P ( A i ∩ A j ) = P ( A i ) ⋅ P ( A j ) {\displaystyle P(A_{i}\cap A_{j})=P(A_{i})\cdot P(A_{j})}für alle i , j ∈ I {\displaystyle i,j\in I} gilt. Unabhängige Ereignisse sind paarweise unabhängig, die Umkehrung gilt jedoch im Allgemeinen nicht.
Mitunter werden die einelementigen Ereignisse { ω } ⊆ Ω {\displaystyle \{\omega \}\subseteq \Omega } auch als Elementarereignisse bezeichnet. Ist Ω {\displaystyle \Omega } höchstens abzählbar, dann lässt sich durch Festlegen der Wahrscheinlichkeiten p ( ω ) := P ( { ω } ) {\displaystyle p(\omega ):=P(\{\omega \})} aller Elementarereignisse mit Hilfe von
P ( A ) = ∑ ω ∈ A p ( ω ) {\displaystyle P(A)=\sum _{\omega \in A}p(\omega )}die Wahrscheinlichkeit aller Ereignisse A ⊆ Ω {\displaystyle A\subseteq \Omega } bestimmen. Hierbei müssen die p ( ω ) {\displaystyle p(\omega )} so gewählt sein, dass 0 ≤ p ( ω ) ≤ 1 {\displaystyle 0\leq p(\omega )\leq 1} sowie
∑ ω ∈ Ω p ( ω ) = 1 {\displaystyle \sum _{\omega \in \Omega }p(\omega )=1}gilt.
Es ist allerdings zu beachten, dass mitunter in der Literatur die Ergebnisse ω ∈ Ω {\displaystyle \omega \in \Omega } selbst Elementarereignisse genannt werden. Diese sind dann jedoch keine Ereignisse, denn es handelt sich nicht um Teilmengen von Ω {\displaystyle \Omega } .
Weiterhin muss für ω ∈ Ω {\displaystyle \omega \in \Omega } die einelementige Menge { ω } {\displaystyle \{\omega \}} nicht unbedingt im Ereignisraum Σ {\displaystyle \Sigma } liegen. Sie ist dann kein Ereignis.
Ein Ereignis A {\displaystyle A} heißt fast sicher, falls P ( A ) = 1 {\displaystyle P(A)=1} gilt.
Ein Ereignis A {\displaystyle A} heißt fast unmöglich, falls P ( A ) = 0 {\displaystyle P(A)=0} gilt.
Bezogen auf ein System von Ereignissen A {\displaystyle {\mathcal {A}}} heißt ein Ereignis A ∈ A {\displaystyle A\in {\mathcal {A}}} atomares Ereignis, wenn es keine zwei Ereignisse E 1 , E 2 ∈ A {\displaystyle E_{1},E_{2}\in {\mathcal {A}}} mit A = E 1 ∪ E 2 {\displaystyle A=E_{1}\cup E_{2}} , A ≠ E 1 {\displaystyle A\neq E_{1}} , A ≠ E 2 {\displaystyle A\neq E_{2}} gibt.
EigenschaftenEin Ereignis A ∈ Σ {\displaystyle A\in \Sigma } heißt Atom des Wahrscheinlichkeitsraums ( Ω , Σ , P ) {\displaystyle (\Omega ,\Sigma ,P)} , falls P ( A ) > 0 {\displaystyle P(A)>0} gilt und falls für jedes Ereignis B ∈ Σ {\displaystyle B\in \Sigma } mit B ⊂ A {\displaystyle B\subset A} entweder P ( B ) = 0 {\displaystyle P(B)=0} oder P ( A ) = P ( B ) {\displaystyle P(A)=P(B)} gilt. Ein Wahrscheinlichkeitsraum heißt atomlos, wenn kein Ereignis ein Atom ist.
Atomlose Wahrscheinlichkeitsräume sind von Interesse, da sie reelle Zufallsvariablen mit stetiger Verteilungsfunktion zulassen. Insbesondere existiert eine Zufallsvariable mit einer stetigen Gleichverteilung auf dem Intervall ( 0 , 1 ) {\displaystyle (0,1)} .