黎曼积分并非战无不胜
本文转自:http://blog.sciencenet.cn/blog-40247-46893.html 本文来自曹广福科学网博客。
微积分号称三百多年来最伟大的数学,俨然成了无敌于天下的数学老大,然而当狄里克雷(Dirichlet)大侠将他的魔鬼狄里克雷函数从瓶子里放出来时,微积分却对之无可奈何。让经典微积分感到恐惧的不仅仅是这样极端病态的函数,在人们施展微积分这门武功去对付各种自然科学中的问题时也会显得心有余而力不足。例如,当我们试图将积分与极限交换顺序时,极限号始终无法穿越那拉长了脸令人望而生畏的S,事实上,一个黎曼可积的函数序列{fn}即使是收敛的,其极限却可能是个不可积函数,此时讨论等式
lim∫fndx=∫limfndx
是否成立是没有意义的,就算limfn也可积,上述等式也未必成立。很多时候,也许lim能打败S最终穿越它而使上述等式成立,那也是费尽了九牛二虎之力方勉强获胜。问题出在哪里呢?还是让我们先来回顾一下黎曼积分的定义,以图找出它的命门所在。
假设y=f(x)是区间[a,b]上的函数,若存在某个常数A,使得对区间[a,b]的任一分割:
a=x0<x1<…<xn-1<xn=b
及任意ξi∈[xi-1,xi],i=1,…,n, 只要λ=max{Δxi}=max{xi-xi-1}→0,总有
|Σif(ξi)Δxi-A| →0 (*)
则称f在[a,b]上黎曼可积,A称为f在[a,b]上的定积分,记作
∫abf(x)dx=limΣif(ξi)Δxi
从上述定义可以看出,如果f(x)在[a,b]上可积,则对[a,b]内任一充分小的邻域δ,f(x)在δ上值的变化不能太大,否则(*)中和式的极限可能会不存在。由此看来,(*)式对函数有了特定的要求,,它要求这些函数必须是“循规蹈矩”的,即(*)式中极限存在的函数要“基本上”是连续的,事实上,这已为人们所证明(这里所说的“基本上”稍有含糊,所幸不妨碍对问题的理解),这说明问题恰恰出在黎曼积分的定义本身。若想使事情得以解决,就必须摆脱黎曼积分的局限。
法国著名数学家勒贝格(Lebesgue,Henri Leon)给我们带来了全新的观点, 他凭着基于直观几何概念的深刻的洞察力,给分析学开辟了新天地,他发明了一个新式武器—勒贝格积分。勒贝格放弃了对函数的定义域进行分割并进而求和的方法,转而对函数的值域进行分割。为方便起见,不妨以[a,b]上有界函数y=f(x)为例,假设m≤f(x)≤M,对[m,M]作任意分割:
m=c0<c1<…<cn-1<cn=M ,
则对f的定义域中任意x,f(x)必定位于某个 [ci-1,ci] 中。考虑所有其值位于 [ci-1,ci] 中的那些x,即[ci-1,ci] 的原像,记作
Ei=f-1( [ci-1,ci] )。
直观上看来,当y=f(x)连续时,Ei是一些区间的并.我们暂时先假定f是连续的,这样 Ei 自然有“长度”,即几个(也可能是无穷多个)小区间长度之和,作和式
S(f)= Σiξi|Ei| (**)
其中ξi∈[ci-1,ci],| Ei |表示小区间长度之和。当λ=max{ci-ci-1}→0 时,S(f)有没有极限?极限是什么?仔细分析一下,此时S(f)的极限其实就是f的黎曼积分。这就是说,用上述方法分割求和相对于连续函数来说与[ci-1,ci]积分是一样的。如果f在[a,b]上不连续,情形会怎样呢?此时 Ei 就未必是由区间组成的了,这从狄里克雷函数便可看出,因而就没有通常的“长度”了,(**)式自然没有意义。要解决这一问题,就有必要对一般的集合建立“长度”概念,这就是所谓的“测度”,我在谈分形的博文中已经谈到这个问题。有了“长度”概念, 还要考察什么样的集合有“长度”,什么样的集合没有“长度”?假如有些集合没有“长度”, 那么什么样的函数f使得Ei有“长度”?什么样的f使(**)式有极限? 于是“可测函数”及新型“可积函数”的概念便诞生了,这一理论有一个响亮的名字“实变函数”。
乍看起来,与黎曼积分比较,除了定义的角度、观点不同,勒贝格积分似乎无更多新意。其实不然,这一理论给数学带来的影响是深刻和巨大的,它除了使可积函数的范围扩大了以及为积分与极限交换顺序等问题提供了更方便实用的理论外,其更深远的影响在于为泛函分析的产生奠定了基础,同时,也使得概率论这一出身于赌场名声不太好的学科很自然地成为近代数学的一个重要分支。
勒贝格大侠的这门武功让传统微积分相形见拙,但也令数学专业的大学生们感到惧怕,因为它飘忽不定,有如霍家的迷踪拳,让人不可捉摸,皆因它所要对付的魔鬼们大多轻功了得,狄里克雷的魔鬼与之相比不过是个三流都算不上的小角色,非轻灵飘忽的绝顶功夫对付不了他们。
你理解了吗?
黎曼积分并非战无不胜相关推荐
- 7人团队敏捷管理手册
这本书是介绍敏捷方法落实的过程,初看没什么都是一些基本知识,细细品味还是有思考空间的,适合沉浸学习,思考Scrum的内含. 1.敏捷管理----一种提高效率的工作方法 Scrum是一门极力减少不必 ...
- 给企业研发人员列一张数学清单【转载】
[转载] 原帖:http://blog.sciencenet.cn/home.php?mod=space&uid=485553&do=blog&id=746079 工作以来,逐 ...
- 抖音不想只做“开心果”
出品 | 何玺 排版 | 叶媛 2023一开年,抖音就新动作不断.先是宣布启动线上超市,继而又传出将在3月份试水外卖业务,展现出多面出击的姿态. 01 抖音杀入线上超市.外卖赛道 抖音正式杀入&quo ...
- # 命令行新建 job 错误: ORA-01008 并非所有变量都已绑定 。
# 命令行新建 job 错误: ORA-01008 并非所有变量都已绑定 . 1.改正前代码: DECLARE job NUMBER; begin sys.dbms_job.submit(job =& ...
- 斯隆奖获得者李婧翌:AI+X并非总是有效,生物数据量小、噪音大,可解释性是关键...
智源导读:在过去20年中,由于实验技术的发展,生物领域数据出现爆发式增长,同时推动了生物学科的定量化研究.因此,如何从数据中挖掘出有意义的生物学发现,已经成为生物学领域重要问题之一. 加州大学洛杉矶分 ...
- 甲小姐对话稚晖君:深度学习并非AI的终点
"人类不应该只存在在地球上,对于这么浩瀚的宇宙来说太浪费了." 作者 | 甲小姐 助理 | 沁云 近日,华为"天才少年".B站UP主稚晖君的新作自动驾驶自行车在 ...
- SAP MM 并非奇怪现象之MB5B报表里期初库存余额或者期末库存余额为负数?
SAP MM 并非奇怪现象之MB5B报表里期初库存余额或者期末库存余额为负数? 笔者在做某个项目的进销存报表优化的的时候,发现了一个奇怪现象:MB5B查某个日期或某个期间的库存的时候,发现有负的库存余 ...
- 深度学习并非万能:你需要避免这三个坑
深度学习并非万能:你需要避免这三个坑 https://mp.weixin.qq.com/s/ocehuXIh4w_6R545gCJOdA 作者:George Seif 编译:专知,小事 整理:Mand ...
- SAP MM PO中的Delivery Date并非保存在EKPO表里
SAPMM PO中的Delivery Date并非保存在EKPO表里 采购订单行项目中的deliverydate并非如同其它字段值一样是保存在采购订单行项目表EKPO里的, 而是从EKET表里抓 ...
最新文章
- 《Typecript 入门教程》 2、访问控制符:public、private、protected、readonly
- 局域网交换(交换机三大原理.基本配置)
- IAS的工作原理(一)作为 RADIUS 服务器的 IAS
- 在python中排序元组
- 扑克牌比大小c语言,算了算学了有一个月c语言了,写了个扑克牌程序
- 通过组策略禁止用户安装任何软件
- .NET framework Library
- Python帮你识破双11的套路
- 开启简单的laravel5 MVC模式
- 支付窗开发实战-张代浩-专题视频课程
- vs2015ef链接mysql_【转载】VS2015 + EF6连接MYSQL5.6
- 比较有名的CSS,优雅地写css
- 谨慎选择镭射祛斑,极易反黑!一定要做好防晒,否则会变成永无止尽的黑斑地狱!
- ubuntu下载linux源码
- 超级好用又免费的PDF编辑器
- itest听力答案2020_itest听力题库答案
- 算法竞赛---day2(等差素数列)
- 苹果怎么改字体_截图里的文字要改,字体怎么做到一模一样?
- snapchat 登录不上_如何在Snapchat上举报某人
- Windows中常用文件拷贝工具的评测和对比