实分析

实分析是对实数系统及其上定义的函数进行的严谨研究，它以序完备性为基础，构建了极限、连续性、微分和积分等概念。

Definition

实分析是数学分析的一个分支，研究实数和实值函数，其中微积分的直观运算通过精确的ε-δ定义给出，并从实数的完备性公理中得到证明。

Scope

该领域涵盖实数的构造和完备性、序列和级数的收敛性、连续性和一致连续性、微分、黎曼积分和勒贝格积分，以及度量空间和赋范空间的拓扑结构，在这些空间中，上述概念得到了推广。它为微积分所假定但未证明的逻辑基础提供了支撑。

Sub-topics

• 连续性与可微性
• 度量空间
• 黎曼积分与勒贝格积分
• 序列与级数

Core questions

• 什么性质将实数与有理数区分开来，并使极限表现良好？
• 函数序列或级数何时收敛？极限、导数和积分何时可以交换顺序？
• 哪些函数是可微的？连续性和可微性之间有何关系？
• 积分是如何定义的，使其与面积一致并在极限下表现良好？

Key theories

实数的完备性

每个有上界的非空实数集都有一个最小上界；等价地，每个柯西序列都收敛。完备性是分析中收敛定理的公理基础。

一致收敛与逐点收敛

一致收敛保持连续性，并允许逐项积分和（在额外假设下）微分，而逐点收敛则不能，这促使分析中出现了仔细的交换定理。

Clinical relevance

实分析为纯数学和应用数学所依赖的严谨基础提供了支撑：它证明了物理学和工程学中使用的微积分运算的合理性，是数值方法收敛性保证的基础，并且是测度论、泛函分析、概率论和微分方程的先决语言。

History

严谨的实分析在19世纪兴起，当时柯西、玻尔扎诺和魏尔斯特拉斯用ε-δ定义取代了早期微积分中松散的无穷小推理，戴德金和康托尔则为实数提供了逻辑构造。黎曼积分（1854年）以及后来的勒贝格积分（1902年）完善了积分的严谨理论。

Key figures

• Augustin-Louis Cauchy
• Karl Weierstrass
• Bernhard Riemann
• Richard Dedekind

Seminal works

• rudin1976
• royden2010

Frequently asked questions

实分析与微积分有何不同？

微积分教授极限、导数和积分的计算规则；实分析则证明这些规则为何成立，精确定义每个概念并从实数的完备性中推导出来。

完备性为何如此核心？

完备性保证了有界单调序列或柯西序列的极限确实存在于实数中，这使得分析中的收敛、连续性和积分定理得以成立。