Real analysis

前置知识

35 项必需的前置知识（一直追溯到底）

你将学会

• Prove the Bolzano–Weierstrass theorem and the intermediate and extreme value theorems from completeness.
• Distinguish pointwise from uniform convergence and prove that uniform limits of continuous functions are continuous.
• Prove the fundamental theorem of calculus for the Riemann integral.

定义

• aₙ → L if for every ε > 0 there is N such that |aₙ − L| < ε for all n ≥ N.
• fₙ → f uniformly on S if sup_{x∈S} |fₙ(x) − f(x)| → 0.
• A sequence is Cauchy if for every ε > 0 there is N such that |aₘ − aₙ| < ε for all m, n ≥ N.

定理

• In ℝ, a sequence converges if and only if it is Cauchy.
• Bolzano–Weierstrass: every bounded sequence of real numbers has a convergent subsequence.
• Uniform limits of continuous functions are continuous.
• There are continuous functions that are differentiable nowhere (Weierstrass).

常见误解

• Interchanging limits without justification; a pointwise limit of continuous functions need not be continuous.
• Thinking every bounded function on [0, 1] is Riemann integrable; the indicator function of ℚ is not.

通向

可选发现

• Formalising mathematics in Lean and Mathlib Mathlib formalises much of undergraduate analysis, so theorems such as these can be stated and checked in Lean.
• ← Sequences and series
• ← Introductory calculus
• ← Constructing ℤ, ℚ and ℝ
• ← Completeness, compactness and Löwenheim–Skolem

学习路径

• Undergraduate mathematics major
• Graduate preparation

延伸阅读

• Walter Rudin, Principles of Mathematical Analysis (1953)
• Stephen Abbott, Understanding Analysis (2001)