コンテンツにスキップ
Wikipedia

代数学

出典: フリー百科事典『ウィキペディア(Wikipedia)』
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年5月)
翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
  • 英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。
  • 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
  • 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
  • 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
  • 翻訳後、{{翻訳告知|en|Algebra|...}}をノートに追加することもできます。
  • Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
二次方程式の解の公式

代数学(だいすうがく、algebra )は、数学の一分野で、数の代わりに文字を用いて方程式の解法などを研究する学問 [1] 。現代の代数学はその研究範囲を大きく広げ、半群・群・環・多元環(代数)・可換体・束などの代数系を研究する学問(抽象代数学)となった。代数学の考え方は、解析学や幾何学等にも浸透しており、数学の諸分野に共通言語を提供する役割を果たしている。

以下に示す代数学の諸分野の名に現れる半群・群・環・多元環(代数)・体・束は、代表的な代数的構造である。

群・環・多元環・体の理論はエヴァリスト・ガロアなどによる代数方程式の解法の研究などに起源を持ち、束論はジョージ・ブールによる論理学の数学的研究などに起源を持つ。

現代の日本の大学では 1, 2 年次に微分積分学と並んで線型代数学を学ぶが、線型代数はベクトル空間という代数系を研究する代数学の一分野である。

歴史

[編集 ]
フワーリズミーの著書『インドの数の計算法』のとあるページ

プラトンの時代までに、古代ギリシアの数学は大きな変化を遂げた。ギリシア人は線で描いた幾何学図形のそれぞれの線に文字を添え、その文字を式の項として使用する幾何代数の考え方を生み出した[2] 。ディオファントス(紀元3世紀)はアレクサンドリアの数学者で『算術』という著書の作者であり、時に「代数学の父」とも呼ばれる。その書は代数方程式の解法に関するものである。

algebra という語はアラビア語の al-jabr (アラビア文字表記:الجبر、"reunion of broken parts"(バラバラのものの再結合)[3] )に由来し、近代数学はアラビア数学から発展したもので、その起源を遡ると古代インドの数学にたどり着く。9世紀のバグダードの数学者フワーリズミーが著作した 『イルム・アル・ジャブル・ワル・ムカバラ("Ilm al-jabr wa'l-muqabalah")(約分と消約との学=The science of reduction and cancellation)』(820年)を、チェスターのロバート(あるいはバースのアデラード) )が、"Liber algebrae et almucabala"としてラテン語に翻訳した。この書によってフワーリズミーは代数学を幾何学や算術から独立した一分野として確立した[4] 。これが後500年間にわたってヨーロッパの大学で教えられたという。al-jabr は、アラビア語では「al」(阿: ال )が定冠詞、「jabr」(阿: جبر )が「バラバラのものを再結合する」「移項する」という意味であることから、インド数学のことである。それ以前にフワーリズミーはインドの数学から学んだことを『インドの数の計算法』として著し、イスラム世界に広めた[5] [6] 。これは二次方程式、算術、十進法、0などの内容でラテン語に翻訳され、著者の名は「アルゴリズム」の語源であるといわれている。

代数学の起源は古代バビロニアとされており[7] 、古代バビロニア人はアルゴリズム的に計算する高度な算術的体系を生み出した。古代バビロニア人は、今日線型方程式や二次方程式、ディオファントス方程式を使って解くような問題を計算するための公式を開発した。一方同時代(紀元前1千年紀)のエジプトやギリシアや中国では、そのような問題は幾何学的に解かれていた。例えば、「リンド数学パピルス」、エウクレイデスの『ユークリッド原論』、『九章算術』などである。『原論』に代表される古代ギリシアにおける幾何学では、個別の問題を解くだけでなくより一般化した解法の枠組みを提供していたが、それが代数学へと発展するには中世アラビア数学がヨーロッパに紹介されるのを待つ必要があった。

ヘレニズム期の数学者アレクサンドリアのヘロンとディオファントス [8] やインドの数学者ブラフマグプタらはエジプトやバビロニアの伝統に則って数学を発展させ、ディオファントスの『算術』やブラーマグプタの『ブラーマ・スプタ・シッダーンタ』といった成果が生まれた[9] 。例えば、二次方程式の(ゼロや負の解を含む)完全な解法を初めて記したのがブラーマグプタの『ブラーマ・スプタ・シッダーンタ』である。その後、アラブ世界(イスラム世界)の数学者が代数学的手法をより高度なものへと洗練させていった。ディオファントスや古代バビロニア人は方程式を解くのに場当たり的な技法を使っていたが、アル=フワーリズミーは一般化された解法を初めて使用した。彼は、一次不定方程式、二次方程式、二次不定方程式、多変数の方程式などを解いた。

1545年、イタリアの数学者ジェロラモ・カルダーノは40章からなる『偉大なる術』を著し、世界で初めて四次方程式の解法を示した。

ギリシャ人数学者ディオファントスは昔から「代数学の父」と呼ばれてきたが、最近ではアル=フワーリズミーの方がその名にふさわしいという議論がある[10] 。ディオファントスを支持する側は、フワーリズミーの著作は『算術』よりも扱っている内容が初等的であり、フワーリズミーの著作が修辞的で冗長なのに対して『算術』は簡潔に記述してある点を指摘する[11] 。一方フワーリズミーを支持する側は、彼が左右の辺の間での項の移動や打消しといった手法を導入した点(al-jabr の本来の意味とされている)[12] 、幾何学的証明を証拠としつつ二次方程式の解法を徹底的に解説し[13] 、代数学を独立した分野にまで高めたという点を指摘する[14] 。フワーリズミーの代数学はもはや一連の問題と解法を示すのではなく、単純な式からそれらを組み合わせた複雑な式まで全ての可能性を網羅し、今後の真の研究対象が何であるかを示している。そして、無限に存在する問題のクラスを定義するためにのみ必要な一般化された形で方程式を研究した[15] 。

ペルシャの数学者ウマル・ハイヤームは代数幾何学の創始者とされており、三次関数の一般解を見出したことで知られる。同じくペルシャの数学者シャラフ・アッ=ディーン・アッ=トゥースィは様々な三次方程式の代数解や数値解を求めた[16] 。彼は関数の概念も生み出した[17] 。インドの数学者マハーヴィーラとバースカラ2世、ペルシャの数学者アル=カラジ [18] 、中国の数学者朱世傑は、三次、四次、五次などの高次多項式方程式を数値的手法で解いた。13世紀にはレオナルド・フィボナッチの三次方程式の解法に代表されるように、ヨーロッパにおける代数学の復興がなされた。一方でイスラム世界では数学が衰退し、それと入れ替わるようにヨーロッパで数学が盛んになっていった。その後、代数学はヨーロッパを中心として発展していった。

16世紀末のフランソワ・ビエトは、古典的学問分野としての代数学を創始した。1637年のルネ・デカルトの『幾何学 (La Géométrie )』は解析幾何学の先駆けであり、近代的な代数的記法を導入したものである。代数学の歴史上重要なもう1つの出来事は、16世紀中ごろに三次方程式および四次方程式の代数学的一般解が得られたことである。17世紀には日本の数学者である関孝和が行列式の考え方を考案し、それとは独立にゴットフリート・ライプニッツが10年ほど遅れて同じ考え方に到達した。行列式は連立一次方程式を行列を使って解くのに使われる。18世紀のガブリエル・クラメールも行列と行列式について貢献した。ジョゼフ=ルイ・ラグランジュは1770年の論文 Réflexions sur la résolution algébrique des équations で根の置換について研究し、ラグランジュの分解式 (英語版) (Lagrange resolvent) を導入した。パオロ・ルフィニは対称群について研究し、同時に代数方程式の解法についても研究した。

19世紀には抽象代数学が生まれた。当初は後にガロア理論と呼ばれるようになった分野と構成可能性問題が中心だった[19] 。近代代数学は、リヒャルト・デーデキントやレオポルト・クロネッカーの業績に見られるように代数的整数論や代数幾何学といった境界領域を通して数学の他の領域とも密接に関連している[20] 。ジョージ・ピーコック (英語版)は算術と代数学における公理的思考法を創始した。オーガスタス・ド・モルガンは Syllabus of a Proposed System of Logic において関係代数を見出した。ウィラード・ギブズは3次元空間のベクトルの代数学を生み出し、アーサー・ケイリーは行列の代数学(非可換代数学の一種)を生み出した[21] 。

訳語の由来

[編集 ]

"Algebra"の訳語である「代数学」という言葉は、1856年に李善蘭がアレクサンダー・ワイリー (英語版)(偉烈亜力)と協力してド・モルガンの著作"Elements of Algebra"を翻訳するときに作られた[22] 。この訳語を日本でも採用することは明治14年12月3日に開かれた東京数学会社第13回訳語会にて決定された[23] [24] 。和算家の川北朝鄰は「代数学」という訳語に大反対した。川北は「我が国では昔からこれ(Algebra)を点竄と称する」と述べ「点竄」という訳語を推した。字義の解説を請われた川北は「点竄という言葉は三国時代に魏帝の文書に用いられた「隠れたるを顕す」を意味する言葉である。この言葉を我が国の内藤公が採用された」と由来を解説し説得を試みた。しかし西洋数学者である菊池大麓や中川将行に、「奇を好むが如く思われる」「三国志中より引用したとか、なにか神変不可思議なることでもするようだ」などと反対され、結局退けられた。和算家の推す訳語を西洋数学者が退ける光景は訳語会で典型的にみられるものであった。

代数学の諸分野

[編集 ]

出典

[編集 ]
  1. ^ 第2版,世界大百科事典内言及, 日本大百科全書(ニッポニカ),百科事典マイペディア,ブリタニカ国際大百科事典 小項目事典,精選版 日本国語大辞典,デジタル大辞泉,世界大百科事典. "代数学とは". コトバンク. 2021年8月12日閲覧。
  2. ^ (Boyer 1991, "Europe in the Middle Ages" p. 258) 「ユークリッドの『原論』7巻から9巻で、図形の線分に文字を添え、それで数を表している。アル=フワーリズミーの『約分と消約の計算の書』でも幾何学的証明に際しては文字を添えた図形を使っている。しかし、フワーリズミーの書で方程式に書かれている係数は全て具体的な数で、実際に数値が書かれるか、文章で説明されていた。アル=フワーリズミーは確かに代数による一般化の考え方を暗示したが、幾何学の問題を代数的に表現する体系を構築したわけではない」
  3. ^ "algebra". Oxford English Dictionary. Oxford University Press. 2017年12月15日閲覧。
  4. ^ Roshdi Rashed (November 2009), Al Khwarizmi: The Beginnings of Algebra, Saqi Books, ISBN 0863564305  
  5. ^ A Brief History of Zero and Indian Numerals
  6. ^ A History of Mathematics: An Introduction (2nd Edition) (Paperback) Victor J katz Addison Wesley; 2 edition (March 6, 1998)
  7. ^ Struik, Dirk J. (1987). A Concise History of Mathematics. New York: Dover Publications.
  8. ^ Diophantus, Father of Algebra Archived 2013年7月27日, at the Wayback Machine.
  9. ^ History of Algebra
  10. ^ Boyer 1991, pp. 178–181
  11. ^ Boyer 1991, p. 228
  12. ^ (Boyer 1991, "The Arabic Hegemony" p. 229) 「al-jabr と muqabalah という語の正確な意味は定かではないが、一般的解釈は上述の通りである。al-jabr は「復元」または「完成」などを意味し、項を両辺から引くことで一方からもう一方の辺に移すことを意味したと見られている。muqabalah は「縮減」または「平衡」を意味し、項を打ち消しあうことで式を既約な形式にすることを意味したと見られる」
  13. ^ (Boyer 1991, "The Arabic Hegemony" p. 230) 「上に示した6つの方程式により、正の根を持つ一次方程式と二次方程式のあらゆる可能性が尽くされている。アル=フワーリズミーの解説は非常に体系的で徹底的であり、読者は解法を楽に習得できたに違いない」
  14. ^ Gandz and Saloman (1936), The sources of al-Khwarizmi's algebra, Osiris i, p. 263–277: 「ある意味では、フワーリズミーは代数学を初歩から教えようとしたがディオファントスの興味の中心は数論だったと見られ、フワーリズミーの方がディオファントスよりも「代数学の父」と呼ばれるのにふさわしい」
  15. ^ Rashed, R.; Armstrong, Angela (1994), The Development of Arabic Mathematics, Springer, pp. 11–2, ISBN 0792325656, OCLC 29181926  
  16. ^ O'Connor, John J.; Robertson, Edmund F., "Sharaf al-Din al-Muzaffar al-Tusi", MacTutor History of Mathematics archive , University of St Andrews , https://mathshistory.st-andrews.ac.uk/Biographies/Al-Tusi_Sharaf/  .
  17. ^ Victor J. Katz, Bill Barton (October 2007), "Stages in the History of Algebra with Implications for Teaching", Educational Studies in Mathematics (Springer Netherlands) 66 (2): 185–201 [192], doi:10.1007/s10649-006-9023-7  
  18. ^ (Boyer 1991, "The Arabic Hegemony" p. 239) "Abu'l Wefa was a capable algebraist as well as a trigonometer. [...] His successor al-Karkhi evidently used this translation to become an Arabic disciple of Diophantus - but without Diophantine analysis! [...] In particular, to al-Karkhi is attributed the first numerical solution of equations of the form ax2n + bxn = c (only equations with positive roots were considered),"
  19. ^ "The Origins of Abstract Algebra". University of Hawaii Mathematics Department.
  20. ^ "The History of Algebra in the Nineteenth and Twentieth Centuries". Mathematical Sciences Research Institute.
  21. ^ "The Collected Mathematical Papers". Cambridge University Press.
  22. ^ 王青翔『「算木」を超えた男』東洋書店、東京、1999年、15頁。ISBN 4-88595-226-3。 
  23. ^
    • 東京數學會社「第ニ套 譯語會記事」『東京數學會社雑誌』第43号、東京数学会社、1882年、8-9頁、doi:10.11429/sugakukaisya1877.1882.43_7。 
    • 佐藤健一「明治初期における東京数学会社の訳語会記事(4)」『数学史研究』第167号、日本数学史学会、2000年、27-29頁。 上記の東京数学会社雑誌43号に掲載された第13回訳語会の訳語記事を読みやすくしたものが掲載されている。
  24. ^ 佐藤英二「東京数学会社訳語会における「算数学」と「算術」をめぐる論争」『東京大学大学院教育学研究科紀要』第35巻、1995年12月20日、303頁、doi:10.15083/00031703。 

参考文献

[編集 ]
  • Boyer, Carl B. (1991), A History of Mathematics (2 ed.), John Wiley & Sons, Inc, ISBN 0471543977  
  • Donald R. Hill, Islamic Science and Engineering (Edinburgh University Press, 1994).
  • Ziauddin Sardar, Jerry Ravetz, and Borin Van Loon, Introducing Mathematics (Totem Books, 1999).
  • George Gheverghese Joseph, The Crest of the Peacock: Non-European Roots of Mathematics (Penguin Books, 2000).
  • John J O'Connor and Edmund F Robertson, MacTutor History of Mathematics archive (University of St Andrews, 2005).
  • I.N. Herstein: Topics in Algebra. ISBN 0-471-02371-X
  • R.B.J.T. Allenby: Rings, Fields and Groups. ISBN 0-340-54440-6
  • L. Euler: Elements of Algebra , ISBN 978-1-89961-873-6
  • Isaac Asimov Realm of Algebra (Houghton Mifflin), 1961

関連項目

[編集 ]

外部リンク

[編集 ]
ウィキブックスに代数学 関連の解説書・教科書があります。
主要分野
トピックス
主要賞
応用
学会・団体
競技
研究所

AltStyle によって変換されたページ (->オリジナル) /