ダイレクテッド（有向）インデックスセット（集合）によるネットのアキュームレーションバリュー（集積値）の定義
話題
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、ダイレクテッド（有向）インデックスセット（集合）によるネットの定義を知っている。
ターゲットコンテキスト
- 読者は、ダイレクテッド（有向）インデックスセット（集合）によるネットのアキュームレーションバリュー（集積値）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 定義
任意のダイレクテッドセット（有向集合）\(S\)、任意のトポロジカルスペース（空間）\(T\)、任意のダイレクテッド（有向）インデックスセット（集合）によるネット\(f: S \rightarrow T\)に対して、以下を満たす任意のポイント\(p \in T\)、つまり、\(p\)の任意のネイバーフッド（近傍）\(N_p \subseteq T\)および任意のインデックス\(i_0 \in S\)に対して、以下を満たすあるインデックス\(i \in S\)、つまり、\(i_0 \leq i\)および\(f (i) \in N_p\)、がある
2: 注
あるダイレクテッド（有向）インデックスセット（集合）によるネットは複数のアキュームレーションバリュー（集積値）たちを持つかもしれない。
