\(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上の非増加シーケンス（列）に対して、シーケンス（列）のコンバージェンス（収束ポイント）はシーケンス（列）のレンジ（値域）のインフィマム（下限）であることの記述/証明
話題
About: メトリックスペース（計量付き空間）
この記事の目次
開始コンテキスト
- 読者は、ユークリディアンメトリックスペース（計量付き空間）の定義を知っている。
- 読者は、メトリックスペース（計量付き空間）上のシーケンス（列）のコンバージェンス（収束ポイント）の定義を知っている。
- 読者は、パーシャリーオーダードセット（半順序集合）のサブセット（部分集合）のインフィマム（下限）の定義を知っている。
- 読者は、任意のリニアリーオーダードセット（線形順序集合）に対して、任意の非空ファイナイト（有限）サブセット（部分集合）はマキシマム（最大）およびミニマム（最小）を持つという命題を認めている。
- 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意のサブセット（部分集合）に対して、当該セット（集合）の任意の要素は当該サブセット（部分集合）のインフィマム（下限）である、もしも、当該要素が当該サブセット（部分集合）の各要素に等しいかそれより小さく、当該要素より大きい当該セット（集合）の各要素に対して、より小さい当該サブセット（部分集合）のある要素がある場合、そしてその場合に限って、という命題を認めている。
ターゲットコンテキスト
- 読者は、\(1\)-ディメンショナル（次元）ユークリディアンメトリックスペース（計量付き空間）でカノニカル（正典）オーダリング（順序）を持つもの上の任意の非増加シーケンス（列）に対して、もしも、当該シーケンス（列）がローワーバウンデッド（下方有界）でない場合、当該シーケンス（列）のコンバージェンス（収束ポイント）も当該シーケンス（列）のレンジ（値域）のインフィマム（下限）も存在しない、そして、そうでない場合、当該シーケンス（列）のコンバージェンス（収束ポイント）は当該シーケンス（列）のレンジ（値域）のインフィマム（下限）であるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(J\): \(\subseteq \mathbb{N}\)で、以下を満たすもの、つまり、\(J \neq \emptyset\)
\(\mathbb{R}\): \(= \text{ 当該ユークリディアンメトリックスペース（計量付き空間） }\)で、カノニカル（正典）オーダリング（順序）を持つもの
\(s\): \(: J \to \mathbb{R}\)で、以下を満たすもの、つまり、\(j \lt j'\)を満たす各\(j, j' \in J\)に対して、\(s (j') \le s (j)\)
//
ステートメント（言明）たち:
(
\(\nexists r \in \mathbb{R} (r \le s)\)
\(\implies\)
\(\nexists lim s \land \nexists Inf (Ran (s))\)
)
\(\land\)
(
\(\exists r \in \mathbb{R} (r \le s)\)
\(\implies\)
\(\exists lim s \land \exists Inf (Ran (s)) \land lim s = Inf (Ran (s))\)
)
//
2: 証明
全体戦略: ステップ1: \(s\)はローワーバウンデッド（下方有界）でないと仮定する; ステップ2 \(lim s\)も\(Inf (Ran (s))\)も存在しないことを見る; ステップ3: \(s\)はローワーバウンデッド（下方有界）であると仮定する; ステップ4: \(Inf (Ran (s))\)は存在することを見る; ステップ5: \(lim s = Inf (Ran (s))\)であることを見る。
ステップ1:
\(s\)はローワーバウンデッド（下方有界）でないと仮定しよう。
ステップ2:
不可避に、\(J\)はインフィニット（無限）である、なぜなら、もしも、\(\vert J \vert \in \mathbb{N} \setminus \{0\}\)であったら、\(Min (Ran (s)) \le s\)、ここで、\(Min (Ran (s)) \in \mathbb{R}\)は存在することになる、任意のリニアリーオーダードセット（線形順序集合）に対して、任意の非空ファイナイト（有限）サブセット（部分集合）はマキシマム（最大）およびミニマム（最小）を持つという命題によって、そして、\(Min (Ran (s))\)はあるローワーバウンド（下限）であることになる、矛盾。
\(lim s \in \mathbb{R}\)は存在しない、なぜなら、もしも、\(lim s \in \mathbb{R}\)が存在したら、以下を満たすある\(N \in \mathbb{N}\)、つまり、\(N \lt n\)を満たす各\(n \in \mathbb{N} \setminus \{0\}\)に対して、\(\vert lim s - s (J_n) \vert \lt 1\)、があることになる、したがって、\(lim s - 1 \lt s (J_n)\)、したがって、\(Min (\{s (J_1), ..., s (J_N), lim s - 1\}) \le s\)、したがって、\(Min (\{s (J_1), ..., s (J_N), lim s - 1\})\)はあるローワーバウンド（下限）であることになる、矛盾。
\(Inf (Ran (s)) \in \mathbb{R}\)は存在しない、なぜなら、もしも、\(Inf (Ran (s))\)が存在したら、\(Inf (Ran (s)) = Max (Lb (Ran (s)))\)は\(s\)のあるローワーバウンド（下限）であることになる、矛盾。
ステップ3:
\(s\)はローワーバウンデッド（下方有界）であると仮定しよう。
ステップ4:
\(Inf (Ran (s))\)は存在する、\(\mathbb{R}\)のよく知られているプロパティによって。
ステップ5:
\(\vert J \vert \in \mathbb{N} \setminus \{0\}\)である時、\(Inf (Ran (s)) = s (J_{\vert J \vert})\)、なぜなら、\(s\)は非増加である、そして、\(lim s = s (J_{\vert J \vert})\)、したがって、\(lim s = Inf (Ran (s))\)。
\(J\)はインフィニット（無限）であると仮定しよう、これ以降は。
\(\epsilon \in \mathbb{R}\)を、\(0 \lt \epsilon\)を満たす任意のものとしよう。
以下を満たすある\(N \in \mathbb{N} \setminus \{0\}\)、つまり、\(s (J_N) \lt Inf (Ran (s)) + \epsilon\)、がある、任意のリニアリーオーダードセット（線形順序集合）および任意のサブセット（部分集合）に対して、当該セット（集合）の任意の要素は当該サブセット（部分集合）のインフィマム（下限）である、もしも、当該要素が当該サブセット（部分集合）の各要素に等しいかそれより小さく、当該要素より大きい当該セット（集合）の各要素に対して、より小さい当該サブセット（部分集合）のある要素がある場合、そしてその場合に限って、という命題によって。
\(N \lt n\)を満たす各\(n \in \mathbb{N} \setminus \{0\}\)に対して、\(s (J_n) \le s (J_N) \lt Inf (Ran (s)) + \epsilon\)、なぜなら、\(s\)は非増加である: \(J_N \lt J_n\)、\(N \lt n\)である時。
他方で、\(Inf (Ran (s)) - \epsilon \lt Inf (Ran (s)) \le s (J_n)\)、なぜなら、\(Inf (Ran (s)) = Max (Lb (Ran (s)))\)、したがって、\(Inf (Ran (s))\)は\(s\)のあるローワーバウンド（下限）である。
したがって、\(Inf (Ran (s)) - \epsilon \lt s (J_n) \lt Inf (Ran (s)) + \epsilon\)、それが意味するのは、\(\vert s (J_n) - Inf (Ran (s)) \vert \lt \epsilon\)。
したがって、\(lim s = Inf (Ran (s))\)。
