343: n次元クォータニオン(4元数)ジェネラルリニア(線形)グループ(群)は、非ゼロデターミナント(行列式)対応する2n x 2nコンプレックス(複素数)マトリックス(行列)たちのセット(集合)へ'グループ(群)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィック(同形写像)であり、後者によって代表することができる
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
n次元クォータニオン(4元数)ジェネラルリニア(線形)グループ(群)は、非ゼロデターミナント(行列式)対応する2n x 2nコンプレックス(複素数)マトリックス(行列)たちのセット(集合)へ'グループ(群)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィック(同形写像)であり、後者によって代表することができることの記述/証明
話題
About:
グループ(群)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、n次元クォータニオン(4元数)ジェネラルリニア(線形)グループ(群)は、非ゼロデターミナント(行列式)対応する2n x 2nコンプレックス(複素数)マトリックス(行列)たちのセット(集合)へ'グループ(群)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィック(同形写像)であり、後者によって代表することができる、それが意味するのは、前者の各要素のマップ(写像)は後者の対応する要素のマップ(写像)で代表することができる、という命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
第1に、いくつかのシンボルたちを定義しよう。は全クォータニオン(4元数)たちのセット(集合)である。はn次元クォータニオン(4元数)ジェネラルリニア(線形)グループ(群)である。は上のn次元ベクトルたちスペース(空間)でそれにが作用するものである。は全n x nクォータニオン(4元数)マトリックス(行列)たちのセット(集合)である。は全インバーティブル(可逆)n x nクォータニオン(4元数)マトリックス(行列)たちのセット(集合)である。は'リング(環)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィズム(同形写像)で、全n x nクォータニオン(4元数)マトリックス(行列)たちのセット(集合)は対応する2n x 2nコンプレックス(複素数)マトリックス(行列)たち全てのセット(集合)へ'リング(環)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィック(同形写像)である、全クォータニオン(4元数)マトリックス(行列)たちのセット(集合)と対応する2-x-2コンプレックス(複素数)マトリックス(行列)たち全てのセット(集合)の間の'リング(環)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィズム(同形写像)を介して、という命題で定義されたもの、ここで、はそこで定義されている。は内の非ゼロデターミナント(行列式)マトリックス(行列)たちのセット(集合)である。は'ベクトルスペース(空間)たち - リニア(線形)モーフィズム(射)たち)'アイソモーフィズム(同形写像)である、に対してあるベーシス(基底)が選ばれたときの。は'グループ(群)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィズム(同形写像)、、選ばれたベーシス(基底)に対応して。はからへのマップ(写像)で各要素の各コンポーネントをによって置き換えるものである、ここで、は上記に言及された命題内で定義された全クォータニオン(4元数)マトリックス(行列)たちのセット(集合)と対応する2-x-2コンプレックス(複素数)マトリックス(行列)たち全てのセット(集合)の間の'リング(環)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィズム(同形写像)である。
はへ'グループ(群)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィック(同形写像)である、によって。はへ'グループ(群)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィック(同形写像)である、によって。さらに、任意のおよび任意のに対して、。
2: 証明
は妥当な定義である、それが意味するのは、はをの中へマップするということ、それが意味するのは、任意のインバーティブル(可逆)に対して、のデターミナント(行列式)は非ゼロであること、ことを証明しよう。。、なぜなら、はリング(環)たちホモモーフィック(準同形写像)である。。したがって、。
はインジェクティブ(単射)である、なぜなら、はインジェクティブ(単射)であるから。
がサージェクティブ(全射)であることを証明する前に、であることを証明しよう、なぜなら、それがサージェクティブ(全射)性を証明するのに使われるから。それは、に等しい。の中のi番目2 x 2コンプレックス(複素数)マトリックス(行列)はである、なぜなら、はリング(環)たちホモモーフィック(準同形写像)である、それは内のi番目2 x 2コンプレックス(複素数)マトリックス(行列)である、任意の同一サイズブロックたちから出来ている任意のマトリックス(行列)の任意のマルチプリカブル(積を取ることができる)(前者マトリックス(行列)のブロックたちと)同一サイズブロックたちから出来ている任意のマトリックス(行列)によるマルチプリケーション(積)はブロックたち毎であるという命題によって。したがって、。
加えて、任意のおよびに対して、、なぜなら、のi番目2 x 2コンプレックス(複素数)マトリックス(行列)はであり、のi番目の2 x 2コンプレックス(複素数)マトリックス(行列)はである、任意の同一サイズブロックたちから出来ている任意のマトリックス(行列)の任意のマルチプリカブル(積を取ることができる)(前者マトリックス(行列)のブロックたちと)同一サイズブロックたちから出来ている任意のマトリックス(行列)によるマルチプリケーション(積)はブロックたち毎であるという命題およびは'リング(環)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィズム(同形写像)であるという事実によって。
はサージェクティブ(全射)であることを証明しよう。任意のに対して、デターミナント(行列式)は非ゼロであるから、インバース(逆)があり、はからへバイジェクティブ(全単射)である。問題は、はからへバイジェクティブ(全単射)であるか否かである。インジェクティブ(単射)性については、以下を満たす任意の、つまり、、に対して、?。。したがって、。サージェクティブ(全射性)については、任意のに対して、以下を満たす、つまり、、があるか?以下を満たすベクトル、つまり、、ここで、は第1列へのプロジェクション(射影)、がある。以下を満たすベクトル、つまり、、がある。すると、、なぜなら、はをの中へマップするように保証されているので、は以外の何物でもあり得ない、なぜなら、の第1列はから決定され、第2列は第1列から決定される。すると、、なぜなら、もしも、である場合、、矛盾。
したがって、はバイジェクション(全単射)である、そして、インバース(逆)がある。
はマルチプリケーション(乗法)に関してホモモーフィック(準同形写像)である、なぜなら、がそうである。
はインバース(逆)に関してホモモーフィック(準同形写像)であるか?。したがって、、したがって、はい。
したがって、はグループ(群)たちホモモーフィズム(準同形写像)である。
はグループ(群)たちホモモーフィズム(準同形写像)であるか?
はマルチプリケーション(乗法)に関してホモモーフィック(準同形写像)である、なぜなら、がそうであり、はのリストリクション(限定)であるから。
はインバース(逆)に関してホモモーフィック(準同形写像)であるか?。したがって、、したがって、はい。
したがって、は'グループ(群)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィック(同形写像)である。
およびが'グループ(群)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィック(同形写像)たちであるから、は'グループ(群)たち - ホモモーフィズム(準同形写像)モーフィズム(射)たち'アイソモーフィック(同形写像)である。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>