达布定理, 此条目的主題是数学分析中的, 关于微分几何中的, 請見, 微分几何, 在实分析中, 英語, darboux, theorem, 得名于让, 加斯东, 达布, 说明所有的实导函数, 某个实值函数的导数, 都具有介值性质, 实导函数对任意区间的值域仍是区间, 即是说, 若f为可导函数, 则对任意区间i, 仍为区间, 当函数, 是一阶连续可导函数, 由介值定理, 显然成立, 当导函数, 不连续时, 说明, 仍具有介值性质, 目录, 历史, 内容, 证明, 参见, 参考资料, 外部链接历史, 编辑19世纪时, . 此条目的主題是数学分析中的达布定理 关于微分几何中的达布定理 請見 达布定理 微分几何 在实分析中 达布定理 英語 Darboux s theorem 得名于让 加斯东 达布 达布定理说明所有的实导函数 某个实值函数的导数 都具有介值性质 实导函数对任意区间的值域仍是区间 即是说 若f为可导函数 则对任意区间I f I 仍为区间 当函数 f 是一阶连续可导函数 C1 时 由介值定理 达布定理显然成立 当导函数 f 不连续时 达布定理说明 f 仍具有介值性质 目录 1 历史 2 内容 3 证明 4 参见 5 参考资料 6 外部链接历史 编辑19世纪时 大部分数学家认为介值定理已经可以刻畫出连续函数 但在1875年 让 加斯东 达布证明这个想法是错误的 因为连续函数的导函数仍然具有介值性质 但不一定是连续函数 一个很常用的反例是函数 h R R x x 2 sin 1 x displaystyle h mathbb R rightarrow mathbb R x mapsto x 2 sin left frac 1 x right nbsp 当x 0 displaystyle x neq 0 nbsp h 0 0 displaystyle h 0 0 nbsp 当x 0 displaystyle x 0 nbsp 其导数在0处并不连续 内容 编辑设f a b R displaystyle f colon a b to mathbb R nbsp 为闭区间 a b displaystyle a b nbsp 上的实值可导函数 那么对介于f a displaystyle f a nbsp 和f b displaystyle f b nbsp 之间的任意t displaystyle t nbsp 存在x displaystyle x nbsp 属于 a b displaystyle a b nbsp 使得f x t displaystyle f x t nbsp 证明 编辑不失一般性 我们可假设f a gt t gt f b displaystyle f a gt t gt f b nbsp 又设g x f x t x displaystyle g x f x tx nbsp 则 g a gt 0 gt g b displaystyle g a gt 0 gt g b nbsp 只需找到g displaystyle g nbsp 在 a b displaystyle a b nbsp 上的一个零点即可 由于g displaystyle g nbsp 是 a b displaystyle a b nbsp 上的连续函数 由極值定理 g displaystyle g nbsp 在 a b displaystyle a b nbsp 上达到极大值 由于g a gt 0 displaystyle g a gt 0 nbsp 极大值不在a displaystyle a nbsp 处取到 同理 由于g b lt 0 displaystyle g b lt 0 nbsp 极大值也不在b处取到 设x displaystyle x nbsp 为取到极大值的点 这时 g x 0 displaystyle g x 0 nbsp 于是定理得证 参见 编辑让 加斯东 达布 介值定理参考资料 编辑万丽 李少琪 阎庆旭 微分达布 Darboux 定理的几种新证法及其推广 数学的实践与认识 2003年11期 潘继斌 达布 Darboux 定理及其应用 湖北师范学院学报 自然科学版 2000年01期外部链接 编辑本條目含有来自PlanetMath Darboux s theorem analysis 的內容 版权遵守知识共享协议 署名 相同方式共享协议 本條目含有来自PlanetMath Proof of Darboux s theorem 的內容 版权遵守知识共享协议 署名 相同方式共享协议 取自 https zh wikipedia org w index php title 达布定理 amp oldid 76679084, 维基百科,wiki,书籍,书籍,图书馆,