利用狄利克雷函數(shù)及其改造構(gòu)造反例

馬小丫

【摘要】狄利克雷函數(shù)作為分析學中的一種構(gòu)造性函數(shù)，存在著一些特殊的性質(zhì).在數(shù)學分析中，許多定理成立的條件并非充分必要，可能正向成立，而反之不成立，不成立時只需要找到合適的反例即可說明不成立.可通過狄利克雷函數(shù)構(gòu)造一些反例，從而更好地理解矛盾所在.本文分別從狄利克雷函數(shù)本身的性質(zhì)、極限、連續(xù)、可導、可積、收斂等角度引入狄利克雷函數(shù)及其改造，從而構(gòu)造反例.

【關鍵詞】狄利克雷函數(shù);極限;連續(xù);可導;可積;收斂

實數(shù)域上的狄利克雷函數(shù)雖然不是初等函數(shù)，但仍可利用極限函數(shù)建立分析表達式表示D（x）=limk→∞（limj→∞（cos（k！πx））2j）（k，j為整數(shù)），也可以簡單地表示為分段函數(shù)的形式D（x）=1x為有理數(shù)，0x為無理數(shù).

一、函數(shù)本身性質(zhì)帶來的反例

該函數(shù)有如下一些特殊的性質(zhì)：

1.基本性質(zhì)

（1）定義域為整個實數(shù)域R.

（2）值域為{0，1}，因此有界.

（3）函數(shù)為偶函數(shù).

（4）無法畫出函數(shù)圖像，但是它的函數(shù)圖像客觀存在.

（5）以任意有理數(shù)為其周期，由實數(shù)的連續(xù)統(tǒng)理論可知，其無最小正周期.

2.分析性質(zhì)

（1）處處不連續(xù).

（2）處處不可導.

（3）在任何區(qū)間內(nèi)黎曼不可積.

（4）函數(shù)是可測函數(shù).

（5）在單位區(qū)間[0，1]上勒貝格可積，且勒貝格積分值為0（且任意區(qū)間以及R上甚至任何R的可測子集上（區(qū)間不論開閉、是否有限）的勒貝格積分值為0 ）

從其本身的性質(zhì)出發(fā)，可直接得出：

（1）畫不出圖像（圖像客觀存在）——不是所有的函數(shù)都能畫出圖像.

（2）狄利克雷函數(shù)為周期函數(shù)，但無最小正周期，它以任意有理數(shù)為正周期——不是所有的周期函數(shù)都有最小正周期.

二、極限有關的反例

函數(shù)極限是高等數(shù)學最基本的概念之一，導數(shù)等概念都是在函數(shù)極限的定義上完成的.

定義 設函數(shù)在某點的某一去心鄰域內(nèi)有定義，如果存在常數(shù)A，對于給定ε（無論它多么小），總δ>0，使得當x滿足不等式0<|x-x0|<δ時，對應的函數(shù)值都滿足不等式

|f（x）-A|<ε，那么常數(shù)A就叫作函數(shù)當x→x0時的極限.

根據(jù)定義可知，要求滿足“0<|x-x0|<δ”的x均成立，而在這一領域內(nèi)既有有理數(shù)又有無理數(shù)，相應的函數(shù)值可能不同，造成了ε的取值不能任意小，因此造成極限不存在;但由于其取值相對單一，所以兩個類似的函數(shù)的和、積可能會相互抵消，為常值函數(shù).

反例有如下：

①若極限存在，則一定有界;反之，不成立.如

D（x）=1x為有理數(shù)，0x為無理數(shù)，

在R上有界，但極限處處不存在.

②若f（x）極限存在，則|f（x）|極限一定存在，反之不成立，即絕對值極限存在，則原極限不一定存在.如，改造狄利克雷函數(shù)得到：

E（x）=1x為有理數(shù)，-1x為無理數(shù)，

因為|E（x）|=1，所以limx→x0|E（x）|=1，而任意在點E（x）的極限不存在.

備注：利用此構(gòu)造，可同理得出，若|f（x）| 在[a，b] 內(nèi)連續(xù)（可導、黎曼可積），則f（x） 在[a，b]

上不一定連續(xù)（可導、黎曼可積）.后文探討可導、黎曼可積等性質(zhì)時將不再重復敘述.

③若f（x），g（x） 在x0 處極限存在，則limx→x0（f（x）+g（x））=limx→x0f（x）+limx→x0g（x），limx→x0f（x）g（x）=limx→x0f（x）·limx→x0g（x），反之不成立，即兩個函數(shù)和、積極限存在，這兩個函數(shù)分別的極限不一定存在.

如：D1（x）=1x為有理數(shù)，-1x為無理數(shù)，

D2（x）=-D1（x）=-1x為有理數(shù)，1x為無理數(shù)，

D1（x）+D2（x）=0，則limx→x0D1（x）+D2（x）≡0，

但limx→x0D1（x） 與limx→x0D2（x）不存在，

D1（x）D2（x）=-1，limx→x0D1（x）D2（x）≡-1，

但limx→x0D1（x） 與limx→x0D2（x）不存在.

備注：利用此構(gòu)造可同理得出，若兩個函數(shù)的和連續(xù)（可導、黎曼可積），不一定能得到每一個函數(shù)連續(xù)（可導、黎曼可積）.

三、與連續(xù)有關的反例

一般常見的函數(shù)，不連續(xù)點較少，大多出現(xiàn)在個別點.

函數(shù)在某點連續(xù)的本質(zhì)即在該點處的函數(shù)值等于極限值.由上文分析可知，在狄利克雷函數(shù)及其構(gòu)造中可能會導致極限值不存在，因此不連續(xù)點頗多.

連續(xù)點不止一個或者有限個的反例如下：

1.函數(shù)在定義域內(nèi)所有點不連續(xù)

如狄利克雷函數(shù)在R上的任意點不連續(xù).

2.函數(shù)只有有限個連續(xù)點，無限個不連續(xù)點，且交錯分布

如下函數(shù)只有一個連續(xù)點.有無限個不連續(xù)點：

D1（x）=xD（x）=xx為有理數(shù)，0x為無理數(shù).

證明 ∵limx→0x∈QD1（x）=0，∴ε>0，δ>0，當0

又∵當x∈Q- 時，D1（x） =0仍滿足|D1（x）|<ε，

∴ ε>0，δ>0，0<|x|<δ時，|D1（x）|<ε，

∴ limx→0D1（x）=0=D1（0），

∴D1（x） 在x=0 處連續(xù)，但根據(jù)狄利克雷函數(shù)在任一點連續(xù)性的類似討論同理可得，x≠0 處不連續(xù).

3.在無窮個點連續(xù)，在無窮個點不連續(xù)

y=sin πxx為有理數(shù)，0x為無理數(shù).

① 當x 為整數(shù)點x0 時，limx→x0y（x）=0=sin πx0=yx0，

∴y在整數(shù)點連續(xù);

② 當x0 取非整數(shù)點時，取有理列x（1）n，x（1）n>x0，limn→∞x（1）n=x0，limn→∞fx（1）n=limn→∞sin（πx（n）n）=sin πx0.

取無理點列x（2）n，x（2）n>x0，limn→∞ x（2）n=x0，limn→∞fx（2）n=0，

∴當x0為非整數(shù)時，limx→x0f（x） 不存在.

4.復合函數(shù)的極限及其連續(xù)性

由課本中的定義我們知道：若u=g（x）在x0連續(xù)，f（u）在u0連續(xù)，則復合函數(shù)y=fg（x）在x0連續(xù)，此時limx→x0fg（x）=fgx0=f（u0）=A.

但若只知道limx→x0g（x）=u0，limu→u0f（u）=A，而沒有連續(xù)的條件，則不能得出limx→x0fg（x）=A的結(jié)論.如下：

y=f（u）=0u=0，1u≠0， D（x）=xx為有理數(shù)，0x為無理數(shù)，

limx→x0D（x）=0，limu→0f（u）=1，

則fD（x）=1 x為有理數(shù)且x≠0，

0 x為無理數(shù)，

0 x=0，

但limx→0fD（x）不存在.

矛盾的原因在于f（x）與g（x）在相應點處不連續(xù)，而這恰恰讓狄利克雷函數(shù)有了有乘之機.

5.上半連續(xù)或下半連續(xù)不一定連續(xù)

如狄利克雷函數(shù)在有理點上半連續(xù)，在無理點下半連續(xù)，但總體不連續(xù).

四、與可導有關的反例

可導的實質(zhì)為函數(shù)值的差與自變量差的比值的極限，其實質(zhì)也是極限存在.

我們知道，可導必連續(xù)，但連續(xù)并不一定可導.

如：E（x）=xx為有理數(shù)，0x為無理數(shù)， 在x=0處連續(xù)（已證），E（x）x=1 x為有理數(shù)且x≠0，0 x為無理數(shù)，

則limx→x0E（x）x極限不存在，因此不可導.

五、與積分有關的反例

與積分有關的，利用定積分的性質(zhì)，絕對可積性∫baf（x）dx≤∫baf（x）dx，可推得若函數(shù)的反常積分絕對收斂，則一定收斂.但絕對收斂的定義為：f（x）在其定義域內(nèi)的任何有限區(qū)間內(nèi)可積，如果∫+∞0|f（x）|dx存在，那么，稱∫+∞0f（x）dx為絕對收斂.但若僅知道函數(shù)加絕對值后的反常積分收斂，而不能確定f（x）在定義域內(nèi)可積，則并不符合絕對收斂的定義，因此不能推出原反常積分收斂.

若反常積分∫+∞a|f（x）|dx 收斂，則∫+∞af（x）dx 不一定收斂，如f（x）=1x2x為有理數(shù)，-1x2x為無理數(shù)，f（x）=1x2，∫+∞a|f（x）|dx收斂，但f（x）黎曼不可積，所以∫+∞af（x）dx不存在.

但若加條件，在已知f（x） 在[a，A]上收斂的前提下，則能推出∫+∞af（x）dx一定收斂.

六、構(gòu)成的函數(shù)項級數(shù)

函數(shù)項級數(shù)的收斂域未必為一個區(qū)間.

我們常理解的“域”往往是一個連續(xù)區(qū)域，而收斂域未必是一個連續(xù)的區(qū)域，有可能是離散的.

例：設Un（x）=D（x），則∑∞n=1Un（x）的收斂區(qū)域補集合為{x|x為無理點}.

∑ki=1Un（x）=kx為有理點，0x為無理點.當x為無理點時，limk→∞∑ki=1Un（x）=0;當x為有理點時，limk→∞∑ki=1Un（x）=+∞.所以∑∞n=1Un（x）的收斂區(qū)域為集合{x|x為無理點}，不是一個連續(xù)的區(qū)域（區(qū)間）.

【參考文獻】

[1]陳紀修.數(shù)學分析：上冊[M].第3版.北京：高等教育出版社，2019.

[2]林藝，李軍.狄利克雷函數(shù)的應用研究[J].青島職業(yè)技術(shù)學院學報，2005（01）：57-58，56.

[3]張永康，胡鑫洋，和昊，等，狄利克雷函數(shù)在證明函數(shù)連續(xù)性方面的簡單應用[J].數(shù)學與數(shù)學研究，2020（05）：5.