Professional Documents
Culture Documents
3.1
Random variable.
Expectation. Independence
General definitions
(1)
{w:X(w) E B} E ~ n~r
3.1
GENERAL DEFINITIONS
35
Xl
(X-I (A)t.
(YAa) -Ux
a
(0 Aa )
-AX
1 (Aa),
1 (Aa).
(3 )
::s x}
E ~f
;j.
Consider the collection ,(;j of all subsets 5 of 32 1 for which X-I (5) E :". From
Theorem 3.1.1 and the defining properties of the Borel field ,J/ , it follows that
if 5 E ,\1, then
36
Thus SC E sf and Uj S j E LQ/ and consequently LQ/ is a B.F. This B.F. contains
all intervals of the fonn (-00, x], which generate.':13 1 even if x is restricted to
a dense set, hence ,e/ ::) aJ I , which means that X-I (B) E ':!f for each B E ,-?J I .
Thus X is an r.v. by definition. This proves the "if' part of the theorem; the
"only if' part is trivial.
Since .:?P(.) is defined on
and will be written as
~:fr,
2P{X(w) E B}
or
,c(){X E B}.
The next theorem relates the p.m. qp to a p.m. on (~I, ~I) as discussed
in Sec. 2.2.
Theorem 3.1.3.
VB E Jljl:
(4)
.9'{X- 1(B
9'{X E B).
Clearly fl(E) > O. If the En's are disjoint sets in 273 1, then the
X-I (Bn)'s are disjoint by Theorem 3.1.1. Hence
PROOF.
Finally X
1 (?J?l)
n, hence
p,(fJ}?I) = 1. Thus p,
IS
a p.m.