講演資料
講義資料スライドの表紙です。スライド画像、または下の要約文中の青いページ番号リンクをクリックすると、別のタブで無駄なノイズのない、純粋なPDFビューア画面が起動し、指定されたページへ直接ジャンプして快適に閲覧できます。
全体概要
本セミナー「20180630Math角川」は、数学の歴史的源流から現代物理学の最前線までを一気に貫く、知的冒険の講義です。中心的な「問い」は、「数学とは何か、そして数学はいかにして現実の宇宙を記述しうるのか」という根源的なテーマです。
議論は古代バビロニア（紀元前1800年代）の粘土板から始まります。YBC 7289やPlimpton 322といった遺物が示すように、人類は√2の近似値や直角三角形の整数解（ピタゴラス数）を、ギリシア以前の文明においてすでに高度な精度で把握していました [p.47], [p.48]。この事実は「数学の始まり」に関する通念を大きく問い直すものです。
そこから講義はギリシア数学の黄金期へと進みます。ピタゴラス、プラトン、エウクレイデス（ユークリッド）、アルキメデス、エラトステネスといった巨人たちの業績を紹介しながら、特にユークリッド『原論』が2000年以上にわたって数学的思考の骨格を形成してきた経緯を丁寧に追います [p.74], [p.78], [p.82], [p.83]。
講義の最大のクライマックスのひとつは、19世紀に生まれた「非ユークリッド幾何学」の衝撃です [p.90], [p.91]。ガウス、ボヤイ、ロバチェフスキー、そしてリーマンへと連なる革命的な思考の連鎖が、「空間そのものの曲がり」という概念を数学に導入しました。リーマンが1854年に行った記念碑的な講演「幾何学の基礎をなす仮説について」[p.93], [p.105] は、次元・計量・曲率という現代的な枠組みを初めて提示し、その思想はアインシュタインの一般相対性理論へと直結します [p.94], [p.100], [p.102]。
終盤には、時空の計量・測地線・光円錐・因果構造といった相対論の核心概念が展開され、さらにZFC集合論やトポス理論、Univalent Foundationsなど数学の基礎論の現在形まで射程に収めます [p.130]。本講義は「数学史」の概説にとどまらず、数学という営みが問い続けてきた「空間・構造・真理」の本質に肉薄する、総合的な知的探求です。
講義のロードマップ
■ Part 1: 導入・動機と講義の枠組み
- この部の核心:
なぜ今、数学の歴史を語るのか。IT技術の普及によって「数学とITの接点」への関心が高まっている一方で、その背景にある数理的基盤は見過ごされがちです。本講義はその空白を埋めることを目的とし、古代から現代までの数学の骨格を体系的に提示します [p.2]。
- 論理展開:
- 数学の学び直しへの社会的動機とIT・数学の連動性が提示される [p.2]
- 数学を「単なる道具」ではなく「思考の構造」として捉える視点が強調される [p.2], [p.3]
- 講義全体のアジェンダ（バビロニア→ギリシア→非ユークリッド幾何→リーマン幾何→相対論→基礎論）が提示される [p.6]
■ Part 2: バビロニア数学――「ピタゴラス以前」の驚異
- この部の核心:
ピタゴラスの定理として知られる関係式は、ピタゴラス（582〜496 BC）よりも遙か以前、バビロニア文明において実質的に知られていました。粘土板の数値が示す精密さは、古代の数学的知性の高さを如実に物語ります [p.47], [p.48]。
- 論理展開:
- YBC 7289：√2を60進法で「1, 24, 51, 10」と表現、値は1.41421296…に相当 [p.47]
- Plimpton 322（紀元前1822〜1762年頃）：ピタゴラス数の組を体系的に列挙した粘土板 [p.48]
- Berlin Papyrus 6619（エジプト、紀元前1800年頃）：面積100の二次方程式の解法を含む [p.54]
- フェルマーの最終定理（xⁿ+yⁿ=zⁿはn≧3で整数解なし、1994年証明）との対比でピタゴラス数の特殊性を強調 [p.53]
■ Part 3: ギリシア数学の巨人たち
- この部の核心:
ピタゴラス、プラトン、エウクレイデス、アルキメデス、エラトステネスという一連の思想家が、数学を「経験的技術」から「論理的演繹体系」へと転換させました。この転換こそが西洋科学の根幹を形成します [p.55], [p.74], [p.75]。
- 論理展開:
- ピタゴラス（570〜495 BC）：定理のみならず「哲学としての数学」を提唱、女性への開放的な教育姿勢 [p.56], [p.57]
- プラトン（427〜347 BC）：「幾何学を知らぬ者は入るべからず」、イデア論と正多面体（プラトンの立体）の対応 [p.62], [p.67], [p.68]
- ケプラーによる正多面体と惑星軌道の対応（Mysterium Cosmographicum, 1596年）[p.69], [p.70]
- エウクレイデス（330〜276 BC頃）：『原論』全13巻の構成、5つの公準、545命題 [p.74], [p.78], [p.82], [p.83], [p.84], [p.85], [p.86]
- アルキメデス（287〜212 BC）[p.75]、エラトステネス（275〜194 BC）：地球の周長推定、経度・緯度の概念の萌芽 [p.76]
- ヒュパティア（415年没）：アレクサンドリア図書館焼失と古代知識の断絶 [p.79], [p.80]
- 1482年にユークリッド『原論』が活版印刷で刊行される意義 [p.81]
■ Part 4: 複素数と幾何学の拡張
- この部の核心:
ピタゴラスの定理 x²+y²=r² は、複素数平面の導入によって x+iy という形で幾何学的に再解釈されます。実数軸と虚数軸を組み合わせた「複素平面」は、数と幾何を統合する強力な言語となります [p.60], [p.61]。
- 論理展開:
- x=rcosθ、y=rsinθ による極座標表示とピタゴラスの定理の関係 [p.60]
- 複素数 z=x+iy、共役複素数 z*=x−iy の幾何学的意味 [p.61]
- オイラーの公式 e^(iπ)=−1 への接続（示唆） [p.61]
■ Part 5: 非ユークリッド幾何学の革命
- この部の核心:
2000年間「自明の真理」とされてきたユークリッドの第5公準（平行線公理）を否定することで、まったく異なる整合的な幾何学が構築できることが19世紀初頭に発見されました。この発見は数学の「絶対的真理」観を根底から揺るがしました [p.90], [p.91], [p.92]。
- 論理展開:
- ガウス（1813年頃）、Schweikart（1818年）が非ユークリッド幾何の可能性を独立に着想 [p.90]
- ボヤイ（János Bolyai）とロバチェフスキー（Nikolai Lobachevsky）が1830年代に独立に双曲幾何学を公表 → 「Bolyai-Lobachevskian幾何」と呼ばれる [p.90]
- ロバチェフスキーの形式化とボヤイの業績の錯綜した優先権争い [p.91]
- 三角形の内角の和：球面幾何で>180°、双曲幾何で[p.92]
■ Part 6: リーマン幾何学――空間の内的構造
- この部の核心:
リーマンの1854年の講演「幾何学の基礎をなす仮説について」は、「n次元多様体」「計量テンソル g_mn」「曲率」という現代的概念を初めて体系的に提示しました。これはアインシュタインの一般相対性理論の数学的基盤となり、現代物理学の根幹を支えます [p.93], [p.94], [p.100], [p.102]。
- 論理展開:
- 線素 ds²=dx²+dy²（平坦な場合）から一般の計量 ds²=Σg_mn dx^m dx^n への拡張 [p.97], [p.101]
- 計量テンソル g_mn：各点 X における内積構造を定義するn×n対称行列、平坦空間では単位行列に一致 [p.102], [p.103]
- リーマンの講演の目次（n次元多様体の概念、線素の表現、曲率の測定、空間への応用）が原文英訳で引用される [p.106], [p.107], [p.108], [p.109]
- 地図投影法（球面を平面へ写す問題）との関連で計量の変換の意味が示される [p.98]
■ Part 7: 相対性理論と時空の幾何学
- この部の核心:
リーマン幾何学の言語は、アインシュタインの一般相対性理論において「重力＝時空の曲率」という形で物理的実体と結びつきます。測地線・光円錐・因果構造といった概念が、数学的厳密性と物理的直観の両面から提示されます [p.120], [p.121], [p.122], [p.127]。
- 論理展開:
- ミンコフスキー計量（符号 −1,+1,+1,+1 または +1,−1,−1,−1）が平坦時空の標準的計量として登場 [p.127]
- 光円錐（Null cone）：因果関係を定義する時空の基本構造 [p.122]
- 測地線（geodesic）：曲がった時空における「最短経路」概念 [p.119]
- 共変微分・平行移動の概念が曲がった空間でのベクトルの輸送を記述する [p.117], [p.118]
- Penrose「Cycle of Time」を参照した宇宙論的な時空構造の図解 [p.120], [p.121], [p.122]
■ Part 8: 数学の基礎論と現代的展開
- この部の核心:
講義の最終部では、数学全体の「土台」を問い直す基礎論の現在が示されます。ZFC公理系、トポス理論、Univalent Foundations（ホモトピー型理論）など、現代の数学基礎論が抱える問題意識と多様なアプローチが俯瞰されます [p.130], [p.131], [p.132]。