リンデレーフ空間(リンデレフ空間)とは,任意の開被覆が可算部分被覆をもつような位相空間のことです。コンパクトが「任意の開被覆が有限部分被覆を···