大学毕业论文--狄利克雷函数的性质及应用
狄利克雷(Dirichlet )函数性质及应用
作 者 指导教师
黄玉峰 马永传
摘 要:狄利克雷函数作为分析学中的一种构造性函数有着许多特殊的性质,它在数学分析、实变函数与泛函分析、复合函数等诸多领域均有十分广泛的应用,在数学发展过程中起过重要的作用。本文将在性质与应用两个方面对狄利克雷函数进行讨论。
关键词:狄利克雷函数;性质;应用;反例
函数概念最早出现在17世纪英国数学家格雷戈里的文章《论圆和双曲线的求积》(1667年) 中。他定义函数是这样一个量:它是从一些其他量经过一系列代数运算或者任何其他可以想象到的运算而得到的。17世纪德国著名数学家莱布尼茨1673年在一篇手稿里使用了“函数”这一概念。后来, 莱布尼茨又引进“常量”、“变量”和“参变量”的概念。在数学史上, 这是一大进步, 它使得人们可以从数量上描述运动了。当时的函数指的是可以用解析式表示的函数, 但这种概念对数学和科学的进一步发展来说实在是太狭隘了。
历史上第一个给出函数一般定义的是19世纪德国数学家狄利克雷(Dirichlet )。这也促成了微积分的严格性的开始。事实上, 如果严格性没有进入定义, 那就无法在推理中体现严格性。
当时, 数学家们处理的大部分数学对象都没有完全的严格的定义, 数学家们习惯借助于直觉和想象来描述数学对象。
狄利克雷在1829年给出了下面的著名函数(后人称为狄利克雷函数):
⎧0, x 是无理数
f (x ) =⎨
⎩1, x 是有理数
这个函数具有三个特点:
(1)没有解析式:使函数概念从解析式中解放了出来。 (2)没有图形:使函数概念从几何直观中解放了出来。
(3)没有实际背景:使函数概念从客观世界的束缚中解放了出来。
狄利克雷函数的出现, 表示数学家们对数学的理解发生了深刻的变化, 数学的一些“人造”特征开始展现出来。这种思想也标志着数学从研究“算”转变到了研究“概念、性质、结构”。 1 狄利克雷函数及其性质
狄利克雷(P . G . L . Dirichlet [德])函数在数学分析、实变函数、泛函分析等研究领域中起着十分重要的作用。
1.1 狄利克雷函数的相应定义
⎧1, 当x 为有理数
(1)对任意x ∈R , 令D (x ) =⎨,则称D (x ) 为定义在实数上的狄利克雷函
⎩0, 当x 为无理数数.
⎧1, 当x 为有理数
(2)对任意x ∈R , 令E (x ) =⎨,则称E (x ) 为定义在实数上的狄利克雷拓
-1, 当x 为无理数⎩
展函数.
(3)一般地,广义的狄利克雷函数可定义为:
⎧a ,
⎪
D (x ) =⎨
⎪b , ⎩
x 为有理数;
其中a , b 为实数, a ≠b .
x 为无理数;
1.2 狄利克雷函数与狄利克雷拓展函数的性质
1.周期性
定理1.1 任意的非零有理数都是D (x ) 及E (x ) 的周期;但是任何的无理数都不是
D (x ) 或E (x ) 的周期.
证 由
⎧1, 当x 为有理数
D (x ) =⎨(x ∈R )
⎩0, 当x 为无理数
⎧1, 当x 为有理数E (x ) =⎨(x ∈R )
-1, 当x 为无理数⎩
对任意有理数r ≠0,有
⎧1, 当x 为有理数D (x +r ) =⎨(x ∈R )
⎩0, 当x 为无理数
⎧1, 当x 为有理数
E (x +r ) =⎨(x ∈R )
-1, 当x 为无理数⎩
故任意的有理数r 都是D (x ) 及E (x ) 的周期. 对任意的无理数λ,有
⎧0,
D (x +λ) =⎨
⎩0或1, ⎧-1,
E (x +λ) =⎨
⎩-1或1,
x 为有理数
(x ∈R )
x 为无理数x 为有理数
(x ∈R )
x 为无理数
故任何的无理数都不是D (x ) 和E (x ) 的周期.
2. 有界性
定理1.2 D (x ) 及E (x ) 都是有界函数. 证 由
⎧1, 当x 为有理数
D (x ) =⎨(x ∈R )
⎩0, 当x 为无理数
⎧1, 当x 为有理数E (x ) =⎨(x ∈R )
-1, 当x 为无理数⎩
故知0≤D (x ) ≤1且-1≤E (x ) ≤1,所以D (x ) 及E (x ) 都是有界函数. 3. 奇偶性
定理1.3 D (x ) 及E (x ) 都是偶函数. 证 由
⎧1, 当x 为有理数
D (x ) =⎨(x ∈R )
⎩0, 当x 为无理数
⎧1, 当x 为有理数E (x ) =⎨(x ∈R )
-1, 当x 为无理数⎩
且知负号不改变数的有理性及无理性,所以可得
⎧1, 当x 为有理数
D (-x ) =⎨(x ∈R )
⎩0, 当x 为无理数
⎧1, 当x 为有理数
E (-x ) =⎨(x ∈R )
-1, 当x 为无理数⎩
所以D (x ) =D (-x ) 且E (x ) =E (-x ) ,故D (x ) 及E (x ) 都是偶函数.
4. 单调性
定理1.4 D (x ) 及E (x ) 在实数集的任何区间上都不具有单调性.
证 对∀δ1、δ2∈R , 在区间(δ1, δ2)上由实数的稠密性知,在区间(δ1, δ2)上存在无数(δ1
不妨设γ1、γ2、γ3∈(δ1, δ2),γ1、γ3为无理数,γ2为有理数,γ1
D (γ1) =D (γ3) =0,D (γ2) =1;E (γ1) =E (γ3) =-1,E (γ2) =1;
故可知D (x ) 及E (x ) 在实数集的任何区间上都不具有单调性.
5. 连续性
定理1.5 对于∀x 0∈R , lim D (x ) 及lim E (x ) 都不存在.
x →x 0
x →x 0
证 ∀x 0∈R , 对任意小的δ>0, 由实数的稠密性知在U + (x 0; δ) 内 存在一组递增的有理数组 k 1, k 2, , k n , 存在一组递增的无理数组 m 1, m 2, , m n , 且 lim k n =x 0;
n →∞
lim m n =x 0.
n →∞
又易得
⎧lim lim D (x ) =1⎪n →∞x →k n
lim +D (x ) =⎨x →x 0lim lim D (x ) =0⎪⎩n →∞x →m n
lim E (x ) =1⎧lim ⎪n →∞x →k n
lim E (x ) =⎨x →x 0+lim lim E (x ) =-1⎪⎩n →∞x →m n
可知lim +D (x ) 及lim +E (x ) 不存在,故lim D (x ) 和lim E (x ) 不存在.
x →x 0
x →x 0
x →x 0
x →x 0
定理1.6 D (x ) 及E (x ) 在R 上处处不连续.
证:由定理1.5知对于∀x 0∈R , lim D (x ) 及lim E (x ) 都不存在.
x →x 0
x →x 0
故知D (x ) 及E (x ) 在x 0处不连续,又由x 0的任意性知D (x ) 及E (x ) 在R 上处处不连续.
6. 可积性
定理1.7 D (x ) 及E (x ) 在任何区间[a , b ](a
⎧1, 当x 为有理数
证 由 D (x ) =⎨(x ∈[a , b ]);
⎩0, 当x 为无理数
对于[a , b ]的一个分割T ={∆1, ∆2, ∆n }, 任取点ξi ∈∆i , i =1,2, , n , 并作和式:
∑D (ξ) ∆x
i
i
i =1
n
由实数的稠密性知,当取ξi 为有理数时,D (ξi ) =1,则∑D (ξi ) ∆x i =b -a ;而取ξi 为无
i =1
n
理数时,D (ξi ) =0, ∑D (ξi ) ∆x i =0;故D (x ) 在任何区间[a , b ](a
i =1
n
⎧1, 当x 为有理数
由 E (x ) =⎨(x ∈[a , b ])
-1, 当x 为无理数⎩
'
, ∆' 2, ∆' n }, 任取点ξi ' ∈∆i ' , i =1,2, , n , 并作和式: 对于[a , b ]的一个分割T 1={∆1
'
n
∑E (ξ) ∆x
'
i
' i
i =1
n
当ξi 分别取有理数和无理数时,∑E (ξi ' ) ∆x i ' 的值互为相反数且都不为零.故E (x ) 在任何
i =1
区间[a , b ](a
综上可知, D (x ) 及E (x ) 在任何区间[a , b ](a
数学中的反例,是用以否定错误命题而举的例子。反例的作用大致可分为三类:(1)说明定理的条件及结论的不可更改性;(2)否定似是而非命题;(3)纠正直观上可能产生的错觉的命题。
利用狄利克雷函数的独特性质可以构造许多数学反例,它们在数学分析教学中发挥着重要的作用。
2.1 利用狄利克雷函数构造反例说明数学命题成立
命题2.1.1 存在函数f (x ) , f (x ) 在某一点连续而在其他点都不连续.
证 设f (x ) =xD (x ), x ∈R .因为f (x ) 在x =0连续(f (x ) ≤x ), 而f (x ) 在x ≠0时不连续.
命题2.1.2 存在函数g (x ) , g (x ) 在任意点不连续, 但g (x ) 在任意点都连续.
⎧1, x 为有理数;⎪
证 设 g (x ) =D (x ) =⎨
⎪-1, x 为无理数;⎩
由定理1.5知D (x ) 不存在极限,故知D (x ) 在任一点x 0∈R 都不连续, 而g (x ) =1(x ∈R ) 在任意点都连续.
命题2.1.3 存在函数p (x ),p (x )仅在一点可导且连续.
⎧1, x 为有理数;⎪
D (x ) =⎨
⎪0, x 为无理数;⎩
证 设 p (x ) =x 2D (x ),
p (x ) -p (0)x 2D (x )
则 lim =lim =lim xD (x ) =0=p '(0).
x →0x →0x →0x -0x
即p (x )仅在一点x =0处可导且连续.
命题2.1.4 存在函数q (x ) ,q (x ) 在定义域上有界且不可积.
1]⎧1, x 是[0,内的有理数;
⎪
证 令 q (x ) =D (x ) =⎨
⎪0, x 是[0,内的无理数;1]⎩
显然q (x ) 在[0,1]上有界.
对于[0,1]的一个分割T ={∆1, ∆2, ∆n }, 任取点ξi ∈∆i , i =1,2, , n , 并作和式:
∑q (ξ) ∆x
i
i =1
n
i
由实数的稠密性知对于分割T ,∆i 内既存在有理数又存在无理数.
当取ξi 为有理数时有
q (ξi ) =1,则∑q (ξi ) ∆x i =1;
i =1
n
当取ξi 为无理数时有
q (ξi ) =0,则∑q (ξi ) ∆x i =0;
i =1
n
从而⎰q (x ) dx 不存在,故q (x ) 在[0,1]上不可积.
1
即q (x ) 在[0,1]上有界且不可积.
命题2.1.5 存在[0,1]上不恒为零的函数r (x ) , 使r (1)=r (0)=0且r (对任意的x , y ∈[0,1]都成立.
证 令
x +y
) ≤r (x ) +r (y ) 2
⎧0,x 是[0,1]内的有理数
r (x ) =D (x ) =⎨
x 是0,1内的无理数[]⎩1,
则有r (1)=r (0)=0;且知r (x ) 在[0,1]上不恒为零.
有理数,若x , y 均为有理数⎧
x +y ⎪
=⎨无理数, 若x , y 有一个为有理数; 又 2⎪有理数或无理数,若x , y 均为无理数
⎩
从而,不论x , y 取何值,肯定总有
x +y ⎧0, x , y 均为有理数或均为无理数r () =⎨≤r (x ) +r (y ) .
1, 2x , y 有一个为有理数或无理数⎩
命题2.1.6 某个不连续函数列可以一致收敛于某个连续函数. 证 令g n (x ) =
1
D (x ), n =1,2, , 其中D (x ) 为狄利克雷函数(一般意义上的,不是广义定n
义的).则g n (x ) 在-∞
又由于 g n (x ) ≤
1
, n =1,2, , -∞
故当n →∞时,g n (x ) 在-∞
(1) 说明定理的条件与结论的不可更改性
定理2.1(levi )设f 和f n (n ≥1) 都是可测集D 上的非负可测函数且都可Lebesgue 积分,而且对几乎所有的x ∈D , {f n (x ) }单调增加收敛于f (x ) ,则
⎰f
D
=lim ⎰f n .
n →∞
D
命题2.2.1 “levi 定理”对Riemann 积分不成立.
例1 设[0,1]中全体有理数为{ξ1, ξ2, ξn , }, 再令f n (x ) =∑φξk (x ), 其中
k =1n
⎧1, x =ξk
φξk (x ) =⎨, n =1,2,
0, x ≠ξ⎩k
则知{f n }是[01,]上非负递增的Riemann 可积函数列.因为
∑f (x ) =D (x ),
n n =1
∞
而D (x ) 在[01,]上是非R 可积的.故定理2.1对于Riemann 积分不成立.
定理2.2(Fubini ) 设f n (n =1,2, ) 是[a , b ]上的一列单调增加的函数, 并且函数项级数
∞
∑f
n =1
n
(x ) 在[a , b ]上处处收敛于f (x ) .则成立
∞
f (x ) =∑f n ' (x ), a . e ..
'
n =1
命题2.2.2 定理2.2中函数列中诸函数的单调性条件不能少. 例2 设[01,,]中全体有理数为{λ1, λ2, λn , }, 对每个n , 在[01]上定义
⎧1, x =λn
f n (x ) =⎨
⎩0, x ≠λn
一方面,对每一n , 函数f n 在x =λn 点外恒等于零, 所以f n 不是单调函数.另一方面, 易知
∑f (x ) =D (x ),
n n =1
∞
由于D (x ) 在[0,1]上处处不连续,则处处不可导,更谈不上逐项求导了.
(2)否定似是而非的命题
命题2.2.3 函数f 、g 不连续,则f +g 、f g 也不连续.(否)
例3 令f (x ) =E (x ), g (x ) =-E (x ) .易知f , g 都是实数上处处不连续的函数,但
f +g ≡0, f ⋅g ≡-1均为常函数, 自然都是连续函数.
命题2.2.4 对于函数f 、g ,f 2、g 2是R 可积的,则(f +g ) 2也是R 可积的.(否) 例4 在[0,1]上定义
⎧1, 当x 为代数数
f (x ) =⎨
⎩-1, 当x 为超越数
⎧1, 当x 为有理数
g (x ) =E (x ) =⎨
-1, 当x 为无理数⎩
由于f 2≡1, g 2≡1,即函数f 2、g 2为常数函数,所以f 2、g 2在[01,]上都是R 可积的. 但是
⎧0,当x 为代数数的无理数;
(f (x ) +g (x )) =⎨
4,当x 为其他数;⎩
2
却是处处不连续的. 即(f +g ) 2为非R 可积.
命题2.2.5 非有界变差函数的绝对值函数和平方函数也是非有界变差函数. (否) 例5 在[0,1]上设g (x ) =E ,则g 是非有界变差函数. (x )设[0,1]上的分划为
T :0=x 0
其中当k 取偶数时,x k 为有理数;当k 取奇数时,x k 为无理数(k =0,1 n -1) .这时
∑g (x ) -g (x
k
i =1
n
k -1
) ≥∑2=2(n -1) .
k =1
n -1
⎧n ⎫
随着分划的细分, 2(n -1) →∞, 即⎨∑g (x k ) -g (x k -1) ⎬是一无界集, 所以g 不是有界变
⎩k =1⎭差函数. 而g =g 2≡1为常数函数, 对于[0,1]上的一切分划T ,均有
∑
k =1n k =1
n
g (x k ) -g (x k -1) =0
2
∑g
所以g 和g 2都为有界变差函数.
(x k ) -g 2(x k -1) =0
(3)纠正直观上可能产生错觉的命题
命题2.2.6 函数项级数∑U n (x ) 的收敛域必为一区间.(否)
n =1∞
例6 令U n (x ) =D (x ) ,则知
⎧m , x 为有理点
∑U n (x ) =⎨
i =1⎩0, x 为无理点
m
当x 为有理点时 lim ∑U n (x ) =+∞
m →∞
i =1m
m
当x 为无理点时 lim ∑U n (x ) =0
m →∞
i =1
故∑U n (x ) 的收敛区域为集合{x |x 为无理点}.
i =1
∞
命题2.2.7 不存在函数g (x ) ,使得g (x ) 仅在一点连续.(否)
例7 令g (x ) =xD (x ) , 因为g (x ) -g (0)=xD (x ) →0(x →0) .所以g (x ) 在x =0处连续.但
当x ≠0时,g (x ) 不连续.
命题2.2.8 Lebesgue 可积与Riemann 可积等价.(否) 例8 在[0,1]上定义
⎧1, 当x 为有理数
g (x ) =D (x ) =⎨
0, 当x 为无理数⎩
由g (x ) 为可测集上的有界函数, 对∀ε>0, 取[01,]的分划T , 满足T ={T 1, T 2}, T 1为有理数集,T 2为无理数集,则
S (T 1, f ) -s (T 1, f ) =1-1=0=∑w i mT i
i
故知g (x ) 在[0,1]上是Lebesgue 可积. 而g (x ) =D (x ) 在[0,1]上是非Riemann 可积的. 3 致谢
四年的读书生活在这个季节即将划上一个句号,而于我的人生却只是一个逗号,我将面对又一次征程的开始。四年的求学生涯在师长、亲友的大力支持下,走得辛苦却也收获满囊,在论文即将付梓之际,思绪万千,心情久久不能平静。我要把我的敬意和赞美献给一位平凡的人,我的导师——马永传副教授。从论文题目的选定到论文写作的指导, 经由他悉心的点拨, 再经思考后的领悟, 常常让我有“山重水复疑无路, 柳暗花明又一村”。
同时也感谢学院为我提供良好的做毕业设计的环境。
最后再一次感谢所有在毕业设计中曾经帮助过我的良师益友和同学,以及在设计中被我引用或参考的论著的作者。 4 参考文献:
[1] 程其襄, 等. 实变函数与泛函分析基础. 高等教育出版社,1983. [2] 华东师范大学数学系. 数学分析. 高等教育出版社,1981. [3] 匡继昌. 实分析与泛函分析.高等教育出版社,2001. [4] 朱时. 分析提纲与命题证明. 宇航出版社,1986.
[5] 邓东皋, 尹小玲. 数学分析简明教程(上册). 高等教育出版社,1999. [6] 邓东皋, 尹小玲. 数学分析简明教程(下册). 高等教育出版社,1999. [7] 林艺. 数学小百科. 机械工业出版社.1999.
皖西学院本科毕业论文(设计)
课题
作者
指导老师
Abstract :Dirichlet function as one of analytics tectonic sexual function,It has many special properties.Dirichlet function in mathematical analysis, realvariable function and functional analysis, composite function and so on many domains are very widely, Dirichlet function in process of math development played an important role. This paper will be a properties and application two aspects to discuss dirichlet function.
Key words:Dirichlet function ;properties ;application ;counterexamples
页 第 11