ボルツァーノ–ワイエルシュトラスの定理

ボルツァーノ–ワイエルシュトラスの定理

有限次元ユークリッド空間の有界な数列から収束部分列を得る証明を示し、コンパクト性との違いも整理します。