ベールの範疇定理
数学におけるベールの範疇定理(ベールのはんちゅうていり、英: Baire category theorem)、あるいはベールのカテゴリー定理[1]は、位相空間論および関数解析学で重要な道具で、ルネ=ルイ・ベールが1899年の博士学位論文において証明した。この定理には二つの形があり、何れも位相空間がベール空間であるための十分条件を与えるものになっている。
定理の主張
ベール空間は「開稠密部分集合 [math]U_n[/math] からなる任意の可算族に対して、それらの交わり [math]\bigcap_n U_n[/math] は稠密」という性質を満たす位相空間である[1]。
- 主張 1 (BCT1)
- 任意の完備距離空間はベール空間である[1]。より一般に、完備擬距離空間の開部分集合に同相な任意の位相空間はベール空間である。従って任意の完備距離化可能空間はベール空間である。
- 主張 2 (BCT2)
- 任意の局所コンパクトハウスドルフ空間はベール空間である[1]。
このことの証明は主張 1 と同様で、完備性からくる有限交叉性が鍵になる。
この二つの主張は一方が他方を含んでいるとかいうようなものでないことに注意すべきである。これは(有理数の全体に後述するような距離を入れたものや任意の無限次元バナッハ空間のように)局所コンパクトでない完備距離空間が存在することや、あるいは(例えば非自明なコンパクトハウスドルフ空間の非可算積空間や非可算フォート空間など函数解析学で用いられるいくつかの函数空間のように)距離化可能でない局所コンパクトハウスドルフ空間が存在することによる。詳細はSteen & Seebach (1995)を参照。
これは BCT1 と同値だがこちらの定式化のほうが応用上しばしば有用である。これはまた「空でない完備距離空間が閉部分集合の可算和に書けるならば、その閉集合のうちの少なくとも一つは内部が空でない」という形に述べることもできる。
選択公理との関係
二つの主張 BCT1 と BCT2 を任意の完備距離空間に対して証明するには、適当な形の選択公理を用いる必要がある。実は BCT1 は ZF のもとで従属選択公理と呼ばれる弱い形の選択公理と同値である[2]。
完備距離空間がさらに可分であることを仮定する制限された形のベールの範疇定理であれば、何らの選択公理を付け加えることなく ZF において証明することができる[3]。この弱い形の範疇定理は特に実数直線、ベール空間 [math]\omega^\omega[/math]、およびカントール空間 [math]2^\omega[/math] に適用できる。
範疇定理の利用
主張 BCT1 は関数解析学において開写像定理、閉グラフ定理および一様有界性原理の証明に利用される。
また、BCT1 は孤立点を持たない任意の完備距離空間が非可算であることを示すのにも利用できる。実際、[math]X[/math] が孤立点を持たない可算完備距離空間ならば、[math]X[/math] の各一元集合 [math]\{x\}[/math] は疎集合、ゆえに [math]X[/math] それ自体は第一類集合になる。特にこのことから実数全体の成す集合が非可算であることがわかる。
BCT1 から次の空間がベール空間であることが示せる:
- 実数全体が通常の距離に関して成す空間 [math]\mathbf{R}[/math]
- 有理数の全体に距離関数を [math]d(x,y) = 1 / (n + 1)[/math] で定めた空間(これは完備距離空間になる)。ただし [math]n[/math] は [math]x[/math] と [math]y[/math] の連分数展開が一致しない最初の項の番号。
- カントール集合
主張 BCT2 を用いれば、任意の有限次元ハウスドルフ多様体がベール空間となることがわかる。これは当該の多様体が局所コンパクトハウスドルフであることによる。このことは、多様体がパラコンパクトでない(従って距離化可能でない)場合でも成り立つ(例えば、長い直線)。
関連項目
注釈
- ↑ 1.0 1.1 1.2 1.3 岩波数学辞典 2007, 15 N.
- ↑ Blair 1977.
- ↑ Levy 1979, p. 212.
参考文献
- Baire, R. (1899). “Sur les fonctions de variables réelles”. Annali di Mat. 3 (1): 1–123. doi:10.1007/BF02419243. JFM 30.0359.01 .
- Blair, Charles E. (1977). “The Baire category theorem implies the principle of dependent choices”. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 25 (10): 933–934. MR 0469765. Zbl 0377.04011 .
- [1979] (2002) Basic Set Theory. Dover. ISBN 0-486-42079-5.
- (1997) Handbook of Analysis and its Foundations. Academic Press. ISBN 0-12-622760-8.
- [1978] (1995) Counterexamples in Topology, Reprint of the second, Dover. ISBN 0-486-68735-X.
- 『岩波 数学辞典』 日本数学会、岩波書店、2007年、第4版。ISBN 978-4-00-080309-0。