ノルム空間におけるコンパクト集合の性質(例:コンパクト集合の閉包はコンパクトである)