このページは[url=https://www.geogebra.org/m/ddm5798j]マス旅[/url]の一部です。[br][br]これまで、4元数を計算方法と利用方法という視点で見てきました。[br][br]今回は4元数がそもそも数の拡張の流れで生まれており、なおも古びない数学探求の源泉でもあるという面をさぐってみよう。[br][br][b][size=150]＜4元数以前＞[br][/size][/b][br][b]実数R[/b]のよいところは有理数でできなかった[b][color=#0000ff]数の連続性と無限性[/color][/b]を敵に入れたことだ。[br]たとえば、四則計算だけでなく、[b][color=#0000ff]指数・対数計算により積商計算を和差計算に置き換える[/color][/b]ことができた。[b]二項定理に連続性と無限性を絡める[/b]ことで、関数の[b][color=#0000ff]テーラー展開[/color][/b]につながった。[br]また、三角関数を定義することによって、関数の[b][color=#0000ff]フーリエ展開[/color][/b]にもつながったね。[br][br][b]複素数C[/b]のよいところは、[b][color=#0000ff]代数方程式が解ける、解が表示できる[/color][/b]ことだ。[br]さらに、[b]オイラー等式[/b]によって、指数関数が三角関数と同じ周期関数として行き来できるようになったことが大きい。それだけではない。実関数を[b][color=#0000ff]解析接続[/color][/b]することで、次元を上げることで局所的な正則をつなぐというトリッキーな発想や、[b][color=#0000ff]リーマン面やリーマン球面による空間の対応性[/color][/b]の技によって、特異点や困難を除去することができた。[br][br][b]4元数H[/b]のよいところは、3次元よりも次元が上がったことで空間の３つの軸から自由になり、[br][b][color=#0000ff]回転制御や回転の連続性[/color][/b]に破綻がなくなったことだ。[br]でも、4元数のよいところは、CG、航空工学のような[b]特別な場面だけのもの[/b]なのだろうか。[br]4元数は可換性こそ手放したけれども、[br][b][color=#0000ff]リー群、リー環[/color][/b]という[b]微分可能な多様体での空間分類や変換の分析[/b]という、[br]数学の王道で活躍するツールでもあったのだ。そこのところを見てみよう。

[b][size=150]＜斜体としての4元数＞[/size][/b][br][b]今後、実数をR,複素数をC、4元数をH、8元数をO[/b]とかきます。[br][br]フルヴィッツの定理によれば、[br][b][color=#0000ff]ノルムの乗法性 |xy|=|x||y|[/color] が成り立つ実数上の正規化分配代数[/b]（ノルム付き除算代数）は、[br][b]R,C,H,O の4種類[/b]しか存在しません。[br][br]8元数Oは7次元、8次元の空間の分類に役立つものといわれています。[br]Hは4次元、3次元に役立つので、その点身近ですね。[br]R,Cは交換法則が成り立つ体なので、ふつうの体ですが、Hは交換法則は成り立ちません。[br]そこに気をつければ、数としていろんなことができるはずだね。[br][br]Hは基底ベクトルがi,j,kの３つあり、[br]基底の積にi^2=j^2=k^2=-1, ij=-ji=k,jk=-kj=i,ki=-ik=jの関係があった。[br]この基底の他に実数基底１をとることで、1,i,j,kの４つの基底ごとの係数を並べる表示(a,b,c,d)や、[br]1次結合q=a+bi+cj+dkやq=qr+qv（実部＋虚部）などの表現があった。[br]qの共役q*=qr-qv=a-bi-cj-dk=(a,-b,-c,-d)のように虚部の符号が反転した。[br]また、[br][b]q=a+bi+cj+dk=[color=#0000ff](a+bi)+(c+di)j=r+sj(r,sは複素数）[/color][br][/b]というように、[br][b]複素数r,sを係数とする「虚数単位jの複素数」[/b]という書き方もできるね。[br][br]qの絶対値は複素数と同様に、|q|=√qq*で定義する。[br]q=0のとき、a,b,c,dはすべて実数なので、[b]0=(0,0,0,0)[/b]となる。[br]では１はどうだろうか、a=1で他はゼロにして、[b]1=(1,0,0,0)[/b]でいいね。[br][b]|x|=1[/b]についてはどうだろう。[br]Rの±1が２つだけだったのに対して、Cでは基底の1,iとそのー1倍はもちろんのこと、[br]|z|=1は複素平面の単位円周上の点だから[b]無数[/b]にある。[br]ということは、Hで|x|=1と言ったら、基底1,i,j,kとそのー1倍はもちろんのこと、[br]4次元空間の単位球面上の点だから[b]無数[/b]にあるでしょう。[br][br]さて、Hでも[b]指数関数と対数関数[/b]が定義できます。[br]そのためには、要素表示を簡略化する必要があるね。[br][b]単位純四元数 u[/b]=v /(|v |) （ただし u^2=-1）を定義すると、[br]q は複素数と同じ形式 q=a+|v |[b]u[/b] で表せます。[br]すると、[br]指数関数 exp(q)[br]テイラー展開 exp(x)=∑_(n=0)^∞x^n/n! に q=a+θ[b]u[/b] （θ=|v |）を代入すると、[br]u^2=-1 の周期性により以下が導かれます。[br][color=#0000ff]exp(q)=e^a (cosθ+[b]u[/b] sinθ )[/color][br]これは、オイラーの公式の完全な拡張です。[br]対数関数 ln(q)[br]指数関数の逆として、極形式 q=|q|e^uθ （ここで θ=arccos⁡(a/|q|)）を用いることで[br]対数関数が求まります。[color=#0000ff]ln(q)=ln| q|+[b]u[/b]θ[/color][br][br]また、要素を並べるときに、[b]基底方式ではなく、行列表示[/b]というものでも、[br]機能的には同一の体ができます。[br]Rの要素z,yを使ったCの元[b]x+yi[/b]に行列[b]{{x,y},{-y,x}}[/b]を対応してみると、[br]このMJ(2,R)は[b]Cと同一視[/b]できることがわかる。[br]同じように、[br]Cの要素a,bを使ったHの元[b]a+bj[/b]に行列[b][color=#0000ff]{{a,b},{-b*,a*}}[/color][/b]を対応させてみると、[br]このMJ(2,C)は[b]Hと同一視[/b]できることがわかるね。

[b][size=150]＜一般線形リー群＞[/size][/b][br]さて、[br]ここまで準備すれば、[br]リー群という位相群を扱うための数体Kとして、R,CだけでなくHも使うことができるようになるね。[br][br][color=#0000ff][b]数体K＝R,C,H[/b][/color]のとき、[b]積の結合、１、逆元の存在がある行列M(n,K)を一般線形群GL(n,K)[/b]という。[br][br]群Gが位相空間で、積写像G×G→Gと、逆写像G→Gがともに連続のときに、Gを位相群という。[br]位相群の中でも、Gが無限回の可微分多様体で、積写像と逆写像も無限回可微分であるときに、GをLie群という。[br][br]どういうことでしょか？[br]Lieというのは人名です。リーさんのアイディアは、各点の変化の記述である微分方程式からもとの曲線を積分によって求めるように、図形の各点の接点のベクトルを微小に変化させる変換の要素を集めた連続群によって、それをつないでいくことで曲線を求めるという発想です。[br]近代の微分方程式とはちがい、図形は多様体、つまり、多要素の元を点としています。この点を連続的に動かすことが、点どうしの演算につながるのです。だから、行列だろうと、4元数だろうと、多要素の元だから、点どうしの積と逆算ができれば、それがGLとなり、連続群、位相群ならばLie群になるということですね。[br][br]結論、[b]正則な行列というだけの一般線形群GL(n,K)がリー群だ[/b]ということです。[br][b]リー群はごく普通の行儀のよい行列の別名ということだね。[/b][br][br]だから、一般線形群GL(n,K)に条件をつけた次のグループもリー群になるのです。[br]Oは原点を動かさない回転群で、SOは裏返しのない回転群です。[br][br][b]SL(n, C)[/b]={A in M(n, C) | det A=1 }[b] 複素特殊線型群[/b][br][b]SU(n)[/b]={A in M(n, C) ｜A*A=E, det A=1 } [b]特殊 unitary群[/b][br][b]SO(n)[/b]={A in M(n, [b]R[/b]) | tAA=E, det A=1 } [b]特殊直交群（回転群）[/b][br][b]SO(n,C)[/b]={A in M(n, [b]C[/b]) | tAA=E, det A=1 } 複素特殊直交群[br][br]でも、自動的にリー群になることはわかったけれど、リー群の性質がわからないと[br]だからどうしたということになる。[br][br][b][size=150]＜リー の理論＞[br][br][/size][/b]「リー群」の性質は「リー環」の性質から明らかになります。[br]さっきのリーさんの発想を思い出してください。「図形の各点の接点のベクトルを微小に変化させる変換の要素を集めた連続群によって、それをつないでいくことで曲線を求めるという」発想です。[br]この接ベクトルという代数的なあつまりが「リー環」です。そして、微小変換の連続群、解析的なあつまりというのがリー群です。微分方程式を解くように、「リー環」の情報を使って、微分に対応する接ベクトル情報を微小変化というつなげ方「リー群」の情報に置き換えて、もとの「リー群」自体、曲線情報を調べることができるはずですね。[br][br]リー群は無限回微分可能、なめらかな位相群、つまり、ぐにゃぐにゃ図形ですね。[br][br]それに対して「リー環」は代数的な空間です。[br]＃リー環[br]K=R,C とする有限次元Kベクトル空間 gの任意の２つの元X,Y に対して gの元［X,Y] が一意に定まり，[br]次の 4条件[br][b](1) [X+Y,Z]=[X,Z]+[Y,Z][br](2) [λX,Y］＝ λ[X,Y][br](3) [X,Y］＝ -[Y,X][br](4) [X,[Y,Z]]+[Y,[Z,X]]+{Z,[X,Y]]=0[br][/b]が成り立つとき空間gを[b]K-リー環[/b]という。[br]（１）（２）からリー環の線形がわかりますね。リー環は、まっすぐな空間、接空間です。[br][br]ぐにゃるリー群に対して、平らなリー環をうまく対応できたらいいですよね。[br]そこでexp写像（マッピング）が登場します。[br][br]K=R,C,HとするときのM(n,K)の行列Xに対する指数行列M(n,K)を[br][b]expX=E+X+X^2/2!+X^3/3!+.....+X^m/m!+...[/b].とする。[br]|Xl=x とおくと |X^m|≦ |X|^m[br]|exp X|≦√n-1+e^xとなり、絶対収束するので、[br][b]X,YがXY=YXなら、exp(X+Y)=expXexpY,expX-1=exp(-X)[/b]という指数法則が成り立ちます。[br]また、expマッピングM(n,K)→GL(n,K)は[b]連続[/b]であり、[b]exp(P^{-1}XP)=P^{-1}(expX)P[/b][br][br][b][color=#0000ff]Gを線型 リー 群，gをその リー環とするとき[br]Gの単位元 E の近傍 Uが存在し， Uの任意の元Aはｇの元を使ってA=expX [br][/color]と表わされる．[br][/b][br]これが、リー 環と局所的に見た リー 群が１対１ に対応するというの 有名なリーの理論です。[br][br]まっすぐで代数計算できる足場である [b]「リー環（接空間 g）」[/b] の元 X を「指数マップ exp X」に放り込むことで、曲がった広大な解析的な [b]「リー群（多様体 G）」[/b] の単位元Eの近傍の空間構造が完璧に映し出されるのです。まあ、[b]「リー環」という地球の表面[/b]で[b]滑らかに動きまわる人間たちの仲間が「リー群」[br][/b]というイメージですね。私たち人間の動きをつないでいけば、地球の表面を覆えますからね。[br][br]また、ベクトル空間としてみているのだから、局所的に次元が等しくなるということです。[br]dimG = dim g[br]素晴らしい構造です。[br]圏論ビルでやったようなクロスオーバーをしたら、代数と解析が表裏一体になったということですね。[br]線形代数、群論、微分が圏論的につながった結果ともいえるでしょう。[br]現代数学の特徴を見るようです。[br][br]ということは、リー群、リー環は底なし沼のように、巨大なクロスオーバー宇宙を作りだすのですね。[br]とても1ページで語りつくせない広大さがあるということです。[br][br]運動群を分類したり、次元ごとの図形を分類したりと、とても幅広く研究が進んでいるようです。[br]また、リー群の次元を無限にすることで、量子力学・素粒子の研究にも役立っていると聞きます。

4元数を知ることで、[br]リー群とリー環の関係性（リーの理論）に気づくことができたね。[br][br]そこで、あえて4元数という素材にこだわらすに「リーの理論」を[br]もっと簡単な例を使って視覚化してみよう。[br][br]課題：リーの理論を視覚化しよう。[br][br]タイトルは「リー環からリー群にexpでマップする」[br]t=slider(-2pi, 2pi,0.01) #パラメータｔをアニメーションします。[br]SO2:Circle((0,0),1) #リー群（微分できる多様体、解析的です）色は赤[br]E(1,0) #接点Eで色は紫[br]so2:x=1 #リー環（Eでの接空間、代数的です）色は青[br]P=(cos(t),sin(t)) #多様体の点です。色は赤[br]Q=(1,t) #リー環の点です。色は青[br]f=Segment((0,0),P)[br]expM=Vector(Q,P) #expマップを表す→です。点線で色を青にして強調しましょう。