セット（集合）からメトリックスペース（計量付き空間）の中へのマップ（写像）たちのユニフォーム（一様）にコンバージェント（収束する）シーケンス（列）の定義
話題
About: メトリックスペース（計量付き空間）
この記事の目次
開始コンテキスト
- 読者は、メトリックスペース（計量付き空間）の定義を知っている。
- 読者は、マップ（写像）の定義を知っている。
ターゲットコンテキスト
- 読者は、セット（集合）からメトリックスペース（計量付き空間）の中へのマップ（写像）たちのユニフォーム（一様）にコンバージェント（収束する）シーケンス（列）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( S\): \(\in \{\text{ 全てのセット（集合）たち }\}\)
\( M\): \(\in \{\text{ 全てのメトリックスペース（計量付き空間）たち }\}\)
\( J\): \(\subseteq \mathbb{N}\)
\(*s\): \(: J \to \{g: S \to M\}\)
//
コンディションたち:
\(\exists f: S \to M (\forall \epsilon \in \mathbb{R} \text{ で、以下を満たすもの、つまり、 } 0 \lt \epsilon (\exists N \in J (\forall j \in J \text{ で、以下を満たすもの、つまり、 } N \lt j (\forall p \in S (dist (s (j) (p), f (p)) \lt \epsilon)))))\)
//
2: 注
ポイントは、\(N\)は\(p\)に依存しないということ。
\(M\)はメトリックスペース（計量付き空間）である必要がある、一般的なトポロジカルスペース（空間）でなく、なぜなら、本概念のポイントは各\(f (p)\)周りに同サイズオープンボール（開球）を取ることであるが、"同サイズ"性は、一般的なトポロジカルスペース（空間）に対して意味をなさない。
