局所コンパクトHausdorff空間は相対コンパクト開集合からなる開基を持つ