2024年6月9日日曜日

622: シンプリシャルコンプレックスに対して、コンプレックスの要素たちのフェイスたちのバリセンター(重心)たちのアセンディング(昇順)シーケンス(列)たちのサブシーケンスたちによって決定された2つのアファインシンプレックスたちのインターセクション(共通集合)は、サブシーケンスたちのインターセクション(共通集合)によって決定されたアファインシンプレックスである

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

シンプリシャルコンプレックスに対して、コンプレックスの要素たちのフェイスたちのバリセンター(重心)たちのアセンディング(昇順)シーケンス(列)たちのサブシーケンスたちによって決定された2つのアファインシンプレックスたちのインターセクション(共通集合)は、サブシーケンスたちのインターセクション(共通集合)によって決定されたアファインシンプレックスであることの記述/証明

話題


About: ベクトルたちスペース

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のシンプリシャルコンプレックスに対して、当該コンプレックスの任意の要素たちのフェイスたちのバリセンター(重心)たちの任意のアセンディング(昇順)シーケンス(列)たちの任意のサブシーケンスたちによって決定された2つのアファインシンプレックスたちの空でないインターセクション(共通集合)は、当該サブシーケンスたちのインターセクション(共通集合)によって決定されたアファインシンプレックスであるという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義たちの一覧があります。

本サイトにてこれまで議論された命題たちの一覧があります。


本体


1: 構造化された記述


ここに'構造化された記述'のルールたちがある

エンティティ(実体)たち:
V: { 全てのリアル(実)ベクトルたちスペースたち }
C: {V 上の全てのアファインコンプレックスたち }
[q0,...,qm]: C
(b0,...,bn): =(bary([pσ0]),bary([pσ0,pσ1]),...,bary([pσ0,...,pσn])), {[p0,...,pn] のフェイスたちのバリセンター(重心)たちの全てのアセンディング(昇順)シーケンス(列)たち }
(c0,...,cm): =(bary([qρ0]),bary([qρ0,qρ1]),...,bary([qρ0,...,qρm])), {[q0,...,qm] のフェイスたちのバリセンター(重心)たちの全てのアセンディング(昇順)シーケンス(列)たち }
[bk0,...,bkl]: {bk0,...,bkl}{b0,...,bn}
[ci0,...,cir]: {ci0,...,cir}{c0,...,cm}
S: =[bk0,...,bkl][ci0,...,cir]
//

ステートメント(言明)たち:
S

S=[{bk0,...,bkl}{ci0,...,cir}].
//


2: 自然言語記述


任意のリアル(実)ベクトルたちスペースVV上の任意のアファインコンプレックスC、任意の要素たち[p0,...,pn],[q0,...,qm]C、のフェイスたちのバリセンター(重心)たちの任意のアセンディング(昇順)シーケンス(列)たち[p0,...,pn]および[q0,...,qm](b0,...,bn):=(bary([pσ0]),bary([pσ0,pσ1]),...,bary([pσ0,...,pσn]))および(c0,...,cm):=(bary([qρ0]),bary([qρ0,qρ1]),...,bary([qρ0,...,qρm]))、任意のサブシーケンスたちによって決定されるアファインシンプレックスたち[bk0,...,bkl]、ここで、{bk0,...,bkl}{b0,...,bn}、および[ci0,...,cir]、ここで、{ci0,...,cir}{c0,...,cm}S=[bk0,...,bkl][ci0,...,cir]に対して、もしも、Sである場合、S=[{bk0,...,bkl}{ci0,...,cir}]


3: 証明


[p0,...,pn][q0,...,qm][p0,...,pn]のあるフェイスであり、[q0,...,qm]のあるフェイスである。一般性を失うことなく([p0,...,pn]および[q0,...,qm]のバーテックス(頂点)たちのインデックスを付け替え、パーミュテーション(並べ替え)たちσおよびρをそれに従って変えればよい)、[p0,...,pn][q0,...,qm]=[p0,...,ps]および[q0,...,qm]=[p0,...,ps,qs+1,...,qm]任意のシンプリシャルコンプレックスに対して、任意の2つのシンプレックスたちのインターセクション(共通集合)は当該シンプレックスたちのバーテックス(頂点)たちのセット(集合)たちのインターセクション(共通集合)によって決定されるシンプレックスであるという命題を参照のこと)としよう。

[bk0,...,bkl][p0,...,pn]および[ci0,...,cir][q0,...,qm]任意のアファインシンプレックス(単体)、その任意のフェイスたちのアセンディング(昇順)シーケンス(列)、当該フェイスたちのバリセンター(重心)たちのセット(集合)に対して、当該バリセンター(重心)たちのセット(集合)の任意のサブセット(部分集合)の任意のコンベックスコンビネーションは、当該アファインシンプレックス(単体)のバーテックス(頂点)たちのセット(集合)に関するコンベックスコンビネーションであるという命題によって。したがって、S=[bk0,...,bkl][ci0,...,cir][p0,...,pn][q0,...,qm]=[p0,...,ps]

pSを任意のものとしよう。p=j{0,...,l}tjbkj=j{0,...,r}ujcij、ここで、j{0,...,l}tj=1および0tjおよびj{0,...,r}uj=1および0uj

これ以降、私たちは、ふんだんに任意のアファインシンプレックス(単体)、その任意のフェイスたちのアセンディング(昇順)シーケンス(列)、当該フェイスたちのバリセンター(重心)たちのセット(集合)に対して、当該バリセンター(重心)たちのセット(集合)の任意のサブセット(部分集合)の任意のコンベックスコンビネーションは、当該アファインシンプレックス(単体)のバーテックス(頂点)たちのセット(集合)に関するコンベックスコンビネーションであるという命題pに対して用いる: p{p0,...,pn}または{q0,...,qm}に関するコンベックスコンビネーションである、それが含意するのは、{p0,...,pn}または{q0,...,qm}に関する表現に対して、係数たちはユニークに決定されるということ。"{p0,...,pn}または{q0,...,qm}"と言ったが、実のところ、共通の{p0,...,ps}{p0,...,pn},{q0,...,qm}のみが実際に現われる、次パラグラフ内で証明されるとおり。

0<taであるところでは、bka[p0,...,ps]のあるフェイスのバリセンター(重心)である、なぜなら、そうでなければ、p{p0,...,pn}に関する表現は、s<tであるptを含むことになる(当該フェイスがptを含むと仮定すると、任意のバリセンター(重心)は当該バーテックス(頂点)たちのポジティブ(正)マルチプル(積)たちを取り、tjたちは全てのノンネガティブ(非負)なので、ptの係数は決して消えない)、それが意味するのは、p[p0,...,ps]、矛盾。同様に、0<uaであるところでは、cia[p0,...,ps]のあるフェイスのバリセンター(重心)である。

実効上p内にある(それらの係数たちはノンゼロ(非ゼロ))バリセンター(重心)たちのみを見よう: サブセット(部分集合){b0,...,ba}={bkj{bk0,...,bkl}|0<tj}およびサブセット(部分集合){c0,...,cb}={cij{ci0,...,cir}|0<uj}を取ろう。

以下の事実たちに注目しよう: {b0,...,ba}または{c0,...,cb}はフェイスたちのアセンディング(昇順)シーケンス(列)から派生したものなので、もしも、任意のバーテックス(頂点)pgがあるbhまたはch内に初めて現われたら、pgはそれに引き続く全てのbh+1,...,baまたはch+1,...,cbに現われ続ける; もしも、任意の2バーテックス(頂点)たちpf,pgが同じbhまたはch内に初めて現われたら、pfの係数とpgの係数は同じである(pfおよびpgは常に1/d(...+pf+...+pg+...)の形で現われる); もしも、任意のバーテックス(頂点)pfが任意のバーテックス(頂点)pgより先に現われたら、pfの係数はpgの係数よりも大きい(pgが現われた後は、pfpgは常に1/d(...+pf+...+pg+...)の形で現われるが、pfだけを含む、より前の項たちが残っている。

もしも、b0c0であったら、b0内にいるがc0内にはいないあるpfがあることになる、一般性を失うことなく。すると、pfは、後のcj内に現われないといけないことにあるが、それは不可能である、前パラグラフ内の観察によって: もしも、ある共通のバーテックス(頂点)pgb0およびc0内にあれば、j{0,...,l}tjbkjに対して、pfpgは同じ係数を持つだろう、しかし、j{0,...,r}ujcijに対しては、pfpgは異なる係数たちを持つだろう、不可能; もしも、b0c0内に共通のバーテックス(頂点)がなければ、c0内にはいるがb0内にはいないあるpgがあるだろう(なぜなら、c0は少なくとも1つのバーテックス(頂点)を持つ)、すると、pgは、後のbj内に現われなければならないことになる、しかし、それは、j{0,...,l}tjbkjに対しては、pfpgよりも大きな係数を持ち、その一方、j{0,...,r}ujcijに対しては、pfpgよりも小さな係数を持つことになる、不可能。したがって、b0=c0

同様に、b1=c1、なぜなら、それは、b0=c0へいくつかのバーテックス(頂点)たちを追加するという問題であり、b1c1がバーテックス(頂点)たちの同じセット(集合)を得なければ、矛盾が起こることになるだろう。等々と続く。したがって、bj=cjjabの小さい方に達するまで。実のところ、a=b、なぜなら、もしも、a<bであったら、あるバーテックス(頂点)がj{0,...,r}ujcij内だけに現われるであろうし、もしも、b<aであったら、あるバーテックス(頂点)がj{0,...,l}tjbkj内だけに現われるであろう、不可能。

それが意味するのは、p=j{0,...,l}tjbkj、ここで、0<tj、に対して、bkj{cj0,...,cjr}。したがって、S[{bk0,...,bkl}{ck0,...,ckr}]

他方、[{bk0,...,bkl}{ck0,...,ckr}]S、なぜなら、左辺は[bk0,...,bkl]のあるフェイスおよび[ck0,...,ckr]のあるフェイスである、それが意味するのは、左辺は[bk0,...,bkl]内に包含されており、[ck0,...,ckr]内の包含されている、したがって、インターセクション(共通集合)内に包含されている。

したがって、S=[{bk0,...,bkl}{ck0,...,ckr}]


4: 注


本命題は、任意のシンプリシャルコンプレックスのバリセントリック(重心による)サブデビジョン(分割)は本当にシンプリシャルコンプレックスであることを証明するのに使われる。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>