Is the Probability Axiom Valid for Mutually Exclusive Events?

In summary, Fred believes that the probability for each i except one is 1- when mutually exclusive events are considered.
  • #1
Mathman23
254
0
Hi

I have this here probability axiom which I'm not sure what I have understood correctly.

Let [tex]B_1 \ldots B_n[/tex] be independent events

Then [tex]P(B_1 \mathrm{U} \ldots \mathrm{U} \ B_n) = 1[/tex] which is the same as

[tex]P(B_1) + P(B_2) + \ldots + P(B_n) = 1[/tex]

I would like to show that this only is valid if [tex]1 \leq k \leq n[/tex] such that

P(B_k) = 1.

Proof:

If [tex]1 \leq k \leq n[/tex], then [tex]P(E) = 1 [/tex](where E is the probability space).

Thereby it follows that [tex]P(B_1 U \ldots U \ B_n) = P(B_1) + P(B_2) + \ldots + P(B_n) = 1[/tex]

This can be written as the [tex]\sum_{n=1} ^{k} P(B_{n+1}) = P(B_{k}) =1[/tex]

Am I on the right track here?

Best Regards
Fred
 
Last edited:
Physics news on Phys.org
  • #2
I'm very confused by what you've written.


So I will just state some facts:

[tex]P(B_1 U \ldots U \ B_n) = P(B_1) + P(B_2) + \ldots + P(B_n)[/tex]

is true when the [itex]B_i[/itex] are disjoint -- this equation is usually false when they are independent.


If E is the event consisting of all possible outcomes, then P(E) = 1.

In fact, P(A) cannot be greater than 1 for any event A.
 
  • #3
Hi Herkyl and thank You for Your answer,

I have looked at it again and come to the conclusion that the proof should have said:

Let B_1 \ldots B_n be independent events. Show that

P(B_1 \mathrm{U} \ldots \mathrm{U} B_n)= 1, if and only if there exists a number 1 \leq k \leq n, such that P(B_k) = 1.


Proof:

If [tex]1 \leq k \leq n[/tex], then [tex]P(E) = 1 [/tex](where E is the probability space).

Thereby it follows that [tex]P(B_1 U \ldots U \ B_n) = P(B_1) + P(B_2) + \ldots + P(B_n) = 1[/tex]
Am I on the right path here now?
 
  • #4
Your theorem is false. "Heads" and "Tails" are independent events, neither P("Heads") nor P("Tails") is 1, but P("Heads" U "Tails") = 1
 
  • #5
No, heads and tails are not independent. P(Heads and Tails) is certainly unequal to P(Heads)*P(Tails).
 
  • #6
Hello can I change my original theorem to make it true?

If Yes, how?

Sincerely Fred

Hurkyl said:
No, heads and tails are not independent. P(Heads and Tails) is certainly unequal to P(Heads)*P(Tails).
 
  • #7
Okay, I guess I confused "independent" with "mutually exclusive".

If you have two independent events B, B', then:

[tex]P(B\cup B')[/tex]

[tex] = P((B\cap B'^C) \sqcup (B\cap B') \sqcup (B' \cap B^C))[/tex]

[tex] = P(B\cap B'^C) + P(B\cap B') + P(B' \cap B^C)[/tex]

[tex] = P(B)P(B'^C) + P(B)P(B') + P(B')P(B^C)[/tex]

[tex] = P(B)(1 - P(B')) + P(B)P(B') + P(B')(1 - P(B))[/tex]

[tex] = 1 - [P(B) - 1][P(B') - 1][/tex]

If [itex]P(B\cup B') = 1[/itex], then [P(B)-1][P(B') - 1] = 0, so either P(B) = 1 or P(B') = 1.
 
  • #8
Mathman23 said:
Hi

I have this here probability axiom which I'm not sure what I have understood correctly.

Let [tex]B_1 \ldots B_n[/tex] be independent events

Then [tex]P(B_1 \mathrm{U} \ldots \mathrm{U} \ B_n) = 1[/tex] which is the same as

[tex]P(B_1) + P(B_2) + \ldots + P(B_n) = 1[/tex]
If [itex]B_1, B_2, \ldots, B_n[/itex] are mutually exclusive then
[itex]P(B_1 and B_2 and... and B_n)= P(B_1)+ P(B_2)+ \ldots + P(B_n)[/itex]
follows from the definition of "mutually exclusive".
If, in addition, they exhaust all mutually exclusive events, then
[itex]P(B_1 and B_2 and... and B_n)= 1[/itex]

I would like to show that this only is valid if [tex]1 \leq k \leq n[/tex] such that

P(B_k) = 1.

Proof:

If [tex]1 \leq k \leq n[/tex], then [tex]P(E) = 1 [/tex](where E is the probability space).

Thereby it follows that [tex]P(B_1 U \ldots U \ B_n) = P(B_1) + P(B_2) + \ldots + P(B_n) = 1[/tex]

This can be written as the [tex]\sum_{n=1} ^{k} P(B_{n+1}) = P(B_{k}) =1[/tex]
? How does that follow from the above? If P(Bk)= 1 then it follows that P(Bi)= 0 for any i not equal to k and so
[itex]\sum_{n=1} ^{k} P(B_{n+1}) = P(B_{k}) =1[/itex][/quote] follows trivially. But you are claiming the converse: if the sum of probabilities is 1 then the probability for each i except one is 1- and that is not, in general, true.

Am I on the right track here?

Best Regards
Fred
 

FAQ: Is the Probability Axiom Valid for Mutually Exclusive Events?

What is a probability axiom?

A probability axiom is a fundamental rule or principle that serves as the basis for the mathematical concept of probability. It is a statement that is accepted as true without proof and is used to derive other mathematical theorems and formulas.

What are the three basic axioms of probability?

The three basic axioms of probability are the probability cannot be negative, the probability of an impossible event is 0, and the probability of a certain event is 1. These axioms help define the behavior of probabilities and allow for the calculation of probabilities in more complex scenarios.

Why are probability axioms important?

Probability axioms are important because they provide a framework for understanding and calculating probabilities in various situations. They allow for consistency and coherence in the field of probability and help ensure accurate and reliable results.

What is the difference between a probability axiom and a probability theorem?

A probability axiom is a fundamental rule or principle that serves as the basis for the mathematical concept of probability, while a probability theorem is a statement that can be proven using probability axioms and other mathematical principles. Axioms are accepted as true without proof, while theorems are derived from axioms and must be proven.

Can probability axioms be violated?

No, probability axioms cannot be violated. They are considered fundamental truths that cannot be disproven and are used to define the behavior of probabilities. If a calculation or scenario violates a probability axiom, it is likely that a mistake has been made in the calculation or that the scenario is not accurately represented.

Similar threads

Replies
3
Views
910
Replies
11
Views
920
Replies
4
Views
1K
Replies
4
Views
1K
Replies
4
Views
1K
Replies
23
Views
1K
Back
Top