リアルナンバー（実数）たちフィールド（体）でカノニカル（正典）リニアオーダリング（線形順序）を持つものおよびサブセット（部分集合）たちのファイナイト（有限）セット（集合）に対して、もしも、サブセット（部分集合）たちのレプリゼンタティブ（代表）たちの各セット（集合）の合計がナンバー（数字）以上である場合、サブセット（部分集合）たちのインフィマム（下限）たちの合計はナンバー（数字）以上であることの記述/証明
話題
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 (r \le \sum_{j \in J} s^j)\)
\(\implies\)
\(r \le \sum_{j \in J} Inf (S_j)\)
//
\(Inf (S_j)\)たちは不可避に存在する。
2: 証明
全体戦略: ステップ1: 各\(Inf (S_j)\)は存在することを見る; ステップ2: \(\sum_{j \in J} Inf (S_j) \lt r\)であると仮定し、ある矛盾を見つける。
ステップ1:
各\(Inf (S_l)\)が存在することを見よう。
\(s^m\)を各\(m \in J \setminus \{l\}\)に対して固定させよう。
各\(p \in S_l\)に対して、\(r \le \sum_{j \in J \setminus \{l\}} s^j + p\)。
したがって、各\(p \in S_l\)に対して、\(r - \sum_{j \in J \setminus \{l\}} s^j \le p\)。
したがって、\(S_l\)はローワーバウンデッド（下に有界）であり、\(Inf (S_l)\)は存在する、なぜなら、\(\mathbb{R}\)の任意のローワーバウンデッド（下に有界）サブセット（部分集合）はインフィマム（下限）を持つ、よく知られているとおり。
ステップ2:
\(\sum_{j \in J} Inf (S_j) \lt r\)であると仮定しよう。
\(\epsilon := (r - \sum_{j \in J} Inf (S_j)) / (2 n)\)としよう。
各\(j \in J\)に対して、以下を満たすある\(p_j \in S_j\)、つまり、\(p_j \lt Inf (S_j) + \epsilon\)、があることになる、任意のリニアリーオーダードセット（線形順序集合）および任意のサブセット（部分集合）に対して、当該セット（集合）の任意の要素は当該サブセット（部分集合）のインフィマム（下限）である、もしも、当該要素が当該サブセット（部分集合）の各要素に等しいかそれより小さく、当該要素より大きい当該セット（集合）の各要素に対して、より小さい当該サブセット（部分集合）のある要素がある場合、そしてその場合に限って、という命題によって。
\(s \in \times_{j \in J} S_j\)を、各\(j \in J\)に対して\(s^j = p_j\)であるものとしよう。
\(\sum_{j \in J} s^j \lt \sum_{j \in J} (Inf (S_j) + \epsilon) = \sum_{j \in J} Inf (S_j) + n \epsilon = \sum_{j \in J} Inf (S_j) + (r - \sum_{j \in J} Inf (S_j)) / 2 \lt r\)、矛盾。
したがって、\(r \le \sum_{j \in J} Inf (S_j)\)。
