今回は変換群と無限小変換を説明します.
特に,微分の指数 が関数の平行移動であることを確認します.これはテイラー展開の意味付けにもなります.
今回の内容は岩波講座 応用数学『ソリトンの数理』の1.1節の内容を下敷きにしていることをお断りしておきます.
(この記事は「可積分系入門」の4番目くらいの記事ですが,とりあえずこの記事を公開します.今回の内容と可積分系の関係はこの記事だけでは分からないと思います.この記事は独立に読んでも楽しめるはずです.)
群の公理と変換群
そもそも群の公理がどのように現れたのかを確認しましょう.集合 の要素を変換する写像 を考えます.さらに,この写像を集めた集合 を考えます.ただし,全ての変換を に入れるのではなく,が以下を満たすように写像を集めます.
(i) にはの元を動かさない変換 がある.つまり,は全ての に対して となる写像である.
(ii) 変換 で動いた元を元どおりに戻す変換 が存在する.つまり,は全ての に対して が成り立つ.
この性質を満たす変換の集合 を の変換群と呼ぶことにします.
これだけではあまり意味がありません.を忘れて だけを考えていくことにします.には写像の合成で積の演算が定まります.つまり,に対してで演算を定めます.
(i) は全ての に対して,が成り立つ.
(ii) に対して定まる は を満たす.
(iii) に対して,が成り立つ.
最初の(i), (ii)は上で決めた の性質からすぐに分かります.(iii)は一見要請していないように思えますが,実は変換を考えると自然に成り立つことです.確認しましょう.全ての に対して
が成り立ちます.よって,(iii)が成り立ちます.
逆に,一般に集合 が与えられたとき,上の (i) - (iii) が成り立つ演算を群と呼びます.
集合 に対し,演算 が定まり以下が成り立つものを群と呼ぶ:
(i) ある元 が存在して全ての に対して,が成り立つ.
(ii) に対して,あるが存在して が成り立つ.
(iii) に対して,が成り立つ.
一般に考えた群は変換としての意味合いがなくなっていますが,それでも様々な性質が成り立ち重要な数学の対象になります.
変換の集まり(=変換群)をモチベーションとして群を定義しました.逆に,一般の群が与えられたときにこれを変換の集まりと思えるかという問題を考えましょう.ここで群の公理(iii)が意味を持ちます.変換群では必ず(iii)が成り立つので,群を変換の集まりと考えるためには絶対に群の公理(iii)を要請しなければいけないわけです.群を変換だと捉えたものを作用と言います.群自体には変換の意味がないので,少し要請が必要です.
は群の中では何も変化させないものだと分かっていますが,写像としてもそうあって欲しいので(i)を要請します.(ii)は少し分かりにくいと思います.とに対して群の演算により新たに という写像が定まりますが,これはを合成したものと同じであるというのが (ii)の意味です.つまり,群の演算と写像の合成が同じであるということを意味します.
以上をまとめます.変換の集合から変換群という群が定まりました.逆に,群が作用を定めていると,それは変換の集合だと思うことができます.変換の集合から定まる変換群は,その作用を考えると元の集合の変換に戻りますし,逆に,群の作用を考えて変換の集合だと考えてもそれから定義される変換群を考えれば元の群に戻ります.このように,群の公理は,変換の集合の概念と対応づくように代数を定義したものだと考えることができます.
1パラメータ変換群
に作用する群の元がパラメータ付けされているものを考えましょう.実数 に対して群の元 が定まるとします.実数は和により加群なので,この群の構造と の群の構造に"良い関係"が成り立ってるとします.つまり以下を仮定します.
が成り立つとします.このような群を パラメータ群と呼びます(もっと厳密な定義が必要なところですが省略します).すると,が成り立つので,が分かります.を変換したものが です.実数は連続的に動かすことができるので,を動かすと,が滑らかに変わっていくのが パラメータ変換群のイメージです.
無限小変換
(この節は特に雑な議論をします.厳密にはLie群論の議論が必要です.)
空間(厳密には多様体)に作用するパラメータ群 を考えます.を微分すると,線形写像 を用いて
の用に書けたとします.これは線形の微分方程式なので簡単に解くことができて,となることが分かります.ここで
です.よって,が分かります.式
を パラメータ変換 に対する無限小変換といい,を無限小変換の生成作用素といいます.以上のことから生成作用素 が分かれば,パラメータ変換 が であることが分かります.以下では具体例を通して,この考え方の面白さを見ていきましょう.
例
回転
具体例を見ていきましょう.空間は2次元ベクトル空間 ,パラメータ群は回転
を考えます.への作用はもちろん
です.微分をすれば,
なので,無限小変換は
であることがわかります.実際,
が成り立つことが分かります.
まとめ
パラメータ変換群とその無限小変換を定義しました。平行移動はこれ自体で重要な式なので,自分で計算して納得しておいてください.