2021 - Week - 1 - Ch.1 Probability Theory
2021 - Week - 1 - Ch.1 Probability Theory
2021 - Week - 1 - Ch.1 Probability Theory
Probability Theory
Terminology :
Space:
%%%
Def. 1.4.
1) The sets A and B are equal to sets or identical sets iff A and B have the same
elements. We denote equality by writing A=B
Prop. 1.6.
Complement, A := { ω :ω ∉ A }
c
1) A ⊂B ; then Bc ⊂ A c
2) ( A ∩ B )c = Ac ∪ B c
3) ( A B )c = Ac ∩B c
Proof
a) ω ∈ B c and ω ∉ A c ↔ ω ∈ B c and ω ∈ A
b) If ω ∈ A , by assumption ω ∈ B
c
2.4) ∀ ω ∈ ( A ∩ B ) implies ω ∉ A or ω ∉ B or {ω ∉ A∧ω ∉ B }
c c c
2.5) Hence ω ∈ A ∨ω ∈ B ∨{ω ∈ ( A ∩ B ) }
c c
2.6) 2.5) implies ω ∈ A ∪ B (*remember the definition of Union)
De Morgan’s law
Prove
( A ∪B )c =A c ∩ B c
@@
2) The facts of ∅
-∅ c =Ω
-{1},{2},{3},{1,2},{1,3},{2,3},[1,2,3] and ∅ 8
HW_W1_P2
@@
https://www.merriam-webster.com/dictionary/axiom
-In mathematics or logic, an axiom is an unprovable rule or first principle accepted as true
because it is self-evident or particularly useful.
https://www.merriam-webster.com/dictionary/axiom
-A statement that is taken to be true, to serve as a premise or stating point for further reasoning
and arguments.
2) a+ b=b+a
P ( A )≥ 0 ,
P ( Ω )=1
A ∩ B=∅ → P ( A ∪B )=P ( A ) + P(B)
Proof:
c c
A ∪ A =Ω, A ∩ A =∅
Implies P ( A ) + P ( A )=1 .QED
c
Lemma 1.10. If A and B are two arbitrary events in the sample space Ω , then
P ( A ∪ B ) =P ( A )+ P ( B )−P( A ∩ B)
Proof:
A ∪B= A ∪ ( B∩ A )
c
Hence
P ( A ∪ B ) =P ( A )+ P ( B ∩ A )
c
And
P ( B )=P [ ( B ∩ A ) ∪ ( B ∩ A c ) ]=P ( B∩ A ) + P( B∩ A c ).
Hence,
P ( B ∩ A )=P ( B )−P ( B ∩ A )
c
which gives to
P ( A ∪ B ) =P ( A )+ P ( B )−P( A ∩ B)
1.4 Algebras of Sets and Probability Space
- If the number of events is infinite, then something is weird…later or you may see
mathematic textbook for the measurable theory. It is to spend too much energy
to learn…!! But should be accounted for….In this course just to see a glimpse of
the measure theory….
R 1= { 12 , 13 , 14 ,… … …}.
This set of R1 ⊂ R . How many points in R1 ? It is infinite. OK. Now how
many irrational numbers in I . It is infinite. Why? Given a rational number
a ∈ R , then for any irrational number b ∈ I ,
x=a+ b ( withthe constraint as x ∈Ω ) is an irrational number.
which implies the number of irrational numbers is infinite due to the fact of the
infinite of the rational number
P { Ω }=1
Now You may define a probability which is an interval as
{
P x :0< x ≤
1 1
=
2 2 }
Now it possible to define the probability P { R }∨P {I } ?
In measure theory,
- We should learn “Measure Theory”, to study the probability. But as YOU EXPECT ,
let us just have a glimpse of all. WE DO NOT NEED SPEND LOTS OF ENERGY.
%%%
1) A ∈ A implies Ac ∈ A
2) A , B ∈ A implies ( A ∪ B) ∈ A
Example (similar to Example 1.14)
Consider
Given a sample space Ω , there are several A .Consider Ω= { 1,2 }, then A={ { 1 } , {2 } , { 1,2 } , ∅ } is an
algebra. And A={ { 1,2 } , ∅ } is also an algebra.
%%%
1) A ∩ B∈ A
2) ( A−B ) ∈ A
3) Ω ∈ A and ∅ ∈ A
Proof:
3) A ∩ Ac =Ω and A ∩ Ac =∅ .QED
Exam 1.14 / 1.15 / Remark 1.16 (page 25)
Let construct of space Ω :=( 0,1 ] by defining probabilities for intervals as being
the length of the intervals of which points are all equally possible. Define
probability of any interval as P ( ( a , b ] )=b−a.
Hence P ( { x } )=1−P ( { x } ) =0
c
Thus
P ( ∪ x ∈ (0,1 ] { x }) =0 , ∵ P ( { x }=0 )
P ( ( 0,1 ] ) .=1
Which implies
0=1−→ contradict !
Hence uncountable set operation is not allowed in probability space.
Ω=∪mi=1 A i=∪nj=n B j
A p ∩ Aq =Bk ∩ Bl =∅ , p ≠ q , k ≠ l.
P ( B| A )
The probability of the event B given A = The conditional probability of B
given(occurred) A
(Axiom/ definition.)
P( A ∩ B)
P ( B| A )=
P( A)
Properties of the conditional probabilities
m
1) If Ω=∪i=1 A i, then the marginal probability of B is
m m
P ( B )=∑ P(B ∩ A i)¿ ∑ P ( B|A i ) P(A i )
i=1 i=1
2) Bayer’s rule:
P ( A|B ) P ( B )=P ( B| A ) P ( A )
Independence (statistical independence):
P ( A|B )=P( A)
Which is equivalent to
P ( A ∩ B )=P ( A ) P( B)
Ex. 1.25
Remark 1.26
Orthogonality or mutual exclusivity or disjoint: