梁　莉，龍倫海，何　勇

(海南大學 信息科學技術學院，海南 海口 570228)

?

實數(shù)集中分形上函數(shù)的連續(xù)性

梁莉，龍倫海，何勇

(海南大學 信息科學技術學院，海南 ?？?570228)

摘要：針對實數(shù)集R中一個緊的s-集E在歐氏拓撲下的完全不連通性，給出了E上實函數(shù)的在歐氏拓撲下的T-連續(xù)和Hausdorff測度下的Hspan-連續(xù)的定義、性質(zhì)、運算及一些相關定理，對此建立了分形上一元函數(shù)的連續(xù)性理論.

關鍵詞：s-集； Hausdorff 測度；T-連續(xù)；Hspan-連續(xù)

關于函數(shù)的非整數(shù)階導數(shù)和非整數(shù)階積分一直是分形幾何的一個重要研究方向[1-3]，首先其定義就有很多種，也具有各種不同的結(jié)論，但最終的結(jié)果不甚理想，沒有一個完善的理論體系.一元函數(shù)的微積分是數(shù)學分析和高等數(shù)學課程的主要研究內(nèi)容，具有一套完善的理論體系[4]，其中最主要的連續(xù)、一階導數(shù)和一重積分(包括不定積分和定積分)是建立在一維空間即實數(shù)集R上，因此可以在實數(shù)集R中一個非整數(shù)維緊的s-集E上建立一元函數(shù)的微積分理論體系.本文主要討論實數(shù)集中一個緊的s-集E上函數(shù)的連續(xù)性理論，文中結(jié)果是研討s-階導數(shù)理論和s-階積分理論的基礎.下面首先給出一個固定的緊的s-集E上的函數(shù)在歐氏拓撲意義下的T-連續(xù)性的定義及性質(zhì).

1分形上函數(shù)的T-連續(xù)性

定義11) 稱E中的最小點為E的左端點，最大點為E的右端點；

2) 如果E中的一個點存在該點的一個去心鄰域與E的交為空集，則稱該點為E的一個孤立點；

3) 如果E中的一個點滿足該點的任何一個去心右鄰域都與E的交非空，且存在該點的一個去心左鄰域與E的交是空集，則稱該點為E的一個右內(nèi)端點；同樣可定義E的左內(nèi)端點；

4) 如果E中的一個點滿足既不是E的左內(nèi)端點，又不是E的右內(nèi)端點，也不是E的孤立點，則稱該點是E的一個內(nèi)點.

根據(jù)該種分類法，E的左端點可能是孤立點，也可能是右內(nèi)端點，同樣右端點可能是孤立點，也可能是左內(nèi)端點，除此之外的點只能是孤立點、左內(nèi)端點、右內(nèi)端點和內(nèi)點之一.設x0是E的一個左內(nèi)端點，根據(jù)定義E中的任何一個點x只能從x0的左邊無限逼近于x0，若x0是右內(nèi)端點，則x只能從x0的右邊無限逼近于x0，而當x0是內(nèi)點時,x就可以從x0的兩邊無限趨近于x0.

設f(E,x)是緊的s-集E上的一個以x為變量的一元實函數(shù)，當x0是E的左內(nèi)端點，右內(nèi)端點，內(nèi)點之一，下面定義函數(shù)f(E,x) 在x0處的左T-極限、右T-極限和T-極限.

定義31) 設 x0是E的左內(nèi)端點，在E中x0的右邊如果存在離x0最近的點x1>x0，則稱x1是x0的右鄰點；

2) 設x0是E的右內(nèi)端點，若存在E中x0的左邊離x0最近的點x2

3) 設x0是E的孤立點，在E中x0的右邊若存在離x0最近的點x1>x0，稱x1是x0右鄰點；同樣可以定義x0的左鄰點.

從定義3中可以看出E的左端點x0是孤立點時，就一定存在x0的右鄰點，否則右鄰點不存在；當右端點x0是孤立點時，就只存在x0的 左鄰點，除此之外的點若是左內(nèi)端點就只存在右鄰點，右內(nèi)端點就只存在左鄰點，孤立點的左、右鄰點都存在，內(nèi)點的左、右鄰點都不存在.為了表述當便，在存在的情況下，用x0-δ和x0+δ分別表示x0的左鄰點和右鄰點.

定義41) 設x0是E的左端點.如果當x0是孤立點時，有f(E,x0)=f(E,x0+δ) 成立，當x0是右內(nèi)端點時，有f(E,x0)=f+(E,x0) 成立，則稱函數(shù)f(E,x)在x0處是T-連續(xù)的;

2) 設x0是E的右端點.如果當x0是孤立點時，有f(E,x0)=f(E,x0-δ) 成立，當x0是左內(nèi)端點時，有f(E,x0)=f-(E,x0)成立，則稱函數(shù)f(E,x)在x0處T-連續(xù);

3) 設x0是E的除左、右端點之外的點，如果當x0是孤立點時，有f(E,x0)=f(E,x0-δ)=f(E,x0+δ) 成立，當x0是右內(nèi)端點時，有f(E,x0)=f+(E,x0)=f(E,x0-δ) 成立，當x0是左內(nèi)端點時，有f(E,x0)=f-(E,x0)=f(E,x0+δ) 成立，當x0是內(nèi)點時，有f(E,x0)=f-(E,x0)=f+(E,x0) 成立，則稱函數(shù)f(E,x)在x0處具有T-連續(xù)性.

傳統(tǒng)數(shù)學分析中函數(shù)的連續(xù)點要求在該點的左右極限與該點的函數(shù)值相等，但由于緊的s-集E往往是不連通的緊集，有無窮個點是左鄰點或右鄰點，當然也可能有孤立點，在其左鄰點的右極限、右鄰點的左極限及孤立點的左右極限都沒有定義，從而無法在這些點處定義連續(xù).為了規(guī)避這種缺陷，在定義中通過限制函數(shù)f(E,x)在點x0的函數(shù)值與其左右鄰點(當存在時)的函數(shù)值都相等來加以彌補，從而得到這些點的連續(xù)性的定義.類似于分析的方法下面給出在E上整體的T-連續(xù)的定義.

定義5設f(E,x)是E上的實函數(shù)，若f(E,x)在E中的每一點處都是T-連續(xù)的，則稱f(E,x)是E上的 T-連續(xù)函數(shù).

由定義和緊的s-集E自身的特點，很容易得到E上的T-連續(xù)函數(shù)具有下列基本性質(zhì).

性質(zhì)1 1) E上的T-連續(xù)函數(shù)不是單射，因此其反函數(shù)一定不存在；

2) 如果E中僅有有限個內(nèi)點，則 E上的T-連續(xù)函數(shù)是常函數(shù)；

3) E上的常函數(shù)一定是 T-連續(xù)的，經(jīng)典分析中除了常函數(shù)之外的所有其他初等函數(shù)限制在E上都不是 T-連續(xù)的；

4) 函數(shù)的加法、數(shù)乘、乘法、除法及復合運算在有意義的情況下都保持T-連續(xù)性不變.

傳統(tǒng)分析中閉區(qū)間上的連續(xù)函數(shù)具有幾個重要的性質(zhì)，包括有界性、最值性、介值性和一致連續(xù)性，雖然E是緊集，但由于其在歐氏拓撲下的不連通性， E上的T-連續(xù)函數(shù)是否也具有類似的性質(zhì)？回答是肯定的.下面就來討論此問題.

定理1若f(E,x)是緊的s-集E上的T-連續(xù)實函數(shù)，則其值域一定是一個R中的有界閉區(qū)間.

由該構(gòu)造和定義4，易證 g(x)為閉區(qū)間[a,b]上的連續(xù)函數(shù)，且g(x)和f(E,x)有相同的值域，事實上 g(x)是定義在[a,b]上且在E的每一個空格區(qū)間內(nèi)及該空格區(qū)間的端點上都為常值的無窮級階梯形連續(xù)函數(shù).證畢

由定理1可直接得出推論1.

推論11) E上的 T-連續(xù)函數(shù)是有界函數(shù)；

2) E上的T-連續(xù)函數(shù)可以達到其最大和最小取值；

3) E上的T-連續(xù)函數(shù)可以能夠取遍其最小取值和最大取值之間的所有數(shù)，即具有介值性，當然也有零點定理；

4) E上的 T-連續(xù)函數(shù)是一致連續(xù)的.

此處涉及到E上函數(shù)一致連續(xù)的定義問題，事實上只需在E上函數(shù)的所有連續(xù)內(nèi)點(包括連續(xù)左內(nèi)端點和右內(nèi)端點)x0處的極限(包括左極限和右極限)的ε-δ 定義中，控制自變量x變化范圍的δ只由ε確定，而與x0的選取無關來加以描述。

2s-緊集上函數(shù)的Hs-連續(xù)性

設E是實數(shù)集R中一個緊的s-集，現(xiàn)利用s-維Hausdorff測度對E中的點作如下分類.

定義61) 如果E中的一個點滿足存在該點的一個去心鄰域與E的交集的s-維Hausdorff測度為零，則稱該點為E的一個Hs-孤立點；

2) 如果E中的一個點滿足該點的任何一個去心右鄰域都與E的交集s-維Hausdorff測度嚴格大于零，且存在該點的一個去心左鄰域與 E的交集的s-維Hausdorff測度為零，則稱該點為E的一個 Hs-右內(nèi)端點；同樣可定義E的Hs-左內(nèi)端點；

3) 如果E中的一個點滿足既不是E的Hs-左內(nèi)端點，又不是E的Hs-右內(nèi)端點，也不是E的一個 Hs-孤立點，則稱該點是E的一個Hs-內(nèi)點.

從定義6中可以看出，E 的Hs-右內(nèi)端點僅在其右邊的任意局部范圍內(nèi)都有正的s-維Hausdorff測度分布，Hs-左內(nèi)端點僅在其左邊的任意局部范圍內(nèi)才有正的s-維Hausdorff測度分布，而Hs-內(nèi)點的左右兩邊任意局部范圍內(nèi)都有嚴格大于零的s-維Hausdorff夫測度分布，而對Hs-孤立點，則存在該點的一個局部鄰域的s-維Hausdorff測度為零.因此利用定義1可以看出，E的孤立點一定是Hs-孤立點；E的 Hs-內(nèi)點一定是E 的內(nèi)點；而右內(nèi)端點和左內(nèi)端點都有可能變成Hs-孤立點.

下面給出E上函數(shù)f(E,x)的Hs-左極限、Hs-有極限和Hs-極限的定義.

3) 設x0是E的Hs- 內(nèi)點，若存在一個實數(shù)c滿足c=fHs-(E,x0)=fHs+(E,x0) ，則稱c是f(E,x)在x0處的Hs-極限，記為c=fHs(E,x0).

下面定義 E上函數(shù)f(E,x)的Hs-連續(xù)性和Hs-一致連續(xù)性等概念.

定義81) 設x0是E中的任意點.當x0是E的Hs-左內(nèi)端點時，有f(E,x0)=fHs-(E,x0)成立；當x0是E的Hs-右內(nèi)端點時，有f(E,x0)=fHs+(E,x0)成立；當x0是E的Hs-內(nèi)點時，有f(E,x0)=fHs-(E,x0)=fHs+(E,x0)；當x0是E的Hs-孤立點時，對任意的δ1,δ2>0，只要Hs(E∩[x0-δ1,x0+δ2])=0，就一定有f(E,x)在E∩[x0-δ1,x0+δ2]上取常數(shù)值， 則稱函數(shù)f(E,x)在E上是Hs-連續(xù)函數(shù)；

2) 在Hs-連續(xù)的定義中，若還滿足函數(shù)f(E,x)在x0處Hs-極限(包括左極限和右極限)的ε-δ定義中的δ只與ε有關，而與x0在E中作為Hs-內(nèi)點或者Hs-內(nèi)端點的選取無關，則稱函數(shù)f(E,x)在E上是Hs-一致連續(xù)的.

根據(jù)定義8同樣有E上的Hs-連續(xù)函數(shù)的四則運算和復合運算保持Hs-連續(xù)性不變，并且Hs-連續(xù)函數(shù)一定是Hs-一致連續(xù)的，另外由于E的Hs-內(nèi)點和Hs-內(nèi)端點一定分別是定義1的內(nèi)點和內(nèi)端點，反之則不然，因此不需加以證明的下述結(jié)論.

定理2 E上的Hs-連續(xù)函數(shù)一定是T-連續(xù)函數(shù)，反之則不成立.

1) 并集E1∪E2上的Hs2-連續(xù)函數(shù)在E1上只能取常值，因此E1∪E2和E2上具有相同的Hs2-連續(xù)函數(shù)；

下面給出Cantor三分集E上今后將要用到的一些具體Hs-連續(xù)函數(shù)的例子.

例3設f(u)是閉區(qū)間上的[0,Hs(E)]=[0,1]上的初等連續(xù)函數(shù)，稱復合函數(shù)f(h(E,x)) 是分形集E上的初等函數(shù)，如(h(E,x))α,ch(E,x)(c>0), 分別稱為Cantor集E上的冪函數(shù)，指數(shù)函數(shù)和余弦函數(shù)，同樣有E上的初等函數(shù)是Hs-連續(xù)的.

3緊的s-集上Hs- 連續(xù)函數(shù)的擴張

命題1設E1,E2分別是緊的s1-集和s2-集，且E1?E2，則

1)E1上的T-連續(xù)函數(shù)在R上的擴張函數(shù)限制在E2上構(gòu)成E2上的 T-連續(xù)函數(shù)；

2) 只有當s1=s2=s時，E1上的Hs-連續(xù)函數(shù)在R上的擴張函數(shù)限制在E2上構(gòu)成E2上的Hs-連續(xù)函數(shù).

該性質(zhì)的結(jié)論緣于在E1?E2的條件下，E1中的內(nèi)點一定是E2的內(nèi)點，E1中的內(nèi)端點一定是E2的內(nèi)端點或內(nèi)點；在E1?E2的條件下，只有當s1=s2=s時，E1中的Hs-內(nèi)點才一定是E2的Hs-內(nèi)點，E1中的內(nèi)端點才一定是E2的Hs-內(nèi)端點或Hs-內(nèi)點，而當s1

參考文獻：

[1]OldhamKB，SpanierJ.TheFractionalCalculus[M].NewYork:AcademicPress, 1974.

[2]LiangYS，SuWY.VonKochCurveanditsfractionalcalculus[J].ActaMathematicSinica,ChineseSeries, 2011, 54(2):227-240.

[3]TatomFB.Therelationshipbetweenfractionalcalculusandfractals[J].Fractals, 2011, 3(1):217-229.

[4]RudinW.PrinciplesofMathematicalAnanlysis[M].NewYork：McGraw-Hill, 1964.

[5]FalconerKJ.FractalGeometry—MathematicalFoundationsandApplications[M].NewYork：JohnWiley, 1990.

[6]LongLH.AnalgorithmoftheHausdorffmesureoftheFractalonthestraightline[J].ActaMathematicSinica,ChineseSeries, 2005, 48(1):11-16.

Continuity of Function on Fractal in Real Set

Liang Li, Long Lunhai, He Yong

(School of Information Science and Technology, Hainan University, Haikou 570228，China)

Abstract：Aimed at the complete unconnectedness of compacts-setEin real set, the definition, propriety, algorithm and some related theorems ofT-continuous andHspan-continuous by means of Euclidean topology and Hausdorff measure were proposed, and the continuity theory for the real function of one variable on fractal in R was established.

Keywords：compacts-set; Hausdorff measure;T-Continuous;Hspan-Continuous

中圖分類號：O 174.12

文獻標志碼：ADOl：10.15886/j.cnki.hdxbzkb.2015.0019

文章編號：1004-1729(2015)02-0104-05

收稿日期：------------------------ 2014-10-10基金項目： 海南省自然科學基金項目(113003);海南大學2013年度校級教育教學研究項目(hdjy1331).

作者簡介：梁莉( 1978 - ), 女, 四川內(nèi)江人, 講師.