馬小丫

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

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

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

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

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

1.基本性質(zhì)

（1）定義域?yàn)檎麄€(gè)實(shí)數(shù)域R.

（2）值域?yàn)閧0，1}，因此有界.

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

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

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

2.分析性質(zhì)

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

（2）處處不可導(dǎo).

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

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

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

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

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

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

二、極限有關(guān)的反例

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

定義 設(shè)函數(shù)在某點(diǎn)的某一去心鄰域內(nèi)有定義，如果存在常數(shù)A，對(duì)于給定ε（無(wú)論它多么?。?，總δ>0，使得當(dāng)x滿足不等式0<|x-x0|<δ時(shí)，對(duì)應(yīng)的函數(shù)值都滿足不等式

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

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

反例有如下：

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

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

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

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

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

因?yàn)閨E（x）|=1，所以limx→x0|E（x）|=1，而任意在點(diǎn)E（x）的極限不存在.

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

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

③若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），反之不成立，即兩個(gè)函數(shù)和、積極限存在，這兩個(gè)函數(shù)分別的極限不一定存在.

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

D2（x）=-D1（x）=-1x為有理數(shù)，1x為無(wú)理數(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)造可同理得出，若兩個(gè)函數(shù)的和連續(xù)（可導(dǎo)、黎曼可積），不一定能得到每一個(gè)函數(shù)連續(xù)（可導(dǎo)、黎曼可積）.

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

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

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

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

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

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

2.函數(shù)只有有限個(gè)連續(xù)點(diǎn)，無(wú)限個(gè)不連續(xù)點(diǎn)，且交錯(cuò)分布

如下函數(shù)只有一個(gè)連續(xù)點(diǎn).有無(wú)限個(gè)不連續(xù)點(diǎn)：

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

證明 ∵limx→0x∈QD1（x）=0，∴ε>0，δ>0，當(dāng)0

又∵當(dāng)x∈Q- 時(shí)，D1（x） =0仍滿足|D1（x）|<ε，

∴ ε>0，δ>0，0<|x|<δ時(shí)，|D1（x）|<ε，

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

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

3.在無(wú)窮個(gè)點(diǎn)連續(xù)，在無(wú)窮個(gè)點(diǎn)不連續(xù)

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

① 當(dāng)x 為整數(shù)點(diǎn)x0 時(shí)，limx→x0y（x）=0=sin πx0=yx0，

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

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

取無(wú)理點(diǎn)列x（2）n，x（2）n>x0，limn→∞ x（2）n=x0，limn→∞fx（2）n=0，

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

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

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

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

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

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

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

0 x為無(wú)理數(shù)，

0 x=0，

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

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

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

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

四、與可導(dǎo)有關(guān)的反例

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

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

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

則limx→x0E（x）x極限不存在，因此不可導(dǎo).

五、與積分有關(guān)的反例

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

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

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

六、構(gòu)成的函數(shù)項(xiàng)級(jí)數(shù)

函數(shù)項(xiàng)級(jí)數(shù)的收斂域未必為一個(gè)區(qū)間.

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

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

∑ki=1Un（x）=kx為有理點(diǎn)，0x為無(wú)理點(diǎn).當(dāng)x為無(wú)理點(diǎn)時(shí)，limk→∞∑ki=1Un（x）=0;當(dāng)x為有理點(diǎn)時(shí)，limk→∞∑ki=1Un（x）=+∞.所以∑∞n=1Un（x）的收斂區(qū)域?yàn)榧蟵x|x為無(wú)理點(diǎn)}，不是一個(gè)連續(xù)的區(qū)域（區(qū)間）.

【參考文獻(xiàn)】

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

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

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