The concept of conditional probability is based on the interpretation of a concept of knowledge-based probability. As was mentioned before, in the absence of any information about the outcomes of the experiment (no knowledge, no statistics from past results of the same experiment), we cannot give any preference to one outcome over the other and, if faced with the necessity to assign a probability measure to different elementary events that are the results of this experiment, have no other choice but to assign equal probability to each elementary event.
For a random experiment with N distinct outcomes this amounts to a probability of N1 for each elementary event.
Using the more formal definition of probability introduced in one of the prior lectures (see UNIZOR.COM - Probability), we deal with a finite set of N elements that represent our sample space with a measure of N1 allocated to each element reflecting the probability of each elementary event and, since our measure is additive, a measure of NM is assigned to any subset of our set that contains M elements and represents any random event. Logical operations on subsets - union, intersection and complement - represent logical OR, AND and NOT performed on description of different events
As our information about the random experiment grows (because of accumulated statistics or science-based research), we can redistribute the measures of probability differently among elementary events. From the set theory model of probability, we can redistribute a measure assigned to each element of our set that represents the sample space, consequently changing the measure of subsets that contain elements with newly assigned measure. What remains constant is the sum of all measures of all the elements, it always should be equal to 1.
The set theory model can be effectively demonstrated graphically with, say, a large area (like a rectangle) of the measure of 1 (in some units), representing a sample space, divided into N small areas, representing elementary events, each having a measure of N1. Any group of small areas represents an event with the probability equal to its combined measure - a sum of measures of all small areas inside it.
If we deal with an unequal distribution of probabilities, all we have to do in this model is to change the measure associated with each small area to reflect the difference, but to maintain the sum of all measures to be equal to 1.
Let's assume now that we have devised a random experiment, came up with N elementary events as its outcomes and assigned an initial probability of N1 to each. Assume further that later on we obtained a precise knowledge that certain elementary events that we included into our sample space never actually occur. Or, equivalently, we know that some elementary events (a proper subset of all elementary events) always occur. This knowledge could've been obtained as a result of some scientific research or based on our experience. Would it be fair to retain the distribution of the total measure of probability evenly among all elementary events, including those that never occur? The answer is NO. We have to re-distribute the probability among remaining elementary events and assign a probability of 0 to those elementary events that cannot occur.
Consider an example of rolling a dice that, because of some physical phenomenon, always ends up with an even number on top, and you know this property of the dice. Under this condition it would be wise to assign the probability of 31 to 2, 4 and 6, while numbers 1, 3 and 5 should be assigned the probability of 0.
Another example. You and a few others play Blackjack on a single deck of cards, and a dealer deals cards to players one-by-one. What is the probability of having a King as your first card? If you completely disregard what's going on at the table, you might assign a probability of 524=131 of this event because there are 4 Kings in a deck of 52 cards. But what if you've noticed that a person that receives the card before you got a King? Under this condition you have to reduce your probability to 513 because there are only 3 Kings left out of 51 cards. As you see, the knowledge of some special condition changes the distribution of probabilities.
Here is another example of changes in the distribution of probabilities under some conditions. We will use a graphical representation of the sample space as an area with a measure of 1 divided into smaller areas and an illustrative example of rolling two dice. In this case we start with a sample space as a 6x6 square divided into 36 smaller squares. The row represents the number on the first dice, the column - the number on the second dice. The measure of each small square equals to 361. Our task is to evaluate the probability of the second dice to show an even number on the top. There are three different values for the second dice, 2, 4 and 6, and six different values for the first dice. Graphically, all small squares in the column #2, column #4 and column #6 represent the event we are interested in. That makes the total number of pairs with the second dice showing an even number equal to 6⋅3=18. So, the probability of this event equals to 3618=21. We just calculated a fraction of the number of elementary events that satisfy our requirement relative to the number of all possible elementary events.
Assume now that we have a special pair of dice that always falls in such a way that a sum of two numbers they show equals to 6. That means that the measure of probability is not allocated evenly among all our 36 small squares, but is concentrated only among squares that represent pairs {1,5}, {2,4}, {3,3}, {4,2} and {5,1} - only five elementary events with a probability of each equaled to 51, while all other squares have a measure of 0. Now we have only two elementary events out of five that have a second number divisible by 2.
To properly calculate the probability of having an even second number, we make sure to account only theoretically possible outcomes. The total number of elementary events is reduced to only those five pairs making a sum of 6, as specified above. The elementary events that satisfy our requirement and are possible are those on intersection of all five possible and all 18 required elementary events, there are only 2 of them - {2,4} and {4,2}. That makes a probability to have the even second number, under condition that a sum of both numbers is 6, to be equal to 52.
The fact that our pair of dice fall only in a way that their sum equals to 6 is a condition of our experiment. This condition changes the distribution of probabilities among elementary events, which, in turn, changes all probabilities of random events.
These new probabilities of all events (including elementary) are called conditional probabilities.
Obviously, when talking about conditional probabilities, we must specify exactly the condition and understand how this condition affects the probabilities of elementary events. Combined with the knowledge of how any random event is constructed from elementary events, it allows us to calculate the conditional probability of this event.