MathProbabilityEvents and probabilities

Rules of sum, product, and complement

9 minutes read

Let's start this topic with the definition of dependent and independent events.

Dependence and independence of two events

Events AA and BB are independent if P(A)=P(AB)\mathbb{P}(A) = \mathbb{P}(A|B). In other words, the occurrence of one does not affect the probability of the occurrence of the other.

If we unfold P(AB)\mathbb{P}(A|B) in the definition, we can rewrite the definition of independent events: P(AB)=P(AB)P(B)\mathbb{P}(A|B) = \frac{\mathbb{P}(A \cap B)}{\mathbb{P}(B)} , and we can get the following equality P(AB)=P(A) P(B)\mathbb{P}(A \cap B) = \mathbb{P}(A) \ \mathbb{P}(B). This equality can be used as the definition of independent events.

The following events are independent:

  • AA - rolling 4 on a single 6-sided die, BB - rolling 1 on a second roll of the die;

  • 22 dice were rolled. AA - the number of points on the first one is greater than 33, BB - number of points on the second one is greater than 33;

  • Whole sample space Ω\Omega and event AA with zero probability.

We will see some interesting properties of independent events in the next sections.

The pairwise and mutual independence

Now we know what the phrase "events AA and BB are independent" means. But what does the phrase "events A1,A2,,AnA_1, A_2, \dots, A_n are independent" mean? With many events, it's impossible to understand the type of independence.

Events A1,A2,,AnA_1, A_2, \dots, A_n are pairwise independent if every pair of events is independent: P(AiAj)=P(Ai) P(Aj)\mathbb{P}(A_i \cap A_j) = \mathbb{P}(A_i) \ \mathbb{P}(A_j) for all iji \neq j.

Events A1,A2,,AnA_1, A_2, \dots, A_n are mutually independent if for every knk \leq n and for any subset of events of size kk the following equality is true: P(Ai1Ai2Aik)=P(Ai1) P(Ai2)  P(Aik)\mathbb{P}(A_{i_1} \cap A_{i_2} \cap {\dots} \cap A_{i_k}) = \mathbb{P}(A_{i_1}) \ \mathbb{P}(A_{i_2}) \ \dots \ \mathbb{P}(A_{i_k}).

It's easy to understand that if events A1,A2,AnA_1, A_2 \dots, A_n are mutually independent, then they are pairwise independent too (put k=2k = 2), but the converse is not necessarily true.

Let's look at Bernstein's example, which shows the difference between these two definitions.

Suppose we have a regular tetrahedron which has one side colored red, the second side - green, the third one - blue and the last contains all three colors. The tetrahedron is dropped on the desk. There are three events: RR - the lower side contains red, BB - it contains blue, and GG - it contains green.

tetrahedron

It's clear that P(R)=P(B)=P(G)=12\mathbb{P}(R) = \mathbb{P}(B) = \mathbb{P}(G) = \frac{1}{2} (22 of 44 sides are suitable) and P(RG)=14\mathbb{P}(R \cap G) = \frac{1}{4}. So events RR and GG are independent because P(RG)=P(R) P(G)=1212=14\mathbb{P}(R \cap G) = \mathbb{P}(R) \ \mathbb{P}(G) = \frac{1}{2} \cdot \frac{1}{2} = \frac{1}{4}. For other pairs, similarly. So, events R,G,BR, G, B are pairwise independent.

Let's check the definition of mutual independence: P(RGB)=14\mathbb{P}(R \cap G \cap B) = \frac{1}{4}, but P(R)P(B)P(G)=121212=1814\mathbb{P}(R)\mathbb{P}(B)\mathbb{P}(G) = \frac{1}{2} \cdot \frac{1}{2} \cdot \frac{1}{2} = \frac{1}{8} \neq \frac{1}{4}. So these events are not mutually independent.

Rules of sum, product, and complement

Rule of sum

The rule of the sum is the following equality: P(AB)=P(A)+P(B)P(AB)\mathbb{P}(A \cup B) = \mathbb{P}(A) + \mathbb{P}(B) - \mathbb{P}(A \cap B) . We can understand this rule intuitively just by looking at the picture:

two intersecting events A and B

We need to subtract P(AB)\mathbb{P}(A \cap B) because we added it twice in P(A)+P(B)\mathbb{P}(A) + \mathbb{P}(B).

But if the events AA and BB are mutually disjoint, which means AB=A \cap B = \varnothing, so the rule of sum looks simpler: P(AB)=P(A)+P(B)\mathbb{P}(A \cup B) = \mathbb{P}(A) + \mathbb{P}(B).

Let's look at an example. A fair 66-side die is rolled. What is the probability that the roll is an even number (event AA) or a prime (event BB) or both? It's clear that P(A)=P(B)=12\mathbb{P}(A) = \mathbb{P}(B) = \frac{1}{2} and P(AB)=16\mathbb{P}(A \cap B) = \frac{1}{6} (22 points). So, the answer P(AB)=12+1216=56\mathbb{P}(A \cup B) = \frac{1}{2} + \frac{1}{2} - \frac{1}{6} = \frac{5}{6}.

Summarizing, the rule of sum helps us calculate the probability that an event AA or an event BB or both would happen.

Rule of product

Actually, we saw this rule in the first paragraph, but let's write it one more time.

We know that P(AB)=P(AB) P(B)\mathbb{P}(A \cap B) = \mathbb{P}(A |B) \ \mathbb{P}(B) in general case. But if AA and BB are independent, then P(AB)=P(A) P(B)\mathbb{P}(A \cap B) = \mathbb{P}(A) \ \mathbb{P}(B). The last equality is called the rule of product. We can calculate the probability that event AA and event BB will happen using this rule.

If you read other topics related to events and probabilities, you have already seen an example of rolling 22 dice. And before you had to count all pairs, but now it's not necessary.

For example, what is the probability that each die will have a number of points greater than 33? For each die, this probability is 12\frac{1}{2}, so the answer is 1212=14\frac{1}{2} \cdot \frac{1}{2} = \frac{1}{4}.

Notice once again, we could use this rule only when AA and BB are independent!

Complement rule

Suppose that we have some event AA. We can consider the set AC:=ΩAA^C := \Omega \setminus A of all outcomes not contained in AA. This set is called the complement of AA. From the definition, it immediately follows that ACA^C doesn't intersect with AA and AAC=ΩA \cup A^C = \Omega. We can use the rule of the sum to get the complement rule: 1=P(Ω)=P(AAC)=P(A)+P(AC)1 = \mathbb{P}(\Omega) = \mathbb{P}(A \cup A^C) = \mathbb{P}(A) + \mathbb{P}(A^C).

This equality is called the complement rule: P(A)+P(AC)=1\mathbb{P}(A) + \mathbb{P}(A^C) = 1.

By this rule, we can calculate the probability that event AA won't happen. For example, if it's known that the probability of rain today is 0.20.2, then the probability that it won't rain is 10.2=0.81 - 0.2 = 0.8.

69 learners liked this piece of theory. 12 didn't like it. What about you?
Report a typo