Checking the sum and product rules, and their consequences Key¶
Goal: Check using a very simple example that the Bayesian rules are consistent with standard probabilities based on frequencies. Also check notation and vocabulary.
Bayesian rules of probability as principles of logic¶
Notation: \(p(x \mid I)\) is the probability (or pdf) of \(x\) being true given information \(I\)
Sum rule: If set \(\{x_i\}\) is exhaustive and exclusive,
\[ \sum_i p(x_i \mid I) = 1 \quad \longrightarrow \quad \color{red}{\int\!dx\, p(x \mid I) = 1} \]cf. complete and orthonormal
implies marginalization (cf. inserting complete set of states or integrating out variables - but be careful!)
\[ p(x \mid I) = \sum_j p(x,y_j \mid I) \quad \longrightarrow \quad \color{red}{p(x \mid I) = \int\!dy\, p(x,y \mid I)} \]Product rule: expanding a joint probability of \(x\) and \(y\)
\[ \color{red}{ p(x,y \mid I) = p(x \mid y,I)\,p(y \mid I) = p(y \mid x,I)\,p(x \mid I)} \]If \(x\) and \(y\) are mutually independent: \(p(x \mid y,I) = p(x \mid I)\), then
\[ p(x,y \mid I) \longrightarrow p(x \mid I)\,p(y \mid I) \]Rearranging the second equality yields Bayes’ Rule (or Theorem)
\[ \color{blue}{p(x \mid y,I) = \frac{p(y \mid x,I)\, p(x \mid I)}{p(y \mid I)}} \]
See Cox for the proof.
Answer the questions in italics. Check answers with your neighbors. Ask for help if you get stuck or are unsure.¶
%%html
<style>
table { width:80% !important; }
table td, th { border: 1px solid black !important;
text-align:center !important;
font-size: 20px }
</style>
TABLE 1 |
Blue |
Brown |
Total |
|---|---|---|---|
Tall |
1 |
17 |
18 |
Short |
37 |
20 |
57 |
Total |
38 |
37 |
75 |
TABLE 2 |
Blue |
Brown |
Total |
|---|---|---|---|
Tall |
0.013 |
0.227 |
0.240 x |
Short |
0.493 |
0.267 |
0.760 x |
Total |
0.506 x |
0.494 x |
1.000 x |
Table 1 shows the number of blue- or brown-eyed and tall or short individuals in a population of 75. Fill in the blanks in Table 2 with probabilities (in decimals with three places, not fractions) based on the usual “frequentist” interpretations of probability (which would say that the probability of randomly drawing an ace from a deck of cards is 4/52 = 1/13). Add x’s in the row and/or column that illustrates the sum rule.
The table has been filled in. The third (last) column and the third (last) row each illustrate the sum rule.
What is \(p(short, blue)\)? Is this a joint or conditional probability? What is \(p(blue)\)?
From the product rule, what is \(p(short | blue)\)? Can you read this result directly from the table?
TABLE 2 |
Blue |
Brown |
Total |
|---|---|---|---|
Tall |
0.013 |
0.227 |
0.240 |
Short |
0.493 |
0.267 |
0.760 |
Total |
0.506 |
0.494 |
1.000 |
\(p(short,blue) = 0.493\ \). This is a joint probability.
\(p(blue) = 0.506\ \). Note that this is from the Total row.
The product rule says \(\ \ p(short, blue) = p(short|blue)\, p(blue)\ \), so \(p(short|blue) = 0.493/0.506 = 0.974\). This number does not appear anywhere in the table.
Apply Bayes’ theorem to find \(p(blue | short)\) from your answers to the last part.
TABLE 2 |
Blue |
Brown |
Total |
|---|---|---|---|
Tall |
0.013 |
0.227 |
0.240 |
Short |
0.493 |
0.267 |
0.760 |
Total |
0.506 |
0.494 |
1.000 |
Bayes’ theorem says
Be careful not to confuse this with the box for blue and short, which would give \(0.493\). We can also find it from the table by using the product rule \(\ \ p(blue|short) = p(blue,short)/p(short) = 0.493/0.760 = 0.648\).
What rule does the second row (the one starting with “Short”) illustrate? Write it out in \(p(\cdot)\) notation.
TABLE 2 |
Blue |
Brown |
Total |
|---|---|---|---|
Tall |
0.013 |
0.227 |
0.240 |
Short |
0.493 |
0.267 |
0.760 |
Total |
0.506 |
0.494 |
1.000 |
The second row illustrates marginalization: \(\ \ p(short,blue) + p(short,brown) = p(short)\).
Are the probabilities of being tall and having brown eyes mutually independent? Why or why not?
TABLE 2 |
Blue |
Brown |
Total |
|---|---|---|---|
Tall |
0.013 |
0.227 |
0.240 |
Short |
0.493 |
0.267 |
0.760 |
Total |
0.506 |
0.494 |
1.000 |
We can test for mutual independence by seeing whether the probability of tall and brown is the product of the individual probability of being tall multiplied by the individual probability of having brown eyes:
so they are not independent.