ユークリッド空間
ユークリッド空間の点列コンパクト性.