# 實分析：讓量詞順序真正參與證明 — 學習任務單

[學習指南](https://unireadinglist.com/zh-tw/guides/real-analysis/)

[課程主題: 實分析](https://unireadinglist.com/zh-tw/subjects/mathematics/#course-real-analysis)

來源確認日期: 2026-11-04

學習計畫與例題由 University Reading List 編輯整理。

圍繞實區間上的數列、函式極限與一致收斂展開的第一門證明型課程。Lebl 指第六大版第一卷，Abbott 指2015年第二版，Bartle–Sherbert 指2011年第四版。不預設測度論；後續度量空間和多元內容不在這六項成果的範圍內。

## 選擇你的起點

- [ ] 需要免費證明課程
  選 Lebl，先具備基礎證明訓練；作者不提供習題解答手冊，應另行安排證明反饋。

- [ ] 需要先理解定義的動機
  若希望用討論和例子看清定義防止什麼錯誤，選 Abbott。

- [ ] 需要傳統的系統主線
  若偏好從預備知識、實數依次進入極限和連續性，選 Bartle–Sherbert。

## 三本書如何取捨

### 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 都滿足不等式；列舉小數不夠。

你的筆記:

________________________________

[官方免費閱讀](https://www.jirka.org/ra/)

[書目資訊與取得方式](https://unireadinglist.com/zh-tw/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，展示靠近1的點，不能由固定解析度影象判斷一致性。

你的筆記:

________________________________

ISBN: 9781493927111

[書目資訊與取得方式](https://unireadinglist.com/zh-tw/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/zh-tw/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)，並說明固定點極限，不能只檢查端點。

你的筆記:

________________________________

## 進入下一階段之前

- 寫出含公共指標的完整量化誤差證明。
- 說明乘以 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\]。在 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。

逐點和一致極限都是零。最大點為 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而高度趨零，峰的位置移動本身不能否定一致收斂。

### 改變假設，再做一題: 增長的係數改變了量詞問題

1. 兩端點恆為零。固定 0\<x\<1，令 a\_n=n x^n，相鄰比為 x(1+1/n)。選 x\<q\<1，充分大的 n 後該比值≤q，因此受趨零的幾何數列控制，g\_n 在每個固定點趨零。
2. 在 x\_n 處，g\_n(x\_n)=(1/2)(1−1/(2n))^n。Bernoulli 不等式給出括號的 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/)
  作者說明兩卷範圍、基礎證明先修、第六版修訂，以及不提供習題解答手冊的安排。

- [Springer: Understanding Analysis, second edition](https://link.springer.com/book/10.1007/978-1-4939-2712-8)
  Springer 區分2015年第二版精裝，列出數列、極限和函式列的章節主題。

- [Wiley: selected fourth-edition hardcover](https://www.wiley.com/en-nl/introduction-to-real-analysis-4th-edition-p-9780471433316)
  Wiley 確認2011年第四版精裝及系統的實直線學習主線。

這些是本站建議的學習活動，並非大學官方作業，也不代表對每本書逐頁通讀。

[編輯與選書方法](https://unireadinglist.com/zh-tw/editorial/)