分段函数是不是一定初等函数_关于分段函数及原函数存在性疑惑的个人理解

2020/9/23更：自身水平有限，所以一切都仅是个人想法，仅供参考，本次更新从另一个角度来解释。

首先将函数分为两类：分段函数和非分段函数。

非分段函数：定义域为区间形式，在该区间上函数连续且表达式唯一。（可以看出他在区间内是必可导，有原函数的）

分段函数：由非分段函数拼接而成的一个函数。（可以连续的）

例如：ln|x|就是分段函数，由（0，＋∞）与（－∞，0）两部分拼接而成。

然后，我们将连续与间断的讨论限定在区间上某分段函数，而不是定义在定义域上；将微积分看做是对各个分段上的研究，最后拼在一起。

间断：对于1/x而言，x＝0不在定义域内，但是却在（-1，1）这个区间内，这个区间有间断点x＝0，而这个区间不是定义区间，与初等函数在定义区间连续不矛盾。同时把无定义点纳入了间断的讨论中。

微积分：我们讨论导数时，对于边界点一般都只讨论左右导，既不可导，因为只有一侧，那么对于分段函数，其定义域实际是拼接而成的，因此在讨论时，要特别讨论，如果该点无定义那显然是不可导的，如果有定义则比较左右导数。

原函数存在定理：函数可导则其导函数：①连续②间断（间断点无定义或为震荡间断点）

一个函数存在原函数，则该该函数：①连续②间断（间断点无定义或为震荡间断点）

因为各个区间不相关，那么拼接后是否连续也就不必然，只能保证在各区间内连续，因为区间内是同一个表达式。震荡的情况其实也是又多个区间拼成的。

对于区间连续函数不连续，理解为各部分拼接而成也是不矛盾的，因为各部分原函数在端点求导都是单侧导数，不是导数，而函数不连续就注定了原函数在该点左右导不同，既不可导，而又因为函数在这点有定义（区间连续），但是却无法由原函数求导得到，故在该区间无原函数。

（与下面讨论结果相同，换个解释，手机码字也没整理，有些啰嗦，可能是因为记不清当时自己疑惑的地方在哪了，欢迎大家一起讨论）

---

相信很多考研的小伙伴都听说过原函数存在性定理：当函数连续时，一定有原函数，当函数有第一类间断点和无穷间断点时，一定没有原函数。

可是有些小伙伴可能会有疑惑，因为分段函数可以求导，他们的导数不是有间断点吗？再如

不是有

这个原函数吗？

-------------------------------------2019/10/21日更新--------------------------------------

有考研同学有疑问，查过同济版教材，认为无定义点属于间断点，同济版教材好像是考研指定教材，所以以此为准，之前给大家带来误扰，实属抱歉。

关于原函数存在性定理与分段函数不连续但是有原函数的矛盾，解释如下：

含跳跃间断点的函数必没有原函数证明过程：

假设

又因为

故不可导，与假设矛盾。

其实这个过程是默认了

和

有定义，然后得出

不存在，即不能通过求导得到

，可是如果

本身就不存在呢？

对于同济教材的间断点，可以是无定义点，于是我们让

在

点无定义，这样

依然有跳跃间断点，但是在求原函数的时候不要求原函数在这点可导，并经过求导得到

，这样一来得到区间

，显然在

，即

在为

（在区间

）的原函数。（建议在求导函数，原函数指明区间）

因此，原函数存在定理可以修改为：若函数连续或者函数的间断是由无定义点、振荡间断点导致的，那么这个函数可以有原函数。（存在振荡间断点可以没有原函数）

提一句：可导必联续，里的可导、连续实际指的是在某“点”或区间可导、连续。

---------------------------------一下为原答案，在次致歉------------------------------------

这篇文章的内如主要有：间断点与原函数存在性、不定积分与变限积分、左（右）导数与导数的左右极限的区别。

下面先看几个分段函数：

除了

定义域为R，其他都不为R。其中

有可去间断点，

有跳跃间断点，所以他们都没有原函数，可是他们都是由某个函数求导得来的。

这就有一个问题：即便一个函数是求导得来的它也可能没有原函数吗？还是出现了什么问题。

其实答案就在于：函数在此处是否有意义。

先来看间断点，这些真的存在间断点吗？很显然他们的图形是断开的，但是在数学上，一个名词一定是有严格定义的，我们在学习知识的时候，很喜欢记关键性的（解题用的到的）语句，而忽略了他们前提，例如跳跃间断点：左右极限存在但是不相等，可去间断点在图形上那个点画个圈。实际上却忽略了最重要的一点：函数有定义。

设

是函数

的定义域中的一点，如果

在

连续，则称

为

的 连续点 ；如果

在

不连续，则称

为

的 间断点 ；然后...可去间断点...跳跃间断点..... 《数学分析教程》（史济怀） 设函数f(x)在

上有定义，在

点不连续，如果出现上述情况1（左右极限不等），那么我们就说

点是函数的跳跃间断点；如果出现上述情况2（左右极限相等不等于函数值），那么我们就说

点时函数的可去间断点

。 《数学分析新讲》（张筑生）

可以看出，对于间断点的讨论实际是在函数有定义的情况下讨论的，也就是在定义域内讨论。

现在在来看：

其实

都不存在间断点，在每段定义区间内都是连续的。两段区间间可能不连续，但是我们讨论间断点而不讨论不连续，这样一来他们就都存在原函数。

以上就是分段函数是否存在原函数的全部内容，下面来看一下原函数的定义。

设函数

在区间

有定义，如果函数

在

连续，在

（

去掉端点的区间）可导，并且有

那么我们就说

是

的一个原函数。

设函数

在区间

有定义，如果函数

是

的一个原函数，那么对于任何

，函数

也是函数

的一个原函数。且函数簇

表示

的一切原函数。并称这个函数簇为

的不定积分。 《数学分析新讲》（张筑生）

可以对于上面的分段函数

是相同的，但是

是不同，而且他们不在同一个函数簇中，我偏向于认为

是

的原函数，因为

的定义域与

不同。那么是否可以说：

一个函数由另一个函数求导得到，但是这个函数却不是他的原函数？按照目前的分析，应该是这样的。

同样认为

也不是

的原函数，那么

和

是什么呢？观察图形可以发现他们是

的变限积分，我们知道变限积分在其定义域内（认为变限积分为函数）必连续，但是却不一定可导，原因就在这里：

变限积分不一定是原函数，只有当他是原函数的时候，他才是可导的。（注意：可导是在区间每点导数都存在）

下面聊一聊左右导数与导数的左右极限。

观察导函数：

在

趋于0时有：

是否可以认为，他们左导数等于右导数，进而推出这点导数存在？显然是否定的，那么问题出在哪里？还是要从定义出发：

我们可以看见有

这一项，实际上在求导数时要求函数

在

上有定义，对于左右导数分别要求在其左右邻域有定义。不论是左右导数还是导数，在这点必须是有定义的。

而对于极限我们的要求是去心邻域，也就是说，这点可以没有定义，也就想上面的分段函数一样。

因此

与

不是同一个概念，只有在左右导数存在时他们才相等：

（洛必达法则）