闭区间上连续函数可积性的证明(材料详实)
- 格式:doc
- 大小:312.00 KB
- 文档页数:4
第五章第二讲、定积分的存在性定理定理1.2. 设函数y =f (x) 为定义在闭区间[a,b]上的有界函数。
则f (x)在[a,b]上可积当且仅当对于∀ε> 0,可以找到区间[a,b]的一个分割T a =x <x <<x −<x =b,使得:0 1 n 1 n∑∑n f nx (M m ) xi i [x ,x ] [x ,x ] ii 1 i 1 i−1 i i−1 i=ω∆==−∆<ε这里∆=−,x x x −i i i 1 M[ ,]=sup [ ,] f (x)x x x x xi 1 i i 1 i−∈−及i 1 i i 1 i−∈−。
m[ ,]=inf [ ,] f (x)x x x x x由上面这个定理,我们可以得到定理2.1. 若函数 f (x) 在区间[a,b] 上可积.,则函数| f (x) | 在区间[a,b] 上也可积。
证明:因为函数 f (x) 在区间[a,b] 上可积,由定理1.2,对于∀ε> 0,可以找到区间[a,b]的一个分割T a =x <x <<x −<x =b,使得:0 1 n 1 n∑,这里n fi=ω∆x <ε1i i ∆=−,x x x −i i i 1i 1 i i 1 i−∈−及M[ ,]=sup [ ,] f (x)x x x x x−∈−,i M x x m x x1 1ω=−称为函数在区间fm[ ,]=inf [ ,] f (x)x x x x x[ i, i] [ i, i]i i i i −1 −1 [ , ]x −x 上i 1 i的振幅。
注意到ω| f| ≤ω f 总是成立的,故对上述分割我们有i i∑∑。
n f n fi=ω∆x ≤i=ω∆x <ε1 1| |i i i i于是,我们证得函数| f (x) | 在区间[a,b] 上可积。
证毕。
定理2.2. 设函数 f (x) ,g(x) 在区间[a,b] 上可积,则 f (x)±g(x) 也在区间[a,b] 上可积.证明:首先证明 f (x)+g(x) 在区间[a,b] 上可积。
连续可导可积可微的关系证明过程连续可导、可积和可微是数学中三个重要的性质,它们之间存在一定的关系。
本文将以连续可导、可积和可微的关系为主题,探讨它们之间的联系和区别。
我们来介绍一下这三个性质的定义。
连续可导是指函数在某一点处既连续又可导。
连续意味着函数在该点附近没有跳跃或间断,而可导则表示函数在该点处存在切线。
连续可导的函数在该点处的导数存在且有限。
可积是指函数在某一区间上的积分存在且有限。
可积函数在某一区间上的曲线下面积有限,可以用定积分来计算。
可积函数通常也是连续的,但并不总是连续可导的。
可微是指函数在某一点处的导数存在且有限。
可微函数在该点处的导数表示了函数在该点处的变化率。
可微函数必然是可导的,但可导函数不一定可微。
接下来我们来探讨连续可导、可积和可微之间的关系。
连续可导的函数一定是可积的。
这是因为连续可导的函数在某一点处的导数有界,这意味着函数在该点附近的变化不会太大,从而函数在该区间上的曲线下面积有限。
因此,连续可导的函数一定是可积的。
然而,可积的函数不一定是连续可导的。
举个例子,函数f(x) = |x|在x=0处不可导,但是在整个实数轴上都是可积的。
这是因为虽然函数f(x)在x=0处存在一个“拐点”,但是在其他地方函数是连续的。
可微的函数一定是连续可导的。
这是因为可微性是连续可导性的一个更强的条件。
可微函数在某一点处的导数表示了函数在该点附近的变化率,而连续可导函数在该点处的导数存在且有限,说明函数在该点附近的变化率是有界的。
然而,连续可导的函数不一定是可微的。
举个例子,函数f(x) = |x|在x=0处不可微,但是在整个实数轴上都是连续可导的。
这是因为在x=0处函数的导数发生了突变,从左边的导数为-1变为右边的导数为1,因此函数在x=0处的导数不存在。
连续可导、可积和可微是三个重要的性质,在数学中有着不同的定义和性质。
连续可导的函数一定是可积的,可微的函数一定是连续可导的,但可积的函数不一定是连续可导的,连续可导的函数也不一定是可微的。
函数在区间上连续是函数在区间上可积的什么条件在数学中,可积性是指对于给定的函数以及一个特定的区间,我们是否可以对该函数在该区间上进行积分。
具体来说,如果我们可以找到一个叫做积分的数值,用来表示函数在区间上的面积,那么我们称该函数在这个区间上是可积的。
在采用黎曼积分的情况下,函数在区间[a,b]上的可积性需要满足以下两个条件:1.有界性:函数在区间上的取值范围必须是有界的。
也就是说,存在两个实数M和N,使得函数的值在区间[a,b]上的每个点x处满足M≤f(x)≤N。
2.零点集的测度为零:如果函数f在区间[a,b]上的零点集(即函数在一些点上取值为零的集合)的测度为零,则函数在该区间上可积。
由于函数在[a,b]区间上连续的定义是其在区间上处处连续,因此连续函数的一个显然的特性是其在区间上的取值范围是有界的。
因此,连续函数的有界性条件总是满足的。
但是,连续函数并不一定满足零点集的测度为零的条件。
因此,连续性只是可积性的一个必要条件。
另一方面,连续函数在一个紧致区间上(例如区间[a,b])是可积的。
这个结果是由黎曼引理得出的,它表明在紧致区间上连续的函数必然是可积的。
该引理的证明可以通过两个关键步骤得出:第一步,根据连续函数的性质,我们可以将紧致区间[a,b]分成许多小的子区间,并选择一个适当的划分,使每个子区间上的函数值与区间上的任意点的函数值的差小于一个给定的ε>0。
第二步,通过对这些子区间上的函数值差的绝对值进行估计,我们可以找到一个上界,将所有这样的差值相加,并将其乘以子区间的长度。
从而得到一个上界,用来衡量函数的变动和区间长度之间的关系。
综上所述,函数在区间上连续是函数在该区间上可积的一个必要条件,但不是充分条件。
要使函数在区间上可积,除了连续性之外,还需要满足有界性和零点集的测度为零的条件。
§6-3 闭区间上连续函数可积性的证明
函数)(x f 在区间],[b a 上的一致连续性,使得对于任意给定的正数ε,都有仅与ε有关的正数)(εδδ=,当把区间],[b a 划分为有限个长度都不超过δ的小 区间1[,](1)i i x x i n -≤≤时(图6-3),
在每一个小区间],[1i i x x -上,函数的最大值i M 减去最小值i m 的差i ω(称为振幅)不会超过
ε,即)1(n i m M i i i ≤≤≤-=εω。
令
()
1
(P)n
i
i
i s m x ==
∆∑小和, 1
(P)n
i i
i S M x ==∆∑大和()
则有
1
1
0(P)(P)()()n
n
i
i i i
i i S s M
m x x b a ε
ε==≤-=
-∆=∆=-∑∑
即
lim [(P)(P)]0n x S s ∆→-= (6-1)
正是有这个结论,我们才证明了闭区间上连续函数的可积性。
证 设)(x f 是闭区间],[b a 上的连续函数。
对于区间],[b a 的任何两个划分方法P '和
P '',总有)P ()P (''≤'S s 。
为了说明这个结论,不妨认为0)(≥x f 。
如图6-4①,对于任意划分P ',小和)P ('s 对应的那些内接小矩形合起来含在曲边梯形AabB 内。
如图6-4②,对于任意划分P '',大和)P (''S 对应的那些外接小矩形合起来能够覆盖住曲边梯形AabB 。
因此,总有)P ()P (''≤'S s 。
其次,因为所有可能的小和构成的集合{})P ('s 有上界)P (''S ,所以有最小上界σ,于是)P (''≤S σ;而因为对于所有可能的大和构成的集合{})P (''S 有下界σ,所以有最大下界σ, 于是σσ≤。
因此,有)P ()P (''≤≤≤'S s σσ。
特别,对于区间[,]a b 的任意划分P ,就有
图6-4
① O
a
A
B
x
x x '
' b i m
y
②
B
y A
x i i x x '
'''-1 O a
b
i
M · · · · · · b
a ] [ x
图6-3
1i i x x -
)P (P)(S s ≤≤≤σσ 或 )P (P)(0s S -≤-≤σσ
根据条件(6-1),所以σσσ==(公共值)。
又因为
(P)P)(S s ≤≤σ, 1
(P)()(P)n
i
i
i s f x S ξ=≤
∆≤∑
所以有
()
1
()(P)(P)0
0n
i
i
n
i f x S s x
ξσ
=∆-≤-→∆→∑
即
1
lim
()n n
i
i
x i f x ξσ∆→=∆=∑()d b
a
f x x =⎰
这样,就证明了函数)(x f 在区间],[b a 上的可积性。
【注】函数在闭区间上连续是函数可积的充分条件,而不是必要条件。
在下一章中将证明,在有限区间上只有有限个间断点的有界函数也是可积的,甚至有的可积函数会有无限多个间断点。
习题和选解
1.设函数()f x 和()g x 在闭区间[,]a b 上连续。
用任意方法把区间[,]a b 划分成小区间:
01211i i n n a x x x x x x x b --=<<<<<<<<=L L
证明
1
lim
()()()()d n n
b i
i
i
x a
i f g x f x g x x ξθ∆→=∆=∑⎰
其中111[,],[,],(1,2,,)i i i i i i i i i x x x x x x x i n ξθ---∈∈∆=-=L 。
注意,左端的和数.....•••
∑不是积分和.....!而称它为....
“拟积分和”。
2.设函数()x t 和()y t 在闭区间[,]αβ上有连续的导数。
用任意方法把区间[,]αβ划分成小区间:01211i i n n t t t t t t t αβ--=<<<<<<<<=L L 。
证明
22
22
1
lim
()()()()n n
i i i t i x
y t x t y t t β
α
ξθ∆→=+=+⎰&&&&
其中111[,],[,],(1,2,,)i i i i i i i i i t t t t t t t i n ξθ---∈∈∆=-=L 。
左端的和数.....•••∑也不是积分
和,也称它为“拟积分和”。
3.黎曼引理
(*)
若函数()f x 在闭区间[,]a b 上连续,则有
(*)
习惯上称这个结论为黎曼引理, 因为在证明其他许多有关结论时都要引用这个结论。