2024年5月5日日曜日

563: アファインシンプレックス(単体)のフェイスたちのアセンディング(昇順)シーケンス(列)

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

アファインシンプレックス(単体)のフェイスたちのアセンディング(昇順)シーケンス(列)の定義

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、アファインシンプレックス(単体)のフェイスたちのアセンディング(昇順)シーケンス(列)の定義を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
V: { 全てのリアル(実)ベクトルたちスペースたち }
{p0,...,pn}: V, {V 上のベースポイントたちの全てのアファインインディペンデント(独立)セット(集合)たち }
[p0,...,pn]: = 当該アファインシンプレックス 
σ: {(0,...,n) の全てのパーミュテーション(並び替え)たち }
S: =([pσ0],[pσ0,pσ1],...,[pσ0,...,pσn])
//

コンディションたち:
//


2: 自然言語記述


任意のリアル(実)ベクトルたちスペースVV上のベースポイントたちの任意のアファインインディペンデント(独立)セット(集合){p0,...,pn}V、当該アファインシンプレックス[p0,...,pn]に対して、(0,...,n)の任意のパーミュテーション(並べ替え)σに対して、S:=([pσ0],[pσ0,pσ1],...,[pσ0,...,pσn])


3: 注


Sの各要素は[p0,...,pn]のフェイスであり、[pσ0][pσ0,pσ1]...[pσ0,...,pσn]、それが、S[p0,...,pn]のフェイスたちのアセンディング(昇順)シーケンス(列)と呼ばれる理由である。

(n+1)!個の、[p0,...,pn]のフェイスたちのアセンディング(昇順)シーケンス(列)たちがある、なぜなら、例えば、アファインシンプレックス[p0,p1]に対して、(0,1)のパーミュテーション(並び替え)たちは(0,1)および(1,0)であり、([p0],[p0,p1])および([p1],[p0,p1])[p0,p1]のフェイスたちのアセンディング(昇順)シーケンス(列)たちである。


参考資料


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