【５】ヒルベルトの基底定理</P>

　「基底」とはすべての不変式がそれらの線形結合として表される不変式の集合で，極小のものである．１８４６年にケイリーは２次形式の不変式を作り出す方法を考案し，１８５４年からの２５年間に次数が６以下のすべての２元形式の基底を求めた．

　ｎ＝７になると言葉が一切はいらない数式が１０ページにもおよび，当時可能な水準を超えた計算がはいり込んできた．そのため，ケイリーは７次以上の２元形式は無限基底をもつだろうと予想したほどである．次元が高くなるにしたがって，不変式を記述する長さは爆発的に増える．そして不変式を全部書き下ろすことのできるのはせいぜい６次元程度までなのである．

　任意の次数の２元形式に対する有限基底の存在は１８６８年，ゴルダンによって証明された．ゴルダン自身，３元２次形式や３元３次形式の基底を見いだしたが，一般の場合に有限個からなる基底が存在するかどうかはつぎの２０年間では得られなかった．

　ゴルダンの基底定理の証明は計算的で難解であったが，１８８８年，ヒルベルトは２元形式に対するコルダンの結果にずっと簡単で非計算的な証明を与えた．さらに１８９０年，ヒルベルトは任意次数の変数の数も任意のどんな形式も「基底」をもつことを証明して数学界を驚かせた．

　ヒルベルトは基底定理「任意個の変数の任意次数の形式はすべて有限基底をもつ」を証明したが，その抽象的かつ非構成的な証明に対し，ゴルダンは「これは数学ではない．神学だ（That is not mathematics. That is theology.）」と抗議した話は有名である．不変式論の王・ゴルダンにかくいわしめるほど斬新な証明だったというわけである．

　不変式論は１８４０年代から１８８０年代にかけての代数の主要部門・根幹であったが，ワイルにいわせればヒルベルトの基底定理によりこの主題は殺された．しかしながら，２０世紀後半には数理物理学における対称法則と保存法則として力強く復活，多くの数学的福音をもたらしたのである．

　Invariant theory has already been pronounced dead severel times, and like the phoenix has again and again rising from its ashes.

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝