Walter Rudin 数学分析原理 1 实数系与复数系

isbn

  • 中文 9787111134176
  • 英文 9787111619543

前言

受众:数学专业高年级,或一年级研究生

TODO: 最后两章学得有点云里雾里,据说有其它教材更细致的讲解,推荐1~9章还是很容易读的

实数系与复数系

导引

有理数=m/n

  • 不存在有理数 $p^2=2$ 这里普林斯顿那本应该也是抄这个例子的
    • 一方面不存在( 偶数证明
    • 一方面没有 最近, p =(2p+2)/(p+2)

1.3 快速过了一下集合的概念

有序集 Ordered sets

1.5 集合中的 序order, is a relation

  • 任何两个可按照 给定序比较 或相等
  • 传递性, if x,y,z in S, if x < y and y < z then x < z

1.6 集合set+序(order is defined) => 有序集 ordered set

1.7 子集的上界定义, bounded above 上方有界, (中文书上翻译的 上有界)

  • 有序集S的子集E, 任意E中元素,<= b \in S,那么b是上界upper bound of E
  • 类似 Lower bound
    • 从翻译上 看起来英文的 bounded above是形容集合,而 upper bound of 是一个值的与集合的关系属性

1.8 上确界 least-upper-bound of

  • a 是 上界 upper bound of
  • 更小不是上界,b < a, b is not upper bound of
  • 类似下确界 greatest-lower-bound property

1.10 最小上界性 least-upper-bound property

  • $E\subset S$,E有上界时, $\text{sup} E \in S$
    • 有理数中 $A=\lbrace q| q^2<2\rbrace, B=\lbrace q | q^2 > 2\rbrace$, A的上界全在B中,但是B没有最小值 从而 $\mathbb{Q}$没有最小上界性
  • 1.11 最小上界性 <=> 最小下界性
    • 这个的证明核心 就是 证明上面的定义的要素:是+更(小/大)不是

域 Fields

1.12 Deinition A field is a set F with two operations, called addition and multiplication, 满足两个所谓的 “field axioms”(域的公理)

  • Axioms for addition
    • A1 x in F + y in F => x+y in F 封闭
    • A2 commutative x+y=y+x for all x,y in F 交换
    • A3 associative (x+y)+z=x+(y+z) for all x,y,z in F 结合
    • A4 F contains an elment 0 such that 0+x=x for every x in F, 在addition运算下的零元
    • A5 x in F, exist y in F, x+y=0, y 记作 -x, 逆元存在
  • Axioms for mutiplication
    • M1 封闭
    • M2 交换
    • M3 结合
    • M4 乘法零元,且不等于加法零元,记作1, 1x=x for every x in F
    • M5 乘法逆元
  • the Distribution law 分配
    • x(y+z)=xy+xz for x,y,z in F
  • 注意一些地方的一些写法是简记
    • 例如 减法 是 加逆元,分数符号或除法是乘上逆元
    • 同等级 连加,连乘,是省去了运算括号,实际是从左到右侧
    • 整数次幂次 是 同个数连乘缩写
    • 这些“简记”并没有 额外定义性质

1.14 命题proposition

  • if x+y=y+z then y=z
  • if x+y=y then y = 0
  • if x+y=0 then y = -x
  • -(-x)=x 逆元的逆元得到本身

1.15 命题 关于乘法

  • x \neq 0 and xy=xz then y=z
  • x \neq 0 and xy=x then y=1
  • x \neq 0 and xy=1 then y=1/x
  • x \neq 0 , 1(1/x)=x

1.16 命题 x,y,z in F

  • 0x=0
  • x\neq 0 and y \neq0 then xy\neq 0
  • (-x)y=-(xy)=x(-y)
  • (-x)(-y)=xy

1.17 定义 ordered field 有序域

  • field F + ordered set
  • x + y < x+z if x,y,z in F and y < z
  • xy > 0 if x in F, y in F, x > 0 and y >0
  • 这里 定义 positive ,negative

1.18 命题,因为我们对于实数域很熟,有一些实数域中的结论在 有序域中同样成立,例如

  • if x > 0 then -x < 0,对称也成立
  • if x > 0 and y < z then xy < xz
  • if x < 0 and y < z then xy > xz
  • if x \neq 0 then xx >0,特别的 1(乘法零元) > 0(加法零元)
  • if 0 < x < y then 0 < 1/y < 1/x

实数域 the reald field

本章核心 存在定理: existence theorem

1.19 存在一个 有序域R,有 最小上界性

  • 同时包含实数域Q 作为子域。
    • 这里没有直接说R是啥
    • 子域 是保持两者之间的运算映射一致
    • R的元叫做 实数, the members of R are called real numbers
    • 具体的R构造见1章附录

1.20

  • archimedean property of R 欧几里德性 x,y in R, x > 0 , then there is a positive integer n such that nx > y
    • 不成立y是上界,有界,最小上界性 a=sup nx, a-x不是最小上界, 存在m使得a-x < mx, a < (m+1)x ,a不是上界,不是最小上界
  • Q is dense(稠密) in R. x,y, in R x < y ,exists p in Q such that x < p < y, 任意两个实数之间有有理数
    • 利用1, n(y-x)>1 划缝,让x,y必然落在 1/m切割的不同区间中

1.21 $x^n=a$ 存在1个正实数解

  • y = sup x | x^n < a。 因为上确界性
  • 那么 y^n = a, 即是 y^n < a或者 y^n > a都会矛盾(注意不要弄错成 y的n次方都比a小,大于y的n次方都比a大
  • 这里的想法和开篇的 y^2=2 的想法类似,插入一个 y^n ~ a 之间的数,而且它的n次方是直接可以y表示的
    • (y+h)^n-y^n < a-y^n, 0 < h < 1
    • h(\sum (y+h)^? y^?) < a-y^n
    • h(\sum (y+1)^{n-1}) < a-y^n
    • h(n(y+1)^{n-1}) < a-y^n
    • 我们能得到h 关于 a,y,n的 只有乘除加减没有开根的表达式,从而能凑,就能有之间的数,从而就能有矛盾
  • 推论 (ab)^{1/n}=(a^{1/n})(b^{1/n})

1.22 小数 => 实数

  • 无穷小数,看成 逐渐截断的 10的幂次 系数的和 的集合的 sup E
  • since we shall never use decimals ,we do not enter into a detailed discussion

广义实数系 the extended real number system

这里英文是 extended, 多了 正无穷和负无穷两个 符号

  • 在 extended 里, 正无穷是 所有的上界,每个非空集合至少一个上界
  • 一些还能用的四则运算

复数域 complex field

有序对(a,b)

  • 相等 对位相等
  • 复数运算的 新加法,和新乘法
  • (a,b)+(c,d)=(a+c,b+d)
  • (a,b) * (c,d)=(ac-bd,ad+bc)
  • 在新加法乘法的定义下满足 加法5条,乘法5条,交换1条,所以是个 域 field
  • 实数 对应的是第二维为零,实数和复数有相同的运算性质,因此可以看作子域 the real field as a subfield of the complex field

其它记法 a+bi

  • 新记法下的运算,实部Re(z) real part,虚部Im(z) imaginary
  • 共轭相关运算 (在普林斯顿那书笔记中有)
  • $z\bar{z}$ 是实+正,只有=0时=0
  • absolute value $|z|=\sqrt{z\bar{z}}$

Schwarz inequality

  • $|\sum a_i\bar{b_i}|^2 \le (\sum |a_i|^2)(\sum |b_i|^2)$
  • 书上这个神奇的起手怎么想到的真不知道,drop from sky
  • 一个办法 $f(t)=\sum |a_i+tb_i|^2$ 这个思路是去找判别式靠,在 高代第10章 就是类似这个思路

欧氏空间 Euclidean spaces

n维坐标, 坐标值都是实数

  • 线性
    • 加法 addition of vectors
    • 数乘 , multiplication of a vector by a real number (a scalar)
  • 内积 inner product
    • x y = sum x_i y_i
    • 范数 norm of x, |x|=(x x)^{1/2}
  • 性质1.37
    • |x|>=0
    • |x| =0 if and only if x =0
    • |ax|=|a||x|
    • |x y | <= |x| |y| 是 Schwarz inequaliy的结果
    • |x+y| <= |x|+|y| 三角不等式
      • |x-z| <= |x-y|+|y-z|

附录,从有理数域 为了最小上界性 构造出实数域

对于1.19,要从Q构造出R

Step 1. The members of R will be certain subsets of Q, called cuts. A cut is, by definition, any set S \subset Q with following three properties

  • S is not empty and S \neq Q, 非空 非全,真子集
  • if p in S, q in Q, and q < p, then q in S, Q中某个元素比S中某个元素小,那么同时在S中
    • 含有:不在S中的 都比S中的大,否则会在S中
    • 比 不在S中的大的,同样不在S中
  • if p in S,then p < r for some r in S,每个S中元素能找到更大的, 没有最大化

p,q,r表示有理数,S,T,U表示分化 cuts

Step 2. S < T 表示S是T的真子集

  • 这里主要是要表达,集合之间,在上述的cuts, 真子集 是一种有序关系
    • (注意普通的集合之间的不是“任意两个都有序的”
    • 这里至多 一个>=< 成立显然
    • 证明一下至少一个成立,这里用元素属于分类讨论去证明
  • 传递性容易证
  • 因此 所有cuts 集合 构成的集合 是有序集

step3 有序集R有最小上界性

  • R={cuts的集合}
    • 每个cut是 有理数集合 满足step1的性质
  • 那么取任意R非空子集 A
  • 假定B in R是它的上界
  • 令$A_1=$ 所有 S in A的并 (cut的并)
    • 那么要证明 $A_1$ 属于R
      • 且$A_1=\sup A$, 也就是 最小上界性(能在R中找到最小上界
    • 证明 属于R: 也就是证明A_1 满足step1的3条性质,
      • 元素关系证明非空,$S \subset A \subset B \neq R$ 证明不等
      • 后两条,对于元素p,能找具体的集合S,再在S中找元素q,
    • 证明 是 上确界:
      • 上界显然
      • 证明 比他小的不是上界,靠元素属于关系 拉扯

step4 如果 $S,T \in R$, 定义S+T=所有 a+b,a in S,b in T 的元素组成

  • 定义 集合的 运算
  • 那么证明 加法5条,封闭(证明 step1 cut三条),交换,结合,
    • 零元($0^*$定义为 所有负有理数组成的集合, 证明相对用互相包含证明),
    • 逆元 $A\in R,B=\lbrace p | \exists r > 0, -p-r\not \in A \rbrace$ 比-p小一点的有理数不在A内,这样的B就是A的逆元
  • 这里核心证明思路都是通过元素属于关系证明的
  • 至此 这样定义下 有了 加法 运算性质
  • step 5
    • 基于 加法 和 序 定义的一些性质
    • 如消去律 1.14, a+b=a+c 则b=c

step 6 处理乘法

  • $R^+ =${a|$a\in R, a > 0^*$}
  • 先类似加法的方式 通过元素构成定义乘法
  • 从而类似的有了乘法零元: $1^*$

step 7 利用 逆元 零元 和 (正数乘法)的定义把乘法的定义扩展到全体R上

  • $A0^*=0^*$
  • 至此新的加法和新的乘法都有了

step 8 用类似的形式,给现有有理数对应的 “分化”

  • 注意现在还是只有有理数,和上面的集合R,(而不是实数)
  • 对于任意$r\in \mathbb{Q}$
  • $r^*=\lbrace p| p<r ,p\in\mathbb{Q}\rbrace$
    • 验证step1的3条性质,它是一个分化
    • 然后我们需要证明的是 有理数加法$(r_1+r_2)^*$,和上面集合的 新加法$r_1^*+r_2^*$ 同构(=) ,乘法也是

step 9

  • 根据上面 同构
  • 我们把 构造出的R看作实数

回顾

  • 第1步 完成构造
  • 第2步 证明构造东西的有序性
  • 第3步 证明最小上界性
  • 第4~7步 新的构造中 定义新的加法和乘法
  • 第8~9步 证明现有有理数以及加法乘法运算,与新定义的同构,从而证明了“实数”的构造

戴德金分割,感觉像在所有有理数中间切分,而其“文字描述下”,和可数性又不冲突,

  • 例如 每个有理数按照有理数的可数排列 同样可以贴着“每个有理数”完成切割,但这种情况,你会发现 A={x^2 < 2}, B={x^2>=2} 这种“切割”,又不在按可数排列的切割里
  • 在 可数 稠密 下 的 切割,和有限比很怪
  • 而且另一方面,的问题是,和中小学学的:有理数(可以表示成 m/n 或者 有限,循环小数),无理数(无限不循环),或者连分数,有理数:有限,无理数:无限。 那这样 A的上确界不在A中,如何能保证取完所有 无理数