本文介绍了数学分析中的定积分可积条件，特别是必要条件——函数必须在区间上有界。通过定理9.1和9.2，阐述了连续函数存在原函数则可积，以及可积函数必然有界的道理。同时，举例说明有界函数狄利克雷函数在[0,1]上虽有界但不可积，强调了有界性是可积性的必要而非充分条件。"
90247724,8392371,排序算法评估指标解析：MAP、MRR与NDCG,"['机器学习', '排序算法', '评估指标']
定理 9.1
若函数 f f f 在 [ a , b ] [a, b] [a,b] 上连续, 且存在原函数 F F F, 即 F ′ ( x ) = f ( x ) , x ∈ [ a , b ] F^{\prime}(x)=f(x), x \in[a, b] F′(x)=f(x),x∈[a,b],则 f f f 在 [ a , b ] [a, b] [a,b] 上可积,且
∫ a b f ( x ) d x = F ( b ) − F ( a ) . ( 1 ) \int_{a}^{b} f(x) \mathrm{d} x=F(b)-F(a) . \quad\quad(1) ∫abf(x)dx=F(b)−F(a).(1)
上式称为牛顿一莱布尼茨公式,它也常写成
∫ a b f ( x ) d x = F ( x ) ∣ a b . \int_{a}^{b} f(x) \mathrm{d} x=\left.F(x)\right|_{a} ^{b} . ∫abf(x)dx=F(x)∣ab.
从定理 9.1 及其后注中看到, 要判别一个函数是否可积, 必须研究可积条件.
定理 9.2
若函数 f f f 在 [ a , b ] [a, b] [a,b] 上可积,则 f f f 在 [ a , b ] [a, b] [a,b] 上必定有界.
证
用反证法. 若 f f f 在 [ a , b ] [a, b] [a,b] 上无界, 则对于 [ a , b ] [a, b] [a,b] 的任一分割 T T
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
