Let us consider a probability measure of a measurable space . Further, let , valid for the entire post.
Venn diagram of a possible constellation of the sets and
Let us directly start with the formal definition of a conditional probability. Illustrations and explanations follow immediately afterwards.
Definition (Conditional Probability)
Let be a probability space and . The real value
is the probability of given that has occurred. is the probability that both events and occur and is the new basic set since .
A conditional probability, denoted by , is a probability measure of an event occurring, given that another event has already occurred. That is, reflects the probability that both events and occur relative to the new basic set .
The objective of is two-fold:
- Determine the probability of while
- Considering that has already occurred.
The last bullet-point 2. actually means since we know (by assumption, presumption, assertion or evidence) that has been occurred. In particular, cannot be a null set since . Due to the additivity of a probability space we get as . The knowledge about might be interpreted as an additional piece of information that we have received over time.
The following examples are going to illustrate this very basic concept.
Example (Default Rates)
Let us assume that represents the set of all defaulting companies in the world, and represents the defaulting companies in Germany. Hereby, we further assume . Let us further assume that the average probability of default of equals . If we restrict the population to defaulting companies located in Germany, our estimate can be updated by this knowledge. For instance, we could state that .
As a motivation of the above example, the latest S&P’s 2018 Annual Global Corporate Default And RatingTransition Study and 2018 CreditReform Default Study of German companies state average default rates.
An urn contains 3 white and 3 black balls. Two balls will be drawn successively without putting the balls back to the urn. We are interested in the event
“white ball in the second draw”
The probability of depends obviously on the result of the first draw. We distinguish two cases as follows.
- “First draw results in a white ball”
3 black and 2 white balls are left after the first draw. Hence, we have .
- “First draw results in a black ball”
2 black and 3 white balls are left after the first draw. Hence, we have .
Notice that . In addition, please realize that and / are independent since we have not put the ball back to the urn.
Let us consider the probability measure derived from the conditional probability in more detail.
Let be a probability space, and . The map
defines a probability measure on .
Apparently, since and for all . Further, . The -additivity follow by
As outlined in the last section of this post, the conditional probability is the probability that both events and occur relative to the new basic set . Let us transform the conditional probability formula as follows:
Hence, we can conclude that
Formula (1) is also called Bayes’ Rule or Bayes’ Theorem.