〇Wathematicaというサークルで行われているアドベントカレンダー企画(アドベントするものは無し)の一環として書いた記事です。
はじめに
「四元数」というものを聞いたことがありますか?物理やプログラミングなどへの応用もあるようですが、 今回は四元数自体の構造と各成分が四元数であるような行列について書きました。四元数は複素数の拡張のようなもので、加減乗除ができる構造をもちますが積についての交換法則が成り立ちません。そのため、扱う際に注意が必要となります。この記事の目標は、交換法則が成り立たないことによる不便さを感じて交換法則へのありがたさを実感すること・それ以外の性質(特に結合法則)が生きてくること・不便さの解消、などです。
*がついた項目は少しの群論やB1後期に扱うような線形代数の内容を前提としています。
四元数の定義
四元数の定義からはじめます。 まず集合としては以下のようなものを考えます。
これは次の実ベクトル空間とみることができます。ここで、 について以下の条件:
の下で、分配法則が成り立つように積を定めます(具体的な計算については次節で)。このようにして積を定義すると、結合法則が成り立つことが分かります(証明略)。しかし、交換法則については成立しません。実際、定義より明らかに
となります。
具体的な計算
例えば、次のようにして積を計算します。
基本的な性質
演算構造
先ほど述べたとおり、もともとの線形空間としての和と上で定めた積について、結合法則・分配法則が成立して環*1になります。また、に対して、の共役を
と定めます。 すると、頑張って計算することで が得られます。のときこの値は常に正なので、複素数と同様に絶対値が定義でき、また
により積についての逆元が存在します。よって、は斜体(加除環)*2になります。
基本性質
四元数は積について交換法則が成り立たないために様々な不都合が生じます。例えば、について、は成り立ちません。 その代わりに以下が成り立ちます。
- について、
- について、
これらは今後よく使います。ここでは証明は省略します(大変なので)。
四元数上のベクトル空間
スカラー倍は右から
実数・複素数の時と同様に、に対してベクトル空間としての構造を入れることを考えます。和は各成分ごとの和で定め、スカラー倍については後で行列を定義することで分かるある理由があって右からかけることを考えます。すなわち、
としてスカラー倍を定めます。一般のベクトル空間についても同様にして定義します。
四元数のベクトル空間上の内積*
複素ベクトル空間におけるエルミート内積とは、写像であって条件:
- 第一成分について共役線型
- 第二成分について線型
- 共役対称
- 正定値
を満たすもののことでした。最も基本的なものとして、における標準エルミート内積が以下のように与えられます:
これは実際に内積の定義を満たすことが容易にわかります。これと同様にして、四元数上のベクトル空間にも四元内積を定めます。まず、定義としては複素数のときと同様の条件1 ~ 4を満たす写像とします。ただし、共役は四元数上でとります。また、における標準四元内積も同様にして定めます。 すると同様にこれが内積の定義を満たすことが確認できるのですが、この確認には少し注意が必要です。ここでは3を確認します。
四元数の行列
行列と線型写像
実数と複素数のときと同様に、各成分が四元数の行列(四元行列)を考えます。簡単のため、以下では正方行列のみを考えます。ここで、行列の積は実数や複素数のときと同じように定めてスカラー倍については先ほどと同様に右から作用させます。やのときと同様に、行列は線型写像を与えるものであってほしいです。そこで、これを確認してみます。和を保つことは複素数のときと同様なのでスカラー倍を保つことを確認します。を次正方行列、について、
となるので、スカラー倍を保つことが分かります。(結合法則えらい!!!)ここで、上のベクトル空間に対するスカラー倍を右から作用させたことが生きています。行列は左からかけたいため、それと干渉しないようにスカラー倍は右から作用させたのです。また、四元行列に対する転置は実行列・複素行列と同様に、共役は各成分について共役をとった行列、というように定めます。
行列のなす群*
実数や複素数成分の正則行列全体は、行列の積についてという群をなすのでした。これと同様にしてを「各成分が四元数の正則行列全体」と定義します。注意点として、の非可換性から行列式による特徴づけ(行列式が非零と正則性が同値)はうまくできません。(その代わりにどうするかについては参考文献[3]に載っています。)
また、実行列において標準内積を保つ行列(直交行列)全体のなす直交群・複素行列において標準エルミート内積を保つ行列(ユニタリ行列)全体のなすユニタリ群があったのと同様に、四元行列において標準四元内積を保つ行列全体にも群構造が定まります。これをシンプレクティック群といい、と表します。次正方四元行列が標準四元内積を保つとは、
が成り立つことなので、
となります。*3 よって、
と表せます。これが群をなすことはと同様にして確認できます。これは、よく知られている実シンプレクティック群・複素シンプレクティック群とは別物ですが、後者の複素シンプレクティック群とは関係があります。それについては次の章で述べます。
四元数の複素数表示
表示方法の設定
今までみてきたように、四元数における積は非可換であるため非常に扱いづらいです。そこで、複素数を用いて表すことを考えます。四元数の演算法則に注意すると、は と表せます。ここで、であることから、四元数の各元は と表すことができると分かります。この表示方法をみて、 というように表したほうが分かりやすいじゃないか!と思った方がいるかと思います。(自分もそう思いました)しかし、これには理由があります。それは、「上のベクトル空間としてみたときにがと自然に同型になってほしいから」です。ここでいう「自然な同型」とは、複素数表示したときの二つの元を対応させる写像によって同型になる、という意味です。まず、先に述べた良い定義で考えてみます。からへの写像を、と定めます。これは全単射になります(証明略)。また、線形写像になっていることが確認できます。実際、
となっています。(スカラー倍は右から作用させていることに注意)一方、だめな定義の方で考えると、
となってしまいます。
四元行列の複素数表示*
次に、四元行列についても複素数表示を考えてみましょう。便利のため、次正方複素行列全体を、次正方四元行列全体をと表します。各は、を用いてと一意的に表せることに注意して、写像を、
と定めます。すると、単純な計算によりこれが単射環準同型を与えることが分かります。*4そこで、に対してをの複素数表示といいます。一般に、「環準同型の乗法群への制限は乗法群から乗法群への群準同型を与える」*5ことが示せるので、のへの制限を考えることによって、
という単射群準同型が得られます。
シンプレクティック群再考*
最後に、上で得られた単射群準同型によるシンプレクティック群の像を考えてみましょう。その前に、まずは全体の像を考えてみます。頑張って計算することにより、
として、
であることが分かります。*6への制限による像も同じように記述できます。同じように、頑張って計算することにより、
と分かります。*7ここで、一つ目の条件式に対して両辺に左からをかけることにより、二つ目の条件式を用いることで、
さらに二つ目の条件式を用いることで右辺は、
と変形できます。以上より、
と表せます。複素シンプレクティック群が、
と定義されていたこと、ユニタリ群が、
と表せたことを思い出すと、
が得られます。これが四元数によるシンプレクティック群と複素シンプレクティック群の関係です。(実シンプレクティック群・複素シンプレクティック群については、「交代非退化双線形形式を保存する変換」として特徴づけることができます。このあたりの話についてもいつか書きたいと思っています。)
おわりに
かなり雑でよくわからない記事になってしまいました。可換性がなくなると、いつも当たり前にできていることが成り立たなくなってしまうことがあります。四元数を扱っていると、可換性のありがたさを感じます。また、それを解消するための工夫(右からの作用・複素数表示)なども面白いと思います。はじめに述べたように、四元数には様々な応用があるようなのでそれについても勉強してみたいです。長い文章となってしまいましたが、読んでいただきありがとうございました!!
参考文献
[1] William Fulton, Joe Harris "Representation Theory A First Course" この記事の内容は、この本でゼミをしているときに分からなかったことを他の本で調べて自分でまとめたものがもとになっています。
[2] Lowing W. Tu "トゥー多様体" この本の付録に四元数の話が載っています。
[3] 井ノ口順一 "はじめて学ぶリー群" とても分かりやすい。