実解析とは？意味・微積分との違い・収束の証明

実解析は、極限、連続性、収束、そして実数を厳密に扱う分野です。微積分で出てくる主張が、なぜ本当に正しいのか気になったことがあるなら、その定義と証明を与えるのが実解析です。

直感的にはとてもシンプルです。微積分では量がある値に「近づく」と言いますが、実解析ではその「近づく」とは何かを正確に定義します。これは、多くの定理が特定の条件のもとでしか成り立たないからです。

実解析で最初に学ぶこと

実解析の初学者向けの授業では、たいていいくつかの基本概念を中心に学びます。

• 極限: 値がある数に近づくとはどういうことか。
• 連続性: 入力の小さな変化が出力の小さな変化を生むとはどういうことか。
• 収束: 数列や級数がある値に落ち着いていくとはどういうことか。
• 実数の完備性: 大まかに言えば、実数直線には隙間がないという性質。

これらの考え方は強く結びついています。連続性は極限を使って定義され、多くの収束定理は完備性に依存しています。

実解析で定義が重要な理由

微積分では、まず公式や計算法を学んで使うことが多いです。実解析では、その次に「なぜそのルールが成り立つのか」「どんなときに成り立たなくなるのか」を考えます。

一見すると明らかに見える主張でも、仮定を一つ外すと偽になることがあります。実解析では、それらの仮定を背景の細部として流さず、丁寧に追いかける力を身につけます。

例題: $1/n \to 0$ を証明する

古典的な最初の例として、次の数列を考えます。

$$a_n = \frac{1}{n}.$$

この $a_n$ が $0$ に収束することを証明したいです。

定義によれば、$a_n \to 0$ とは、任意の $\epsilon > 0$ に対して、ある整数 $N$ が存在して、すべての $n \ge N$ について

$$\left|\frac{1}{n} - 0\right| < \epsilon$$

が成り立つことです。

そこで、$N > 1/\epsilon$ となるように $N$ を選びます。たとえば、$N = \lceil 1/\epsilon \rceil + 1$ とすれば十分です。すると、すべての $n \ge N$ について

$$n > \frac{1}{\epsilon}$$

が成り立ちます。

ここで逆数をとると

$$\frac{1}{n} < \epsilon$$

を得ます。

したがって、すべての $n \ge N$ について

$$\left|\frac{1}{n} - 0\right| = \frac{1}{n} < \epsilon$$

です。

これで $1/n \to 0$ が証明できました。

この短い証明には、実解析らしい基本的な流れがよく表れています。正確な定義から始め、それに合う評価を選び、条件を直接確かめるのです。

この証明から学べること

大事なのは答えそのものではありません。グラフや表を見れば、$1/n$ が $0$ に向かうことはすでに予想できます。

実解析が加えるのは、もっと抽象的な問題でも通用する理由です。図だけでは十分でない場面でも使える説明を与えてくれます。

実解析の初学者がよくするミス

1. 根拠と証明を混同すること。いくつか値を計算しただけでは、極限は証明できません。
2. 定理の条件を無視すること。多くの結果は、連続性、有界性、完備性などの仮定のもとでしか成り立ちません。
3. 図から得た直感を、定義で確かめずに使ってしまうこと。
4. 有界性、収束、連続性のような関連する概念を混同すること。これらは関係していますが、同じものではありません。
5. $\epsilon$ と $N$ を役割を理解せず機械的に扱うこと。$\epsilon$ は目標とする精度を表し、$N$ は数列のどこまで進めばよいかを示します。

実解析はどこで使われるか

実解析は、高度な微積分、微分方程式、確率論、最適化、関数解析、そして応用数学の大きな部分の土台になります。

後の授業が計算中心であっても、その論理の背景には実解析があります。収束を正当化したり、極限と別の操作を入れ替えたり、近似が妥当かどうかを確かめたりするとき、あなたは解析的な考え方を使っています。

実解析と微積分の違い

微積分はふつう、方法に重点を置きます。この関数を微分する、その積分を計算する、この量を近似するといったことです。

一方、実解析は正当化に重点を置きます。なぜ導関数が存在するのか、なぜ近似が収束するのか、どの仮定があれば定理が成り立つのかを考えます。

どちらも重要です。微積分は道具を与え、実解析はその背後にあるルールを説明します。

似た証明をやってみよう

次を証明してみてください。

$$\frac{n+1}{n} \to 1.$$

定義から始めて、差を

$$\left|\frac{n+1}{n} - 1\right| = \frac{1}{n}$$

と書き直します。あとは上の例と同じ評価を使えばよいです。この議論が理解できれば、$\epsilon$-$N$ 証明の基本的な論理はつかめています。