Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Result R4823 on
D2012: Conditional probability
Subresult of
R4339: Conditional probability of almost surely false event
Conditional probability of the empty event
Formulation 0
Let
P
=
(
Ω
,
F
,
P
)
be a
D1159: Probability space
such that
(i)
G
⊆
F
is a
D470: Subsigma-algebra
of
F
on
Ω
Then
P
(
∅
∣
G
)
a
.
s
.
=
0
Proofs
Proof 0
Let
P
=
(
Ω
,
F
,
P
)
be a
D1159: Probability space
such that
(i)
G
⊆
F
is a
D470: Subsigma-algebra
of
F
on
Ω
This result is a particular case of
R4339: Conditional probability of almost surely false event
.
◻