Sifat Baire

Sebuah himpunan bagian  mengenai sebuah ruang topologis  memiliki sifat Baire, dinamakan oleh René-Louis Baire), atau disebut sebagai himpunan hampir buka, jika ini berbeda dari sebuah himpunan buka oleh himpunan ramping;

Definisi 
Sebuah himpunan bagian  dari sebuah ruang topologis  dikatakan hampir terbuka dan dikatakan memiliki sifat Baire jika terdapat sebuah himpunan buka  sehingga  adalah sebuah himpunan bagian ramping, dimana  melambangkan beda simetrik. Lebih lanjut,  memiliki sifat Baire dalam arti terlarang jika untuk setiap himpunan bagian  dari , irisan  memiliki sifat Baire relatif terhadap .

Sifat-sifat 
Keluarga himpunan dengan sifat Baire membentuk sebuah aljabar-σ. Yaitu, komplemen mengenai sebuah himpunan hampir buka adalah hampir buka, dan hanya gabungan atau irisan tercacahkan mengenai himpunan hampir buka adalah hampir buka lagi. Karena setiap himpunan buka adalah hampir buka (himpunan kosongnya ramping), ini mengikuti bahwa setiap himpunan Borel adalah hampir buka.

Jika sebuah himpunan bagian ruang Polish memiliki sifat Baire, maka permainan Banach–Mazur berpadanannya ditentukan. Kebalikannya tidak berlaku, namun, jika setiap permainan dalam sebuah kelas titik memadai  ditentukan, maka setiap himpunan dalam  memiliki sifat Baire. Oleh karena itu, ini mengikuti dari penentuan projektif, yang ternyata mengikuti dari kardinal besar cukup, bahwa setiap himpunan projektif (dalam sebuah ruang Polish) memiliki sifat Baire.

Ini mengikuti dari aksioma pemilihan bahwa terdapat himpunan-himpunan real tanpa sifat Baire. Khususnya, himpunan Vitali tidak memiliki sifat Baire. Versi yang sudah lebih lemah mengenai pemilihan sudah cukup, teorema ideal prima Boole menyiratkan bahwa terdapat sebuah ultratapis takprinsip pada himpunan bilangan asli, masing-masing imbas ultratapis, melalui wakilan biner real, sebuah himpunan real tanpa sifat Baire.

Lihat pula 

  – Sebuah peta yang memenuhi sebuah syarat serupa dengan yang sebuah peta buka.
  – Pada ruang topologis dimana irsian himpunan buka rapat banyak tercacah adalah rapat
  – himpunan bagian dasar ruang topologis

Referensi

Pranala luar 

 Springer Encyclopaedia of Mathematics article on Baire property

Teori himpunan deskriptif
Kepastian