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