Probability P(A\B) = P(A) - P(B)

  • Thread starter Thread starter magicarpet512
  • Start date Start date
  • Tags Tags
    Probability
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 11K views
magicarpet512
Messages
36
Reaction score
0

Homework Statement


Let [itex]A \subseteq B \subseteq S[/itex] where [itex]S[/itex] is a sample space.
Show that [itex]P(A \setminus B) = P(A) - P(B)[/itex]


Homework Equations



[itex]A \setminus B[/itex] denotes set difference; these are probability functions.

The Attempt at a Solution


I have,
[itex]P(A \setminus B) = P(A \cap B^{C}) <br /> = P(A) - P(A \cap B) <br /> = P(A) - [P(B) - P(A^{c} \cap B)] <br /> = P(A) - P(B) + P(A^{c} \cap B)[/itex]

It seems like I'm close, but I've spent a while trying to figure out how to get rid of the [itex]P(A^{c} \cap B)[/itex].

Any insight anyone?
Thanks!
 
Physics news on Phys.org
I think your inclusion is backwards: you mean [itex]B \subseteq A \subseteq S[/itex], right?

Try writing A as the union of two disjoint sets--this will give you P(A) in terms of something that can be rearranged into what you're trying to prove.
 
spamiam said:
I think your inclusion is backwards: you mean [itex]B \subseteq A \subseteq S[/itex], right?

Yes, thank you.

spamiam said:
Try writing A as the union of two disjoint sets--this will give you P(A) in terms of something that can be rearranged into what you're trying to prove.

I've tried that... unless I'm missing something?
A as the union of disjoint sets is [itex]A = (A \cap B) \cup (A \cap B^{c})[/itex].
So, [itex]P(A) = P((A \cap B) + (A \cap B^{c})[/itex].
When i plug this in and do some rearranging, i just get right back to where i ended up in the original post?
 
magicarpet512 said:
I've tried that... unless I'm missing something?
A as the union of disjoint sets is [itex]A = (A \cap B) \cup (A \cap B^{c})[/itex].
So, [itex]P(A) = P((A \cap B) + (A \cap B^{c})[/itex].
When i plug this in and do some rearranging, i just get right back to where i ended up in the original post?

Ah I see, your calculations just went off in an unexpected direction after the third equality. Take a look at your third equality: since [itex]B \subseteq A[/itex], then what is [itex]A \cap B[/itex]?