定积分概念的导出背景
1609 年至 1619 年间，德国天文学家 K ep l er 提出了著名的“行星运动三大定律”,
⑴行星在椭圆轨道上绕太阳运动，太阳在此椭圆的一个焦点上。
⑵从太阳到行星的向径在相等的时间内扫过相等的面积。
⑶行星绕太阳公转周期的平方与其椭圆轨道的半长轴的立方成正比。
第七章 定积分
§ 1 定积分的概念和可积条件这是天文学上划时代的发现（ N ew t o n 正是在证明这些定律的过程中发现了万有引力定律，进而创立了现代天体力学），而且也是数学发展史上的重要里程碑。
一方面，在古希腊的数学家们发现了圆锥曲线的性质之后的一千八百多年以来，人们从未想到过，这样的纯数学结果居然会有如此辉煌的实际应用价值。
另一方面，为了确定第二定律,K ep l er 将椭圆 中被扫过的那部分图形分割成许多小的“扇形”，并近似地将它们看成一个个小的三角形，运用了一些出色的技巧对它们的面积之和求极限，成功地计算出了所扫过的面积（图 7.1.1 ）。在其卓有成效的工 作中，已包含了现代定积分思想的雏形。
例如，求由两条直角边和一条抛物线
y x? 2
所围成的所谓 曲边三角形 的面积，可以采用以下的做法,
用步长
h
n
1
将
[,]0 1
分成 n 个长度为 h 的小区间，其分割点（称为分点 ）为
x ih i n ni,,,,,,0 1 2 1?
。
先在每个小区间
],[ 1 ii xx?
上，构造以 h 为底、以
2
11 )( ii xxf
为高的小矩形，则所有这些小矩形的面积之和为
n
i
n
i
n
i
in
i
nn
i
n
xhS
1
2
3
1
2
1
2
1
)1(
111；
再在每个小区间
],[ 1 ii xx?
上，构造以 h 为底、以
2)(
ii xxf?
为高的小矩形，
则所有这些小矩形的面积之和为
n
i
n
i
n
i
in
i
nn
i
n
xhS
1
2
3
1
2
1
2 11
。
( 图 7.1.2) 为上述过程的 图示设曲边三角形的面积为
S
，则有
nnS S S
。
利用数学归纳法，容易证明
n
i
i
1
2
)1(
6
)12)(1(
)1(321
2222
nnn
n?
n
i
i
1
2
6
)12)(1(
321
2222
nnn
n?
,
令
n
，得到
3
1
6
)12)(1(
limlim
3
n
nnn
S
n
n
n
与
3
1
6
)12)(1(
l i ml i m
3
n
nnn
S
n
n
n
,
由极 限的夹逼性，可知曲边三角形的面积为
1
3
S?
。
由此可以想到，如果在每个小区间
],[ 1 ii xx?
上任意取点
i? ],[ 1 ii xx?
，
并构造以 h 为底、以
2)(
iif
为高的小矩形，则所有这些小矩形的面积之和为
n
i
i
n 1
21?
，显然仍然有
n
n
i
in S
n
S
1
21?
,
令n,由极限的夹逼性，得到
3
11
lim
1
2
n
i
i
n n
，就是所求的曲边三角形的面积。
y=f(x)
f i( )?
0 xi-1 xi 1 x
y
利用上述思想，我们来求由 连续曲线
y f x? ( )
（假设
f x( )? 0
），
直线 x a?,x b? 和 x 轴围成的 曲 边梯形 的面积（图 7.1.3 ）,
在
[,]a b
中取一系列的分点
x i
,作成一种划分
P,
a x x x x bn0 1 2?
,
记 小区间
[,]x xi i? 1
的长度为
x x xi i i 1
,
并在每个小区间上任意取一点
i
，用底为
x i
，高为
)( if?
的矩形面积近似代替小的曲边梯形的面积。
图 7.1.3
xi
i?
y=f(x)
f i( )?
0 a xi-1 xi b x
y
那么这些小矩形面积之和
n
i
ii xf
1
)(?
就是整个大的曲边梯形的面积的近似。令
)(m a x
1 ini
x
,当 0 时，若极限
n
i
ii xf
1
0
)(li m?
存在，那么这个极限显然就是所要求的曲边梯形的精确面积。
xi
i?
y=f(x)
f i( )?
0 a xi-1 xi b x
y
在许多其他领域的研究中，也大量地遇到诸如此类的和式的极限问题。比如，求一个以速度
v t( )
做变速运动的物体从时间
t T? 1
到时间
t T? 2
所走过的路程 S,可以先在时间段
[,]T T1 2
中取一系列的分点
t i
，
作成划分
P,
T t t t t Tn1 0 1 2 2
,
并在每个小区间
[,]t ti i? 1
上随意取一点
i?
，只要时间间隔
t t ti i i 1
充分小，
)( iv?
就可以近似地看作是在
[,]t ti i? 1
时间段中的平均速度，因此在这段时间中走过的路程近似地等于
v ti i( )
，于是整个路程就近似等于
n
i
ii
tv
1
)(?
。
若当
m a x ( )
1
0
i n
it?
时,极限
n
i
ii
tv
1
0
)(lim?
存在，那么这个极限就是所要求的路程 S 的精确值。
定积分的定义定义 7.1.1 设
f x( )
是定义于
[,]a b
上的有界函数，在
[,]a b
上任意取分点
{ }x i in? 0
，作成一种划分
P,
a x x x x bn0 1 2?
,
并任意取点
i? [,]x xi i? 1
。记小区间
[,]x xi i? 1
的长度为
x x xi i i 1
，并令
m a x ( )
1 i n
ix?
，若当
0
时,极限
n
i
ii
xf
1
0
)(lim?
存在，且极限值既与划分 P 无关，又与对
i?
的取法无关，则称
f x( )
在
[,]a b
上 R i em ann 可积 。和式
1
()
n
ii
i
fx?
称为 R i em ann 和,其极限值 I 称为
f x( )
在
[,]a b
上的 定积分,记为
I ＝
()
b
a
f x x? d
,
这里 a 和 b 分别被称为积分的 下限 和 上限 。
在上面的定义中，要求 ba? 。当 ba? 时，我们规定
()ba f x x? d = - ()ab f x x? d,
并由此得到
( ) 0aa f x x d 。
这一定义也可以用,? －? 语言”表述如下,
设有定数 I,对任意给定的 0,存在 0,使得对任意一种划分
P,
a x x x x bn0 1 2?
,
和任意点
],[ 1 iii xx
，只要
1
m ax ( )i
in
x
，便有
Ixf
n
i
ii
1
)(
,
则称
f x( )
在
[,]a b
上 R i e m a n n 可积，称 I 是
f x( )
在
[,]a b
上的定积分 。
在上面的定义中，要求 ba? 。当 ba? 时，我们规定
()ba f x x? d = - ()ab f x x? d,
并由此得到
( ) 0aa f x x d 。
注意,当 f x( ) 在 [,]a b 上可积，即 要求对任意划分 P 和任意
i? [,]x xi i? 1,极限?
n
i ii xf10 )(li m
都存在，则 f x( ) 必须在 [,]a b 上有界。
在上面的定义中，要求 ba? 。当 ba? 时，我们规定
()ba f x x? d = - ()ab f x x? d,
并由此得到
( ) 0aa f x x d 。
这一定义也可以用,? －? 语言”表述如下,
设有定数 I,对任意给定的 0,存在 0,使得对任意一种划分
P,
a x x x x bn0 1 2?
,
和任意点
],[ 1 iii xx
，只要
1
m ax ( )i
in
x
，便有
Ixf
n
i
ii
1
)(
,
则称
f x( )
在
[,]a b
上 R i e m a n n 可积，称 I 是
f x( )
在
[,]a b
上的定积分 。
例 7,1,1 讨论 Di r i c h l e t 函数
1,
()
0,
x
Dx
x
为 有 理 数为 无 理 数在
[,]0 1
上的 可积性。
解 由于有理数和无理数在实数域上的稠密性，因此不管用什么样的划分 P 对
[,]0 1
作分割，在每个小区间
[,]x xi i? 1
中一定是既有有理数又有无理数。
于是，当将
i?
全部取为有理数时,
11lim)(lim
1
0
1
0
n
i
i
n
i
ii
xxf
,
当将
i?
全部取为无理数时，则有
00lim)(lim
1
0
1
0
n
i
i
n
i
ii
xxf
。
所以尽管两个和式的极限都存在，但极限不相同，所以 Di r i c h l e t 函数在
R i e m a n n 意义下是不可积的。
D a rbo ux 和记
f x( )
在
[,]a b
上的上确界和下确界分别为 M 和 m,则有
m f x M( )
。
另外，记
f x( )
在
[,]x xi i? 1
的上确界和下确界分别为
M i
和
m i
（
i n? 1 2,,,?
），
即
M f x x x xi i is u p { ( ) | [,]}1
和
m f x x x xi i ii n f { ( ) | [,]}1
,
定义和式
S P M x
i i
i
n
( )?
1
与
S P m x
i i
i
n
( )?
1
,
它们分别被称为相应于划分 P 的 D a rbo ux 大和 与 D a rbo ux 小和 （统称为
D a rbo ux 和 ），那么显然有（图 7.1.4 ）
)()()(
1
PSxfPS
n
i
ii
。
y
M i
m i
x
图 7.1.4
下面不加证明引入几个引理,
引理 7.1.1 若在原有划分中加入分点形成新的划分，则大和不增，小和不减 。
记 S 是一切可能的划分所得到的 D arb o u x 大和 的集合，而
S
是一切可能的划分所得到 的 D arb o u x 小和 的集合。
引理 7.1.2 对任意 S
( )P 1? S
和
S ( )P 2? S
，恒有
m ( )b a S ( )P
2
S ( )P
1
M ( )b a? 。
引理 7.1.3 （ Darboux 定理） 对任意在
[,]a b
上有界的函数
f x( )
，恒有
lim ( )
0
S P L
,
lim ( )
0
S P l
。
Riem an n 可积的充分必要条件现在我们来导出可积的充分必要条件。
定理 7.1.1 有界函数
f x( )
在
[,]a b
可积的充分必要条件是，对任意划分，当
0)(m a x
1
i
ni
x?
时,Da r bou x 大和与 Da r bou x 小和的极限相等,
L l?,
即成立
lim ( )
0
S P lim
0
S
( )P
。
证 先证必要性。
设
f x( )
可积且积分值为 I,则对任意的
0
，存在
0
，使得对任意划分
P,
a x x x x bn0 1 2?
和任意点
],[ 1 iii xx
，只要
)(m a x
1
i
ni
x
，便有
2
)(
1
Ixf
n
i
ii
。
特殊地，取
i?
是
[,]x xi i? 1
中满足
)(2
)(0
ab
fM
ii
的点，于是
11
( ) ( ) [ ( ) ] ( )
2 ( ) 2
nn
i i i i i
ii
S P f x M f x b a
ba
,
所以
()S P I?
11
( ) ( ) ( )
22
nn
i i i i
ii
S P f x f x I
。
这就是
lim ( )
0
S P I
。
同理可证
lim ( )
0
S P I
。
于是
lim ( )
0
S P lim
0
S
( )P
。
再证充分性。
按 Da r bou x 和的定义，对任意一种划分 P,有
1
( ) ( ) ( )
n
ii
i
S P f x S P?
。
由
lim ( )
0
S P lim
0
S
( )P? I
,
两边取极限，即有
Ixf
n
i
ii
1
0
)(lim?
。
记
iii mM
为
f x( )
在
[,]x xi i? 1
上的 振幅,则定理 7.1.1 也可以等价地表述为定理 7.1.2 有界函数
f x( )
在
[,]a b
可积的充分必要条件是，对任意划分，当
0)(m a x
1
i
ni
x?
时,
0lim
1
0
n
i
ii
x?
。
定理 7.1.2 的几何意义是当分割无限细分时（即
0
），图 7.1.5 中的阴影部分的面积之和趋于零。
由上述充分必要条件可以判断某些函数类的可积性。
推论 1 闭区间 上的连续函数必定可积 。
证 设
f x( )
在
[,]a b
上连续，则它在
[,]a b
上一致连续，即对任意
0
，存在
0
，对任意
xx,[,]a b
，只要
xx
，就有
( ) ( )f x f x
ba
。
因此，对于任意划分 P,只要
)(m a x
1
i
ni
x
，便有
ab
xfxf
iiii xxxxxx
i
)(m i n)(m a x
],[],[ 11
(,,,)i n? 1 2?
,
于是
n
i
i
n
i
ii
x
ab
x
11
。
由定理 7.1.2,
f x( )
在
[,]a b
可积。
推论 2 闭区间 上的单调函数必定可积 。
证 不妨 设
f x( )
在
[,]a b
上单调增加，则在任意小区间
[,]x xi i? 1
上，
f x( )
的振幅为
)()( 1 iii xfxf?
。
对任意给定的
0
，取
0
)()(
afbf
，当
)(m a x
1
i
ni
x
时,
,)]()([
)()(
)]()([
)()(
)]()([
1
1
1
1
1
afbf
afbf
xfxf
afbf
xxfxfx
n
i
ii
n
i
iii
n
i
ii
由定理 7.1.2,
f x( )
在
[,]a b
可积。
定理 7.1.2 对于判别函数不可积可能更为方便一些，如对例 7.1.1
所述的 [,]0 1 上的 D i ri ch l et 函 数，不管如何作分割，它在每个小区间
[,]x xi i? 1 上的振幅恒有 1?i?,于是,
1li mli m
1010
n
i
i
n
i
ii xx
,
所以 D i ri ch l et 函 数不是 Ri em an n 可 积的。
根据 Da r bou x 定 理的证明过程可以知道：对任意给定的
0
，只要有一个划分?P,使得
0 ( )
2
S P L
（或
0 ( )
2
l S P
）,
那么就一定存在某个
0
，对满足
)(m a x
1
i
ni
x
的任意一种划分 P,
必有
0 ( )S P L
（或
0 ( )l S P
）。
利用这一思想，即可推出如下结论。
定理 7.1.3 有界函数
f x( )
在
[,]a b
可积的充分必要条件是,对任意给定的
0
,存在着一种划分，使得相应的振幅满足
n
i
ii
x
1
。
推论 3 闭区间 上只有有限个不连续点的有界函数必定可积 。
证 不妨设
f x( )
在
[,]a b
上只有一个不连续点
(,)x c a b
，并设
()f x M?
。对任意的
0
，取
''a a c b b
，使得
''
6
ba
M
。
由于
f x( )
在
[,']aa
上连续，所以可积，于是存在划分
( 1 ) ( 1 ) ( 1 ) ( 1 ) ( 1 )
0 1 1:' kkP a p p p p a
,
使得
( 1 ) ( 1 )
1 3
k
ii
i
x
。
由于
f x( )
在
[ ',]bb
上连续，所以可积，于是存在划分
( 2 ) ( 2 ) ( 2 ) ( 2 ) ( 2 )
0 1 1:' llP b p p p p b
,
使得
( 2 ) ( 2 )
1 3
l
ii
i
x
。
则对区间
[,]a b
的划分
( 1 ) ( 1 ) ( 1 ) ( 1 ) ( 2 ) ( 2 ) ( 2 ) ( 2 )
0 1 1 0 1 1,k k l lP a p p p p p p p p b
,
成立
1
1
kl
ii
i
x
。
显然，若对任意划分，一个函数在小区间上的振幅的最大值
m a x ( )i?
随着 0 而趋于零，那它当然就是个可积函数。但定理 7.1.2
同时也启发我们，若一个函数虽然它的振幅的最大值
)m a x ( i?
并不随
0 而趋于零，但却可以使振幅不趋于零的小区间的长度之和任意地小，则这个函数仍然是 R i e m a n n 可 积的。
例 7.1.2 证明 R i e m ann 函数
1
,0,,)
( ) 1 0
0
q
x p q p q
pp
R x x
x
NZ（ 互 质为 无 理 数在
[,]0 1
上可积。
解 由 R i e m ann 函数的性质,对任意给定的 0,在
[,]0 1
上使得
()
2
Rx
的 点 至多只有有限个，不妨设是 k 个，记为
0 11 2p p p k?
。
作区间
[,]0 1
的划分
0 10 1 2 2 1x x x x k?
,
使得满足
1 0 1 1 0[,),
2
p x x x x
k
,
2 2 3 3 2(,),
2
p x x x x
k
,
1 2 4 2 3 2 3 2 4(,),
2
k k k k kp x x x x
k
,
2 2 2 1 2 1 2 2(,],
2
k k k k kp x x x x
k
。
图 7.1.6 表示的是 3?k 的情况。
由于
2 1 1 1
2 1 2 1 2 2
1 0 1
k k k
i i j j j j
i j j
x x x
,
在右边的第一个和式中，有
21
2
jx
k
且
21 1j；在第二个和式中，有
2
2
j
且 1
2
1
1
k
j
j
x
，因此得到
1 22
n
ii
i
xk
k
。
由定理 7.1.3,Ri em an n 函数可积。
2
x32x1x0 4x x1
1
y
图 7.1.6
1609 年至 1619 年间，德国天文学家 K ep l er 提出了著名的“行星运动三大定律”,
⑴行星在椭圆轨道上绕太阳运动，太阳在此椭圆的一个焦点上。
⑵从太阳到行星的向径在相等的时间内扫过相等的面积。
⑶行星绕太阳公转周期的平方与其椭圆轨道的半长轴的立方成正比。
第七章 定积分
§ 1 定积分的概念和可积条件这是天文学上划时代的发现（ N ew t o n 正是在证明这些定律的过程中发现了万有引力定律，进而创立了现代天体力学），而且也是数学发展史上的重要里程碑。
一方面，在古希腊的数学家们发现了圆锥曲线的性质之后的一千八百多年以来，人们从未想到过，这样的纯数学结果居然会有如此辉煌的实际应用价值。
另一方面，为了确定第二定律,K ep l er 将椭圆 中被扫过的那部分图形分割成许多小的“扇形”，并近似地将它们看成一个个小的三角形，运用了一些出色的技巧对它们的面积之和求极限，成功地计算出了所扫过的面积（图 7.1.1 ）。在其卓有成效的工 作中，已包含了现代定积分思想的雏形。
例如，求由两条直角边和一条抛物线
y x? 2
所围成的所谓 曲边三角形 的面积，可以采用以下的做法,
用步长
h
n
1
将
[,]0 1
分成 n 个长度为 h 的小区间，其分割点（称为分点 ）为
x ih i n ni,,,,,,0 1 2 1?
。
先在每个小区间
],[ 1 ii xx?
上，构造以 h 为底、以
2
11 )( ii xxf
为高的小矩形，则所有这些小矩形的面积之和为
n
i
n
i
n
i
in
i
nn
i
n
xhS
1
2
3
1
2
1
2
1
)1(
111；
再在每个小区间
],[ 1 ii xx?
上，构造以 h 为底、以
2)(
ii xxf?
为高的小矩形，
则所有这些小矩形的面积之和为
n
i
n
i
n
i
in
i
nn
i
n
xhS
1
2
3
1
2
1
2 11
。
( 图 7.1.2) 为上述过程的 图示设曲边三角形的面积为
S
，则有
nnS S S
。
利用数学归纳法，容易证明
n
i
i
1
2
)1(
6
)12)(1(
)1(321
2222
nnn
n?
n
i
i
1
2
6
)12)(1(
321
2222
nnn
n?
,
令
n
，得到
3
1
6
)12)(1(
limlim
3
n
nnn
S
n
n
n
与
3
1
6
)12)(1(
l i ml i m
3
n
nnn
S
n
n
n
,
由极 限的夹逼性，可知曲边三角形的面积为
1
3
S?
。
由此可以想到，如果在每个小区间
],[ 1 ii xx?
上任意取点
i? ],[ 1 ii xx?
，
并构造以 h 为底、以
2)(
iif
为高的小矩形，则所有这些小矩形的面积之和为
n
i
i
n 1
21?
，显然仍然有
n
n
i
in S
n
S
1
21?
,
令n,由极限的夹逼性，得到
3
11
lim
1
2
n
i
i
n n
，就是所求的曲边三角形的面积。
y=f(x)
f i( )?
0 xi-1 xi 1 x
y
利用上述思想，我们来求由 连续曲线
y f x? ( )
（假设
f x( )? 0
），
直线 x a?,x b? 和 x 轴围成的 曲 边梯形 的面积（图 7.1.3 ）,
在
[,]a b
中取一系列的分点
x i
,作成一种划分
P,
a x x x x bn0 1 2?
,
记 小区间
[,]x xi i? 1
的长度为
x x xi i i 1
,
并在每个小区间上任意取一点
i
，用底为
x i
，高为
)( if?
的矩形面积近似代替小的曲边梯形的面积。
图 7.1.3
xi
i?
y=f(x)
f i( )?
0 a xi-1 xi b x
y
那么这些小矩形面积之和
n
i
ii xf
1
)(?
就是整个大的曲边梯形的面积的近似。令
)(m a x
1 ini
x
,当 0 时，若极限
n
i
ii xf
1
0
)(li m?
存在，那么这个极限显然就是所要求的曲边梯形的精确面积。
xi
i?
y=f(x)
f i( )?
0 a xi-1 xi b x
y
在许多其他领域的研究中，也大量地遇到诸如此类的和式的极限问题。比如，求一个以速度
v t( )
做变速运动的物体从时间
t T? 1
到时间
t T? 2
所走过的路程 S,可以先在时间段
[,]T T1 2
中取一系列的分点
t i
，
作成划分
P,
T t t t t Tn1 0 1 2 2
,
并在每个小区间
[,]t ti i? 1
上随意取一点
i?
，只要时间间隔
t t ti i i 1
充分小，
)( iv?
就可以近似地看作是在
[,]t ti i? 1
时间段中的平均速度，因此在这段时间中走过的路程近似地等于
v ti i( )
，于是整个路程就近似等于
n
i
ii
tv
1
)(?
。
若当
m a x ( )
1
0
i n
it?
时,极限
n
i
ii
tv
1
0
)(lim?
存在，那么这个极限就是所要求的路程 S 的精确值。
定积分的定义定义 7.1.1 设
f x( )
是定义于
[,]a b
上的有界函数，在
[,]a b
上任意取分点
{ }x i in? 0
，作成一种划分
P,
a x x x x bn0 1 2?
,
并任意取点
i? [,]x xi i? 1
。记小区间
[,]x xi i? 1
的长度为
x x xi i i 1
，并令
m a x ( )
1 i n
ix?
，若当
0
时,极限
n
i
ii
xf
1
0
)(lim?
存在，且极限值既与划分 P 无关，又与对
i?
的取法无关，则称
f x( )
在
[,]a b
上 R i em ann 可积 。和式
1
()
n
ii
i
fx?
称为 R i em ann 和,其极限值 I 称为
f x( )
在
[,]a b
上的 定积分,记为
I ＝
()
b
a
f x x? d
,
这里 a 和 b 分别被称为积分的 下限 和 上限 。
在上面的定义中，要求 ba? 。当 ba? 时，我们规定
()ba f x x? d = - ()ab f x x? d,
并由此得到
( ) 0aa f x x d 。
这一定义也可以用,? －? 语言”表述如下,
设有定数 I,对任意给定的 0,存在 0,使得对任意一种划分
P,
a x x x x bn0 1 2?
,
和任意点
],[ 1 iii xx
，只要
1
m ax ( )i
in
x
，便有
Ixf
n
i
ii
1
)(
,
则称
f x( )
在
[,]a b
上 R i e m a n n 可积，称 I 是
f x( )
在
[,]a b
上的定积分 。
在上面的定义中，要求 ba? 。当 ba? 时，我们规定
()ba f x x? d = - ()ab f x x? d,
并由此得到
( ) 0aa f x x d 。
注意,当 f x( ) 在 [,]a b 上可积，即 要求对任意划分 P 和任意
i? [,]x xi i? 1,极限?
n
i ii xf10 )(li m
都存在，则 f x( ) 必须在 [,]a b 上有界。
在上面的定义中，要求 ba? 。当 ba? 时，我们规定
()ba f x x? d = - ()ab f x x? d,
并由此得到
( ) 0aa f x x d 。
这一定义也可以用,? －? 语言”表述如下,
设有定数 I,对任意给定的 0,存在 0,使得对任意一种划分
P,
a x x x x bn0 1 2?
,
和任意点
],[ 1 iii xx
，只要
1
m ax ( )i
in
x
，便有
Ixf
n
i
ii
1
)(
,
则称
f x( )
在
[,]a b
上 R i e m a n n 可积，称 I 是
f x( )
在
[,]a b
上的定积分 。
例 7,1,1 讨论 Di r i c h l e t 函数
1,
()
0,
x
Dx
x
为 有 理 数为 无 理 数在
[,]0 1
上的 可积性。
解 由于有理数和无理数在实数域上的稠密性，因此不管用什么样的划分 P 对
[,]0 1
作分割，在每个小区间
[,]x xi i? 1
中一定是既有有理数又有无理数。
于是，当将
i?
全部取为有理数时,
11lim)(lim
1
0
1
0
n
i
i
n
i
ii
xxf
,
当将
i?
全部取为无理数时，则有
00lim)(lim
1
0
1
0
n
i
i
n
i
ii
xxf
。
所以尽管两个和式的极限都存在，但极限不相同，所以 Di r i c h l e t 函数在
R i e m a n n 意义下是不可积的。
D a rbo ux 和记
f x( )
在
[,]a b
上的上确界和下确界分别为 M 和 m,则有
m f x M( )
。
另外，记
f x( )
在
[,]x xi i? 1
的上确界和下确界分别为
M i
和
m i
（
i n? 1 2,,,?
），
即
M f x x x xi i is u p { ( ) | [,]}1
和
m f x x x xi i ii n f { ( ) | [,]}1
,
定义和式
S P M x
i i
i
n
( )?
1
与
S P m x
i i
i
n
( )?
1
,
它们分别被称为相应于划分 P 的 D a rbo ux 大和 与 D a rbo ux 小和 （统称为
D a rbo ux 和 ），那么显然有（图 7.1.4 ）
)()()(
1
PSxfPS
n
i
ii
。
y
M i
m i
x
图 7.1.4
下面不加证明引入几个引理,
引理 7.1.1 若在原有划分中加入分点形成新的划分，则大和不增，小和不减 。
记 S 是一切可能的划分所得到的 D arb o u x 大和 的集合，而
S
是一切可能的划分所得到 的 D arb o u x 小和 的集合。
引理 7.1.2 对任意 S
( )P 1? S
和
S ( )P 2? S
，恒有
m ( )b a S ( )P
2
S ( )P
1
M ( )b a? 。
引理 7.1.3 （ Darboux 定理） 对任意在
[,]a b
上有界的函数
f x( )
，恒有
lim ( )
0
S P L
,
lim ( )
0
S P l
。
Riem an n 可积的充分必要条件现在我们来导出可积的充分必要条件。
定理 7.1.1 有界函数
f x( )
在
[,]a b
可积的充分必要条件是，对任意划分，当
0)(m a x
1
i
ni
x?
时,Da r bou x 大和与 Da r bou x 小和的极限相等,
L l?,
即成立
lim ( )
0
S P lim
0
S
( )P
。
证 先证必要性。
设
f x( )
可积且积分值为 I,则对任意的
0
，存在
0
，使得对任意划分
P,
a x x x x bn0 1 2?
和任意点
],[ 1 iii xx
，只要
)(m a x
1
i
ni
x
，便有
2
)(
1
Ixf
n
i
ii
。
特殊地，取
i?
是
[,]x xi i? 1
中满足
)(2
)(0
ab
fM
ii
的点，于是
11
( ) ( ) [ ( ) ] ( )
2 ( ) 2
nn
i i i i i
ii
S P f x M f x b a
ba
,
所以
()S P I?
11
( ) ( ) ( )
22
nn
i i i i
ii
S P f x f x I
。
这就是
lim ( )
0
S P I
。
同理可证
lim ( )
0
S P I
。
于是
lim ( )
0
S P lim
0
S
( )P
。
再证充分性。
按 Da r bou x 和的定义，对任意一种划分 P,有
1
( ) ( ) ( )
n
ii
i
S P f x S P?
。
由
lim ( )
0
S P lim
0
S
( )P? I
,
两边取极限，即有
Ixf
n
i
ii
1
0
)(lim?
。
记
iii mM
为
f x( )
在
[,]x xi i? 1
上的 振幅,则定理 7.1.1 也可以等价地表述为定理 7.1.2 有界函数
f x( )
在
[,]a b
可积的充分必要条件是，对任意划分，当
0)(m a x
1
i
ni
x?
时,
0lim
1
0
n
i
ii
x?
。
定理 7.1.2 的几何意义是当分割无限细分时（即
0
），图 7.1.5 中的阴影部分的面积之和趋于零。
由上述充分必要条件可以判断某些函数类的可积性。
推论 1 闭区间 上的连续函数必定可积 。
证 设
f x( )
在
[,]a b
上连续，则它在
[,]a b
上一致连续，即对任意
0
，存在
0
，对任意
xx,[,]a b
，只要
xx
，就有
( ) ( )f x f x
ba
。
因此，对于任意划分 P,只要
)(m a x
1
i
ni
x
，便有
ab
xfxf
iiii xxxxxx
i
)(m i n)(m a x
],[],[ 11
(,,,)i n? 1 2?
,
于是
n
i
i
n
i
ii
x
ab
x
11
。
由定理 7.1.2,
f x( )
在
[,]a b
可积。
推论 2 闭区间 上的单调函数必定可积 。
证 不妨 设
f x( )
在
[,]a b
上单调增加，则在任意小区间
[,]x xi i? 1
上，
f x( )
的振幅为
)()( 1 iii xfxf?
。
对任意给定的
0
，取
0
)()(
afbf
，当
)(m a x
1
i
ni
x
时,
,)]()([
)()(
)]()([
)()(
)]()([
1
1
1
1
1
afbf
afbf
xfxf
afbf
xxfxfx
n
i
ii
n
i
iii
n
i
ii
由定理 7.1.2,
f x( )
在
[,]a b
可积。
定理 7.1.2 对于判别函数不可积可能更为方便一些，如对例 7.1.1
所述的 [,]0 1 上的 D i ri ch l et 函 数，不管如何作分割，它在每个小区间
[,]x xi i? 1 上的振幅恒有 1?i?,于是,
1li mli m
1010
n
i
i
n
i
ii xx
,
所以 D i ri ch l et 函 数不是 Ri em an n 可 积的。
根据 Da r bou x 定 理的证明过程可以知道：对任意给定的
0
，只要有一个划分?P,使得
0 ( )
2
S P L
（或
0 ( )
2
l S P
）,
那么就一定存在某个
0
，对满足
)(m a x
1
i
ni
x
的任意一种划分 P,
必有
0 ( )S P L
（或
0 ( )l S P
）。
利用这一思想，即可推出如下结论。
定理 7.1.3 有界函数
f x( )
在
[,]a b
可积的充分必要条件是,对任意给定的
0
,存在着一种划分，使得相应的振幅满足
n
i
ii
x
1
。
推论 3 闭区间 上只有有限个不连续点的有界函数必定可积 。
证 不妨设
f x( )
在
[,]a b
上只有一个不连续点
(,)x c a b
，并设
()f x M?
。对任意的
0
，取
''a a c b b
，使得
''
6
ba
M
。
由于
f x( )
在
[,']aa
上连续，所以可积，于是存在划分
( 1 ) ( 1 ) ( 1 ) ( 1 ) ( 1 )
0 1 1:' kkP a p p p p a
,
使得
( 1 ) ( 1 )
1 3
k
ii
i
x
。
由于
f x( )
在
[ ',]bb
上连续，所以可积，于是存在划分
( 2 ) ( 2 ) ( 2 ) ( 2 ) ( 2 )
0 1 1:' llP b p p p p b
,
使得
( 2 ) ( 2 )
1 3
l
ii
i
x
。
则对区间
[,]a b
的划分
( 1 ) ( 1 ) ( 1 ) ( 1 ) ( 2 ) ( 2 ) ( 2 ) ( 2 )
0 1 1 0 1 1,k k l lP a p p p p p p p p b
,
成立
1
1
kl
ii
i
x
。
显然，若对任意划分，一个函数在小区间上的振幅的最大值
m a x ( )i?
随着 0 而趋于零，那它当然就是个可积函数。但定理 7.1.2
同时也启发我们，若一个函数虽然它的振幅的最大值
)m a x ( i?
并不随
0 而趋于零，但却可以使振幅不趋于零的小区间的长度之和任意地小，则这个函数仍然是 R i e m a n n 可 积的。
例 7.1.2 证明 R i e m ann 函数
1
,0,,)
( ) 1 0
0
q
x p q p q
pp
R x x
x
NZ（ 互 质为 无 理 数在
[,]0 1
上可积。
解 由 R i e m ann 函数的性质,对任意给定的 0,在
[,]0 1
上使得
()
2
Rx
的 点 至多只有有限个，不妨设是 k 个，记为
0 11 2p p p k?
。
作区间
[,]0 1
的划分
0 10 1 2 2 1x x x x k?
,
使得满足
1 0 1 1 0[,),
2
p x x x x
k
,
2 2 3 3 2(,),
2
p x x x x
k
,
1 2 4 2 3 2 3 2 4(,),
2
k k k k kp x x x x
k
,
2 2 2 1 2 1 2 2(,],
2
k k k k kp x x x x
k
。
图 7.1.6 表示的是 3?k 的情况。
由于
2 1 1 1
2 1 2 1 2 2
1 0 1
k k k
i i j j j j
i j j
x x x
,
在右边的第一个和式中，有
21
2
jx
k
且
21 1j；在第二个和式中，有
2
2
j
且 1
2
1
1
k
j
j
x
，因此得到
1 22
n
ii
i
xk
k
。
由定理 7.1.3,Ri em an n 函数可积。
2
x32x1x0 4x x1
1
y
图 7.1.6
