课程 · 资源记录

Real Analysis

从实数完备性、数列与级数进入连续、微分、Riemann 积分以及函数列的逐点和一致收敛。

作者：Casey Rodriguez年份：2020出版信息：MIT OpenCourseWare元数据：完整链接核验于 2026-07-14

为什么重要

用于核对实数完备性、Cauchy 判据、紧致性、函数列极限交换和反例构造。

阅读前提

教材中的引用位置

M12 · 第 1 章实数完备性、紧致性与连续性
支持的主张：MIT OpenCourseWare 18.100A Real Analysis 的课程材料从实数公理、数列和紧致性进入连续函数与函数列，可用于核对确界原理、Cauchy 判据、Heine–Borel 定理以及连续像结论。使用闭有界判据时应保留其有限维欧氏空间前提；一般度量空间以开覆盖、序列紧致或完备加全有界为准。
M12 · 第 2 章函数列、一致收敛与交换极限
支持的主张：MIT OpenCourseWare 18.100A Real Analysis 的函数列单元讨论逐点与一致收敛、连续性保持、积分换序和逐项微分，可用于核对本章的量词、定理条件与反例。应用结论时应分别检查定义域、值域完备性、有限区间以及导数列的一致控制，不能把一种换序定理的条件移植到另一种运算。
M12 · 第 3 章测度、可测集与可测函数
支持的主张：MIT Real Analysis 课程提供实数完备性、序列、连续性和函数列先修。进入测度论前，可用它复习确界、极限和逐点收敛的严格表达。
M12 · 第 4 章 Lebesgue 积分与收敛定理
支持的主张：MIT 18.100A 的函数序列、Riemann 积分与一致收敛内容在本章构成对照基础：一致收敛能在较强条件下交换极限与积分，但逐点收敛通常不够。Lebesgue 理论随后用几乎处处收敛、非负性或可积控制函数给出更灵活的单调收敛、Fatou 与支配收敛定理；每次换序都必须明确调用哪一组条件。
M12 · 第 5 章 Lp 空间、乘积测度与 Fubini 定理
支持的主张：MIT OpenCourseWare 18.100A Real Analysis 提供完备度量空间、函数列与一致收敛的先修背景，适合回查“范数 Cauchy”与逐点收敛之间的区别。
M12 · 第 6 章实分析与测度论综合复习
支持的主张：MIT OpenCourseWare 18.100A Real Analysis 的课程材料提供实数完备性、紧致性以及函数列逐点与一致收敛的先修框架，适合复核本章前半部分的极限论证。
M13 · 第 1 章复微分、Cauchy–Riemann 方程与全纯函数
支持的主张：MIT 18.100A 用于核对多变量极限、连续性、线性近似和极限路径独立所需的分析语言；复可微、Cauchy–Riemann 条件及全纯性的特殊结论仍由复变量课程资源直接支持。本章引用实分析材料是为了检查导数定义的量词与误差项，而非把复可微性降为普通二元可微。
M13 · 第 2 章幂级数、初等复函数与局部表示
支持的主张：MIT 18.100A 用于核对幂级数的一致收敛、逐项求导/积分与余项控制所需的实分析条件；复幂级数的收敛圆盘、解析性和奇点距离仍以复变量课程为直接依据。本章借此区分通用的函数列定理与复分析中特有的解析延拓结论。
M13 · 第 3 章 Cauchy 定理与积分公式
支持的主张：MIT 18.100A 的实分析材料为本章证明提供必要的极限与积分基础：路径积分的参数化依赖连续函数积分，分段曲线上的估计使用一致连续性与上界，级数和导数交换则必须检查一致收敛。它在这里不替代 Cauchy 定理本身，而是支撑从局部逼近到积分极限的每一步，防止用形式运算跳过收敛条件。
M13 · 第 4 章孤立奇点、Laurent 级数与留数
支持的主张：MIT 18.100A 在本章用于支撑围道估计和实积分极限的严格步骤：紧区间上的连续性保证有界，绝对值积分不等式控制圆弧贡献，而极限与积分交换必须满足相应一致性或支配条件。由此，留数求和只负责闭合围道内的局部奇点贡献，补充圆弧趋零和反常积分收敛仍需独立证明。
M13 · 第 5 章保角映射与解析延拓
支持的主张：MIT 18.100A 用于核对紧集上一致控制、函数列收敛和局部—整体论证中的分析条件；保角映射、解析延拓与恒等定理仍以复变量课程为直接来源。本章据此明确：实分析的紧致与收敛工具支持证明步骤，但不会单独推出全纯函数的刚性结论。
M13 · 第 6 章复分析方法综合复习
支持的主张：MIT 18.100A 在本章用于核对极限、连续、紧致、函数列一致收敛及交换极限操作的实分析条件；Cauchy 定理、留数和解析延拓等复分析结论仍以 MIT 18.04 资源为直接依据。该分工使严谨性工具与复变量专属定理不会混为同一来源。
M16 · 第 1 章赋范空间、Banach 空间与有界算子
支持的主张：MIT 18.100A 用于核对度量、Cauchy 列、完备性、连续线性映射所需的实分析基础；MIT 18.102 则直接支持赋范空间、Banach 空间与算子理论。本章引用 18.100A 是为了复核完备性的量词与反例，不从有限维实分析自动推出无限维算子结论。
M16 · 第 2 章 Hahn–Banach、开映射与一致有界原理
支持的主张：MIT 18.100A 用于核对完备度量空间、紧致性、连续性和 Baire 类论证所需的分析基础；MIT 18.102 直接支持 Hahn–Banach、一致有界、开映射和闭图定理。本章据此把基础拓扑条件与泛函分析定理本身分开，尤其不省略 Banach 完备性假设。
M16 · 第 3 章 Hilbert 空间、正交投影与对偶
支持的主张：MIT 18.100A 的完备度量空间与函数序列内容支撑本章从内积空间进入 Hilbert 空间：范数诱导的 Cauchy 序列必须在空间内收敛，函数空间元素的极限还需按指定范数解释。这个基础说明正交投影定理为何需要闭子空间，也帮助区分逐点相等、几乎处处相等和范数意义下相等。
M16 · 第 4 章紧算子与自伴算子
支持的主张：MIT 18.100A 的度量空间、紧致性和一致收敛内容支撑本章使用序列刻画紧算子：有界序列的像必须含收敛子列，而有限秩逼近只有在算子范数误差受控时才能把紧性传给极限。该分析基础还解释了为何“有界集的像有界”只说明算子有界，不能替代紧性所要求的相对紧结论。
M16 · 第 5 章谱、预解式与谱定理
支持的主张：MIT 18.100A 的紧致性、完备性与连续映射理论支撑本章谱论中的分析步骤：预解算子的稳定估计依赖有界逆，紧算子的特征向量序列论证依赖收敛子列，而无穷正交展开要在 Hilbert 范数中取极限。它由此限定了有限维特征值直觉可以延伸到何处，以及为何一般谱点不必对应特征向量。
M16 · 第 6 章泛函分析与算子理论综合复习
支持的主张：MIT 18.100A 为本章综合链条提供完备性与紧致性的分析底座：Cauchy 序列极限需要空间完备，连续映射在紧集上的控制用于核算子估计，一致收敛则保证极限过程保留所需性质。因而从边值问题到 Green 算子的每次极限传递都要标明所用范数和收敛类型，不能仅凭逐点公式推断算子结论。

官方入口

官方页面https://ocw.mit.edu/courses/18-100a-real-analysis-fall-2020/