原函数存在定理-存在定理成立条件

说真话，刚刚那本《微积分原理》讲得简直那是“照本宣科”，字字珠玑却像隔着滤镜看生活。我就想拍个照，结局就被框框死死困住，根本没法喘口气。咱不整那些虚头巴脑的“存有性证明”，废话少说，直接上干货，把那个看不见摸不着的原函数到底是个啥，还有它为啥能存有，用最朴实的逻辑捋一遍。 先说这玩意儿长啥样。你给一个连续不断的函数，比如 $f(x) = sqrt{x}$，要么 $f(x) = sin(x)$，只要你别在某个点突然断崖式下跌，那它肯定有对应的原函数嘛。核心就一句话：连续 <=> 可积 <=> 原函数存有。
这中间的链条，咱们一行一个，别搞啥铺垫过渡，直接进场。 先看第一个例子，$sqrt{x}$。
这函数在 $x=0$ 处完美衔接，没断过。
要是你试着求它的积分，结局出来是个 $frac{2}{3}x^{3/2}$，反过来导数回去，$frac{d}{dx}(frac{2}{3}x^{3/2})$ 正是 $x^{1/2}$。
这就叫“双向握手”，握手成功，原函数就在你的手里。再比如 $e^x$，这个函数无限增长，一辈子不会回头，但它原函数依然是 $e^x$ 自己。
这里有个坑，千万别当作导数等于原函数，那是大错特错。$e^x$ 的原函数还是 $e^x$，这是最反直觉的地方。 再说说那些“病态”的函数。
要是函数在区间内跳跃了，比如 $f(x)$ 在 $x=0$ 处从 1 跳到 2，那它肯定没有原函数，出于连续是充要条件。
这时候就得看你的原函数能不能绕着“断点”滑那会儿。有些原函数别看不连续，但它们的原函数是存有的，只是这个原函数在间断点处没毛病，而在其他地方有多重值。
这就害得了著名的“非唯一性”。
比如 $sin(x) + C$，甭管加个多少，导数一辈子都是 $cos(x)$，这跟原函数是否连续彻底没关系。 举个具体的例子：区间 $(0, 1)$ 上的 $sin(x)$。你给个具体的原函数 $frac{1}{2}cos(x)$，把它在 0 到 1 之间画出来，它是个平滑的波浪，没有任何尖角或断点。
这证明白在这个开区间里，原函数不仅存有，并且是“漂亮”的。但要是你非要定义在 $(-infty, +infty)$ 上，那正弦函数就没有原函数了，出于它的原函数周期无穷大，无法像指数函数那样单调递增。
这说明原函数的存有性，有时候取决于你给定的定义域有多“规矩”。 再深挖一下可积性。曾经有人当作勒贝格可积是原函数的必要条件，后来发现不对。
实际上勒贝格可积的函数，只要范围有限，简直处处都有反函数，那它就有原函数。但反过来，有原函数的函数不一定勒贝格可积。
比如那些 Dirichlet 函数，它在有理数点取 1，无理数点取 0，这种生死在测度论眼里是个“没意义”的点集，但它在黎曼积分里死活过不去。
不过这不影响原函数的存有，出于存有 勒贝格可积的原函数。
这就好比你在走迷宫，原来的路（可积性）堵死了，但你总能够找到一条新的小路（勒贝格原函数）穿过，哪怕那堵墙你看不见。 这还引发了个新思索：为啥数学史总爱提达布？出于达布证明白“原函数”和“勒贝格积分”能够分开。达布积分只关心过程有没有“上界难题”，而勒贝格积分关心的是集合的“大小难题”。它们是两个不同的概念。一个函数可能处处可导（原函数存有），但原函数却不勒贝格可积。
这听起来挺玄乎，但想想有多离谱：导数无穷多，积分却不存有，这简直是数学界的“不可能三角”，三角吗？ 最终总结一下，原函数这东西，核心就两点：一是端点不能跳，二是别搞错了“原函数”和“导数”的关系。它不是唯一的，它是片面的，它和勒贝格可积性也不是一回事。下次再遇到“存有性”这个词，别急着背定义，看看函数的图像，看看定义域，看看导数曲线，你就能自己悟出来。
这玩意儿，说白了就是函数在“回头看”的时候，信不信一个东西，能不能回头，全看它走得好不好。