\(n \times n\)シンプレクティックマトリックス（行列）たちトポロジカルグループ（群）右アクションの定義
話題
About: グループ（群）
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
ターゲットコンテキスト
- 読者は、\(n \times n\)シンプレクティックマトリックス（行列）たちトポロジカルグループ（群）右アクションの定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( \mathbb{H}^n\): \(= \text{ 当該クォータニオン（4元数）ユークリディアントポロジカルスペース（空間） }\)で、行たちのセット（集合）とみなしたもの
\( M_n (\mathbb{H})^{\times}\): \(= \text{ } n \times n \text{ インバーティブル（可逆）クォータニオン（4元数）マトリックス（行列）たちトポロジカルグループ（群） }\)
\( f\): \(: \mathbb{H}^n \times M_n (\mathbb{H})^{\times} \to \mathbb{H}^n, (t, M) \mapsto t M\), \(= \text{ } n \times n \text{ インバーティブル（可逆）クォータニオン（4元数）マトリックス（行列）たちトポロジカルグループ（群）右アクション }\)
\( Sp (n)\): \(= \text{ } n \times n \text{ シンプレクティックマトリックス（行列）たちトポロジカルグループ（群） }\)
\(*f^`\): \(: \mathbb{H}^n \times Sp (n) \to \mathbb{H}^n\)、\(f\)の当該ドメイン（定義域）リストリクション（制限）として
//
コンディションたち:
//
2: 注
\(f^`\)は本当にあるトポロジカルグループ（群）右アクションである、なぜなら、\(Sp (n)\)は\(M_n (\mathbb{H})^{\times}\)のあるサブグループ（部分群）トポロジカルサブスペース（部分空間）である、そして、任意のトポロジカルグループ（群）左または右アクションに対して、当該アクションの任意のサブグループ（部分群）トポロジカルサブスペース（部分空間）および任意のトポロジカルサブスペース（部分空間）に関する任意の妥当なリストリクション（制限）はあるトポロジカルグループ（群）左または右アクションであるという命題が適用される。
\(f^`\)はトランジティブ（推移的）ではない、なぜなら、\(Sp (n) (0) = {0} \subset \mathbb{H}^n\)、例えば。
\(f^`\)はフリーではない、なぜなら、\(Sp (n)_0 = Sp (n) \neq \{1\}\)、例えば。
