代数学の基本定理

1 定理の内容

代数学の基本定理は、非定数の一変数多項式が複素数係数で与えられるとき、少なくとも一つの複素数解をもつことを主張する。これを繰り返し適用すると、次数に応じて解が複素数の範囲で完全に数え上げられることが分かる。したがって、複素数体は多項式方程式に関して、解の存在と個数がきれいに整う体系とみなされる。

1.1 非定数多項式と複素数解

対象は定数ではない多項式であり、例えば \(a_n z^n + \cdots + a_0\) の形をとる。係数が複素数であれば、零点は少なくとも一つ存在する。実数では解が見つからない場合でも、複素数を許すと必ず解が現れる点が、この定理の核心である。

1.2 解の個数と重複度

次数が \(n\) の多項式は、重複度を込めて数えると複素数解をちょうど \(n\) 個もつ。たとえば同じ根が2回現れる場合、その根は2個分として扱う。これにより、代数方程式の解の総数は次数と一致し、因数分解の構造も明確になる。

1.3 実数係数の場合との関係

係数が実数の多項式でも、複素数の範囲では必ず根を持つ。実数解だけに限ると、解の個数は次数と一致しないことがあるが、複素数を導入すると不足分が補われる。さらに、実数係数の多項式では非実根が共役な組として現れるため、根の配置に対称性が生じる。

2 歴史

この定理は、代数方程式をどこまで解けるかという古典的な問題から発展した。数の概念を拡張していく過程で、複素数が単なる便宜的な記号ではなく、理論を閉じるための重要な体系であることが次第に認識された。

2.1 早期の問題意識

高次方程式の解法が研究される中で、三次や四次では形式的な解法が知られていた一方、解が本当に存在するかという点は別の問題として残った。実数だけでは説明しきれない現象が多く、虚数の導入はしばしば計算上の道具として扱われた。やがて、多項式の零点を体系的に理解する必要が意識されるようになった。

2.2 定理の確立

18世紀から19世紀にかけて、多くの数学者が証明に取り組んだ。解析学の発展により、関数の性質や複素平面の構造を用いて証明する道が開かれた。単一の方法に頼るのではなく、複数の立場から同じ結論へ到達できることが、この定理の重要性を強めた。

2.3 数学史における位置づけ

この定理は、代数学、解析学、位相的考察が交わる地点にある。複素数体の完結性を示す代表例として位置づけられ、現代数学の基礎的な見取り図にも深く関わる。多項式の研究が、数の体系そのものの理解を押し広げたことを示す歴史的な節目でもある。

3 証明

証明にはいくつかの代表的な流儀がある。複素解析を用いる方法は、関数の成長や極値の性質を利用する。位相を用いる方法は、平面上の連続変形や写像の巻き付きの考えを使う。さらに、より代数的な見方からも定理の骨格を捉えることができる。

3.1 複素解析を用いる証明

3.1.1 最大値原理を用いる方法

多項式が零点を持たないと仮定すると、その逆数は複素平面上で正則関数になる。適切な領域でこの関数の振る舞いを調べると、最大値原理と相性のよい制約が現れる。結果として、仮定が矛盾することが示され、零点の存在が結論される。

3.1.2 リウヴィルの定理を用いる方法

多項式が根を持たないと仮定した場合、逆数は有界な整関数になるように見える。ところがリウヴィルの定理によれば、有界な整関数は定数に限られる。これを用いると、元の多項式が非定数であることと衝突し、少なくとも一つの解が存在することが分かる。

3.2 位相を用いる証明

位相的証明では、複素平面を実二次元の空間として見て、連続写像の性質を調べる。多項式が無限遠で回転しながら大きくなる様子を、円周上の写像として捉える方法がある。そこでは、写像の次数や巻き数が重要な役割を果たす。

3.2.1 連続写像と次数理論

多項式を大きな円周上で見ると、値の変化は連続写像として整理できる。次数理論を使うと、零点がない場合に生じる巻き付きの矛盾を示しやすい。こうした議論は、解析的な微分方程式に依らず、純粋に位相的な性質から結論を導く。

3.2.2 複素平面の性質

複素平面は平坦な二次元空間として扱えるため、図形的直感が働きやすい。多項式写像は平面を平面へ送るが、原点の周りの回転や伸縮が根の存在と結びつく。平面の連結性や円周の閉じた構造が、定理の成立を支える。

3.3 代数的な考え方

代数的な証明は、根の存在を別の定理や構造定理に還元する。場合によっては実閉体や体拡大の性質、あるいは多項式環の構造を用いて説明される。複素解析ほど直接的ではないが、抽象代数の枠組みの中で定理を位置づけるのに役立つ。

4 帰結と応用

この定理は、単に一つの存在命題にとどまらず、代数学全体の組み立てに影響を及ぼす。多項式が複素数上で完全に分解できることは、因数分解、方程式論、体論の多くの部分に基礎を与える。

4.1 因数分解との関係

複素数係数の多項式は、一次因子の積に分解できる。すなわち、根を用いて完全に線形因子へ落とし込める。これは、代数方程式を「解を見つける問題」から「因子を並べる問題」へと見通しよく変える。

4.2 代数方程式の解法への影響

高次方程式の研究では、解の有無だけでなく、どのような形で解が現れるかが重要になる。この定理により、少なくとも複素数の範囲では方程式は必ず解けることが保証される。したがって、数式変形や解の分類を進める際の理論的支柱となる。

4.3 複素数体の完備性

複素数体は、多項式方程式に関して「足りない根がない」体系として理解される。これは代数閉体という概念の中心例であり、数の拡張がどのように完成形へ至るかを示す。複素数が解析学だけでなく代数学の終着点としても現れることを印象づける性質である。

5 関連概念

この定理を理解するには、複素数や多項式、体の拡張に関する基礎概念が役立つ。さらに、代数学の他の基本定理との関係を知ることで、現代数学における位置がより明確になる。

5.1 複素数

複素数は、実数に虚数単位を加えた数で、平面上の点として表せる。加減乗除が自然に定義され、方程式論において実数では不十分な場合を補う。代数学の基本定理は、この数体系の重要性を端的に示す。

5.2 多項式

多項式は、係数と変数のべきの有限和で表される代数式である。零点、次数、因数分解の概念が密接に結びついており、代数学の中心的対象となる。定理の文脈では、こうした多項式が複素数の範囲で必ず解を持つことが焦点となる。

5.3 代数閉体

代数閉体とは、すべての非定数多項式が少なくとも一つの根を持つ体を指す。複素数体はその代表例であり、この性質によって多項式の分解が最も整然と行える。体論では、代数閉体が理論の基準点の一つとなる。

5.4 代数学の他の基本定理

代数学には、体の拡大、対称式、ガロア理論などに関わる基本的な結果が複数ある。これらは多項式の解法や構造の理解を深めるうえで相互に関係する。代数学の基本定理は、その中でも最も初歩的でありながら、全体を支える中心的結果として扱われる。