実解析 入門

Why Rigorous Analysis?

入門（高校〜大学1年レベル）

この章について

入門では、「なぜ微積分を厳密にやり直す必要があるのか」を理解する。高校で習った極限や連続性の概念には、実は曖昧な部分がある。その曖昧さが問題になる例を見て、厳密な定義の必要性を実感することが目標である。

前提知識

  • 高校数学の微分・積分
  • 数列の極限（直感的理解）
  • 関数のグラフの読み方

目次

1. なぜ厳密性が必要か

直感だけでは失敗する例。

  • 「限りなく近づく」の曖昧さ
  • 無限小の罠
  • 歴史的な混乱と解決

2. 実数とは何か

数直線の「隙間」。

  • 有理数では足りない
  • $\sqrt{2}$ は本当に存在するか
  • 実数の完備性（直感）

3. 数列の極限

「近づく」の意味。

  • 収束の直感的イメージ
  • いくらでも近づける
  • 発散と振動

4. 上限と下限

「最大」が存在しないとき。

  • 上に有界な集合
  • 上限（supremum）の概念
  • 上限公理の重要性

5. 拡大実数と無限の演算

$\pm\infty$ を含む四則演算。

  • 拡大実数直線の定義
  • 四則演算の一覧表
  • 7つの不定形とその例

6. 連続性の直感

「グラフが繋がっている」とは。

  • 不連続の例
  • 連続関数の直感的性質
  • 中間値の定理（直感版）

7. 厳密化への動機

なぜ定義を精密にするか。

  • Weierstrass の怪物
  • 直感が裏切られる例
  • $\varepsilon$-$\delta$ 論法への準備

図解：有理数の穴

0 1 2 3
$\sqrt{2} \approx 1.414$
有理数に存在しない！
有理数 $\mathbb{Q}$ では「穴」がある → 実数 $\mathbb{R}$ で埋める
図1: 有理数の数直線には $\sqrt{2}$ の位置に「穴」がある

図解：数列の収束

n aₙ L L+ε L−ε N n ≥ N ならば |aₙ − L| < ε
図2: 数列の収束のイメージ（$n \geq N$ で全ての項が ε 帯に入る）

主要な概念

実数の完備性（直感版）

数直線には「隙間」がない。有理数だけでは $\sqrt{2}$ の位置に穴が空いているが、実数はその穴をすべて埋めたものである。

上限の存在（直感版）

上に有界な実数の集合には、必ず「最小の上界」（上限）が存在する。これは有理数では成り立たない性質であり、実数の本質的特徴である。

数列の収束（直感版）

数列 $\{a_n\}$ が $L$ に収束するとは、$n$ を大きくすればするほど $a_n$ が $L$ に「いくらでも近づける」こと。「十分大きな $n$ から先はすべて $L$ の近く」という意味。

図解：上限 (supremum)

sup A 上界 a b 集合 A = [a, b) sup A = 最小の上界 = b （A に含まれない）
図3: 集合 $A = [a, b)$ の上限

直感が裏切られる例

$0.999\ldots = 1$ ?

$0.999\ldots$ は $1$ と等しい。これは「限りなく近い」のではなく、本当に等しい。極限の厳密な定義がないと混乱する典型例。

連続だが微分不可能

Weierstrass は「至る所連続だが、どこでも微分できない」関数を構成した。「滑らかに繋がっている」と「微分できる」は同じではない。

極限の交換

$\displaystyle\lim_{n \to \infty} \lim_{m \to \infty} a_{n,m}$ と $\displaystyle\lim_{m \to \infty} \lim_{n \to \infty} a_{n,m}$ は一般に異なる。交換できる条件を知るには厳密な理論が必要。

有理数の穴

有理数だけを考えると、$\{x \in \mathbb{Q} : x^2 < 2\}$ には最大元がない。上限も有理数の中には存在しない。これが実数を必要とする理由。

このレベルで理解できること

極限計算の意味

$\displaystyle\lim_{n \to \infty} \frac{1}{n} = 0$ が「$1/n$ がどんどん小さくなる」だけでなく「任意に小さい正数より小さくできる」を意味することを理解。

中間値の定理の直感

連続関数 $f$ が $f(a) < 0 < f(b)$ なら、$f(c) = 0$ となる $c$ が存在。「グラフが繋がっている」ことの帰結。

無限の扱い

「無限に近づく」「無限に大きい」を厳密に扱う準備。$\infty$ は数ではないが、極限の記法として使う意味を理解。

学習のポイント

  • 疑問を持つ：「なぜこれで正しいのか」と問い続ける
  • 反例を探す：直感的な主張が成り立たない例を考える
  • 言葉を疑う：「限りなく近づく」「無限に小さい」の曖昧さに気づく
  • 歴史を知る：18-19世紀の数学者たちの苦闘を知ると動機が理解できる

読み物

消え去った量の亡霊 ［読み物］

無限小は0なのか0でないのか。バークリー司教の名高い批判から、微積分が二百年かけて極限と $\varepsilon$-$\delta$ 論法で厳密さを手に入れるまでの物語を、肩の力を抜いて語る。

無限和は直感を裏切る ［読み物］

$1-1+1-1+\cdots$ の答えは0か、1か、それとも1/2か。足す順番を変えると答えが変わる無限和の不思議から、「収束」と「発散」を区別することがなぜ大切なのかを気軽に語る。

アキレスはなぜ亀に追いつくのか ［読み物］

足の速いアキレスは、なぜ先を行く亀に永遠に追いつけない――はずなのに追いつくのか。二千年以上人々を悩ませたゼノンのパラドックスを、無限和と極限の考え方でほどいていく。

よくある質問

実解析入門ではどのようなことを学びますか？

実数の性質（完備性・アルキメデス性）・数列の収束・コーシー列・単調収束定理・実数の構成（Dedekind 切断・コーシー列）・連続関数の性質・中間値定理・最大値定理などを学びます。

実数の「完備性」はなぜ重要なのですか？

有界な単調増加数列が収束する（単調収束定理）・コーシー列は収束する（コーシーの収束基準）・上に有界な集合は上限を持つ（上限の存在）が成立します。これらは微積分学・実解析全体の基礎です。有理数系では成立しません。

実数論を厳密に学ぶ意義は何ですか？

高校数学での「極限・連続・微分・積分」は直観に基づいていますが、実解析では厳密に定義・証明します。これにより逆説的な関数（いたるところ不連続・いたるところ微分不可能）などの例外的挙動も正確に理解できます。