第27卷第2期大學(xué)數(shù)學(xué)vo.27,№,22011年4月COLLEGE MATHEMATICSApr.2011Cantor集的性質(zhì)及應(yīng)用李翠香,石凌,劉麗霞(河北師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院,河北石家莊050016)[摘妻] Cantor集是實(shí)函數(shù)論中一類重要的集合.本文從定義、性質(zhì)及應(yīng)用三方面研究了 Cantor集.目的是幫助初學(xué)者對 Cantor集有一個較全面的認(rèn)識[關(guān)鍵詞] Cantor集; Cantor函數(shù);反例[中圖分類號]O174.1[文獻(xiàn)標(biāo)識碼]C[文章編號]1672-1454(201)020156-03Cantor集是德國著名數(shù)學(xué)家 Cantor構(gòu)造的一類特殊的點(diǎn)集.,它的特殊的構(gòu)造過程使它有許多奇特的性質(zhì),這些性質(zhì)常常是數(shù)學(xué)工作者構(gòu)造反例的基礎(chǔ).它的巧妙構(gòu)思也為我們解決某些數(shù)學(xué)問題提供了方法和思路.對它進(jìn)行全面深人地研究,對學(xué)好實(shí)變函數(shù)論及相關(guān)課程有重要的促進(jìn)作用1 Cantor集的定義第1步,將區(qū)間[0,1]三等分去掉中間的開區(qū)間(,2);第2步,再將剩下的兩個閉區(qū)間.3][分別三等分,各去掉中間的開區(qū)間(3)和(3)一般地,在第n步時,對第n1步剩下的2-個閉區(qū)間分別三等分,各去掉中間的開區(qū)間,如此繼續(xù)下去,就從[0,1]中去掉了可數(shù)個互不相交的開區(qū)間,剩下的集稱為康托爾集C.設(shè)G=[o,1-c,則G=0r,其中P為第n步去掉的第m個區(qū)間區(qū)間長為由作法可知,{I=}為一列互不相交的且沒有公共端點(diǎn)的開區(qū)間,G是開集令F表示第n步剩下的2”個閉區(qū)間的并集,則由定義可知C=∩Fn另外由p進(jìn)制的表數(shù)法可知C可用下列3進(jìn)制來表示2雜xx…,∈0,2)}={2232x1,x,…,…”∈01)}2 Cantor集的性質(zhì)性質(zhì)1C為沒有孤立點(diǎn)的閉集,即為完備集證因?yàn)镃=[0,1]-G,G是開集,所以C為閉集中國煤化工)沒有公共端點(diǎn),所以C沒有孤立點(diǎn)CNMHG[收稿日期]2009-1228[基金項(xiàng)目]國家自然科學(xué)基金項(xiàng)目(10771049);河北師范大學(xué)精品課建設(shè)項(xiàng)目(JPKc0807)第2期李翠香,等: Cantor集的性質(zhì)及應(yīng)用157性質(zhì)2C沒有內(nèi)點(diǎn),即為疏朗集證任取x0∈C,及它的任一鄰域U(x0,8),存在n使得3<8.當(dāng)去掉手續(xù)進(jìn)行到第n步時,剩下2個長度是3的互相隔離的閉區(qū)間,x0必含于某一閉區(qū)間I,從而IcU(x,3-")cU(x0,8),進(jìn)行第n+1步,去掉了I的中間開區(qū)間,故U(x0,8)C.所以C沒有內(nèi)點(diǎn)性質(zhì)3C為零測度集證由可數(shù)可加性知mG=∑∑m=∑3=1,所以mC=1-mG=0性質(zhì)4C為具有連續(xù)基數(shù)c的集.證由(1)式可知集合C與集合{0.x1x2x3…x1,x2,x3,…∈{0,1》對等,而后者正是用二進(jìn)制表示的區(qū)間[0,1]中點(diǎn)的全體.從而C具有連續(xù)基數(shù)正是 Cantor集這些奇特的性質(zhì)和它的巧妙構(gòu)思,為構(gòu)造一些重要反例提供了啟示3 Cantor集的應(yīng)用例1 Cantor集為以下論斷提供了反例:(i)可數(shù)集的測度為零,但測度為零的集未必可數(shù);(i)非空的沒有孤立點(diǎn)的閉集的測度未必大于0;(i)非空的沒有孤立點(diǎn)的閉集未必含有內(nèi)點(diǎn);(iⅳv)孤立點(diǎn)集必是疏朗集,但疏朗集并非都為孤立點(diǎn)集例2 Lebesgue可測集全體μ的基數(shù)等于直線上的所有集合所成的集B(R)的基數(shù)證顯然有≤B(R).另一方面,因?yàn)?Cantor集C的測度為0,所以它的任何子集都可測,且為零測度集,故B(C)≤P.又因?yàn)镃=c=R,故B(R)=B(C≤綜上有=B(R)例3對任意的A:0≤A≤b-a,存在完備集EC[a,b],使得mE=A證當(dāng)λ=0,b-a時,分別取,[a,b即可.當(dāng)0<λ