閉形式の線積分とポテンシャル場の線積分
今日も微分形式とベクトル解析について書く。テーマは経路に依らない線積分である。
まず、ポテンシャル場における線積分について説明する。あるベクトル場において、経路Cに沿った線積分を行うことを考える。Cの始点は点P、終点は点Qであるとする。このとき、もしを満たす関数が存在するとき、この線積分は以下のように経路に依らない値を取る。
実はこれに対応する定理が微分形式の世界にも存在する。例によって「多様体の基礎」を見てみると、以下のように記載されている。
が閉じた1次微分形式()ならば、曲線cをその始点c(a)と終点c(b)を止めたまま多様体Mの中で連続変形しても、線積分の値は変らない。
ここで、閉じた微分形式、または閉形式とは、外微分を計算すると0になるような微分形式のことである。前回の記事でgradは0次微分形式、つまり関数に対する外微分に相当するということを述べた。さらに、外微分の外微分を計算すると常に0になることから、は閉形式である。結果として、ポテンシャル場における線積分は閉形式の線積分によって一般化されるのである。本当に微分形式さえあればベクトル解析は不要なのではないかと思うほど、微分形式はベクトル解析をうまく取り込んでいる。
今日一番言いたかったことは以上であるが、上で引用した定理について一点だけ補足する。この定理では多様体M上での線積分について述べているわけだが、そもそも多様体上での線積分とはどのように定義されるのであろうか?これはに対する引き戻しによって定義される。すなわち、ある写像があって、これと閉形式の合成写像の積分を考えるのである。以下に定義式を示す。
これにより、被積分関数の定義域をMからに引き戻すことができ、見事に線積分が定義できるのである。
さて、大晦日ということで今年一年を振り返ってみると、後半にこれまで学んできたことの復習に重点を置いたことで、より数学に対する深い理解が得られたのではないかと思う。特に、ガロア理論の基本的な部分に対して定性的な理解を得られたことは至上の喜びであった。来年は仕事がちょっと忙しくなりそうだが、うまく時間を見つけて数学の勉強を続けていきたい。では、良いお年を!
参考
- 作者: 松本幸夫
- 出版社/メーカー: 東京大学出版会
- 発売日: 1988/09/22
- メディア: 単行本
- 購入: 7人 クリック: 36回
- この商品を含むブログ (33件) を見る
スカラーポテンシャル・ベクトルポテンシャルと微分形式の外微分の関係
今日も微分形式について書きたいと思う。本当は線積分周りのことを書いて多様体の話は一旦終わろうと思ったのだが、それはまた後に回して、ここではベクトル解析の式がまたしても微分形式により一般化される別の事例について書きたいと思う。
スカラーポテンシャルとベクトルポテンシャルが満たす関係式
今日の主役ははベクトル解析で有名な以下の2つの式である。
ここで、はスカラー関数、はベクトルである。がこれらの式を満たすとき、それぞれスカラーポテンシャル、ベクトルポテンシャルと呼ばれる。詳細はベクトル解析の教科書等を参照して頂きたい。
外微分による表現
上で述べた関係式は、微分形式に対する外微分を用いて統一的に表すことができる。本稿ではそれについて説明する。しかし、残念ながら私はそれについて100%納得するところまで理解が進んでいない。以下では私が理解したこと、及び納得できていないことについて書き記す。
微分形式の双対構造
本題に入る前に、後で必要になる微分形式の双対構造について説明しておこう。
以下では3次までの微分形式に限定して話を進める。すると、全ての微分形式は以下に示すものの線形結合で表現できる。
例としてに着目してみよう。これはdxとdyの外積になっているわけだが、3次以下の微分形式にはdx, dy, dzの3つの要素しか登場し得ないので、これは逆に言えばdzが欠けていると考えることができる。このように、上に示した微分形式は、お互いを補いあう関係にあるペアに分けることができる。以下にそれを示す。
すなわち、微分形式には相補的な双対構造が現れるのである。ある微分形式の双対を示す演算子を一般に*で示し、これをホッジのスター作用素と呼んだりする。以下にホッジのスター作用素の使用例を示す。
また、以下の式が成立することにも言及しておこう。
外微分の外微分
最初に示した2つの式は、微分形式を用いて統一的に表すことができるわけだが、その時に使う式が以下である。
ここで、は適当な微分形式である。すなわち、微分形式の外微分の外微分は必ず0になるのだ。ここで最初に示した2つの式を見ると、どちらも2回の演算の結果が0になっており、いかにもこの式と関係がありそうな予感がするだろう。
grad, rot, divと外微分の関係
ここから本題に入っていこう。まずは、grad, rot, divがそれぞれ微分形式の外微分とどのような関係にあるか考えてみる。
最初にgradについて考えよう。関数fについて、は以下のように書けるのであった。
ここで、はそれぞれx, y, z方向の単位ベクトルである。
今、gradを外微分を用いて表すことを考えてみる。まず、0次微分形式fに対する外微分dfは以下のような1次微分形式になる。
ここからがまさに私が納得できていないポイントであるが、上記2つの式において、大胆にもをそれぞれdx, dy, dzと同一視すれば、となる。すなわち、である。被演算子は0次微分形式である。この同一視の妥当性については後述する。
次にrotについて考える。これは以下のように表されるのであった。
ここではという3次元ベクトルを用いた。ここでもgradと同じようにrotを外微分で表すことを考えてみよう。前回の記事で登場した以下の式が使えそうだ。
gradと同じ流れで行くと、ここで単位ベクトルとdx, dy, dzを同一視するところだが、今はこれらの外積であるなどが現れてしまっている。そのため、このままでは先ほどのような同一視ができない。また、外積とは言うものの、これはベクトルの外積とは異なる演算であるため、そのような置き換えもできない。
そこで、ホッジのスター作用素の登場である。上記の式にホッジのスター作用素を適用すると以下のようになる。
これで、最初のrotの式との対応が見えた。すなわち、であり、結局となる。被演算子は1次微分形式である。
最後にdivであるが、これは上の2つと同様に考えることができるため説明は割愛する。結論としてはとなる。被演算子は1次微分形式である。
なぜ単位ベクトルをdx, dy, dzと同一視してよいのか
本稿の説明においては、単位ベクトルとdx, dy, dzを同一視することで、ベクトルを微分形式で表現していた。これは妥当なのであろうか?本稿最下部に示した参考ページの冒頭において、それについて少し触れられている。すなわち、dx, dy, dzをベクトルに対する演算子として見ればよいというのである。例えばというベクトルが与えられたとき、dxはこのベクトルのx軸方向の成分、すなわち単位ベクトルの係数を取り出す演算子と考えるのである。以下に演算の様子を示す。
一方、このようにx方向の成分を取り出すには以下のようにしてもよい。
この2つの式の類似性から、dxをと同一視することを正当化しようというのである。
これは確かに最もらしい説明である。dxの元々の定義もという線形写像であり、これを演算子と考えることは自然に思える。しかし、今はユークリッド空間を考えているので、接ベクトル空間の基底はそれぞれと同一視できる。これはつまり、接ベクトル空間と余接ベクトル空間の基底がどちらも同じだと言っているように聞こえる。これにはなんだか違和感を覚える。なぜなら、ベクトル空間とその双対空間はそもそも集合として全く異なるものだからだ。今回の話でここだけが唯一スッキリしないのである。
とは言え、概ね綺麗な結果を得ることができたという点には満足している。やはり微分形式から得られる帰結は美しい。疑問は残ったものの、それは長い人生の中できっと答えが見つかるだろう。
参考
多様体上での積分と一般化されたストークスの定理
前回は微分形式について基礎知識を整理してみた。今回は微分形式の積分について考えてみたいと思う。
1次微分形式の積分
1次微分形式について、のある区間での積分を以下のように定義する。
この積分値はでの座標の取り方に依らず決まるという重要な性質がある。つまり、変数変換をしても積分値は変わらないということである。ただし、積分する向きを逆にすると、符号が逆転してしまう。これらの事実は高校の数学で習うレベルであるが、高次の微分形式にも拡張される重要な性質であるため、ここで明示的に述べておく。
m次微分形式の積分
正方形領域に収まる場合
多様体Mの次元がmであるとする。このとき、m次微分形式の積分について考えてみる*1。の値が0でないM上の領域の閉包を取ったものをの台と呼び、これをと書く。台の外ではとなるため、台が正方形領域と呼ばれる単純な領域に入っていれば、これは簡単に積分できる。正方形領域とは、参考書*2によれば、Mの座標近傍について、以下のように表すことができる領域Vのことである。
このとき、Uにおいてと表すことができるので、積分は以下のように定義できる。
要するに、交代k次形式の記号がなくなり、通常の重積分として定義される。
積分値はここでも正方形領域の取り方に依らずに決まる。しかし、1次微分形式のときと同じように、領域の「向き」によって符号が変わる。領域の向きというのは相対的な概念であるため、2つの領域に対して向きが同じだとか違うとかいう議論をすることになる。参考書では以下のように向きが定義されている。
2つの座標近傍とが空でない共通部分をもつとする。共通部分の各点でがなりたつとき、とは同じ向きであるという。
正方形領域に収まらない場合
上で考えたケースを拡張して、が正方形領域に収まらない場合を考える。ここで、Mを「向き付けられた」コンパクトな多様体であるとする。多様体の中には、座標近傍系をうまく選ぶことで全ての座標近傍を同じ向きにすることができるものがある。このとき、その多様体を向き付け可能であるといい、向きを与えられた多様体を向き付けられた多様体と呼ぶ。コンパクト性の仮定はひょっとしたら厳しすぎるかもしれないが、その方が話が簡単になるので、ここでは参考書に合わせてコンパクトであると仮定しておく。
Mはコンパクトであるため、有限個の正方形領域によって被覆される*4。このとき、に対応してという関数をうまく選べば、m次微分形式の積分は以下のように定義できる。
実は、は多様体界隈で「1の分割」と呼ばれる関数である。1の分割とは、ざっくり言うと以下を満たすような関数の集合である。
要するに、各正方形領域上での積分を多様体全体でうまく繋げられるように、係数を調整しているのである。
このように定義される積分は、多様体Mとだけで決まり、有限被覆や1の分割のとり方に依存しないという素晴らしい性質を持っている。
一般化されたストークスの定理
やっとこの話が書ける。ここまで長かった。
ストークスの定理という言葉は、ベクトル解析を学んだことがある人なら誰しも知っているだろう。また、似たような定理として、ガウスの発散定理なんてのもあったはずだ。これら2つの定理はどことなく雰囲気が似ている。どちらもある領域の積分が、その領域の境界の積分に置き換えられるというものである。これを多様体上で統一的にまとめたのが一般化されたストークスの定理である。これを使えば、ベクトル解析でのストークスの定理、及びガウスの発散定理を同じように扱うことができる。
細かい議論は置いておいて、まずは一般化されたストークスの定理の定義を以下に示す。
M上の任意の(m-1)次微分形式について、次の等式がなりたつ。
ここで、Nは向き付けられた多様体Mの「境界を持つ」部分多様体であり、かつコンパクトであるとする。
「境界を持つ多様体」とは、ざっくり言うとm次元多様体Mの中で、互いに交わらないいくつかの(m-1)次元多様体で区切られた部分のことである。また、その区切りを成す(m-1)次元多様体の和集合を境界と呼ぶ。3次元ユークリッド空間上の単位球を例に考えると、3次元空間における2次元部分多様体である単位球面によって区切られた球の内部が「境界を持つ多様体」であり、単位球面そのもののことを境界と呼ぶのである。
つまり、一般化されたストークスの定理とは、ある領域の境界上における(m-1)次微分形式の積分が、その微分形式の外微分を取ったものを領域全体で積分したものと等しいと言っているのである。
ベクトル解析におけるストークスの定理との比較
では、ベクトル解析におけるストークスの定理と比較してみよう。Sを積分領域となる2次元曲面、をその境界とすると、ストークスの定理とは以下の等式が成り立つことを主張するものであった。
ここで、もしが示せれば、これは確かに一般化されたストークスの定理で表すことができることになる。
として右辺の積分の中身の内積を計算すると、以下のようになる。
よって右辺は1次微分形式となっている。さらに、これの外微分を計算すると以下のようになる。
は通常の微分積分学における全微分に一致し、以下のように書ける。
も同様である。これを利用すると、結局以下のように計算できる。
美しい対称形の2次微分形式が得られた。
次に、左辺の積分の中身について考えてみる。まずrotの部分について以下のように計算できる。
次に、面積素について考える。詳細は割愛するが(追記1参照)、S上に(u, v)という2次元の座標を考えることで、これは以下のように変形できる。
よって両者の内積を計算すれば、が成立することが分かる。以上により、ベクトル解析におけるストークスの定理は、多様体上での一般化されたストークスの定理に含まれることが分かった。
追記1
実は本稿を書いた時点では、なぜ面積素が微分形式で書き表されるのかよく分かっていなかった。これに関して少しだけ理解を得たので書いてみようと思う。
まず、面積素は以下のように定義される。
一方、k次微分形式の定義式から、ベクトル, に対して以下のような計算ができる。
ここで、ベクトルを以下のように定めてみる。
すると、上述の式は以下のようになる。
上記3式の最後の式変形は、行列式の多重線形性による。
以上により、面積素は以下のようになる。
あとはの部分は暗黙的に付加されるものと考えて省略すれば、本文中の式が得られる。
参考
- 作者: 松本幸夫
- 出版社/メーカー: 東京大学出版会
- 発売日: 1988/09/22
- メディア: 単行本
- 購入: 7人 クリック: 36回
- この商品を含むブログ (33件) を見る
ストークスの定理
多様体上の微分形式の基礎知識
最近「多様体の基礎」という本を読んだ。実は今回が2回目のチャンレジで、前回は5章のベクトル場のあたりで打ちのめされてしまったのだが、今回は何とか強引に最後まで読み進めることができた。が、知識の定着度はお察しの通り、いまいちである。特に、微分形式に関する事項があまり理解できていないように感じている。そこで、今回は微分形式の知識を簡単にまとめてみたいと思う。
1次微分形式
まず出発点はここからだ。1次微分形式とはなんだろう?「多様体の基礎」(以下、参考書と呼ぶ)によると、以下のような定義がなされている*1。
上の定義における余接ベクトル空間とは、M上のベクトル空間の双対ベクトル空間のことである。参考書を少し戻って説明を見てみると、一般にベクトル空間V上の1次形式全体のなす集合を双対ベクトル空間と呼ぶようである。ここで、1次微分形式と似た言葉で1次形式というものが出てくる。参考書によると、1次形式は以下のように定義される。
Vを上のm次元ベクトル空間とする。V上の1次形式とは、Vからへの写像
であって、任意のベクトルと任意の実数について
がなりたつようなものをいう。
要するに、1次形式とは線形写像の一種である*2。ベクトル空間上の1次形式全体の成す空間は再びベクトル空間になっており、これを双対ベクトル空間と呼ぶ。ベクトル空間として多様体の接ベクトル空間を考えたとき、その双対のことを余接ベクトル空間と呼ぶ。そして、余接ベクトル空間の元を多様体上の各点に割り当てていく対応のことを1次微分形式と呼ぶのである。つまり、1次微分形式とは多様体上の余接ベクトル場であると言える。
余接ベクトル空間はベクトル空間なので、当然その基底が何かということが気になる。これの導出は私の手に追えないので参考書を見てもらうとして、結果だけ書いてみる。Mのある座標近傍に着目したとき、基底はとなる。そのため、一般に1次微分形式は以下のように表すことができる。
ここで、はU上の関数である。
k次微分形式
k次微分形式を定義するためには、1次微分形式の場合と同じように、まずk次形式というものを考える必要がある。k次形式の定義を参考書から引用したものを以下に示す。
Vを上のm次元ベクトル空間とする。V上のk次形式とは、Vのk個の直積からへの写像
であって、が各に関して線形であるようなものを言う。
つまり、各kについて以下のような等式が成り立つということである。
1次形式の時と同じように、V上のk次形式全体のなす集合というものを考えることができて、これをと書く。
V上のk個の1次形式について、以下の写像はk次形式となる。
ここまで来ると、1次微分形式のときと同じように、Vとして多様体Mの接ベクトル空間を考えればよいと思うだろう。しかし、実はそのようにして得られる概念はk次共変テンソル場と呼ばれ、k次微分形式ではない。まず、k次共変テンソル場の定義を以下に示す。
Mの各点pに、の元をひとつずつ対応させる対応のことを、M上のk次共変テンソル場とよぶ。
今知りたいのはk次微分形式についてであるが、実はk次微分形式はk次共変テンソル場の一種である。すなわち、k次微分形式とは、k次共変テンソル場に交代性と呼ばれる性質が課されたもののことである。これをk次交代テンソル場とも呼ぶ。
k次交代テンソル場(すなわち、k次微分形式)の説明のために、まずは上のm次元ベクトル空間Vにおける交代k次形式について述べる。V上のk次形式が交代k次形式であるとは、任意のと任意の置換(はk次対称群)について以下が成り立つことである。
ここで、はが遇置換なら1、奇置換なら-1となる写像である。要するに、のうち任意の2つを入れ替えると符号が入れ替わるようなk次形式のことを交代k次形式と呼ぶのである。V上の交代k次形式全体の集合をと書く。一般に、V上のk次交代形式は、k個の1次形式を用いて以下のように書くことができる。
線形代数を学んだことがある人であれば、行列式の持つ多重線形性がいかにも交代k次形式っぽい感じが分かるだろう。
これでやっとk次微分形式の定義を説明できる。k次微分形式の定義を参考書より引用する。
1次微分形式の類推から、k次微分形式における基底のようなものを考えてみる*3。Mの座標近傍として再びを考えると、k次微分形式はU上で以下のように表すことができる。
すなわち、基底(のようなもの)はを満たすk次微分形式の集合である。例として2次微分形式を考えてみる。Mが3次元の場合、任意の2次微分形式は以下の形に表すことができる。
さて、のちのち必要になるので、k次微分形式どうしの演算について述べておく。k次微分形式とl次微分形式の間には外積と呼ばれる演算が定義できる。この演算により、(k+l)次微分形式が得られる。ベクトル空間の場合、そこに属する元の間の演算で次元は変化しないが、テンソルの場合は演算により次元が上がっていくのが特徴的である。
外積には座標近傍に依存しない定義の仕方も存在するようだが、面倒なのでそれには触れない。ここでは簡単な計算例を述べておくに留める。1次微分形式と2次微分形式の外積は以下のように計算できる。
上記の計算では、という性質を用いた。また、最後の式変形では置換により符号が変化するという性質を用いた。これを見れば、外積の演算規則のイメージが湧くだろう。
外微分
k次微分形式に対して、更に外微分と呼ばれる概念を定義できる。多様体Mと座標近傍Uをこれまで通りとし、k次微分形式がU上で以下のように書けたとする。
参考書によると、このとき外微分とは以下の式で表されるk+1次微分形式のことである。
上記の式は座標近傍Uにおいて成立する式であるが、実は外微分は座標近傍に依らずに定義することが可能であり、結局どの座標近傍で計算しても同じ値になる。すなわち、k次微分形式が与えられれば、その外微分としてのk+1次微分形式が一意に定まるのである。座標近傍に依存しない性質というのは、多様体の本質的な性質であるため、重要である。
外微分の形式をみると、これまでの議論が一体なんのために行われてきたのかが推測できる。そう、全ては積分を行うためである。多様体上での微分形式にはなんと積分を定義することができるのである。
本当はこの先の積分に関する議論を記事にしたかったのだが、自分の知識がまだまだ浅く、前置きが長くなりすぎた。本稿は一旦ここで終えることとし、近日中に続きを書きたいと思う。
参考
- 作者: 松本幸夫
- 出版社/メーカー: 東京大学出版会
- 発売日: 1988/09/22
- メディア: 単行本
- 購入: 7人 クリック: 36回
- この商品を含むブログ (33件) を見る
群の自然な準同型と部分群の対応
群Gとその正規部分群Nがあるとする。Gから剰余群G/Nへの自然な準同型をとする。G/Nの部分群全体の集合を、GのNを含む部分群全体の集合をとする。このとき、写像は全単射となる。つまり、との元の間には一対一の対応関係がある。例によって細かい理屈はここでは述べないが、今日はこの事実を具体例を用いて可視化してみようと思う。
ある程度大きい群でないと上記事実のイメージを掴むのに役立たないので、位数12の群で考えてみる。位数12の群の中でも適度に複雑なものとして、二面体群が挙げられる。これは正六角形に対する合同変換全体が成す群である。状況をクリアにするために、ここでは正六角形の中心が二次元ユークリッド空間の原点にあり、さらに2つの互いに反対側に位置する頂点がx軸上に乗っているとする。
は回転と鏡像反転の操作によって生成される。ここでは原点を中心に半時計回りの方向に回転する操作を、x軸に対して反転する操作をと呼ぶことにする。すると、の元は以下のように表すことができる。
次に、正規部分群を1つ選んでみる。ここでは以下の群を使うことにしよう。
このとき、群Nに関するの同値類は以下のように分類できる。
これらがの元になる。すなわち、となる。ここで、単位元はNである。はクラインの四元群となっており、以下の5つの部分群が存在する。
これで剰余群の部分群が分かった。続いて、これらと一対一に対応するの部分群を求めてみる。定理によると、それはNを含む部分群になる。以下に具体的に列挙する。
これで役者は全て出揃った。あとはこれらの対応関係を図示すれば目的は達せられる。しかし、その前にちょっと寄り道をして、ここまでに求めた集合や群の定性的意味を考えてみたいと思う。それが分かれば、最後に可視化を行った際に、状況がよりクリアに理解できるだろう。
まずNの元について考えてみる。これは一体どういう部分群になっているだろうか?ずばり、偶数回の回転操作のみを集めた部分群になっている*1。そこから得られた剰余類はそれぞれ何を表しているのだろうか?実は、は奇数回の回転操作、は反転した状態での偶数回の回転操作、そしては反転した状態での奇数回の回転操作を表している。
ここまでくると、剰余群の元が表しているものが分かってくる。この剰余群は偶数回の回転操作の集まりNで割ることによって得られるので、偶数回の回転操作を全て同一視していることになる。すなわち、0回転だろうが2回転だろうが4回転だろうが、結局どれも偶数回の回転操作なんだから、細かい回転数は無視してまとめて考えてしまおうというのである。そのため、の元は具体的な回転数を無視した、{偶数回転、奇数回転、反転偶数回転、反転奇数回転}という抽象的な操作の集まりから成る群であると考えることができる。
そうした時に、例えばというのは偶数回転と奇数回転を合わせたものになっているし、は偶数回転と反転偶数回転を合わせたものになっている。また、は具体的に偶数回転と奇数回転を表す元を全て寄せ集めたものになっており、は偶数回転と反転偶数回転を表す元の寄せ集めになっているのである。これが上記登場人物たちの定性的解釈である。
では、これらの関係を図示してみよう。
上図左側が、右側がである。また、自明な部分群については記載を省略している。これで随分と関係がはっきりしたのではなかろうか。
本稿の内容は私がぼんやりとしか理解できていなかった部分をはっきりさせるために書いたのだが、このレベルまで考察と可視化を行うと、もはや冒頭に書いた定理は自明にさえ思えてきた。数学というのは分からないうちはさっぱり分からないのに、分かってしまうと本当に当たり前に思えてくるから不思議なものだ。
参考
- 作者: 雪江明彦
- 出版社/メーカー: 日本評論社
- 発売日: 2010/11/17
- メディア: 単行本(ソフトカバー)
- 購入: 1人 クリック: 21回
- この商品を含むブログを見る
有限生成アーベル群の基本定理にまつわる考察
群論の有名な定理の1つに有限生成アーベル群の基本定理というものがある。これは、群Gが有限生成アーベル群であれば、Gは巡回群の直積に分解できるというものである。より具体的には以下の通りである。
群Gが有限生成アーベル群であれば、となるような自然数と非負整数rがあり、となる。
最初にこの定理を学んだときは、「そういう定理もあるのか」という程度で通りすぎてしまったのだが、代数学を一通り学んだ今になって、いくつか疑問が湧いてきた。それらは大別すると以下の2つに分けられる。
- 代数学に登場する類似の定理とはどのように関連しているのか?
- この定理からどんなことが分かるのか?
本稿ではこの2つの疑問に対する答えについて、もがきながら足掻きながら必死に調べ、考え、理解を試みた末に、現段階までに知り得たことを書いてみる。
有限生成アーベル群の基本定理と仲間たち
有限生成アーベル群の基本定理と似たような定理として、私が関連がありそうだと思ったものを以下に挙げる。
上から順に関連について述べていき、最後に関係をまとめてみる。
中国式剰余定理(巡回群に関するもの)
巡回群に関する中国式剰余定理とは以下のような定理である。
m, nを互いに素な自然数とする。このとき、となる。
この定理が述べているのは、あくまで元々の群が巡回群の時に、それを互いに素な自然数に着目して分解できるというものである。一方、有限生成アーベル群の基本定理では、群が巡回群であることは一切仮定していない。にもかかわらず、それが実は巡回群の直積に分解できるというところがミソなのである。
なお、巡回群は有限生成アーベル群となるため、本定理は有限生成アーベル群の基本定理に含まれる。
有限アーベル群の基本定理
この定理には最初とても混乱させられた。まず、この定理の主張は以下のようになる。
群Gが有限アーベル群であれば、となるような自然数があり、となる。
なんだか有限生成アーベル群の基本定理と似ている。違いはの項がないことである。それもそのはずで、有限アーベル群であるということは当然有限生成アーベル群であることを意味するため、本定理は有限生成アーベル群の基本定理に含まれるものである。
単項イデアル整域上の有限生成加群の構造定理
名前だけ見るとなんのことだかさっぱり分からない本定理は、実は有限生成アーベル群の基本定理を一般化したものである。本定理は単項イデアル整域上の有限生成加群に関するものであるが、有限生成アーベル群は加群であり、かつ加群として有限生成である。また、は単項イデアル整域であるため、有限生成アーベル群の基本定理が本定理に含まれることは納得できるだろう。詳細は適当な代数学の本を参照して欲しい。
第一の疑問に対する回答まとめ
以上で私の疑問はだいぶすっきりした。結局、以下のような図式が成り立っていたのだ。(絵心が足りないのは許していただきたい。)
有限生成アーベル群の基本定理から分かること
証明の概略
ここからは第二の疑問について考えてみる。そのために、まず証明の概略について述べる。
群Gが有限生成アーベル群であるとする。Gがm個の元により生成されるとすると、階数m*1の自由アーベル群からGへの全射準同型fが存在する*2。Ker(f)はの部分群となり、かつそれ自身自由アーベル群となる。準同型定理よりとなる。よって、右辺の構造について詳細に調べることにする。
の基底を、Ker(f)の基底をとする。ただし、である。Ker(f)はの部分群なので、Ker(f)の基底は全ての基底の線形結合として書き表すことができる。
ただし、である。これを行列で書き換えると以下のようになる。
P, Qを適当な正則行列とすると、上記の式は以下のように変形できることが知られている。(ここでは証明しない。)
、及びはそれぞれ、及びという基底を行列Q, Pにより変換したものになっており、本質的には同じ空間を表している。そこで、, Ker(f)の基底をそれぞれ、及びに取り直す。であり、また上で得られた式からとなるので、結局以下が得られる。
以上が定理の証明の概略である。
定理の考察
さて、この定理について更に深く考えると、一体どんな世界が見えてくるのだろうか。まず証明の過程に着目してみよう。上で述べた証明の中では、とKer(f)の基底をうまく取り替えることによって、それらの間の変換行列をとてもシンプルな形に変形することができた。ここで、変換後のKer(f)の基底は、同じく変換後のの基底のうち、最初のn個のそれぞれ定数倍となっている。さらに、の基底のうち、n+1個目以降はKer(f)には一切影響を与えていない。このことから、証明の中で行われた基底の変換は、の最初のn個の基底とKer(f)の基底がそれぞれ同じ方向を向くように調整する操作だったのだと考えることができる。このような基底の方向調整は、代数学のみならず他の数学分野にも登場する操作であり、大変興味深い。
次に、定理の最終的な主張の形に着目してみよう。大きな特徴として、この式は位数有限の巡回群と位数無限の巡回群の直積になっていることが分かる。アーベル群のある元gの位数が有限であるということは、すなわちその元をd回足し合わせることで単位元に戻るということである。式で書けばである。このような元のことを捩れ元と呼び、捩れ元全体から成る集合はGの部分群になる。そのような部分群をGの捩れ部分群と呼ぶ。本定理の主張は、有限生成なアーベル群が捩れ部分群とそれ以外とに分けられるということを述べていたのである。
ここで1つ私が抱いた疑問について述べる。それは、自由アーベル群と有限生成アーベル群の本質的な違いは何かということである。というのも、自由アーベル群はその基底の線形結合で全ての元を表現でき、また有限生成アーベル群はその生成元の線形結合でやはり全ての元を表現できるので、ぱっと見ただけだと違いがよく分からないのである。その答えがまさに捩れの有無にあるのだ。つまり、自由アーベル群には捩れがなく、有限生成アーベル群には捩れがあるかもしれないということである。そして、この捩れがどれくらい大きな割合を占めているのかということが、ある有限生成アーベル群が自由アーベル群からどれくらいかけ離れているのかを示していると解釈できるのである。ついでに、このような関係から直感的に自由アーベル群の方が集合として大きく、結果的に有限生成アーベル群への全射準同型が構成できることにも納得ができた。
まとめ
以上、有限生成アーベル群に関して私が調べたこと・考えたことについて書いてみた。本定理の主張は非常にパワフルであるだけでなく、その背景には群論、環論、及び線形代数などに関するさまざまな事実との関連があり、大変興味深いものであった。
本稿の内容をまとめるだけの理解を得るのに、実に1週間以上の日数を要した。数学を理解するというのは本当に大変だ。
参考
http://amano-katsutoshi.com/lec2014/algebraIA-ex/algebraIA-ex20140528.pdf
http://www2.math.cst.nihon-u.ac.jp/sasaki/wp/wp-content/uploads/2014/12/fa75a316529d0ac746d8f50958ba66ed.pdf
- 作者: 雪江明彦
- 出版社/メーカー: 日本評論社
- 発売日: 2010/11/17
- メディア: 単行本(ソフトカバー)
- 購入: 1人 クリック: 21回
- この商品を含むブログを見る
- 作者: 雪江 明彦
- 出版社/メーカー: 日本評論社
- 発売日: 2010/12/07
- メディア: 単行本(ソフトカバー)
- 購入: 2人 クリック: 14回
- この商品を含むブログを見る