Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (3.26 MB, 87 trang )
<span class="text_page_counter">Trang 1</span><div class="page_container" data-page="1">
<b>ĐẠI HỌC QUỐC GIA HÀ NỘI</b>
<b>CÁC MỊ HÌNH XÁC SUẤT VÀ ỨNG DỤNG</b>
<b>PHẦN III:GIẢI TÍCH NGAUNHIÊN</b>
Mã sơ :01. 214. ĐH 2001 - 503.2001
In 1000 bản tại Nhà in Đại học Quôc gia I ỉa Nội
Số xuất bản: 4/503/CXB. Sơ' trích ngang: 419 KH/XB
In xong và nộp lưu chiểu quý IV năm 2001
</div><span class="text_page_counter">Trang 5</span><div class="page_container" data-page="5"><b><small>Lời nói đầu ... 11</small></b>
<b><small>Chương 1. CÁC KIẾN THỨC cơ BẤN v'Ẻ XÁC SUẤT1.1. Biến ngẫu nhiên và hàm phán phối ... </small></b>17
1.1. i. Không gian xát suất ... 17
1.1.2. Biến ngầu nhiên ... 22
1.1.3. Kỳ vọng và phương sai ... 24
1.1.1. Phan phối dồng thời hai chiêu ... 32
<b><small>1.2. Vector ngẫu nhiên ... </small></b>35
1.2.1. Hàm phân phối và hàm đặc trưng ... 35
1.2.2. Định lý Bochner ... 35
1.2.3. Phan phôi (Iman iLchivn ... 30
1.3. Tổng <b><small>các biến ngẫu nhiên độc lập ... </small></b>37
1.3.1. l i’i111 (I ọc lạp xác sunI ... 33
<b><small>1.4. Đinh nghĩa tổng quát của kỳ vọng có điều kiện ... 41</small></b>
1.1.1. Đói với phân hoạch ... 41
</div><span class="text_page_counter">Trang 6</span><div class="page_container" data-page="6">1.4.2. Đổi với íT-trrrừng ... 41
1.4.3. Các tính chốt cùa kỳ vọng có điêu kiện ... 44
1.4.4. Các (lịnh lý chuyên giới hạn dưới drill kỳ vọng có điêu kiện . . 46
2.1.2. Phàn phối hữu hạn chiều ... 54
2.1.3. Quỹ đạt) và. không gian quỹ đạo ... 55
2.1.4. Tập trụ và (7-trirừng trụ ... 56
2.1.5. Phàn phối ciia q trình ngẫu nhiên trén khơng gian quỹđạo 57 2.1.6. Định lý ton tại Kolmogorov ... 58
</div><span class="text_page_counter">Trang 7</span><div class="page_container" data-page="7"><b><small>2.4. Những lớp các quá trình ngẫu nhiên quan trọng ... </small></b>68
2.1.1. Quátrình Gauss... 68
2.4.2. Quátrình gia số độc lạp ... 69
2.4.3. Q trìnhgia số khơng tương quan ... 69
2.4.4. Quátrình dừng (theo nghĩa hẹp) ... 70
2.4.5. Quá trình dừng theo nghĩa rạng ... 71
<b><small>Chương 3. MARTINGALE VỚI TEtín GIAN RỜI RẠC3.1. Khái niệm tương thích và dự báo được ... 88</small></b>
3.1.1. Các ơ-trường liên quan tới dãy ngẫu nhiên ... <b><small>88</small></b>
</div><span class="text_page_counter">Trang 8</span><div class="page_container" data-page="8">3.3.4. Martingale địa phương ... 106
3.3.5. Phép biến đổi martingale ... 107
3.1.2. 13al (lang I lure Kolmogorov ... 110
3. 1.3. Bat (lang tlnrc Boob... 119
</div><span class="text_page_counter">Trang 9</span><div class="page_container" data-page="9"><b><small>3.9. Hằng đẳng thức Wald ... </small></b>138
3.9.1. Hang đang thức Wald ... 138
3.9.2. Hang đẳng thức cơ bàn Wald ... 141
<b><small>Chương 4. MARTINGALE VỚI THỜI GIAN LIÊN TỤC4.1. Khái niệm tương thích và dự báo được... 150</small></b>
4.1.1. Các ơ-tnrờng liên quan tới q trình ...150
</div><span class="text_page_counter">Trang 10</span><div class="page_container" data-page="10"><b><small>4.4. Tính liên tục của quy đạo ... </small></b>159
4.8.6. Khai trièn Riesz... 163
4.8.7. Khai triêii Doob-Meyer đổi với thế ... 163
4.8.8. Khai triển Dơob-Meyer... 163
4.8.9. Martingale địa phương... 164
4.8.10. Định lý ... 164
<b><small>Bài tập ... </small></b>165
<b><small>Chương 5. TÍCH PHÂN NGAU </small></b>nhiên <b><small>5.1. Tích phân Wiener ... </small></b>167
5.1.1. lích phân \\ ienei ( lia hàm số (lơn giãn... 167
5.1.2. Các tính chất cơ bân cùa tích phàn Wiener cua hàm số đơn giản ... 169
5.1.3. Tích phân Wiener cùa hàm sổ bình phương kha tích ... 171
</div><span class="text_page_counter">Trang 11</span><div class="page_container" data-page="11"><b><small>5.2. Tích phân Ito ... </small></b>172
5.2.1. Tích phán Ito C1UI hàm ngầu nhiên thuọc lứp jV ... 172
5.2.2. Các tính chất CO' bân cua tích phan Ito cua hàm ngan nhiên thuộc lứp<i> A/~ ...</i> 177
5.2.3. Định lý ... 177
5.2. 1. Định lý ve bân sao liên tục cua tíc h phân Ito cua hàm lìgẫu nhiên 1 h lộc lứp A ... 178
<b><small>5-3. Mờ rộng tích phân Ito ... </small></b>179
5.3- 1. Tích phàn Ito cùa hàm ngẫunhiên thuộc lóp .M ... 181
5.3. 2. Tích phân Wiener nhiêu chiêu ... 182
<b><small>5.4. Vỉ phân ngẫu nhiên cúa hàm hợp, công thức Ito ... </small></b>183
5.4.1. Công thức Ito 1-chieu ... 183
5.4.2. Cóng thire Ito nhiêu chiều ... 187
5.4.3. Ví clii ... 188
5.4.1. Cịng t hire tích phan tírng phan ... <b><small>189</small></b>
<b><small>5.5. Phương trình vi phân ngẫu nhiên ... 189</small></b>
5.5.1. 1’hircrng trình vi phàn ngẫu nhiên là gì? ... 189
5.5-2. Định lý ton tại cluv nhai Iighiẹm ... 190
5.5.3. Ví <lụ giãi phircrng trình vi phan ngẫu nhiên ... 190
5.5.4. Nghiệm mạnh và nghiệm yếu ... 194
</div><span class="text_page_counter">Trang 13</span><div class="page_container" data-page="13">Xác suất Thống kê là lĩnh vực toán ứng dung, nó địi hỏ; một cơ sờ tốn học. sâu sắc. Ngày nay các mơ hình xác suất đã thực sự được ứng dụng rộng
rãi trong khoa học tự nhiên cũng như trong khoa học xã hội. Tuy nhiên, ờ
Việt Nam có rất ít những tài liệu về các mơ hình xác suất và ứng dụng của chúng. Đó là lý do chính để chúng tơi viết giáo trình này. Nhằm phục: vụ các độc- giả trong nhiều lĩnh vực. khác nhau (toán học, vật lý, CO’ học, sinh học,
khoa học trái đất, kinh tế, y học, nông nghiệp, v.v...) nên giáo trình được viết theo tinh thần: chính xác: về lý thuyết tới mere: độ nhất định, có nhiều
ví dụ ứng dụng cụ thể thường gặp trong thực tế và tương đối dỗ hiểu.
Giáo trình <b><small>Các mơ hình xác suất và ứng dụng </small></b>do GS.TSKH Nguyền
Duy Tiến chủ biên bao gồm:
<b><small>Phần I. Xích Markov và ứng dụng, GS.TSKH </small></b>Nguyền Duy Tiến viết.
<b><small>Phần II. Quá trình dừng và ứng dụng, </small></b>PGS-TSKH Đặng Hùng Thắng viết.
<b><small>Phần III. Giải tích ngẫu nhiên. </small></b>GS.TSKH Nguyễn Duy Tiến viết.
Các thành viên của Bộ mơn Xác suất Thống kê, Khoa Tốn - Cơ - Tin
học, Trường ĐHKHTN - ĐHQGHN dã. nhiều năm giáng dạy Q trình ngầu nhiên và tích lũy được nhiều kinh nghiệm đề viết giáo trình này dưới dạng
mơ hình ứng dụng phục vụ cho đông đảo bạn đọc. Tuy nhiên, đáy khơng phải là giáo trình sơ cấp. Vì vậy đế đổ dạt được hiệu quà cao, bạn đọc cần phải có kiến thức tốn của hai năm đầu đại học’ và đặc- biệt phai có kiến thức xác: suất CÔ điển (chẳng hạn như trong Đào Hữu Hồ [1], Đặng Hùng Thắng
[2]. hoặc Nguyễn Viết Phú, Nguyễn Duy Tiến [3]).
Chúng tơi hy vong giáo trình này sẽ có ích cho nhiêu bạn doe. phục vụ
tốt cho việc giảng dạy. nghiên cứu và ứng dụng.
</div><span class="text_page_counter">Trang 14</span><div class="page_container" data-page="14">Chắc chắn giáo trình cịn nhiều thiếu sót. Rất mong nhận được sir góp ý và chỉ bảo của bạn đọc. Chúng tôi xin chân thành cám ơn.
Cuối cùng chúng tôi xin cám ơn Ban Giám hiệu Trường ĐHKHTN - ĐHQGHN, Khoa. Toán - Cơ - Tin học. Bộ môn Xác suất Thống kê Trường ĐHKHTN - ĐHQGHN và Nhà. Xuất Bản ĐHQGHN đà. động viên, cổ vũ và
tận tình giúp đỡ chúng tơi biên soạn tài giáo trình này
Hà Nội mùa thu năm 1999
Các tác giã
</div><span class="text_page_counter">Trang 15</span><div class="page_container" data-page="15">Khác với các phần I-IĨ, pha.il III được viết ở mức độ khá cao và khá. trừu
tượng, bời lẽ giải tích ngầu nhiên, ngồi các kiến thức tốn học như tích phân Riemann. đại sổ ma trận, ta cần phải nắm vững một. số kết q trừu tượng
('lìa giải tích và đại số.
Giài tích ngẫu nhiên là một chun de khó đối vứi sinh viên. Để hiếu nội
(lung cùa phần này. bạn cần phải :
1. Nắm vững các kiến thức cơ bàn cùa xác suất co dien,
2. Nắm vững lý thuyết độ đo và tích phán Lebesgue,
3. Nắm vững các tính chất của kỳ vọng có điều kiện đối với cr-trường,
4. Nắm được nội dung cơ bân Phan I: Xích Markov, phần II: Q trình
. dừng cua tài liệu: Các mơ hình xác suất và ứng dụng (do chúng tơi biên soạn,
xem [5], [6]).
Giãi tích ngẫu nhiên là cơ sỡ tốn hoc de nghiên cứu q trình ngẫu
nhiên. Cũng như giâi tích kinh dien, giả.i tích ngầu nhiên dồ cập tới các vấn
đề then chốt sau:
- Giới hạn và liên tục.
- Quỹ đạo và các tính chất quỹ đạo của quá trình ngẫu nhiên,
- Phân phối cùa q trình ngẫu nhiên trên khơng gian quỹ dạo.
- Phân loại q trình ngẫu nhiên,
- Tích phân ngẫu nhiên, phương trình vi phân ngẫu nhiên,
</div><span class="text_page_counter">Trang 16</span><div class="page_container" data-page="16">- Hội tu cúa quá trình ngẫu nhiên.
Trong một giỉío trình ngắn, khơng the trình bày dầy dú các vãn đe tron. Chúng tơi chi tạp trung trình bày một số khái niệm và kết quả quan trọng nhất cua giải tích ngầu nhiên.
<b><small>Phần III: GIẨI TÍCH NGẪU NHIÊN </small></b>(gồm 4 chương)
<b><small>Chương 1 trình bày:</small></b>
- Torn tat các kết quả quan trọng nhất của xác suất cô điên dựa trên độ
do và tích phân Lebesgue;
- Kỳ vọng có điều kiộn. (Đày là mục đích chính của chương 1.)
<b><small>Chương 2 trình bày các định nghĩa cơ bần về q trình ngẫu nhiên. </small></b>Chúng tơi tập trung vào <b><small>giải thích ý nghĩa </small></b>cua các khái niệm như: Phán phối hữu hạn chiêu; Điêu kiện nhất qiĩán; Sự tồn tại cùa qitá trình ngẫu
nhiêm Các tính chất quỹ dạo. Sau dó trình bày sir phản lớp các q trình
ngầu nhiên: Q trình Gauss: Q trình có gia số độc lập; Quá trình dừng. Đặc biệt quan trọng là quá trình Wiener.
<b><small>Chương 3 dành cho lý thuyết martingale với thời gian rời rạc. </small></b>
Nội dung chính của. chương 3 là: Các bất đằng thức; Các dịrih lý hội tụ; Thời diem dừng. Bất dang thức Doob và. định lý Doob ve sự hội tụ cua. martingale
là mục đích chính cúa chương <b><small>3. Bạn có thề đọc chương 3 ngay sau khi đọc hết chương 1.</small></b>
Nội dung của chương 4 tương tự như nội dung của chương 3. <b><small>Chương4 dành cho lý thuyết martingale với thỊÒd gian liên tục. </small></b>Hầu hết các két qúâ của. phần này chì được phát biếu, khơng chứng minh (vì các chứng
minh hoặc giống trường hợp rời rạc, hoặc rất phức tạp và khó). Nhưng chúng
tịi cố gắng chi rõ những khó khăn khi chuyền các kết quà. của martingale từ
thời gian rời rạc lên thời gian lien tục.
<b><small>Chương 5 dành cho lý thuyết tích phân ngẫu nhiên. </small></b>Đầu tiên ta
dịnh nghĩa tích phân Wiener, sau đó là tích phân và vi phân Ito. Cóng thức
Ito ve vi phan cùa hàm hợp là kết quá then chốt. Phương trình vi phân ngẫu nhiên, bài toán lọc Kanman-Bucci cũng được đồ cập tới trong chương này.
</div><span class="text_page_counter">Trang 17</span><div class="page_container" data-page="17">Mỗi chương đều có bài tập giúp bạn đọc hiều sâu thêm lý thuyết và tập 1'rng dụng giải các bài toán thực tế. Bài tập khó có đánh dấu
Nội dung cúa giáo trình này được biên soạn theo các sách trong phần tài liệu tham khÀo.
Chúng tôi chân thành cám ơn TS. Nguyễn Viết Phú, PGS.TSKH. Đinh
Quang Lưu vầ PGS. TS. Nguồn Văn Hữu đã đọc kỹ bàn thảo và góp nhiều ý kiến q báu đê’ giáo trình nà.y hồn thiện hơn.
Hà Nội mùa thu năm 2000 Nguyễn Duy Tiến
</div><span class="text_page_counter">Trang 19</span><div class="page_container" data-page="19"><b><small>Chương 1</small></b>
Xác suất và thống kê bắt nguồn từ nhũng vấn đồ thực tế liên quan đến xử lý số liệu thực nghiêm. Tuy vậy, có thổ nói rằng, cơ sợ tốn học của lý thuyết xác suất và thống kê là. độ đo vả tích phân Lebesgue, một lĩnh vực
toán học khá trừu tượng. Đặc biệt, để nghiên cứu giải tích ngầu nhiên, bạn phải nắm khá. vững lý thuyết độ đo vả tích phân Lebesgue và một số khái niệm cơ bản cũng như những kết quà then chốt của xác suất cổ điển. Để giúp bạn đọc hiểu rõ bàn chất cùa giãi tích ngẫu nhiên, trong chương này,
chúng tơi trình bày tóm tắt những điều cốt yếu nhất của lý thuyết độ đo và
t ích phân Lebesgue, và ciìa xác suất co điên.
Ngồi ra, vì giải tích ngẫu nhiên nghiên cứu các q trình ngầu nhiên mơ tà quan sát sự tiến triển theo thời gian cùa một hệ thống nào đó, nên cần
phái điền giài sự phụ thuộc giữa, các- quan sát tại các thời điếm khác nhan. Trong xác suất và. thống kê, khá.i niệm xác suất có điồu kiện và kỳ vọng có
cĩiou kiện thường (lược dùng đe mô phổng sự plm thuộc nói trên. Chính vì
thế, <b><small>mục đích chính của chúng tơi trong chương này là trình bày (khá chi tiết) định nghĩa tổng quát của kỳ vọng có điều kiện (đối với ơ-trường).</small></b>
Bạn hãy đọc kỹ phần nà.y trước khi đọc tiếp các chương sau. .
<b><small>1.1. Biến ngẫu nhiên và hàm phân phối1.1.1. Khơng gian xác suất</small></b>
Thí nghiệm (hay phép thừ) ngẫu nhiên là thí nghiệm có nhiều kết q
mà ta khơng thể đốn trước kết quả nào sẽ xảy ra. Tập hợp tất cả. các kẹt
</div><span class="text_page_counter">Trang 20</span><div class="page_container" data-page="20">quả có thể có của thí nghiệm được gọi là <b><small>khơng gian mẫu </small></b>và được ký hiệu
là. Q. Mỗi tập hợp con <i>A</i> c Q được gọi là một biến cố. Dưới đây ta giả sử Q là tập khác rỗng nào đó.
• Một họ các biến cố<i> A được</i> gọi là <b><small>trường (hay </small></b>đại số) nếu: (i) <i>A chúakhông gian mẫu, tức là,</i> Q G A <i>,</i>
(ii) <i>yl kín đối với-phép lấyphần bù,tức là, A E A thì A' EX. trong </i>
<i>đó Ac</i> = Q \ <i>A,</i>
(iii) <i>A kín đối với phéplấy hợphữu hạn, tức là, nếu</i>
<i>Ak EA, k— thỉ</i> i,_J <i>A,I E A</i>
• Một họ các biến cố A được gọi là <b><small>ơ-trường (hay ơ-đại số) </small></b>nếu:
<i>(i) Achúa khơnggian mẫu, tức là,</i> Q G <i>A,</i>
<i>(ii) Akín đối với phéplấyphần bù, tức là A E A thì yV' E A,trong</i>
<i>đo Ah </i>í 2 <i>A,</i>
<i>(iii) Akín đối với phép lấy hợpđốmđuợc,tức là. nếu</i>
<i>An EA,n =</i> 1,2,... <i>thi</i> [J<i>AJt E A.<small>n=l</small></i>
<b><small>• Khơng gian đo </small></b>là cặp (Í2, <i>A).</i> trong đó Í2 là khơng gian màu lìào đó,
<i>A</i> là<i> ơ-</i>trường.
• Già. sử <i>c</i> lằ tập mà. mồi phần từ của nó là tập con của Q. Khi đó ta nói<i> c</i> lồ một <b><small>lớp. </small></b>Ta ký hiệu 2n là lớp gồm tất cả các tạp (’Oil cùa ỉỉ. Đó
là ư-trường lớn nhất. Trong khi đó lớp gồm hai tập: (Í2,0) là ư-trường bé nhất. Giao của các ơ-trường chứa <i>c </i>cũng là íT-trườug chứa <i>c. Vì</i> thế. tồn
<b><small>tại ơ-trường bé nhất chứa </small></b><i>c.</i><b><small> Ta ký hiệu íT-trường này là </small></b>ư(C), <b><small>và gọi đó là ơ-trường sinh ra tír </small></b><i>c.</i>
</div><span class="text_page_counter">Trang 21</span><div class="page_container" data-page="21">• về thực chất <i><7-</i>trường là khái niệm tổng quát hoá khái niệm phân hoạch. Nói rằng dãy (hữu hạn hoặc vơ hạn) các tập (An) <b><small>là phân hoạch </small></b>của. Q. nếu hợp cua chúng bằng Q và chúng rời nhau từng cặp, tức là,
trong dó <i>ỉ </i>là tập con cùa. {1,2,...}.
• <i>Cho (Au) </i>là dãy các tập con của Q. Ký hiệu
lim <i><b><small>■/</small></b></i>supAn-nu<i>Ak, </i>lim inf A<i>n —</i>
limsupA,! = lim infAn
<b><small>thì ta nói (A„) có giới han, và ký hiêu các tâp bằng nhau này bởi </small></b>
ỉimAn. <b><small>Trong trường hợp dổ ta nói </small></b>limAu <b><small>là giới hạn ẹỉủa dãy (A„_).</small></b>
• Ta, nói (A-u) là dãy <b><small>đơn điệu không giàm </small></b>nếu <i>An</i> c A.u-ị-1, và nói
(Au.) là <b><small>dãy đơn điệu khơng tăng </small></b>nếu Au+1 c Azl. Nói rằng (Au) là dãy
<b><small>đơn điệu </small></b>nếu nó hoặc đơn điệu khơng giảm, hoặc đơn điệu khơng tăng.
• Lớp yM là đơn điệu nếu A4 chứa giới hạn của các dày đơn điệu cùa nó, tức là nếu Au G A4. và (Au) đơn điệu thì lim A„ G <i>Ní.</i> Dề dàng thấy rằng:
A <i>ỉàơ-trư.ừỉtg khi và cỉtĩ khi</i> A <i>lò. trường,và đơn điệu;</i>
<i>Nếu cỉà đạisố thỉ cr(C) — NÍ(C), trong đó Nt(C) là lớpđơn điệu bé nhất</i>
<i>(■.h ứa c.</i>
</div><span class="text_page_counter">Trang 22</span><div class="page_container" data-page="22">• Cho hai khơng gian đo (ill , >11), (ÍI2, A2). Tập chữ nhật là tập có dạng
<i>Al</i> X A2, At e <i>Ai, i </i>= 1,2.
Ký hiện Aỵ <i>®A?</i> là ơ-trường bé nhất chứa, các tập chữ nhật, và gọi đó là
<b><small>ơ-trường tích. </small></b>Khi đó, (Qi X n2,Ai ® <i>A2)</i> được gọi là <b><small>khơng gian đo tích. </small></b>Tương tự ta định nghĩa khơng gian đo tích cho một số hữu hạn các
khơng gian đo:
M n
<i>k=</i><small> 1 </small> <i>k—</i><small> 1</small>
• Khi Í2 là khơng gian <i>metric E, thì</i> ta. ký hiệu<i> 13(E)</i> là ơ-trường sinh ra từ các tập mờ. và gọi <i>13(E) là </i>ư-<b><small>trường Borel của </small></b><i>E.</i> Ttong trường hợp <i>E </i>
là đường thằng thực IR, thì 3(IR) trùng với <i>ơ-</i> trường sinh ra từ các khoảng.
Khi <i>E</i> = IRn thì ta viết <i>Ì3n</i> thay cho ổ(IRĩl).
• Ta hiểu <b><small>độ đo </small></b>trôn ơ-trường <i>A là. </i>ánh xạ /,4 ;<i> A </i>» [0,00] sao cho tồn tai <i>A EA</i> với fj>(A) <i><</i> 00 và nếu <i>An</i> G<i> An —</i> 1, 2, ... là dãy các tập
rời nhau từng cập thì
M ( J <i>ụ,(A7l) .</i>
Độ<i> đo ỊJ, </i>là <b><small>hữu hạn </small></b>nếu /1(Í1) < 00; Độ đo <i>ụ,</i> là <b><small>ơ-hữu hạn hay hữu hạn đếm được </small></b>nếu
<b><small>Độ đo </small></b><i>ỊJ,</i><b><small> được gọi là đủ </small></b>hay chính xác hơn <i>A</i> là đủ đối với <i>/.I</i> nếu <i>A</i>
chứa tất cà các tập có /4-độ đo khơng.
<b><small>cr-trường bổ sung của </small></b><i>A</i><b><small> đối với /4 </small></b>được định nghĩa theo công thức sau
Ặ, = (Ceil I tồn tại Ai, A2 e <i>A,Ai</i> c<i> c </i>c A2, M(^! \ A2) 0
</div><span class="text_page_counter">Trang 23</span><div class="page_container" data-page="23">Hiổn nhiên <i>Aft</i> là đủ đối với ẬẬ.
• Xác suất p là. độ đo chuẩn hóa, tức là P(Í2) = 1. Trong trường hợp (1(5. bộ ba (Q,>1, P) đirợc gọi là <b><small>không gian xác suất (cơ sở). </small></b>Nếu <b><small>.4 </small></b>đủ dối với F thì ta. nói (Q,.A,P) là. <b><small>khơng gian xác suất đủ.</small></b>
Ta thường (lùng các ký hiệu sau:
P(z4), ĨPịXÌ, ĨP{yl} để chì xác suất cúa biến cố <i>A.</i>
P(yl|B),F[zl|B], ĨP{.4ỊB} đe chi xác suất có điều kiện cùa 4 khi <i>Ỉ3</i> đã xay ra (hoặc <i>B</i> đà cho).
Xác suất có (lieu kiện được định nghĩa, theo còng thức
°-• Giã sữ <i>c</i> là lớp nào đó. Ta. gọi hàm tập là ánh xạ y? : <i>c</i> —» [—00,00] nhưng chi có thố nhận một trong hai giá trị —00, +00. Ta luôn giả thiết tồn tạ.i<i> c ỂE c</i> sao cho —00 < ụ?(C) < 00.
Nếu — 00 < 99(C) < 00 với mọi <i>c Ec thì</i> ta nói<i> <p</i><b><small> hữu hạn.</small></b>
Nếu Ỉ7 phản hoạch thành một dãy các < ý?(ơ„) < 00 với mọi <i>H — 1,2,...</i> thì ta
Nếu 9?(C) > 0 với mọi <i>c E c thì ta</i> nói 99 <b><small>khơng âm</small></b>
Nếu <i>*p(A</i> u <i>B) —<p(A)</i> -í- <i><p(B)</i> với mọi <i>A, B E c</i> thoa mãn điều kiện /lul? t V, <i>A n B</i> — 0 thì ta nói 99 <b><small>cộng tính hữu hạn.</small></b>
Nếu limn <^(<small>j</small>4„)<b><small> = 0 </small></b>với mọi dãy <i>(An E C)</i> đơn điệu giảm tới <b><small>0 </small></b>(tức là,
nẤ„ — 0), và 0 E <i>c</i> thì ta. nói <i><p</i><b><small> liên tục tại </small></b>0.
Kết quả sau thường đirợc áp dụng: <i>Nếu</i> 99 <i>hữ’u hạn (hoặc không âm), cộng tinh h'ữ.u hạnvà</i> 99 <i>liên tục tại</i><b><small> 0 </small></b><i>thì</i> 97 <b><small>cộng tính đếm đưực (hay <7-cộng tính), </small></b><i>tức là, nếuAn Ec ,n =</i><b><small> 1,2, ... </small></b><i>là dãy các tậpvời nhau từng </i>
<i>cặp saocho</i>
71=1
</div><span class="text_page_counter">Trang 24</span><div class="page_container" data-page="24"><i><b><small>n.=</small></b></i><b><small> 1</small></b> <small>71=1</small>
<i>Ngượclại, nếu ự) hưu hạn và cộng tính đốm được thì '-Pliêntục tại</i><b><small> 0.</small></b>
<b><small>• Khai triền Hahn-Jordan. </small></b>Nếu (£> là hàm tập xác định trên cr-trưừng
<b><small>>1, </small></b>cộng tính đếm được thì tồn tại hai độ đo v?+, <i><p~</i> xác định trên <b><small>>1 </small></b>sao cho V?(.A) = ọ9+(yl) —<i> g></i> (A), V<small>j</small>4 e<i> A.</i>
<b><small>• Mờ rông độ đo. </small></b><i>Nếu ịx làhàm tập không âm xácđịnh trêntrường c, </i>
<i>cộngtính đếm được và hữu hạn (hoặc hữuhạn đếm được), thỉ tồn tạ.i duy nhất một độ đo</i> /ĩ : ư(C) —> [0, co] <i>(xác định trên ơ-trường bé nhốt. chứa.C) </i>
<i>sao cho</i>
<i>ỹ(C) - fi(cỵ</i> VCeC.
<i>Tử đâysuy ra hai độđo trênơ(C) bằng nhautrên cthìbằng nhau trên</i> ư(C).
<b><small>• Độ đo tích. </small></b>Giả sử (Hí,<i> Xi,/Ắặ), i</i> = 1, 2 là hai khơng gian có độ đo hữu hạn hoặc hữu hạn đếm được. Khi đó, tồn tại và. duy nhất độ đo /Zị X /./2, được gọi là. độ đo tích của /Z1,/Z2, trên khơng gian đo tích
(Qi X <i>Cì.2,</i> >11 ® .Ao) sao cho
<i>/lỵ</i> X /12(^1 X A2) — <i>/L1(Ai)fi2(Á2), Ai <E. Ai, i —</i><b><small> 1,2.</small></b>
<b><small>1.1.2. Biến ngẫu nhiên</small></b>
• Nói một cách chung chung thì biến ngẫu nghiên là. đại lượng mà giá trị
của nó phụ thuộc vào kết quả cùa. thí nghiệm. Định nghĩa chính xác cùa. nó
</div><span class="text_page_counter">Trang 25</span><div class="page_container" data-page="25">(i) không giàm , (ii) liên tục bên phải,
(iii) lim F(x) — 0 , lim <i>F\.r')= 1.</i>
';c-4.-00 X-++OC
Biến ngẫu nhiên <i>X </i>được gọi là <b><small>rời rạc </small></b>nếu tập tất cà các giá trị của nó là hữu hạn hay đếm được. Ký hiệu ...) là. các giá trị của<i> X.</i>
Ta đặt <i>pn = </i>P(X = .?:„) , (?/. = 1, 2, ...) và gọi (pTi) là dãy phân phối xác suất cùa X.
Dày số này có các tính chất (cần và đủ) sau:
(i) khơng âm. tức là<i> pIL ></i><b><small> 0 </small></b>(n — 1,2,...),
• Già sứ (í 2, <i>A.) </i>và (B, <i>Ĩ3)</i> là hai không gian đo. Ánh xạ. <i>X: Ị>ì —ì E</i> được
gọi là đo được, hay chính xác hơn là (X,Z3)-đo được, nếu
VBeổ,
</div><span class="text_page_counter">Trang 26</span><div class="page_container" data-page="26">hoặc tương đương
trong đi') <i>Ỉ3 =rr(C). </i>Nếu (Q.A,/i) là. khơng gian có độ đo, thì ta đặt
Khỉ đố) <i>fj,x</i> là độ đo xác định trên Ỉ3. Ta gọi<i> /J-X </i>là độ <b><small>đo ành của </small></b>độ <b><small>đo// qua ánh xạ </small></b><i>X. </i>Trong trường hợp /í — p là độ đo xác suất, thì được
gọi là <b><small>phân phối (xác suất) cda </small></b><i>X</i> (trên không gian trạng thái £■). Khi
<i>E </i>= ]Rn, <i>Ỉ3</i> = ổ(IRn), thì <i>X</i> = (_¥1, ...,XTt) được gọi là vector ngảu nhiên và 1P.X' được gọi là <b><small>phân phối đồng thời </small></b>của các biến ngẫu nhiên <i>...yX„.</i>
Cần chú ý rằng:
- Mỗi độ đo xác suất trên (IR,<i> Ì3)</i> tương ứng duy nhất (chính xác đến
hằng số công) với hàm phân phối xác suất F (tức là<i> F</i> không giảm, liên tuc
phái, giới hạn ờ —oo bằng 0, giới hạn ờ +oo bằng 1) theo còng thức /t((n,ò]) = F(6)-F(a).
- Trén (IR" , 23") có độ đo duy nhất Ă sao cho A-độ đo của hình hộ]) bằng
the tích cua hình hộp. Độ do này được gọi là độ đo Lebesgue của ]R”. Mói
tạp thuộc <i>Ì3n</i> được gọi là <b><small>tập Borel; </small></b>trong khi đó, mồi tập của <i>Bỵ (ơ-trường </i>
bo sung cut) 23" dối với A) được gọi ỉà <b><small>tập Lebesgue. </small></b>Tất nhiên
<i>Bn c</i>
Hàm <i>f</i> : 1R" —à IR được gọi là hàm Borel, nếu nó đo dược đối với 23"; được gọi là hàm Lcbesgue-đo được nếu nó đo được đối với Z3£. Chằng hạn, các hàm liên tục là Borel.
<b><small>1.1.3. Kỳ vọng và phương sai</small></b>
Giã sư (Q,M, P) ỉà không gian xác suất., <i>X </i>là biến ngẫu nhiên.
</div><span class="text_page_counter">Trang 27</span><div class="page_container" data-page="27">nếu chuỗi hội tụ tuyệt đối.
Kỳ vọng có điều kiện của.<i> X</i> khi biến cố<i> B</i> đã. cho là số thực xác đinh
theo cóng thức
E(X|B) - = xrt|B).
Phương sai của. <i>X</i> là. số thực không âm xác định theo công thức
<b><small>VarX </small></b>- E[X - EX]2 = EX2 - (EX)2
là số thực không âm xác định theo công thức
= E[X - EX]2 = EX2 - (EX)2
<i>— ị X2 f{x)dx — ( Ịxf{x)dx^ .— <~yCì</i> —rx~)
</div><span class="text_page_counter">Trang 28</span><div class="page_container" data-page="28">Ta. có cơng thức sau: với <i>r</i> > 1
<b><small>• Định nghĩa tổng quát của kỳ vọng. </small></b>Trước hết ta trình bày vắn tắt
cách xây dựng tích phân Lebesgue. Giả sử (Q, yljp) là khơng gia.n có độ đo,
hữu hạn, thì ta nói / <b><small>có tích phân Lebesgue </small></b>(đối với độ đo p.) và. đặt
Nếu cà hai tích phân ờ vế phải hữu hạn, thì ta nói / <b><small>khả tích Lebesgue</small></b>
(đối với độ đo <i>p,).</i>
</div><span class="text_page_counter">Trang 29</span><div class="page_container" data-page="29"><small>27</small> Bằng cách tương tự ta, định nghĩa hàm đo được / : íì —> <b><small>1R, </small></b>trong đó
IR = [—00,00], và định nghĩa tích phân Lebesgue cho những hàm như thế. Trong lý thuyết xác suất, <i>X : </i>Q —> <b><small>IR </small></b>được gọi là <b><small>biến ngẫu nhiên suy </small></b>
và gọi đó là <b><small>kỳ vọng của </small></b><i>X.</i><b><small> Ta </small></b>nói<i> Xcó</i> kỳ vọng hữu hạn nếu EỊ<i>X</i>I < oo, và nói <i>X </i>có kỳ vọng nếu một trong hai số + hữu hạn.
<b><small>• Khơng gian </small></b><i>Lr. </i>Cho hại hàm đo được f,g. Nói rằng /, <i>g</i> bằng nhau hầu
khắp nơi, nếu tập
{(U e Q|/(<small>íu</small>) <i>Ạg(u)}</i>
có /í-độ đo khơng. Trong trường hợp như thế ta viết <i>f~g</i> hay chính xác
hơn<i> f= g </i>(mod /t). Dưới đây <b><small>ta đồng nhất </small></b>các <b><small>hàm bằng nhau hầu khắp nơi. </small></b>Ta thường dùng các ký hiệu sau:
Z/o(D,/r) — tập các hàm đo được,
với 0 < r < oo ta đặt
run. M) = tập các hàm đo được <i>ỉ</i> sao cho <i>Ị </i>|/r<ỈM < oo,
Z-ooffZj/z) — tập các hàm đo được bị chặn.
Khi đã cho không gian có độ đo cụ thể, thì ta dùng ký hiệu vắn tắt L,.,0 < < oo, thay cho các ký hiệu trên.
<b><small>• Các khái niệm hội tụ. </small></b>Cho dãy <i>fn</i> G Lo- Nói rằng <i>fn</i><b><small> hội tụ /1-hầu khắp nơi </small></b>nếu tập
{cc G Í2| (/n.(cư)) khơng hội tụ }
</div><span class="text_page_counter">Trang 30</span><div class="page_container" data-page="30">có p-độ đo khơng. Vậy, khi bỏ đi một tập có độ đo khơng, tồn tại <i>f = </i>ỉimn f<i>n,</i>
Cho day <i>f7l</i> Ể <i>Lr.</i> Nói rằng fn hội tụ trong <i>Lr </i>(hay <b><small>hội tụ trung bình </small></b>cấp
<i>r. </i>0 < < co) tới <i>fE L, .</i> nếu
<i>- f\' dp. = </i>0.
Khi<i> p —</i> p là độ đo xác suất thì ta nói <b><small>hơi tụ hầu chắc chắn </small></b>thay cho hội tụ hầu khắp nơi; <b><small>hội tụ theo xác suất </small></b>thay cho hội tụ theo độ do. Ngoài
ra, nếu (JCn) là dãy các biến ngẫu nhiên, thì (X,i) <b><small>hội tụ theo phân phối </small></b>
đến biến ngẫu nhiên <i>X</i> nếu với mọi hàm thực / : IR —» IR liên tục và bị chặn ta có
<i>J f(x')dPXn = Jf(x)dPx.</i>
Ta cần nhớ các kết quả sau:
<i>Hội tụ theo xác.suấtkéotheo hội tụ theophân phối.</i>
<i>Hội tụ hầuchắc chắn kéo theohội tụ theo xácsuất. Ngượclụi; một dãy </i>
<i>hộitụ theoxác suất thì cómộtdãy conhộitụ hầu chắc chắn.Hộitụ trong Lri0 < r <</i> oo <i>kéotheo hội tụ theoxác suất.</i>
Các kết quả sau là những nét đặ.c sắc nhất của. tích phân Lebesgue.
<b><small>• Định lý hội tụ đơn điệu (của B.Levy). </small></b>Nếu <i>(fn)</i> là dãy thuộc Lo, đơn điệu tăng, không âm và hội tụ hầu khắp nơi tới <i>f</i> thì
</div><span class="text_page_counter">Trang 31</span><div class="page_container" data-page="31"><b><small>• Định lý hội tụ bị chặn (của Lebesgue), </small></b>Nếu (/Ti) là dãy thuộc <i>L<small>q</small></i> hội tụ hầu khắp nơi tới <i>f</i> và tồn tại g <i>ELỵ</i> sao cho
sup <i>\fn\ <g</i> mod <i>ụ,</i>
thì <i>f E Lỵ </i>và.
Jim <i>J ỉndp.= J fdự. </i>
Q Q
<b><small>* Khả tích đều. </small></b>Họ <i>{fa} </i>trong <i>L1</i> được gọi là khả tích đều, nếu với <b><small>mọi</small></b>
<i>f:</i> > 0, ton tại số <i>dương K</i> sao cho
sup y <i>\fn\dfi < e.</i>
Ta cần nhớ kết quà sau: <i>Giảsử</i> (An) <i>là dãycác biến ngẫu nhiên thuộcLr,l< r</i> < <i>oo, hộitụ theođộ đo hoặc hộitụhầu chắcchắn tới X, thì ba</i>
<i>điều sau là tuơngđuơng</i>
<i>(ĩ)</i> (N.n) <i>hộitụ tới X trongLr;</i>
<i>(ii)</i> (ịxrt|r) <i>khả tích đều;</i>
<i>(iii)</i> E|A’n,|r = E|-X’|r.
<i>Hơn nứa,nếu mộttrong haiđiều kiện sauđuợc thụchiện, thì (ỉ), (iỉ) </i>
<i>và(iii) ở trênsẽđuợc thục hiện</i>
</div><span class="text_page_counter">Trang 32</span><div class="page_container" data-page="32"><i>(iv)</i> sup,, |X,JZ' < oo, <i>r< p < Cữ:</i>
<i>(v)Tồn tại Y</i> t <i>L,- .saocho</i> |Xn| < K Vn.
<b><small>• Cơng thức đổi biến. Già </small></b>sử (Q,X) và (£?, 13) là hai không gian đo, và _Y : Q —> <i>E </i>là (4., 23)-đo được. Nến (Ỉ2,4,/1) là khơng gian có độ đo, thì ta
Đặc biệt, riếu /./, = p là độ đo xác suất; <i>X</i> : í2 —> Hì"' là vector ngẫu nhiên và
/ : Hì" —> Hì kì hàm nhiêu biến Borel-đo được, thì
Kết quổ sau đây là then chốt để định nghĩa kỳ vọng có điều kiện tổng
<b><small>• £>ịnh lý Radon-Nikodym. </small></b>Trơn cùng một không gian đo (Q, .4) ta xét hai hàm tập cộng tính đếm được </>, ýn Nói rằng <i>tp</i><b><small> tuyệt đối liên tục </small></b>đối
với '0 và viết <i>p</i> <v<i> lị}</i> nếu Ịi/;|(A) = 0 thì q?(A) = 0, trong đó |'0| = ?/>+
4-(xem khai tricn Hahn-Jordan).
Gia sừ /í là độ đo trên <i>A.</i> và <i>f</i> E L(](Í2,//,) và / có tích phân Lebesgue.
Đặt
</div><span class="text_page_counter">Trang 33</span><div class="page_container" data-page="33">Khi đó. <p là độ đo trên yt và <i>/I</i> và mọt trong hai y?+, <i>Ip~</i> ỉà. độ đo hữu hạn. Ngược lại, <i>giàsù p. là độ do <7-hữu hạn trên</i> X <i>và </i>ự? <i>là hàm,Lậpơ-hùu hạntrên</i> >4 <i>sao cho một tronghai 'P +, ip~làđộđo hữu hạn. Nếu</i>
<i><p></i> <s; <i>/íthì tồn tại f</i> <small>: Q—> [ — 00,0©]</small> <i>sao chof làA-đo đuợc, cótích phản</i>
<i>Hơn nữa, / khảtích Lebesgue khi vàchi khi iphữu hạn. Đạo hàm Radon- Nikod.gm đuợc xác định duy nhất fj,- hầu khắp nơi(hoặcxác đỉnh duy nhất sai </i>
<i>khác mộttập có </i>/1 <i>độ đo không),tức là nếu f, f làđạo hàm. Radon-Nikodym</i>
<i>cùa p dối với ụ, thì</i>
G Q|/(u>) /M} = 0.
Nếu <i>p</i> và <i>u</i> là hai dộ đo trên <i>A, pb</i> z>, và <i>g € </i> thì ta có cơng thức đơi độ đo sau:
<i>ígdfi — ỉ g—^du, TA € A.</i>
Neu X : Q —» Z?” là vector ngẫu nhiên, và Px liên tục tuyệt đối đối với (lộ (lo Lebesgue A thông thưởng cùa, IR'1, thì
được gọi là <b><small>mật độ của </small></b><i>X.</i>
<b><small>Định lý Fubini. </small></b><i>Giả sử (Qi, Ai, pbi),i= 1,2 là hai khơnggian có đệđo hữu </i>
<i>hạn hoặc hữu hạn đếmdược,Ịj,ỵ </i>X <i>/J.2 là độđo tích trênkhơng gianđotích</i>
(Í71 X Q2, A1<i> ®Aỉ)- Giả sii f</i> : Qi X Q2 —+<b><small> IR </small></b><i>là Ai® Ạz-đo đuợc và</i>
<small>cai, ía2)[d(/ii X/12) <00.</small>
<small>Q</small>
</div><span class="text_page_counter">Trang 34</span><div class="page_container" data-page="34">San khi đã có những kiến thức, trên về độ đo và tích phân Lebesgue ta dễ dàng tìm hiên những khái niệm cơ bàn của xác suốt. Đê dễ hiểu, trước hết ta xét trường hợp hai chiều.
<b><small>1.1.4 Hàm phân phối đồng thời hai chiêu</small></b>
Gill sử<i> X</i> và <i>Y</i> là hai biến ngẫu nhiên. Hàm phân phối đồng thời của
X. y dược xác định theo công thức
-F(a;, ,ự) = P(X < X-, <i>Y</i> < ỵy) ; .r, <i>y</i> € IR.
• Trường hợp rời rạc.
Giá sử <i>X và Y lằ.</i> hai biến ngẫu nhiên rời rạc. Khi đó dã.y số kép
<i>Pij</i> = P(X = <i>Xi, Y = yy)</i>
</div><span class="text_page_counter">Trang 35</span><div class="page_container" data-page="35">Nếu X, Y có moment cấp hai hữu hạn, thì <b><small>covarian </small></b>và <b><small>hệ </small></b>số <b><small>tươngquan </small></b>của <i>X,Y được xác</i> định theo các công thức tương ứng sau:
cov(X.y) = E[(X - EX)(r - EK)i = EXT - EXEK = y2 <i>xiyjPij</i> — EXEK
<i>_ covjX, Y) </i>
<b><small>x/Var </small></b><i>X</i><b><small> Var </small></b><i>Y</i>
Trirờng hợp liên tục.
Nếu hàm phân phối đồng thời của X, <i>Y</i> có dạng
thì lui gọi là mật độ đồng thời của X, y.
Khi đó, hàm mật độ của X được tính theo cơng thức
<i>=Ị f (xpy)dy </i>
</div><span class="text_page_counter">Trang 36</span><div class="page_container" data-page="36">và. hàm mật độ cùa. <i>Y</i> được tính theo cơng thức.
<i>fy(y)</i>
<i>Hàmmật độ có điêu kiện của X khi đãcho Y = y được tỉnh,theo </i>
<i>công thức</i>
<i>-vàkỳ vọng cóđiềukiện của X khỉ đã cho Y— yđược tính theo cơng thức</i>
E[x|r = í/] = <i>xfx\Y^\y)dx.</i>
<b><small>Nếu tại </small></b><i>Y — y</i><b><small> ta đặt E(X|y) -- E(Xjy </small></b><i>- y)</i><b><small> thì nói chung £?(JCịK) là biến ngẫu nhiên và được gọi là kỳ vọng có điều kiện của </small></b>
<i>X</i><b><small> đối với </small></b><i>Y .</i>
Chú ý rằng trong mọi trường hợp ta. đều có cơng thức quan trọng sau
<b><small>EX = E[E(X|Y)].</small></b>
Nếu X, <i>Y</i> có moment cấp hai hữu hạn, thì covarian và hệ số tương quan
cùa.<i> X, Y</i> được xác định theo các công thức tương ứng sau:
<b><small>cov(X,y) = E[(X - EX)(r - Eh)J = Exy - EXEK</small></b>
</div><span class="text_page_counter">Trang 37</span><div class="page_container" data-page="37"><b><small>1.2. Vector ngẫu nhiên</small></b>
<b><small>1.2.1. Hàm phân phối và hàm đặc trưng. </small></b>Ta nói rằng X = (X1, <i>Xd) </i>
là vector ngẫu nhiên <i>d</i> chiều, nếu <i>mỗi thành phần k = </i>l,...,rZ cùa <i>X</i> là biến ngẫu nhiên. Nói cách khác, X : <b><small>Q </small></b>—■> IR/7 là vector ngẫu nhiên, nếu
{<small>cư</small> e Q|X1 < <i>Xỵ,...,xd < Xd}</i> e <i>Avờ' </i>mọi X — (.T1,.. ,Xd) E IRd.
Hàm phân phối của vector X được xác định theo công thức sau:
Hàm này thường được gọi lả <b><small>hàm phân phối đồng thịrì của các biến ngẫu nhiên </small></b> và được, ký hiệu là:
Tỵ-!,. <i>Xd)</i> P{X1 < <i>X1, ...,xd <xd}.</i>
<i>Khi d = 1,</i> ta trò về khái niệm biến ngẫu nhiên và hàm phân phối (một
chiêu); Khi d = 2, ta trờ về khái nỉệm vector ngẫu nhiên và hàm phân phối hai chiều đã xét <i>ờ</i> trên.
Dễ (làng định nghĩa vector ngẫu nhiên rời rạc, vector ngẫu nhiên liên tục, và. hàm mật độ cho trường họp<i> d ></i> 3.
<b><small>Hàm đặc trưng của X </small></b>được xác định theo cơng thức sau:
<A<small>y</small>,<b><small>... .Y„(t) Ee«‘-X> = y'e,<t-x>£ZP = </small></b><i>ị è<l’x>dFx^),</i>
</div><span class="text_page_counter">Trang 38</span><div class="page_container" data-page="38"><b><small>1.2.2. Định lý Bochner. </small></b><i>Diều kiện cầnvà đủ đê</i> : IRd —> c <i>là hàmđặc.</i>
<i>đốivới mọi fl </i>e N, C1, <i>...,cn E </i>c<i> vàE</i><b><small> ỈRư.</small></b>
<i>(iii)ipliên tục tại (0, ....0).</i>
Ta nhác lại rằng: <i>các biếnngẫu nhiên Xỵ, xd độc lập khivà chì khi một trong hai điêu kiện tương đương sau đây được thực hiện:</i>
<i>•Hàm phânphối đồng thời bằng tích cáchàm phânphối thành phần, túc </i>
<i>Fxỵ </i>Xrf(^i, <i>■■■,Xcí)—</i> X • X Fxd
<i>(^ư)-•Hàm đặctrưng cùa</i> X <i>bằngtích các hàm đặctrưngthành phần, tứclà,</i>
<i>-Ad) = </i>ơi) <i>X •- • X<pXtí(id)</i>
<b>1.2.3. Phân phối chuẩn d-chiều</b>
Ta. nói rằng X có phân phối chuẩn hay X là vector Gauss, nếu hàm đạc
trrrng cùa. nó có dạng
<i>...xrí(tỵ, —,td) </i>= exp <i><sup>—</sup><sup>ộQAi</sup><sup> ></sup><sup> ■■■,td)^,</sup></i>
trong đó m <i>=(rn</i> 1, <i>Iìid) E </i>JRf/ là vector nào đó,<i> Q(tỵ, Ể<y)</i> là dạng tồn phương xác định không â.m:
<i>Q(t) = Q(ti,—Ad) =yz ^jktjtk-j,k—l</i>
</div><span class="text_page_counter">Trang 39</span><div class="page_container" data-page="39"><i>•Xi,Xd</i> độc lập khi và chỉ khi A có dạng đường chéo.
• Nếu A khơng suy biến (tức là định thức của A khác khơng), thì X có
trong đó dct A là định thức cúa A, cịn<i> Xjk</i> là phần phụ đại số cúa<i> Xjk.</i>
• Nếu bring của A bang (?• < (7), thì tồn tại r biến ngầu nhiên độc lập
£11 vó phàn phối chuẩn với trung bình bằng 0. phương sai bằng 1 sao
cho mỗi thành phần xk là tổ hợp tuyến tính của <i>T biến</i> ngẫu nhiên này.
• X = (X1, X<i>(i)</i> là vector Gauss khi và. chỉ khi mỗi tổ hợp tuyến tính cua <i>Xi,...,Xd </i>là biến ngẫu nhiên chuẩn.
Bây giờ ta diem qua một số kết quà cơ bản nhất của lý thuyết xác suất kinh dien lien quan tới các biến ngẫu nhiên độc lập.
<b><small>1.3. Tổng các biến ngẫu nhiên độc lập</small></b>
Trước hốt ta trình bày khái niệm độc lập cho các lớp biến cố.
</div><span class="text_page_counter">Trang 40</span><div class="page_container" data-page="40"><b><small>1.3.1. Tính độc lập xác suất</small></b>
Giả sir (Q, A,P) là khơng gian xác suất. Nói rằng: Hai biến cố A, <i>B</i> là độc lập nếu
P(An <i>B)</i> = P(A)P(B).
Hai lớp C1,C2 của<i> A là</i> độc lạp nếu
P(C1 n Cạ) = P(C1)P(C2), vc; G <i>Ci,</i> = 1, 2.
Giả sir (£?,, ổ,),ỉ‘ — 1,2 là hai không gian đo. Xi : Q —» <i>E-i,i =</i> 1,2 Khi
đó, A'1,%2 là dộc lập nếu hai ơ-trường rr(Ah) — X,ị (23,),7 = 1,2 độc lạp.
Cần nhớ rằng, nếu A\,Ab độc lập và có kỳ vọng hữu hạn thì tích X(X2 l ũng
có kỳ vong hữu hạn và
EX1X2 = EX<small>i</small>EX<small>ọ</small>.
Các biến cố <i>(Afc,k</i> — 1, ...,7/.) là độc lập, nếu với mọi tập con <i>I</i> khác rỗng
của (1, 7Ỉ.)
Họ biến cố (Act) là độc lập, nếu với mọi 77. > 2 các biến cố (AOfc,
<i>k</i> = 1, ..., 77.) độc lập. Tirơng tự ta. định nghĩa tính độc lập của họ các lớp biến cố, và họ các biến ngẫu nhiên.
<b><small>• Luật 0-1 Kolmogorov. </small></b>Ta ký hiệu <i>ơ{Aa,Oí</i> G Z} là <i>ơ </i>- trường bé nhất
chứa tất <i>cả Aa,O! GI. Đặcbiệt, a{Ak,k>77.} là. ơ -</i> trường bé nhất chứa, tất
cá <i>Ak,k</i> > 77. Đặt
íToo = Q <i>ơ{Ak,k></i> 71}, n=l
</div>