Sifat Baire

Sebuah himpunan bagian ${\displaystyle A\subseteq X}$  dari sebuah ruang topologis ${\displaystyle X}$  dikatakan hampir terbuka dan dikatakan memiliki sifat Baire jika terdapat sebuah himpunan buka ${\displaystyle U\subseteq X}$  sehingga ${\displaystyle A\bigtriangleup U}$  adalah sebuah himpunan bagian ramping, dimana ${\displaystyle \bigtriangleup }$  melambangkan beda simetrik. Lebih lanjut, ${\displaystyle A}$  memiliki sifat Baire dalam arti terlarang jika untuk setiap himpunan bagian ${\displaystyle E}$  dari ${\displaystyle X}$ , irisan ${\displaystyle A\cap E}$  memiliki sifat Baire relatif terhadap ${\displaystyle E}$ .

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 ${\displaystyle \Gamma }$  ditentukan, maka setiap himpunan dalam ${\displaystyle \Gamma }$  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.

• Peta hampir buka – Sebuah peta yang memenuhi sebuah syarat serupa dengan yang sebuah peta buka.
• Teorema kategori Baire – Pada ruang topologis dimana irsian himpunan buka rapat banyak tercacah adalah rapat
• Himpunan terbuka – himpunan bagian dasar ruang topologis

• Springer Encyclopaedia of Mathematics article on Baire property