system: You are a trustworthy AI assistant. Your task is to answer the question honestly and not fabricate information.

user: Lý thuyết xác suất

assistant: Lý thuyết xác suất là ngành toán học chuyên nghiên cứu xác suất.
Các nhà toán học coi xác suất là các số trong khoảng formula_1, được gán tương ứng với một "biến cố" mà khả năng xảy ra hoặc không xảy ra là ngẫu nhiên. Ký hiệu xác suất formula_2 được gán cho biến cố formula_3 theo tiên đề xác suất.
Xác suất mà biến cố formula_3 xảy ra "khi biết" việc xảy ra của biến cố formula_5 là một xác suất có điều kiện của formula_3 "khi biết" formula_5; giá trị số của nó là formula_8 (với điều kiện là formula_9 khác 0). Nếu xác suất có điều kiện của formula_3 khi biết formula_5 là bằng với xác suất ("không có điều kiện")của formula_3, thì formula_3 và formula_5 được xem là các sự kiện độc lập. Vì quan hệ giữa formula_3 và formula_5 là đối xứng nên ta có thể nói rằng
formula_17.
Hai khái niệm chủ đạo trong lý thuyết xác suất là biến ngẫu nhiên và phân bố xác suất của một biến ngẫu nhiên; xem thông tin cụ thể ở các bài tương ứng.
Một cái nhìn trừu tượng về xác suất.
Các nhà toán học "thuần túy" thường xem lý thuyết xác suất là ngành nghiên cứu về các biến ngẫu nhiên và không gian xác suất — hướng này được đưa ra bởi Kolmogorov vào thập niên 1930. Một không gian xác suất là một bộ ba formula_18, trong đó:
Do đó, trong một không gian rời rạc, ta có thể bỏ qua formula_23 và chỉ viết formula_30 khi định nghĩa nó.
Mặt khác, nếu formula_19 không đếm được và ta dùng formula_27, ta sẽ gặp rắc rối khi định nghĩa phép đo xác suất formula_25 vì formula_23 quá lớn, nghĩa là sẽ có các tập mà không thể gán cho nó một độ đo duy nhất, ví dụ Banach-Tarski Paradox. Do đó, ta phải dùng một σ-đại số formula_23 nhỏ hơn (ví dụ. đại số Borel của formula_19 là σ-đại số nhỏ nhất có thể làm cho tất cả các tập mở trở nên đo được).
Một biến ngẫu nhiên formula_37 là một measurable function ("hàm đo được") trên formula_19.
Ví dụ, số cử tri sẽ bầu cho Schwarzenegger trong mẫu 100 người là một biến ngẫu nhiên.
Nếu formula_37 là biến ngẫu nhiên bất kì, ký hiệu formula_40, viết tắt của formula_41, là xác suất của "biến cố" formula_42.
Về các phương pháp đại số khác với cách tiếp cận của Kolmogorov, mời xem bài algebra of random variables.
Triết lý trong ứng dụng của xác suất.
Một số nhà thống kê chỉ gán các xác suất cho các biến cố ngẫu nhiên, ví dụ, các biến ngẫu nhiên, mà cho kết quả "thử nghiệm" thực hay mang tính lý thuyết; đó là những nhà tần suất học ("frequentist").Một số khác lại gán xác suất với những mệnh đề không chắc chắn, tùy theo mức độ chủ quan ("personal probability") tin vào sự đúng đắn của nó. Những người như vậy là các nhà Bayes. Một nhà Bayes có thể gán một xác suất cho một mệnh đề như 'đã từng có sự sống trên Sao Hỏa một tỉ năm trước,' vì điều đó là không chắc chắn, trong khi một nhà tần suất học sẽ không gán xác suất cho những phát biểu ngẫu nhiên như vậy. Một nhà tần suất học có thể xem lời tuyên bố đó là không có ý nghĩa. Các nhà tần suất học chỉ gán xác suất cho kết quả của những "thử nghiệm ngẫu nhiên" được định nghĩa tốt, nghĩa là, khi có một không gian mẫu định sẵn. Trong kinh tế, xác suất đóng góp rất nhiều cho việc tính toán và đưa ra các giải pháp nghiên cứu thị trường...