Định lý quy tắc nhân cho biến cố độc lập
Phát biểu
Cho là không gian mẫu dựng từ hai không gian mẫu hữu hạn, đồng khả năng, độc lập, với kết cục trong không gian thứ nhất và kết cục trong không gian thứ hai. Với các biến cố và , kí hiệu cho biến cố kết cục thứ nhất nằm trong và kết cục thứ hai nằm trong , .
Vì sao đúng?
Chọn một kết cục thỏa cả và một cách độc lập là một quá trình đếm hai bước (quy tắc nhân trong đếm), nên số cặp thuận lợi đơn giản là tích của số kết cục thuận lợi ở mỗi thành phần.
Phác thảo chứng minh
Bước 1 (thiết lập việc đếm): gọi và . Một kết cục của thỏa cả hai điều kiện là một cặp với và .
Bước 2 (áp dụng quy tắc nhân trong đếm): chọn có thể thực hiện theo cách và, độc lập với lựa chọn đó, có thể thực hiện theo cách, nên theo quy tắc nhân trong đếm có cặp thuận lợi.
Bước 3 (chia cho tổng số kết cục): tổng không gian mẫu có kết cục đồng khả năng, nên .
Bước 4 (phân tích thành thừa số): viết lại , vì và theo công thức xác suất cổ điển, điều này chứng minh khẳng định.
Chủ đề chứa định lý này
Chứng minh từng bước
Chưa có chứng minh từng bước cho định lý này.
Tài liệu tham khảo
- Sheldon Ross (2019). A First Course in Probability
- Joseph K. Blitzstein, Jessica Hwang (2019). Introduction to Probability