陶哲轩实分析 命题7.18 证明
2012-11-01 17:02
288 查看
命题7.1.8:(有限求和是定义成功的)设$X$是具有$n(n\in\mathbb{N})$个元素的有限集合.设$f:X\to\mathbb{R}$是函数.并设$g:\{1\leq i\leq n\}\to X$和$h:\{1\leq i\leq n\}\to X$都是双射.则我们有
$$\sum_{i=1}^nf(g(i))=\sum_{i=1}^nf(h(i))$$
证明:证明使用数学归纳法.当$n=0$时,根据定义,$$\sum_{i=1}^nf(g(i))=\sum_{i=1}^nf(h(i))=0$$假设命题当$n=k(k\geq 0)$时成立,即
$$\sum_{i=1}^kf(g(i))=\sum_{i=1}^kf(h(i))$$
则当$n=k+1$时,设$g':\{1\leq i\leq k+1\}\to X'$和$h':\{1\leq i\leq k+1\}\to X'$都是双射.其中$X'$是具有$k+1$个元素的有限集合.当$g'(k+1)=h'(k+1)$时,结合假设,命题显然成立.当$g'(k+1)\neq h'(k+1)$时,设$g'(k+1)=h'(v)$.$h'(k+1)=g'(e)$.现在对函数$h'$动一点小手术:本来$h'(k+1)=g'(e)$,$h'(v)=g'(k+1)$,现在让$h'(k+1)=g'(k+1)$,让$h'(v)=g'(e)$,其它的保持不变.由加法的性质(我以前证过)可得这样子动了小手术之后$\displaystyle \sum_{i=0}^{k+1}f(h'(i))$值不变,而且这个小手术的好处在于把新情况转化为已经讨论过的情况.综上所述,根据数学归纳法,可得有限求和的定义是成功的.
$$\sum_{i=1}^nf(g(i))=\sum_{i=1}^nf(h(i))$$
证明:证明使用数学归纳法.当$n=0$时,根据定义,$$\sum_{i=1}^nf(g(i))=\sum_{i=1}^nf(h(i))=0$$假设命题当$n=k(k\geq 0)$时成立,即
$$\sum_{i=1}^kf(g(i))=\sum_{i=1}^kf(h(i))$$
则当$n=k+1$时,设$g':\{1\leq i\leq k+1\}\to X'$和$h':\{1\leq i\leq k+1\}\to X'$都是双射.其中$X'$是具有$k+1$个元素的有限集合.当$g'(k+1)=h'(k+1)$时,结合假设,命题显然成立.当$g'(k+1)\neq h'(k+1)$时,设$g'(k+1)=h'(v)$.$h'(k+1)=g'(e)$.现在对函数$h'$动一点小手术:本来$h'(k+1)=g'(e)$,$h'(v)=g'(k+1)$,现在让$h'(k+1)=g'(k+1)$,让$h'(v)=g'(e)$,其它的保持不变.由加法的性质(我以前证过)可得这样子动了小手术之后$\displaystyle \sum_{i=0}^{k+1}f(h'(i))$值不变,而且这个小手术的好处在于把新情况转化为已经讨论过的情况.综上所述,根据数学归纳法,可得有限求和的定义是成功的.
相关文章推荐
- 陶哲轩实分析 命题7.18 证明
- 陶哲轩实分析 命题 7.4.1 证明
- 陶哲轩实分析 命题 7.4.1 证明
- 陶哲轩实分析 命题7.4.3 (级数的重排) 证明
- 陶哲轩实分析 命题7.4.3 (级数的重排) 证明
- 陶哲轩实分析 命题 8.2.6 证明
- 陶哲轩实分析 命题7.2.5 证明
- 陶哲轩实分析 命题 8.2.6 证明
- 陶哲轩实分析 命题7.2.5 证明
- 陶哲轩实分析 命题 7.2.14 (极限算律) 证明
- 陶哲轩实分析 命题 7.2.14 (极限算律) 证明
- 陶哲轩实分析 命题7.1.11 (在有限集合上求和的基本性质) 证明
- 陶哲轩实分析 命题7.1.11 (在有限集合上求和的基本性质) 证明
- 陶哲轩实分析 命题 7.3.4 (Cauchy 准则) 证明
- 陶哲轩实分析 命题 7.3.4 (Cauchy 准则) 证明
- 3个数学命题的简单证明
- 陶哲轩实分析命题9.4.10:指数函数的连续性
- 陶哲轩实分析命题 11.10.7
- 陶哲轩实分析命题 11.10.7
- 交换两个实数至少需要三步,这个命题对不对,该怎么证明