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

提供: miniwiki
2017/4/24/ (月) 13:15時点におけるja>Lilyca2^10による版
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索

ボルツァーノ=ワイエルシュトラスの定理(-ていり, : Bolzano–Weierstrass theorem)とは、実数の基本的な性質の一つの表現であり、解析学の分野などでよく用いられる。

名前の「ボルツァーノ」はチェコの数学者・ベルナルト・ボルツァーノに、「ワイエルシュトラス」はドイツの数学者・カール・ワイエルシュトラスにちなむ。

定理

テンプレート:Math theorem

この定理によれば、実数コーシー列が必ず収束することが容易に証明できる。すなわち、この定理は実数の完備性の表現の一つと見ることができる。

多次元空間への拡張

この定理は、n次元ユークリッド空間に拡張できる。すなわち、Rn有界点列収束部分列を持つ。

関連文献

関連項目

外部リンク