在 [a,b] 内任意插入 n−1 个分点 xi 得 a=x0<x1<⋯<xn=b 称为对 [a,b] 的一个分划
记每个子区间的长度 Δxi=xi−xi−1
在每个子区间内取 ξi∈[xi−1,xi] 近似代表这个子区间
每个子区间的面积可近似为 f(ξi)Δi
记 ∣∣T∣∣=max1≤i≤n{Δxi}, 则 ∫abf(x)dx=lim∣∣T∣∣→0∑i=1nf(ξ)Δxi
注意
注意是 maxΔx→0 而不是区间数 n→0, 否则可以通过一个区间不动而细分其他区间来达到
若 f 在 [a,b] 上有定义且有界 且对于任意划分和 ∀ξi∈[xi−1,xi], 总有 lim∣∣T∣∣→0∑i=1nf(ξ)Δxi=I (I 为定值) 则 f 在 [a,b] 上黎曼可积(可积), 记为 f∈R[a,b], f(x) 在 [a,b] 上的定积分记为 ∫abf(x)dx=I=lim∣∣T∣∣→0∑i=1nf(ξ)Δxia, b 为积分的上限和下限∑i=1nf(ξ)Δxi 称为黎曼和或积分和
曲线 y=f(x) 与 y=0, x=a, x=b 在 y>0 部分围成的面积减去 y<0 部分围成的面积