Sifat Baire

Sebuah himpunan bagian $A$ mengenai sebuah ruang topologis $X$ 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 $A\subseteq X$ dari sebuah ruang topologis $X$ dikatakan hampir terbuka dan dikatakan memiliki sifat Baire jika terdapat sebuah himpunan buka $U\subseteq X$ sehingga $A△U$ adalah sebuah himpunan bagian ramping, dimana $△$ melambangkan beda simetrik. Lebih lanjut, $A$ memiliki sifat Baire dalam arti terlarang jika untuk setiap himpunan bagian $E$ dari $X$, irisan $A\cap E$ memiliki sifat Baire relatif terhadap $E$.

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

Lihat pula

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

Pranala luar

• Springer Encyclopaedia of Mathematics article on Baire property