TRNG I HC TIN GIANG KIM TRA

Lp: HSP TON LT - 09 MN O V TCH PHN

H v tn: Nguyn Vn B T

im Li ph ca Thy
Cu 1. Cho { }
1
n
n
f

l dy hm o c trn khng gian o (X,M,

). Gi s
lim f f
n
n

( ngha l dy hm
{ }
n
f
cho hi t). Chng minh
f
l hm o
c.
Gii:
Ta c: lim f
n
= f => xX,
) ( ) ( lim x f x f
n
n



t: A =
{ } ) ( ) ( : x f x f X x
n

f
n
: R A o c trn A
g
k
(x) =
( ) { } ( ) ( ) { } .. 3 , 2 , 1 , ,... , sup sup
1

+

k x f x f x f
k k n
k n
Ta c: g
k
(x) o c ( do nh l 6.1.7)
M:
( ) { } ( ) ( ) { }
1 2
( ) inf inf , ,...
k
k
f x g x g x g x
.
(do
( ) ( ) ( ) { } ( ) ( ) ) lim sup lim lim inf x f x f x f x g x g
n
n
n
k n
k
k
k
k
k

Theo nh l 6.1.7 v 6.2.1 suy ra: f(x) o c trn A
Li c:
A
c
f A , 0 ) (
o c trn A suy ra o c trn X
V:
A
f f
hu kp ni
Theo nh l 6.3.5 a) suy ra:
f
o c.
Cu 2: Cho
: f
l hm n iu tng.
a. Chng minh rng
1
(( , )) ( , ) f a

trong { } sup : ( ) x f x a <
b. Chng minh rng
f
o c Borel.
Gii
a. Chng minh rng
1
(( , )) ( , ) f a

trong { } sup : ( ) x f x a <
Chng minh

/
Ly
1
(( , )) x f a

{ }
( ) ( , ( ))
( ) ( )
( ) sup ( ) ( )
( ,sup : ( ) )
f x f a
f x f a
f x f x f a
x x f x a

<
<
<
Chng minh

/
Ly
( , ) x
trong { } sup : ( ) x f x a <
( ) ( , )
( ) ( )
f x f
f x f

<
Do
f
l hm n iu tng

( , ) x a x <
b. Chng minh f o c Borel:
Ta c:
1
(( , )) ( , ) f a

l tp m nn
( , ) B

1
(( , )) f a B

f o c Borel.
Cu 3: t
1 1
( ) , 1, 2,.... 2
2 2 2
( )
n
n n n
n
i i i
f x i n
n f x n

<

'

V th cc hm
1 2 3
, ,
bit th ca hm c cho bi:
th hm
1

vi n =1 => i = 1, 2
th hm
2

vi n =2 => i = 1, 2, 3, 4, 5, 6, 7, 8
nu
nu
1 2 3 4
5
6 7 8 9
10
1
2
3
b
x
b
1 2 3 4
5
6 7 8 9
10
1
2
3
x
th hm
3

vi n =3 => 1, 24 i
Cu 4: Vi mi s nguyn dng n, xt hm
2
[-n,0] 1 1
[ , ]
n+1
n
n
f n +
trong khng
gian o Borel

( , , ) B m
.
a. Chng minh
n
f
l hm o c Borel
b. Xc nh
lim
n
n
f

c. Tnh
, lim , (lim )
n n n
n
n
f dm f dm f dm

d. Tnh ( )
, lim , lim
n n n
n n
E E E
f dm f dm f dm

vi E = (0,1]
Gii
a. Chng minh
n
f
l hm o c Borel
2
[-n,0] 1 1
[ , ]
n+1
n
n
f n +
Ta c [-n, 0] l tp ng => [-n, 0] l tp Borel =>
[- , 0] n

B
=>
[-n,0]

o c Borel.
1 1
,
n+1 n
1
1
]
l tp ng =>
1 1
,
n+1 n
1
1
]
l tp Borel =>
1 1
,
n+1 n
1
1
]

B
=>
1 1
,
n+1 n

1
1
]
o c Borel.
Vy
2
[-n,0] 1 1
[ , ]
n+1
n
n
f n +
o c Borel.
b
1 2 3 4
5
6 7 8 9
10
1
2
3
x
b. Xc nh
lim
n
n
f

2
1 [-n, 0]
1 1
( ) n ,
n+1
1 1
0 [-n, 0] ,
n+1
n
x
f x x
n
x
n

1

'
1
]

1
]

2
[-n,0] 1 1
[ , ]
n+1
1 khi 0
lim lim khi 0
0 khi 0
n
n n
n
x
f n x
x


<

_
+
'

,

>

c. Tnh
, lim , (lim )
n n n
n
n
f dm f dm f dm

*
2
[-n,0] 1 1
[ , ]
n+1
n
n
f dm n dm
_
+

,

[ ]
[ ]
[ ]
2
2
1 1
, 0 ,
1
1 , 0
1 1
,
1
1 1
0 , 0 ,
1
m n n m
n n
x n
n x
n n
x n
n n
1
+
1
+
]

1

'
1
+
]

1
+
]

*
1 khi 0
lim khi 0
0 khi 0
n
n
x
f dm x
x

<

'

>

*
1 khi 0
(lim ) khi 0
0 khi 0
n
n
x
f dm x
x

<

'

>

d. Tnh ( )
, lim , lim
n n n
n n
E E E
f dm f dm f dm

vi E = (0,1]
Cu 5. [ )

, n n
f
vi n nguyn dng
a) Chng minh dy hm
( ) { }

1 n n
x f
l dy hm gim.
b) Xc nh hm
n
n
f

lim

c) Tnh
( )dm f dm f
n
n
n


lim ,

Gii: Cu a)
Ta c: n=1 [ )

, 1 1
f
[ )

, 2 2
2 f n

R rng: [ ) [ )
N n
n n

+ , 1 ,

Suy ra:
N n f f
n n

+1
Trong khi: n+1 > n nN.
Vy: dy hm
( ) { }

1 n n
x f
l dy hm gim.
Cu b) Xc nh hm
n
n
f

lim
V dy hm
( ) { }

1 n n
x f
l dy hm gim suy ra:

1
lim
n
n n
n
f f
Chng minh:

1 n
n
f

* Kim tra:

1 n
n
f
?
Ta c: n nguyn dng, f
n
suy ra:

1 n
n
f
* Kim tra:

1 n
n
f
?
Ta c:
[ ) [ ) { } + ... , 1 , n n
Nn: [ ) [ ) { } +
...
, 1 , n n
Suy ra:

1 n
n
f
.
Vy:

1 n
n
f

Suy ra:

1
lim
n
n n
n
f f
= 0
c. Tnh
( )dm f dm f
n
n
n


lim ,

*
[ ) , n n
f dm dm

[ ]
[ ]
[ ]
,
1 , 0
0 , 0
m n
x n
x n

'

( )
[ )
( ) ,
lim lim 1
n n
n n
f dm dm




Cu 6. Xt hm
( )
x
f x e

. t [ ] 0, n n
f f
.
a) Chng minh rng cc hm
n
f
o c Borel v kh tch Lebesgue.
b) Chng minh rng hm
lim
n
n
g f

kh tch Lebesgue.
c) Tnh
0
x
e dx

v
[ ) 0,
( )
x
e dm x

.
d) Chng minh rng hm
( ) sin
x
h x e x

kh tch Lebesgue trn

[ ) 0,
.
Gii
a) * Chng minh
n
f
o c Borel
Vi mi
a
, ta c
( ) ( ) ( )
[ ]
( )
1 1
0,
, ,
n
f a f a

B
Vy
n
f
o c Borel
* Chng minh
n
f
kh tch Lebesgue
Ta c:
[ ] 0,
( ) ( ) 0
x
n n
f x e x

>
vi mi
n
, nn
( )
n
f x
l mt hm b chn trn
[ ]
0, n
[ ] 0,
( ) ( )
x
n n
f x e x

lin tc hu khp ni trn

[ ]
0, n
vi mi
n
n
f
kh tch Riemann trn
[ ]
0, n
vi mi
n
n
f
kh tch Lebesgue trn
[ ]
0, n
vi mi
n
b) Ta c: [ ] 0,
lim lim
x
n n
n n
g f f e



, vi
[ ]
0, x n
Do :
[ ]
0
0
0,
1
n
x x n n
n n
n
g dm g dm e dx e e



hu hn
Vy
lim
n
n
g f

kh tch Lebesgue.
c) Ta c: [ ] 0, n n
f f
,
n
f
kh tch Riemann
Theo nh l hi t n iu
0
1
n
x n
n
f dm e dx e



Vy: ( )
0
lim lim 1 1
x n
n
n n
e dx f dm e

[ ] 0,
( ) ( ) 0
x
n n
f x e x

>
vi mi
n
, nn
( )
n
f x
l mt hm b chn trn
[ ) 0,
[ ] 0,
( ) ( )
x
n n
f x e x

lin tc hu khp ni trn

[ ) 0,
vi mi
n
n
f
kh tch Riemann trn
[ ) 0,
vi mi
n
n
f
th
n
f
o c v c
[ ) 0 0,
. ( ) 1
x x
e dx e dm x