数学分析学习笔记
xs，选了微积分，学的却是数分。
如果有写的不对的地方烦请指正，有些地方简写了。
自然数
皮亚诺公理：
- 0 是自然数
- 如果 (n) 为自然数，那么 (S(n)) 为自然数，(S(n)) 为 n 的后继，亦可以理解为 (n + 1)。
- 不存在 (n in N, S(n) = 0)。
- 如果 (n,m in N) 并且 (S(n) = S(m)) 那么 (n = m)。
- 数学归纳法公理：对于 (N) 的子集 (A)，如果 (0) 属于集合 A，如果 (n in A)，并且 (S(n) in A)。那么 (A = N)。
加法定义：
加法结合律：((n + m) + k = n + (m + k))。
证明：
归纳 ((n + m) + 0 = n + (m + 0) = n + m)。
若 ((n + m) + k = n + (m + k))。
有 ((n + m) + S(k)=S((n + m) + k)=S(n + (m + k))=n + S(m + k)=n +(m + S(k)))
证毕。
引理：(0 + n = n)
证明：归纳法 (0 + 0 = 0)。若 (0 + k = k)，那么 (0 + S(k) = S(0 + k) = S(k))。
引理：(S(k) + n =S(k + n))
证明：(S(k) + 0 = S(k + 0) = S(k))。
(S(k) + S(n) = S(S(k) + n)=S(S(k + n))=S(k + S(n)))。
加法交换律：(n + m = m + n)
归纳：(n + 0 = 0 + n = n)，若 (n + k = k + n)，则 (n + S(k) = S(k) + n)。
证明：
(n + S(k) = S(n + k) = S(k + n) = S(k) + n)。
加法消去律：(a + b=b+c o a=c)
归纳：(a + 0 = 0+cLeftrightarrow a = c)，(a+S(k)=S(k)+cLeftrightarrow S(a + k)=S(k+c)Leftrightarrow a + k=k+c Leftrightarrow a=c)
乘法定义：
引理：(a imes 0=0 imes a)
归纳：(0 imes0 =0)，(0 imes S(k) = 0 imes k + 0=0)。
引理：(a imes b+b = S(a) imes b)
归纳：(b = 0)，(a imes S(b) + S(b)=a imes b + a + S(b)=S(a imes b+b)+a=S(a) imes b+S(a)=S(a) imes S(b))
乘法交换律：(ab=ba)
归纳：(a imes 0 = 0 imes a)，(a imes S(k) = a imes k + a=k imes a + a = S(k) imes a)
乘法分配律：(a(b+c)=ab+ac)
归纳：(a imes (b + 0) = ab)，(a(b+S(c))=aS(b+c)=a(b+c)+a=ab+ac+a=ab+aS(c))
乘法结合律：((nm)k = n(mk))
证明：
(nm0=n(m0)=0)，如果 (nmk=n(mk))，那么 (nmS(k)=n(mS(k)))。
(nmS(k)=nmk+nm=n(mk+m)=n(mS(k)))
定义正整数：(N setminus set 0)
序：对于两个自然数 (n,m) 定义 (n > m) 当且仅当存在正整数 (k) 使得 (m + k = n)。(n ge m) 存在自然数。
序的性质：
- 自反性 (a ge a)
- 传递性 (a ge b ge c)
- 反对称性 (a ge b,b ge a o a=b)
- 加法不影响序 (a ge b o a + c ge b + c)
- 乘法不影响序 (a > b and c eq 0 o ac > bc)
都很好证明
定理：对于 (a,b) 必有 (a < b)，(a = b)，(a > b) 其中之一成立。
乘法消去律：(ac=bc and c eq 0 o a=b)。由于 (a,b) 之间存在序，乘法保持序不变，所以 (a = b)。
带余除法： 对于自然数 a 和正整数 b 存在 k，r 满足 (a = kb +rquad (b > 0,0 le r < b))
对 n 归纳即可。
整数
形式定义 (a - b) 来得到的
有理数
形式定义 (a / b) 来得到的。
域
域是一个集合 F，具备加法和乘法两种运算，满足：
加法和乘法具有交换律和结合律，分配律，并分别有单位元 0，1，且 (1 eq 0)。
对任意 (x in F)，存在加法逆元 (-x in F)，(x + (-x)=0)
对 (forall x in F setminus {x})，存在乘法逆元 (x^{-1} in F) 使得 (x imes x^{-1}=1)
所以一个域上进行加减乘除
序域
当域撞上序关系。
对于任意 (x, y in F)，(x le y, y le x) 至少有一个成立。
满足自反，传递，反对称性。对（正数）乘法和加法保序。
界
设 F 是一个序域，设 A 是 F 的一个子集。
称 A 有界，如果存在 (M in F) 满足 (x in A o |x| le M)。
上下界不再给出定义，注意空集的界是任意的。
注意：有界代表着有上下界
最值与确界
(max min sup inf) 最大值，最小值，上确界，下确界。
当存在最大值时上确界就等于最大值，所以上确界是最大值不存在时的替代品，比如区间 ((2,3)) 没有最大值，但有上确界。
一个例子
(A = {x in Q mid x^2 le 2})
结论：有界，无上确界（在 Q 中）。
实数域
公理：任何非空有上界的子集都有上确界的序域。
定理：(N) 在 (R) 中无上界。
证明：若 B 是上界，B - 1 则不是，一定有 (A in N > B - 1)，那么 (A + 1 in N >B) 矛盾。
上下取整的定义：
有理数在实数中稠密
对任意实数 a < b，存在有理数 r 使得 a < r < b。
证明想法：将 a，b 在数轴上画出来，一定存在巨大的自然数 N 使得 (a,b in [-N,N])。将这个区间划分成 (2N^2) 份，每份长度 (frac 1N)，满足这个长度比 (b - a) 要小，这样假设有个人从左端点开始，每次走一份路，第一次大于 a 的位置，不会大于 (a + frac 1N)，小于 b。形式化的写一下即可。
无理数在实数中稠密
对任意实数 a < b，存在无理数 r 使得 a < r < b。
因为存在有理数 t 使得 (a - sqrt 2<t<b-sqrt 2)。令 (r = t + sqrt2) 即可。
确界公理应用：开方
对于正整数 n 和正数 y，存在唯一正数 x 使得 (x^n=y)。
证明：
如果存在，肯定唯一，因为是序域。
现在我们来证明存在，在上面我们说了 (A = {x in Q mid x^2 le 2}) 中是上确界，但有上界。
同理，我们设 (A = {x in R mid x^n < y})，可以证明它的上确界就是 (sqrt[n]{y})。具体证明使用放缩法。
一个放缩技巧 (0 < b < 1)：