>>893
その事実からどう進むのかがよくわかんないです。
被覆{V}の各Vに対してそこに含まれる相対コンパクト集合Uを１個ずつ取って
{U}がちゃんと被覆になるようにできれば勝ちなんですけど...