黎曼积分的概念
引入
设fff是闭区间[a,b][a,b][a,b]上的非负连续函数,DDD是坐标系中由直线x=ax=ax=a,x=bx=bx=b,xxx轴和曲线y=f(x)y=f(x)y=f(x)围成的图形。求DDD的面积SSS。
我们可以在[a,b][a,b][a,b]中插入n−1n-1n−1个分点:
a=x0<x1<⋯<xn=ba=x_0<x_1<\cdots<x_n=ba=x0<x1<⋯<xn=b
将[a,b][a,b][a,b]划分为nnn个子区间[x0,x1],[x1,x2],⋯ ,[xn−1,xn][x_0,x_1],[x_1,x_2],\cdots,[x_{n-1},x_n][x0,x1],[x1,x2],⋯,[xn−1,xn],并称TTT为[a,b][a,b][a,b]的这样一个分割,称∣T∣=maxi=1n{xi−xi−1}|T|=\max\limits_{i=1}^n\{x_i-x_{i-1}\}∣T∣=i=1maxn{xi−xi−1}为分割TTT的长度。由此可将DDD分割为若干个部分ΔD1,ΔD2,⋯ ,ΔDn\Delta D_1,\Delta D_2,\cdots,\Delta D_nΔD1,ΔD2,⋯,ΔDn。在每一个区间[xi−1,xi][x_{i-1},x_i][xi−1,xi]任意取一个点ξi\xi_iξi,用f(ξi)(xi−xi−1)f(\xi_i)(x_i-x_{i-1})f(ξi)(xi−xi−1)来近似地表示ΔDi\Delta D_iΔDi的面积。于是,我们可以用以下式子来近似地表示SSS。
∑i=1nf(ξi)(xi−xi−1)\sum\limits_{i=1}^nf(\xi_i)(x_i-x_{i-1})i=1∑nf(ξi)(xi−xi−1)
当∣T∣|T|∣T∣越小,这个式子对SSS的近似程度就越高。当∣T∣→0|T|\rightarrow0∣T∣→0时,如果∑i=1nf(ξi)(xi−xi−1)\sum\limits_{i=1}^nf(\xi_i)(x_i-x_{i-1})i=1∑nf(ξi)(xi−xi−1)的极限存在,则这个极限就为图形DDD的面积SSS。
定义
设fff是闭区间[a,b][a,b][a,b]上的有界函数,如果存在实数III,使得对于[a,b][a,b][a,b]的任意满足∣T∣=maxi=1n{xi−xi−1}→0|T|=\max\limits_{i=1}^n\{x_i-x_{i-1}\}\rightarrow 0∣T∣=i=1maxn{xi−xi−1}→0分割T:a=x0<x1<⋯<xn=bT:a=x_0<x_1<\cdots<x_n=bT:a=x0<x1<⋯<xn=b,在每个子区间[xi−1,xi][x_{i-1},x_i][xi−1,xi]中任取一个点ξi\xi_iξi,就有
∑i=1nf(ξi)(xi−xi−1)=I\sum\limits_{i=1}^nf(\xi_i)(x_i-x_{i-1})=Ii=1∑nf(ξi)(xi−xi−1)=I
即∀ε>0,∃δ>0\forall\varepsilon>0,\exist\delta>0∀ε>0,∃δ>0,只要分割TTT的长度∣T∣<δ|T|<\delta∣T∣<δ,无论ξ∈[xi−1,xi]\xi\in[x_{i-1},x_i]ξ∈[xi−1,xi]如何取,都有
∣∑i=1nf(ξi)(xi−xi−1)−I∣<ε|\sum\limits_{i=1}^nf(\xi_i)(x_i-x_{i-1})-I|<\varepsilon∣i=1∑nf(ξi)(xi−xi−1)−I∣<ε
则称fff在闭区间[a,b][a,b][a,b]上黎曼可积,称III是fff在[a,b][a,b][a,b]上的黎曼积分,记为
I=∫abf(x)dxI=\int_a^bf(x)dxI=∫abf(x)dx
aaa和bbb称为积分的下限和上限,fff称为被积函数,xxx称为积分变量。
由此可得,图形DDD的面积为
S=∫abf(x)dxS=\int_a^bf(x)dxS=∫abf(x)dx
这就是黎曼积分的概念。
fff在[a,b][a,b][a,b]上黎曼可积,记作f∈R[a,b]f\in R[a,b]f∈R[a,b]。