数学分析笔记16：重积分

定义在矩体上的积分

积分的定义与性质

为了引入重积分，咱们能够先从重积分的物理背景及几何背景提及。咱们时常要求一个空间物体的质量或者一个曲顶柱体的体积。对一个曲顶柱体

对于底面是 $R^2$的一个区域 $D$，顶面是曲面 $z=f(x,y)$的曲顶柱体，如何求其体积呢？若是底面 $D$是一个矩形区域，咱们能够把矩形经过“划分”网格的方式划分为若干小曲顶柱体，分别求解其体积，高选定为区域内某一点 $(\xi,\zeta)$的函数值 $f(\xi,\zeta)$，估计其体积为 $f(\xi,\zeta)S(\Delta D)$，再把这些加总起来，当划分的每个小矩形的最大直径都趋于0时，若存在一个极限，那么这个极限是曲顶柱体的体积。
可是，假如 $D$不是一个矩形区域，该如何求解呢？咱们固然的是将 $D$划分为若干小区域 $\Delta D_1,\cdots,\Delta D_n$，逐个击破，每一个小曲顶柱体的体积就应当是 $f(\xi_k,\zeta_k)S(\Delta D_k)(k=1,\cdots,n)$，但是问题在于， $S(\Delta D_k)$该如何求解呢？为了解决这个问题，咱们要引入Jordan测度。咱们知道，对于平面的矩形 $D=\{ (x,y) :a_1\le x \le b_1,a_2\le y\le b_2 \}$其面积应当是 $S(D)=(b_1-a_1)(b_2-a_2)$。空间矩体 $D=\{(x,y):a_i\le x \le b_i ,1\le i\le 3\}$其体积应当是 $V(D)=(b_1-a_1)(b_2-a_2)(b_3-a_3)$。咱们定义 $R^n$上的矩体为 $\displaystyle\prod_{i=1}^n [a_i,b_i]$，其体积应当为 $\displaystyle V=\prod_{i=1}^n(b_i-a_i)$，若考虑两个向量 $a=(a_1,\cdots,a_n)$和 $b=(b_1,\cdots,b_n)$，后者的每个份量都大于前者对应的份量，此时称 $a\le b$，则矩体 $\displaystyle\prod_{i=1}^n [a_i,b_i]$也能够记为 $[a,b]$，这就如同定积分的区间同样。全部矩体的体积都是已经规定好的。容易证实，这样规定的体积有有限可加性（具体证实的过程省略）：矩体 $\displaystyle I=\bigcup_{k=1}^n I_k$，其中 $I_i^\circ \cap I_j^\circ = \emptyset(i\neq j)$，则 $\displaystyle|I|=\sum_{k=1}^n|I_k|$。
咱们以此为起点，先定义函数在矩体上的积分，对于任意的点集 $E$，咱们找一个矩体 $I$，知足 $E\subset I$，定义 $I$上的函数 $I_E(x)= \begin{cases} 1&x\in E\\ 0&x\notin E \end{cases}$则按照几何意义， $\displaystyle \int_I I_E(x)dx$就应当是 $E$的体积。那么这就涉及一个可积与否的问题，假如这个函数可积，咱们就称 $E$是Jordan可测的，这个积分是 $E$的体积，不然 $E$是Jordan不可测的。为了方便讨论，咱们定义两点 $x=(x_1,x_2,\cdots,x_n),y=(y_1,\cdots,y_n)$之间的距离是 $d(x,y)=\max_{1\le i\le n}|x_i-y_i|$这样作的好处是，某点 $x$的邻域 $B(x,r)$是一个以 $x$为中心，边长为 $2r$的矩体。接下来，咱们该如何定义这种积分呢？天然地，咱们想将 $R^n$上的矩体区域 $I$，分红若干个两两无公共内点的小矩体区域 $\Delta:I_1,\cdots,I_n$，同时 $\displaystyle \bigcup_{k=1}^n I_k = I$。 $f(x)$是定义 $I$上的 $n$元函数，选择 $\xi_k\in I_k(k=1,\cdots,n)$，做黎曼和 $S(\Delta,f,\xi)=\sum_{k=1}^n f(\xi_k)|I_k|$这个公式里 $|I_k|$表示 $I_k$的体积，从此也是一样的记号。当最大直径 $\displaystyle\lambda(\Delta)= \max_{1\le k \le n}d(I_k)\to 0$时，不论 $\xi$如何选择，都趋于同一实数 $I$，就称为 $f(x)$在 $I$上的积分。这和定积分的定义形式是相似的，只不过是从划分区间改为了划分矩体罢了。下面给出矩体上的积分的正式定义：html

定义16.1（矩体上的积分） $I$是 $R^n$上的矩体区域， $f(x)$是定义在 $I$上的函数，若是存在实数 $V$，对任意的 $\varepsilon>0$，都存在 $\delta>0$，使得对 $I$的任意分划 $\Delta:I_1,\cdots,I_n$，其中 $I_1,\cdots,I_n$两两无公共内点，且 $\displaystyle \bigcup_{k=1}^n I_k = I$，只要 $\displaystyle\lambda(\Delta)=\max_{1\le k \le n}d(I_k)<\delta$，不论选择何种 $\xi_k\in I_k(k=1,\cdots,n)$，其黎曼和 $\displaystyle S(\Delta,f,\xi)=\sum_{k=1}^n f(\xi_k)|I_k|$都知足 $|S(\Delta,f,\xi)-V|<\varepsilon$则称 $f(x)$在 $I$上可积， $V$为 $f(x)$在 $I$上的积分，记为 $\displaystyle I=\int_I f(x)dx$web

下面咱们来证实矩体上的积分的一些性质：数组

定理16.1（有界性） $f(x)$在 $I$上可积，则 $f(x)$是 $I$上的有界函数闭包

证：反证法，若 $f(x)$在 $I$上可积但无界，则设 $V=\int_I f(x)dx$，则对任何的分划 $\Delta：I_1,\cdots,I_n$， $\displaystyle I=\bigcup_{k=1}^n I_k$，且 $I_1,\cdots,I_k$两两无公共内点，存在某个小矩体， $f(x)$在其上无界，不妨设 $f(x)$就在 $I_1$上无界，取定 $\xi_k\in I_k(k=2,\cdots,n)$，存在 $\xi_1 \in I_1$，使得 $|f(\xi_1)|>\frac{|V|}{|I|}+\frac{1}{|I_1|}(1+\left|\sum_{k=2}^n(f(\xi_2)-\frac{V}{|I|})|I_k|\right|)$则 $|f(\xi_1)-\frac{V}{|I|}||I_1|\ge |I_1|(|f(\xi_1)|-\frac{|V|}{|I|})>1+\left|\sum_{k=2}^n(f(\xi_2)-\frac{V}{|I|})|I_k|\right|$ $\left|\sum_{k=1}^nf(\xi_k)|I_k|-V\right| \ge |f(\xi_1)-\frac{V}{|I|}||I_1| - \left|\sum_{k=2}^n(f(\xi_2)-\frac{V}{|I|})|I_k|\right|>1$也就是说，不管何种分划，都存在一种取法，使得 $|S-V|>1$，与 $V=\int_I f(x)dx$矛盾，矛盾产生的缘由是假设了 $f(x)$在 $I$上无界，所以， $f(x)$在 $I$上有界app

定理16.2（线性性质） $f(x)$和 $g(x)$都是 $R^n$上的矩体 $I$上的可积函数，则对任意的实数 $\alpha,\beta$， $\alpha f(x)+\beta g(x)$在 $I$上可积，而且 $\int_{I}{[\alpha f(x)+\beta g(x)]dx}=\alpha \int_{I}f(x)dx+\beta \int_I g(x)dx$ide

证：设 $\displaystyle\int_If(x)dx=A$， $\displaystyle\int_Ig(x)dx=B$，对任意的 $\varepsilon>0$，存在 $\delta_1>0,\delta_2>0$，对 $I$的任意分划 $\Delta$，只要 $\lambda(\Delta)<\delta_1$时，对任意的标志点 $\xi$，黎曼和知足 $\left|S(f,\Delta,\xi)-A\right|<\frac{\varepsilon}{2}$只要 $\lambda(\Delta)<\delta_1$，对任意的标志点 $\xi$，黎曼和知足 $\left|S(g,\Delta,\xi)-B\right|<\frac{\varepsilon}{2}$当 $\lambda(\Delta)<\min(\delta_1,\delta_2)$时，对任意的标志点 $\xi$，则有 $\begin{aligned} &\left|S(f+g,\Delta,\xi)-(A+B)\right|\\ =&\left|S(f,\Delta,\xi)+S(g,\Delta,\xi)-(A+B)\right|\\ \le&|S(f,\Delta,\xi)-A|+|S(g,\Delta,\xi)-B|<\varepsilon \end{aligned}$另外一方面，对任意的实数 $\alpha\neq0$，对任意的 $\varepsilon>0$，存在 $\delta>0$，对任意的 $I$的分划 $\Delta$，只要 $\lambda(\Delta)<\delta$，对任意的标志点 $\xi$，都有 $\left|S(f,\Delta,\xi)-A\right|<\frac{\varepsilon}{|\alpha|}$则 $\left|S(\alpha f,\Delta,\xi)-\alpha A\right|=|\alpha|\left|S(f,\Delta,\xi)-A\right|<\varepsilon$综上，可积函数空间是一个线性空间，积分是其上的线性变换，这就证实了这个定理svg

定理16.3（不等式性质） $f(x)$和 $g(x)$都是 $R^n$上的矩体 $I$上的可积函数，而且 $f(x)\le g(x),\forall x\in I$，有 $\displaystyle \int_I f(x)dx \le \int_I g(x)dx$函数

证：
对任意的黎曼和 $S(f,\Delta,\xi)$，都有 $S(f,\Delta,\xi)\le S(g,\Delta,\xi)$，两边令 $\lambda(\Delta)\to 0$，便可证得结论spa

定理16.4（绝对值性质） $f(x)$是 $R^n$上的矩体 $I$上的可积函数，则 $|f(x)|$是 $R^n$上的矩体 $I$上的可积函数，同时 $\left|\int_If(x)dx\right|\le \int_I|f(x)|dx$orm

证：可积性在下一节证实，下面证实以上的不等式，对任意的黎曼和 $\displaystyle S(f,\Delta,\xi)=\sum_{k=1}^n{f(\xi_k)|I_k|}$，有 $\left|\sum_{k=1}^n{f(\xi_k)|I_k|}\right|\le\sum_{k=1}^n|f(\xi_k)||I_k|$两边令 $\lambda(\Delta)\to0$便可证得结论

定理16.5（区间可加性） $f(x)$是 $R^n$上的矩体 $I$上的可积函数，矩体 $I_0\subset I$，则 $f(x)$是 $I_0$上的可积函数，而且，若 $\Delta:I_1,\cdots,I_n$是 $I$的一个分划，则 $\int_{I}f(x)dx = \sum_{k=1}^n{\int_{I_k}f(x)dx}$

证：可积性后面证实，这里仅证上面的不等式，令 $\displaystyle \int_{I_k}f(x)dx=A_k$，对任意的 $\varepsilon>0$，存在 $\delta>0$，使得对 $k=1,\cdots,n$，对任意的 $I_k$的分划 $\Delta_k$，只要 $\lambda(\Delta_k)<\delta$，对任意的标志点 $\xi^{(k)}$，都有 $\displaystyle\left|S(f,\Delta_k,\xi_k)-A_k\right|<\frac{\varepsilon}{n}$，将这些分划合并为 $I$的分划 $\Delta$，此时 $\displaystyle|S(f,\Delta,\xi)-\sum_{k=1}^nA_k|\le \sum_{k=1}^n|S(f,\Delta_k,\xi_k)-A_k|<\varepsilon$，这就证实了 $\displaystyle\int_If(x)dx=\sum_{k=1}^n A_k$

可积性理论

为了解决Jordan可测集和不可测集的定义问题，咱们要研究矩体上的函数什么时候可积。一样地，咱们的策略是平行于定积分可积性的理论将重积分可积性理论搭建起来。咱们模仿定积分的可积性理论，给出三个引理，首先对于矩体 $I$上的有界函数 $f(x)$，给定一个分划 $\Delta：I_1,\cdots,I_n$， $\displaystyle I=\bigcup_{k=1}^n I_k$，且 $I_1,\cdots,I_k$两两无公共内点，定义对应的达布上和以及达布下和为 $\displaystyle \overline{S}(f,\Delta)=\sum_{k=1}^nM_k|I_k|,\underline{S}(f,\Delta)=\sum_{k=1}^nm_k|I_k|$，其中， $m_k,M_k$为 $f(x)$在 $I_k$上的下确界和上确界 $(k=1,\cdots,n)$

引理16.1 $\overline{S}(f,\Delta),\underline{S}(f,\Delta)$为 $f(x)$在 $\Delta$上一切黎曼和的上确界和下确界

对于矩体 $I$，给定两个分划 $\Delta,\Delta^\prime$，若是对任意的 $I_k\in \Delta^\prime$，存在 $I^\prime_j\in \Delta$，知足 $I_k\subset I^\prime_j$，则称 $\Delta^\prime$是 $\Delta$的加细，记为 $\Delta^\prime \le \Delta$

引理16.2 对于矩体 $I$，给定两个分划 $\Delta,\Delta^\prime$， $f$是 $I$上的一个有界函数，而且 $\Delta^\prime \le \Delta$，则 $\underline{S}(f,\Delta) \le \underline{S}(f,\Delta^\prime) \le \overline{S}(f,\Delta^\prime)\le\overline{S}(f,\Delta)$

引理16.3 对于矩体 $I$，给定两个分划 $\Delta,\Delta^\prime$， $f$是 $I$上的一个有界函数，都有 $\underline{S}(f,\Delta) \le \overline{S}(f,\Delta^\prime)$

这三个引理的证实和定积分彻底相似，这里省略具体的证实过程，利用上面三个引理，咱们能够得出两个结论，给定矩体 $I$及其上的有界函数 $f(x)$，全部黎曼上和有下确界，咱们记为 $\displaystyle\overline{\int}_If(x)dx$，称为 $f(x)$在 $I$上的上积分，全部的黎曼下和有上确界，记为 $\displaystyle\underline{\int}_If(x)dx$，称为 $f(x)$在 $I$上的下积分。接下来，咱们给出可积的第一个充要条件：

定理16.6（可积的充要条件1） 给定矩体 $I$及其上的有界函数 $f(x)$，可积的充要条件是 $\lim_{\lambda(\Delta)\to0}[\overline{S}(f,\Delta)-\underline{S}(f,\Delta)]=0$

证：充分性，若是 $\displaystyle\lim_{\lambda(\Delta)\to0}[\overline{S}(f,\Delta)-\underline{S}(f,\Delta)]=0$，因为 $\overline{S}(f,\Delta)\ge \overline{\int}_If(x)dx\ge\underline{\int}_If(x)dx\ge \underline{S}(f,\Delta)$对任意的 $\varepsilon>0$，存在 $\delta>0$，当 $\lambda(\Delta)<\delta$时， $[\overline{S}(f,\Delta)-\underline{S}(f,\Delta)]<\varepsilon$，则 $\displaystyle\overline{\int}_If(x)dx-\underline{\int}_If(x)dx \le [\overline{S}(f,\Delta)-\underline{S}(f,\Delta)]<\varepsilon$，由 $\varepsilon$的任意性，就有 $\displaystyle\overline{\int}_If(x)dx=\underline{\int}_If(x)dx$，令 $\displaystyle\overline{\int}_If(x)dx=\underline{\int}_If(x)dx=A$，则 $\overline{S}(f,\Delta)\ge A\ge \underline{S}(f,\Delta)$任意的黎曼和也知足 $\overline{S}(f,\Delta)\ge S(f,\Delta,\xi)\ge \underline{S}(f,\Delta)$则当 $\lambda(\Delta)<\delta$时 $|S(f,\Delta,\xi)-A|\le \overline{S}(f,\Delta)-\underline{S}(f,\Delta) <\varepsilon$按积分的定义，就有 $\displaystyle \int_If(x)dx = A$
必要性，若是 $f(x)$在 $I$上可积，设 $\displaystyle \int_If(x)dx = A$，对任意的 $\varepsilon>0$，存在 $\delta>0$，对任意的 $I$的分划 $\Delta$，对任意的标志点 $\xi$，都有 $A-\varepsilon<S(f,\Delta,\xi)< A+\varepsilon$由引理16.1，就有 $A-\varepsilon\le \underline{S}(f,\Delta) \le \overline{S}(f,\Delta)\le A+\varepsilon$此时 $\overline{S}(f,\Delta)-\underline{S}(f,\Delta)<2\varepsilon$即 $\displaystyle \lim_{\lambda(\Delta)\to 0}[\overline{S}(f,\Delta)-\underline{S}(f,\Delta)]=0$

也就是振幅和极限为0是可积的充要条件，在重积分的情形下一样能够证实达布定理

定理16.7（达布定理） 给定矩体 $I$及其上的有界函数 $f(x)$，则有 $\lim_{\lambda(\Delta)\to0}{\overline{S}(f,\Delta)} = \overline{\int}_If(x)dx\\ \lim_{\lambda(\Delta)\to0}{\underline{S}(f,\Delta)} = \underline{\int}_If(x)dx$

证：仅证实 $\displaystyle\lim_{\lambda(\Delta)\to0}{\overline{S}(f,\Delta)} = \overline{\int}_If(x)dx$， $\displaystyle \lim_{\lambda(\Delta)\to0}{\underline{S}(f,\Delta)} = \underline{\int}_If(x)dx$的证实是相似的。
首先，咱们要说明的是，对于 $R^n$的一个矩体 $\displaystyle I=\prod_{k=1}^n[a_k,b_k]$，做小开矩体 $\displaystyle I^\prime=\prod_{k=1}^n{(a_k+\delta,b_k-\delta)}$，二者的体积差为 $V(I^\prime)-V(I)$在 $\delta\to 0$时趋于0，实际上 $\begin{aligned} V(I^\prime)-V(I)=&\prod_{k=1}^n(b_k-a_k)-\prod_{k=1}^n(b_k-a_k-2\delta)\\=&c_1\delta+c_2\delta^2+\cdots+c_n\delta^n \end{aligned}$是关于 $\delta$的多项式且常数项为0，对于某个特定的分划 $\Delta:I_1,\cdots,I_m$，对任意的 $\varepsilon>0$，设 $I_k=\prod_{i=1}^n{[a_i^{(k)},b_i^{(k)}]}$，做开矩体 $I_k^\prime(\delta)=\prod_{i=1}^n(a_i^{(k)}+\delta,b_i^{(k)}-\delta)$，存在 $\delta_0>0$，当 $\delta<\delta_0$时， $\displaystyle \sum_{k=1}^m V(I_k)-\sum_{k=1}^m V(I_k^\prime(\delta))<\varepsilon$。对于另外一个分划 $\Delta^\prime$，只要 $\lambda(\Delta^\prime)<\delta_0$，则其和 $\Delta$某个小矩体边界相交的小矩体之并所有包含在 $\displaystyle \bigcup_{k=1}^nI_k/\bigcup_{k=1}^nI_k^\prime(\delta_0)$内，从而这些小矩体的体积之和小于 $\varepsilon$。下面咱们来证实达布定理。
由上积分的定义，对任意的 $\varepsilon>0$，存在分划 $\Delta_0$，使得 $\overline{\int}_If(x)dx-\frac{\varepsilon}{2}<\overline{S}(f,\Delta_0)\le \overline{\int}_If(x)dx$设 $|f(x)|\le M>0,\forall x\in I$，对 $\Delta_0$，存在 $\delta_0>0$，对任意分划 $\Delta$，只要 $\lambda(\Delta)<\delta_0$，则 $\Delta$与 $\Delta_0$小矩形边界相交的小矩体的体积和小于 $\frac{\varepsilon}{4M}$，此时，令 $\Delta_0^\prime$是 $\Delta$和 $\Delta_0$的合并，则 $\overline{S}(f,\Delta)$和 $\overline{S}(f,\Delta_0^\prime)$有差别的项是那些与 $\Delta_0$小矩形边界相交的小矩体，而哪些含在 $\Delta_0$某个小矩形内部的小矩体对应的项是没有差别的，此时 $|\overline{S}(f,\Delta)-\overline{S}(f,\Delta_0^\prime)|<2M\frac{\varepsilon}{4M}=\frac{\varepsilon}{2}$则 $\begin{aligned} &|\overline{S}(f,\Delta)-\overline{\int}_{I}f(x)dx|\\\le& |\overline{S}(f,\Delta)-\overline{S}(f,\Delta_0^\prime)|+|\overline{S}(f,\Delta_0^\prime)-\overline{\int}_{I}f(x)dx|\\<&\varepsilon \end{aligned}$这就证实了 $\displaystyle\lim_{\lambda(\Delta)\to0}\overline{S}(f,\Delta)=\overline{\int}_If(x)dx$

这样，就能够获得可积的第二个充要条件

定理16.8（可积的充要条件2） 给定矩体 $I$及其上的有界函数 $f(x)$，可积的充要条件是 $\overline{\int}_If(x)dx=\underline{\int}_If(x)dx$

定理16.9（可积的充要条件3） 给定矩体 $I$及其上的有界函数 $f(x)$，可积的充要条件是对任意的 $\varepsilon>0$，存在分划 $\Delta$，知足 $\displaystyle \overline{S}(f,\Delta)-\underline{S}(f,\Delta)<\varepsilon$

证：
充分性，若对任意的 $\varepsilon>0$，存在分划 $\Delta$，知足 $\displaystyle \overline{S}(f,\Delta)-\underline{S}(f,\Delta)<\varepsilon$，因为 $\underline{S}(f,\Delta)\le \underline{\int}f(x)dx\le\overline{\int}f(x)dx\le\overline{S}(f,\Delta)$则 $\overline{\int}f(x)dx-\underline{\int}f(x)dx\le \overline{S}(f,\Delta)-\underline{S}(f,\Delta)<\varepsilon$由 $\varepsilon$的任意性，上下积分相等，所以 $f(x)$在 $I$上可积
必要性，若 $f(x)$在 $I$上可积，则上下积分相等，由上下积分的定义，对任意的 $\varepsilon>0$，存在分划 $\Delta_1$，知足 $\left|\overline{S}(f,\Delta_1)-\int_If(x)dx\right|<\frac{\varepsilon}{2}$存在分划 $\Delta_2$，知足 $\left|\underline{S}(f,\Delta_1)-\int_If(x)dx\right|<\frac{\varepsilon}{2}$做 $\Delta_1,\Delta_2$的合并分划 $\Delta_0$， $\Delta_0$即知足条件。

定理16.11（可积的充要条件4） 有界函数 $f(x)$在矩体 $I$上可积的充要条件是 $\forall \varepsilon>0$， $\forall \delta>0$，存在分划 $\Delta$， $\Delta$中振幅大于 $\delta$的小矩体体积和小于 $\varepsilon$

证：
充分性，若是 $\forall \varepsilon>0$， $\forall \delta>0$，存在分划 $\Delta$， $\Delta$中振幅大于 $\delta$的小矩体体积和小于 $\varepsilon$。则设 $|f(x)|\le M(\forall x\in I)$， $\forall \varepsilon>0$，令 $\delta_0=\frac{\varepsilon}{2|I|}$，令 $\varepsilon_0=\frac{\varepsilon}{4M}$，则存在分划 $\Delta_\varepsilon$，知足 $\Delta_\epsilon$中振幅大于 $\delta_0$的小矩体的体积和小于 $\varepsilon_0$。将 $\Delta_\varepsilon$中的小矩体分为两类，一类是振幅大于 $\delta_0$的小矩体，全体记为 $\Delta_1$，另外一类是振幅不超过 $\delta_0$的小矩体，全体记为 $\Delta_2$，则 $\begin{aligned} &\overline{S}(f,\Delta_\varepsilon)-\underline{S}(f,\Delta_\varepsilon)=\sum_{I_k\in \Delta_1}\omega(I_k)|I_k|+\sum_{I_k\in\Delta_2}\omega(I_k)|I_k|\\ \le&2M\sum_{I_k\in \Delta_1}|I_k|+\delta_0\sum_{I_k\in\Delta_2}|I_k|<2M\varepsilon_0+\delta_0|I|=\varepsilon \end{aligned}$所以 $f(x)$在 $I$上可积。
必要性，若是 $f(x)$在 $I$上可积，若是 $\exists \varepsilon_0>0$， $\exists \delta_0>0$，对任意分划 $\Delta$，其振幅大于 $\delta_0$的小矩体的体积和大于 $\varepsilon_0$，则对任意的分划 $\Delta$，将 $\Delta_\varepsilon$中的小矩体分为两类，一类是振幅大于 $\delta_0$的小矩体，全体记为 $\Delta_1$，另外一类是振幅不超过 $\delta_0$的小矩体，全体记为 $\Delta_2$，因而 $\begin{aligned} &\overline{S}(f,\Delta)-\underline{S}(f,\Delta)=\sum_{I_k\in \Delta_1}\omega(I_k)|I_k|+\sum_{I_k\in\Delta_2}\omega(I_k)|I_k|\\\ge&\sum_{I_k\in \Delta_1}\omega(I_k)|I_k|>\delta_0\sum_{I_k\in\Delta_1}|I_k|\ge \delta_0\varepsilon_0>0 \end{aligned}$与 $f(x)$可积矛盾，所以， $\forall \varepsilon>0$， $\forall \delta>0$，存在分划 $\Delta$， $\Delta$中振幅大于 $\delta$的小矩体体积和小于 $\varepsilon$

例16.1 $f(x)$在 $I$上可积，则 $|f(x)|$在 $I$上可积

证：对任意的点集 $D$，对任意的 $x_1,x_2\in D$，则 $|f(x_1)-f(x_2)|\ge ||f(x_1)|-|f(x_2)||$则 $\begin{aligned} \omega(f,D)=&\sup_{x_1,x_2\in D}|f(x_1)-f(x_2)|\\\ge&\omega(|f|,D)=\sup_{x_1,x_2\in D}||f(x_1)|-|f(x_2)|| \end{aligned}$所以，对任意的 $I$的分划 $\Delta:I_1,\cdots,I_n$，则 $\sum_{k=1}^n\omega(f,I_k)|I_k|\ge\sum_{k=1}^n\omega(|f|,I_k)|I_k|$因为 $f(x)$在 $I$上可积，对任意的 $\varepsilon>0$，存在分划 $\Delta$，有 $\sum_{k=1}^n\omega(f,I_k)|I_k|<\varepsilon$所以 $\sum_{k=1}^n\omega(|f|,I_k)|I_k|<\varepsilon$所以 $|f(x)|$可积

例16.2 $f(x)$在 $I$上可积，矩体 $I^\prime\subset I$，则 $f(x)$在 $I^\prime$上可积

证：因为 $f(x)$在 $I$上可积，对任意的 $\varepsilon>0$，存在分划 $\Delta:I_1,\cdots,I_n$，使得 $\overline{S}(f,\Delta)-\underline{S}(f,\Delta)<\varepsilon$取分划 $\Delta^\prime$，是 $\Delta$的加细，而且包含 $I^\prime\cap I_1,I^\prime\cap I_2,\cdots,I^\prime\cap I_n$，这也是 $I^\prime$的一个分划，记为 $\Delta_0$，因为 $\Delta^\prime$是 $\Delta$的加细，则 $\overline{S}(f,\Delta^\prime)-\underline{S}(f,\Delta^\prime)\le\overline{S}(f,\Delta)-\underline{S}(f,\Delta)<\varepsilon$，而 $\overline{S}(f,\Delta_0)-\underline{S}(f,\Delta_0)$只是 $\overline{S}(f,\Delta^\prime)-\underline{S}(f,\Delta^\prime)$的部分项，所以 $\overline{S}(f,\Delta_0)-\underline{S}(f,\Delta_0)<\varepsilon$，所以 $f(x)$在 $I^\prime$上可积。

例16.3 $f(x)$在 $I$上可积， $I\subset I_0$， $I_0$也是矩体，则令 $\overline{f}(x)=\begin{cases} f(x)&x\in I\\ 0&x\notin I \end{cases}$则 $\overline{f}$在 $I_0$上可积，而且 $\int_If(x)dx=\int_{I_0}f(x)dx$

证：因为 $f(x)$在 $I$上可积，对任意的 $\varepsilon>0$，存在 $I$的分划 $\Delta$， $\overline{S}(f,\Delta)-\underline{S}(f,\Delta)<\frac{\varepsilon}{2}$，设 $|f(x)|\le M(\forall x\in I)$，将 $I$的分划 $\Delta$扩充为 $I_0$的分划 $\Delta_0$，使得 $\Delta_0$中与 $I$的边界相交的小矩体的体积和小于 $\frac{\varepsilon}{4M}$，将 $\Delta_0$的小矩体分为三类，第一类为原来 $\Delta$的小矩体，即 $\Delta$，第二类为不在 $\Delta$内，但与 $I$的边界交非空的小矩体，全体记为 $\Delta_1$，其他的小矩体记为 $\Delta_2$，所以 $\begin{aligned} &\overline{S}(f,\Delta_0)-\underline{S}(f,\Delta_0)\\=&\sum_{I_k\in \Delta}\omega(I_k)|I_k|+\sum_{I_k\in\Delta_1}\omega(I_k)|I_k|\\<&\frac{\varepsilon}{2}+2M\sum_{I_k\in\Delta_1}|I_k|<\varepsilon \end{aligned}$