2024年10月20日日曜日

818: トポロジカルスペース(空間)からフィールド(体)の中へのマップ(写像)のサポート

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

トポロジカルスペース(空間)からフィールド(体)の中へのマップ(写像)のサポートの定義

話題


About: トポロジカルスペース(空間)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、トポロジカルスペース(空間)からフィールド(体)の中へのマップ(写像)のサポートの定義を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
T: { 全てのトポロジカルスペース(空間)たち }
F: { 全てのフィールド(体)たち }
f: :TF
suppf: =f1(F{0})、ここで、上線は、クロージャー(閉包)を取ることを示す
//

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


2: 注


ドメイン(定義域)はトポロジカルスペース(空間)である必要がある、なぜなら、そうでなければ、クロージャー(閉包)は意味をなさなくなる; コドメイン(余域)はフィールド(体)である必要がある、なぜなら、そうでなければ、0は意味をなさなくなる。


参考資料


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