2024年6月9日日曜日

620: シンプリシャルコンプレックスに対して、2つのシンプレックスたちのインターセクション(共通集合)はシンプレックスたちのバーテックス(頂点)たちのセット(集合)たちのインターセクション(共通集合)によって決定されるシンプレックスである

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

シンプリシャルコンプレックスに対して、2つのシンプレックスたちのインターセクション(共通集合)はシンプレックスたちのバーテックス(頂点)たちのセット(集合)たちのインターセクション(共通集合)によって決定されるシンプレックスであることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のシンプリシャルコンプレックスに対して、任意の2つのシンプレックスたちのインターセクション(共通集合)は当該シンプレックスたちのバーテックス(頂点)たちのセット(集合)たちのインターセクション(共通集合)によって決定されるシンプレックスであるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
V: { 全てのリアル(実)ベクトルたちスペースたち }
C: {V 上の全てのシンプリシャルコンプレックスたち }
S1: =[p1,0,...,p1,n1], C
S2: =[p2,0,...,p2,n2], C
{p0,...,pn}: ={p1,0,...,p1,n1}{p2,0,...,p2,n2}
//

ステートメント(言明)たち:
S1S2=[p0,...,pn]
//


2: 自然言語記述


任意のリアル(実)ベクトルたちスペースVV上の任意のシンプリシャルコンプレックスC、任意のシンプレックスたちS1=[p1,0,...,p1,n1],S2=[p2,0,...,p2,n2]Cに対して、S1S2=[p0,...,pn]、ここで、{p0,...,pn}={p1,0,...,p1,n1}{p2,0,...,p2,n2}


3: 証明


S1S2S1のあるフェイスおよびS2のあるフェイスである。任意のフェイスはC内のシンプレックスであるから、S1S2C内のシンプレックスである。

S1S2の各バーテックス(頂点)はS1のバーテックスであり、S2のバーテックスである、フェイスの定義によって。したがって、VertS1S2{p0,...,pn}。それは、S1S2[p0,...,pn]を含意する。

[p0,...,pn]S1S2を証明しよう。各p[p0,...,pn]に対して、p=j{0,...,n}tjpj、ここで、j{0,...,n}tj=1および0tjpS1S2、なぜなら、pj{0,...,n1}tjp1,jの特殊ケースであり、j{0,...,n2}tjp2,jの特殊ケースである。

したがって、S1S2=[p0,...,pn]


参考資料


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