2.3: Independent Events
- Page ID
- 3254
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)In this section we consider a property of events that relates to conditional probability, namely independence. First, we define what it means for a pair of events to be independent, and then we consider collections of more than two events.
Independence for Pairs of Events
The following definition provides an intuitive definition of the concept of independence for two events, and then we look at an example that provides a computational way for determining when events are independent.
Definition \(\PageIndex{1}\)
Events \(A\) and \(B\) are independent if knowing that one occurs does not affect the probability that the other occurs, i.e.,
$$P(A\ |\ B) = P(A) \quad\text{and}\quad P(B\ |\ A) = P(B). \label{indep}$$
Using the definition of conditional probability (Definition 2.2.1), we can derive an alternate way to the Equations \ref{indep} for determining when two events are independent, as the following example demonstrates.
Example \(\PageIndex{1}\)
Suppose that events \(A\) and \(B\) are independent. We rewrite Equations \ref{indep} using the definition of conditional probability:
$$P(A\ |\ B) = P(A) \quad \Rightarrow\quad \frac{P(A\cap B)}{P(B)} = P(A) \notag$$
$$ \text{and} \notag$$
$$P(B\ |\ A) = P(B) \quad \Rightarrow\quad \frac{P(A\cap B)}{P(A)} = P(B) \notag$$
In each of the expressions on the right-hand side above we isolate \(P(A\cap B)\):
$$\frac{P(A\cap B)}{P(B)} = P(A) \quad \Rightarrow\quad P(A\cap B) = P(A)P(B) \notag$$
$$ \text{and} \notag$$
$$\frac{P(A\cap B)}{P(A)} = P(B) \quad \Rightarrow\quad P(A\cap B) = P(A)P(B) \notag$$
Both expressions result in \(P(A\cap B) = P(A)P(B)\). Thus, we have shown that if events \(A\) and \(B\) are independent, then the probability of their intersection is equal to the product of their individual probabilities. We state this fact in the next definition.
Definition \(\PageIndex{2}\)
Events \(A\) and \(B\) are independent if $$P(A\cap B) = P(A)P(B).\notag$$
Generally speaking, Definition 2.3.2 tends to be an easier condition than Definition 2.3.1 to verify when checking whether two events are independent.
Example \(\PageIndex{2}\)
Consider the context of Exercise 2.2.1, where we randomly draw a card from a standard deck of 52 and \(C\) denotes the event of drawing a club, \(K\) the event of drawing a King, and \(B\) the event of drawing a black card.
Are \(C\) and \(K\) independent events? Recall that \(P(C\cap K) = 1/52\), and note that \(P(C) = 13/52\) and \(P(K) = 4/52\). Thus, we have
$$P(C\cap K) = \frac{1}{52} = P(C)P(K) = \frac{13}{52}\times\frac{4}{52},\notag$$
indicating that \(C\) and \(K\) are independent.
Are \(C\) and \(B\) independent events? Recall that \(P(C\cap B) = 13/52\), and note that \(P(B) = 26/52\). Thus, we have
$$P(C\cap B) = \frac{13}{52} \neq P(C)P(B) = \frac{13}{52}\times\frac{26}{52},\notag$$
indicating that \(C\) and \(B\) are not independent.
Let's think about the results of this example intuitively. To say that \(C\) and \(K\) are independent means that knowing that one of the events occurs does not affect the probability of the other event occurring. In other words, knowing that the card drawn is a King does not influence the probability of the card being a club. The proportion of clubs in the entire deck of 52 is the same as the proportion of clubs in just the collection of Kings: \(1/4\). On the other hand, \(C\) and \(B\) are not independent (AKA dependent) because knowing that the card drawn is club indicates that the card must be black, i.e., the probability that the card is black is 1. Alternately, knowing that the card drawn is black increases the probability that the card is a club, since the proportion of clubs in the entire deck is \(1/4\), but the proportion of clubs in the collection of black cards is \(1/2\).
Independence for 3 or More Events
For collections of 3 or more events, there are two different types of independence.
Definition \(\PageIndex{3}\)
Let \(A_1, A_2, \ldots, A_k\), where \(k\geq3\), be a collection of events.
- The events are pairwise independent if every pair of events in the collection is independent.
- The events are mutually independent if every sub-collection of events, say \(A_{i_1}, A_{i_2}, \ldots, A_{i_n}\), satisfy the following:
$$P(A_{i_1}\cap A_{i_2}\cap \ldots \cap A_{i_n}) = P(A_{i_1})\times P(A_{i_2})\times \ldots\times P(A_{i_n})\notag$$
Mutually independent is a stronger type of independence, since it implies pairwise independent. But pairwise independence does NOT imply mutual independence, as the following example will demonstrate.
Example \(\PageIndex{3}\)
Consider again the context of Example 1.1.1, i.e., tossing a fair coin twice, and define the following events:
$$A = \text{first toss is heads}\notag$$
$$B = \text{second toss is heads}\notag$$
$$C = \text{exactly one head is recorded} \notag$$
We show that this collection of events - \(A, B, C\) - is pairwise independent, but NOT mutually independent. First, we note that the individual probabilities of each event are \(0.5\):
$$P(A) = P(\{hh, ht\}) = 0.5 \notag$$
$$P(B) = P(\{hh, th\}) = 0.5 \notag$$
$$P(C) = P(\{ht, th\}) = 0.5 \notag$$
Next, we look at the probabilities of all pairwise intersections to establish pairwise independence:
$$P(A\cap B) = P(hh) = 0.25 = P(A)P(B) \notag$$
$$P(A\cap C) = P(ht) = 0.25 = P(A)P(C) \notag$$
$$P(B\cap C) = P(th) = 0.25 = P(B)P(C) \notag$$
However, note that the three events do not have any outcomes in common, i.e., \(A\cap B\cap C = \varnothing\). Thus, we have
$$P(A\cap B\cap C) = 0 \neq P(A)P(B)P(C),\notag$$
and so the events are not mutually independent.