実解析：量化の順序を証明に使う
グラフがもっともらしく、各点で極限が正しくても、必要な命題が証明できたとは限らない。証明経験に合う教材を選び、点に依存してよい選択と、定義域全体に共通でなければならない選択を区別しよう。
学習順路・例題の編集責任：University Reading List編集プロジェクト。 編集と選定の方法 · 出典確認日:
このページの目次
対象と編集責任
数列、関数の極限、一様収束を実区間上で学ぶ最初の証明中心の経路。Lebl は第6版の第I巻、Abbott は2015年第2版、Bartle–Sherbert は2011年第4版を指す。測度論は前提としない。後の距離空間や多変数の内容は、この六つの成果物の範囲外である。
出発点を選ぶ
無料の証明課程がほしい
Lebl を選び、基礎的な証明入門を先に学ぶ。著者は演習解答集を用意していないので、証明を確認する相手や方法も決める。
三冊を比較する
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 で不等式を示す。小数を並べるだけでは足りない。
Understanding Analysis（解析学を理解する）
Stephen Abbott · 版: 2 · 2015
動機から進む証明
- 選ぶ場面
- 近似や有限から無限への移行を、具体例で捉えたいとき。
- 別の教材が適する場面
- 計算だけの微積分を求めるときや、教員用解答を自由に入手できると考えるとき。
- 読む範囲
- Sequences and Series、Functional Limits and Continuity、Sequences and Series of Functions。
- 限界と注意点
- 議論と探究課題に時間をかける構成であり、証明を書く作業は省略できない。
選ぶ前に試す
[0,1] 上の x^n の各点極限を書き、一様収束の主張がどこで崩れるか調べる。
確認すること: x=1 を別に扱い、その近くの点を示す。一定解像度の図だけで一様性を判断しない。
実解析入門
Robert G. Bartle; Donald R. Sherbert · 版: 4 · 2011
体系的な初学者向け参考書
- 選ぶ場面
- 定義、定理、演習を実直線上で順に追いたいとき。
- 別の教材が適する場面
- 大学院の測度論や一般的な多変数解析の教科書を探すとき。
- 読む範囲
- Preliminaries、The Real Numbers、Sequences and Series、Limits、Continuous Functions。必要に応じて関数列へ。
- 限界と注意点
- 構成は追いやすいが、似た仮定を区別する例は自分でも作る必要がある。
選ぶ前に試す
下の f_n に対し、x に依存しない上界を求め、上限の役割を説明する。
確認すること: 同じ N が全定義域を制御する必要がある。N(x) はより弱い命題しか示さない。
準備を確認する
極限の命題を否定できるか
epsilon、N、n、x の順序を書く。一様収束の失敗では、一つの正の許容誤差がどの共通 N にも反例を与える。
N を選ぶ前に不等式を整理できるか
1/(n+1)<epsilon には N=ceil(1/epsilon) が使える。n≥N なら狭義不等式が成立する。epsilon>0 を保つ。
微分と収束の証明を区別できるか
端点と符号も確認すれば微分で大域最大値を求められる。一様収束にはさらにゼロへ向かう共通上界が必要。
六つのステップで学ぶ
完了したステップ: 0 / 6
自己記録用のチェックであり、評価ではありません。チェック情報は当サイトに送信されません。
-
二つの定義を書く
読む範囲: 選んだ本の数列・関数極限の単元。
取り組む課題: 各点収束と一様収束を並べ、各選択の依存関係を書く。
確認すること: 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≤x<1 では x^n→0 かつ 0≤1−x≤1。x=1 では常にゼロなので、各点極限は全域でゼロ。
- 0<x<1 では f_n′=x^(n−1)[n−(n+1)x]。x=n/(n+1) の前で正、後で負となり、両端点ではゼロ。大域最大値は n^n/(n+1)^(n+1)。
- 最大値は (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へ近づいても高さはゼロへ向かうので、山が動くことだけでは一様収束を否定できない。
前提を変えて考える
増える係数が量化の問題を変える
定義域は [0,1] のまま、g_n(x)=n x^n(1−x) に変える。ゼロへの各点収束と一様収束を判定せよ。x_n=1−1/(2n) を使い、固定点での極限も正当化すること。
- 端点ではゼロ。固定した 0<x<1 に対し a_n=n x^n と置くと、隣接比は x(1+1/n)。x<q<1 を選べば十分大きい n で比は q 以下となり、減少する等比数列で抑えられる。したがって各固定点で g_n→0。
- x_n では g_n(x_n)=(1/2)(1−1/(2n))^n。ベルヌーイの不等式から括弧の n 乗は 1−n/(2n)=1/2 以上なので、値は常に 1/4 以上。
- 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 と呼び直すと命題が変わる。依存関係を明記する。
停留点だけを見る
大域最大値を報告する前に端点と微分の符号も比較する。
有限の図を証明にする
格子の間を移動する山は図で排除できない。上界か具体的な反例を示す。
次に進む前に
- 共通添字を含む量化された epsilon 証明を書く。
- n 倍した列が各点収束を保ち、一様性を失う理由を説明する。
- 準備に合う一冊と証明の確認方法を選ぶ。
出典と版の確認
出典確認日:
- Author: Basic Analysis, version and contents
著者は二巻の範囲、基礎証明の前提、第6版の改訂、演習解答集がない方針を示している。
- Springer: Understanding Analysis, second edition
Springer は2015年第2版ハードカバーを区別し、数列・極限・関数列の単元を示している。
- Wiley: selected fourth-edition hardcover
Wiley は2011年第4版ハードカバーと実直線上の体系的な構成を示している。
提案する学習活動であり、公式の課題や全巻通読の主張ではありません。