曾 瑩
(湖北工業(yè)大學 理學院 ,湖北 武漢430068)
Cantor集的自相似子集的壓縮系數(shù)的討論
曾 瑩
(湖北工業(yè)大學 理學院 ,湖北 武漢430068)
許多分形都是由一些與整體以某種方式相似的部分所組成的,而對稱Cantor集更是具有自相似性的一個典型而且非常重要的分形幾何,在原有對稱Cantor集自相似性性質(zhì)的基礎(chǔ)上對對稱Cantor集的自相似子集的壓縮系數(shù)的若干性質(zhì)做進一步的探討.
IFS吸引子;λ-Cantor集;壓縮系數(shù)
對稱Cantor集具有自相似性,本文將對對稱Cantor集的自相似子集的壓縮系數(shù)的若干性質(zhì)做進一步的討論.在本文中,我們約定R表示實數(shù)集,N表示自然數(shù)集,Q表示有理數(shù)集.

我們把一個有限的壓縮映射族{S1,S2,…,Sm},(m≥2),稱為一個迭代函數(shù)系(IteratedFunctionSystem),簡稱IFS;稱D的非空緊子集F為IFS的吸引子(或者稱為不變集),若F滿足下面的方程

Hutchinson[1]與1981年證明了一個IFS有唯一的一個吸引子.通常吸引子是一個分形[2~6].
下面給出Hausdorff度量,用D表示D的全部非空緊子集組成的集類.對于A?D我們稱所有與A距離不大于δ的D上的點組成的集為A的δ平行體,即

設(shè)A,B是D的兩個子集,定義A,B的Hausdorff度量為
d(A,B)=inf{δ:A?Bδ且B?Aδ}.
引理1[1](D,d)是完備度量空間,d是D上的完備度量,即D中的每個柯西列都收斂到D中的一個元素.
下面給出IFS上的一個基本結(jié)論.
設(shè){S1,S2,…,Sm}是D?Rn上的迭代函數(shù)系,滿足

(1)
對E∈D,定義Hutchinson算子

且記Sk為S的k次迭代,S1(E)=S(E),且對k≥2,Sk(E)=S(Sk-1(E)).
引理2 對于迭代函數(shù)系(1),存在唯一的非空緊集F,滿足:

(2)

證明 顯然Hutchinson算子S是D到自身的映射.如果A,B∈D,則

(3)


引理3 若a是IFS中某個映射Sj的不動點,則a∈F.


從而當n→時,,即,又因為F是閉集,所以a∈F.引理3證畢.
引理4 設(shè)φ為線性壓縮映射,若φ的壓縮比為ρ,不動點為a,則
φ(x)=ρx+a(1-ρ),并且φn(x)=a+ρn(x-a),對n≥1.
證明 設(shè)φ(x)=ρx+b,則φ(a)=ρa+b,又因為a是不動點,由a=φ(a),a=ρa+b,得b=a(1-ρ),故
φ(x)=ρx+a(1-ρ).
(5)
下面用歸納法證明第二個結(jié)論.
當n=1時,就是(5)式.設(shè)φn-1(x)=a+ρn-1(x-a),則
φn(x)=φ(φn-1(x))=φ(a+ρn-1(x-a))=ρ(a+ρn-1(x-a))+a(1-ρ)=a+ρn(x-a).
引理4證畢.
設(shè)x∈R,令[x]是小于x的最大整數(shù),則{x}=x-[x]為x的小數(shù)部分,顯然{x}∈[0,1).
下面引理5是一維的kronecker定理.
引理5[5]設(shè)a∈Qc,a>0,則{na}n≥1在[0,1]中稠密.
引理6 設(shè)a∈Qc,,a>0,則{na-m;m,n∈N}在R中稠密.

令m=[na]-[m],引理6得證.
下面定理研究Cλ的自相似子集的壓縮比,也是本文的主要結(jié)論.


φn(b)=a+ρn(b-a)∈Cλ,對任意n≥1.
(6)
由于有1-Cλ=Cλ我們有
1-φn(b)=1-a-ρn(b-a)∈Cλ,?n≥1.
(7)
由式(6)和(7)可知,存在c∈Cλ,d>0,使得c+ρ2nd∈Cλ.
下面使用反證法證明.



從而ρ2nλ-md∈(1,1+ε),即有

(8)
我們稱Si1i2…im([0,1])為m級基本區(qū)間,其中i1i2…im是{1,2}上長度為m的詞.顯然m級基本區(qū)間的長度為λm,而相鄰m級區(qū)間之間的最小間隔為λm-1(1-2λ).
設(shè)I是包含點c的m級基本區(qū)間,J是包含點c+ρ2nd的m級基本區(qū)間.由(8)式左邊的不等式,I和J是兩個不同的m級基本區(qū)間,從而有

上式與(8)式右邊不等式矛盾.
定理1證畢.
[1] Hutchinson J E.Fractals and self-similarity [J].Indiana Univ Math,1981,30:713-747.
[2] Feng D J,Rao H ,Wang Y.Self-similar subsets of the Cantor set[J].Advances in Mathe-matics, 2015,281:857-885.
[3] Hardy G H,Wright E M著.數(shù)論導引[M].5版.北京:人民郵電出版社,2008:397-398.
[4] 文志英.分形幾何的數(shù)學基礎(chǔ)[M].上海:上??茖W技術(shù)教育出版社,1999.
[5] Kenneth Falconer.分形幾何[M].北京:人民郵電出版社,2007:113-118.
[6] James R Munkres.拓撲學[M].北京:機械工業(yè)出版社,2006:204-205.
責任編輯:周 倫
Discussions about Compression Coefficient of Self Similar Subset of Cantor Set
ZENG Ying
(SchoolofScience,HubeiUniversityofTechnology,Wuhan430068,China)
Many fractals are composed of parts which are similar to the whole in some way,and symmetric Cantor set, which is with similarity, is a typical and vital fractal geometry.We will make further discussion about some properties of compression coefficient of self similar subset of Symmetric Cantor set.
the IFS attractor; symmetric Cantor set; coefficients.
2015-08-27
國家自然科學基金(51109086)
曾 瑩(1980—),女,湖北武漢人,講師,博士,研究方向:分形幾何和動力系統(tǒng).
1671-9824(2016)02-0006-03
O174.12
A