"|" is a given - We read "|" as "given", that is, means A occurring given that B occurred.
Conditional Probability - Suppose we observe event B and are interested in the probability of event A occurring given this information. Then,
Bayes’ Rule - This is arguably one of the most important concepts and tools you will learn in this course.
Bridging Conditional Probability and Sets
An intuitive way to visualize conditional probability is to think about the intersection of sets. In order to find the intersection of two different sets A and B, we establish one of these sets to be our sample space and find the likely occurrence of the other set within this established sample space.
Law of Total Probability (LOTP)
A common theme in this course is that it is far easier to solve a problem by breaking it down into smaller, simpler components than tackling it head-on. LOTP is one such tool. Suppose you want to find the probability of some event B, and you can partition the sample space into disjoint events . Then,
We often use LOTP with Bayes' rule! Specifically, the denominator of Bayes' rule, , is often difficult to calculate outright, so we will instead calculate it with LOTP.
Incorporating extra information is a simple extension of Bayes' rule and LOTP:
Disjoint, or mutually exclusive, events are events that cannot occur simultaneously. That is, observing event A precludes the possibility of also observing event B. We can state this equivalently as .
Independent events are events such that observing event B yields no information about the possibility of also observing event A. That is, conditioning on observing event B, the probability of observing event A is unchanged:
We can apply this result to Bayes’ rule and quickly demonstrate an alternative definition of independence:
Another form of independence is conditional independence. Two events A and B are said to be conditionally independent given C if
However, just as pairwise independence does not imply conditional independence, conditional independence does not imply pairwise independence.