Có rất nhiều ý tưởng từ lý thuyết tập hợp cho rằng xác suất kỳ lạ. Một trong những ý tưởng như vậy là của trường sigma. Trường sigma đề cập đến tập hợp các tập con của không gian mẫu mà chúng ta nên sử dụng để thiết lập định nghĩa chính thức về mặt toán học của xác suất. Các tập hợp trong trường sigma tạo thành các sự kiện từ không gian mẫu của chúng ta.
Định nghĩa
Định nghĩa của một trường sigma đòi hỏi rằng chúng ta có một không gian mẫu S cùng với một bộ sưu tập các tập con của S . Tập hợp các tập hợp con này là một trường sigma nếu các điều kiện sau được đáp ứng:
- Nếu tập con A nằm trong trường sigma, thì phần bù A C của nó cũng vậy .
- Nếu A n là vô số tập hợp con từ trường sigma, thì cả giao và kết hợp của tất cả các tập này cũng nằm trong trường sigma.
Hàm ý
Định nghĩa ngụ ý rằng hai tập hợp cụ thể là một phần của mọi trường sigma. Vì cả A và A C đều nằm trong trường sigma, nên giao điểm cũng vậy. Giao điểm này là tập hợp trống . Do đó, tập hợp trống là một phần của mọi trường sigma.
Không gian mẫu S cũng phải là một phần của trường sigma. Lý do cho điều này là sự kết hợp của A và A C phải nằm trong trường sigma. Đoàn Đây là không gian mẫu S .
Lý luận
Có một vài lý do tại sao bộ sưu tập cụ thể này lại hữu ích. Đầu tiên, chúng ta sẽ xem xét lý do tại sao cả tập hợp và phần bù của nó phải là các phần tử của đại số sigma. Phần bù trong lý thuyết tập hợp tương đương với sự phủ định. Các yếu tố trong phần bù của A là những yếu tố trong tập phổ quát mà không phải là các yếu tố của một . Bằng cách này, chúng tôi đảm bảo rằng nếu một sự kiện là một phần của không gian mẫu, thì sự kiện đó không xảy ra cũng được coi là một sự kiện trong không gian mẫu.
Chúng tôi cũng muốn kết hợp và giao điểm của một tập hợp các tập hợp nằm trong đại số sigma vì các kết hợp rất hữu ích để mô hình hóa từ hoặc. Các sự kiện rằng một hoặc B xảy ra được đại diện bởi sự kết hợp của A và B . Tương tự, chúng tôi sử dụng giao điểm để biểu thị từ và. Sự kiện rằng Một và B xảy ra được đại diện bởi các giao điểm của các bộ A và B .
Không thể giao nhau về mặt vật lý một số lượng vô hạn các tập hợp. Tuy nhiên, chúng ta có thể coi việc làm này như một giới hạn của các quá trình hữu hạn. Đây là lý do tại sao chúng tôi cũng bao gồm giao điểm và liên hợp của vô số tập hợp con. Đối với nhiều không gian mẫu vô hạn, chúng ta cần tạo thành các liên hợp và giao điểm vô hạn.
Ý tưởng liên quan
Một khái niệm có liên quan đến trường sigma được gọi là trường của các tập con. Một trường của các tập hợp con không yêu cầu rằng các hợp nhất vô hạn đếm được và phần giao nhau phải là một phần của nó. Thay vào đó, chúng ta chỉ cần chứa các liên hiệp hữu hạn và các giao điểm trong một trường của các tập con.