\(n \times n\)シンプレクティックグループ（群）の定義
話題
About: グループ（群）
About: マトリックス（行列）たちスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、クォータニオン（4元数）たちディビジョン（除算持ち）アソシアティブ（結合的）アルジェブラ（多元環）の定義を知っている。
- 読者は、%リング（環）名%マトリックス（行列）たちスペース（空間）の定義を知っている。
- 読者は、グループ（群）の定義を知っている。
ターゲットコンテキスト
- 読者は、\(n \times n\)シンプレクティックグループ（群）の定義を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\( \mathbb{H}\): \(= \text{ クォータニオン（4元数）たちディビジョン（除算持ち）アソシアティブ（結合的）アルジェブラ（多元環） }\)
\( \{M\}\): \(= \text{ } \mathbb{H} \text{ マトリックス（行列）たちスペース（空間） }\)
\( n\): \(\in \mathbb{N} \setminus \{0\}\)
\(*Sp (n)\): \(= \{M \in \{M\} \vert M \in \{\text{ 全ての } n \times n \text{ マトリックス（行列）たちでで、以下を満たすものたち、つまり、 } M^* = M^{- 1} \}\}\)、ここで、\({M^*}^j_l = \overline{M^l_j}\)
//
コンディションたち:
//
2: 注
\(Sp (n)\)は本当にあるグループ（群）であることを見よう。
\(M_1, M_2, M_3 \in Sp (n)\)を任意のものたちとしよう。
\((M_1 M_2)^* = {M_2}^* {M_1}^*\)、なぜなら、\({(M_1 M_2)^*}^j_l = \overline{(M_1 M_2)^l_j} = \overline{{M_1}^l_m {M_2}^m_j} = \overline{{M_2}^m_j} \overline{{M_1}^l_m}\)、それは、クォータニオン（4元数）たちディビジョン（除算持ち）アソシアティブ（結合的）アルジェブラ（多元環）の定義内に記述されている、\(= {{M_2}^*}^j_m {{M_1}^*}^m_l = ({M_2}^* {M_1}^*)^j_l\)。
\({{M_1}^*}^* = M_1\)、なぜなら、\({{{M_1}^*}^*}^j_l = \overline{{{M_1}^*}^l_j} = \overline{\overline{{M_1}^j_l}} = {M_1}^j_l\)。
\(M_1 M_2 \in Sp (n)\)、なぜなら、\((M_1 M_2)^* = {M_2}^* {M_1}^* = {M_2}^{- 1} {M_1}^{- 1}\)、したがって、\((M_1 M_2)^* M_1 M_2 = {M_2}^{- 1} {M_1}^{- 1} M_1 M_2 = {M_2}^{- 1} I M_2 = {M_2}^{- 1} M_2 = I\)および\(M_1 M_2 (M_1 M_2)^* = M_1 M_2 {M_2}^{- 1} {M_1}^{- 1} = M_1 I {M_1}^{- 1} = M_1 {M_1}^{- 1} = I\)、したがって、\((M_1 M_2)^* = (M_1 M_2)^{- 1}\)。
1) \((M_1 \bullet M_2) \bullet M_3 = M_1 \bullet (M_2 \bullet M_3)\): 任意のリング（環）に対して、当該リング（環）上方の任意のマトリックス（行列）たちのマルチプリケーション（乗法）たちはアソシアティブ（結合的）であるという命題によって。
2) \(i \in Sp (n)\)（'アイデンティティ要素'と呼ばれる）で、\(i \bullet M_1 = M_1 \bullet i = M_1\): アイデンティティマトリックス（単位行列）\(I\)は\(Sp (n)\)内にある、なぜなら、\(I^* = I = I^{-1}\)、そして、\(I M_1 = M_1 I = M_1\)。
3) \({M_1}^{- 1} \in Sp (n)\)（'\(M_1\)のインバース（逆）要素'と呼ばれる）で、\({M_1}^{- 1} \bullet M_1 = M_1 \bullet {M_1}^{- 1} = I\): \({M_1}^* = {M_1}^{- 1} \in Sp (n)\)、なぜなら、\({{M_1}^*}^* = M_1\)および\({M_1}^* M_1 = I = M_1 {M_1}^*\)、したがって、\({{M_1}^*}^{- 1} = M_1 = {{M_1}^*}^*\)。
したがって、\(Sp (n)\)はあるグループ（群）である。
