实分析royden第四版答案_实分析学习笔记(0)

之前的学习笔记在撰写的时候当然也遇到了许多的困难，但是从这里开始，真正的恶龙开始出现了，就是实分析。抽象的定义和证明，伴随着把直觉砸得粉碎，就是我开始自学这门课时得到的第一印象。为什么我要跑到数学学院来学习如此困难的东西呢？大概是因为中二病吧（

总之，让我们开始斩杀恶龙吧！（震声）

教材：Real Analysis,H.L.Royden,P.M.Fitzpatrick

---

序章：集合论，实数，连续函数

1.集合

一个集合

上的

关系

是指集合

的子集。如果

，记为

。我们可以方便地定义自反性，对称性和传递性，这些都是熟悉的。如果一个关系满足以上三个性质，称它是

等价关系。两两等价的元素组成的集合叫做 等价类，等价类的集合叫 等价类族。如果两个集合之间存在一一映射，我们称两个集合

对等。对等是等价关系。一个集合的幂集

中对等关系的等价类族叫做集合的

势。

令

是非空集合的非空集合族。如果函数

满足：对任意

，则被称为是

的一个

选择函数。下面的 选择公理在文章中将被视为数学大厦的地基之一：

公理 选择函数总是存在。

与这条公理等价的是Zorn引理，为了突出重点我们不给出证明了。

定理(Zorn) 如果偏序集

的每个全序子集一定有上界，则

有最大元。

其中偏序关系

定义为满足下面命题的集合

上的关系：

。装载偏序关系的集合叫

偏序集。如果对每组

，

至少有一个成立，则称

为

全序集。在

中如果存在

使得

总是成立，则称

为

的

上界。如果使得

成立只有

，则称

为

的

最大元。

2.实数

如果在数学分析中学习过实数理论，那大多是从自然数出发构造出有理数，然后再利用有理数构造实数。比如说，自然数是符合Peano公理的一系列实数，加上零元素和加法逆元素得到整数。整数集合是一个整环，它可以诱导一个分式域，也就是有理数域。接下来的工作就会用到分析相关性质，比如利用有理数Cauchy列之间的等价关系构造实数（就是一个商域），或者用Dedekind分割。

但是这本书会用到一些不同的办法，它先承认实数集的存在（由一系列公理限制），然后再由此给出我们熟悉的实数集的那些子集。

实数集

是满足下面所有法则的带有加法和乘法运算的集合：

a.域公理

(1)加法交换律

(2)加法结合律

(3)加法零元

(4)加法逆元

(5)乘法交换律

(6)乘法结合律

(7)乘法单位元

(8)乘法逆元

(9)乘法分配律

(10)非平凡性假设