2024年5月19日日曜日

583: ファイナイト(有限)ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)上のファイナイト(有限)シンプリシャルコンプレックスのアンダーライイング(下にある)スペース(空間)のサブセット(部分集合)はクローズド(閉)である、もしも、その、コンプレックスの各要素とのインターセクション(共通集合)がクローズド(閉)である場合、そしてその場合に限って

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

ファイナイト(有限)ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)上のファイナイト(有限)シンプリシャルコンプレックスのアンダーライイング(下にある)スペース(空間)のサブセット(部分集合)はクローズド(閉)である、もしも、その、コンプレックスの各要素とのインターセクション(共通集合)がクローズド(閉)である場合、そしてその場合に限ってという記述/証明

話題


About: ベクトルたちスペース(空間)
About: トポロジカルスペース(空間)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のファイナイト(有限)ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)上の任意のファイナイト(有限)シンプリシャルコンプレックスのアンダーライイング(下にある)スペース(空間)の任意のサブセット(部分集合)はクローズド(閉)である、もしも、その、当該コンプレックスの各要素とのインターセクション(共通集合)がクローズド(閉)である場合、そしてその場合に限って、という命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
V: { 全ての d ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間) }で、カノニカル(自然な)トポロジーを持つもの
C: {V 上の全てのファイナイト(有限)シンプリシャルコンプレックスたち }
|C|: =C のアンダーライイング(下にある)スペース(空間) 
S: |C|
//

ステートメント(言明)たち:
S{|C| の全てのクローズドサブセット(閉部分集合)たち }

sC(sS{|C| の全てのクローズドサブセット(閉部分集合)たち })
//


2: 自然言語記述


任意のdディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)Vでカノニカル(自然な)トポロジーを持つもの、V上の任意のファイナイト(有限)シンプリシャルコンプレックスCCのアンダーライイング(下にある)スペース(空間)|C|に対して、任意のサブセット(部分集合)S|C|はクローズド(閉)である、もしも、各sCに対して、sS|C|上でクローズド(閉)である場合、そしてその場合に限って。


3: 証明


S|C|上でクローズド(閉)であると仮定しよう。

s|C|上でクローズド(閉)である、任意のファイナイト(有限)ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)上の任意のシンプリシャルコンプレックスの各要素は当該コンプレックスのアンダーライイング(下にある)スペース(空間)上でクローズド(閉)でコンパクトであるという命題によって。sS|C|上でクローズド(閉)である、クローズドサブセット(閉部分集合)たちのインターセクション(共通集合)として。

sS|C|上でクローズド(閉)であると仮定しよう。

S=S|C|=SsCs=sC(sS)任意のセット(集合)に対して、アンカウンタブル(不可算)かもしれない数の任意のサブセット(部分集合)たちのユニオン(和集合)と任意のサブセット(部分集合)のインターセクション(共通集合)は当該サブセット(部分集合)たちの各々と後者サブセット(部分集合)のインターセクション(共通集合)たちのユニオン(和集合)であるという命題によって。sS|C|上でクローズド(閉)であるので、ファイナイト(有限)ユニオン(和集合)sC(sS)|C|上でクローズド(閉)である。


参考資料


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