là [19659017]

[19459] i ^ mathrm {th} “/> bộ mở cơ bản). Hiện nay:

Bây giờ một tập hợp là ∞-Borel nếu đó là cách giải thích của một số mã Bor-Borel.

Tiên đề của sự lựa chọn ngụ ý rằng mọi có thể được sắp xếp hợp lý, và do đó, mọi tập hợp con của mọi không gian Ba ​​Lan đều là ∞-Borel. Do đó, khái niệm này chỉ thú vị trong bối cảnh mà AC không giữ (hoặc không biết là giữ). Thật không may, không có tiên đề của sự lựa chọn, không rõ ràng rằng các bộ Bor-Borel đã bị đóng cửa dưới sự kết hợp chặt chẽ. Điều này là do, được cung cấp một tập hợp các bộ ∞-Borel được sắp xếp hợp lý, mỗi bộ riêng lẻ có thể có nhiều ∞-Borel mã, và có thể không có cách nào để chọn một mã cho mỗi bộ, với mà để tạo thành mã cho công đoàn.

Giả định rằng mọi tập hợp thực tế là ∞-Borel là một phần của AD +, một phần mở rộng của tiên đề về tính xác định được nghiên cứu bởi Woodin.

Định nghĩa không chính xác [ chỉnh sửa ]

Rất hấp dẫn khi đọc mô tả không chính thức ở đầu bài viết này khi cho rằng các bộ-Borel là lớp tập hợp nhỏ nhất của

chứa tất cả các bộ mở và đóng dưới sự bổ sung và liên kết tốt. Đó là, người ta có thể muốn phân phối hoàn toàn với mã Bor-Borel và thử một định nghĩa như thế này:

Với mỗi α thứ tự được xác định bởi đệ quy vô hạn B _α như sau:

1. B ₀ là tập hợp của tất cả các tập con mở của
   ${ displaystyle X}$

   .

2. Đối với một số thứ tự α, B _{α + 1} là liên kết của B _α với tập hợp tất cả các bổ sung của thiết lập trong B _α .
3. Đối với một số thứ tự chẵn, B _{α + 2} là tập hợp của tất cả các hiệp hội được sắp xếp hợp lý trong B _{α + 1} .
4. Với một giới hạn thứ tự nhất định λ, B _λ là sự kết hợp của tất cả B _α cho α <λ

Nó xuất phát từ nghịch lý Burali-Forti ở đó phải là một số thứ tự α sao cho B _β bằng B _α với mọi> α. Đối với giá trị này của α, B _α là tập hợp của "bộ Bor-Borel".

Bộ này được đóng rõ ràng dưới các hiệp hội được sắp xếp tốt, nhưng không có AC thì không thể chứng minh được bằng Bộ -Borel (như được định nghĩa trong phần trước). Cụ thể, thay vào đó, việc đóng các bộ Bor-Borel trong tất cả các công đoàn được sắp xếp tốt, ngay cả những công ty không thể thực hiện lựa chọn mã.

Đặc tính hóa thay thế [ chỉnh sửa ]

Đối với các tập hợp con của không gian Baire hoặc không gian Cantor, có một định nghĩa thay thế ngắn gọn hơn (nếu ít minh bạch hơn), tương tự. Một tập hợp con Một không gian Baire là ∞-Borel chỉ trong trường hợp có một tập hợp các lệnh S và một công thức bậc nhất của ngôn ngữ của tập hợp theo lý thuyết như vậy, với mọi x trong không gian Baire,