达布定理

✍ dations ◷ 2025-08-21 23:10:46 #实分析,微分学,微积分定理,连续映射

在实分析中,达布定理(英语:Darboux's theorem)得名于让·加斯东·达布。达布定理说明所有的实导函数(是某个实值函数的导数的函数)都具有介值性质:任一个区间关于实导函数的值域仍是区间。即是说,若 为可导函数,则对任意区间I,(I) 仍为区间。

当函数 是一阶连续可导函数(1)时,由介值定理,达布定理显然成立。当导函数 不连续时,达布定理说明 仍具有介值性质。

19世纪时,大部分数学家认为介值定理已经可以刻画出连续函数。但在1875年,让·加斯东·达布证明这个想法是错误的,因为连续函数的导函数仍然具有介值性质,但不一定是连续函数。一个很常用的反例是函数:

其导数在0处并不连续。

达布定理等价于:设  : → R 为一个 上的实值可导函数,并在 上可导,那么 f {\displaystyle f\,'} ,存在 属于 (,) 使得 f ( x ) = t {\displaystyle f\,'(x)=t} () := () - ,则 g + ( a ) > 0 > g ( b ) {\displaystyle g'_{+}(a)>0>g'_{-}(b)} ,] 上的一个零点即可。

由于 是 上的连续函数,由极值定理, 在 上达到极大值。由于 g + ( a ) > 0 {\displaystyle g'_{+}(a)>0} 处取到。同理,由于 g ( b ) < 0 {\displaystyle g'_{-}(b)<0} 处取到。设 为取到极大值的点,这时, g ( x ) = 0 {\displaystyle g\,'(x)=0} 。于是定理得证。

相关

  • 磋商谈判是两人或多于两人进行对话,双方企图达成正向的结果。此正向结果可有利于所有谈判参与者,或仅对个别或一些谈判参与者有利。谈判的目标是解决歧见,以获得个别或集体利益,或形
  • 爱德华兹罗伯特·杰弗里·爱德华兹爵士,CBE,FRS(英语:Sir Robert Geoffrey Edwards,1925年9月27日-2013年4月10日),英国生理学家,生殖医学的先驱者,因“开发体外受精技术”的成就被授予2010年
  • 螺旋藻属螺旋藻属(学名:Spirulina),是蓝藻纲的一个属。本属物种旧属颤藻目颤藻属,后来独立出来成为螺旋藻属,但仍属颤藻目; 2014年,螺旋藻属与Glaucospira(Lagerheim 1892)及Halospirulina(Nüb
  • 旋尾下目旋尾下目(学名:Spiruromorpha),原为胞管肾纲的旋尾目(学名:Spirurida),是旋尾亚目(昔日胞管肾纲的旋尾亚纲)之下的一个下目级分类单元。截至2018年1月15日 (2018-01-15),旋尾下目在WoR
  • 美国奈利斯空军基地第57联队(英语:57th Wing) 第99基地联队(英语:99th Air Base Wing) 第53测试评估大队(英语:53d Test and Evaluation Group) 第505测试评估联队(英语:505th Command and Control Wing)内
  • 轮状病毒疫苗轮状病毒疫苗 是用于预防轮状病毒感染的疫苗。 轮状病毒是造成孩童腹泻的最主要原因。 轮状病毒疫苗在发展中国家预防了15%到34%的严重腹泻;在发达国家避免了37%到96%的严重
  • 卡尔·路德维希大公卡尔·路德维希大公(Archduke Karl Ludwig of Austria,1833年7月30日-1896年5月19日),奥匈帝国皇帝弗朗茨·约瑟夫一世之弟。侄子皇储鲁道夫死后,其长子弗朗茨·斐迪南大公成为皇
  • 崔曙海崔曙海(韩语:최서해,1901年1月21日-1932年7月9日),朝鲜小说家。本名鹤松。他在以《出走记》和《大水之后》为代表的一批短篇小说里真实反映了社会底层人民的生活,呼吁反抗和斗争,是
  • 陈球陈球,字蕴斋,别号一箦山樵,清代浙江秀水(今嘉兴)人。生卒年均不详。乾隆年间诸生。嗜酒如命,自号酒狂。家贫,以卖画自给,擅长骈文,喜读传奇小说。著有《燕山外史》共八卷,约成书于嘉庆
  • 丹尼尔·德林克沃特丹尼尔·诺依·“丹尼”·德林克沃特(英语:Daniel Noel "Danny" Drinkwater,1990年3月5日-)出生于英格兰曼彻斯特,是一名足球运动员,司职中场,出身曼联青训系统,现效力于英超俱乐部切