「微分形式の幾何学」（著：森田茂之）をゆっくり勉強している。 この本の§1.3 (c)の命題1.29の証明で次のような記述がある。 は多様体であるから、もちろん局所コンパクトなHausdorff空間である。 このことからの中でがコンパクトなものだけを集めても 開集…