ベール空間
主張 BCT2 を用いれば、任意の有限次元ハウスドルフ多様体がベール空間となることがわかる。これは当該の多様体が局所コンパクトハウスドルフであることによる。このことは、多様体がパラコンパクトでない（従って距離化可能でない）場合でも成り立つ（例えば、長い直線）。