シンプリシャルコンプレックスのバリセントリック（重心による）サブデビジョン（分割）の定義
話題
About: ベクトルたちスペース
この記事の目次
開始コンテキスト
- 読者は、シンプリシャルコンプレックスの定義を知っている。
- 読者は、アファインシンプレックス（単体）のフェイスたちのバリセンター（重心）たちのアセンディング（昇順）シーケンス（列）の定義を知っている。
ターゲットコンテキスト
- 読者は、シンプリシャルコンプレックスのバリセントリック（重心による）サブデビジョン（分割）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( V\): \(\in \{\text{ 全てのリアル（実）ベクトルたちスペースたち }\}\)
\( C\): \(\in \{V \text{ 上の全てのシンプリシャルコンプレックスたち }\}\)
\( Vert Sd C\): \(= \{bary (S) \vert S \in C\}\)
\(*Sd C\): \(= \{[S] \vert S \subseteq Vert Sd C \text{ で以下を満たすもの、つまり、 } S \in \{Vert Sd C \text{ の全てのリニアリーオーダードサブセット（線形順序部分集合）たち }\}\}\)
//
コンディションたち:
//
"\(S \in \{Vert Sd C \text{ の全てのリニアリーオーダードサブセット（線形順序部分集合）たち }\}\)"は、アファインシンプレックス（単体）のフェイスたちのバリセンター（重心）たちのアセンディング（昇順）シーケンス（列）の定義内の"注"内に記述されているパーシャルオーダー（半順序）に基づいている: \(Vert Sd C\)はパーシャリーオーダード（半順序付き）であり、あるサブセット（部分集合）はリニアリーオーダード（線形順序付き）であるかもしれないしないかもしれない; リニアリーオーダード（線形順序付き）であるというのが意味するのは、当該サブセット（部分集合）は、あるアファインシンプレックスのフェイスたちのバリセンター（頂点）たちのあるアセンディング（昇順）シーケンス（列）のあるサブシーケンスであるということ。
2: 自然言語記述
任意のリアル（実）ベクトルたちスペース\(V\)、\(V\)上の任意のシンプリシャルコンプレックス\(C\)に対して、\( Vert Sd C := \{bary (S) \vert S \in C\}\)および\(Sd C := \{[S] \vert S \subseteq Vert Sd C \text{ で以下を満たすもの、つまり、 } S \in \{Vert Sd C \text{ の全てのリニアリーオーダードサブセット（線形順序部分集合）たち }\}\}\)
3: 注
\(Sd C\)は本当にシンプリシャルコンプレックスである: 任意のアファインシンプレックス（単体）、そのフェイスたちの任意のアセンディング（昇順）シーケンス（列）に対して、当該フェイスたちのバリセンター（重心）たちのセット（集合）はアファインインディペンデント（独立）であるという命題によって、\([S]\)は本当にアファインシンプレックスである; 各\([S]\)に対して、その各フェイスは\(Sd C\)内に包含されている、なぜなら、\(S\)の各サブセット（部分集合）はリニアリーオーダード（線形順序付き）である; 各\([S_1], [S_2]\)に対して、\([S_1] \cap [S_2]\)は\([S_1 \cap S_2]\)である、任意のシンプリシャルコンプレックスに対して、当該コンプレックスの任意の要素たちのフェイスたちのバリセンター（重心）たちの任意のアセンディング（昇順）シーケンス（列）たちの任意のサブシーケンスたちによって決定された2つのアファインシンプレックスたちの空でないインターセクション（共通集合）は、当該サブシーケンスたちのインターセクション（共通集合）によって決定されたアファインシンプレックスであるという命題によって、したがって、\([S_1]\)のあるフェイスおよび\([S_2]\)のあるフェイスである。
