\(n \times n\)シンプレクティックマトリックス（行列）たちトポロジカルグループ（群）の定義
話題
About: グループ（群）
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
ターゲットコンテキスト
- 読者は、\(n \times n\)シンプレクティックマトリックス（行列）たちトポロジカルグループ（群）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( n\): \(\in \mathbb{N} \setminus \{0\}\)
\( M_n (\mathbb{H})^{\times}\): \(= \text{ } n \times n \text{ インバーティブル（可逆）クォータニオン（4元数）マトリックス（行列）たちトポロジカルグループ（群） }\)
\(*Sp (n)\): \(\subseteq M_n (\mathbb{H})^{\times}\)、サブグループ（部分群）およびトポロジカルサブスペース（部分空間）として
//
コンディションたち:
//
2: 注
\(Sp (n)\)は本当にあるトポロジカルグループ（群）である、任意のトポロジカルグループ（群）に対して、任意のサブグループ（部分群）でトポロジカルサブスペース（部分空間）としたものはあるトポロジカルグループ（群）であるという命題によって。
\(Sp (n)\)は\(M_n (\mathbb{H})\)のあるクローズドサブスペース（閉部分空間）であることを見よう。
\(c\)を、\(M_n (\mathbb{H})\)上のクォータニオン（4元数）コンジュゲーション（共役）トランスポジション（転置）としよう、それはコンティニュアス（連続）である、\(m \times n\)クォータニオン（4元数）マトリックス（行列）たちトポロジカルスペース（空間）の定義に対する"注"によって。
\(h: M_n (\mathbb{H}) \to M_n (\mathbb{H}), M \to M^* M\)を取ろう。
\(h = m \circ \phi\)、ここで、\(\phi: M_n (\mathbb{H}) \to M_n (\mathbb{H}) \times M_n (\mathbb{H}), M \mapsto (c (M), id (M))\)。
\(\phi\)はコンティニュアス（連続）である、なぜなら、\(c\)および\(id\)はコンティニュアス（連続）である、そして、任意のトポロジカルスペース（空間）から任意のプロダクトトポロジカルスペース（空間）の中への任意のマップ（写像）はコンティニュアス（連続）である、もしも、各コンポーネントマップ（写像）がコンティニュアス（連続）である場合、そしてその場合に限って、という命題が適用される。
\(m\)はコンティニュアス（連続）である、\(m \times n\)クォータニオン（4元数）マトリックス（行列）たちトポロジカルスペース（空間）の定義に対する"注"によって。
\(h\)はコンティニュアス（連続）である、任意のトポロジカルスペース（空間）たちの任意のサブスペース（部分空間）たちの間の任意のマップ（写像）たちで任意の対応するポイントたちでコンティニュアス（連続）であるものに対して、コンポジション（合成）は当該ポイントにおいてコンティニュアス（連続）であるという命題によって。
\(Sp (n) = h^{- 1} (\{I\})\)、しかし、\(\{I\} \subseteq M_n (\mathbb{H})\)はあるクローズドサブセット（閉部分集合）である、任意のハウスドルフトポロジカルスペース（空間）に対して、任意の1ポイントサブセット（部分集合）はクローズド（閉）であるという命題によって: \(M_n (\mathbb{H})\)はハウスドルフである、なぜなら、\(M_n (\mathbb{H})\)は\(\mathbb{R}^{2 (2 n)^2}\)のあるサブスペース（部分空間）、それはハウスドルフである、へホメオモーフィック（位相同形写像）である。
したがって、\(Sp (n)\)は\(M_n (\mathbb{H})\)上でクローズド（閉）である。
\(f' (Sp (n))\)は\(f' (M_n (\mathbb{H}))\)上でクローズド（閉）である、なぜなら、\(f'^`: M_{m \times n} (\mathbb{H}) \to f' (M_{m \times n} (\mathbb{H}))\)はあるホメオモーフィズム（位相同形写像）である。
\(f' (M_n (\mathbb{H}))\)は\(M_{2 n} (\mathbb{C})\)上でクローズド（閉）である、\(m \times n\)クォータニオン（4元数）マトリックス（行列）たちトポロジカルスペース（空間）の定義に対する"注"によって、から、\(f' (Sp (n))\)は\(M_{2 n} (\mathbb{C})\)上でクローズド（閉）である、任意のクローズド（閉）トポロジカルスペース（空間）上の任意のクローズドセット（閉集合）はベーススペース（空間）上でクローズド（閉）であるという命題によって。
カノニカル（正典）ホメオモーフィズム（位相同形写像）\(h': M_{2 n} (\mathbb{C}) \to \mathbb{R}^{2 (2 n)^2}\)があるところ、\(h' (f' (Sp (n))) \subseteq \mathbb{R}^{2 (2 n)^2}\)はバウンデッド（有界）である、任意のシンプレクティックマトリックス（行列）の各コンポーネントは絶対値\(1\)以下を持つという命題によって、そして、それはクローズド（閉）である、したがって、\(h' (f' (Sp (n)))\)はコンパクトである、任意のユークリディアンメトリック（計量付き）トポロジカルスペース（空間）の任意のサブセット（部分集合）はコンパクトである、もしも、当該サブセット（部分集合）はクローズド（閉）でバウンデッド（有界）である場合、そしてその場合に限って、（ハイネ-ボレル定理）、という命題によって。
したがって、\(f' (Sp (n)) = {h'}^{- 1} h' (f' (Sp (n))) \subseteq M_{2 n} (\mathbb{C})\)はコンパクトである、なぜなら、\(h'\)は、あるホメオモーフィズム（位相同形写像）である、そして、\(f' (M_n (\mathbb{H}))\)上でコンパクトである、任意のトポロジカルスペース（空間）に対して、当該スペース（空間）の任意のコンパクトサブセット（部分集合）で任意のサブスペース（部分空間）内に包含されているものは当該サブスペース（部分空間）上でコンパクトであるという命題によって。
したがって、\(Sp (n) = {f'^`}^{- 1} (f' (Sp (n)))\)は\(M_{n} (\mathbb{H})\)上でコンパクトである、なぜなら、\(f'^`\)はあるホメオモーフィズム（位相同形写像）である。
