勒贝格积分的三大定理-勒贝格积分三大定理

勒贝格积分这东西，在讲微积分的老路上，大家传统上喝多了波意，认定奥雷姆扯淡，认定那是个函数 $f$ 的平方值在区间，结局算出来不过是 $x$ 的幂次和。但后来有人突然灵光一闪，说这玩意儿就是那个跳变函数 $f(x)$ 在 $x$ 处取不到 $infty$，只要 $f(x)$ 在区间 $I$ 上非负，并且它“跑得快”——跑得快得让黎曼积分那帮老古董都投诉——那还能算个积分。
这个想法忒狠了，直接把函数从“整体看”变成了“局部看”。目前咱们不整那些教科书式的“第
一、第
二、第三”了，也不整那些“起初、其次”的废话。 先说它为啥能算。
那会儿做积分，你手里拿着个小尺子（狄利克雷矩形），试着填平每一个柱子。
要是柱子忒高了，那叫积分；要是柱子塌了，那叫无积分（非遍历）。但勒贝格积分跳出来的时候，尺度变了。它不看整个函数如何凑合，只看函数“不稳”的地方。
要是你函数在区间里大局部是零，哪怕间或有个尖峰，勒贝格积分有时候会把那个尖峰忽略掉，只给那些零贡献的局部打分。
这就好比你在一个城市里，大局部地方都是人烟稠密区，只有个窄巴的巷子里有一个乞丐在乞讨。
要是你只关心乞丐有没有钱，那乞丐没钱；但你关心的是整个城市的 GDP，那乞丐那点钱在总账里简直为零。勒贝格积分时常就是如此“看繁华不嫌事大”，它把函数分成“零值区”和“非零值区”两截，算完零值区后，把注意力聚拢在非零值上。 举个具体的例子，这个例子可能让你质疑人生，但有时候人生就是如此充满质疑。假设我们要算一个函数在 $(0, 1)$ 上的积分。
这个函数在 $x = sqrt{2}/2$ 处有个尖峰，高度是 $2$，然后从那里斜着跌下去，其他地方都是 $0$。对于黎曼积分，这个函数是连续的，出于除了那个点外，它一直沿着轴走。
你看，那个尖峰别看挺高，但面积多小？要是黎曼积分能算出来，那它就是一个数字。但勒贝格积分呢？它不看那个尖峰，出于它在测度论眼里，那个点的“大小”（勒贝格测度）为零。
故此勒贝格积分的结局是零。
这就好比你在做那个著名的哑塔难题，问哪位能把一块重达 $10^5$ 吨的石头扔进 $10^6$ 吨的深海中而不沉没。大家先用黎曼积分思维想：石头沉下去了，你扔不进去。用勒贝格积分思维想：只要石头没沉下去，你就算赢，哪怕它是 $10^{10}$ 吨。勒贝格积分就是那个更智慧的人，它给你展示了一个能够被操作的空间，哪怕那里有一个无法忽略的“障碍”。 再深入一点，这实际上涉及到了“忽略一局部”的艺术。勒贝格积分准你切断一局部的函数值。假设你有一个函数，它在 $(0, 1)$ 上积分，结局是 $infty$。
要是你把函数在 $(0, 1/2)$ 这一段切断，只保留 $(1/2, 1)$ 这一段，那你拿到的积分就是收敛的那个平均值，不再是发散的。
这就是勒贝格积分最本质的魔力，它准你用“局部”的本事去“整体”地看待难题。它不强迫你处理那些发散的、无法收敛的“大块”，它只关切那些你能管住、能理解、能操作的局部。
要是一块区域发散了，勒贝格积分有时候会选择“留白”，而不是强迫你算出个无穷大。
这听起来有点反直觉，但只要你别把“局部”理解为“整体”，别把“发散”理解为“死局”，你会发现这玩意儿实际上是个超级好的工具箱。 最终聊聊为啥它如此酷。它给了函数论一个全新的视角，把积分从“求面积”变成了“测度论”。
那会儿我们当作积分就是面积，目前我们知道，在勒贝格测度下，有些形状的面积不是那么“好算”。但别慌，这玩意儿不是死胡同。它在测度论里，把“可测集”的概念发挥到极致。
要是一个集合是“可测的”，并且它的“大小”（勒贝格测度）有限，那它就是个合法的积分对象。
要是测度是 $infty$，它就是个合法的积分对象，但结局可能是个无穷大。
要是测度是零，那它就是个合法的对象，但贡献为零。
这就像是游戏里的“玩家资格”系统，既给了你规则，又给了你策略空间。 故此啊，勒贝格积分不是一步登天的神迹，它更像是一个机械精密的仪器。它不需求你灵光一闪，它只需求你供给数据（函数值），它自己就会处理数据，处理完告诉你结局。
这个结局可能符合直觉，可能违反直觉，但它绝对符合数学逻辑。当你理解了它，你会认定，原来数学世界如此大，如此复杂，如此变幻莫测，原来在这些复杂的结构背后，有一个好办的机制在运行，那个机制就是“局部看整体，整体看局部”。并且，这东西就连能处理那些传统微积分里算不下去的函数，比如那些处处间断、处处不连续的函数。它就连能把那些“不可积”的函数，通过取极限的方式，变成一个“可积”的函数，在这个过程中，它就连能算出它的“平均值”。
这真是一个令人叹为观止的数学本事，它证明白在数学这个宇宙里，真理是客观的，不管你是如何想，结局都是那个结局。