グループ（群）でトポロジーを持ちコンティニュアス（連続）オペレーションたちを持つもの（特に、トポロジカルグループ（群））からノルム付きベクトルたちスペース（空間）でインデュースト（誘導された）トポロジーを持つものの中へのユニフォームにコンティニュアス（一様連続）なマップ（写像）の定義
話題
About: グループ（群）
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、グループ（群）でトポロジーを持ちコンティニュアス（連続）オペレーションたちを持つもの（特に、トポロジカルグループ（群））からノルム付きベクトルたちスペース（空間）でインデュースト（誘導された）トポロジーを持つものの中への左ユニフォームにコンティニュアス（一様連続）なマップ（写像）の定義を知っている。
- 読者は、グループ（群）でトポロジーを持ちコンティニュアス（連続）オペレーションたちを持つもの（特に、トポロジカルグループ（群））からノルム付きベクトルたちスペース（空間）でインデュースト（誘導された）トポロジーを持つものの中への右ユニフォームにコンティニュアス（一様連続）なマップ（写像）の定義を知っている。
ターゲットコンテキスト
- 読者は、グループ（群）でトポロジーを持ちコンティニュアス（連続）オペレーションたちを持つもの（特に、トポロジカルグループ（群））からノルム付きベクトルたちスペース（空間）でインデュースト（誘導された）トポロジーを持つものの中へのユニフォームにコンティニュアス（一様連続）なマップ（写像）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( G\): \(\in \{\text{ 全てのグループ（群）たち }\}\)で、任意のトポロジーを持ち、グループ（群）オペレーションたちがコンティニュアス（連続）であるもの
\( V\): \(\in \{\text{ 全てのノルム付きベクトルたちスペース（空間）たち }\}\)で、当該ノルムによってインデュースト（誘導された）メトリック（計量）によってインデュースト（誘導された）トポロジーを持つもの
\(*f\): \(: G \to V\)
//
コンディションたち:
\(f \in \{\text{ 全ての左ユニフォームにコンティニュアス（一様連続）マップ（写像）たち }\} \cap \{\text{ 全ての右ユニフォームにコンティニュアス（一様連続）マップ（写像）たち }\}\)
//
