リアルナンバー（実数）たちフィールド（体）でカノニカル（正典）リニアオーダリング（線形順序）を持つものおよびサブセット（部分集合）たちのファイナイト（有限）セット（集合）に対して、もしも、サブセット（部分集合）たちのレプリゼンタティブ（代表）たちの各セット（集合）の合計がナンバー（数字）以下である場合、サブセット（部分集合）たちのサプリマム（上限）たちの合計はナンバー（数字）以下であることの記述/証明
話題
About: セット（集合）
この記事の目次
開始コンテキスト
- 読者は、リアルナンバー（実数）たちフィールド（体）の定義を知っている。
- 読者は、パーシャリーオーダードセット（半順序集合）のサブセット（部分集合）のサプリマム（上限）の定義を知っている。
- 読者は、任意のリニアリーオーダードセット（線形順序集合）および任意のサブセット（部分集合）に対して、当該セット（集合）の任意の要素は当該サブセット（部分集合）のサプリマム（上限）である、もしも、当該要素が当該サブセット（部分集合）の各要素に等しいかそれより大きく、当該要素より小さい当該セット（集合）の各要素に対して、より大きい当該サブセット（部分集合）のある要素がある場合、そしてその場合に限って、という命題を認めている。
ターゲットコンテキスト
- 読者は、リアルナンバー（実数）たちフィールド（体）でカノニカル（正典）リニアオーダリング（線形順序）を持つものおよびサブセット（部分集合）たちの任意のファイナイト（有限）セット（集合）に対して、もしも、当該サブセット（部分集合）たちのレプリゼンタティブ（代表）たちの各セット（集合）の合計が任意のナンバー（数字）以下である場合、当該サブセット（部分集合）たちのサプリマム（上限）たちの合計は当該ナンバー（数字）以下であるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(\mathbb{R}\): \(= \text{ リアルナンバー（実数）たちフィールド（体）でカノニカル（正典）リニアオーダリング（線形順序）を持つもの }\)
\(J\): \(\in \{\text{ 全てのファイナイト（有限）インデックスセット（集合）たち }\}\)で、\(\vert J \vert = n\)であるもの
\(\{S_j \subseteq \mathbb{R} \vert j \in J\}\):
\(r\): \(\in \mathbb{R}\)
//
ステートメント（言明）たち:
\(\forall s \in \times_{j \in J} S_j (\sum_{j \in J} s^j) \le r\)
\(\implies\)
\(\sum_{j \in J} Sup (S_j) \le r\)
//
\(Sup (S_j)\)たちは不可避に存在する。
2: 証明
全体戦略: ステップ1: 各\(Sup (S_j)\)は存在することを見る; ステップ2: \(r \lt \sum_{j \in J} Sup (S_j)\)であると仮定し、ある矛盾を見つける。
ステップ1:
各\(Sup (S_l)\)が存在することを見よう。
\(s^m\)を各\(m \in J \setminus \{l\}\)に対して固定させよう。
各\(p \in S_l\)に対して、\(\sum_{j \in J \setminus \{l\}} s^j + p \le r\)。
したがって、各\(p \in S_l\)に対して、\(p \le r - \sum_{j \in J \setminus \{l\}} s^j\)。
したがって、\(S_l\)はアッパーバウンデッド（上に有界）であり、\(Sup (S_l)\)は存在する、なぜなら、\(\mathbb{R}\)の任意のアッパーバウンデッド（上に有界）サブセット（部分集合）はサプリマム（上限）を持つ、よく知られているとおり。
ステップ2:
\(r \lt \sum_{j \in J} Sup (S_j)\)であると仮定しよう。
\(\epsilon := (\sum_{j \in J} Sup (S_j) - r) / (2 n)\)としよう。
各\(j \in J\)に対して、以下を満たすある\(p_j \in S_j\)、つまり、\(Sup (S_j) - \epsilon \lt p_j\)、があることになる、任意のリニアリーオーダードセット（線形順序集合）および任意のサブセット（部分集合）に対して、当該セット（集合）の任意の要素は当該サブセット（部分集合）のサプリマム（上限）である、もしも、当該要素が当該サブセット（部分集合）の各要素に等しいかそれより大きく、当該要素より小さい当該セット（集合）の各要素に対して、より大きい当該サブセット（部分集合）のある要素がある場合、そしてその場合に限って、という命題によって。
\(s \in \times_{j \in J} S_j\)を、各\(j \in J\)に対して\(s^j = p_j\)であるものとしよう。
\(r \lt \sum_{j \in J} Sup (S_j) - (\sum_{j \in J} Sup (S_j) - r) / 2 = \sum_{j \in J} Sup (S_j) - n \epsilon = \sum_{j \in J} (Sup (S_j) - \epsilon) \lt \sum_{j \in J} s^j\)、矛盾。
したがって、\(\sum_{j \in J} Sup (S_j) \le r\)。
