コンテンツにスキップ

第1章 実数論(導入:ライト版)

数学者・志村五郎氏は、著書の中で「大学で教える数学はだいたい決まっている」と述べています。解析学の全ての出発点である「実数論」もまた、その例外ではありません。

各分野には、その分野の骨格となる「基本概念・基本定理・基本技法」があり、それを学べばその分野の本質を理解できる

本稿では、本格的な専門講義に入る前のステップとして、微分積分学を支える土台である「実数論」の骨格を、直感的に理解しやすい3つの柱に絞って整理します。


実数論の本質は、「『つながっている』という直感的な概念を、論理的な言葉として厳密に定式化すること」にあります。

  1. 実数の構成(切断理論):有理数の限界を超え、論理的に「実数」という新しい数を作る。
  2. 実数の連続性(完備性):実数直線に「隙間がない」ことを保証する、解析学の核心。
  3. 極限の厳密化𝜀-𝑁論法):直感を排し、不等式を使って「限りなく近づく」を定義する。

1. 実数の構成 — 数を論理的に「作る」

Section titled “1. 実数の構成 — 数を論理的に「作る」”

「実数とは何か」という問いに対し、すでに知っている有理数のみを用いて実数を定義するステップです。

  • 有理数の切断 (𝐴|𝐵) のアイデア
  • 有理数から実数への拡張
  • 連続体としての実数直線のイメージ

2. 実数の連続性 — 解析学を支える「隙間のなさ」

Section titled “2. 実数の連続性 — 解析学を支える「隙間のなさ」”

微分積分学の多くの定理(中間値の定理など)は、この「実数の連続性」があるからこそ成り立っています。

実数 の空でない部分集合 𝑆 について:

(𝑆 𝑆有界)sup𝑆
  • 上限(sup)の存在
  • 区間縮小法の原理
  • 「実数には穴がない」というイメージの定式化

3. 極限の厳密化 — 直感を論理に置き換える

Section titled “3. 極限の厳密化 — 直感を論理に置き換える”

「限りなく近づく」という曖昧なイメージを、不等式を使った厳密な関係へと翻訳します。

  • 数列の収束の定義(𝜀-𝑁 論法)
  • コーシー列(収束先がわからなくても収束すると言える数列)
  • アルキメデスの原理

実数論の学習は、素朴なイメージを少しずつ言葉にしていくプロセスです。

  1. 構成:切断のイメージで、実数の存在を理解する
  2. 連続性:上限の存在を認め、解析学の土台を作る
  3. 論理𝜀-𝑁 論法に触れ、厳密な議論の作法を学ぶ

実数論の本質は、「解析学の全ての議論が立脚する地面を固めること」です。

学習の到達目標として、以下の点をぼんやりとでもイメージできるようになれば、実数論の第一歩は成功です。

  • デデキントの切断が何をしようとしているのかイメージできる
  • 実数の連続性(完備性)がなぜ大切なのかを感じ取れる
  • 𝜀-𝑁 論法)の式を見て、意味するところを読み解こうとできる

実数論は、一見すると「当たり前のこと」を難しく論じているように見えます。しかし、この土台を意識して微分積分を学び直すと、今までとは違う深い景色が見えてくるはずです。