博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
陶哲轩实分析 命题7.18 证明
阅读量:5821 次
发布时间:2019-06-18

本文共 804 字,大约阅读时间需要 2 分钟。

命题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))$值不变,而且这个小手术的好处在于把新情况转化为已经讨论过的情况.综上所述,根据数学归纳法,可得有限求和的定义是成功的.

转载于:https://www.cnblogs.com/yeluqing/archive/2012/11/01/3828217.html

你可能感兴趣的文章
php生成word,并下载
查看>>
python 函数参数
查看>>
紫书 习题8-11 UVa 1615 (区间选点问题)
查看>>
asp.net mvc学习(Vs技巧与Httpcontext)
查看>>
float数据在内存中是怎么存储的
查看>>
开发经验和习惯
查看>>
dedecms 修改标题长度可以修改数据库
查看>>
Matplotlib学习---用matplotlib画直方图/密度图(histogram, density plot)
查看>>
MySQL案列之主从复制出错问题以及pt-slave-restart工具的使用
查看>>
在JS中调用JAVA变量
查看>>
linux 查看剩余内存数
查看>>
loadrunner 怎么能得到返回的http状态?
查看>>
《SQL CookBook 》笔记-第三章-多表查询-连接查询
查看>>
测试人员容易遗漏的隐藏缺陷
查看>>
JS方法:数字转换为千分位字符
查看>>
maven+SpringMVC搭建RESTful后端服务框架
查看>>
[BalkanOI2016]Cruise
查看>>
《陶哲轩实分析》定理10.1.15:导数的链法则
查看>>
一本书的摘录
查看>>
重排序(转载)
查看>>