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

3行要約

1. 有界な実数列は、必ず収束する部分列を持つという解析学の基本定理。
2. 実数の連続性を象徴する性質であり、最大値の定理などの証明に不可欠。
3. 多次元のユークリッド空間においても同様の性質が成立する。