Định nghĩa xác suất và các tính chất 1.1. Không gian mẫu và không gian biến cố 1.1.1 Không gian mẫu Tiến hành thực hiện một phép thử (thí nghiệm). Giả sử ta không biết trước được kết quả của phép thử nhưng ta sẽ biết tập tất cả các kết quả có thể của phép thử. Ta có một phép thử ngẫu nhiên. Tập tất cả các kết quả có thể của phép thử được gọi là không gian mẫu của phép thử, ký hiệu . Với một phép thử, ta có thể xác định không gian mẫu theo nhiều cách. Ví dụ 1.1.1. Gieo 2 đồng xu. Ký hiệu S là kết quả “mặt sấp xuất hiện” và N là kết quả “mặt ngửa xuất hiện” thì ta có thể xác định i 1 ) = {SS, SN, NS, NN} để chỉ thứ tự dãy các kết quả xuất hiện hoặc i 2 ) = {0, 1, 2} để chỉ số lần mặt ngửa xuất hiện. Nếu chứa hữu hạn hoặc vô hạn đếm được các phần tử thì được gọi là không gian mẫu rời rạc. Ví dụ 1.1.2. i 1 ) Gieo một con xúc xắc: = {1, 2, 3, 4, 5, 6} i 1 ) Gieo một đồng xu cho đến khi mặt sấp xuất hiện: = {N, NS, NNS, NNNS, …} Trong các trường hợp khác, là một tập không đếm được thì được gọi là không gian mẫu liên tục. Ví dụ 1.1.3. Thời gian hoạt động của một bóng đèn: = . 1.1.2 Không gian biến cố Mỗi phần tử được gọi là một biến cố sơ cấp. Mỗi tập con của được gọi là một biến cố (ngẫu nhiên), ký hiệu A, B,…Khi phép thử được thực hiện, ta nói biến cố A xảy ra nếu kết quả xuất hiện là một phần tử của A. Ví dụ 1.1.4. Gieo 1 xúc xắc. Ký hiệu A là biến cố “mặt có số chẵn chấm xuất hiện “, tức là A = {2, 4, 6}. Nếu mặt 2 hoặc 4 hoặc 6 xuất hiện khi ta gieo xúc xắc, ta nói biến cố A xảy ra. Biến cố nhất định xảy ra trong 1 phép thử được gọi là biến cố chắc chắn, ký hiệu . Biến cố không thể xảy ra trong 1 phép thử được gọi là biến cố không thể, ký hiệu . Mỗi biến cố là một tập hợp nên ta có thể sử dụng các kết quả của lý thuyết tập hợp để xây dựng mối quan hệ giữa các biến cố. Đại số và -đại số các tập hợp Định nghĩa 1.1.5. Cho là một tập hợp khác rỗng. Lớp các tập con của W được gọi là một đại số nếu: i 1 / . i 2 / Nếu A thì , ở đó = \ A. i 3 / Nếu A, B thì A B . Từ định nghĩa trên dễ thấy nếu là một đại số thì và nếu A, B thì A B . Ví dụ 1.1.6. Giả sử A là một tập con của . Khi đó: = { , , A, } tạo thành một đại số. Ví dụ 1.1.7. Giả sử = [0; 1) và là một lớp các tập con của mà mỗi tập hợp thuộc là hợp của một số hữu hạn những khoảng không giao nhau dạng [a; b). Khi đó lớp là một đại số các tập con của . Định nghĩa 1.1.8. Lớp các tập hợp con của được gọi là -đại số các tập con của hay không gian biến cố nếu: i 1 / i 2 / Nếu A thì . i 3 / Nếu A 1 , A 2 ,…,A n ,… thì . Mọi -đại số đều là đại số. Nếu có hữu hạn phần tử thì mọi đại số trên cũng là -đại số. Tuy nhiên trong trường hợp tổng quát, khẳng định này không còn đúng. Định lí 1.1.9. Với mỗi lớp K các tập hợp con của , tồn tại một -đại số nhỏ nhất trên chứa K được gọi là -đại số sinh bởi K, ký hiệu (K). -đại số Borel Định nghĩa 1.1.10. Giả sử = R = (- ; + ) và K là lớp các khoảng dạng [a;b). Khi đó, (K) được gọi là -đại số Borel của R, ký hiệu B(R). Mỗi phần tử của B(R) được gọi là một tập Borel. Từ định nghĩa trên ta suy ra: {a}, [a;b], (a,b) đều là tập Borel. Các phép toán với biến cố Cho A, B, C, A 1 , , A n là các biến cố trong không gian mẫu . Khi đó, - A được gọi là kéo theo B, ký hiệu A Ì B nếu sự xảy ra của A kéo theo sự xảy ra của B. - Tổng của A và B, ký hiệu A B là biến cố xảy ra nếu A hoặc B xảy ra. - Tích của A và B, ký hiệu A B hay AB là biến cố xảy ra nếu A và B xảy ra. - Hiệu của A và B, ký hiệu A \ B là biến cố xảy ra nếu A xảy ra và B không xảy ra. - Biến cố = \ A được gọi là biến cố đối lập của biến cố A. - Nếu A B = thì A và B được gọi là xung khắc với nhau. - Dãy n biến cố A 1 ,A 2 ,…,A n lập thành một hệ đầy đủ các biến cố nếu i 1 / A 1 A 2 … A n = i 2 / A i A j = với mọi (xung khắc từng đôi). Cần lưu ý một số tính chất sau: * A B = B A; A B = B A * A (B C) = (A B) C = A B C; A (B C) = (A B) C = A B C * A (B C) = (A B) (A C); A (B C) = (A B) (A C) * A = W ; A = . * 1.2. Không gian xác suất 1.2.1 Không gian xác suất tổng quát Định nghĩa 1.2.1. Hàm P xác định trên được gọi là độ đo xác xuất nếu i 1 / i 2 / i 3 / Nếu A 1 ,A 2 ,… là một dãy các biến cố xung khắc từng đôi thì Bộ ba ( , , P) được gọi là không gian xác suất tổng quát. Tập được gọi là không gian biến cố sơ cấp. Tập được gọi là biến cố và P(A) là xác suất của biến cố A. Ví dụ 1.2.2. Với mỗi x 0 R cố định và tập B B(R), đặt Khi đó, (R, B(R), ) là một không gian xác suất và được gọi là độ đo Đirac tại điểm x 0 . 1.2.2 Một số ví dụ về không gian xác suất Không gian xác suất rời rạc Cho = { 1 , 2 , 3 ,…, n ,…} và là dãy số không âm thoả mãn Ký hiệu là họ tất cả các tập con của . Dễ thấy là một -đại số. Với mỗi , ta định nghĩa P(A) = Dễ kiểm tra được P(A) là một độ đo xác suất và P(A) được gọi là độ đo xác suất rời rạc. Trong trường hợp = { 1 , 2 ,…, n }là không gian mẫu chứa các biến cố sơ cấp 1 , 2 ,…, n đồng khả năng, nghĩa là , Khi đó, với biến cố A = { }, { 1 , 2 ,…, n }, 0 m n và độ đo xác suất rời rạc xác định như trên thì . * 1. 2. Không gian xác suất 1. 2 .1 Không gian xác suất tổng quát Định nghĩa 1. 2 .1. Hàm P xác định trên được gọi là độ đo xác xuất nếu i 1 / i 2 / i 3 / Nếu A 1 ,A 2 ,… là một dãy các biến. Định nghĩa xác suất và các tính chất 1. 1. Không gian mẫu và không gian biến cố 1. 1 .1 Không gian mẫu Tiến hành thực hiện một phép thử (thí. cả các tập con của . Dễ thấy là một - ại số. Với mỗi , ta định nghĩa P(A) = Dễ kiểm tra được P(A) là một độ đo xác suất và P(A) được gọi là độ đo xác suất rời rạc. Trong trường hợp = { 1 ,