實分析：讓量詞順序真正參與證明
影象看起來合理、每個固定點的極限也正確，仍可能沒有證明需要的命題。先選適合自己證明經驗的書，再區分哪些選擇可以依賴於點、哪些必須對整個定義域共用。
學習計畫與例題由 University Reading List 編輯整理。 編輯與選書方法 · 來源確認日期:
本頁目錄
這份指南適合誰
圍繞實區間上的數列、函式極限與一致收斂展開的第一門證明型課程。Lebl 指第六大版第一卷，Abbott 指2015年第二版，Bartle–Sherbert 指2011年第四版。不預設測度論；後續度量空間和多元內容不在這六項成果的範圍內。
選擇你的起點
三本書如何取捨
Basic Analysis: Introduction to Real Analysis
Jiří Lebl · 版次: 6
免費的第一門分析課程
- 什麼情況下適合讀
- 會寫帶量詞的陳述，希望不購買即可學完整卷。
- 什麼情況下選別本
- 需要公開的全題解答，或希望跳過實直線基礎直接學多元分析。
- 建議閱讀範圍
- 第一卷的 Sequences and Series、Continuous Functions、Sequences of Functions；完備性回看 Real Numbers。
- 限制與取捨
- 沒有解答手冊，需要逐項檢查推理並獲得反饋；第二卷是延續內容。
選書前試做
依據數列極限定義，以明確的指標選擇證明 1/(n+1)→0。
檢查標準: 給出依賴 epsilon 的 N，再證明所有 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，展示靠近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]。在 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。
答案與解釋
逐點和一致極限都是零。最大點為 x=n/(n+1)，值為 n^n/(n+1)^(n+1)；N=ceil(1/epsilon) 是有效的公共指標。
檢驗結果
n=1 時在1/2處最大值為1/4；n=2 時在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 在每個固定點趨零。
- 在 x_n 處，g_n(x_n)=(1/2)(1−1/(2n))^n。Bernoulli 不等式給出括號的 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 會改變命題；應始終標註依賴。
只找駐點
報告全域性最大值前，應比較端點和導數符號。
把有限影象當證明
固定網格不能排除峰在取樣點間移動；需要上界或明確反例。
進入下一階段之前
- 寫出含公共指標的完整量化誤差證明。
- 說明乘以 n 後為何保留逐點收斂卻失去一致性。
- 根據準備程度選書，並安排證明反饋方式。
參考來源與版本
來源確認日期:
- Author: Basic Analysis, version and contents
作者說明兩卷範圍、基礎證明先修、第六版修訂，以及不提供習題解答手冊的安排。
- Springer: Understanding Analysis, second edition
Springer 區分2015年第二版精裝，列出數列、極限和函式列的章節主題。
- Wiley: selected fourth-edition hardcover
Wiley 確認2011年第四版精裝及系統的實直線學習主線。
這些是本站建議的學習活動，並非大學官方作業，也不代表對每本書逐頁通讀。