Definition
Conditional Probability
Conditional probability is the probability of an event after restricting attention to the case where another event is known to occur.
In a probability space
, let be events with . The conditional probability of given is The event
becomes the new effective sample space. Within that restricted world, happens exactly on the overlap .
Derivation
Conditioning on
For an event
To turn this restricted probability into an ordinary probability again, the new world
The normalisation condition is
Substituting
Since
Thus the probability of
This restricted probability measure is written as
Independence
If two events
Therefore: