クオータニオンを捉え直す
クオータニオン(四元数)は複素数の拡張概念で、以下のように定義される。
複素数単位 と同じようなものを3つ作って、全ての単位の積が になるという定義である。これにより、各単位は反交換することも分かる。
これがクオータニオンのよく知られた定義であるが、別の定義を行うことも可能である。
と言ってもそんな奇抜な定義ではない。単に
から4つの式を作成し、それを定義とすればいいだけである。
このうち、以下の4つの式を定義としてみよう。
この定義を使うと他の性質は以下のように導出できる。
この定義は以下のようなものだと解釈できる。
- 複素数単位 と同じような単位をもう1つ増やす()
- と は互いに反交換する
- は線形独立である
こういう風に定義すると、定義上同列に扱われているのは と の2つになり、 が や と同じような性質を持つのは偶然という事になる。従来の定義が を同列で扱うことにこだわっているのとは対照的である。
このようにクオータニオンを捉え直すと、複素数単位のようなものを増やしていけば、いくらでも概念を拡張する事が出来る。
- となる異なる が 個存在する
- は互いに反交換する
- 個の異なる の 積を と定義する
- と定義する
- は線形独立
が実数で、 が複素数で、 がクオータニオンというわけだ。 からは新たな概念となる。( はオクトニオン(八元数)とは異なる性質を持つ。結合法則も捨ててないし、全ての単位が二乗して になるわけでもない。)
これにより定義される体を と呼んでみる。( は compleX の X のつもり。) は以下の性質を持つ。
-
- ( が偶数)
- ( が奇数)
-
- ( が偶数)
- ( が奇数)
-
- と を連結し、順序よく並ぶまで交換した時の最小の交換回数に を足した数が偶数なら で奇数なら (ややこしい・・・)
いくつかの単位は二乗して となるが、 以外のそれらは全て とも互いともそれらの実数倍とも異なる数である。それらの単位の逆元は、それ自身となる。
奇妙な性質のように思うだろうが、丁度、二乗して となるが ではない数であるグラスマン数と似たようなものだと考えると良い。それでもイメージの湧かない人は と似たようなものと考えたのでも良い。
さらに拡張するなら、 が 以外の値になってもいいし、 が反交換でなくても良い。
とか考えてみたものの、だから何だと言われても困る。だが、それがいい。