数学分析(九)-定积分3-4-可积性理论2-1：可积的第一充要条件【函数f在[a,b]上可积充要条件：f在[a,b]上的上积分与下积分相等，即：S=s】

定理9.14(可积的第一充要条件)

函数 $f$ 在 $[a,b]$ 上可积的充要条件是：$f$ 在 $[a,b]$ 上的上积分与下积分相等,即

$$S=s.$$

证
必要性
设 $f$ 在 $[a,b]$ 上可积, $J={\int }_a^{b}f(x)\mathrm{d}x$.

由定积分定义, 任给 $\epsilon >0$, 存在 $\delta >0$, 只要$\Vert T\Vert <\delta$, 就有

∣ ∑ i