Event (probability theory)
In probability theory, an event (also a random event ) is part of a set of results from a random experiment to which a probability can be assigned. For example, the event “throwing an even number” is assigned to the subset of the total amount of all possible results (the result space ). It is said that an event occurs when it contains the result of the random experiment as an element.
The event that is identical to the result set is called a certain event , since it always occurs. In contrast, the event identical to the empty set is called an impossible event : it never occurs. In the example of the die roll , the sure event is the set and the impossible event is the set .
The events are those sets to which one later wants to assign a probability by means of a probability measure . In the more general framework of measure theory , the events are also called measurable quantities .
Finite result set
The result set is given
provided with the event system
Then, for example, the sets and the sets are events because they are contained in the event system. The crowd is not an event. Although it is a subset of the result set, it is not contained in the event system. Since the event system is a σ-algebra, the result set and the empty set are always events.
Discrete result set
For arbitrary discrete result sets , i.e. those with at most a countable infinite number of elements, the power set is usually used as the event system. Then every subset of the result set is an event, since the power set is exactly the set of all subsets.
Real result sets
For real result sets, one usually uses Borel's σ-algebra as the event system. Here, for example, are all open intervals, i.e. sets of the form with , events. In fact, these systems of sets are so large that almost anything that can be meaningfully defined is an event. However, there are sets that are not events, such as the Vitali sets .
Set operations with events
If a result of a random experiment and an event, then one also says in the case : the event occurs .
Subsets and equality
If an event is a subset of another event (noted as ), then the event always occurs with the event . One then also says: the event leads to the event . The following applies to the probabilities in this case . That means: if the event leads to the event , then the probability of is at least as great as that of .
It applies exactly if and applies. The equality of events means that the event entails the event in the same way as the event entails the event .
Intersection and disjointness
The intersection of two events is again an event. It occurs exactly when and both occur.
If it is true, i.e. the joint occurrence of and is impossible, then we say that the two events are mutually exclusive . The events and are then also called disjoint or incompatible .
If events are more general , then the cut is made
the event that occurs exactly when all occur. The events are called pairwise disjoint if applies to all with .
The union of two events is also an event. It occurs exactly when either or or both events occur. In other words: occurs when at least one of the two events or occurs.
The formula always applies to the probability of intersection and union
Special is in the case of disjoint events .
If more general events are, then the union
the event that occurs exactly when at least one of the occurs.
The so-called σ-subadditivity always applies
In the case of pairwise disjoint events, equality applies here.
The sieving formula holds for the probability of arbitrary associations of finitely many events .
Complete event system
A family of events that are pairwise disjoint and the union of which results in a whole is also called a complete event system or disjoint decomposition of (in general: a partition of ). In this case, for each result of the random experiment exactly one of the events of the disjoint decomposition occurs.
Complement and difference
The complementary event occurs exactly when the event does not occur. It is also called a counter-event and is designated with (alternatively also with ). Its probability is
The same applies to two events as well .
The difference set is the event that occurs exactly when the event occurs , but not at the same time as the event . It applies
The following applies to its probability . In special cases it follows .
Another set operation is the symmetric difference
two events and . The event occurs exactly when either or occurs (but not both), i.e. when exactly one of the two events occurs. It applies
The two events and are called independent of each other if
Using the formula for the conditional probability, this can be expressed as
write, provided .
More generally, a family of events is said to be independent if for every finite subset :
The events are called pairwise independent if
applies to all . Independent events are pairwise independent, but the reverse is generally not true.
Act of God
The single-element events are sometimes also referred to as elementary events . Is at most countable , then by defining the probabilities of all elementary events with the help of
determine the probability of all events . They must be chosen so that as well as
It should be noted, however, that the results themselves are sometimes referred to in the literature as natural events. However, these are then not events because they are not subsets of .
Furthermore, the one-element set does not necessarily have to be in the event space. It is then not an event.
- Norbert Henze : Stochastics for Beginners: An Introduction to the Fascinating World of Chance. 10th edition, Springer Spectrum, Wiesbaden 2013, ISBN 978-3-658-03076-6 , doi : 10.1007 / 978-3-658-03077-3 . Pp. 5–9, 283 ( excerpt (Google) )
- Rainer Schlittgen : Introduction to Statistics. 9th edition. Oldenbourg Wissenschaftsverlag, Oldenbourg 2000, ISBN 3-486-27446-5
- Klaus D. Schmidt: Measure and probability. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89729-3 , p. 195.