Đến thời điểm đầu tiên Tây An: Khi bạn đang nói về -algebras, bạn đang hỏi về bộ đo lường được, vì vậy không may bất kỳ câu trả lời phải tập trung vào lý thuyết đo lường. Mặc dù vậy, tôi sẽ cố gắng xây dựng lên một cách nhẹ nhàng.σ
Một lý thuyết về xác suất thừa nhận tất cả các tập hợp con của tập hợp không đếm được sẽ phá vỡ toán học
Hãy xem xét ví dụ này. Giả sử bạn có một hình vuông đơn vị trong và bạn quan tâm đến xác suất chọn ngẫu nhiên một điểm là thành viên của một bộ cụ thể trong hình vuông đơn vị. Trong nhiều trường hợp, điều này có thể được trả lời dễ dàng dựa trên so sánh các khu vực của các bộ khác nhau. Ví dụ: chúng ta có thể vẽ một số hình tròn, đo diện tích của chúng và sau đó lấy xác suất là phần nhỏ của hình vuông rơi trong hình tròn. Rất đơn giản.R2
Nhưng nếu khu vực của bộ lợi ích không được xác định rõ thì sao?
Nếu khu vực không được xác định rõ, thì chúng ta có thể đưa ra hai kết luận khác nhau nhưng hoàn toàn hợp lệ (theo một nghĩa nào đó) về khu vực đó là gì. Vì vậy, chúng ta có thể có trên một mặt và mặt khác P ( A ) = 0 , hàm ý 0 = 1 . Điều này phá vỡ tất cả các toán học ngoài sửa chữa. Bây giờ bạn có thể chứng minh 5 < 0 và một số điều phi lý khác. Rõ ràng điều này không quá hữu ích.P(A)=1P( A ) = 00 = 15 < 0
σ -algebras là những miếng vá mà sửa toán học
A là gì -algebra, chính xác? Nó thực sự không đáng sợ. Đó chỉ là một định nghĩa về bộ nào có thể được coi là sự kiện. Các phần tử không có trong F đơn giản là không có thước đo xác suất xác định. Về cơ bản, σσĐỤσ -algebras là những "miếng vá" cho phép chúng ta tránh được một số hành vi bệnh lý của toán học, cụ thể là bộ phi thể đo lường được.
Ba yêu cầu của một -field có thể được coi là hậu quả của những gì chúng tôi muốn làm gì với xác suất: Một σ -field là một tập hợp có ba thuộc tính:σσ
- Đóng cửa dưới các công đoàn đếm được.
- Đóng cửa dưới giao lộ đếm được.
- Đóng cửa dưới bổ sung.
Các hiệp hội có thể đếm được và các thành phần nút giao có thể đếm được là hậu quả trực tiếp của vấn đề tập hợp không thể đo lường được. Đóng cửa dưới bổ sung là kết quả của các tiên đề Kolmogorov: nếu , P ( A c ) ought là 1 / 3 . Nhưng không có (3), có thể xảy ra rằng P ( A c ) không xác định. Điều đó sẽ là lạ. Đóng dưới phần bổ sung và các tiên đề Kolmogorov cho phép chúng ta nói những điều như P ( A ∪ A c ) = P (P( Một ) = 2 / 3P( Mộtc)1 / 3P( Mộtc) .P( Một ∪ Ac) = P( A ) + 1 - P( A ) = 1
Cuối cùng, chúng tôi đang xem xét các sự kiện liên quan đến , vì vậy chúng tôi tiếp tục yêu cầu Ω ∈ FΩOhm ∈ F
Tin tốt: -algebras chỉ là thực sự cần thiết cho bộ đếmσ
Nhưng! Cũng có tin tốt ở đây. Hoặc, ít nhất, một cách để khắc phục vấn đề. Chúng tôi chỉ cần -achebras nếu chúng tôi làm việc trong một tập hợp với số lượng thẻ không thể đếm được. Nếu chúng ta hạn chế mình để tập hợp đếm được, thì chúng ta có thể tận F = 2 Ω bộ sức mạnh của Ω và chúng tôi sẽ không có bất kỳ những vấn đề này bởi vì đối với đếm được Ω , 2 ΩσĐỤ= 2ΩΩΩ2Ω bao gồm duy nhất của bộ đo lường được. (Điều này được ám chỉ trong nhận xét thứ hai của Xi'an.) Bạn sẽ nhận thấy rằng một số sách giáo khoa sẽ thực sự có một ánh sáng tinh tế ở đây và chỉ xem xét các bộ có thể đếm được khi thảo luận về không gian xác suất.
Ngoài ra, trong các vấn đề hình học trong , nó hoàn toàn đủ để chỉ xem xét σ -algebras gồm bộ mà L n biện pháp được xác định. Để căn cứ điều này chắc chắn hơn, L n cho n = 1 , 2 , 3 tương ứng với các khái niệm thông thường về chiều dài, diện tích và âm lượng. Vì vậy, điều tôi đang nói trong ví dụ trước là tập hợp cần phải có một khu vực được xác định rõ để nó có xác suất hình học được gán cho nó. Và lý do là: nếu chúng ta thừa nhận các tập hợp không thể đo lường được, thì chúng ta có thể kết thúc trong các tình huống có thể gán xác suất 1 cho một số sự kiện dựa trên một số bằng chứng và xác suất 0 choRviết sai rồiσLviết sai rồiLviết sai rồin = 1 , 2 , 3sự kiện tương tự dựa trên một số bằng chứng khác.
Nhưng đừng để kết nối đến các bộ không đếm được làm bạn bối rối! Một quan niệm sai lầm phổ biến mà -algebras là tập hợp đếm được. Trong thực tế, chúng có thể đếm được hoặc không đếm được. Hãy xem xét minh họa này: như trước đây, chúng ta có một hình vuông đơn vị. Xác định F = Tất cả các tập con của hình vuông đơn vị với số đo L 2 đã xác định . Bạn có thể vẽ một hình vuông B với bên chiều dài s cho tất cả s ∈ ( 0 , 1 ) , và với một góc ở ( 0 , 0 )σ
ĐỤ= Tất cả các tập con của hình vuông đơn vị có L xác định 2 biện pháp .
BSs ∈ ( 0 , 1 )( 0 , 0 ). Cần phải rõ ràng rằng hình vuông này là một tập hợp con của hình vuông đơn vị. Hơn nữa, tất cả các ô vuông đã xác định khu vực, do đó, những hình vuông là những yếu tố của
. Nhưng cũng cần phải rõ ràng rằng có vô số hình vuông
B : số lượng hình vuông như vậy là không thể đếm được, và mỗi hình vuông đã xác định số đo Lebesgue.
ĐỤB
Vì vậy, như một vấn đề thực tế, chỉ cần thực hiện quan sát đó thường đủ để khiến cho việc quan sát mà bạn chỉ xem xét các bộ có thể đo lường được Lebesgue để đạt được mục tiêu chống lại vấn đề lợi ích.
Nhưng chờ đã, một bộ không thể đo lường là gì?
Tôi sợ rằng tôi chỉ có thể làm sáng tỏ một chút về điều này bản thân mình. Nhưng nghịch lý Banach-Tarski (đôi khi là nghịch lý "mặt trời và hạt đậu") có thể giúp chúng ta một số:
Cho một quả bóng rắn trong không gian 3 chiều, tồn tại sự phân hủy của quả bóng thành một số lượng nhỏ các tập hợp rời rạc, sau đó có thể được đặt lại với nhau theo một cách khác để tạo ra hai bản sao giống hệt của quả bóng ban đầu. Thật vậy, quá trình lắp ráp lại chỉ liên quan đến việc di chuyển các mảnh xung quanh và xoay chúng, mà không thay đổi hình dạng của chúng. Tuy nhiên, bản thân các mảnh không phải là "chất rắn" theo nghĩa thông thường, mà là sự phân tán vô hạn của các điểm. Việc xây dựng lại có thể làm việc với ít nhất năm mảnh.
Một dạng mạnh hơn của định lý ngụ ý rằng đưa ra bất kỳ hai vật thể rắn "hợp lý" nào (chẳng hạn như một quả bóng nhỏ và một quả bóng khổng lồ), một trong hai có thể được ghép lại thành vật kia. Điều này thường được tuyên bố một cách không chính thức là "một hạt đậu có thể được cắt nhỏ và lắp lại vào Mặt trời" và được gọi là "nghịch lý hạt đậu và Mặt trời". 1
Vì vậy, nếu bạn đang làm việc với xác suất trong và bạn đang sử dụng thước đo xác suất hình học (tỷ lệ khối lượng), bạn muốn tìm ra xác suất của một số sự kiện. Nhưng bạn sẽ đấu tranh để xác định chính xác xác suất đó, bởi vì bạn có thể sắp xếp lại các bộ không gian của mình để thay đổi âm lượng! Nếu xác suất phụ thuộc vào khối lượng và bạn có thể thay đổi âm lượng của tập hợp thành kích thước của mặt trời hoặc kích thước của hạt đậu, thì xác suất cũng sẽ thay đổi. Vì vậy, không có sự kiện sẽ có một xác suất duy nhất được gán cho nó. Thậm chí tệ hơn, bạn có thể sắp xếp lại S ∈ Ω như vậy mà khối lượng của S có V ( S ) > V ( Ω )R3S∈ ΩSV( S) > V( Ω ), ngụ ý rằng phép đo xác suất hình học báo cáo xác suất , vi phạm trắng trợn các tiên đề Kolmogorov đòi hỏi xác suất đó có biện pháp 1.P( S) > 1
Để giải quyết nghịch lý này, người ta có thể đưa ra một trong bốn nhượng bộ:
- Âm lượng của một bộ có thể thay đổi khi nó được xoay.
- Âm lượng hợp nhất của hai tập hợp rời rạc có thể khác với tổng khối lượng của chúng.
- Các tiên đề của Zermelo giáo Fraenkel đặt lý thuyết với tiên đề của Sự lựa chọn (ZFC) có thể phải được thay đổi.
- Một số bộ có thể được gắn thẻ "không đo được" và người ta sẽ cần kiểm tra xem một bộ có "đo được" hay không trước khi nói về âm lượng của nó.
Tùy chọn (1) không giúp sử dụng xác định xác suất, vì vậy nó ra. Tùy chọn (2) vi phạm tiên đề Kolmogorov thứ hai, vì vậy nó ra. Tùy chọn (3) có vẻ như là một ý tưởng tồi tệ vì ZFC khắc phục rất nhiều vấn đề hơn so với nó tạo ra. Nhưng tùy chọn (4) có vẻ hấp dẫn: nếu chúng ta phát triển một lý thuyết về những gì là và không thể đo lường được, thì chúng ta sẽ có xác suất được xác định rõ trong vấn đề này! Điều này đưa chúng ta trở lại để đo lý thuyết, và một người bạn của chúng tôi -algebra.σ