「代数学の基本定理」の版間の差分
34行目: | 34行目: | ||
== 参考文献 == |
== 参考文献 == |
||
{{参照方法|date=2016 |
{{参照方法|date=2016-02}} |
||
{{Wikisource|解析概論}} |
{{Wikisource|解析概論}} |
||
{{Wikisource|代数学講義}} |
{{Wikisource|代数学講義}} |
||
* {{Cite book|和書|author=彌永昌吉| |
* {{Cite book|和書|author=[[彌永昌吉]]|date=1978-04|title=数の体系|volume=下|series=岩波新書(黄版)43|publisher=岩波書店|isbn=4-00-420043-1}} |
||
* {{Cite book|和書|author=高木貞治 |
* {{Cite book|和書|author=高木貞治[[高木貞治]]|date=1983-09|title=解析概論|edition=改訂第3版 軽装版|publisher=岩波書店|isbn=4-00-005171-7}} |
||
* {{Cite book|和書|author=高木貞治|year=1965 |
* {{Cite book|和書|author=高木貞治|year=1965-11|title=代数学講義|edition=改訂新版|publisher=共立出版|isbn=4-320-01000-0}} |
||
* {{Cite book|和書|last=Fine|first=Benjamin|coauthors=Rosenberger, Gerhard| |
* {{Cite book|和書|last=Fine|first=Benjamin|coauthors=Rosenberger, Gerhard|translator=[[新妻弘]]・[[木村哲三]]|date=2002-02|title=代数学の基本定理|publisher=共立出版|isbn=4-320-01689-0}} |
||
== 関連文献 == |
== 関連文献 == |
2020年5月19日 (火) 02:45時点における版
代数学の基本定理(だいすうがくのきほんていり、英: fundamental theorem of algebra)は「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」 という定理である。
概要
一般に実数係数の代数方程式が実数の範囲内に解を有するとは限らないが、x2 + 1 というただ 1 つの多項式の根(虚数単位)を実数体に付け加えると、どんな代数方程式でもその体系内で解ける。
この定理の主張は、因数定理などを用いて帰納的に
- 複素数係数の任意の n 次多項式
- は複素数の根を重複度を込めてちょうど n 個持つ
という事実を導くので、このことを指して代数学の基本定理と呼ぶこともある。特に、どのような複素係数多項式であっても、それを複素数係数の一次式の冪積に分解できる。すなわち、体論の言葉で言えば「複素数体は代数的閉体である」 。
歴史
17世紀前半にアルベール・ジラールらによって主張され、18世紀の半ばからジャン・ル・ロン・ダランベール、レオンハルト・オイラー、フランソワ・ダヴィエ・ド・フォンスネ、ジョゼフ=ルイ・ラグランジュ、ピエール=シモン・ラプラスらが証明を試み、その手法は洗練されていった。1799年にカール・フリードリヒ・ガウスが学位論文でそれまでの証明の不備を指摘し最初の証明を与えた(ただし、現在ではガウスの最初の証明も完全ではなかったことが分かっている[1])。後年ガウスはこの定理に3つの異なる証明を与えた。現在ではさらに多くの証明が知られている。
証明
最もよく知られている初等的な証明は、次のようにして行う。
- は、|x| を十分大きくするといくらでも大きくできる。
- コンパクト集合上の連続関数が最小値を持つことから、f(x) が最小値を持つことが分かる。
- その最小値を c として、c ≠ 0 と仮定すると、x と を与える の差分 を考えると、x を少しずらすだけで、より小さな f(x) が存在することが分かり、c が最小値であることに矛盾する。
これで証明が終わる。
複素解析的な証明
複素解析に基づく証明法としては、リウヴィルの定理を用いる方法と、ルーシェの定理を用いる方法が有名であり、大学教育における初等的な複素解析の教書は代数学の基本定理をこれらの方法で証明するまでの過程を学ぶことを目的としているものが多い。
以下にリウヴィルの定理を用いる証明の概略を示す(ルーシェの定理を用いる証明については、ルーシェの定理#代数学の基本定理の証明を参照)。
を最高次数の係数が 1 の任意のn次複素数係数多項式とする。 複素平面上で f(z) が零点を持たないと仮定すると、g(z) = 1/f(z) と置けば g(z) は複素平面全体で正則かつ有界であり、リウヴィルの定理から g(z) は定数となり、当然 f(z) も定数となるが、これは f(z) の形と矛盾する。従って、f(z) は複素平面上で少なくとも1つの零点を持つ。
脚注
参考文献
![]() |
- 彌永昌吉『数の体系』 下、岩波書店〈岩波新書(黄版)43〉、1978年4月。ISBN 4-00-420043-1。
- 高木貞治高木貞治『解析概論』(改訂第3版 軽装版)岩波書店、1983年9月。ISBN 4-00-005171-7。
- 高木貞治『代数学講義』(改訂新版)共立出版、1965年11月。ISBN 4-320-01000-0。
- Fine, Benjamin、Rosenberger, Gerhard 著、新妻弘・木村哲三 訳『代数学の基本定理』共立出版、2002年2月。ISBN 4-320-01689-0。
関連文献
- ガウス, カール・フリードリッヒ (1866), ガウス全集, 第3巻, ゲッティンゲン王立科学協会
- ガウスの第1証明(ラテン語), p. 1, - Google ブックス, 1-31頁。
- ガウスの第2証明(ラテン語), p. 32, - Google ブックス, 32-56頁。
- ガウスの第3証明(ラテン語), p. 57, - Google ブックス, 57-64頁。
- ガウスの第4証明(ドイツ語), p. 71, - Google ブックス, 71-103頁。
関連項目
外部リンク
- 代数学の基本定理 (PDF)
- 代数学の基本定理 - ウェイバックマシン(2004年6月16日アーカイブ分) (PDF)
- Weisstein, Eric W. "Fundamental Theorem of Algebra". mathworld.wolfram.com (英語).
- ガウスの第1証明(ラテン語) - Google ブックス
- ガウスの第1証明(ラテン語) - Google ブックス
- 『{{{2}}}』 - 高校数学の美しい物語