代数学の基本定理

提供: miniwiki
移動先:案内、検索

代数学の基本定理（だいすうがくのきほんていり、英: fundamental theorem of algebra）は「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」 という定理である。

概要

一般に実数係数の代数方程式が実数の範囲内に解を有するとは限らないが、x2 + 1 というただ 1 つの多項式の根（虚数単位）を実数体に付け加えると、どんな代数方程式でもその体系内で解ける。

この定理の主張は、因数定理などを用いて帰納的に

複素数係数の任意のn 次多項式
[math] a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0 \quad (a_n, \dots, a_0 \in \mathbb{C},\; a_n \ne 0) [/math]
は複素数の根を（重複度込みで考えれば）ちょうど n 個持つ

という事実を導くので、このことを指して代数学の基本定理と呼ぶこともある。とくに、どのような複素係数多項式であっても、それを複素数係数の一次式の冪積に分解できる。すなわち、体論の言葉で言えば「複素数体は代数的閉体である」 。

歴史

17世紀前半にアルベール・ジラール（français版、English版）らによって主張され、18世紀の半ばからジャン・ル・ロン・ダランベール、レオンハルト・オイラー、フランソワ・ダヴィエ・ド・フォンスネ（English版）、ジョゼフ＝ルイ・ラグランジュ、ピエール＝シモン・ラプラスらが証明を試みた。証明は洗練されていったがどれも不完全なものであった。

1799年にカール・フリードリヒ・ガウスが学位論文でそれまでの証明の不備を指摘し最初の完全な証明を与えた[1]。後年ガウスはこの定理に3つの異なる証明を与えた。現在ではさらに多くの証明が知られている。

証明

最もよく知られている初等的な証明は、次のようにして行う。

  • [math]f(x)=|a_n x^n + \cdots + a_1 x + a_0|[/math] は、|x| を十分大きくするといくらでも大きくできる。
  • コンパクト集合上の連続関数が最小値を持つことから、f(x) が最小値を持つことが分かる。
  • その最小値を c として、c ≠ 0 と仮定すると、x と [math]f(x_c)=c[/math] を与える [math]x_c[/math] の差分 [math]x-x_c[/math] を考えると、x を少しずらすだけで、より小さな f(x) が存在することが分かり、c が最小値であることに矛盾する。

これで証明が終わる。

複素解析的な証明

複素解析的な方法を用いる証明法としては、リウヴィルの定理を用いる方法と、ルーシェの定理を用いる方法が有名である。以下にリウヴィルの定理を用いる証明の概略を示す（ルーシェの定理を用いる証明については、ルーシェの定理#代数学の基本定理の証明を参照）。

[math]f(z) = z^n + a_{n-1} z^{n-1} +\cdots +a_1 z+a_0[/math]

を最高次数の係数が 1 の任意のn次複素数係数多項式とする。

複素平面上で f(z) が零点を持たないと仮定すると、g(z) = 1/f(z) と置けば g(z) は複素平面全体で正則かつ有界であり、リウヴィルの定理から g(z) は定数となり、当然 f(z) も定数となるが、これは f(z) の形と矛盾する。従って、f(z) は複素平面上で少なくとも1つの零点を持つ。

脚注

  1. ↑ ただし、ガウスの最初の証明も幾何学的な前提としてジョルダン曲線定理が暗黙で使われており、後年の観点からは不備があることが分かっている。

参考文献

  • 彌永昌吉 『数の体系』下、岩波書店〈岩波新書（黄版）43〉、1978年4月。ISBN 4-00-420043-1。
  • 高木貞治 『解析概論』 岩波書店、1983年9月、改訂第3版 軽装版。ISBN 4-00-005171-7。
  • 高木貞治 『代数学講義』 共立出版、1965年11月、改訂新版。ISBN 4-320-01000-0。
  • Fine, Benjamin・Rosenberger, Gerhard 『代数学の基本定理』 新妻弘・木村哲三訳、共立出版、2002年2月。ISBN 4-320-01689-0。

関連文献

関連項目


外部リンク



「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=代数学の基本定理&oldid=113674」から取得