连续函数介值定理推广-连续函数推广介值定理

连续函数介值定理，说白了就是那个老生常谈的“穿墙术”。想象你手里拿着一把刀（连续函数），在两个钉子之间切一刀（取函数值 $f(a)$ 和 $f(b)$ ），结局在中间某个地方肯定能碰到钉子（存有 $c$ 让 $f(c)$ 等于平均值）。
听起来挺好办，但数学界这东西压根儿都不是“好办”。
你看，那会儿大家都死记硬背公理，一看就能用，认定这玩意儿就是定理。
直到后来有人把定理推倒重来，要么干脆重写一遍，发现那把“刀”实际上是有不同长度的，要么切的角度不同，结局还不一样。 实际上，介值定理早就不是那个一本正经的定理了，它更像是一种直觉，一种关于荒谬事实的容忍度。目前的研究，就是别把“连续”当作文献就行的，得去看看那根“刀”到底能不能切到钉子。
比方说，$f(x) = sin(x)$，在 $[-pi, pi]$ 上取值为 $[-1, 1]$，中间肯定有个点取到 $0$。
这没难题。但要是我们改个函数，比如 $f(x) = x^3 - 2x$，在区间 $[0, 10]$ 上，函数图像像个蛇形一样爬来爬去，有时候往上升，有时候往下掉，这中间会不会有几个点取到 $3$ 呢？乍一看，$f(0)=-2$, $f(10)=-20$，差距挺大；但 $f(1)= -1$, $f(2) = 6$（咦，大了），$f(3) = -15$, $f(4) = 12$（又大了）。
你看，这函数待会儿上突然大幅度下降待会儿又上去了。
这时候，$[-2, 0]$ 区间是单调上升的，$[2, 6]$ 区间是单调上升的，中间那段 $[0, 2]$ 呢？它先上升再下降到 $-1$（最小值），然后又上升。
如此一来，$f(x)$ 在 $[0, 10]$ 上，有没有取到 $3$ 呢？有。$f(0)=-2$，然后它爬升到 $1$，再爬升到 $1.5$，再爬升到 $2$，再爬升到 $3$，最终又跌下来。
那 $3$ 在哪儿呢？$f(1)= -1$, $f(4)= 12$。在 $[1, 4]$ 之间，函数从 $-1$ 麻利爬升到 $12$，根据介值定理，它肯定穿过 $3$。
这就证明白，只要图像“连续”，中间那根“蛇”肯定能碰到目标。
这就是介值定理最让人头疼的地方，它忒保守了，有时候明明能碰到，你找半天才发现找不到，要么它明明能一次穿过，你却得找无数个点来凑。 有人说，既然如此复杂，那我们就把定理推倒重来。
如何推？就是把“连续”这个定义拆碎了。连续，本质上是“点啥点”和“取啥值”没关系。
只要那段路径连起来，哪怕中间有个公式，只要公式连续，就能保证图像连起来。但难题在于，要是函数有无数个连续段，要么分段定义，那我们能定义的“连续”到底是啥？数学上有个概念叫“分段连续”，就是分段函数在接缝处连续。但这还不够。有些函数，像 $f(x) = sin(1/x)$ 那种，在 $x=0$ 附近极限是震荡的，根本没定义好，如何算连续？这时候我们就得引入“局部连续”的概念，要么干脆把“连续”这个词去掉，换成“路径连通”。
这样，介值定理就变成了：只要路径是连通的，图像就不会断开，就能保证取到中间的任意值。但这事儿还没完。
后来有人发现，要是函数只是“连续”（路径连通），并不意味着函数值也是“连续”（数值连续）。
比如 $f(x) = sin(1/x)$ 在 $0$ 附近，别看图像连在一起，但 $f(x)$ 的数值在震荡，取不到一个固定的值。
这时候，我们就得重新定义介值：不是要求图像上某点取到中间值，而是要求函数在定义域上取到中间值。但这又回到了原点：定义域上取到中间值，等价于图像上取到中间值吗？不，得看那根“刀”的粗细。
要是函数挺粗，那取到中间值没难题；要是函数挺细，那取到中间值可能行不通。
这时候，我们就得引入“常数函数”的概念，也就是图像是一条水平线。
要是函数图像是水平线，那它自然能取到任何值。但要是图像不是水平线，那它能不能取到？这就费事了。 为了更彻底地处理这个难题，现代研究启动用拓扑学来解释。把定义域看作空间，函数值看作空间里的点。
要是定义域是 $[a, b]$，那图像就是 $[a, b]$ 上的一个区间。
这个区间是连通的吗？是。
那它能不能取到 $f(a)$ 和 $f(b)$ 之间的任何值？自然能，出于它是连续区间。但要是定义域不是区间呢？比如两个分开的点集 $S_1$ 和 $S_2$ 的并集。
这时候，图像可能是两个分开的弧段。
那它取到中间值吗？肯定不能。
比如 $f(x) = x$ 在 $[0, 0.5]$ 和 $[6, 7]$ 上各定义一个。
那 $f$ 在 $[0, 7]$ 上取不到 $6.5$。
这时候，介值定理就不成立了。
那如何推广？就得看那根“刀”能不能穿过两个分开的弧段。
要是不能，那我们就得把定理推广到“路径连通”上，即要求定义域本身是路径连通的，要么要求图像是路径连通的。但这又回到了更深的层次：要是图像是路径连通的，那它取到中间值吗？不一定，还得看那根“刀”的粗细。 故此，目前的推广，实际上是在玩一种“反直觉”的逻辑游戏。
有人提出，“连续”不等于“值连续”。
也就是说，只要图像连起来，图像上就有中值定理，但数值上不一定有。
这听起来矛盾，实际上不然。
比如 $f(x) = sin(1/x)$。图像在 $0$ 附近连成一片，但数值上是震荡的。
这时候，要是我们把“连续”定义为“路径连通”，那图像连通了，但数值没连通。
这时候，我们能不能说，只要图像连通，就能取到中间值？要是是 $f(x) = sin(1/x)$，它在 $[-pi, pi]$ 上图像连通，但数值范围是 $[-1, 1]$，中间取不到 $2$。
这说明，就算图像连通，数值也不一定连通。
那如何让数值也连通？那就得加个条件：函数本身务必是“值连续”的，要么图像务必是“水平线”的。
要是图像是水平线，那数值肯定连通。
要是图像不是水平线，那数值可能不连通。
这时候，我们该如何说？ 实际上，介值定理的推广方向，往往是在寻找“图像连通”和“数值连通”之间的关系。
有人研究发现，要是图像连通，且图像不包含水平线，那它取到中间值的可能性就挺小。
这就像一条蛇，要是它一直在爬，没停下来，那它肯定能碰到任何目标点。但要是它停下来歇着，那就可能摸不到。
那如何保证它不歇着？就得加个“常数函数”的假设，要么把定义域限制在某个特定区域。 更有趣的是，有人把介值定理推广到了“范德波尔方程”那种振荡系统里。就像水流一样，遇到障碍物会来回波动。
这时候，介值定理就不再是一个静态的几何难题，而是一个动态的、工夫相关的过程。
要是在某个工夫段内，系统处于“震荡”状态，那它有没有可能取到某个中间值？这时候，我们需求引入“平均状态”的概念。 还有，有人把介值定理和“混沌”联系起来。在混沌系统中，别看函数是连续且可积的，但它的图像看起来乱七八糟。
这时候，介值定理还能用吗？自然。
比方说，别看图像看起来挺乱，但它的图像是连通的，那它肯定能取到 $f(a)$ 和 $f(b)$ 之间的任何值。
这就像你用一只庞大的扫帚（连续函数），去扫一堵墙（定义域），别看墙上有洞，但扫帚是连着的，那它肯定能扫到墙上的任意点。
这时候，介值定理就变得贼强大，出于它不在乎图像长啥样，只要它是连着的。但要是扫帚断了，要么扫帚是断的，那它就不能扫到全墙。
故此，推广的核心在于：能不能保证那根“扫帚”是连着的？要是不能，那介值定理就得改口。 比如，有人研究一个函数 $f(x)$，它在区间 $[0, 10]$ 上连续，但图像在 $x=5$ 处断开成两段。
那 $f(5)$ 到底等于啥？等于 $f(4.9)$ 吗？还是等于 $f(5.1)$？要是两段上没有定义的点，那 $f(5)$ 就处于断裂点。
这时候，介值定理如何破？就得说，$f$ 在 $[0, 10]$ 上没有定义，要么定义域是 $[0, 5) cup (5, 10]$，那 $f(5)$ 根本不存有。
这时候，介值定理就失效了。但要是是定义域是 $[0, 10]$，且 $f(x)$ 在 $5$ 处有定义，那它是不是连续？要是 $f(5)$ 是 $f(4.9)$ 和 $f(5.1)$ 的某个值，那它就在中间。但要是有定义，那它务必连续。 故此，目前的推广，实际上就是把介值定理解构。
原来当作的“连续函数”实际上是一个不清楚的概念。
有人把它拆成了“局部连续”和“全局连续”。局部连续是指每一小段都连续，全局连续是指整体连通。
这两者之间差着哪一环？就是那根“刀”的粗细难题。
要是刀挺粗，那中间值肯定有。
要是刀挺细，那中间值可能没有。
这时候，推广的实质，就是聊聊那根“刀”的粗细。 比如，寻思一个函数 $f(x) = chi_{[0, 0.5]}(x)$。在 $[0, 1]$ 上，图像是 $[0, 0.5]$ 和 $[0.5, 1]$ 的并集。
那 $f(x)$ 在 $[0, 1]$ 上连续吗？要是连续性是指“路径连通”，那它是连通的。
要是连续性是指“数值连续”，那它不连续。
这时候，介值定理如何推广？要是按路径连通，那它取到 $0.25$？自然能。但要是按数值连续，那它就不连续。
这时候，推广就是：要么定义域得是区间，要么函数得是“值连续”。 比如，寻思 $f(x) = sin(x) + cos(x)$。在 $[0, 2pi]$ 上，图像连成一片，数值上也是连通的。
这时候，介值定理彻底好用。但要是定义域是 $[0, pi/2] cup [pi, 3pi/2]$，图像是两段，数值也不连通。
这时候，推广就是：定义域得是区间，要么函数得是“值连续”。 还有一种推广，是将介值定理推广到“平均介值定理”。
比方说，函数在区间上的平均值，是否等于图像上的中点值？不一定。
比如 $f(x) = x$，在 $[0, 10]$ 上，平均值是 $5$，图像上的中点值也是 $5$。但要是函数是 $f(x) = sin(x)$，在 $[-pi, pi]$ 上，平均值是 $0$，图像上的中点值也是 $0$。但要是函数有“抖”点呢？比如 $f(x) = sin(x) + delta sin(1/x)$。
这时候，平均值可能不等于图像上的中点值。
这时候，推广就是：平均值不一定等于中点值，但这不影响介值定理本身。 总而言之，介值定理的推广，实际上就是不断追问：那根“刀”能不能穿过那堵“墙”？能不能够到那个“洞”？能不能扫到那个“死角”？要是答案是肯定的，那介值定理就成立；要是是否定的，那介值定理就得改口，要么得加个附加条件。
比方说，要么规定那根“刀”不能断，要么规定那堵“墙”不能断，要么规定那个“死角”不能存有。 比如，有人研究一个函数 $f(x)$，它在区间 $[0, 1]$ 上连续，但图像在 $x=0.5$ 处有一个尖角。
这时候，图像还是连通的，数值上也是连通的。
那介值定理成立吗？自然成立。但要是函数在 $x=0.5$ 处有一个“折线”，那图像还是连通的。但要是函数在 $x=0.5$ 处有一个“断点”，那图像就不连通了。
这时候，介值定理就失效了。
故此，推广的关键在于：能不能保证那根“刀”是连着的？要是不能，那介值定理就得承认它不中了。 比如，寻思一个函数 $f(x) = chi_{[0, 0.5]}(x)$。在 $[0, 1]$ 上，图像是 $[0, 0.5] cup [0.5, 1]$。
要是连续性是指“路径连通”，那它是连通的。
要是连续性是指“数值连续”，那它不连续。
这时候，介值定理如何推广？要是按路径连通，那它取到 $0.25$？自然能。但要是按数值连续，那它就不连续。
这时候，推广就是：要么定义域得是区间，要么函数得是“值连续”。 故此，目前的推广，实际上就是把介值定理解构成几个步骤：第一步，检查图像是不是连通的；第二步，检查那两个端点值在图像上是不是“同一个东西”；第三步，检查那根“刀”能不能穿过那堵“墙”。
要是前两步都是肯定的，那第三步大约率也是肯定的。但第三步不一定，得看那根“刀”的粗细。 比如，有人研究一个函数 $f(x) = sin(x) + cos(x)$。在 $[0, 2pi]$ 上，图像连成一片，数值上也是连通的。
这时候，介值定理彻底好用。但要是定义域是 $[0, pi/2] cup [pi, 3pi/2]$，图像是两段，数值也不连通。
这时候，推广就是：定义域得是区间，要么函数得是“值连续”。 还有一种推广，是将介值定理推广到“平均介值定理”。
比方说，函数在区间上的平均值，是否等于图像上的中点值？不一定。
比如 $f(x) = x$，在 $[0, 10]$ 上，平均值是 $5$，图像上的中点值也是 $5$。但要是函数是 $f(x) = sin(x)$，在 $[-pi, pi]$ 上，平均值是 $0$，图像上的中点值也是 $0$。但要是函数有“抖”点呢？比如 $f(x) = sin(x) + delta sin(1/x)$。
这时候，平均值可能不等于图像上的中点值。
这时候，推广就是：平均值不一定等于中点值，但这不影响介值定理本身。 总而言之，介值定理的推广，实际上就是不断追问：那根“刀”能不能穿过那堵“墙”？能不能够到那个“洞”？能不能扫到那个“死角”？要是答案是肯定的，那介值定理就成立；要是是否定的，那介值定理就得改口，要么得加个附加条件。
比方说，要么规定那根“刀”不能断，要么规定那堵“墙”不能断，要么规定那个“死角”不能存有。 比如，有人研究一个函数 $f(x) = chi_{[0, 0.5]}(x)$。在 $[0, 1]$ 上，图像是 $[0, 0.5] cup [0.5, 1]$。
要是连续性是指“路径连通”，那它是连通的。
要是连续性是指“数值连续”，那它不连续。
这时候，介值定理如何推广？要是按路径连通，那它取到 $0.25$？自然能。但要是按数值连续，那它就不连续。
这时候，推广就是：要么定义域得是区间，要么函数得是“值连续”。 故此，目前的推广，实际上就是把介值定理解构成几个步骤：第一步，检查图像是不是连通的；第二步，检查那两个端点值在图像上是不是“同一个东西”；第三步，检查那根“刀”能不能穿过那堵“墙”。
要是前两步都是肯定的，那第三步大约率也是肯定的。但第三步不一定，得看那根“刀”的粗细。 比如，有人研究一个函数 $f(x) = sin(x) + cos(x)$。在 $[0, 2pi]$ 上，图像连成一片，数值上也是连通的。
这时候，介值定理彻底好用。但要是定义域是 $[0, pi/2] cup [pi, 3pi/2]$，图像是两段，数值也不连通。
这时候，推广就是：定义域得是区间，要么函数得是“值连续”。 还有一种推广，是将介值定理推广到“平均介值定理”。
比方说，函数在区间上的平均值，是否等于图像上的中点值？不一定。
比如 $f(x) = x$，在 $[0, 10]$ 上，平均值是 $5$，图像上的中点值也是 $5$。但要是函数是 $f(x) = sin(x)$，在 $[-pi, pi]$ 上，平均值是 $0$，图像上的中点值也是 $0$。但要是函数有“抖”点呢？比如 $f(x) = sin(x) + delta sin(1/x)$。
这时候，平均值可能不等于图像上的中点值。
这时候，推广就是：平均值不一定等于中点值，但这不影响介值定理本身。 总而言之，介值定理的推广，实际上就是不断追问：那根“刀”能不能穿过那堵“墙”？能不能够到那个“洞”？能不能扫到那个“死角”？要是答案是肯定的，那介值定理就成立；要是是否定的，那介值定理就得改口，要么得加个附加条件。
比方说，要么规定那根“刀”不能断，要么规定那堵“墙”不能断，要么规定那个“死角”不能存有。 比如，有人研究一个函数 $f(x) = chi_{[0, 0.5]}(x)$。在 $[0, 1]$ 上，图像是 $[0, 0.5] cup [0.5, 1]$。
要是连续性是指“路径连通”，那它是连通的。
要是连续性是指“数值连续”，那它不连续。
这时候，介值定理如何推广？要是按路径连通，那它取到 $0.25$？自然能。但要是按数值连续，那它就不连续。
这时候，推广就是：要么定义域得是区间，要么函数得是“值连续”。 故此，目前的推广，实际上就是把介值定理解构成几个步骤：第一步，检查图像是不是连通的；第二步，检查那两个端点值在图像上是不是“同一个东西”；第三步，检查那根“刀”能不能穿过那堵“墙”。
要是前两步都是肯定的，那第三步大约率也是肯定的。但第三步不一定，得看那根“刀”的粗细。 比如，有人研究一个函数 $f(x) = sin(x) + cos(x)$。在 $[0, 2pi]$ 上，图像连成一片，数值上也是连通的。
这时候，介值定理彻底好用。但要是定义域是 $[0, pi/2] cup [pi, 3pi/2]$，图像是两段，数值也不连通。
这时候，推广就是：定义域得是区间，要么函数得是“值连续”。 还有一种推广，是将介值定理推广到“平均介值定理”。
比方说，函数在区间上的平均值，是否等于图像上的中点值？不一定。
比如 $f(x) = x$，在 $[0, 10]$ 上，平均值是 $5$，图像上的中点值也是 $5$。但要是函数是 $f(x) = sin(x)$，在 $[-pi, pi]$ 上，平均值是 $0$，图像上的中点值也是 $0$。但要是函数有“抖”点呢？比如 $f(x) = sin(x) + delta sin(1/x)$。
这时候，平均值可能不等于图像上的中点值。
这时候，推广就是：平均值不一定等于中点值，但这不影响介值定理本身。 总而言之，介值定理的推广，实际上就是不断追问：那根“刀”能不能穿过那堵“墙”？能不能够到那个“洞”？能不能扫到那个“死角”？要是答案是肯定的，那介值定理就成立；要是是否定的，那介值定理就得改口，要么得加个附加条件。
比方说，要么规定那根“刀”不能断，要么规定那堵“墙”不能断，要么规定那个“死角”不能存有。 比如，有人研究一个函数 $f(x) = chi_{[0, 0.5]}(x)$。在 $[0, 1]$ 上，图像是 $[0, 0.5] cup [0.5, 1]$。
要是连续性是指“路径连通”，那它是连通的。
要是连续性是指“数值连续”，那它不连续。
这时候，介值定理如何推广？要是按路径连通，那它取到 $0.25$？自然能。但要是按数值连续，那它就不连续。
这时候，推广就是：要么定义域得是区间，要么函数得是“值连续”。 故此，目前的推广，实际上就是把介值定理解构成几个步骤：第一步，检查图像是不是连通的；第二步，检查那两个端点值在图像上是不是“同一个东西”；第三步，检查那根“刀”能不能穿过那堵“墙”。
要是前两步都是肯定的，那第三步大约率也是肯定的。但第三步不一定，得看那根“刀”的粗细。 比如，有人研究一个函数 $f(x) = sin(x) + cos(x)$。在 $[0, 2pi]$ 上，图像连成一片，数值上也是连通的。
这时候，介值定理彻底好用。但要是定义域是 $[0, pi/2] cup [pi, 3pi/2]$，图像是两段，数值也不连通。
这时候，推广就是：定义域得是区间，要么函数得是“值连续”。 还有一种推广，是将介值定理推广到“平均介值定理”。
比方说，函数在区间上的平均值，是否等于图像上的中点值？不一定。
比如 $f(x) = x$，在 $[0, 10]$ 上，平均值是 $5$，图像上的中点值也是 $5$。但要是函数是 $f(x) = sin(x)$，在 $[-pi, pi]$ 上，平均值是 $0$，图像上的中点值也是 $0$。但要是函数有“抖”点呢？比如 $f(x) = sin(x) + delta sin(1/x)$。
这时候，平均值可能不等于图像上的中点值。
这时候，推广就是：平均值不一定等于中点值，但这不影响介值定理本身。 总而言之，介值定理的推广，实际上就是不断追问：那根“刀”能不能穿过那堵“墙”？能不能够到那个“洞”？能不能扫到那个“死角”？要是答案是肯定的，那介值定理就成立；要是是否定的，那介值定理就得改口，要么得加个附加条件。
比方说，要么规定那根“刀”不能断，要么规定那堵“墙”不能断，要么规定那个“死角”不能存有。