2025年1月7日火曜日

930: シンプリシャルコンプレックスおよびそのサブコンプレックスたちに対して、サブコンプレックスたちのインターセクション(共通集合)のアンダーライイング(下にある)スペース(空間)は構成要素たちのアンダーライイング(下にある)スペース(空間)たちのインターセクション(共通集合)である

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

シンプリシャルコンプレックスおよびそのサブコンプレックスたちに対して、サブコンプレックスたちのインターセクション(共通集合)のアンダーライイング(下にある)スペース(空間)は構成要素たちのアンダーライイング(下にある)スペース(空間)たちのインターセクション(共通集合)であることの記述/証明

話題


About: ベクトルたちスペース(空間)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のシンプリシャルコンプレックスおよびその任意のサブコンプレックスたちに対して、当該サブコンプレックスたちのインターセクション(共通集合)のアンダーライイング(下にある)スペース(空間)は当該構成要素サブコンプレックスたちのアンダーライイング(下にある)スペース(空間)たちのインターセクション(共通集合)であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
V: { 全てのリアル(実)ベクトルたちスペース(空間)たち }
C: {V 上の全てのシンプリシャルコンプレックスたち }
C1: {C の全てのサブコンプレックスたち }
C2: {C の全てのサブコンプレックスたち }
//

ステートメント(言明)たち:
C1C2{V 上の全てのシンプリシャルコンプレックスたち }

|C1C2|=|C1||C2|
//


2: 自然言語記述


任意のリアル(実)ベクトルたちスペース(空間)V、任意のシンプリシャルコンプレックスCCの任意のサブコンプレックスたちC1,C2に対して、C1C2V上のシンプリシャルコンプレックスである、そして、|C1C2|=|C1||C2|


3: 証明


全体戦略: ステップ1: C1C2V上のシンプリシャルコンプレックスであり、|C1C2||C1||C2|であることを見る; ステップ2: |C1||C2||C1C2|であることを見る。

ステップ1:

これは、任意の2つのシンプリシャルコンプレックスたちのインターセクション(共通集合)はシンプリシャルコンプレックスであり、当該インターセクション(共通集合)のアンダーライイング(下にある)スペース(空間)は構成要素シンプリシャルコンプレックスたちのアンダーライイング(下にある)スペース(空間)たちのインターセクション(共通集合)内に包含されているが、必ずしも等しくはないという命題の特別のケースである、したがって、C1C2V上のシンプリシャルコンプレックスであり、|C1C2||C1||C2|

ステップ2:

|C1||C2||C1C2|であることを見よう。

p|C1||C2|は任意のものであるとしよう。p|C1|。以下を満たすあるS1C1、つまり、pS1、がある。同様に、以下を満たすあるS2C2、つまり、pS2、がある。したがって、pS1S2

S1,S2Cであるから、S1S2S1のフェイスである。S1C1であるから、S1S2C1。同様に、S1S2C2。したがって、S1S2C1C2pS1S2C1C2であるから、p|C1C2|


参考資料


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