ベールの範疇定理

ベールの範疇定理の証明の一つを紹介します．

ベールの範疇定理というのは１.完備距離空間がベール空間である．2．局所コンパクトハウスドルフ空間がベール空間である．ということを示した定理ですが，チェック完備性の概念を用いると，チェック完備な完全正則空間はベール空間である，というふうに統一できます．その話を紹介します．

www.dropbox.com