怎样用分割和上下和夹住未知总量?¶
先备知识¶
本单元使用上确界、下确界、有限求和与不等式。设 \(f:[a,b]\to\mathbb R\) 有界, 且 \(a<b\)。有界性保证 \(f\) 在每个非空子区间上的上确界和下确界都是有限实数; 并不要求这些界一定由某个点取得。
第 18 章的积分号表示原函数族。本章重新从有限分割出发,暂不调用任何求原函数公式。
学习目标¶
完成本单元后,你应当能够:
- 定义分割、标记分割、子区间长度和网格;
- 写出 Riemann 取样和以及 Darboux 上和、下和;
- 证明上下和夹住同一分割上的所有取样和;
- 证明加细使下和不减、上和不增;
- 用公共加细比较任意两个分割;
- 通过显式有限和判断夹逼间隙能否缩小。
牵引问题¶
把 \([a,b]\) 切成小区间,在每段任取一点 \(\xi_i\),构造
如果换一组取样点,和会改变。怎样不用逐一检查无限多种取样方式,却能同时控制所有 可能的和?
探索与猜想¶
在第 \(i\) 个子区间上,无论怎样选择 \(\xi_i\),都有
乘以非负的子区间长度再相加,就能得到一个与具体取样无关的下界和上界。若分割越来越 细,上下界之间的间隙有机会缩小。这正是 Darboux 上下和的出发点。
概念与理论¶
分割、标记与网格¶
区间 \([a,b]\) 的一个分割是有限点集
记第 \(i\) 个子区间长度为
若在每个 \([x_{i-1},x_i]\) 中选择一个点
则称 \((P,\xi)\) 为一个标记分割。分割的网格定义为
网格只记录最长子区间。它很小表示每一段都短,但不说明分割包含哪些指定点。
对应的 Riemann 取样和为
此处先把它视为待控制的有限近似量,不把某一种特殊标记的极限提前当作积分定义。
Darboux 上和与下和¶
对每个子区间定义
称
为 \(f\) 关于 \(P\) 的 Darboux 下和,称
为 Darboux 上和。
由 \(m_i\le f(\xi_i)\le M_i\) 逐项相加,得到
这条不等式同时控制同一分割上的所有取样点选择。
加细单调性¶
若分割 \(P'\) 包含 \(P\) 的全部点,称 \(P'\) 是 \(P\) 的加细,记作 \(P'\succeq P\)。
定理。 若 \(P'\succeq P\),则
证明。 先设 \(P'\) 只在 \(P\) 的一个子区间 \([u,v]\) 中插入一点 \(c\)。 记原区间上的下确界为 \(m\),两个新区间上的下确界为 \(m_1,m_2\)。由于新区间都包含 在原区间中,
于是
其他子区间的贡献不变,故下和不减。对上确界有 \(M_1,M_2\le M\),同理得到上和 不增。
一般加细只增加有限个点。逐点插入并有限次使用上述结论,即得
而任意分割都有 \(L(f,P')\le U(f,P')\)。证毕。
公共加细¶
任意两个分割 \(P,Q\) 的并集
按大小排列后仍是 \([a,b]\) 的有限分割,并且同时加细 \(P,Q\),称为它们的 公共加细。
加细单调性给出
因此对任意两个分割都有
注意这里不要求 \(P\) 与 \(Q\) 相互加细;公共加细正是跨分割比较的桥梁。
下积分与上积分¶
所有下和组成一个有上界的实数集合,所有上和组成一个有下界的实数集合。定义
由任意 \(L(f,P)\le U(f,Q)\) 可得
何时两者相等,以及这与标记和的取样无关极限有什么关系,留到下一单元证明。
例题与迁移¶
例 1:线性函数的等距分割¶
对 \(f(x)=x\) 在 \([0,1]\) 上取等距分割
函数递增,所以第 \(i\) 段的下确界、上确界分别为
且 \(\Delta x_i=1/n\)。因此
所以
答案
任意标记取样和都位于
之间。上下端点都趋向 \(1/2\),但下一单元才把这种现象提升为一般定义。
例 2:单点尖峰怎样被短区间隔离¶
固定 \(c\in(0,1)\),定义
给定 \(0<\eta<\min\{c,1-c\}\),取包含
的分割。除 \([c-\eta,c]\) 与 \([c,c+\eta]\) 外,每个子区间上 \(h\equiv0\)。 由于闭子区间两侧都可能包含 \(c\),稳妥估计为
答案
异常值的高度为一,但它只影响总长度 \(2\eta\) 的区间。令 \(\eta\) 变小即可压小 上下和差;不能仅凭“只有一个异常点”省略长度估计。
例 3:同一分割上的不同标记¶
对 \(f(x)=x^2\) 和分割 \(P=\{0,1/2,1\}\),下和与上和为
若取中点标记 \(1/4,3/4\),则
确实满足 \(1/8\le5/16\le5/8\)。
答案
左端点、右端点和中点会给出不同有限和,但都不能越过同一分割的上下和。
即时检验与回望¶
即时检验 1¶
若 \(\|Q\|<10^{-3}\),能否断言 \(Q\) 加细分割 \(P=\{0,1/2,1\}\)?
答案
不能。网格只控制最长子区间;\(Q\) 可能完全不含 \(1/2\)。应使用 \(P\cup Q\) 构造公共加细。
即时检验 2¶
为什么一般有界函数的 \(M_i,m_i\) 使用上、下确界,而不写最大、最小值?
答案
有界函数不一定连续,因而未必在闭子区间上取得最大、最小值;上确界和下确界仍然 存在且足以建立夹逼。
习题与答案¶
练习 1:识别分割数据¶
对 \(P=\{0,1/4,3/4,1\}\),写出所有 \(\Delta x_i\) 和 \(\|P\|\),并判断 \(\xi=(1/8,1/2,7/8)\) 是否给出合法标记分割。
答案
三段长度依次为 \(1/4,1/2,1/4\),所以 \(\|P\|=1/2\)。三个标记分别位于 \([0,1/4]\)、\([1/4,3/4]\)、\([3/4,1]\),因此合法。
练习 2:计算一次标记和¶
对 \(f(x)=2x+1\)、\(P=\{0,1/2,1\}\) 和标记 \(\xi_1=1/4,\xi_2=3/4\),计算 \(S(f;P,\xi)\)。
答案
\(f(1/4)=3/2,\ f(3/4)=5/2\),两段长度均为 \(1/2\),故
练习 3:递减函数的上下和¶
对 \(f(x)=1-x\) 在 \([0,1]\) 上使用 \(n\) 等分,求 \(U-L\)。
答案
每段上、下确界之差为 \(1/n\),再乘段长 \(1/n\),每段贡献 \(1/n^2\); \(n\) 段合计
练习 4:插入一个分点¶
设 \(P' = P\cup\{c\}\),其中 \(c\) 位于 \(P\) 的某个子区间内部。说明为什么加细 前后所有其他子区间的上下和贡献完全相同。
答案
其他子区间的端点集合没有改变,函数在这些区间上的上、下确界和区间长度也没有改变; 只有包含 \(c\) 的旧区间被分成两段。因此证明可局部化到这一段。
练习 5:构造公共加细¶
对
写出公共加细,并给出连接 \(L(f,P)\) 与 \(U(f,Q)\) 的不等式链。
答案
公共加细为
因为 \(R\succeq P,Q\),
练习 6:错误证明诊断¶
有人说:“只要不断增加分割点,上和就一定严格下降。”指出错误并给出反例。
答案
正确结论是上和不增,不保证严格下降。若 \(f\equiv1\),任意分割的上和都为 \(b-a\);插入多少分点都不改变它。
常见误区与后续¶
- 把网格小当作包含指定分点。 网格和加细是不同概念。
- 默认上确界一定取到。 一般有界函数没有这一保证。
- 认为加细会让上和严格下降。 正确关系只是单调不增。
- 只计算一种标记。 上下和的价值在于同时控制所有标记。
- 把单点直觉当证明。 必须用受影响区间的总长度给出估计。
下一单元将正式定义可积性,并证明上下和夹逼与所有细标记和的取样无关极限等价。