Principle of inclusion-exclusion proof

  • Context: Graduate 
  • Thread starter Thread starter mottov2
  • Start date Start date
  • Tags Tags
    Principle Proof
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
Sign up Log in
2 replies · 3K views
mottov2
Messages
13
Reaction score
0
There are 3 events A,B and C prove that

P(A[itex]\cup[/itex]B[itex]\cup[/itex]C) = P(A)+P(B)+P(C)-P(A[itex]\cap[/itex]B)-P(A[itex]\cap[/itex]C)-P(B[itex]\cap[/itex]C)+P(A[itex]\cap[/itex]B[itex]\cap[/itex]C)
each event is disjoint so by the additivity rule...

My attempt:
A[itex]\cup[/itex]B[itex]\cup[/itex]C = (A[itex]\cap[/itex]B[itex]\cap[/itex]C)[itex]\cup[/itex](A[itex]\cap[/itex][A[itex]\cap[/itex]B[itex]\cap[/itex]C]c)[itex]\cup[/itex]([B[itex]\cap[/itex]C][itex]\cap[/itex][A[itex]\cap[/itex]B[itex]\cap[/itex]C]c)[itex]\cup[/itex](C[itex]\cap[/itex]Ac[itex]\cap[/itex]([B[itex]\cap[/itex]C][itex]\cap[/itex][A[itex]\cap[/itex]B[itex]\cap[/itex]C]c)c)[itex]\cup[/itex](B[itex]\cap[/itex]Ac[itex]\cap[/itex]([B[itex]\cap[/itex]C][itex]\cap[/itex][A[itex]\cap[/itex]B[itex]\cap[/itex]C]c)c)

each event is disjoint so by the additivity rule...
P(A[itex]\cup[/itex]B[itex]\cup[/itex]C) = P(A[itex]\cap[/itex]B[itex]\cap[/itex]C)+P(A[itex]\cap[/itex][A[itex]\cap[/itex]B[itex]\cap[/itex]C]c)+P([B[itex]\cap[/itex]C][itex]\cap[/itex][A[itex]\cap[/itex]B[itex]\cap[/itex]C]c)+P(C[itex]\cap[/itex]Ac[itex]\cap[/itex]([B[itex]\cap[/itex]C][itex]\cap[/itex][A[itex]\cap[/itex]B[itex]\cap[/itex]C]c)c)+P(B[itex]\cap[/itex]Ac[itex]\cap[/itex]([B[itex]\cap[/itex]C][itex]\cap[/itex][A[itex]\cap[/itex]B[itex]\cap[/itex]C]c)c)

P(A[itex]\cap[/itex](A[itex]\cap[/itex]B[itex]\cap[/itex]C)c) = P(A)-P(A[itex]\cap[/itex]B[itex]\cap[/itex]C)
P((B[itex]\cap[/itex]C)[itex]\cap[/itex](A[itex]\cap[/itex]B[itex]\cap[/itex]C)c) = P(B[itex]\cap[/itex]C)-P(A[itex]\cap[/itex]B[itex]\cap[/itex]C)
P(C[itex]\cap[/itex]Ac[itex]\cap[/itex]([B[itex]\cap[/itex]C][itex]\cap[/itex][A[itex]\cap[/itex]B[itex]\cap[/itex]C]c)c) = P(C[itex]\cap[/itex](A[itex]\cap[/itex]C)c[itex]\cap[/itex]([B[itex]\cap[/itex]C][itex]\cap[/itex][A[itex]\cap[/itex]B[itex]\cap[/itex]C]c)c) = P(C)-P(A[itex]\cap[/itex]C)-P((B[itex]\cap[/itex]C)[itex]\cap[/itex](A[itex]\cap[/itex]B[itex]\cap[/itex]C)c) = P(C)-P(A[itex]\cap[/itex]C)-P(B[itex]\cap[/itex]C)+P(A[itex]\cap[/itex]B[itex]\cap[/itex]C)
P(B[itex]\cap[/itex]Ac[itex]\cap[/itex]([B[itex]\cap[/itex]C][itex]\cap[/itex][A[itex]\cap[/itex]B[itex]\cap[/itex]C]c)c) = P(B[itex]\cap[/itex](A[itex]\cap[/itex]B)c[itex]\cap[/itex]([B[itex]\cap[/itex]C][itex]\cap[/itex][A[itex]\cap[/itex]B[itex]\cap[/itex]C]c)c) = P(B)-P(A[itex]\cap[/itex]B)-P((B[itex]\cap[/itex]C)[itex]\cap[/itex](A[itex]\cap[/itex]B[itex]\cap[/itex]C)c) = P(B)-P(A[itex]\cap[/itex]B)-P(B[itex]\cap[/itex]C)+P(A[itex]\cap[/itex]B[itex]\cap[/itex]C)

then by substitution...

P(A[itex]\cup[/itex]B[itex]\cup[/itex]C) = P(A[itex]\cap[/itex]B[itex]\cap[/itex]C)+P(A)-P(A[itex]\cap[/itex]B[itex]\cap[/itex]C)+P(B[itex]\cap[/itex]C)-P(A[itex]\cap[/itex]B[itex]\cap[/itex]C)+P(C)-P(A[itex]\cap[/itex]C)-P(B[itex]\cap[/itex]C)+P(A[itex]\cap[/itex]B[itex]\cap[/itex]C)+P(B)-P(A[itex]\cap[/itex]B)-P(B[itex]\cap[/itex]C)+P(A[itex]\cap[/itex]B[itex]\cap[/itex]C)
= P(A)+P(B)+P(C)-P(A[itex]\cap[/itex]C)-P(A[itex]\cap[/itex]B)-P(B[itex]\cap[/itex]C)+P(A[itex]\cap[/itex]B[itex]\cap[/itex]C)

did i do this right? I feel like i may have overcomplicated it..
 
Last edited:
Physics news on Phys.org
Proof By Induction is a lot more elegant,but you have to be careful of your notation
 

Similar threads

How to Show Equality of Probabilities?
  • mathmari
  • · Replies 5 ·
  • Set Theory, Logic, Probability, Statistics
Replies
5
Undergrad Do These Probability Conditions Imply Independence of Events A, B, and C?
  • Patt
  • · Replies 7 ·
  • Set Theory, Logic, Probability, Statistics
Replies
7
Complement of independent events are independent
  • mathmari
  • · Replies 3 ·
  • Set Theory, Logic, Probability, Statistics
Replies
3
Probability that a randomly selected chicken has the genetic modification
  • mathmari
  • · Replies 10 ·
  • Set Theory, Logic, Probability, Statistics
Replies
10
Conditional probability prove or disprove
  • mathmari
  • · Replies 8 ·
  • Set Theory, Logic, Probability, Statistics
Replies
8
Proof of Sets: Proving (i) and (ii)
  • Mathick
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1
Undergrad How Does the Inclusion-Exclusion Principle Relate to Probability Theory?
  • Aslet
  • · Replies 8 ·
  • Set Theory, Logic, Probability, Statistics
Replies
8
Undergrad Ways to put n balls in m boxes such that exactly k boxes are empty?
  • Bata
  • · Replies 29 ·
  • Set Theory, Logic, Probability, Statistics
Replies
29
So the probability that at least one event occurs is 0.748.
  • schinb65
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1
Probability of Having a Totally Dominating Set (Probabilistic Methods)
  • joypav
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1