R^nの有界閉集合が点列コンパクト集合であることを帰納法で証明する方法

本記事では、R^nの有界閉集合が点列コンパクト集合であることを帰納法を用いて証明する方法について解説します。特に、n = 1のときから帰納法を使ってn = kのときにどう進めるかを見ていきます。

帰納法の基本

帰納法は数学的な証明手法の一つで、まずn = 1のケースを証明し、次にn = k-1の時点での仮定を使ってn = kのケースを証明します。この方法を使うことで、一般的な主張を証明することができます。

まずn = 1のときのRの有界閉集合が点列コンパクトであることを証明します。Rの有界閉集合は必ず点列コンパクトであるということが知られており、これを簡単に確認するためには、Cauchy列が必ず収束することを示すことが必要です。

次にn = k-1の場合を仮定します。この仮定によれば、R^{k-1}の有界閉集合が点列コンパクト集合であるとしています。これを使って、n = kの場合に進んでいきます。

ここでn = kの場合を証明します。R^kの有界閉集合が点列コンパクトであるためには、R^{k-1}の点列コンパクト性を利用し、R^kの要素を適切に処理することで証明できます。R^kの有界閉集合は、R^{k-1}の点列コンパクト性を利用することで、帰納法を使って証明できます。

R^nの有界閉集合が点列コンパクトであることを帰納法で証明するためには、n = 1の場合から始め、n = k-1の仮定を使ってn = kのケースに進んでいきます。この方法により、一般的なR^nの場合にも適用することができ、点列コンパクト性の証明が可能となります。