シンプリシャルコンプレックスに対して、コンプレックスの要素たちのフェイスたちのバリセンター（重心）たちのアセンディング（昇順）シーケンス（列）たちのサブシーケンスたちによって決定された2つのアファインシンプレックスたちのインターセクション（共通集合）は、サブシーケンスたちのインターセクション（共通集合）によって決定されたアファインシンプレックスであることの記述/証明
話題
About: ベクトルたちスペース
この記事の目次
開始コンテキスト
- 読者は、シンプリシャルコンプレックスを知っている。
- 読者は、アファインシンプレックス（単体）のフェイスたちのバリセンター（重心）たちのアセンディング（昇順）シーケンス（列）の定義を知っている。
- 読者は、任意のシンプリシャルコンプレックスに対して、任意の2つのシンプレックスたちのインターセクション（共通集合）は当該シンプレックスたちのバーテックス（頂点）たちのセット（集合）たちのインターセクション（共通集合）によって決定されるシンプレックスであるという命題を認めている。
- 読者は、任意のアファインシンプレックス（単体）、その任意のフェイスたちのアセンディング（昇順）シーケンス（列）、当該フェイスたちのバリセンター（重心）たちのセット（集合）に対して、当該バリセンター（重心）たちのセット（集合）の任意のサブセット（部分集合）の任意のコンベックスコンビネーションは、当該アファインシンプレックス（単体）のバーテックス（頂点）たちのセット（集合）に関するコンベックスコンビネーションであるという命題を認めている。
ターゲットコンテキスト
- 読者は、任意のシンプリシャルコンプレックスに対して、当該コンプレックスの任意の要素たちのフェイスたちのバリセンター（重心）たちの任意のアセンディング（昇順）シーケンス（列）たちの任意のサブシーケンスたちによって決定された2つのアファインシンプレックスたちの空でないインターセクション（共通集合）は、当該サブシーケンスたちのインターセクション（共通集合）によって決定されたアファインシンプレックスであるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(V\): \(\in \{\text{ 全てのリアル（実）ベクトルたちスペースたち }\}\)
\(C\): \(\in \{V \text{ 上の全てのアファインコンプレックスたち }\}\)
\([q_0, ..., q_m]\): \(\in C\)
\((b_0, ..., b_n)\): \(= (bary ([p_{\sigma_0}]), bary ([p_{\sigma_0}, p_{\sigma_1}]), ..., bary ([p_{\sigma_0}, ..., p_{\sigma_n}]))\), \(\in \{[p_0, ..., p_n] \text{ のフェイスたちのバリセンター（重心）たちの全てのアセンディング（昇順）シーケンス（列）たち }\}\)
\((c_0, ..., c_m)\): \(= (bary ([q_{\rho_0}]), bary ([q_{\rho_0}, q_{\rho_1}]), ..., bary ([q_{\rho_0}, ..., q_{\rho_m}]))\), \(\in \{[q_0, ..., q_m] \text{ のフェイスたちのバリセンター（重心）たちの全てのアセンディング（昇順）シーケンス（列）たち }\}\)
\([b_{k_0}, ..., b_{k_l}]\): \(\{b_{k_0}, ..., b_{k_l}\} \subseteq \{b_0, ..., b_n\}\)
\([c_{i_0}, ..., c_{i_r}]\): \(\{c_{i_0}, ..., c_{i_r}\} \subseteq \{c_0, ..., c_m\}\)
\(S\): \(= [b_{k_0}, ..., b_{k_l}] \cap [c_{i_0}, ..., c_{i_r}]\)
//
ステートメント（言明）たち:
\(S \neq \emptyset\)
\(\implies\)
\(S = [\{b_{k_0}, ..., b_{k_l}\} \cap \{c_{i_0}, ..., c_{i_r}\}]\).
//
2: 自然言語記述
任意のリアル（実）ベクトルたちスペース\(V\)、\(V\)上の任意のアファインコンプレックス\(C\)、任意の要素たち\([p_0, ..., p_n], [q_0, ..., q_m] \in C\)、のフェイスたちのバリセンター（重心）たちの任意のアセンディング（昇順）シーケンス（列）たち\([p_0, ..., p_n]\)および\([q_0, ..., q_m]\)、\((b_0, ..., b_n) := (bary ([p_{\sigma_0}]), bary ([p_{\sigma_0}, p_{\sigma_1}]), ..., bary ([p_{\sigma_0}, ..., p_{\sigma_n}]))\)および\((c_0, ..., c_m) := (bary ([q_{\rho_0}]), bary ([q_{\rho_0}, q_{\rho_1}]), ..., bary ([q_{\rho_0}, ..., q_{\rho_m}]))\)、任意のサブシーケンスたちによって決定されるアファインシンプレックスたち\([b_{k_0}, ..., b_{k_l}]\)、ここで、\(\{b_{k_0}, ..., b_{k_l}\} \subseteq \{b_0, ..., b_n\}\)、および\([c_{i_0}, ..., c_{i_r}]\)、ここで、\(\{c_{i_0}, ..., c_{i_r}\} \subseteq \{c_0, ..., c_m\}\)、\(S = [b_{k_0}, ..., b_{k_l}] \cap [c_{i_0}, ..., c_{i_r}]\)に対して、もしも、\(S \neq \emptyset\)である場合、\(S = [\{b_{k_0}, ..., b_{k_l}\} \cap \{c_{i_0}, ..., c_{i_r}\}]\)。
3: 証明
\([p_0, ..., p_n] \cap [q_0, ..., q_m]\)は\([p_0, ..., p_n]\)のあるフェイスであり、\([q_0, ..., q_m]\)のあるフェイスである。一般性を失うことなく（\([p_0, ..., p_n]\)および\([q_0, ..., q_m]\)のバーテックス（頂点）たちのインデックスを付け替え、パーミュテーション（並べ替え）たち\(\sigma\)および\(\rho\)をそれに従って変えればよい）、\([p_0, ..., p_n] \cap [q_0, ..., q_m] = [p_0, ..., p_s]\)および\([q_0, ..., q_m] = [p_0, ..., p_s, q_{s + 1}, ..., q_m]\)（任意のシンプリシャルコンプレックスに対して、任意の2つのシンプレックスたちのインターセクション（共通集合）は当該シンプレックスたちのバーテックス（頂点）たちのセット（集合）たちのインターセクション（共通集合）によって決定されるシンプレックスであるという命題を参照のこと）としよう。
\([b_{k_0}, ..., b_{k_l}] \subseteq [p_0, ..., p_n]\)および\([c_{i_0}, ..., c_{i_r}] \subseteq [q_0, ..., q_m]\)、任意のアファインシンプレックス（単体）、その任意のフェイスたちのアセンディング（昇順）シーケンス（列）、当該フェイスたちのバリセンター（重心）たちのセット（集合）に対して、当該バリセンター（重心）たちのセット（集合）の任意のサブセット（部分集合）の任意のコンベックスコンビネーションは、当該アファインシンプレックス（単体）のバーテックス（頂点）たちのセット（集合）に関するコンベックスコンビネーションであるという命題によって。したがって、\(S = [b_{k_0}, ..., b_{k_l}] \cap [c_{i_0}, ..., c_{i_r}] \subseteq [p_0, ..., p_n] \cap [q_0, ..., q_m] = [p_0, ..., p_s]\)。
\(p \in S\)を任意のものとしよう。\(p = \sum_{j \in \{0, ..., l\}} t^j b_{k_j} = \sum_{j \in \{0, ..., r\}} u^j c_{i_j}\)、ここで、\(\sum_{j \in \{0, ..., l\}} t^j = 1\)および\(0 \le t^j\)および\(\sum_{j \in \{0, ..., r\}} u^j = 1\)および\(0 \le u^j\)。
これ以降、私たちは、ふんだんに任意のアファインシンプレックス（単体）、その任意のフェイスたちのアセンディング（昇順）シーケンス（列）、当該フェイスたちのバリセンター（重心）たちのセット（集合）に対して、当該バリセンター（重心）たちのセット（集合）の任意のサブセット（部分集合）の任意のコンベックスコンビネーションは、当該アファインシンプレックス（単体）のバーテックス（頂点）たちのセット（集合）に関するコンベックスコンビネーションであるという命題を\(p\)に対して用いる: \(p\)は\(\{p_0, ..., p_n\}\)または\(\{q_0, ..., q_m\}\)に関するコンベックスコンビネーションである、それが含意するのは、\(\{p_0, ..., p_n\}\)または\(\{q_0, ..., q_m\}\)に関する表現に対して、係数たちはユニークに決定されるということ。"\(\{p_0, ..., p_n\}\)または\(\{q_0, ..., q_m\}\)"と言ったが、実のところ、共通の\(\{p_0, ..., p_s\} \subseteq \{p_0, ..., p_n\}, \{q_0, ..., q_m\}\)のみが実際に現われる、次パラグラフ内で証明されるとおり。
\(0 \lt t^a\)であるところでは、\(b_{k_a}\)は\([p_0, ..., p_s]\)のあるフェイスのバリセンター（重心）である、なぜなら、そうでなければ、\(p\)の\(\{p_0, ..., p_n\}\)に関する表現は、\(s \lt t\)である\(p_t\)を含むことになる（当該フェイスが\(p_t\)を含むと仮定すると、任意のバリセンター（重心）は当該バーテックス（頂点）たちのポジティブ（正）マルチプル（積）たちを取り、\(t^j\)たちは全てのノンネガティブ（非負）なので、\(p_t\)の係数は決して消えない）、それが意味するのは、\(p \notin [p_0, ..., p_s]\)、矛盾。同様に、\(0 \lt u^a\)であるところでは、\(c_{i_a}\)は\([p_0, ..., p_s]\)のあるフェイスのバリセンター（重心）である。
実効上\(p\)内にある（それらの係数たちはノンゼロ（非ゼロ））バリセンター（重心）たちのみを見よう: サブセット（部分集合）\(\{b'_0, ..., b'_a\} = \{b_{k_j} \in \{b_{k_0}, ..., b_{k_l}\} \vert 0 \lt t^j\}\)およびサブセット（部分集合）\(\{c'_0, ..., c'_b\} = \{c_{i_j} \in \{c_{i_0}, ..., c_{i_r}\} \vert 0 \lt u^j\}\)を取ろう。
以下の事実たちに注目しよう: \(\{b'_0, ..., b'_a\}\)または\(\{c'_0, ..., c'_b\}\)はフェイスたちのアセンディング（昇順）シーケンス（列）から派生したものなので、もしも、任意のバーテックス（頂点）\(p_g\)がある\(b'_h\)または\(c'_h\)内に初めて現われたら、\(p_g\)はそれに引き続く全ての\(b'_{h + 1}, ..., b'_a\)または\(c'_{h + 1}, ..., c'_b\)に現われ続ける; もしも、任意の2バーテックス（頂点）たち\(p_f, p_g\)が同じ\(b'_h\)または\(c'_h\)内に初めて現われたら、\(p_f\)の係数と\(p_g\)の係数は同じである（\(p_f\)および\(p_g\)は常に\(1 / d (... + p_f + ... + p_g + ...)\)の形で現われる）; もしも、任意のバーテックス（頂点）\(p_f\)が任意のバーテックス（頂点）\(p_g\)より先に現われたら、\(p_f\)の係数は\(p_g\)の係数よりも大きい（\(p_g\)が現われた後は、\(p_f\)と\(p_g\)は常に\(1 / d (... + p_f + ... + p_g + ...)\)の形で現われるが、\(p_f\)だけを含む、より前の項たちが残っている。
もしも、\(b'_0 \neq c'_0\)であったら、\(b'_0\)内にいるが\(c'_0\)内にはいないある\(p_f\)があることになる、一般性を失うことなく。すると、\(p_f\)は、後の\(c'_j\)内に現われないといけないことにあるが、それは不可能である、前パラグラフ内の観察によって: もしも、ある共通のバーテックス（頂点）\(p_g\)が\(b'_0\)および\(c'_0\)内にあれば、\(\sum_{j \in \{0, ..., l\}} t^j b_{k_j}\)に対して、\(p_f\)と\(p_g\)は同じ係数を持つだろう、しかし、\(\sum_{j \in \{0, ..., r\}} u^j c_{i_j}\)に対しては、\(p_f\)と\(p_g\)は異なる係数たちを持つだろう、不可能; もしも、\(b'_0\)と\(c'_0\)内に共通のバーテックス（頂点）がなければ、\(c'_0\)内にはいるが\(b'_0\)内にはいないある\(p_g\)があるだろう（なぜなら、\(c'_0\)は少なくとも1つのバーテックス（頂点）を持つ）、すると、\(p_g\)は、後の\(b'_j\)内に現われなければならないことになる、しかし、それは、\(\sum_{j \in \{0, ..., l\}} t^j b_{k_j}\)に対しては、\(p_f\)は\(p_g\)よりも大きな係数を持ち、その一方、\(\sum_{j \in \{0, ..., r\}} u^j c_{i_j}\)に対しては、\(p_f\)は\(p_g\)よりも小さな係数を持つことになる、不可能。したがって、\(b'_0 = c'_0\)。
同様に、\(b'_1 = c'_1\)、なぜなら、それは、\(b'_0 = c'_0\)へいくつかのバーテックス（頂点）たちを追加するという問題であり、\(b'_1\)と\(c'_1\)がバーテックス（頂点）たちの同じセット（集合）を得なければ、矛盾が起こることになるだろう。等々と続く。したがって、\(b'_j = c'_j\)、\(j\)が\(a\)と\(b\)の小さい方に達するまで。実のところ、\(a = b\)、なぜなら、もしも、\(a \lt b\)であったら、あるバーテックス（頂点）が\(\sum_{j \in \{0, ..., r\}} u^j c_{i_j}\)内だけに現われるであろうし、もしも、\(b \lt a\)であったら、あるバーテックス（頂点）が\(\sum_{j \in \{0, ..., l\}} t^j b_{k_j}\)内だけに現われるであろう、不可能。
それが意味するのは、\(p = \sum_{j \in \{0, ..., l\}} t^j b_{k_j}\)、ここで、\(0 \lt t^j\)、に対して、\(b_{k_j} \in \{c_{j_0}, ..., c_{j_r}\}\)。したがって、\(S \subseteq [\{b_{k_0}, ..., b_{k_l}\} \cap \{c_{k_0}, ..., c_{k_r}\}]\)。
他方、\([\{b_{k_0}, ..., b_{k_l}\} \cap \{c_{k_0}, ..., c_{k_r}\}] \subseteq S\)、なぜなら、左辺は\([b_{k_0}, ..., b_{k_l}]\)のあるフェイスおよび\([c_{k_0}, ..., c_{k_r}]\)のあるフェイスである、それが意味するのは、左辺は\([b_{k_0}, ..., b_{k_l}]\)内に包含されており、\([c_{k_0}, ..., c_{k_r}]\)内の包含されている、したがって、インターセクション（共通集合）内に包含されている。
したがって、\(S = [\{b_{k_0}, ..., b_{k_l}\} \cap \{c_{k_0}, ..., c_{k_r}\}]\)。
4: 注
本命題は、任意のシンプリシャルコンプレックスのバリセントリック（重心による）サブデビジョン（分割）は本当にシンプリシャルコンプレックスであることを証明するのに使われる。
