ベールの性質

位相空間 $X$ の部分集合 $A$ が ベールの性質を持つ、またはほとんど開な集合であるとは、その集合がある開集合との差が第一類集合であること。すなわち開集合 $U\subseteq X$ で $A\mathrm{\Delta }U$ が第一類集合となるものがあることである（ここでの $\mathrm{\Delta }$ は対称差を表す）。ベールの性質と言う名前はルネ＝ルイ・ベールにちなむ。

ベールの性質を満たす集合全てによる族はσ-代数をなす。すなわち、ほとんど開な集合の補集合はほとんど開であり、ほとんど開な集合の可算和や可算交叉もまたほとんど開である。

開集合はほとんど開な集合である（空集合は テンプレート:Lang である）ため、どんなボレル集合もほとんど開である。ポーランド空間の部分集合がベールの性質を持つとき、それに対応するバナッハ・マズール・ゲーム が テンプレート:Lang である。その逆は成り立たない。しかし、与えられた テンプレート:Lang $\mathrm{\Gamma }$ に属するゲームがすべて テンプレート:Lang であるなら、$\mathrm{\Gamma }$ に属する集合はすべてベールの性質を持つ。

選択公理から、ベールの性質を満たさないような実数集合が存在することが導かれる。特に、ヴィタリ集合はベールの性質を満たさない。これを示すには選択公理より弱いブール素イデアル定理があれば十分で、それは自然数全体の集合の上の非単項テンプレート:仮リンクの存在を導き、そのようなウルトラフィルターは実数の二進小数展開によってベールの性質を満たさない実数集合になる。テンプレート:Citation needed

関連項目

• ベールの範疇定理