用户: HoshinoKoji/分析学/分析学基础

目录

1戴德金实数的构造

2实数的基本性质

3序列的极限

4实数上的拓扑

5函数极限与连续性

6导数

7函数列与函数项级数

8Riemann 积分

前言

这份讲义是自学数学分析的产物, 参考书目为 Understanding Analysis, 后略记为 [UA]. 经过一番摸索与周折, 笔者发现遵照一定的顺序, 并在学习过程中充分地自我锻炼似乎是学习纯数学的正道.

为了加深理解, 避免眼高手低, 于是按照原书思路书写讲义, 纳入所有的主要定理、命题并自行给出证明. 这里有几点值得说明的地方:

笔者水平有限, 数学直觉并不出众, 但又希望尽可能保持严格, 因而证明书写务求完整充分, 事无巨细, 直至笔者认为显然的程度. 这会导致文字篇幅较长, 在一些直觉上显然、严格书写较困难的部分尤甚.

讲义编写耗时较长, 笔者也不可能一一检查证明, 错误在所难免.

尽管笔者能力不足, 但作为学习的手段, 讲义编写也融入了一定的个人理解, 这体现于细节的剪裁和内容安排.

原书课后习题既有提供示例, 也有引入有趣但作者认为不便加入正文的结构和命题的功能. 为表重视, 笔者会尝试将有价值的部分融入讲义.

以上种种, 致使本文可能并非好的阅读材料, 充其量是笔者的心路历程. 不过于水平和眼界与笔者相近的人而言, 能起到交流心得的作用也未可知.

符号表

与数理逻辑相关的符号和元语言用法如下:

1.

, 表示对于任意 .

2.

, 表示存在 .

3.

, 表示存在唯一的 .

4.

文字表述的 A 当且仅当 B 或符号表述的 AB 表示 A 能推出 B, 并且 B 能推出 A.

5.

是指定义 .

上述用法的 可能附带特定条件, 以约束 的范围, 如 . 随后还会附有关于 的某种性质.

与一般集合有关的用法如下:

1.

表示空集.

2.

, 表示由集合 中满足性质 的元素所构成的集合. 在 ZFC 公理化体系下, 所来自的 不可省略, 但为方便起见, 在不产生歧义的情况下也酌情省略.

3.

表示一族集合的并, 元素 属于该集合当且仅当 满足 , 使得 .

通常读者应当对有限个集合的并较为熟悉, 但这一用法并不受集合 “个数” 的限制. 当 取为自然数时, 也表示为 或类似形式.

4.

表示一族集合的交, 元素 属于该集合当且仅当 满足 , 都有 . 其余细节与并集类似.

5.

集合 表示两者的差, 即 .

6.

表示从 的映射 . 在描述映射规则时, 可以采用 的形式, 意谓 .

与具体数集有关的用法如下:

1.

表示自然数.

2.

表示整数数.

3.

表示有理数.

4.

表示实数.

5.

表示无理数.

除此以外, 黑板体字母如 均表示某一数集. 注意其中 的界定与 [UA] 不一致, [UA] 认为 0 不属于自然数, 这有便于某些内容的叙述.

与数集衍生物有关的用法如下:

1.

表示 .

2.

表示 .

3.

表示 .

4.

表示 .

其余记号不再一一列举, 或在正文中提供正式定义.

2023 年 2 月 23 日注

时隔多月后, 发现当初的定位过于消耗时间精力, 并不值当. 书写的材料应当主要服务于学习需要, 而不是为写而写, 所以现在只挑选有一定难度的习题书写解答. 视情况可能略去细节, 只提重要的直觉和关键步骤.