Axioms of Probability - Purdue...

69
Axioms of Probability Samy Tindel Purdue University Probability - MA 416 Mostly taken from A first course in probability by S. Ross Samy T. Axioms Probability Theory 1 / 69

Transcript of Axioms of Probability - Purdue...

Page 1: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Axioms of Probability

Samy Tindel

Purdue University

Probability - MA 416

Mostly taken from A first course in probabilityby S. Ross

Samy T. Axioms Probability Theory 1 / 69

Page 2: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Outline

1 Introduction

2 Sample space and events

3 Axioms of probability

4 Some simple propositions

5 Sample spaces having equally likely outcomes

6 Probability as a continuous set function

Samy T. Axioms Probability Theory 2 / 69

Page 3: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Outline

1 Introduction

2 Sample space and events

3 Axioms of probability

4 Some simple propositions

5 Sample spaces having equally likely outcomes

6 Probability as a continuous set function

Samy T. Axioms Probability Theory 3 / 69

Page 4: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Global objective

Aim: IntroduceSample spaceEvents of an experimentProbability of an eventShow how probabilities can be computed in certain situations

Samy T. Axioms Probability Theory 4 / 69

Page 5: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Outline

1 Introduction

2 Sample space and events

3 Axioms of probability

4 Some simple propositions

5 Sample spaces having equally likely outcomes

6 Probability as a continuous set function

Samy T. Axioms Probability Theory 5 / 69

Page 6: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Sample space

Situation: We run an experiment for whichSpecific outcome is unknownSet S of possible outcomes is known

Terminology:

In the context above S is called sample space

Samy T. Axioms Probability Theory 6 / 69

Page 7: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Examples of sample spaces

Tossing two dice: We have

S = {1, 2, 3, 4, 5, 6}2

= {(i , j); i , j = 1, 2, 3, 4, 5, 6}

Lifetime of a transistor: We have

S = R+ = {x ∈ R; 0 ≤ x <∞}

Samy T. Axioms Probability Theory 7 / 69

Page 8: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Events

ConsiderExperiment with sample space SA subset E of S

Then

E is called event

Definition 1.

Samy T. Axioms Probability Theory 8 / 69

Page 9: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example of event (1)

Tossing two dice: We have

S = {1, 2, 3, 4, 5, 6}2

Event: We define

E = (Sum of dice is equal to 7)

Samy T. Axioms Probability Theory 9 / 69

Page 10: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example of event (2)

Description of E as a subset:

E = {(1, 6); (2, 5); (3, 4); (4, 3); (5, 2); (6, 1)} ⊂ S

Samy T. Axioms Probability Theory 10 / 69

Page 11: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Second example of event (1)

Lifetime of a transistor: We have

S = R+ = {x ∈ R; 0 ≤ x <∞}

Event: We define

E = (Transistor does not last longer than 5 hours)

Samy T. Axioms Probability Theory 11 / 69

Page 12: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Second example of event (2)

Description of E as a subset:

E = [0, 5] ⊂ S

Samy T. Axioms Probability Theory 12 / 69

Page 13: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Operations on eventsComplement: E c is the set of elements of S not in E

Two dice example:

E c = "Sum of two dice different from 7"

Union, Intersection: For the two dice example, if

B = "Sum of two dice is divisible by 3"C = "Sum of two dice is divisible by 4"

Then

B ∪ C = "Sum of two dice is divisible by 3 or 4"B ∩ C = BC = "Sum of two dice is divisible by 3 and 4"

Samy T. Axioms Probability Theory 13 / 69

Page 14: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Illustration (1)

Union and intersection:

Samy T. Axioms Probability Theory 14 / 69

Page 15: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Illustration (2)

Complement:

Samy T. Axioms Probability Theory 15 / 69

Page 16: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Illustration (3)

Subset:

Figure: E ⊂ F

Samy T. Axioms Probability Theory 16 / 69

Page 17: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Laws for elementary operations

Commutative law:

E ∪ F = F ∪ E , EF = FE

Associative law:

(E ∪ F ) ∪ G = E ∪ (F ∪ G) , E (FG) = (EF )G

Distributive laws:

(E ∪ F )G = EG ∪ EG(EF ) ∪ G = (E ∪ G)(F ∪ G)

Samy T. Axioms Probability Theory 17 / 69

Page 18: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

IllustrationDistributive law:

Figure: (E ∪ F )G = EG ∪ FG

Samy T. Axioms Probability Theory 18 / 69

Page 19: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

De Morgan’s laws

LetS sample spaceE1, . . . ,En events

Then ( n⋃i=1

Ei

)c

=n⋂

i=1E c

i( n⋂i=1

Ei

)c

=n⋃

i=1E c

i

Proposition 2.

Samy T. Axioms Probability Theory 19 / 69

Page 20: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Proof (1)

Proof of (∪ni=1Ei)c ⊂ ∩n

i=1E ci :

Assume x ∈ (∪ni=1Ei)c Then

x 6∈ ∪ni=1Ei =⇒ for all i ≤ n, x 6∈ Ei

=⇒ for all i ≤ n, x ∈ E ci

=⇒ x ∈ ∩ni=1E c

i

Samy T. Axioms Probability Theory 20 / 69

Page 21: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Proof (2)

Proof of ∩ni=1E c

i ⊂ (∪ni=1Ei)c :

Assume x ∈ ∩ni=1E c

i Then

for all i ≤ n, x ∈ E ci =⇒ for all i ≤ n, x 6∈ Ei

=⇒ x 6∈ ∪ni=1Ei

=⇒ x ∈ (∪ni=1Ei)c

Samy T. Axioms Probability Theory 21 / 69

Page 22: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Outline

1 Introduction

2 Sample space and events

3 Axioms of probability

4 Some simple propositions

5 Sample spaces having equally likely outcomes

6 Probability as a continuous set function

Samy T. Axioms Probability Theory 22 / 69

Page 23: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Definition of probability

A probability is an application which assigns a number (chancesto occur) to any event E . It must satisfy 3 axioms

1

0 ≤ P(E ) ≤ 1

2

P(S) = 1

3 If EiEj = ∅ for i , j ≥ 1 such that i 6= j , then

P( ∞⋃

i=1Ei

)=∞∑

i=1P (Ei)

Definition 3.

Samy T. Axioms Probability Theory 23 / 69

Page 24: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Easy consequence of the axioms

Let P be a probability on S. Then1

P (∅) = 02 For n ≥ 1,

if EiEj = ∅ for 1 ≤ i , j ≤ n such that i 6= j then

P( n⋃

i=1Ei

)=

n∑i=1

P (Ei)

Proposition 4.

Samy T. Axioms Probability Theory 24 / 69

Page 25: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: dice tossing

Experiment: tossing one dice

Model: S = {1, . . . , 6} and

P ({s}) = 16 , for all s ∈ S

Probability of an event: If E = "even number obtained", then

P(E ) = P({2, 4, 6}) = P ({2} ∪ {4} ∪ {6})

= P ({2}) + P ({4}) + P ({6}) = 36 = 1

2

Samy T. Axioms Probability Theory 25 / 69

Page 26: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Outline

1 Introduction

2 Sample space and events

3 Axioms of probability

4 Some simple propositions

5 Sample spaces having equally likely outcomes

6 Probability as a continuous set function

Samy T. Axioms Probability Theory 26 / 69

Page 27: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Probability of a complement

LetP a probability on a sample space SE an event

ThenP (E c) = 1− P(E )

Proposition 5.

Samy T. Axioms Probability Theory 27 / 69

Page 28: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Proof

Use Axioms 2 and 3:

1 = P(S) = P (E ∪ E c) = P (E ) + P (E c)

Samy T. Axioms Probability Theory 28 / 69

Page 29: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Probability of a subset

LetP a probability on a sample space SE ,F two events, such that E ⊂ F

ThenP(E ) ≤ P(F )

Proposition 6.

Samy T. Axioms Probability Theory 29 / 69

Page 30: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Proof

Decomposition of F : Write

F = E ∪ E cF

Use Axioms 1 and 3: Since E and E cF are disjoint,

P(F ) = P (E ∪ E cF ) = P (E ) + P (E cF ) ≥ P(E )

Samy T. Axioms Probability Theory 30 / 69

Page 31: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Probability of a non disjoint union

LetP a probability on a sample space SE ,F two events

ThenP(E ∪ F ) = P(E ) + P(F )− P(E ∩ F )

Proposition 7.

Samy T. Axioms Probability Theory 31 / 69

Page 32: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Proof

Decomposition of E ∪ F :

E ∪ F = I ∪ II ∪ III

Samy T. Axioms Probability Theory 32 / 69

Page 33: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Proof (2)

Decomposition for probabilities: We have

P(E ∪ F ) = P(I) + P(II) + P(III)P(E ) = P(I) + P(II)P(F ) = P(II) + P(III)

Conclusion: Since II = E ∩ F , we get

P(E ∪ F ) = P(E ) + P(F )− P(II)= P(E ) + P(F )− P(E ∩ F )

Samy T. Axioms Probability Theory 33 / 69

Page 34: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Application of Propositions 5 and 7

Experiment: dice tossing↪→ S = {1, . . . , 6} and P ({s}) = 1

6 for all s ∈ S

Events: We consider the 2 events

A = "even outcome"B = "outcome multiple of 3"

Samy T. Axioms Probability Theory 34 / 69

Page 35: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Application of Propositions 5 and 7 (Ctd)Experiment: dice tossing↪→ S = {1, . . . , 6} and P ({s}) = 1

6 for all s ∈ S

Events:We consider A = "even outcome" and B = "outcome multiple of 3"⇒ A = {2, 4, 6} and B = {3, 6}⇒ P(A) = 1/2 and P(B) = 1/3

Applying Propositions 5 and 7:P(Ac) = 1− P(A) = 1/2P(A ∪ B) = P(A) + P(B)− P(A ∩ B) = 1/2 + 1/3− P({6}) = 2/3

Verification:Ac = {1, 3, 5} ⇒ P(Ac) = 1/2A ∪ B = {2, 3, 4, 6} ⇒ P(A ∪ B) = 4/6 = 2/3

Samy T. Axioms Probability Theory 35 / 69

Page 36: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Inclusion-exclusion identity

LetP a probability on a sample space Sn events E1, . . . ,En

Then

P( n⋃

i=1Ei

)=

n∑r=1

(−1)r+1 ∑1≤i1<···<ir≤n

P (Ei1 · · ·Eir )

Proposition 8.

Samy T. Axioms Probability Theory 36 / 69

Page 37: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Proof for n = 3

Apply Proposition 7:

P (E1 ∪ E2 ∪ E3) = P (E1 ∪ E2) + P (E3)− P ((E1 ∪ E2)E3)= P (E1 ∪ E2) + P (E3)− P (E1E3 ∪ E2E3)

Apply Proposition 7 to E1 ∪ E2 and E1E3 ∪ E2E3:

P (E1 ∪ E2 ∪ E3) =∑

1≤i1≤3P (Ei1)−

∑1≤i1<i2≤3

P (Ei1Ei2) + P (E1E2E3)

Case of general n: By induction

Samy T. Axioms Probability Theory 37 / 69

Page 38: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Bounds for P(∪ni=1Ei)

LetP a probability on a sample space Sn events E1, . . . ,En

Then

P( n⋃

i=1Ei

)≤

∑1≤i≤n

P (Ei)

P( n⋃

i=1Ei

)≥

∑1≤i≤n

P (Ei)−∑

1≤i1<i2≤nP (Ei1Ei2)

Proposition 9.

Samy T. Axioms Probability Theory 38 / 69

Page 39: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Bounds for P(∪ni=1Ei) – Ctd

LetP a probability on a sample space Sn events E1, . . . ,En

Then

P( n⋃

i=1Ei

)≤

∑1≤i≤n

P (Ei)−∑

1≤i1<i2≤nP (Ei1Ei2) +

∑1≤i1<i2<i3≤n

P (Ei1Ei2Ei3)

Proposition 10.

Samy T. Axioms Probability Theory 39 / 69

Page 40: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

ProofNotation: Set

Bi = E c1 · · ·E c

i−1

Identity:

P (∪ni=1Ei) = P(E1) +

n∑i=2

P (BiEi)

Second identity: Since Bi = (∪j<iEj)c ,

P (BiEi) = P (Ei)− P (∪j<iEjEi)

Partial conclusion:

P (∪ni=1Ei) =

∑1≤i≤n

P(Ei)−∑

1≤i≤nP (∪j<iEjEi)

Samy T. Axioms Probability Theory 40 / 69

Page 41: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Proof (2)Recall:

P (∪ni=1Ei) =

∑1≤i≤n

P(Ei)−∑

1≤i≤nP (∪j<iEjEi) (1)

Direct consequence of (1):

P (∪ni=1Ei) ≤

∑1≤i≤n

P(Ei) (2)

Application of (2) to P(∪j<iEjEi):

P (∪j<iEjEi) ≤∑j<i

P (EjEi)

Plugging into (1) we get

P (∪ni=1Ei) ≥

∑1≤i≤n

P(Ei)−∑j<i

P (EjEi)

Samy T. Axioms Probability Theory 41 / 69

Page 42: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Outline

1 Introduction

2 Sample space and events

3 Axioms of probability

4 Some simple propositions

5 Sample spaces having equally likely outcomes

6 Probability as a continuous set function

Samy T. Axioms Probability Theory 42 / 69

Page 43: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

ModelHypothesis: We assume

S = {s1, . . . , sN} finite.P({si}) = 1

N for all 1 ≤ i ≤ N

Alert:This is an important but very particular case of probability space

Example: tossing 4 dice↪→ S = {1, . . . , 6}4 and

P({(1, 1, 1, 1)}) = P({(1, 1, 1, 2)}) = · · · = P({(6, 6, 6, 6)})

= 164 = 1

1296

Samy T. Axioms Probability Theory 43 / 69

Page 44: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Computing probabilities

Hypothesis: We assumeS = {s1, . . . , sN} finite.P({si}) = 1

N for all 1 ≤ i ≤ N

In this situation, let E ⊂ S be an event. Then

P(E ) = Card(E )N = |E |N = # outcomes in E

# outcomes in S

Proposition 11.

Samy T. Axioms Probability Theory 44 / 69

Page 45: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: tossing one dice

Model: tossing one dice, that is

S = {1, . . . , 6}, P({si}) = 16

Computing a simple probability: Let E = "even outcome". Then

P(E ) = |E |N = 36 = 1

2

Main problem: compute |E | in more complex situations↪→ Counting

Samy T. Axioms Probability Theory 45 / 69

Page 46: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: drawing balls (1)

Situation: We haveA bowl with 6 White and 5 Black ballsWe draw 3 balls

Problem: Compute

P(E ), with E = ”Draw 1 W and 2 B”

Samy T. Axioms Probability Theory 46 / 69

Page 47: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: drawing balls (2)

Model 1: We takeS = {Ordered triples of balls, tagged from 1 to 11}P = Uniform probability on S

Computing |S|: We have

|S| = 11 · 10 · 9 = 990

Decomposition of E : We have

E = WBB ∪ BWB ∪ BBW

Samy T. Axioms Probability Theory 47 / 69

Page 48: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: drawing balls (3)

Counting E :

|E | = |WBB|+ |BWB|+ |BBW| = 3× (6× 5× 4) = 360

Probability of E : We get

P(E ) = |E ||S| = 360

990 = 411 = 36.4%

Samy T. Axioms Probability Theory 48 / 69

Page 49: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: drawing balls (4)Model 2: We take

S = {Non ordered triples of balls, tagged from 1 to 11}P = Uniform probability on S

Computing |S|: We have

|S| =(113

)= 165

Decomposition of E : We have

E = {Triples with 2 B and 1 W}

Samy T. Axioms Probability Theory 49 / 69

Page 50: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: drawing balls (5)

Counting E :

|E | =(52

)×(61

)= 60

Probability of E : We get

P(E ) = |E ||S| = 60

165 = 411 = 36.4%

Remark:When experiment ≡ draw k objects from n objects, two choices:

1 Considered the ordered set of possible draws2 Consider the draws as unordered

Samy T. Axioms Probability Theory 50 / 69

Page 51: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: poker game (1)Situation: Deck of 52 cards and

Hand: 5 cardsStraight: distinct consecutive values, not of the same suit

Problem: Compute

P(E ), with E = ”Straight is drawn”

Samy T. Axioms Probability Theory 51 / 69

Page 52: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: poker game (2)Model: We take

S = {Non ordered hands of cards}P = Uniform probability on S

Computing |S|: We have

|S| =(525

)= 2, 598, 960

Decomposition of E : We have

E = {Straight hands}

Samy T. Axioms Probability Theory 52 / 69

Page 53: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: poker game (3)

Counting E : We have# possible 1,2,3,4,5: 45

# possible 1,2,3,4,5 not of the same suit: 45 − 4# possible values of straights: 10

Thus|E | = 10(45 − 4) = 10, 200

Probability of E : We get

P(E ) = |E ||S| = 10(45 − 4)(

525

) = 0.39%

Samy T. Axioms Probability Theory 53 / 69

Page 54: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: roommate pairing (1)

Situation: We haveA football team with 20 Offensive and 20 Defensive playersPlayers are paired by 2 for roommatesPairing made at random

Problem: Find probability of1 No offensive-defensive roommate pairs2 2i offensive-defensive roommate pairs

Samy T. Axioms Probability Theory 54 / 69

Page 55: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: roommate pairing (2)Model: We take

S = {Non ordered pairings of 40 players}P = Uniform probability on S

Computing |S|: We have

|S| = 120!

(40

2, 2, . . . , 2

)= 40!

220 20! ' 3.20 1023

First event E0: We set

E0 = {No Offensive-Defensive pairing}

Samy T. Axioms Probability Theory 55 / 69

Page 56: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: roommate pairing (3)

Counting E0: We have

|E0| = (# O–O pairings)× (# D–D pairings)

=(

20!210 10!

)2

Computing P(E0):

P(E0) = |E0||S| = (20!)3

(10!)240! ' 1.34 10−6

Samy T. Axioms Probability Theory 56 / 69

Page 57: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: roommate pairing (4)Events E2i : We set

E2i = {2i Offensive-Defensive pairings}

Counting E2i : We have# selections of 2i O & 2i D:

(202i

)2

# 2i O–D pairings: (2i)!# (20− 2i) O & D intra-pairings: ( (20−2i)!

210−i (10−i)!)2

Thus we get

|E2i | =(202i

)2

(2i)!(

(20− 2i)!210−i (10− i)!

)2

Samy T. Axioms Probability Theory 57 / 69

Page 58: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: roommate pairing (5)

Computing P(E2i):

P(E2i) = |E2i ||S| =

(202i

)2(2i)!

((20−2i)!

210−i (10−i)!

)2

40!220 20!

Some values of P(E2i):

P(E0) ' 1.34 10−6

P(E10) ' 0.35P(E20) ' 7.6 10−6

Samy T. Axioms Probability Theory 58 / 69

Page 59: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: husband-wife placement (1)

Situation: We haveA round table10 married couplesPlacement at random

Problem: Find probability that1 n couples sit next to each other2 No husband sits next to his wife

Samy T. Axioms Probability Theory 59 / 69

Page 60: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: husband-wife placement (2)

Model: We takeS = {Permutations of 20 persons}/{Cyclic transformations}P = Uniform probability on S

Computing |S|: We have

|S| = 20!20 = 19!

Events Ei : We set

Ei = {ith husband sits next to his wife}

Samy T. Axioms Probability Theory 60 / 69

Page 61: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: husband-wife placement (3)

Basic idea: Let i1 < · · · < in. Then on Ei1 · · ·Ein

The n couples i1, . . . , in are considered as one entityWe are left with the placement of 20− n entities

Counting Ei1 · · ·Ein : We have# placements of (20− n) entities: (20− n − 1)!# wife-husband placements next to each other: 2n

Thus|Ei1 · · ·Ein | = 2n (19− n)!

Samy T. Axioms Probability Theory 61 / 69

Page 62: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: husband-wife placement (4)

Second event, n couples sit together: For 1 ≤ n ≤ 10, define

An = {n couples sitting next to each other}=

⋃1≤i1<···<in≤10

(Ei1 · · ·Ein)

Then

P (An) =∑

1≤i1<···<in≤10P (Ei1 · · ·Ein)

P (An) =(10n

)2n (19− n)!

19!

Samy T. Axioms Probability Theory 62 / 69

Page 63: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: husband-wife placement (5)

Third event, no couple sits together: Define

A0 = {no couple sitting next to each other}

Then

Ac0 = {at least one couple sitting next to each other}

=10⋃

i=1Ei

Samy T. Axioms Probability Theory 63 / 69

Page 64: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Example: husband-wife placement (6)Computing P(Ac

0): Thanks to Proposition 8

P (Ac0) = P

(∪10

i=1Ei)

=10∑

n=1(−1)n+1 ∑

1≤i1<···<in≤10P (Ei1 · · ·Ein)

=10∑

n=1(−1)n+1

(10n

)2n (19− n)!

19!

Computing P(A0): We get

P (A0) = 1 +10∑

n=1(−1)n

(10n

)2n (19− n)!

19!

Samy T. Axioms Probability Theory 64 / 69

Page 65: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Outline

1 Introduction

2 Sample space and events

3 Axioms of probability

4 Some simple propositions

5 Sample spaces having equally likely outcomes

6 Probability as a continuous set function

Samy T. Axioms Probability Theory 65 / 69

Page 66: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Probabilities for increasing sequences

LetP a probability on a sample space SAn increasing family of events {Ei ; i ≥ 1}Set limn→∞ En = ∪∞i=1Ei

ThenP(

limn→∞

En

)= lim

n→∞P (En)

Proposition 12.

Samy T. Axioms Probability Theory 66 / 69

Page 67: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Proof (1)

Decomposition with exclusive sets: Define

Fn = En E cn−1

Then the Fi are mutually exclusive and we have∞⋃

i=1Ei =

∞⋃i=1

Fi

n⋃i=1

Ei =n⋃

i=1Fi

Samy T. Axioms Probability Theory 67 / 69

Page 68: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Proof (2)Computation for P(limn→∞ En):

P(

limn→∞

En

)= P (∪∞i=1Ei)

= P (∪∞i=1Fi)

=∞∑

i=1P (Fi)

= limn→∞

n∑i=1

P (Fi)

= limn→∞

P (∪ni=1Fi)

= limn→∞

P (∪ni=1Ei)

= limn→∞

P (En)

Samy T. Axioms Probability Theory 68 / 69

Page 69: Axioms of Probability - Purdue Universitystindel/teaching/ma416/axioms-probability.pdfAxiomsofProbability SamyTindel Purdue University Probability-MA416 MostlytakenfromAfirstcourseinprobability

Probabilities for decreasing sequences

LetP a probability on a sample space SAn decreasing family of events {Ei ; i ≥ 1}Set limn→∞ En = ∩∞i=1Ei

ThenP(

limn→∞

En

)= lim

n→∞P (En)

Proposition 13.

Samy T. Axioms Probability Theory 69 / 69