Professional Documents
Culture Documents
DEFINITION 1: Let Ω be any set and A be system of subsets of the Ω. A is called an algebra if
1) A ϵ A ⇨ A ϵ A ¿
2) A1 , … , A n ϵ A ⇨ ¿ i=1 ¿ n A i ϵ A
We see that from definition algebra is the closed system with respect to the operations
complement and finite union.
DEFINITION 2: The system J of the subsets ofΩ is called σ −¿ algebra if the following conditions
hold:
1) Aϵ J ⇨ A ϵ J ¿
2) A1 , … , A n … ϵ J ⇨ ¿ i=1 ¿ ∞ Ai ϵ J
We see that σ −¿algebra is the closed system with respect to the operations complement
and countable union.
1) Ωϵ A∧also Ωϵ J ;
2) ∅ ϵ A∧also ∅ ϵ J ;
Proof of 2. If
If
¿ i=1 ¿ n A i=Ω/¿ i ¿ n ¿¿
Ω/ Ai =A i ϵ A
From the definition of algebra ¿ i=1 ¿ n A i ϵ A . From here we have
By De Morgan law
¿ i=1 ¿ n A i ϵ A
¿ i=1 ¿ ∞ A i=Ω/¿ i¿ ∞¿ ¿
Ω/ Ai =A i ϵ J
By De Morgan law
¿ i=1 ¿ ∞ A i ϵ J
End of proof.
Note that if Ω is a finite sample space then notions algebra and σ −¿algebra are the same.
EXAMPLE: Let Ω be any sample space . In this case the system { ∅ , Ω } is an algebra and σ −¿
algebra. This σ −¿algebra is called minimal σ −¿algebra (or trivial , poor σ −¿ algebra ).
EXAMPLE: The system of all subsets of Ω is σ −¿algebra . This σ −¿algebra is called the largest
σ −¿algebra (maximal, richest sigma algebra).
Ω={ w 1 , w 2 , w 3 , w 4 }
J 1= {{ w 1, w2 } , { w 3 , w 4 } , ∅ , Ω }
{ w1 }= {w2 , w3 , w 4 }
Is not belong to the system J 2.
Note that the intersection of the σ −¿ algebra is σ −¿algebra. But union of the σ −¿ algebra
maybe σ −¿algebra and may not be σ −¿ algebra.
Kolmogorov’s axioms
Let Ω be any sample space and J be any σ −¿algebra generated by subsets of Ω. Set
function P ( A ) ; Aϵ J is called probability measura or probability of the event A if the following
axioms hold:
P1 ¿ P ( A ) ≥ 0; Aϵ J −nonnegativity .
∞
P ( ¿ i=1 ¿ ∞ A i )=∑ P( A i ¿)−σ additivity . ¿
i=1
P3 ¿ P ( Ω) =1.
The triplet ( Ω , J , P ) is called probability space where Ω issample space, J is the σ −¿ algebra
generated by subsets of Ω and P is the probability measure defined by axioms P1−P3 . The
probability space is the mathematical model of the stochastic experiment.
In case when Ω is discrete sample space each subset of Ω is called event. But in general case
when Ω also maybe uncountable we cannot called event any subset of Ω. In this case, any
element of σ −¿ algebra is called event: Aϵ J is called event.
Properties of probability
Using Kolmogorov’s axioms and operations over events we shall prove properties of the
probability measure.
Let (Ω , F ,P) be some probability space.
1. P(∅ ) = 0
Proof. We know that∅ ∪Ω=Ω. Therefore
P( ∅ ∪ Ω)=P(Ω)
B
A
Fig. 1
Here C=B ∖ A . From the figure 1 we see that B= A ∪ C and the events A, C are disjoint.
Therefore
P( B)=P( A ∪ C) .
On the other hand A ∩C=∅ . Therefore by the second Kolmogorov’s axiom we have
P( B)=P( A)+ P(C).
By the first Kolmogorov axioms we have P(C)≥ 0. Therefore if we throw out P(C) we obtain
P( B)≥ P( A) .
This property has been proved. ∎
4. Probability of the difference:
Let A ⊆ B , then P( B ∖ A)=P(B)−P ( A ).
Proof.
A
B
Fig. 2
Here C=B ∖ A . From the figure 2 we see that B= A ∪C and the sets A, C are disjoint. Therefore,
P( B)=P( A ∪ C)
On the other hand, A ∩C=∅ . Therefore by the second Kolmogorov’s axiom we have
P( B)=P( A)+ P(C)
From here we get
P(C)=P(B)−P(A ).
Substituting C=B ∖ A in the last equality we obtain
P(B ∖ A)=P(B)−P (A ).
The proof is complete.∎
5. P( B ∖ A)=P(B) – P( A ∩ B)
Proof.
C1 C2
Fig. 3
Here C 1 = A ∩ Band C 2=B ∖ A . From the figure 3 we see that B=C 1 ∪C 2and the setsC 1, C 2 are
disjoint, i.e.,C 1 ∩C 2=∅ . Therefore,
P( B)=P(C 1 ∪ C 2).
Since C 1 ∩C 2=∅ , we can apply the second Kolmogorov’s axiom and write
P( B)=P(C 1) + P (C 2).
From here we get
P (C 2) = P( B)– P ¿ )
Substituting C 1 = A∩B and C 2 = B∖A in the last equality we get
P( B ∖ A)=P(B) – P( A ∩ B).
We have proved this property.∎
6. P( A ∪ B)=P( A)+ P(B) – P( A ∩ B)
Proof.
C2
C3
C1
Fig. 4
P ( A ∆ B )=P ( A ∪ B ) – P ( A ∩B )=¿
¿ P ( A ) + P ( B ) – P( A ∩ B) – P( A ∩ B)=¿
Thus,
P( A ∆ B)=P( A)+ P(B)– 2 P( A ∩ B).
The proof is complete. ∎
Geometrical probability
If the stochastic experiment has the uncountable outcomes in this case we cannot use the
classical probability. Therefore we need a new definition of the probability. For example,
if our stochastic experiment consists of shooting of any disk target. In this case the sample
space has the following form:
Ω={( x , y ) : x 2+ y 2 ≤ R 2 }∪ { D }
Where R is the radius of disk and D is shooting out of target. We see that our sample is
uncountable set.
Let’s consider another example. Let’s measure the temperature of some room. In this case
the sample space has the following form:
Ω=[−T , T ],T ≥0
For the grate mathematical model of the similar stochastic experiments we introduce a new
notion - notion of geometric probability.
Let Ω ⊆ Rn, n ≥ 1be the subset of Euclidean space Rn . By β (Ω) we denote the σ-
algebra (Borelianσ algebra) of subsets of Ω . Probability of any event A ∈ β ¿) is defined by
mes ( A )
P( A)= (1)
mes ( Ω )
wheremes( Ω)< ∞, and mes( Ω) is finite and a Lebesgue measure.
Note that in one-dimensional case (n=1), the Lebesgue measure means length, in two-
dimensional case (n=2) it means area, and in three-dimensional case (n=3) it means
volume.
Geometrical probability satisfies Kolmogorov axioms.
Example 1. Let we choose at random a point from the circle of radius R. Find the
probability that this point also belongs to the square inscribed in a circle?
In this case sample space is
Ω={( x , y ) : x 2+ y 2 ≤ R 2 }
A=¿
In this case
2
mes ( A ) =S s=2 R
mes ( A ) 2 R2 2
P ( A )= = =
mes ( Ω ) π R2 π
Ω={ ( b , c ) : 0≤ b ≤ 2 ,0 ≤ c ≤2 }
roots:
A={( b , c ) : D=b −4 c ≥ 0 }
2
mesΩ=S s=4.
b2
c≤
4
2
mes ( A ) =∫
0
b2
4
db= |
b3 2 8 2
= =
12 0 12 3
2
mes ( A ) 3 1
P ( A )= = =
mes ( Ω ) 4 6