幾何学基礎論とは? わかりやすく解説

幾何学基礎論

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/05/10 08:44 UTC 版)

幾何学基礎論(きかがくきそろん、: foundation of geometry: Grundlagen der Geometrie)は、ユークリッド幾何学の公理系に関する研究である。

平行線公準の問題より非ユークリッド幾何学が生まれたが、それは同時にユークリッド幾何学の厳密性にも疑問が投げかけられることでもあった。すなわち、

  • 無矛盾な幾何学を作るにはどのような公理系が必要であるか?
  • 更にそれらの公理系から構成される幾何学はどのような構造を持つか?
  • それらの複数の異なる公理系の幾何学の体系間の関係はどうなっているのか?

という疑問を解決すべく幾何学基礎論の研究が進められてゆくこととなる。

同時期にはラッセルのパラドックスにみられるように集合論でも似たような問題が起こり、数学の基礎そのものに疑問が持たれる時代であったが、ヒルベルトは形式主義に基づく方法によって、これらの問題を解決すべくヒルベルトの公理系を考案した。彼の著した『幾何学基礎論』はユークリッド幾何学の公理系を最も厳密に吟味した著作としても有名である。

また更に現代的なものとしてタルスキの公理系がある。"Metamathematische Methoden in der Geometrie"でその詳細を確認できる。

参考文献

  • 足立恒雄『よみがえる非ユークリッド幾何』日本評論社、2019年8月。ISBN 978-4-535-78879-4 
  • 幾何学基礎論の日本語訳
    • ヒルベルト『幾何学原理』林鶴一・小野藤太 訳、大倉書店〈数学叢書 第15編〉、1913年。NDLJP:933915  - 原タイトル:Grundlagen der Geometrie。原書第4版の邦訳。
    • D・ヒルベルト『幾何学基礎論』中村幸四郎 訳、筑摩書房〈ちくま学芸文庫Math&Science〉、2005年12月。 ISBN 978-4-480-08953-3  - 1930年に出版された原書第7版の邦訳。
    • D・ヒルベルト『ヒルベルト 幾何学の基礎 クライン エルランゲン・プログラム』寺阪英孝大西正男 訳・正田建次郎 解説・吉田洋一 監修、共立出版〈現代数学の系譜 第7巻〉、1970年6月。 ISBN 978-4-320-01160-1  - クラインのエランゲンプログラムの日本語訳と合本。原書第7版の邦訳。

関連項目

外部リンク


幾何学基礎論

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/20 00:51 UTC 版)

幾何学」の記事における「幾何学基礎論」の解説

幾何学人間図形直感基づいて研究されるが、直感のみに基づいて研究するわけにはいかない。そのためあいまいな直感ではなく明確に言葉や定義によって言い表された定義や公理基づいて幾何学体系化する試みは既にユークリッドによってなされたのだが、現代からみればこれは不完全なものであった19世紀入って批判的精神数学そのもの発達によりユークリッド幾何学公理系が実は論理的に不完全であることが指摘された。平行線公理問題非ユークリッド幾何学誕生などもそのような流れ一つとしてあげられるだろう。数学者にとって公理系論理的に不完全であれば正し方法証明したはずの定理からも矛盾出てしまうため、これが恐れられ一時期盛んに矛盾しない理想公理系探求が行われたわけである。その探求目的幾何学公理系から建設するための無矛盾公理系発見とその公理系によって構成される幾何学構造更にはそのような複数公理系間の関係(ユークリッド幾何学非ユークリッド幾何学との関係のような)であった19世紀後半よりその様々な代価案が提出されてきたが、最も決定的であったのが19世紀後半から20世紀初頭にはヒルベルトによって提唱されたものであり、その成果著書幾何学基礎」にその成果はまとめられた。 過度に抽象的な幾何学教育への導入抵抗し初等幾何学復活唱えた小平邦彦ユークリッド教育からの追放提唱したデュドネ。 ヒルベルト論理的整合性のために感覚から完全に分離され幾何学唱え、この本では点や線といった専門用語椅子などに置換してすら成立するとまで言われたが、それにしては図が沢山あるため小平邦彦などによって批判された。図すら一切存在しない初等幾何基礎付けジャン・デュドネの「線形代数初等幾何」を待たねばならないだろう。デュドネの本には図すら存在せずある意味専門用語ですら無意味であるというヒルベルト精神体現しているといえるこのような限界までの考察によって、公理とは「誰もが認めうる真理ではなく、「理論構成するための根本的要請」という考えシフトしていった。 このような極端に具体例軽視し形式主義に走る手法今日公理主義数学先駆けと見ることができる。岡潔小平邦彦などは極端な抽象化警鐘鳴らし、岡などは数学冬の時代とまで称した。しかし具体例数学的直感軽視するのが悪いことではなく、あくまで公理系無矛盾性大多数数学者にとって問題であり、そのため数学基礎証明などの根本的部分にその批判差し向けられのである公理系矛盾していたら正しくはじめたのにおかしな結果出てくるかもしれないことが問題視されこの方法は幾何学基礎論から発端となった同時期に問題となった集合論パラドクスあいまって幾何学とどまらず数学基礎論としてヒルベルトらにより研究継続されることとなる。

※この「幾何学基礎論」の解説は、「幾何学」の解説の一部です。
「幾何学基礎論」を含む「幾何学」の記事については、「幾何学」の概要を参照ください。

ウィキペディア小見出し辞書の「幾何学基礎論」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「幾何学基礎論」の関連用語

幾何学基礎論のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



幾何学基礎論のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの幾何学基礎論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの幾何学 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS