(LUẬN văn THẠC sĩ) tính chất egodic của hệ động lực và của quá trình ngẫu nhiên

ĐẠI HỌC QUỐC GIA HÀ NỘI
TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN
*

*

*

*

*

NGUYỄN HỌC THỨC

TÍNH CHẤT EGODIC CỦA HỆ ĐỘNG LỰC
VÀ CỦA QUÁ TRÌNH NGẪU NHIÊN

LUẬN VĂN THẠC SĨ KHOA HỌC

Hà Nội - 2014

TIEU LUAN MOI download :


ĐẠI HỌC QUỐC GIA HÀ NỘI
TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN
*

*

*

*

*

NGUYỄN HỌC THỨC

TÍNH CHẤT EGODIC CỦA HỆ ĐỘNG LỰC
VÀ CỦA QUÁ TRÌNH NGẪU NHIÊN
Chuyên ngành: Lý thuyết xác suất và thống kê toán học
Mã số

: 60460106

LUẬN VĂN THẠC SĨ KHOA HỌC

NGƯỜI HƯỚNG DẪN KHOA HỌC:
GS.TSKH. ĐẶNG HÙNG THẮNG

Hà Nội - 2014

TIEU LUAN MOI download :


Mục lục
Lời cảm ơn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3

Lời mở đầu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4

Chương 1. Kiến thức chuẩn bị . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6

1.1. Không gian xác suất và biến ngẫu nhiên . . . . . . . . . . . . . . . . . . . . . . . .

6

1.1.1. Không gian đo được . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.2. Không gian xác suất . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6
6

1.1.3. Biến ngẫu nhiên . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

7

1.2. Quá trình ngẫu nhiên và hệ động lực . . . . . . . . . . . . . . . . . . . . . . . . . . .

7

1.2.1. Quá trình ngẫu nhiên . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.2. Hệ động lực . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

8
8

1.3. Phép biến đổi bảo toàn độ đo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

1.3.1. Một số khái niệm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

1.3.2. Tính egodic của phép biến đổi bảo tồn độ đo . . . . . . . . . . . . . .

10

1.4. Xác suất có điều kiện và kỳ vọng có điều kiện . . . . . . . . . . . . . . . . . .
1.4.1. Biến ngẫu nhiên và biến cố . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12
12

1.4.2. Thu hẹp của độ đo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13

1.4.3. Xác suất có điều kiện cơ bản . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.4. Định lý Radon - Nikodym . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14
15

1.4.5. Xác suất có điều kiện . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4.6. Xác suất có điều kiện chính quy . . . . . . . . . . . . . . . . . . . . . . . . . . .

15
18

1.4.7. Kỳ vọng có điều kiện . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

19

Chương 2. Trung bình theo tập hợp và trung bình theo thời gian . . .

24

2.1. Giới thiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

24

1

TIEU LUAN MOI download :


MỤC LỤC

2

2.2. Trung bình theo tập hợp. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

24

2.2.1. Biến ngẫu nhiên rời rạc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.2. Trung bình theo tập hợp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

24
25

2.3. Biến ngẫu nhiên tổng quát . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.1. Dãy lượng tử . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

28
28

2.3.2. Tính đo được . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

29

2.4. Kỳ vọng (trung bình theo tập hợp) của biến ngẫu nhiên tổng quát .

30

2.4.1. Kỳ vọng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.4.2. Tích phân . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

30
32

2.4.3. Khả tích đều . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

34

2.5. Sự hội tụ của biến ngẫu nhiên . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

38

2.6. Trung bình theo thời gian . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

40

2.7. Độ đo dừng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

44

Chương 3. Hệ động lực có tính chất egodic . . . . . . . . . . . . . . . . . . . . . . . .

46

3.1. Tính chất egodic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

46

3.2. Một số hệ quả của tính chất egodic . . . . . . . . . . . . . . . . . . . . . . . . . . . .

51

3.3. Quá trình tiệm cận trung bình dừng (AMS) . . . . . . . . . . . . . . . . . . . .

57

3.4. Tính hồi quy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

61

3.5. Kỳ vọng tiệm cận trung bình . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

64

3.6. Giới hạn trung bình theo thời gian . . . . . . . . . . . . . . . . . . . . . . . . . . . .

66

3.7. Hệ động lực egodic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

68

3.8. Định lý egodic hầu khắp nơi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

72

Kết luận . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

78

Tài liệu tham khảo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

79

TIEU LUAN MOI download :


Lời cảm ơn

Trước khi trình bày nội dung chính của luận văn em xin được bày tỏ lòng
biết ơn sâu sắc tới GS. TSKH. ĐẶNG HÙNG THẮNG - người đã tận tình
hướng dẫn để em có thể hồn thành luận văn này.
Em cũng xin bày tỏ lòng biết ơn chân thành tới tồn thể các thầy cơ giáo
trong khoa Tốn - Cơ - Tin học, Đại học Khoa học Tự nhiên - Đại học Quốc
gia Hà Nội đã tham gia giảng dạy và giúp đỡ em trong suốt quá trình học tập
tại khoa.
Nhân dịp này tác giả cũng xin được gửi lời cảm ơn chân thành tới gia đình,
bạn bè đã luôn ở bên, cổ vũ, động viên, giúp đỡ em trong suốt quá trình học
tập và thực hiện luận văn tốt nghiệp.

Hà Nội, 10-2014
Học viên

Nguyễn Học Thức

3

TIEU LUAN MOI download :


Lời mở đầu

Lý thuyết hệ động lực được khai sinh bởi nhà toán học nổi tiếng người
Pháp, Henri Poincaré cách đây một thế kỷ khi ông công bố tác phẩm nổi tiếng
cuả mình trình bày các nghiên cứu về lý thuyết định tính của phương trình vi
phân. Ngày nay, từ những kết quả đạt được của nhiều nghiên cứu gần đây, lý
thuyết hệ động lực đã trở thành một nhánh nghiên cứu chính trong tốn học
được nhiều nhà khoa học quan tâm. Điều quan trọng hơn là lý thuyết hệ động
lực có mối liên quan chặt chẽ với nhiều ngành tốn học khác cũng như có

nhiều ứng dụng rộng rãi trong nhiều lĩnh vực khoa học như vật lý, hóa học,
sinh vật học, công nghệ thông tin,v.v..
Cùng thời với Poincaré, Lyapunov cũng đã nghiên cứu lý thuyết định tính
của phương trình vi phân, nhưng cách tiếp cận của Lyapunov có phần khác
với Poincaré. Lyapunov nghiên cứu chủ yếu hệ phương trình vi phân khơng
Otonom và ơng đã đưa ra hai phương pháp nghiên cứu kinh điển của ông là
phương pháp số mũ Lyapunov và phương pháp hàm số Lyapunov. Trong khi
Poincaré lại tiếp cận tới bài tốn định tính mang tính đặc thù nền tảng lý thuyết
hệ động lực. Ơng nhìn nhận hệ phương trình vi phân Otonom như một mơ hình
tốn của một hệ vật lý tiến hóa theo thời gian với tính chất nhóm và nghiên
cứu tính chất egodic của hệ.
Lý thuyết hệ động lực được chia thành ba nhánh nhỏ: Động lực khả vi
nghiên cứu các ánh xạ khả vi trên đa tạp trơn; động lực tôpô nghiên cứu các
ánh xạ liên tục trên không gian tôpô, thường là không gian metric compact;
lý thuyết egodic nghiên cứu tính chất bảo tồn độ đo của ánh xạ đo được trên
không gian đo, thường được giả thiết là hữu hạn.
4

TIEU LUAN MOI download :


MỤC LỤC

5

Trong khn khổ luận văn, tác giả trình bày một số nội dung trong lý
thuyết egodic. Cụ thể là tính chất egodic của hệ động lực và các định lý, đặc
biệt là định lý egodic hầu khắp nơi của Birkhoff.
Bố cục của luận văn được trình bày theo ba chương với nội dung cụ thể
như sau:

• Chương 1. Kiến thức chuẩn bị. Chương này chủ yếu giới thiệu về mơ
hình tốn học cơ bản của q trình ngẫu nhiên và trình bày một số khái niệm
cơ bản về hệ động lực ngẫu nhiên.
• Chương 2. Trung bình theo tập hợp và trung bình theo thời gian. Chương
này nêu định nghĩa và phát triển một số tính chất của trung bình theo tập hợp
và trung bình theo thời gian.
• Chương 3. Hệ động lực có tính chất egodic. Trình bày tính chất egodic
của hệ động lực cũng như của quá trình ngẫu nhiên. Bên cạnh đó, tác giả đưa
ra điều kiện cần và đủ để hệ động lực có tính chất egodic thông qua định lý
egodic hầu khắp nơi.
Mặc dù đã rất cố gắng nhưng do thời gian và kiến thức có hạn nên luận
văn khó tránh khỏi những sai sót ngồi ý muốn. Tác giả rất mong nhận được
những ý kiến góp ý của các thầy, cơ và bạn đọc quan tâm.
Tác giả xin chân thành cảm ơn!

Hà Nội, 10-2014
Học viên

Nguyễn Học Thức

TIEU LUAN MOI download :


Chương 1

Kiến thức chuẩn bị
1.1. Không gian xác suất và biến ngẫu nhiên
1.1.1. Không gian đo được

Không gian đo được là một cặp (Ω, B), bao gồm không gian mẫu Ω cùng

với σ - trường B các tập con của Ω (cịn gọi là khơng gian biến cố). Một σ trường hay σ - đại số B là một họ các tập con của Ω với các tính chất sau:
Ω ∈ B.

(1.1)

Nếu F ∈ B thì F c = {x : x ∈
/ F} ∈ B.

(1.2)

Nếu Fi ∈ B; i = 1, 2, ..., thì ∪ Fi ∈ B.

(1.3)

Theo luật de Morgan ta cũng có
∞

∞

i=1

i=1

∩ Fi = ( ∪ Fic )c ∈ B.

Có hai σ - trường đặc biệt là:
• σ - trường lớn nhất của Ω là họ tất cả các tập con của Ω (còn được gọi
là tập luỹ thừa).
• σ - trường nhỏ nhất là {Ω, Ø} gồm khơng gian tồn thể Ω cùng với tập
rỗng Ø = Ωc (gọi là không gian tầm thường).

Nếu thay điều kiện hợp đếm được trong (1.3) bằng hợp hữu hạn của họ các
tập con thì họ các tập con đó được gọi là một trường.
1.1.2. Không gian xác suất

Không gian xác suất là bộ ba (Ω, B, m), bao gồm không gian mẫu Ω, σ
- trường B các tập con của Ω và độ đo xác suất m xác định trên σ - trường;
6

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

7

nghĩa là m(F) được gán cho một số thực với mọi phần tử F của B và thỏa mãn
các điều kiện sau:
Không âm:
m(F) ≥ 0, với mọi F ∈ B.

(1.4)

m(Ω) = 1.

(1.5)

Chuẩn hóa:

Cộng tính đếm được: Nếu Fi ∈ B, i = 1, 2, ... là các tập rời nhau thì
m

∞

∞

i=1

i=1

∪ Fi = Σ m(Fi ).

(1.6)

Hàm tập m chỉ thỏa mãn (1.4) và (1.6) (không nhất thiết phải thỏa mãn
(1.5)) được gọi là độ đo; khi đó (Ω, B, m) được gọi là khơng gian độ đo. Một
hàm tập chỉ thỏa mãn (1.6) với một dãy hữu hạn các biến cố rời nhau được gọi
là cộng tính hay cộng tính hữu hạn.
1.1.3. Biến ngẫu nhiên

Cho (Ω, B) và (A, BA ) là hai không gian đo được. Một biến ngẫu nhiên
hay hàm đo được xác định trên (Ω, B) và lấy giá trị trong (A, BA ) là một ánh
xạ hoặc hàm f : Ω → A với tính chất
Nếu F ∈ BA thì f −1 (F) = {x : f (x) ∈ F} ∈ B.

(1.7)

Trong trường hợp A khơng được chỉ rõ thì ta coi f như là một biến ngẫu
nhiên A - giá trị. Nếu σ - trường không được cho một cách rõ ràng thì ta nói
rằng f là B/BA - đo được.

1.2. Quá trình ngẫu nhiên và hệ động lực
Bây giờ chúng ta xét hai mơ hình tốn học của q trình ngẫu nhiên. Đầu
tiên là một mơ hình quen thuộc: một quá trình ngẫu nhiên là một dãy các biến
ngẫu nhiên. Mơ hình thứ hai ít gặp hơn: một q trình ngẫu nhiên cũng có thể
được xây dựng từ một hệ động lực trừu tượng bao gồm một không gian xác

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

8

suất và một phép biến đổi trên khơng gian đó. Hai mơ hình được kết nối bởi
việc xét sự dịch chuyển thời gian để được một phép biến đổi.
1.2.1. Quá trình ngẫu nhiên

Một quá trình ngẫu nhiên thời gian rời rạc, hoặc đơn giản là quá trình
ngẫu nhiên là một dãy các biến ngẫu nhiên {Xn }n∈I , với I là tập chỉ số, xác
định trên không gian xác suất (Ω, B, m).
Hai tập chỉ số phổ biến nhất được quan tâm là tập số ngun Z trong trường
hợp q trình ngẫu nhiên hai phía và tập số nguyên không âm Z+ trong trường
hợp quá trình ngẫu nhiên được gọi là một phía. Q trình ngẫu nhiên một phía
thường khó để chứng minh hơn trong lý thuyết nhưng nó cung cấp những mơ
hình tốt cho những quá trình ngẫu nhiên vật lý.
1.2.2. Hệ động lực

Giả sử rằng ta đang nghiên cứu một hệ thống (hay một q trình) tiến hóa
theo thời gian và điều quan trọng là ta muốn mơ tả nó bằng một mơ hình tốn
học. Tập hợp tất cả các trạng thái có thể có của hệ thống đang xét tạo thành

một khơng gian X mà ta gọi là không gian trạng thái của hệ đã cho.
Định nghĩa 1.2.1. Hệ động lực trừu tượng bao gồm một không gian xác
suất (Ω, B, m) cùng với một phép biến đổi đo được T : Ω → Ω. Tính đo được
theo nghĩa là nếu F ∈ B thì ta cũng có T −1 F ∈ B. Bộ bốn (Ω, B, m, T ) được
gọi là hệ động lực trong lý thuyết egodic.
Mơ hình q trình ngẫu nhiên là một dãy hoặc một họ các biến ngẫu nhiên
xác định trên một không gian xác suất thông thường được xem như một biến
ngẫu nhiên cùng với một phép biến đổi được xác định trên một không gian xác
suất. Nghĩa là qua một phép biến đổi nào đó định trước thì từ biến ngẫu nhiên
ban đầu sinh ra các biến ngẫu nhiên tiếp theo và tạo thành dãy các biến ngẫu
nhiên trên không gian ta đang xét.
Bây giờ, ta giả sử rằng T là một ánh xạ đo được từ khơng gian mẫu Ω
vào chính nó. Dễ dàng thấy rằng nếu ta định nghĩa phép biến đổi T 2 như sau:
T 2 x = T (T x) thì T 2 cũng là ánh xạ đo được. Tương tự như vậy, ta có T n cũng

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

9

là ánh xạ đo được với mỗi n nguyên dương.
Giả sử rằng nếu f là một biến ngẫu nhiên nhận giá trị trên A, hay còn
gọi là biến ngẫu nhiên A - giá trị xác định trên khơng gian (Ω, B) thì hàm
f T n : Ω → A xác định bởi
f T n (x) := f (T n x), ∀x ∈ Ω,
cũng là một biến ngẫu nhiên với mỗi n là số nguyên dương. Do vậy, hệ động
lực cùng với một biến ngẫu nhiên hoặc một hàm đo được f cho ta xác định
được một q trình ngẫu nhiên một phía Xn , n ∈ Z+ bởi hệ thức

Xn (x) = f (T n x).
Và ta có thể định nghĩa q trình ngẫu nhiên hai phía nếu T là phép biến đổi
có nghịch đảo T −1 cũng bởi hệ thức
Xn (x) = f (T n x), ∀n ∈ Z.
Hầu hết hệ động lực thông thường cho mơ hình q trình ngẫu nhiên
thường bao gồm một dãy không gian Ω chứa một dãy biến ngẫu nhiên một
hoặc hai phía A - giá trị cùng với phép dịch chuyển T . Nghĩa là thông qua
phép biến đổi T thì dãy {xn } chuyển thành dãy {xn+1 }. Chúng ta có thể xét
một ví dụ đơn giản như sau: xét Ω := AZ+ = {x = (x0 , x1 , ....), xi ∈ A} và định
nghĩa phép dịch chuyển T như sau
T :Ω→Ω
T (x0 , x1 , x2 , ...) =(x1 , x2 , x3 ...), ∀(x0 , x1 , x2 , ...) ∈ Ω.
Phép biến đổi T xác định như trên còn được gọi là phép dịch chuyển trái.
Tiếp theo chúng ta sẽ trình bày thí dụ về hệ động lực được ứng dụng trong
giao tiếp có một cấu trúc tương tự. Ta xét một dãy đầu vào {xn } và một trạng
thái ban đầu u0 , các trạng thái tiếp theo được mô tả bởi các phương trình vi
phân dưới đây
en = xn − q(un ),
un = en−1 + un−1 ,

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

10

trong đó, q(un ) nhận giá trị +b nếu đối số un của nó khơng âm và nhận giá trị
−b trong trường hợp ngược lại. Bộ giải mã được xác định bởi hệ thức
1 N

xˆn = ∑ q(un−i )
N i=1
Ta xét một trường hợp đặc biệt là dãy đầu vào {xn } (có thể là luồng thông
tin quan sát được theo thời gian), xn = x ∈ [−b, b) với mọi n thì hệ thống được
mô tả như một hệ động lực với phép biến đổi T xác định bởi
Tu =

u + x − b, nếu u ≥ 0
u + x + b, nếu u < 0.

Từ đó cho thấy nếu cho trước một đầu vào xn = x, n = 1, 2, ..., N và một
điều kiện u0 ban đầu thì dãy un được xác định bởi hệ thức
un = T0n .
Nếu điều kiện ban đầu u0 là ngẫu nhiên thì hệ thức trên cho ta xác định
một hệ động lực mà có thể phân giải được.

1.3. Phép biến đổi bảo toàn độ đo
1.3.1. Một số khái niệm

Định nghĩa 1.3.1. Giả sử (Ω1 , B1 , m1 ) và (Ω2 , B2 , m2 ) là hai không gian
xác suất.
i) Phép biến đổi T : Ω1 → Ω2 được gọi là phép biến đổi bảo toàn độ đo
nếu T đo được và đồng thời thỏa mãn m1 (T −1 (A)) = m2 (A), ∀A ∈ B2
ii) Phép biến đổi T : Ω1 → Ω2 được gọi là một phép biến đổi khả nghịch
bảo toàn độ đo nếu T là phép biến đổi bảo toàn độ đo và T là song ánh và hơn
nữa T −1 cũng bảo tồn độ đo.
1.3.2. Tính egodic của phép biến đổi bảo toàn độ đo

Giả sử (Ω, B, m) là một không gian xác suất và T là một phép biến đổi
bảo tồn độ đo từ Ω vào chính nó. Nếu T −1 B = B, B ∈ B nào đó thì ta cũng có

T −1 (Ω\B) = Ω\B và ta có thể nghiên cứu T bằng cách nghiên cứu hai phép
biến đổi đơn giản hơn là T|B và T|Ω\B . Nếu B có độ đo nằm giữa 0 và 1 thì điều

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

11

này sẽ đơn giản được việc nghiên cứu T . Nếu B là tập có độ đo khơng hoặc
phần bù có độ đo khơng thì ta có thể bỏ qua tập B hoặc phần bù của nó và
khi đó ta khơng thể đơn giản hóa một cách đáng kể việc nghiên cứu T được,
bởi vì việc bỏ qua một tập có độ đo khơng là chấp nhận được trong lý thuyết
độ đo. Những suy luận trên dẫn tới việc nghiên cứu các phép biến đổi bảo
tồn độ đo mà khơng thể phân tích được các thành phần trên tập bất biến như
trên, đồng thời tìm cách phân tích một phép biến đổi bất kỳ thành những thành
phần khơng thể phân tích được. Các phép biến đổi khơng thể phân tích được
thì được gọi là egodic.
Phần này chúng ta trình bày một số điều kiện để phép biến đổi bảo toàn độ
đo T trở thành egodic thông qua các mệnh đề dưới đây.
Định nghĩa 1.3.2. Cho (Ω, B, m) là một không gian xác suất. Một phép
biến đổi bảo toàn độ đo T của (Ω, B, m) được gọi là egodic nếu với mọi B ∈ B
từ điều kiện T −1 B = B suy ra m(B) = 0 hoặc m(B) = 1.
Mệnh đề 1.3.1. Nếu T : Ω → Ω là phép biến đổi bảo tồn độ đo của một
khơng gian xác suất (Ω, B, m) thì các khẳng định sau là tương đương:
i) T là egodic.
ii) Với bất kỳ B ∈ B điều kiện m(T −1 B∆B) = 0 tương đương với điều kiện
B hoặc phần bù có độ đo khơng.
iii) Với mọi A ∈ B mà m(A) > 0 ta có m(U1∞ T −n A) = 1.

Mệnh đề 1.3.2. Nếu T là phép biến đổi bảo tồn độ đo của một khơng
gian xác suất (Ω, B, m) thì các điều kiện sau đây là tương đương:
i) T là egodic.
ii) Với bất kỳ hàm đo được f nếu ( f ◦ T )(x) = f (x) với mọi x ∈ Ω thì f là
hằng số hầu khắp nơi.
iii) Với bất kỳ hàm đo được f nếu ( f ◦ T )(x) = f (x) hầu khắp nơi thì f là
hằng số hầu khắp nơi.
iv) Với bất kỳ hàm f ∈ L2 (Ω) nếu ( f ◦ T )(x) = f (x) hầu khắp nơi thì f là
hằng số hầu khắp nơi.
Chứng minh chi tiết các mệnh đề trên bạn đọc có thể tìm hiểu thêm ở [16].

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

12

1.4. Xác suất có điều kiện và kỳ vọng có điều kiện
1.4.1. Biến ngẫu nhiên và biến cố

Cho hai không gian đo được (Ω, B) và (A, BA ) và hàm f : Ω → A. Nhớ
lại rằng f là biến ngẫu nhiên hay hàm đo được nếu f −1 (F) ∈ B, ∀F ∈ BA . Rõ
ràng biến ngẫu nhiên f cung cấp thông tin về biến cố nào đó và có thể khơng
cung cấp thông tin về biến cố khác. Đặc biệt, nếu giả thiết f có giá trị trong
F ∈ BA thì ta biết rằng f −1 (F) xảy ra. Chúng ta có thể gọi biến cố trong B
như vậy là f - biến cố vì nó được xác định bởi f lấy giá trị trong BA . Xét lớp
G = f −1 (BA ) = {tất cả các tập dạng f −1 (F), F ∈ BA }. Vì f đo được nên
tất cả các tập thuộc G cũng thuộc B. Hơn nữa, ta dễ dàng thấy rằng G là σ trường các tập con của Ω. Vì G ⊂ B và nó là một σ - trường nên nó được gọi
là một σ - trường con.

Bằng trực giác G có thể được xem như σ - trường hoặc không gian biến
cố mà kết quả của các biến cố được xác định bởi kết quả quan sát của f . Do
đó ta định nghĩa σ - trường sinh bởi f là σ ( f ) = f −1 (BA ).
Tiếp theo, từ cách xây dựng ta thấy rằng f −1 (F) ∈ σ ( f ), ∀F ∈ BA ; tức là
ảnh ngược của các biến cố có thể tìm được trong σ - trường con. Nghĩa là f
đo được đối với σ - trường nhỏ hơn σ ( f ) cũng như đối với σ - trường lớn hơn
B. Ta sẽ thường có nhiều hơn một σ - trường cho một không gian cho trước,
ta nhấn mạnh khái niệm sau:
Cho các không gian đo được (Ω, B) và (A, BA ) và σ - trường con G của
B (do đó (Ω, G) cũng là khơng gian đo được). Khi đó hàm f : Ω → A được
gọi là đo được đối với G hay G - đo được hay chi tiết hơn là G/BA - đo được
nếu f −1 (F) ∈ G, ∀F ∈ BA . Vì G ⊂ B nên nếu một hàm G - đo được rõ ràng
cũng là B - đo được.
Thông thường chúng ta sẽ đề cập đến các hàm B - đo được như là hàm đo
được đơn giản hoặc như là biến ngẫu nhiên.
Ta thấy rằng nếu σ ( f ) là σ - trường sinh bởi biến ngẫu nhiên f thì f đo
được đối với σ ( f ). Nếu G là σ - trường khác mà f đo được trên đó thì G phải
chứa tất cả các tập dạng f −1 (F), F ∈ BA và do đó phải chứa σ ( f ). Vì vậy
σ ( f ) là σ - trường nhỏ nhất mà f đo được.

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

13

Cho σ - trường G, gọi M(G) là lớp tất cả các biến ngẫu nhiên đo được đối
với G. Ta sẽ đề cập đến M(G) như là lớp các biến ngẫu nhiên sinh bởi G. Nói
ngắn gọn, đây là lớp các biến ngẫu nhiên mà biến cố đầu ra có thể được xác

định từ các biến cố trong G.
Bổ đề sau đây chỉ ra rằng nếu ta có biến ngẫu nhiên f : Ω → A thì hàm
giá trị thực g thuộc M(σ ( f )), tức là đo được đối với σ ( f ) khi và chỉ khi
g(x) = h( f (x)) với biến ngẫu nhiên h nào đó h : A → R, nghĩa là nếu g chỉ phụ
thuộc vào các điểm mẫu cơ bản thông qua giá trị của f .
Bổ đề 1.4.1. Cho không gian đo được (Ω, B) và f : Ω → A là biến ngẫu
nhiên, khi đó biến ngẫu nhiên g : Ω → R thuộc M(σ ( f )) nếu và chỉ nếu có
hàm BA /B(R) - đo được h : A → R sao cho g(x) = h( f (x)), ∀x ∈ Ω.
Như vậy ta đã phát biểu các tính chất của σ - trường sinh bởi các biến ngẫu
nhiên và lớp các hàm đo được sinh bởi σ - trường.
1.4.2. Thu hẹp của độ đo

Ứng dụng đầu tiên của lớp các biến ngẫu nhiên hoặc biến cố được xét trong
phần trước là khái niệm thu hẹp của độ đo xác suất trên σ - trường con. Điều
này đôi khi cung cấp cách đánh giá kỳ vọng của các hàm đo được đối với σ trường con và so sánh các hàm đó.
Định nghĩa 1.4.1. Cho không gian xác suất (Ω, B, m) và σ - trường con
G của B, định nghĩa thu hẹp của m trên G là mG như sau:
mG (F) = m(F), F ∈ G.
Do đó (Ω, G, mG ) là khơng gian xác suất mới với không gian biến cố
nhỏ hơn.
Bổ đề sau đây chỉ ra rằng nếu f là biến ngẫu nhiên giá trị thực G - đo được
thì kỳ vọng của nó có thể được tính theo cả m hoặc mG .
Bổ đề 1.4.2. Cho biến ngẫu nhiên giá trị thực f ∈ L1 (m), khi đó cũng có
f ∈ L1 (mG ) và f dm = f dmG với mG là thu hẹp của m trên G.

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

14

Hệ quả 1.4.1. Cho các hàm G - đo được f , g ∈ L1 (m), nếu
f dm ≤
F

gdm, ∀F ∈ G
F

thì f ≤ g, m - h.k.n. Nếu dấu bằng xảy ra thì f = g, m - h.k.n.
Chứng minh.
Theo bổ đề trên, bất đẳng thức tích phân đúng với m được thay bởi mG và
do đó kết luận đúng mG − h.k.n. Vì vậy có tập G ∈ G với mG - xác suất 1 (do
đó cũng có xác suất 1 theo m) để kết luận đúng.
Sự hữu dụng của hệ quả trên là nó cho phép ta so sánh các hàm G - đo được
bằng cách chỉ xét độ đo thu hẹp và kỳ vọng tương ứng.
1.4.3. Xác suất có điều kiện cơ bản

Cho không gian xác suất (Ω, B, m), độ đo xác suất m sẽ thay đổi thế nào
nếu có một vài biến cố hoặc họ các biến cố đã xảy ra? Ví dụ, nó sẽ bị ảnh hưởng
thế nào nếu ta đã biết kết quả của một biến ngẫu nhiên hoặc một họ các biến
ngẫu nhiên? Khái niệm xác suất có điều kiện sẽ trả lời cho câu hỏi này.
Xác suất có điều kiện cơ bản bao gồm trường hợp ta đã biết một biến cố
F có xác suất khác 0: m(F) > 0. Chúng ta muốn định nghĩa độ đo xác suất có
điều kiện m(G|F) với mọi biến cố G ∈ B. Bằng trực giác, nếu F xảy ra thì sẽ
đặt xác suất 0 cho tập hợp tất cả các điểm ngồi F nhưng nó khơng ảnh hưởng
tới xác suất của các biến cố trong F. Ngoài ra, độ đo xác suất mới phải được
chuẩn hóa lại để gán xác suất 1 cho "biến cố tất nhiên" mới F. Điều này dẫn
đến định nghĩa m(G|F) = km(G ∩ F), với k là hằng số chuẩn hóa để chắc chắn
rằng m(F|F) = km(F ∩ F) = km(F) = 1.

Do đó ta định nghĩa độ đo xác suất có điều kiện với F bất kỳ mà m(F) > 0
là
m (G|F) =

m (G ∩ F)
, ∀G ∈ B.
m (F)

Xác suất có điều kiện cơ bản m(.|F) thường được viết tắt bởi mF . Cho
không gian xác suất (Ω, B, m) và biến cố F ∈ B với m(F) > 0, khi đó ta có

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

15

một không gian xác suất mới (F, B ∩ F, mF ) với B ∩ F = {tất cả các tập dạng
G ∩ F, G ∈ B }.
1.4.4. Định lý Radon - Nikodym

Phần này ta phát biểu định lý Radon-Nikodym, một trong những kết quả cơ
bản của lý thuyết độ đo và tích phân và là kết quả quan trọng trong việc chứng
minh sự tồn tại của độ đo xác suất có điều kiện.
Định nghĩa 1.4.2. Độ đo m được gọi là liên tục tuyệt đối đối với độ đo
P trên cùng một không gian đo được và ký hiệu m

P nếu P(F) = 0 suy ra

m(F) = 0, tức là m thừa hưởng tất cả các biến cố có xác suất 0 của P.
Định lý 1.4.1. (Định lý Radon - Nikodym) Cho hai độ đo m và P trên
không gian đo được (Ω, B) và m P, khi đó có hàm đo được h : Ω → R với
tính chất h ≥ 0, P − h.k.n (do đó cũng là m − h.k.n) và
hdP, ∀F ∈ B.

m(F) =

(1.8)

F

Nếu cả h và g thỏa mãn (1.8) thì h = g, P − h.k.n.
Nếu có thêm hàm đo được f : Ω → R thì
f hdP, ∀F ∈ B.

f dm =
F

(1.9)

F

Hàm h được gọi là đạo hàm Radon - Nikodym của m đối với P và ta viết
h = dm/dP.
Chứng minh định lý, bạn đọc có thể tham khảo trong [14].
1.4.5. Xác suất có điều kiện

Giả sử ta có một khơng gian xác suất (Ω, B, m) và lớp các biến ngẫu nhiên
M và ta muốn xác định xác suất có điều kiện m(G|M) cho mọi biến cố G. Bằng

trực giác, nếu ta biết giá trị đầu ra của các biến ngẫu nhiên trong lớp M thì xác
suất để G xảy ra là gì? Đầu tiên ta thấy rằng chưa thể chỉ rõ giá trị đầu ra của
lớp đó là gì. Chúng ta có thể xác định các giá trị này bằng cách coi xác suất
có điều kiện như một hàm của x ∈ Ω vì với x cho trước thì mọi f (x), f ∈ M
là cố định. Do đó, chúng ta sẽ coi xác suất có điều kiện như là một hàm của

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

16

các điểm mẫu có dạng m(G|M)(x) = m(G| f (x), ∀ f ∈ M), tức là xác suất của
G để f = f (x) với mọi biến ngẫu nhiên f trong lớp M cho trước. Vì m(G|M)
chỉ phụ thuộc vào giá trị đầu ra của f ∈ M nên nó thuộc M(σ (M)), tức là nó
đo được đối với σ (M), là σ - trường sinh bởi lớp M.
Xác suất có điều kiện của G với M đã biết không thay đổi nếu ta cũng có
biến cố trong σ (M) xảy ra và do đó ta có
m(G ∩ F) =

m(G|M)dm, F ∈ σ (M)
F

Điều này dẫn tới định nghĩa sau:
Cho lớp các biến ngẫu nhiên M và biến cố G, xác suất có điều kiện m(G|M)
được xác định như là một hàm nào đó sao cho
m(G|M) là σ (M) - đo được

(1.10)

và
m(G ∩ F) =

m(G|M)dm, ∀F ∈ σ (M).

(1.11)

F

Rõ ràng chúng ta vẫn chưa chỉ ra sự tồn tại của hàm trên. Tuy nhiên, trước
hết ta thấy rằng định nghĩa trên chỉ phụ thuộc vào M thơng qua σ - trường sinh
bởi nó.
Do đó, tổng quát hơn chúng ta có thể định nghĩa xác suất có điều kiện của
biến cố G với σ - trường con G đã cho như một hàm m(G|G ) sao cho
m(G|G ) là G - đo được

(1.12)

và
m(G|G )dm, ∀F ∈ G .

m(G ∩ F) =

(1.13)

F

Bằng trực giác, xác suất có điều kiện với một σ - trường là xác suất có điều
kiện với các biến cố trong σ - trường đã xảy ra hay tương đương như vậy là

cho trước kết quả của các hàm chỉ tiêu của tất cả các biến cố trong σ - trường.
Tức là, nếu G là một σ - trường và M = {∀1F ; F ∈ G } thì G = σ (M) và do đó
m(G|G ) = m(G|M).

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

17

Từ cách xây dựng ta có
m(G|M) = m(G|σ (M)).

(1.14)

Bây giờ chúng ta đã sẵn sàng để chứng minh sự tồn tại và duy nhất của xác
suất có điều kiện.
Định lý 1.4.2. Cho khơng gian xác suất (Ω, B, m), biến cố G ∈ B và một
σ - trường con G , khi đó tồn tại xác suất có điều kiện m(G|G ). Hơn nữa, hai
phiên bản xác suất có điều kiện như vậy thì bằng nhau m - h.k.n.
Chứng minh.
Nếu m(G) = 0 thì (1.13) trở thành
m(G|G )dm, ∀F ∈ G

0=
F

và do đó nếu m(G|G ) là G - đo được thì nó bằng 0, m - h.k.n.
Nếu m(G) = 0 thì xác định độ đo xác suất mG trên (Ω, G ) như là xác suất

có điều kiện cơ bản
m(F ∩ G)
,F ∈ G .
m(G)

mG (F) = m(F|G) =

Thu hẹp mG
G của m(.|G) trên G liên tục tuyệt đối đối với mG - là thu hẹp

của m trên G . Vì vậy mG
mG , do đó theo định lý Radon-Nikodym thì tồn tại
G
duy nhất hàm h dương hầu khắp nơi G - đo được sao cho
mG
G (F) =

hdmG
F

và từ Bổ đề 1.4.2
mG
G (F) =

hdm
F

do đó

m(F ∩ G)

=
m(G)

hdm, F ∈ G .
F

Vì vậy m(G)h là độ đo xác suất có điều kiện mong muốn m(G|G ).

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

18

1.4.6. Xác suất có điều kiện chính quy

Cho biến cố F, xác suất có điều kiện cơ bản m(G|F) là độ đo xác suất
m(.|F) khi được coi như hàm của biến cố G. Một câu hỏi tự nhiên đặt ra là có
hay khơng một kết luận tương tự cho trường hợp tổng quát hơn. Nói cách khác,
chúng ta định nghĩa xác suất có điều kiện cho một biến cố G cố định với σ trường con G . Nếu chúng ta cố định một điểm mẫu x và xét hàm tập m(.|G )(x),
nó có là độ đo xác suất trên B không? Trong trường hợp tổng qt có thể là
khơng nhưng chúng ta sẽ xét hai trường hợp đặc biệt mà xác suất có điều kiện
tồn tại để với xác suất 1 thì m(F|G )(x), F ∈ B là độ đo xác suất. Trường hợp
đầu tiên ta xét là trường hợp tầm thường của σ - trường con rời rạc của một σ
- trường tuỳ ý. Trường hợp thứ hai quan trọng hơn là một σ - trường con tuỳ ý
của một không gian chuẩn.
Định nghĩa 1.4.3. Cho không gian xác suất (Ω, B, m) và σ - trường con
G . Khi đó xác suất có điều kiện chính quy với điều kiện G là hàm
f : B × Ω → [0, 1]

sao cho
f (F, x); F ∈ B

(1.15)

là độ đo xác suất với mỗi x ∈ Ω và
f (F, x); x ∈ Ω

(1.16)

là một phiên bản của xác suất có điều kiện của F với điều kiện G .
Bổ đề 1.4.3. Cho không gian xác suất (Ω, B, m) và σ - trường con rời rạc
G (tức là G có hữu hạn hoặc đếm được phần tử), khi đó tồn tại độ đo xác suất
có điều kiện chính quy với điều kiện G .
Chứng minh.
Gọi Fi là họ đếm được các phần tử của σ - trường con đếm được G . Khi đó
ta có thể dùng xác suất cơ bản để viết một phiên bản của xác suất có điều kiện

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

19

với mỗi biến cố trong G :
m (G|G ) (x) = P (G|Fi ) =

m (G ∩ Fi )
; x ∈ Fi ,

m (Fi )

các Fi có xác suất khác 0. Nếu x là điểm trong tập có xác suất 0 thì xác suất có
điều kiện có thể là tập p∗ (G) với độ đo xác suất p∗ tuỳ ý nào đó. Bây giờ, nếu
chúng ta cố định x thì dễ dàng thấy rằng độ đo xác suất có điều kiện là chính
quy vì mỗi Fi trong σ - trường con đếm được, xác suất có điều kiện cơ bản
P(.|Fi ) là độ đo xác suất.
Định lý 1.4.3. Cho không gian xác suất (Ω, B, m) và σ - trường con G ,
khi đó nếu (Ω, B) là khơng gian chuẩn thì tồn tại một độ đo xác suất chính
quy với G .
Sự tồn tại của xác suất có điều kiện chính quy là một trong những khía cạnh
hữu ích của độ đo xác suất trên khơng gian chuẩn.
1.4.7. Kỳ vọng có điều kiện

Ở trên chúng ta đã chỉ ra rằng không gian xác suất chuẩn cho trước (Ω, B, m)
và σ - trường con G thì có độ đo xác suất có điều kiện chính quy đối với G :
m(G|G )(x), G ∈ B, x ∈ Ω, tức là với mỗi x cố định thì m(.|G )(x) là độ đo xác
suất và với mỗi G thì m(G|G )(x) là một phiên bản xác suất có điều kiện của G
với điều kiện G , ví dụ, nó thỏa mãn (1.12) và (1.13). Chúng ta có thể sử dụng
các độ đo xác suất riêng biệt để định nghĩa kỳ vọng có điều kiện
E ( f | G ) (x) =

f (u) dm(u |G ) (x)

(1.17)

nếu tích phân tồn tại.
Cố định F ∈ G và cho f là hàm chỉ tiêu của biến cố G ∈ B. Tích phân
(1.17) trên F sử dụng (1.13) và thực tế E(1G |G )(x) = m(G|G )(x) suy ra
E( f | G )dm =

F

f dm,

(1.18)

F

vì vế phải là m(G ∩ F). Từ tính tuyến tính của kỳ vọng có điều kiện (bởi (1.17),
kỳ vọng có điều kiện đơn giản là kỳ vọng thông thường đối với một độ đo,

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

20

nghĩa là độ đo xác suất có điều kiện chính quy với một điểm mẫu cụ thể) và
tích phân, (1.18) cũng đúng với các hàm đơn giản. Cho f không âm đo được,
lấy dãy lượng tử thơng thường qn ( f ) ↑ f thì (1.18) đúng vì hai vế bằng nhau
với mỗi n và cả hai vế hội tụ đến cùng tích phân, vế phải hội tụ bởi định nghĩa
của tích phân của hàm không âm, vế trái hội tụ theo định nghĩa và định lý hội
tụ đơn điệu. Với f tổng quát, sử dụng phân tách thông thường f = f + − f − và
áp dụng kết quả với mỗi phần. Quan hệ trên đúng theo nghĩa là nếu một tích
phân tồn tại thì tích phân cịn lại cũng tồn tại và chúng bằng nhau. Chú ý rằng
trong trường hợp cụ thể điều này chỉ ra rằng nếu f ∈ L1 (m) thì E( f |G )(x) phải
hữu hạn m - h.k.n. Thực tế là với G cố định, xác suất có điều kiện của G với
G là hàm G - đo được suy ra E( f |G )(x) là hàm G - đo được nếu f là hàm chỉ
tiêu, cũng suy ra nó là G - đo được với các hàm đơn giản và do đó cũng cho

giới hạn của các hàm đơn giản. Vì vậy chúng ta có các tính chất sau:
Nếu f ∈ L1 (m) và h(x) = E( f |G )(x) thì
h(x) là G - đo được, và
f dm, với mọi F ∈ G

hdm =
F

(1.19)
(1.20)

F

Phương trình (1.20) thường được gọi là kỳ vọng lặp hoặc kỳ vọng trùng
nhau vì nó chỉ ra rằng kỳ vọng của f có thể tìm được theo hai bước: đầu tiên
tìm kỳ vọng có điều kiện với σ - trường đã biết hoặc lớp các biến ngẫu nhiên
(trong trường hợp G sinh ra σ - trường) và khi đó tích phân là kỳ vọng có điều
kiện.
Các tính chất này tương tự như các tính chất của xác suất có điều kiện và
làm yếu đi các tính chất này trong trường hợp của các hàm chỉ tiêu. Bổ đề đơn
giản sau đây chỉ ra rằng các tính chất cung cấp định nghĩa thay thế của kỳ vọng
có điều kiện có hiệu lực tổng quát hơn, tức là nó đúng ngay cả khi khơng gian
giá trị không là chuẩn. Bây giờ ta đưa ra định nghĩa mơ tả tổng qt cho kỳ
vọng có điều kiện:
Định nghĩa 1.4.4. Cho không gian xác suất (Ω, B, m) và σ - trường con G
và biến ngẫu nhiên f ∈ L1 (m) thì hàm h bất kỳ được gọi là một phiên bản của
kỳ vọng có điều kiện E( f |G ).

TIEU LUAN MOI download :

CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

21

Từ Hệ quả 1.4.1, hai phiên bản kỳ vọng bất kỳ thì bằng nhau hầu khắp nơi.
Nếu khơng gian cơ bản là chuẩn thì định nghĩa mô tả phù hợp với định nghĩa
cấu trúc. Ta chỉ cịn phải chỉ ra rằng kỳ vọng có điều kiện tồn tại trong trường
hợp tổng quát, tức là ta có thể ln tìm thấy một phiên bản của kỳ vọng có điều
kiện ngay cả khi khơng gian cơ bản không là chuẩn. Để làm điều này, ta nhận
thấy rằng nếu f là hàm đơn giản ∑i ai 1Gi thì
h = ∑ ai m(Gi |G )
i

là G - đo được và thỏa mãn (1.20) từ tính tuyến tính của tích phân và tính chất
của kỳ vọng có điều kiện:

∑ aim(Gi |G )
F

i

m(Gi |G )

dm = ∑ ai
i

F

= ∑ ai

i

=

1Gi dm
F

(∑ ai 1Gi )dm =
F

i

f dm
F

Sau đó chúng ta tiến hành theo cách thông thường. Nếu f ≥ 0, lấy qn là dãy
lượng tử. Khi đó qn ( f ) ↑ f và do đó E(qn ( f )|G ) khơng giảm (Bổ đề 1.4.2), và
h = limn→∞ E(qn ( f )|G ) thỏa mãn (1.19) vì giới hạn của hàm G - đo được là G
- đo được.
Bổ đề 1.4.4. Cho không gian xác suất (Ω, B, m), σ - trường con G và biến
ngẫu nhiên f ∈ L1 (m), khi đó tồn tại hàm giá trị thực G - đo được h thỏa mãn
công thức
f dm, ∀F ∈ G ,

hdm =
F

(1.21)

F

tức là tồn tại một phiên bản kỳ vọng có điều kiện E( f |G ). Nếu khơng gian cơ
bản là chuẩn thì (1.17) cũng đúng hầu khắp nơi, tức là định nghĩa mô tả và
định nghĩa theo cấu trúc là tương đương trên không gian chuẩn.
Kết quả tiếp theo chỉ ra rằng nhận xét (1.18) đúng ngay cả khi không gian
không phải là chuẩn.

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

22

Hệ quả 1.4.2. Cho không gian xác suất (Ω, B, m) (không nhất thiết chuẩn),
một σ - trường con G và biến cố G ∈ G thì với xác suất 1 ta có
m(G|G ) = E(1G |G ).
Chứng minh.
Từ định nghĩa mô tả của kỳ vọng có điều kiện ta có
1G dm = m (G ∩ F) , ∀F ∈ G

E(1G |G ) dm =
F

F

với G ∈ B bất kỳ. Nhưng theo (1.13) thì tích phân này chỉ là F m(G|G )dm với
mọi F ∈ G . Vì E(1G |G ) và m(G|G ) là G - đo được nên hệ quả hoàn toàn được
chứng minh.
Hệ quả 1.4.3. Nếu f ∈ L1 (m) là G - đo được thì E( f |G ) = f , m - h.k.n.

Chứng minh.
Chứng minh được suy ra trực tiếp từ (1.20) và Hệ quả 1.4.1.
Nếu kỳ vọng có điều kiện được xác định trên không gian chuẩn sử dụng
định nghĩa cấu trúc thì nó thừa hưởng các tính chất của kỳ vọng thông thường.
Bổ đề 1.4.5. Cho không gian xác suất (Ω, B, m), σ - trường con G , f và
g là hai biến ngẫu nhiên khả tích.
(a) Nếu f ≥ 0 với xác suất 1 thì Em ( f |G ) ≥ 0.
(b) Em (1|G ) = 1.
(c) Kỳ vọng có điều kiện là tuyến tính, tức là với α, β là hai số thực bất kỳ
và hai biến ngẫu nhiên bất kỳ f , g ta có
Em (α f + β g |G ) = αEm ( f |G )+ β Em (g |G ).
(d) Em ( f |G ) tồn tại và hữu hạn khi và chỉ khi Em (| f ||G ) hữu hạn và
|Em f | ≤ Em | f | .
(e) Cho hai biến ngẫu nhiên f , g và f ≥ g với xác suất 1 thì
Em ( f |G ) ≥ Em (g|G ) .

TIEU LUAN MOI download :


CHƯƠNG 1. KIẾN THỨC CHUẨN BỊ

23

Chứng minh.
(a) Nếu f ≥ 0 và
f dm, ∀F ∈ G

E ( f |G ) dm =
F

F

thì vế phải khơng âm với mọi F ∈ G . Vì E( f |G ) là G - đo được nên từ Hệ quả
1.4.1 suy ra E( f |G ) ≥ 0.
(b) Cho f = 1, hàm h = 1 là G - đo được và thỏa mãn
f dm = m (F) , ∀F ∈ G

hdm =
F

F

vì (1.19) - (1.20) thỏa mãn với h = 1 nên 1 phải là một phiên bản của E(1|G ).
(c) Cho E( f |G ) và E(g|G ) là kỳ vọng có điều kiện của f và g đối với G .
Khi đó h = αE( f |G ) + β E(g|G ) là G - đo được và thỏa mãn (1.20) với f được
thay bởi α f + β g. Do đó h là một phiên bản của E(α f + β g|G ).
(d) Cho f = f + − f − là phân tách thông thường thành các thành phần
dương và âm f + ≥ 0, f − ≥ 0. Từ phần (c) có E( f |G ) = E( f + |G ) − E( f − |G ).
Từ phần a) có E( f + |G ) ≥ 0 và E( f − |G ) ≥ 0. Vì vậy, lại sử dụng phần (c) ta có
E ( f |G ) ≤ E f + |G + E f − |G
= E( f + + f − |G ) = E(| f | |G )
(e) Chứng minh phần này được suy ra từ phần (a) và (c) bằng cách thay f
bởi f − g.

TIEU LUAN MOI download :