陶哲轩实分析 7.1 节习题试解
证明引理 7.1.4
(a) 设
m≤n<p
是整数,并设
ai
是实数,对应于每个整数
m≤i≤p
。 那么我们有
数学归纳法:
当
p=n+1
时
假设当 p=q,q>n+1 时成立:
那么当
p=q+1
时有:
(b)设
m≤n
是整数,
k
是另一个整数,并设
对 n 用数学归纳法:
当
假设当
n=p
时成立。
那么当 n=p+1 时有:
(c)设 m≤n 是整数,并设 ai,bi 是对应于每个整数 m≤i≤n 的实数,那么我们有
对
n
用数学归纳法:
当
假设对于
n=p
成立:
那么当 n=p+1 时,有:
(d)设 m≤n 是整数,并设 ai 是对应于每个整数 m≤i≤n 的实数,设 c 是实数,那么我们有
对 n 用数学归纳法:
当
假设对于
n=p
成立。
那么当 n=p+1 时,有:
(e)(关于有限级数的三角不等式)设
m≤n
是整数,并设
ai
是对应于每个整数
m≤i≤n
的实数,那么我们有:
对 n 用数学归纳法:
当
假设对于
n=p
成立。
那么当
n=p+1
时,有:
(f)(有限级数的比较法则)设
m≤n
是整数,
ai
是对应于每个整数
m≤i≤n
的实数,并设对于一切
m≤i≤n
,
ai≤bi
,那么我们有:
对 n 用数学归纳法:
当
假设对于
n=p
成立。
那么当
n=p+1
时,有:
7.1.2 证明引理 7.1.11
(a)如果
X
是空集,并且
证明:
构造一个一一映射:
h:∅→∅
,那么有
(b)如果
X
是由一个单个元素组成:
证明:
构造一个一一映射
h:{0}→X
满足 h(0) = x_0
h(0)=x0
那么:
(c)(代入法 I) 如果
X
是有限集合,
设
X
有 N 个元素,构造一个双射
另外
p=g−1.h:{1,2,⋯,N}→Y
也是双射。
所以:
(d)(代入法 II)设
n≤m
是整数,并设
X
是集合
如果
ai
是实数,对应于每个整数
i∈X
,那么
构造一个双射
h(i)=i
。
那么
(e)设
X,Y
是不相交的有限集合,并且
f:X⋃Y→R
是函数,那么
设
X
有
$$
h(i) = \left{
\right.
$$
也是双射。
那么:
(f)(线性性质I)设
X
是有限集合,设
设
X
有
那么:
(g)(线性性质II)设
X
是有限集合,设
设 X 有
那么:
(h) (单调性)设
X
是有限集合,并设
证明:
设
X
有
那么:
(i)(三角不等式)设
X
是有限集合,并设
设
X
有
那么:
7.1.3 构做有限乘积 ∏ni=1ai 和 ∏x∈Xf(x) 的定义。
$$
\prod_{i=m}^{n} a_i := 1 , \ 如果 n < m \
\prod_{i=m}^{n} a_i :=\left( \prod_{i=m}^{n-1} a_i \right) \times a_n \
\prod_{x \in X} f(x) = \prod_{i=1}^{n} f(h(i))
$$
7.1.4 证明二项公式
对一切自然数成立。
数学归纳法:
当
n=0
时
假设对于 n=m 时成立
那么当 n=m+1 时
7.1.5 设
X
是有限集合,设 m 是整数,并且对于每个
x∈X
令
an(x)∞n=m
是一个收敛的实数序列。证明序列
(∑x∈Xan(x))∞n=m
是收敛的。并且
设 X 的元素个数为
当
N=1
时
是收敛的实数序列。
假设当
N=M
时
也是收敛的实数序列。
那么当
N=M+1
时
也是收敛的实数序列。
当
N=1
时
成立。
假设当
N=M
时
成立。
那么当 N=M+1 时
成立。