Another proof using the axioms of probability

  • Thread starter phosgene
  • Start date
  • #1
145
1

Homework Statement



If A and B are events, use the axioms of probability to show that:

[itex]if B \subset A, then P(B) \leq P(A)[/itex]

Homework Equations



Axiom 1: [itex]P(n) \geq 0[/itex]

Axiom 2: [itex]P(S)=1[/itex]

Axiom 3: If A1,A2,... are disjoint sets, then [itex]P(\bigcup _{i} A_{i}) = \sum_{i} P(A_{i})[/itex]

The Attempt at a Solution



I start with using the law of total probability to define the set A:

[itex]A= (A \cap B) \cup (A \cap B^{C})[/itex]

Then I use axiom 3 to get turn it into a probability:

[itex]P(A) = P(A \cap B) + P(A \cap B^{C})[/itex]

Since [itex]B \subset A, P(A \cap B) = P(B)[/itex]

So

[itex]P(A) = P(B) + P(A \cap B^{C})[/itex]

[itex]P(B)=P(A) - P(A \cap B^{C})[/itex]

And as axiom 1 states that a probability must be greater than or equal to 0,

[itex]P(B) \leq P(A)[/itex]

As for proving the equality case, this means that [itex]P(A \cap B^{C}) = 0[/itex], but then doesn't that just mean that A=B. Since the question states that B is a *proper* subset of A, am I incorrect in thinking that it might be a typo?
 
Last edited:

Answers and Replies

  • #2
vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
15,134
1,732
And as axiom 1 states that a probability must be greater than 0
It says the probability must be greater than or equal to 0.
 
  • #3
145
1
Ok, fixed. But suppose that [itex]P(A \cap B^{C}) = 0[/itex], doesn't this mean that A=B?
 
  • #4
vela
Staff Emeritus
Science Advisor
Homework Helper
Education Advisor
15,134
1,732
Not necessarily. For example, say you have a continuous random variable X that's uniformly distributed on [0,1]. Let A=[0,1] and B=(0,1). Both P(A)=P(B)=1, but A≠B.
 
  • #5
145
1
[itex][/itex]I see, interesting..so basically, using axiom 1, I will get [itex]P(B) \leq P(A)[/itex], which completes my proof. Thanks :)
 

Related Threads on Another proof using the axioms of probability

  • Last Post
Replies
14
Views
3K
Replies
2
Views
2K
Replies
13
Views
23K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
4
Views
7K
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
4
Views
2K
Replies
4
Views
2K
  • Last Post
Replies
12
Views
1K
  • Last Post
Replies
1
Views
1K
Top