# 実解析：量化の順序を証明に使う — 学習ワークシート

[学習ガイド](https://unireadinglist.com/ja/guides/real-analysis/)

[科目・テーマ: 実解析](https://unireadinglist.com/ja/subjects/mathematics/#course-real-analysis)

出典確認日: 2026-11-04

学習順路・例題の編集責任：University Reading List編集プロジェクト。

数列、関数の極限、一様収束を実区間上で学ぶ最初の証明中心の経路。Lebl は第6版の第I巻、Abbott は2015年第2版、Bartle–Sherbert は2011年第4版を指す。測度論は前提としない。後の距離空間や多変数の内容は、この六つの成果物の範囲外である。

## 出発点を選ぶ

- [ ] 無料の証明課程がほしい
  Lebl を選び、基礎的な証明入門を先に学ぶ。著者は演習解答集を用意していないので、証明を確認する相手や方法も決める。

- [ ] 定義の前に動機がほしい
  定義がどんな落とし穴を防ぐのか、議論と例から理解したいなら Abbott。

- [ ] 標準的な体系に沿いたい
  準備事項と実数から極限・連続性へ進む、伝統的な構成なら Bartle–Sherbert。

## 三冊を比較する

### Basic Analysis: Introduction to Real Analysis

Jiří Lebl · 6
無料の最初の解析学

選ぶ場面: 量化された文を書けて、購入せず一冊分を学びたいとき。
別の教材が適する場面: 全演習の公開解答が必要なときや、実直線の基礎より先に多変数を学びたいとき。
読む範囲: 第I巻の Sequences and Series、Continuous Functions、Sequences of Functions。完備性には Real Numbers。
限界と注意点: 解答集がないため、各含意の確認と他者からのフィードバックが重要。第II巻は続編。

#### 選ぶ前に試す

数列の極限の定義から、添字を明示して 1/(n+1)→0 を証明する。
確認すること: N を epsilon から選び、すべての n≥N で不等式を示す。小数を並べるだけでは足りない。

自分のメモ:

________________________________

[公式の無料教材](https://www.jirka.org/ra/)

[書誌情報と入手方法](https://unireadinglist.com/ja/subjects/mathematics/basic-analysis-lebl/)

### Understanding Analysis（解析学を理解する）

Stephen Abbott · 2 · 2015
動機から進む証明

選ぶ場面: 近似や有限から無限への移行を、具体例で捉えたいとき。
別の教材が適する場面: 計算だけの微積分を求めるときや、教員用解答を自由に入手できると考えるとき。
読む範囲: Sequences and Series、Functional Limits and Continuity、Sequences and Series of Functions。
限界と注意点: 議論と探究課題に時間をかける構成であり、証明を書く作業は省略できない。

#### 選ぶ前に試す

\[0,1\] 上の x^n の各点極限を書き、一様収束の主張がどこで崩れるか調べる。
確認すること: x=1 を別に扱い、その近くの点を示す。一定解像度の図だけで一様性を判断しない。

自分のメモ:

________________________________

ISBN: 9781493927111

[書誌情報と入手方法](https://unireadinglist.com/ja/subjects/mathematics/understanding-analysis/)

### 実解析入門

Robert G. Bartle; Donald R. Sherbert · 4 · 2011
体系的な初学者向け参考書

選ぶ場面: 定義、定理、演習を実直線上で順に追いたいとき。
別の教材が適する場面: 大学院の測度論や一般的な多変数解析の教科書を探すとき。
読む範囲: Preliminaries、The Real Numbers、Sequences and Series、Limits、Continuous Functions。必要に応じて関数列へ。
限界と注意点: 構成は追いやすいが、似た仮定を区別する例は自分でも作る必要がある。

#### 選ぶ前に試す

下の f\_n に対し、x に依存しない上界を求め、上限の役割を説明する。
確認すること: 同じ N が全定義域を制御する必要がある。N(x) はより弱い命題しか示さない。

自分のメモ:

________________________________

ISBN: 978-0-471-43331-6

[書誌情報と入手方法](https://unireadinglist.com/ja/subjects/mathematics/introduction-to-real-analysis/)

## 準備を確認する

### 極限の命題を否定できるか

自分のメモ:

________________________________

### N を選ぶ前に不等式を整理できるか

自分のメモ:

________________________________

### 微分と収束の証明を区別できるか

自分のメモ:

________________________________

## 六つのステップで学ぶ

- [ ] 二つの定義を書く

読む範囲: 選んだ本の数列・関数極限の単元。

取り組む課題: 各点収束と一様収束を並べ、各選択の依存関係を書く。

確認すること: N が x に依存してよいのは各点収束だけ。

自分のメモ:

________________________________

- [ ] 数列の極限を証明する

読む範囲: 各書の Sequences and Series。

取り組む課題: 1/(n+1) の完全な epsilon 証明を書く。

確認すること: 最後の含意は n=N だけでなく全 n≥N に適用される。

自分のメモ:

________________________________

- [ ] 大域誤差を求める

読む範囲: 微分と関数列の単元。

取り組む課題: x^n(1−x) を微分し、端点も確認して正確な最大値を求める。

確認すること: 内点の停留点を見つけるだけでは最大値の証明にならない。

自分のメモ:

________________________________

- [ ] 上界を許容誤差へ変える

読む範囲: 関数列の単元。

取り組む課題: x に依存しない上界から共通 N を与える。

確認すること: 証明に x=0 と x=1 も含める。

自分のメモ:

________________________________

- [ ] 仮定を変えて試す

読む範囲: 同じ一様収束の単元。

取り組む課題: n 倍した追試を解き、固定点の議論と移動点の反例を両方示す。

確認すること: 各固定点で収束しても、x\_n 上の正の下界が一様性を妨げる。

自分のメモ:

________________________________

- [ ] 誤った証明を点検する

読む範囲: 定義と自分の二つの解答。

取り組む課題: 「各 x に N があるから全 x に同じ N を取れる」という文を添削する。

確認すること: 不当な量化順序の交換を示し、上限の評価か反例に置き換える。

自分のメモ:

________________________________

## 解答付きの例題: 最大点が動いても高さは一様に小さくなる

整数 n≥1 に対し、\[0,1\] 上で f\_n(x)=x^n(1−x) とする。各点極限と正確な最大誤差を求め、ゼロへの一様収束を証明し、epsilon\>0 に対する共通添字を与えよ。

前提: 閉区間 \[0,1\] 全体上の実数値関数。通常の各点収束と上限ノルムによる収束を用い、n は正の整数。

自分のメモ:

________________________________

## 前提を変えて考える: 増える係数が量化の問題を変える

定義域は \[0,1\] のまま、g\_n(x)=n x^n(1−x) に変える。ゼロへの各点収束と一様収束を判定せよ。x\_n=1−1/(2n) を使い、固定点での極限も正当化すること。

自分のメモ:

________________________________

## 次に進む前に

- 共通添字を含む量化された epsilon 証明を書く。
- n 倍した列が各点収束を保ち、一様性を失う理由を説明する。
- 準備に合う一冊と証明の確認方法を選ぶ。

## 解答と解釈

### 極限の命題を否定できるか

epsilon、N、n、x の順序を書く。一様収束の失敗では、一つの正の許容誤差がどの共通 N にも反例を与える。

### N を選ぶ前に不等式を整理できるか

1/(n+1)\<epsilon には N=ceil(1/epsilon) が使える。n≥N なら狭義不等式が成立する。epsilon\>0 を保つ。

### 微分と収束の証明を区別できるか

端点と符号も確認すれば微分で大域最大値を求められる。一様収束にはさらにゼロへ向かう共通上界が必要。

### 最大点が動いても高さは一様に小さくなる

1. 固定した 0≤x\<1 では x^n→0 かつ 0≤1−x≤1。x=1 では常にゼロなので、各点極限は全域でゼロ。
2. 0\<x\<1 では f\_n′=x^(n−1)\[n−(n+1)x\]。x=n/(n+1) の前で正、後で負となり、両端点ではゼロ。大域最大値は n^n/(n+1)^(n+1)。
3. 最大値は (n/(n+1))^n/(n+1)≤1/(n+1)。N=ceil(1/epsilon) とすれば、すべての n≥N と x に対し |f\_n(x)|\<epsilon。

各点極限も一様極限もゼロ。最大点は n/(n+1)、値は n^n/(n+1)^(n+1)。共通添字として N=ceil(1/epsilon) が使える。

結果を検証する: n=1 では x=1/2 で 1/4、n=2 では x=2/3 で 4/27。最大点が1へ近づいても高さはゼロへ向かうので、山が動くことだけでは一様収束を否定できない。

### 前提を変えて考える: 増える係数が量化の問題を変える

1. 端点ではゼロ。固定した 0\<x\<1 に対し a\_n=n x^n と置くと、隣接比は x(1+1/n)。x\<q\<1 を選べば十分大きい n で比は q 以下となり、減少する等比数列で抑えられる。したがって各固定点で g\_n→0。
2. x\_n では g\_n(x\_n)=(1/2)(1−1/(2n))^n。ベルヌーイの不等式から括弧の n 乗は 1−n/(2n)=1/2 以上なので、値は常に 1/4 以上。
3. epsilon=1/8 とする。どんな N に対しても n≥max(N,1) と対応する x\_n を選べば誤差は epsilon より大きい。共通添字は存在しない。

g\_n は各点ではゼロへ収束するが、\[0,1\] 上で一様には収束しない。移動する点での誤差は少なくとも 1/4。

結果を検証する: n=1 では x\_1=1/2、値は 1/4。反例の点は n とともに変わるため、固定点での収束とは矛盾しない。有限の格子は細い山を見逃しうる。

## よくある誤り

### 隠れた添字の依存

N(x,epsilon) を共通の N と呼び直すと命題が変わる。依存関係を明記する。

### 停留点だけを見る

大域最大値を報告する前に端点と微分の符号も比較する。

### 有限の図を証明にする

格子の間を移動する山は図で排除できない。上界か具体的な反例を示す。

## 出典と版の確認

- [Author: Basic Analysis, version and contents](https://www.jirka.org/ra/)
  著者は二巻の範囲、基礎証明の前提、第6版の改訂、演習解答集がない方針を示している。

- [Springer: Understanding Analysis, second edition](https://link.springer.com/book/10.1007/978-1-4939-2712-8)
  Springer は2015年第2版ハードカバーを区別し、数列・極限・関数列の単元を示している。

- [Wiley: selected fourth-edition hardcover](https://www.wiley.com/en-nl/introduction-to-real-analysis-4th-edition-p-9780471433316)
  Wiley は2011年第4版ハードカバーと実直線上の体系的な構成を示している。

提案する学習活動であり、公式の課題や全巻通読の主張ではありません。

[編集と選定の方法](https://unireadinglist.com/ja/editorial/)