广义Cantor集

合集下载

一类广义Cantor集Hausdorff测度的计算

一类广义Cantor集Hausdorff测度的计算
胡 晓梅
( 宁学 院 数学与统计学院 , 成 湖北 咸宁 4 70 ) 3 10



将 三分 C n r at 集构造 的 一个 性质推广 到 2 o n+1 ∈ 分 C no 集 , ( N) at r 并用 它简便 计 算
出2 n+1分 Cno 集 的 H udr 测 度 , 出 了此类 广义 C no at r asof f 给 at r集 H udr 测 度 计 算 的一种 asof f 新方 法. 该方 法比其 它方 法更 为初 等 而 易于计 算 , 为计 算其 它分 形 集 的 H udr 测度 提 供 了 aso f
lto f Ha s of a u e o t e n o es ai n o u d r me s r fo h rCa tr s t.
Ke r s C no一凡+l n ywod a t 2 r ( ∈Ⅳ)f c l e; a so f aue kb s ne a r t t H ud f sr ; -ai it v1 a as me c r
,的一个 覆盖 , 中 I l 其 是集 合 的直径 , 定 义 为 I I=sp I —YI , u{ : Y∈U }给定一 个 i.
发展文 献 [ ] 1 的证 明技巧 , 这 个 基 本 性 质 推 广 将
到2 n+1 n∈N) C n r 的情形 , 利用 它 简 ( 分 at 集 o 并

种 思路.
关 键词
2 1分 C no 集 ; asof n+ at r H udr 测度 ;一 本 区间 f 级基
O 7 .2 14 1 文 献标识码 A 文章编号 10 - 7 ( 0 0 0 - 00 0 38 8 2 1 )60 -3 0 4

Cantor集与Cantor函数

Cantor集与Cantor函数

Cantor集与Cantor函数Cantor 集与Cantor 函数【摘要】:本文详细分析并证明cantor 集与cantor 函数的定义与性质,具体内容有:cantor 集的完备性,具有连续统势;cantor 函数的性质,解决了课堂上的小问题(关于cantor 函数的连续性与稠密性);并借助于cantor 集,给出一个孤立点集,它的导集是一个完备集;最后给出了一些常见的分形。

【关键词】:Cantor 集、Cantor 函数、分形、点集、完备集1 Cantor 集与Cantor 函数的定义1.1 Cantor 集的定义将基本区间A=[0,1]三等分,除去中间的开区间)3231(11,,=I ,记其剩余部分为⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡=1,323101 ,E ;再将1E 中的两个闭区间各三等分,然后分别去掉中间的开区间)3837()3231(222,2221,2,,,==I I ,然后记其剩余部分为⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡=1383732313231022222,,,, E 。

如此继续下去,在第n 步时,去掉的开区间为)313323()3837()3231(12,2,1,n n n n n n n n n n n n I I I --===-,,,,,, 。

其余部分为n2个长为n 31的闭区间,令 n m k k m n mI G 1121,=-==又令 k n k n n n I G G ,,1==∞=,G C \]10[,=,则称所得的C 为Cantor 集。

1.2 Cantor 函数的定义将基本区间A=[0,1]三等分,并除去中间的开区间,同时令把余下的两个闭区间各三等分,并除去中间的开区间)3837()3231(222,2221,2,,,==I I同时令假设是C的内点,则存在,使得这样含于[0,1]中且这个开集的各个构成区间互不相交,这些区间的长度之和大于1,矛盾。

Canter集

Canter集

Canter 集及Canter 函数Canter 集的构造:将闭区间[]01,三等分,去掉中间的开区间1233⎛⎫⎪⎝⎭,,剩下的两个闭区间120133⎡⎤⎡⎤⎢⎥⎢⎥⎣⎦⎣⎦,,,,又把这两个闭区间各三等分,去掉中间的两个开区间,即12789999⎛⎫⎛⎫⎪ ⎪⎝⎭⎝⎭,,,,一般地,当进行到第n 次时,一共去掉12n -个开区间,剩下2n个长度为3n-的互相隔离的闭区间,而在第1n +次时,再将这2n个闭区间各三等分,并去掉中间的一个开区间,如此继续下去,就从[]01,去掉了可数个互不相交的开区间,剩下的必是一个闭集,它成为康托尔集,记为C 。

示图如下:Canter 集的性质:Ⅰ.Canter 集C 是非空有界闭集 证明:n 1C F n ∞==,其中n F 是n 2个长度为13n 的互不相交的闭区间的并集,因而每个n F 都是非空有界闭集,故C 是有界闭集,而n F 中每个闭区间的端点都没有被移去即每个分割点都在Canter 集中,它们是C 中的点,故C 为非空集。

即证。

Ⅱ.Canter 集无内点证明:令[]G=01\C ,,容易看出[]G 01=,,从而C =∅。

,那么Canter 就没有内点。

Ⅲ.canter 集中所有的点都是聚点,故是完备集证明:即证'C=C ,令x C ∈,则对,n n x F ∀∈,即对每个,n x 属于长度为13n 的某个区间中。

0n δ∀>∃,,满足13n δ<,使得n F 中包含x 的区间含于()x x δδ-+,,此时闭区间的两个端点是C 的点,且总有一个不是x ,这说明x 是C 的极限点,故'C C ⊃,故又因为C 是有界闭集,'C C ⊂,那么即证'C=C 。

Ⅳ.canter 集是疏朗集证明:任取开区间()αβ,,若()αβ,不含C 中的点,则不必讨论,显然证明Canter 是疏朗集。

若()αβ,中含有C 中的点x ,令{}m i n ,x x δαβ=--,则0δ>,故只需证明0n 充分大,便有13n δ<,既然x 是永远去不掉的点,x 也应该属于玩掉0n 之后余下的某一个闭区间中,设这个区间为[]00αβ,,则[]()00αβαβ⊂,,,再将[]00αβ,三等分是,所挖去的中间的开区间,设它为()''I ,αβ=,则()()'',αβαβ⊂,,且()'',C αβ⋂=∅,所以C 是疏朗集。

Cantor集的性质及其构造推广

Cantor集的性质及其构造推广
其剩余 部 分 为 2 个 长 为 的 闭 区 间 , 次 记 为 依

第 n 挖去” 次“ 的开 区间 为 U, , 有 2 个 , 共 每
个小 区 间的测度 , 间 的并集 的测度 = , 2 个互 不相交 的开区 这
, ( ,, 2 。令 :lF 令 =U ( =12…, U; .
第2卷 3
第 5期
Ju l f m a i ne&Eoo i nvrt oma o m nF ac Y n cnmc U i sy s e i
V 12 , o5 o. N . 3
Cn r at 集的性质及其构造推广 o
董 大 校
( 沧师范 高等 专科 学校 临
关 键 词 : at 集 ; C no r 完备 集 ; 朗 集 ; 造 法 ; 测 疏 构 可
因此 m C=m( 0 1)一m =0 [,] G 。 性质 5 C a r 的势为 .】 rt 集 eo | j 该性 质 的证 明见 参考 文献 吼 . 二 、 at 集 的构 造法 的本 质特征 和推 广 C no r 从 C ar eo rt 三分集 的构 造 , 我们可 以看 出其构 作主要 具有 如下 特点 :
又 因 { ) G的构成 区间 , 以 , 是 所
G=U G =U, , F:n , G=[ , ]G, 0 1/
则称 为 c o 25 ) o r- Y  ̄' (
上述集 合特 殊 的构 造决 定 了其 特 殊 的性 质 。下 面 列 出它 的主要性 质并 给出证 明 。 性质 l C是非 空有 界闭集 . 因为 F 中每个 闭 区间 的端 点都 没 被 挖 去 , c非 n 故 空。又 由于 c的余集
中 , 以 C是疏 朗集 。 所 性质 4 C是可 测集且 测度 为零 。

(5分)cator集和cator函数

(5分)cator集和cator函数
由上面我们可以看到,自然界的分形,其自相似性并不是严格的,而是,在统计意义下的自相似性,海岸线也是其中一个例子。凡是满足统计自相似性的分形称之为无规分形。另外,还有所谓有规分形,这类分形, 由于它是按一定的数学法则呈现,因此具有严格的自相似性。所谓koch曲线,就是属于有规分形, 如下图所示。
它的生成方法是把一条直线等分成三段,将中间一段用夹角为600的二条等长(1/3)的折线来代替,形成一个生成单元,如图(b).然后再把每一条直线段用生成单元进行代替,经过无穷多次迭代后就呈现一条无穷多弯曲的koch曲线。用它来模拟自然界中的海岸线是相当理想的。
4.2.1自相似性
一个系统的自相似性是指某种结构或过程的特征从不同的空间尺度或时间尺度来看都是相似的,或者某系统或结构的局域性质或局域结构与整体类似。另外,在整体与整体之间或部分与部分之间,也会存在自相似性。一般情况下自相似性有比较复杂的表现形式,而不是局域放大一定倍数以后简单地和整体完全重合。人们在观察和研究自然界的过程中,认识到自相似性可以存在于物理、化学、天文学、生物学、材料科学、经济学,以及社会科学等众多的科学之中,可以存在于物质系统的多个层次上,它是物质运动、发展的一种普遍的表现形式,即是自然界普遍的规律之一。下面举几个例子来说明自相似性。
二.Cantor集与Cantor函数的基本性质
三.借助于Cantor集,给出一孤立点集,其导集是完备集
四.分形的介绍
五.纬度——性质测量工具
六.关于Cantor和纬度相关的考虑
一.Cantor集与Cantor函数的定义
1、Cantor集的定义
将基本区间[0,1]用分点1/3,2/3三等分,并除去中间的开区间 ,把余下的两个闭区间各三等分,并除去中间的开区间 , ,然后再将余下的四个闭区间用同样的方法处理。 这样,当进行到n次时,一共去掉 个开区间 如此下去,就从 中去掉了可数个不相交的开区间

Cantor三分集

Cantor三分集

Cantor三分集在数学⽅⾯,Cantor三分集是由德国数学家康托(G.Cantor)于1883年引⼊的(但在1875年就由Henry John Stephen Smith发现了),它是⼀个取⾃简单直线段上的点集,它有若⼲⾮凡⽽⼜深刻的性质。

通过对它的思考,康托和其他助⼿奠定了现代⼀般拓扑学基础。

虽然康托⾃⼰⽤抽象的⽅法定义了这个集合,但⼀般⽽⾔,现代最流⾏的构造是康托三分集,它是通过将⼀条线段的中间部分去掉⽽获得的。

康托⾃⼰只是顺便提及了三重构造,作为⽆处稠密的完备集的⼀般例⼦。

三分集的构造 康托三分集是由重复删除直线段中间的三分之⼀开区间⽽创造出来的。

先从区间[0,1]中间删除开区间(1/3, 2/3),留下两边线段:[0, 1/3] ∪ [2/3, 1]。

下⼀步,删除留下的线段的各⾃的三分之⼀中间段,剩下四条直线段:[0, 1/9] ∪ [2/9, 1/3] ∪ [2/3, 7/9] ∪ [8/9, 1]。

⽆限重复这⼀过程,则第n个集合是合是:康托三分集包含区间[0, 1]内在每⼀步没被删除的所有的点。

计算表明康托集不包括任何⾮零的长度。

事实上,令⼈惊讶的是,它可能在所有中间被扣掉的部分之和就等于它的最初的长度。

然⽽,仔细观察这个过程却有很重要的东西被剩下,因为重复地消除只是中间的1/3开集(这个集合不包含它的端点)。

从最初的[0,1]线段中除去(1/3, 2/3),⽽两个端点1/3和 2/3被留下。

随后的操作,不移动这些端点,因为被移除的部分总是在剩余部分的内部。

所以康托集是⾮空的,⽽事实上,它包括⽆限多个点。

Cantor三分集的Lebesgue测度为0,通俗点说长度为零。

康托三分集具有1)⾃相似性;2)精细结构;3)⽆穷操作或迭代过程;4)传统⼏何学陷⼊危机。

⽤传统的⼏何学术语难以描述,它既不满⾜某些简单条件如点的轨迹,也不是任何简单⽅程的解集。

其局部也同样难于描述。

因为每⼀点附近都有⼤量被各种不同间隔分开的其它点存在。

Cantor集、连续延拓定理

Cantor集、连续延拓定理

Cantor集、连续延拓定理Cantor集对[0,1]区间三等分, 去掉中间⼀个开区间, 然后对留下的两个闭区间继续三等分,去掉中间的开区间, 不断做下去, 最后留下来的点集称为Cantor 三分集, 记为C.它的性质(1) 分割点⼀定在Cantor集中,(2) C的"长度"为0,去掉的区间长度和$$\sum{\infty}_{n=1}\frac{1}{3n}\cdot 2^{n-1}=\frac{\frac{1}{3}}{1-\frac{2}{3}}=1.$$(3) C没有内点证明:对任意x∈C, x必被含于在第n次时留下的2n个长为1/3n的互不相交的某个闭区间I(n)i中,∀ε>0,1/3n<ε,I(n)i⊂B(x,ε),但由Cantor集的做法,要继续三等分去掉中间的⼀个开区间, 从⽽B(x,ε)内⾄少有⼀点不属于C, 所以x不可能是C的内点.(4) C中的点都是聚点, 从⽽没有孤⽴点.数的进制⼗进制⼩数:相应于对[0,1]⼗等分⼆进制⼩数:相应于对[0,1]⼆等分说明:对应于[0,1]⼗等分的端点有两种表⽰,如0.2000000..., 0.1999999...(⼗进制⼩数)(5) C的基数为ℵ,(利⽤三进制证明)证明思路:把[0,1]区间中的点都写成三进制⼩数, 则Cantor集的做法中去掉的点为⼩数位出现1的数的全体, 从⽽Cantor集为⼩数位只是0,2的点的全体,做对应X∈P→x=∞∑k=1a k3k(ak=0,2).说明:三等分的端点有必要特殊考虑, 因为它有两种表⽰,0.100000...=0.022222..., 0.200000...=0.122222...对x∈C, 令A={k|a k=0},则A⊂N+.对应关系x→A构成了C到P(N+)的⼀⼀映射.第⼀章集合与点集第六节点集间的距离定义1.16 设E⊂R n, f是定义在E上的实值函数, x0∈E, 若∀ε>0,∃δ>0,使得x∈E∩B(x0,δ)时候,|f(x)−f(x0)|<ε.称为f在x0点处连续.注:若f在E上连续, ⽽E0⊂E, 则f在E0连续.定理1.22 若E1,E2是闭集, f定义于E1∪E2上, 且分别在E1,E2上连续, 则f相对于E1∪E2也⼀定连续.证明:若x∈E1∪E2. 不妨设它为聚点, 因为E1,E2为闭集, 则E1∪E2内任⼀以x0为极限的点列{y k}只能有两种情况:其⼀, 从某⼀项起, 全部y k属于E1或E2(相应x0∈E1或x0∈E2.)容易证明.其⼆, {y k}由两个分别属于E1,E2的⽆穷⼦列组成, 此时, x0∈E1∪E2, 因为lim因此\lim\limits_{k\to\infty} f(y_k)=f(x_0).定理1.23 设f是\mathbb{R}^n中有界闭集E上的连续函数, 则(1) f在E上有界(2) f在E上取得最⼤值和最⼩值(3) f在E上⼀致连续定理1.24 设E\subset\mathbb{R}^n, f_1,f_2,\cdots是E上的连续函数列, 且k\to\infty时, \{f_k\}在E上⼀致收敛到函数f, 则f在E上连续.例20 对于任意的x_0\in\mathbb{R}^n, E\subset\mathbb{R}^n, 定义x_0到E的距离为d(x_0,E)=\inf\{d(x_0,y)|y\in E\}.证明:(1)若E是闭集, 则存在y_0\in E, 使得d(x_0,y_0)=d(x_0,E).对于任意点集A, B, 定义A, B之间的距离为d(A,B)=\inf\{d(x,y)|x\in A,y\in B\}.证明:(2)若A和B都是闭集, 其中⾄少有⼀个有界, 则存在x_0\in A, y_0\in B, 使得d(x_0,y_0)=d(A,B).集合的简单写法:{x\in E|f(x)>a}:=E(f>a).定理1.25 若函数f在E上连续, 则对任意的实数a, 存在开集G_a\subset\mathbb{R}^n, 使得E(f>a)=G_a\cap E.也存在开集H_a\subset\mathbb{R}^n, 使得E(f<a)=H_a\cap E.证明:对任意x\in E(f>a), 由于f在E上的点x连续, 必存在\delta=\delta(x,a)>0,使得y\in E\cap B(x,\delta)时, f(y)>a.因此若令G_a=\bigcup_{x\in E(f>a)} B(x,\delta), 则G_a是开集, 并且E(f>a)=G_a\cap E.同理可证, H_a.推论1 若函数f在E上连续, 则对任意的实数a, 存在闭集F_a\subset\mathbb{R}^n, 使得E(f\geq a)=F_a\cap E.也存在开集K_a\subset\mathbb{R}^n, 使得E(f\leq a)=K_a\cap E.推论2 若f在开集E连续, 则对于任意实数a, E(f>a)和E(f<a)是开集, 若函数f在闭集E上连续, 则对于任意实数a, E(f\geq a), E(f\leq a)是闭集.定理1.26 若f是\mathbb{R}^n的函数, 则对于任意实数a, E(f>a), E(f<a)总是开集, 则f在\mathbb{R}^n上连续. (开集与开集的交是开集,闭集与闭集的交为闭集)连续延拓定理引理:若F_1,F_2是\mathbb{R}^n中的两个不交的⾮空闭集, 则有连续函数f(x), 使得(1) 0\leq f(x)\leq 1(x\in\mathbb{R}^n);(2) F_1=\{x: f(x)=1\}, F_2=\{x: f(x)=0\}.证明:构造函数f(x)=\frac{d(x,F_2)}{d(x,F_1)+d(x,F_2)}, x\in\mathbb{R}^n.定理1.27 连续延拓定理:若F是\mathbb{R}^n中的闭集, f(x)是F上的连续函数, 且|f(x)|\leq M(x\in F),则存在\mathbb{R}^n上的连续函数g(x)满⾜|g(x)|\leq M, g(x)=f(x), x\in F.证明:把F分成三个点集:A=\{x\in F:M/3\leq f(x)\leq M\},B=\{x\in F:-M\leq f(x)\leq -M/3\},C=\{x\in F:其他\}.并作函数g_1(x)=\frac{M}{3}\cdot\frac{d(x,B)-d(x,A)}{d(x,B)+d(x,A)},x\in\mathbb{R}^n.Loading [MathJax]/jax/element/mml/optable/BasicLatin.js。

康托尔集的性质及应用

康托尔集的性质及应用

康托尔集的性质及应用1 Cantor集的概念及性质1.1 Cantor集的概念我们先来回忆一下康托尔集的作法。

12将闭区间三等分,去掉中间的开区间,剩下两个闭区间[0,1](,)3312。

又把这两个闭区间各三等分,去掉中间的两个开区间,即[0,],[,1]33 1278n,1n。

一般地,当进行到第n次时,一共去掉个开区间,剩下个22(,),(,)9999n,n长度是的相互隔离的闭区间,而在第n+1次时,再将这2个闭区间各三等分,3并去掉中间的一个开区间,如此继续下去,就从去掉了可数个互不相交(而[0,1]且没有公共端点)的开区间。

剩下的集合称为康托尔集,记为P。

Cantor集是一个完全集,为具有连续基数的点集和不可数的零测度集,其性质在对许多问题的讨论中都起着很大的作用,也常是构造反例的基础,其特殊的构造过程和算术结构使它有许多奇特的性质.1.2 集合的性质Cantor集具有如下性质:非空有界闭集;具有连续基数,其基数为c;完备集,亦即为无孤立点的闭集,被挖去的开集G没有相邻接的构成区间;疏朗集;可测集且异常的公式结尾函数Lebesgue可积且积分值为零;P上的任何函数均是可测函数,零测度集上的任何函数均是可测函数。

下面我们从康托尔集合的做法中讨论一下它的性质,仅供读者学习实变函数论之参考。

2 Cantor集性质的应用2. 1 研究集合的有关性质为了推广区间长度的概念,对一般点集建立一种能反映集合的“容量”与长度概念相当的度量,这种度量既要发展长度的概念,又必须保留长度概念的某些最基本的性质,也就是集合的“测度”,测度理论是建立新型积分理论的基础.,定理1 对任何非负数,,,可作[,]ab的一个完备疏朗集E,0,,,llba,,使。

mE,,证明按下面的步骤完成E的构造:,,lG[,]ab第1步:在的中心处挖去的长度为的开区间,该开区间记为; 13l,,1第2步:在余下的两个闭区间中分别挖去其中心处的长度为,的开区33 G间,这些开区间的并记为; 2………l,,1n,1n,12第n步:在余下的个闭区间中,分别挖去其中心处的长度为的开,()33n,1G2区间,记这个互不相交的开区间之并为。

关于一类广义Cantor集的盒维数计算

关于一类广义Cantor集的盒维数计算

f ; + 一) K [] 义, ( )f . ( y 。 。 , K K U2 ) 一 , 定 一 ( K

收 稿 日期 : 0 7~0 20 2一O 5
基 金 项 目 : 家 自然 科 学 基 金 资 助 项 目(0 70 2 ; 南 省 青 年 骨 干 教 师 基 金 资 助 项 目 (0 5 . 国 5445)湖 20 ) 作者简介 : 宣云(95 , , 南永州人 , 南大 学数学科 学 与计算技 术学 院副教 授 , 士 , 究 方 向: 形 、 秦 1 6 一) 男 湖 中 博 研 分 图 像处理 、 学计算 及可 学 院 学 报
第 2 9卷
令 K 一 ]K, , r 表示 广义 C n o 集 , : a tr 则 厂 ( )一 [ ,] f ( )一 [ 一 y 1 . K。 0 口 , 2K。 1 ,] 有: K 一 f ( )U ( )一 [ ,]U [ 一 y 1 , K。 K。 0a 1 ,] f ( )一 [ , K 0 口]U [ ( 一 y ,] f ( ) K 口 1 ) 口 K。 , f ( )一 [ 一 y 1 y 0 ]U [ 一 ,] f ( ) K 2K 1 ,一 + 。 , 1 1 2K。 . 有: K 一 f ( ( )一 [ , K )U K 0 口 ]U [ ( 一 y ,]U [ 一y 1一y+0 ]U [ 一 y ,]. 口1 )口 1 , 。 , 1 1 K 的 区间长度 分别 为 :。a , , y . 推下 去到第 J 时 , 有 2 个分 区 间 , a ,y 0 和 递 。 步 K, 且长 度在 ,川 y a y a , ,
关于一类广 义 C no 集 的盒维 数计算 a tr
秦 宣云 ,管 继 虹

Cantor集合和Hilbert曲线的数学思考

Cantor集合和Hilbert曲线的数学思考

Cantor集合和Hilbert曲线的数学思考Cantor集合和Hilbert曲线都是数学中非常有趣的对象,它们不但具有美妙的几何形态,同时也蕴含着丰富的数学思考。

在本文中,我们将探讨这两个对象,并思考它们背后的数学原理和思想。

一、Cantor集合Cantor集合是由德国数学家Georg Cantor在19世纪末提出的。

它是一种闭合集合,具有以下性质:1. Cantor集合是一个无限集合,其中的元素是实数。

2. Cantor集合是不可数的(即其基数大于aleph-null,即自然数的基数),这意味着不能将其一一映射到自然数集合上。

3. Cantor集合是一个完全不连通的集合,因为它是由一系列逐步删除的区间组成的,这些区间被视为孤立的。

Cantor集合的构造方法非常简单而又富有迭代性,即从一个单元区间开始,不断去掉每个区间的中间第三部分,得到一系列包含越来越少点的区间,并将它们放在一起得到Cantor集合。

这个过程可以用以下伪代码表示:function CantorSet(start, end, depth) {if (depth = 0) {return [start, end];}var interval = (end - start) / 3;return CantorSet(start, start + interval, depth - 1).concat(CantorSet(end - interval, end, depth - 1));}例如,当depth=1(即只有一层)时,Cantor集合就是一个从0到1的单元区间;当depth=2时,Cantor集合是由0到1/3、2/3到1这两个子区间加上去掉了中间1/3到2/3部分的区间得到的;当depth=3时,Cantor集合就是由0到1/9、2/9到1/3、2/3到7/9、8/9到1这四个子区间加上去掉了中间1/3到2/3和1/9到7/9部分的区间得到的。

Cantor集合的基本性质及其用於反例

Cantor集合的基本性质及其用於反例

1 5
的開區間,
第二次刪去餘下的 2 個閉區間中央的長
度皆為
(
1 5
)2
的開區間,
第三次刪去餘下的 22個閉區間中央的
長度皆為
(
1 5
)3
的開區間,
···
一般說來, 第 n 次刪去餘下的 2n−1 個
閉區間中央的長度皆為
(
1 5
)n
的開區間。
如此等等, 這樣便得到類 Cantor 集 P
與開集 G = [0, 1] − P , 易知
p3
由六十四個面積皆為
1 27
×
1 27
的位於
p2的
十六個正方形四隅的閉正方形組成; 等等。 對
於任給的 α ∈ [−1, 1], 直線 y = x + α 與
p1 的四個正方形中至少有一個相交, 選出這
Cantor 集合的基本性質及其用於反例 77
樣一個正方形並記為 S1。 這條直線也必然與
p2 的位於 S1 之內的四個正方形中至少有一
m[0, 1] − mG= Nhomakorabea2。 因
3
P
是沒有
內點的完全集, 即 P 中沒有 G 的外點, 都是
G 的邊界點, 故 ∂G = P , 由約當外測度與
勒貝格外測度的關係, 可知
(m∗∂G)J
=
(m∗p)J

m∗p
=
2 3
即 G 的邊界的約當外測度不能是零, 但因有 界點集約當可測的充要條件是其邊界的約當 外測度為零, 所以 G 不是約當可測集。
=
g(
x b
− −
a a
),
x ∈ E1
則 g1(E1) = R。 (3) 定義所要求的函數 f , 先令它在整

一类推广的Cantor集的维数研究

一类推广的Cantor集的维数研究

学校代码:10327学号:**********硕士学位论文一类推广的Cantor集的维数研究学院:应用数学学院专业:应用数学研究方向:分形理论与金融应用*名:*****师:**完成日期:2018.3答辩日期:2018.5STUDY ON THE DIMENSIONS OF A CLASS OF GENERALIZED CANTORSETSA Dissertation Submitted toNanjing University of Finance and EconomicsFor the Professional Degree of Master of ScienceBYZhang XianSupervised by(Associate) Professor Wu BoSchool of Applied MathematicsNanjing University of Finance and EconomicsMay 2018学位论文独创性声明本论文是我个人在导师指导下进行的研究工作及取得的研究成果。

论文中除了特别加以标注和致谢的地方外,不包含其他人或其它机构已经发表或撰写过的研究成果。

其他同志对本研究的启发和所做的贡献均已在论文中作了明确的声明并表示了谢意。

作者签名:日期:学位论文使用授权声明本人完全了解南京财经大学有关保留、使用学位论文的规定,即:学校有权保留送交论文的复印件,允许论文被查阅和借阅;学校可以公布论文的全部或部分内容,可以采用影印、缩印或其它复制手段保存论文。

保密的论文在解密后遵守此规定。

作者签名:导师签名:日期:摘要自19世纪至今,人们通过观察研究发现自然界中出现的分形图像,将其引入数学中,继而得出了几种经典的分形集,并对该类集合做出了大量关于结构特征的分析。

特别是在19世纪后期,通过对分形集的构造的细致研究与发展,分形几何被数学家确立为一门独立的数学学科。

三分Cantor集作为分形几何中最典型的集合,也是最易于构造的分形图像。

一类广义Cantor集的Hausdorff测度

一类广义Cantor集的Hausdorff测度
维普资讯
第 l 5卷 第 2 期
20 O 2年 6月
宁 波 大 学 学 报 ( 工 版) 理
J RNA OF NI GB U V OU L N O NI ERST ( E I Y NS E)
V0 1 1. 5 No. 2
J n 0 2 u e2 0
在 分 形 几 何 研 究 中 , a sof维 数 与 测 度 是 基 H ud r
本 概 念 , asof 维 数 计 算 与 估 计 的 研 究 已取 得 相 H ud r
F 的一 个 覆 盖 . 中 I I 集 合 其 是
的 直 径 , 义 定
塌 (F ) = i n f
为f
sp I —Yf Y U } 给定 一个 非负 实 u{ : , ∈ i.
> 0,定 义
当进 展 , 其 I ud r 测 度 的 计 算 仍 然 很 困难 . a . 但 - sof I a C n
tr 分 集 是 经 典 的 自相 似 分 形 , 的 H ud r 维 数 o三 它 a sof s n2 l , a sof测 度 / E) _ . 者 在 文 =I /n3 H ud r P( =ll 作 F J 献 [ ] 构 造 了一 类 广 义 C tr , 给 出 了 H u. 2中 n ao集 并 as dr 维 数 . 文 进 一 步 证 明其 测 度 . of 本
l o pe e e as r s nt . d K e r s: n t rs t y wo d Ca o e s; CLC num be 0 1 4. 2 r: 7 1 Ha s of me so d me ur : s l-i l rs t u d r di n in a a e ef smia e n s Do u e t c de: c m n o A

广义Cantor集

广义Cantor集

广义Cantor 集张北一中 郭彦军摘要:本文考察了包括直线上的各种广义Cantor 集,由相似变换导出它们的级数表达式,给出它们维数的定义及计算方法,并考察了它们的性质。

关键词:广义Cantor 集;迭代函数系;Hausdorff 维数 1.定义:选取[]1,0区间作为初始元,然后进行m 等分,从中选取l 个小闭区间作为生成元,如此生成的分形集我们称之为广义Cantor 集,记作C 。

2.迭代函数系:广义Cantor 集C 的构造过程可描述为迭代函数系ma x m x f ma x m x f ma x m x f l l +=+=+=1)(1)(1)(2211[]1,0=∈I x其中i a 取}{1,2,1,0-m 中的某些值,l i ,2,1=。

即广义Cantor 集满足l 个相似变换: ma mf x ii +==ξξ)( l i ,2,1= , 10≤≤x ,10≤≤ξ。

3.将[]1,0区间推广到任意区间[]b a ,: 首先我们给出这样一个一一对应:x a b a y )(-+= []1,0=∈I x则mb a a a m m a a b a m b i i i i +-=-+=)()( 下面给出任意区间[]b a ,上的相似变换:mb mag y ii +-==ηη)( b a ≤≤η b y a ≤≤ i b 取}{b m a b a m ma )1(,)1(,-++- 中的某些值。

4.广义Cantor 集的级数表示:首先回顾一下广义Cantor 集的定义过程:第一次生成l 个闭区间⎥⎦⎤⎢⎣⎡++=m m a ma F i i i 1,0)1()1(,1 {}l i a a a a ,,21)1(∈区间长度为mL 11=。

第二次对每个小闭区间i F ,1进行m 等分,从中选取l 个闭区间,得2l 个闭区间2)2()1()2()1()1()1(*)1(ma m a m a m a m m a m a i i i i i i +=-++ 则⎥⎦⎤⎢⎣⎡+++=22)2()1(2)2()1(,21,m m a m a m a m a F i i i i i }{l i i a a a a a ,,,21)2()1(∈区间长度为=2L 21m 。

一类广义Cantor集的Hausdorff维数与测度

一类广义Cantor集的Hausdorff维数与测度

H udr 维数 为 1 asof o — g

及 H udr 测 度为 1 asof f .
关于 自相似映射 、 开集条件 和 H udr 维数 和测度 的定义 , asof f 见文献 【】 3.
本文 的证明利用 了 以下 引理: 引理 1 设 { t 是 上 的满足 开集条件 的 自相 似压缩 映射族, 有 I ‘ 5}o 则
各去掉中间的开区间, F =[, 】 s 】 1 , 一 十 】 1 , ]如此无限重复上述 记 2 0 U[ 一占, U[ 一 1 U【 一 1. 过 程, 得到 F 3 3… 3 ]…, F1l 则 F称 为广义 的三分 C no 集 . , 记 i F, m atr
( i )存在唯一的 R 的紧集 E 称为不变集)使得 E=U , ( ) ( , S E 成立;
( ) E的 H udr 维 数 s是一个 实数 )由指 数方程 i i asof f ( ,
pi+ + … +p = 1
唯一决定, 中 P 是 S( =12 …, 的压缩 比. 其 i , , m)
收 稿 日期 :0 9—1 2 20 0— 1
作 者 简介 : 王
艳 (93一 )女 , 18 , 安徽 宿 州 人, 究 方 向: 波 与 分形 的理 论 与 应 用 研 小
第1 期
王 艳 等 : 类广 义 C no 集的 H ud r 维数 与 测度 一 at r a sof f
如 下构造广义 的三 分 C n r : at 集 o
/ 1 - E-
设 =[, 】第一 步将 区间 [, 】 成 三份 , 0 I; 0 1分 令其 第 一个 区 间的长 度为 e 0 e _ (< <上

Cantor集与Cantor函数

Cantor集与Cantor函数

Cantor集与Cantor函数【摘要】:本文总结了Cantor集的、Cantor函数的定义和一些基本的性质及其证明。

文末还简单的介绍了有关分形的概念和一些常见分形。

【关键词】:Cantor集、Cantor函数、分形1、Cantor集与Cantor函数的定义1.1、Cantor集的定义将基本区间[0,1]三等分,并除去中间的开区间,把余下的两个闭区间各三等分,并除去中间的开区间,,然后再将余下的四个闭区间用同样的方法处理。

这样,当进行到n次时,一共去掉个开区间如此下去,就从中去掉了可数个不相交的开区间G=(,)∪(,)∪(,)∪(,)∪(,)∪(,)∪(,)∪......集合C=[0,1]\ G称为Cantor集。

1.2、Cantor函数的定义定义C是Cantor集,在[0,1]上定义函数f(x) 如下:f=称为Cantor函数2、Cantor集与Cantor函数的基本性质2.1、Cantor集的性质2.1.1、完备性Cantor集是完备集:证明: C是闭集显然,下面证C中没有孤立点.假设C中有孤立点x,则存在δ>0,使(x-δ,x+δ)∩ C={x}因此(x-δ,x),(x,x+δ)⊂ G故上述两区间包含于G的两个构成区间,而由C的构造过程知,G的构成区间的端点不重合,故矛盾.因此,C中没有孤立点.所以C是完备集.2.1.2、Cantor集是疏集,没有内点证明:假设是C的内点,则存在使得这样⊂ [0,1],且这个开集的各个构成区间互不相交,这些区间的长度之和大于1,矛盾。

并且可得C中不含开区间,由定义,C显然为疏集。

2.1.3、G=[0,1]\C是[0,1]中的稠密集证明:题目可转化为证明,且显然有,证明即可:反证:任取x且x,则存在x的一个邻域,其中不含有G的点。

可得这个领域在C内。

又,故x C,所以x是C中的内点。

与C是疏集矛盾。

所以。

故,G是[0,1]中的稠密集,证毕。

2.1.4、C具有连续统势证明:由定理可得,(0,1)与无限n元数列全体等价。

[整理版]浅谈cantor集

[整理版]浅谈cantor集

【标题】<B style='color:black;background-color:#ffff66'>浅谈</B>Cantor集【作者】刘勇【关键词】Cantor集??函数??测度【指导老师】林昌盛【专业】数学与应用数学【正文】1引言集合论自19世纪80年代由Cantor创立以来,现在已经发展成为一个独立的数学分支,它的基本思想与基本方法已渗透到各个数学分支,成为近代数学的基础.Cantor集,又称为三分集,是一个构思非常巧妙的特殊的点集.Cantor集是Cantor在解三角级数的时候构造出来的.学习和掌握Cantor集具有的重要特征,对于学习和掌握集合论的基本知识是很有帮助的.2基本理论2.1定义Cantor集的两种定义1.?区间定义cantor集合将闭区间?三等分,去掉中间的开区间;再将余下的两个闭区间?和?分别三等分,去掉中间的两个开区间?和?;再将余下的四个闭区间分别三等分,去掉中间的开区间,这种过程无限次地做下去,?中余下的点所组成的集合,称为康托集,记为??(见图2.1)?0 1图 2.1显然?.?因为每次去掉的开区间的端点都属于?,去掉的所有开区间所组成的集合记为?,则?为开集.?通常称为康托余集.?[[]1]2.映射定义cantor集先定义映射?,?:?使得对于任何?有和?.容易验证映射?和?都是同胚,因此任何开集?的?象?和?的象?都是开集.现在按归纳原则定义一系列开集,?如下:令?;对于任何?,定义?.事实上,?是两个开区间?和?之并,?是四个开区间?,?,?,?之并,…令?,它是可数个开集之并,当然是一个开集,容易验证,?.集合?称为cantor集,或称为标准cantor三分集.它是一个闭集.由康托集的定义可知下列事实成立.???从??中第?次去掉??个长度为??的开区间后,余下的每个闭区间的长度仍是??.?无论去掉开区间的过程进行多少次,?的点必属于每次留下来的某个闭区间.?从??中每次去掉开区间后,开区间的端点都属于?.?2.2性质Cantor集的主要性质[[]2]性质1??非空.在?的构造过程中,被挖去的开区间的端点及0、1都不会被除去而留在?内.性质2??的基数为?.已知(0,1)和?进位无限小数全体是一一对应的,考虑三进位小数表示法,由?的作法,每次都是把区间三等分,然后去掉中间的开区间.所以去掉的点,即?中的点在用三进位小数表示时,必出现1这个数字,令?为三进位无限小数中不出现数字1的全体,即则?且?.故?,但?显然与二进位无限小数全体可建立一一对应,只要令?即可.故?.而?,由伯恩斯坦定理,?.性质3??是闭集.因??为可数个互不相交的开区间的并集,故?为开集,而?为闭集. 性质4??是完备集.被挖去的开集?没有相邻接的构成区间,故?没有孤立点.性质5??是疏朗集.在?的构造过程中,“挖去”手续进行到第?次后,剩下的是?个长度为?的小闭区间,对于以?中某点?为中心的无论怎样小的开区间??,当?充分大时总有? ?,因此这个小区间不可能包含在?中.性质6??是可测集且测度为零.第?次挖去的开区间记为?,共有?个,每个小区间的测度?,这?个互不相交的开区间的并集的测度?是?的构成区间,从.因此?.性质7??上的任何函数均是可测函数.零测度集上的任何函数都是可测函数.性质8??上的任何函数Lebesgue可积.零测度集上的任何函数Lebesgue可积,且积分值为零.3具体举例为了推广区间长度的概念,对一般点集建立一种能反映集合的“容量”、与长度概念相当的度量,这种度量既要发展长度的概念,又必须保留长度概念的一些最基本的性质,也就是集合的“测度”,测度理论是建立新型积分理论的基础.例1 设在[[]0,1]中作点集:??={?|在?的十进位小数表示中只出现9个数码},试问??的测度与基数是多少?[[]3]解?不妨设?在的十进位制小数中不出现数字“2”(约定采用0.2=0.1999…,0.62=0.61999…等表示),于是按照Cantor集的方法作一开集?,?.其中,?是将[[]0,1]分成十等分所得的第三个开区间,显然?中任一小数点后第一位数字是“2”;将[[]0,1]十等分并去掉?后所余下的9个区间分别再十等分,各自的第三个开区间之并记为?,?中任一数,其小数点后第二位数字是“2”…,将余下的?个区间每个进行十等分,取各自的第三开区间,它们的并记为?,则?中任一数,其小数点后第?位数字是“2”;…令?,由?的作法知,?中任一数,其小数点后任一数字都不是“2”,且?与Cantor集的构造完全类似,由性质2及性质6有(1)??的基数是?;(2)??可测,且?,事实上?.例2 试作一闭集?,使F中不含任何开区间,且?.解?仿照Cantor集的作法步骤完成?的构作,第一步:在[[]0,1]的中央挖去长为?的开区间?;第二步:在余下的两个闭区间?和?中分别挖去中央处的长为?的开区间,它们的并是?.……第?步:在余下的?个闭区间中,分别挖去其中央处长为?的开区间,记这?个互不相交的开区间之并为?.……令?,则?为开集,且??=?与Cantor集具有类似的性质;从而?为可测集,且.故?再看看Cantor集的结构公式.第一步:在实直线R上将单位闭区间?分成三等分,去掉中间的开区间?剩下两个分离的区间?,??,记第?步:设已得到?上的点集?为?个闭区间的分离并,其长均为?,记? 第?步:对?,把闭区间?分成三等分,去掉中间的开区间,将剩下的两个闭区间记作?与?得到?个长度为?的不交闭区间,有在形成Cantor集的过程中,对?,?其中,(*)这里?取值0或1,使?;可以这样理解,将?化为2进位制数,??,则取?即可及(*)式就是Cantor集合的结构式.[[]4]4 Cantor集性质的应用实变函数论的中心问题是建立一种新型的积分理论,从而扩大函数的可积性范围,诸如Dirichlet函数?之类的点点不连续的函数也能求出其积分值,而我们建立新积分的思路就是从研究集合的测度,到定义在可测集上函数的可测性,最终讨论可测函数的可积性问题,Cantor函数起着积极的作用.下面给出几个应用实例:实例1 存在连续函数,将疏朗集映成区间.[[]5]Cantor函数?即为一例,它将疏朗集?映成区间[[]0,1].下面说明?=[[]0,1]?.只需说明?在?所取的值,?在?上也均能取到即可.而由?的定义这是明显的,因为每个余区间的右端点都属于?,而?在此点的取值等于?在该余区间上的值.所以??.实例2 存在连续函数,它把零测集映成正测度集,把正测集映成零测度集.[[]6]当?是区间?上的绝对连续函数时(?定义在?上,若?,使得对于任意两两不交的开区间族?,只要满足?,就有?,则称?是绝对连续的),它将零测度集仍然映射成零测度集.但是,如果?连续而非绝对连续,则它可将零测度集映成正测度集.例如Cantor函数?是[[]0,1]上的连续增函数,由它的构造知,它将零测度集?映成测度为1的区间[[]0,1];将?映成零测集,即将测度为1的集映成零测度集.实例3??(1)?可测集在连续映射下的像未必可测.[[]7]绝对连续函数将可测集映成可测集,然而,即使是严格单调的函数也不能保证可测集的像仍为可测集,当然可测函数更不能保证可测集的像仍为可测集.反例?设?为[[]0,1]上的Cantor函数,令?,则?:[[]0,1]→[[]0,1]为严格递增的连续函数,使?,其中?为Cantor集,取?为不可测集,则?可测,使?不可测.[[]8](2)?可测集在连续映射下的原象未必可测.连续映射能保证Borel集的原像仍为Borel集,但不能保证可测集的原像仍为可测集,当然可测函数更不能保证可测集的原像为可测集.[[]9]反例?上例中的?为[[]0,1]上的同胚映射,易知其反函数?于[[]0,1]上连续且递增.但此连续映射?使可测集?的原像?不可测.(3)?连续函数与可测函数的复合函数未必可测.若?为?上的可测函数,??为?上的连续函数,则复合函数?仍为可测函数,但??未必是可测函数,从而两个可测函数的复合函数也未必是可测函数.记?,则?连续且严格递增,并使?不可测,?可测;令?为?的特征函数,则?可测;记?,则由?不可测知,?为不可测函数.实例4?(1)存在导数几乎处处为零的递增的连续函数.[[]10]例如[[]0,1]上的Cantor函数?,它连续且单调不减,?,?,它在?的每个余区间上为常数,所以在[[]0,1]上几乎处处有?.(更强有,存在导数几乎处处为0的严格递增的连续函数)?.(2)存在递增函数?,使得?.由实变函数中的知识,如果?为?上的递增函数,则?在?上可积且?,不等号可能成立,例如Cantor函数?,?几乎处处为0,?.5结束语Cantor29岁(1874)时在《数学杂志》上发表了关于集合论的第一篇论文,提出了“无穷集合”这个数学概念,引起了数学界的极大关注,他引进了无穷点集的一些概念,如:基数,势,序数等,试图把不同的无穷离散点集和无穷连续点集按某种方式加以区分,他还构造了实变函数论中著名的“Cantor集”,“Cantor序列”.本文通过对cantor集性质,定义,定理及其基本概念的阐述,结合诸多具体实例,说明了cantor集在数学领域,在实际生活中的广泛应用.Cantor函数是一类性质很好的函数,它的特有性质在上述实例中得以体现,决定了Cantor函数巧妙应用的广泛性. Cantor集合作为一个构思非常巧妙的特殊的点集,对于学习和掌握集合论的基本知识是很有帮助的.。

基于帐篷映射和面包师映射形成的Cantor集

基于帐篷映射和面包师映射形成的Cantor集

C n0 集 是 C no 于 18 a tr a tr 9 3年 首 先 提 出 的 一种
自相 似 结 构 : 一 直线 段 [,] 将 其 三等 分 , E = 取 01 , 记 o 『 ,1 掉 中 间 的 13 得 到 的集记 作 邑 , 将 E 中 01 , 去 /, 再 的每 一段 三 等 分并各 自去 掉 中间 一段 得 到 , E 包 含 2 个 子 区间 。 复 n次 后 , 2 重 得到 E , E 中包 含有

[ ,] o 1 2 … 01E DE DE ] 故 F为一 C no 集 atr 又 由于 T27= / ,(/)67 T67= / , (/)47 T47= / , ( )27 因此 , / =/ 27为 周期 3点 , 由李—— Y k o e定 理可 知 帐篷 映 射能 导致 混 沌 。
() 1 F为不 可数 集 。
( ) 的 L b su 测 度 为 0 E 的 长 度 为 2x 2F e eg e , 3=
(/), n ∞ 时 I = , F的 L b su 23” 当 一 I l 1 O即 E e eg e测 度
为 0 。
3 帐 篷 映 射 和 面 包 师 映 射 产 生 的 Ca tr no 集
( ) x 1
日 ( 1 1= : + ) ( 1 +1) x _ 2
此 映射对 正方 形 的作 用是 :沿 轴 方 向伸 长为 2倍 , Y轴 方 向压缩 为 口倍 , 后 沿 x l处 切 断并 沿 然 =
C no 集 .而且 帐 篷 映射及 广 义面 包师 映射 可产 生 at r
32 广 义面 包师 映射 .
{ ( n为有限整数或 ∞)
m+ n次 变换 后

Cantor集合的构造及推广.

Cantor集合的构造及推广.

晋中学院XX学院本科毕业论文(设计)题目cantor集合的构造及推广院系XX学院专业XXXXXX姓名XXX学号XXXXXXX学习年限20XX 年XX 月至201XX 年XX月指导教师XXX 职称讲师申请学位学士学位年月日Cantor集的构造及其推广学生姓名:X X(XX级XX班)指导教师:XXX摘要:Cantor集是实变函数课程中一个重要的例子,它的非同寻常和神奇,不但表现在它的构造的特殊性,而且在于它有许多奇特的性质.本文首先从一维空间Cantor集的构造出发,讨论了它的性质,并给出了其一些简单的应用.同时,阐述了Cantor函数的定义;其次,从不同方面、不同角度探讨了一维空间中推广的Cantor集的构造,另外,还给出了一类疏朗完备集在区间[]b a,中的构造方法;最后,简单论述了二维空间的类Cantor集的构造.关键词:Cantor集;性质;应用;疏朗集;推广Construction and Generalization of Cantor setStudent: X XXInstructor: X XXAbstract:The Cantor set is an important example in the course of real variable function,it unusual and mysterious,not only in its structure is special,moreover lies in its unique properties.This paper first from one dimensional Cantor sets out,discussed its properties,and gives some simple applications. At the same time,elaborated the Cantor function is defined;Secondly,from different aspects,different angles of the one-dimensional space of generalized Cantor set construction,in addition,a construction method of nondense set in closed interval []b a,is given in this paper;Finally,discusses the two-dimensional space of class Cantor sets simply.Key words: Cantor set;properties;application;nondense set;generalization目 录引言 ..........................................................................................1 1. 集合论的产生背景与历史意义 (1)2. 一维空间中的Cantor 集............................................................2 2. 2 Cantor 集的构造..................................................................2 2. 2 Cantor 集的重要性质............................................................2 2. 3 Cantor 集的应用 (5)3. Cantor 函数的定义及性质...................................................8 4. 一维空间中推广的Cantor 集 (10)4.1 一维空间中推广的Cantor 集的构造....................................10 4.2 []b a n P ,的重要性质 (11)5. 二维空间的类Cantor 集...................................................12 参考文献 (14)引言集合论是19世纪末20世纪初德国伟大的数学家康托尔创立的,是现代数学中的基础理论,同时也被誉为“数学大厦的基石”.它的概念和方法已经渗透到分析、代数及拓扑学等众多数学分支以及物理学等一些学科中,并为这些学科提供了理论基础,推动了它们的发展.Cantor集也是实变函数中的一类重要的集合,其特殊的构造过程和算术结构,使它拥有许多奇特的性质,康托尔三分集就是Cantor集合中最常见的构造.本文阐述了Cantor集在一维空间中的构造、性质、应用以及Cantor函数的定义,叙述了一维空间中推广的Cantor集的构造及其重要性质,最后简单的说明了二维空间的类Cantor集.1. 集合论的产生背景与历史意义集合论在19世纪诞生的基本原因,来自数学分析基础的批判运动.数学分析的发展必然涉及到无穷过程,无穷小和无穷大这些无穷概念.在18世纪,由于无穷概念没有精确的定义,使微积分理论不仅遇到严重的逻辑困难,而且还使无穷概念在数学中信誉扫地.19世纪上半叶,柯西给出了极限概念的精确描述.在这基础上建立起连续、导数、微分、积分以及无穷级数的理论.正是这19世纪发展起来的极限理论相当完美的解决了微积分理论所遇到的逻辑困难.但是,柯西并没有彻底完成微积分的严密化.柯西思想有一定的模糊性,甚至产生逻辑矛盾.19世纪后期的数学家们发现使柯西产生逻辑矛盾的问题的原因在奠定微积分基础的极限概念上.严格地说柯西的极限概念并没有真正地摆脱几何直观,确实地建立在纯粹严密的算术的基础上.于是,许多受分析基础危机影响的数学家致力于分析的严格化.在这一过程中,都涉及到对微积分的基本研究对象─连续函数的描述.在数与连续性的定义中,有涉及关于无限的理论.因此,无限集合在数学上的存在问题又被提出来了.这自然也就导致寻求无限集合的理论基础的工作.总之,为寻求微积分彻底严密的算术化倾向,成了集合论产生的一个重要原因.如果没有集合论的观点,很难对现代数学获得一个深刻的理解.所以康托尔对集合论的创立,不仅对数学基础的研究有重要的意义,而且对现代数学的发展、哲学、逻辑学的学习也有深远的的影响.因此康托尔成为世纪之交的最伟大的数学家之一.2. 一维空间中Cantor集2.1Cantor集的构造Cantor 集的构造主要是指Cantor 三分集的构造. 将直线上的基本空间[]0,1用分点13和23三等分,去掉中间的开区间,记为()1112,33I ⎛⎫= ⎪⎝⎭.把剩下两个闭区间10,3⎡⎤⎢⎥⎣⎦,2,13⎡⎤⎢⎥⎣⎦分别再三等分,然后各去掉中间的开区间,记为()2112,99I ⎛⎫= ⎪⎝⎭,()2278,99I ⎛⎫= ⎪⎝⎭.余下4个闭区间⎥⎦⎤⎢⎣⎡231,0,⎥⎦⎤⎢⎣⎡2233,32 , ⎥⎦⎤⎢⎣⎡2237,36,⎥⎦⎤⎢⎣⎡1,382,又分别把这些闭区间三等分,并各去掉中间的开区间,记为()⎪⎭⎫⎝⎛=233132,31I ,()⎪⎭⎫ ⎝⎛=233238,37I ,()⎪⎭⎫ ⎝⎛=2333320,319I ,()⎪⎭⎫ ⎝⎛=2334326,325I .如此方法进行下去,第n 次时,去掉的开区间(称为第n 级区间,每个区间的长度为n 31,计有12-n 个):()112,33n n n I ⎛⎫= ⎪⎝⎭,()278,33n n n I ⎛⎫= ⎪⎝⎭,,()223231,33n n n n n n I -⎛⎫--= ⎪⎝⎭,记 kn n k I G ,0=,() ,2,1;2,,3,2,11==-n k n 这是开集,所以[]001,0G P -=是闭级,称0P 为Cantor 集.2.2 Cantor 集的重要性质1. 0P 是非空闭集.这是显然的,在0P 的构造中0G 是任意个开集的并,所以0G 仍是开集,0P 是0G 的补集,所以0P 是闭集.同时被去掉的开区间的端点及0,1都不会被除去而留在0P 内,所以0P 是非空的.所以0P 是非空闭集.2. 0P 是完备集.由性质1可知, 0P 是一个非空闭集.欲证明0P 是完备集,只须证明0P 中无孤立点,若不然,假设0P 有一个孤立点0x ,易知端点0与1是0P 的聚点,故00x ≠或 1.在()0,1中存在构成区间()00,x α与()00,x β,其中均无0P 的点,即()00,x α0G ⊂且()00,x β0G ⊂,但0x 0G ∉.()00,x α,()00,x β将分别包含在的两个构成区间()0,x α与()0,x β中,也即0x 为0G 的某个构成区间的公共端点,而据0G 的构造可知,这是不可能的.所以,0P 是无孤立点的非空闭集.0P 是完备集.3. 0P 没有内点且为疏朗集.事实上,在0P 的作法中讲过,“去掉”过程进行到第n 次为止时,剩下2n 个长度是3n -的互相隔离的闭区间,因此任何一点00P x ∈必含在这2n 个闭区间的某一个里面.从而在0x 的任一邻域()0,3n x -内至少有一点不属于0P,但()30n n -→→∞,故0x 不可能是0P 的内点.0P 既然是没有内点的闭集,那么在直线上任一开区间I 内必至少含有开集0P 的一点,从而I 内必至少有一子开区间,其中不含0P 的点.凡是一个点集E (不限于1R 中),如果具有性质:空间任一邻域内至少包含某点的一个邻域,其中不含E 的点,则称E 为疏朗集合,或无处稠密集合(E 是疏朗集合的特征是E 没有内点).因此0P 是一个疏朗集合.4. 0P 有连续基数.先用三进位有限小数来表示0P 的余区间的端点.则有()()110.1,0.2,I =()()210.01,0.02,I =()()220.21,0.22,I =()()310.001,0.002,I =()()320.021,0.022,I = ()()330.201,0.202,I = ()()340.221,0.222I =.可以看出第n 级余区间()()11,2,,2n n k I k -=形如()1211210.1,0.2n n αααααα--,其中121,,.n ααα-都是0或2.因此,0P 的余区间中的点有形式 112110+-n n αααα.即[]G-1,0中的数展成三进制小数时,其中至少有一位是1.我们考察形如122333nnx ααα=++++的小数,其中每个系数n α都是0或者2,这种小数全体记为A .由于[]0,1A ⊂而[]01,0G -中的数展开成三进制小数中n α至少有一位是1,所以[]01,0G -中没有A 的数,因而有0P A ⊂.令B 是[]0,1的二进制小数表示全体(也采用二进制有理小数的有限位小数表示).作A 到B 的映射ϕ,111:322nnnn n n x ααϕ∞∞===→⋅∑∑其中0n α=或2,这个映射是一一映射,但B 的基数是ℵ,所以A 的基数也是ℵ.由0P A ⊂得ℵ≥0P ,又ℵ≤0P ,所以ℵ=0P .5. 0P 是不可列集.若不然,假设0P 是可列的,将0P 中点编号成点列 ,,,,21k x x x ,也就是说,0P 中任一点必在上述点列中出现.显然,⎥⎦⎤⎢⎣⎡31,0与⎥⎦⎤⎢⎣⎡1,32中应有一个不含有1x ,用1I 表示这个闭区间.将1I 三等分后所得的左与右两个闭区间中,应有一个不含2x ,用2I 表示它.然后用3\I 表示三等分2I 时不含3x 的左或右的那个闭区间,如此等等.这样,根据归纳法,得到一个闭区间列{}N k k I ∈.由所述取法知, ⊃⊃⊃⊃k I I I 21,k k I x ∉,N k ∈; 同时,易见k I 的长为()∞→→k k 031.于是根据数学分析中区间套定理,存在点k I ∈ξ,N k ∈.可是ξ是k I 等的端点集的聚点,从而是闭集0P 的聚点,故0P ∈ξ.由于上面已指出k k I x ∉,N k ∈,故k x ≠ξ,N k ∈.这是一个矛盾.故0P 不可列.6.0P 的测度为零.为了证明0P 的测度为零,只需证明被挖去的区间(){}()11,2,,2n n k I k -=的长度之和为1.事实上,第n 级区间()n k I 的长度是13n ,但第n 级区间共有12n -个,所以被挖去的区间(){}n kI 的总长度为11213n n n -∞==∑.则[]()[]01132111,01,011,0=-=⎪⎪⎭⎫⎝⎛-=⎪⎪⎭⎫ ⎝⎛-=-=-=∑∞--n n n k n n k m I m mG m G m mP . 所以0P 是一个测度为零的不可列集.7. 0P 上的任何函数均是可测函数.零测度集上的任何子集都是可测的.8. 0P 上的任何函数勒贝格可积.零测度集上的任何函数勒贝格可积,且积分值为零.2.3 Cantor 集的应用例1 试作一闭集[]1,0⊆F ,使F 中不含任何开区间,且41=F μ. 解 仿照Cantor 集的作法步骤完成F 的构造: 第一步:在[]1,0的中央去掉长为41的开区间⎪⎭⎫ ⎝⎛=85,831G ; 第二步:在余下的两个闭区间⎥⎦⎤⎢⎣⎡83,0和⎥⎦⎤⎢⎣⎡1,85中分别去掉中央处长为4131⨯的开区间,它们的并是⎪⎭⎫⎝⎛⎪⎭⎫ ⎝⎛=4841,48374811,4872 G ;………… 第n 步:在余下的12-n 个闭区间中,分别去掉其中央处长为41311⨯⎪⎭⎫⎝⎛-n 的开区间,记这12-n 个互不相交的开区间之并为n G . …………令G 为开集,且[]G F -=1,0与Cantor 集具有类似的性质;从而F 为可测集,且433241111=⎪⎭⎫⎝⎛==-∞=∞=∑∑n n n n G G μμ. 故[]414311,0=-=-=G F μμμ. 例 2 在[]1,0上定义()x f :在Cantor 集0P 中的点x ,有()0=x f ;在0P 的邻区间()n n βα,中点2nn x βα+=,有()1=x f ;⎥⎦⎤⎝⎛+⎪⎭⎫⎢⎣⎡+∈n n n nnn x ββαβαα,22, 时()x f 是线性的.试计算()dx x f ⎰1.解 将[]1,0分成两两不相交的集之并:[]()()() n n P βαβαβα,,,1,022110=由Cantor 集的构造知,()111,βα=G 是一个长为31的区间,()()33222,,βαβα =G 是12个长为231的区间的并,()()77443,,βαβα =G 是22个长为331的区间的并……nG是12-n 个长为n 31的区间的并,由积分的完全可加性得: ()()()∑⎰⎰⎰∞=+=11n P dx x f dx x f dx x f nnβα由Cantor 集的性质8有()00=⎰P dx x f ,又由于()x f 在()n n βα,上黎曼可积,因此()()()()dx x f R dx x f L nnn n⎰⎰=βαβα等于相应三角形面积()23111=⎰βαdx x f ,()()231233221==⎰⎰dx x f dx x f βαβα, ()()()()231377665544====⎰⎰⎰⎰dx x f dx x f dx x f dx x f βαβαβαβα, ……………求和得:()⎥⎦⎤⎢⎣⎡+++++=-⎰n n dx x f 323232312113221⎥⎥⎦⎤⎢⎢⎣⎡+⎪⎭⎫⎝⎛++⎪⎭⎫ ⎝⎛++=- 12323232161n21=. 例3 设E 是康托尔三分集的补集中构成区间的中点所成的集,求E '.证明 若0G x ∈,则x 必属于0G 的某一构成区间(),i i αβ.由于在x 的邻域(),i i αβ中,只有一点2i iE αβ+∈,故x 不可能是E 的聚点.若0P x ∈,由康托尔集的构造知,x 的任一邻域(),x ε必含有0G 的某个构成区间(),i i αβ,于是必有E 的点(),2i ix αβε+∈,故x 为的E 聚点.综上便得E E ='.例4 设()x f 在Cantor 集0P 上为0,而在0P 的补集0G 中长为n 31的构成区间上()x f 为()n n 1+,求积分()dx x f ⎰10.解 令n G 为0G 中长为n 31的各区间之并,则nG 有12-n 个长为n31的开区间,且n n n G 3121⋅=-μ,由题意知 ()()()⎩⎨⎧=∈+∈= ,3,2,1;,1,00n G x n n P x x f n由积分的完全可加性及Cantor 集的性质8可知:()()()⎰⎰⎰+=01G P dx x f dx x f dx x f()ndx n dx n nG P ⎰⎰∑++=∞=1010()∑⎰∞=+=11n G nndx n∑∞=⋅=1n n G n μ()1132131-∞=⎪⎭⎫⎝⎛⋅+=∑n n n n令()()111-∞=⋅+=∑n n x n n x h ,则由幂级数的求和运算得:()()312x x h -=,从而()1832311=⎪⎭⎫⎝⎛⋅=⎰h dx x f . 例5 设0P 为Cantor 集,E 为[]1,0中的不可数集,在[]1,0上定义函数()[]⎩⎨⎧-∈+∈+=EP x x EP x x x f 0201,0,4,2,判断()x f 在[]0,1上是否可测.解 由上面的性质6可知,00=mP ,又00P E P = ,由测度的单调性及非负性有()00=E P m ,即()42+=x x f ,从而()x f 在[]0,1上可测.上述我们仅从几个不同的侧面举例讨论Cantor 集的运用,研究和掌握Cantor 集的性质有助于研究直线上点集的性质.特别地,经常运用Cantor 集说明问题和构造反例. 3. Cantor 函数的定义及性质设C 是[]0,1中的Cantor 集,其中的点我们用三进位小数123iii x α∞==∑, 0,1i α=;1,2,i=来表示.(1)作定义在C 上的函数()x ϕ. 对于x C ∈,定义()11232i ii i i i x ααϕϕ∞∞==⎛⎫== ⎪⎝⎭∑∑,0,1i α=;1,2,i =.因为[]0,1中的点可以用二进小数表示,所以有()[]0,1C ϕ=. 下面证明()x ϕ是C 上的单调上升函数.设1212,,;,ααββ是取0或1的数,而且它们所表示的C 中的数有下述关系:112233iiiii i αβ∞∞==<∑∑.若记{}min |i i k i αβ=≠,则我们有110333i ik ki iikii i k βαβαβα∞∞==+---<=+∑∑11223133313k k k k k k i ki k βαβα∞+=+--≤+=+-∑ 13k k k βα-+=.从而得到(注意:k k αβ≠,则k k αβ<.由此知0,1k k αβ==)111123222k i i i i i i i i i i i i k ααααϕ∞∞-∞====⎛⎫==+ ⎪⎝⎭∑∑∑∑11111112222k k ii i i i k i i k i ββ-∞-==+=≤+=+∑∑∑1112223k i ii i i i i i k i βββϕ-∞∞===⎛⎫≤+= ⎪⎝⎭∑∑∑.(2)作定义在[]0,1上的函数()x Φ. 对于[]0,1x ∈,定义()(){}sup |,x y y C y x ϕΦ=∈≤.显然,()x Φ是[]0,1上的单调上升函数,因为[]()[]0,10,1Φ=,所以()x Φ是[]0,1上的连续函数.此外,在构造Cantor 集的过程中所移去的每个中央三分开区间n k I 上,都是常数.我们称()x Φ为Cantor 函数.1. Cantor 函数是[]1,0上的单增函数由其构造方法易得这个性质,在这里就不证明了 2. Cantor 函数是[]1,0上的连续函数引理:f 是[]b a ,上的单增实值函数,[]()b a f ,是区间()()[]b f a f ,的稠密子集,则f 连续.证明:首先证明f 在a x =连续,由假设知对于任意的ε>0,存在[]b a y ,∈,使得()()b f a f -<ε利用f 的单调性知道:当a <x <y 时ε>()()a f x f ->0这样f 在a x =连续,同理可证明f 在b x =连续. 现在取()b a x ,0∈我们只要证明:()()()+-==000x f x f x f明显:()()+-≤00x f x f ,假如二者不相等,则有()-0x f <()0x f 这样我们可以取数λ和0ε>0,使得()00ε+-x f <λ<()00ε-+x f这和[]()b a f ,在()()[]b f a f ,中的稠密矛盾:同理可以证明()()+=00x f x f 证明:由于:() ∞=-⎭⎬⎫⎩⎨⎧≤≤-=1121:212n n n k k G f在[]1,0中稠密,因此[]()1,0f 是[]1,0的稠密子集.得到上述引理,f 是[]1,0上的连续函数. 4. 一维空间中推广的Cantor 集Cantor 集是在区间[]0,1上用十分奇特的方法构造出来的一个完备疏朗集.它不含任何区间,测度为0,是点集中的一个重要例子.现将其用灵活的方法,推广在区间[],a b 上. 4.1 一维空间中推广的Cantor 集的构造任何闭区间[],a b 内均含有一个完备疏朗集.闭区间[],a b 上去掉长度为b an-的开区间()()11,22n n a b a a b a n n -+⎛⎫+-+- ⎪⎝⎭,剩下两个长度为()()12n b a n --的闭区间,又分别在剩下的两个闭区间中间去掉长度为2b a n -的开区间,剩下22个长度为()()()2122n n b a n --⎡⎤⎣⎦-的闭区间.再分别在又剩下的四个闭区间中间去掉长度为3b an-的开区间,剩下32个长度为()()(){}231222b a n n n n -⋅---⎡⎤⎣⎦的闭区间.一般地,当进行第m 次时一共去掉12m -个开区间,剩下2m个长度为()()(){}{}22112222m m m b a n n n n n n --⎧⎫-----⎡⎤⎨⎬⎣⎦⎩⎭个的互相隔离的闭区间.而在第1m +次时,再在这剩下的2m 个闭区间中间,按照上述作法规律各去掉一个开区间,如此这样继续下去.就从[],a b 去掉了可数个互不相交的开区间.由于直线上的闭集或者是全直线,或者是从直线上挖掉有限个或可数个互不相交的开区间所得到的集.所以剩下的必是闭集.于是我们就得到一簇(n a b 、、取值不同,得到的集不同)闭集,记作[](),3n a b P n ≥. 4.2 [],n a b P 的重要性质1. [],n a b P 可测且测度由a b 、和n 的值确定. 证明 因为凡闭集皆可测,故[],n a b P 可测.将构造过程中去掉的开区间的并记为_n P .由可测集合的可数可加性有:_23234222n b a b a b a b am P n n n n ----=+⋅+⋅+⋅+1221b a b an n n ⎡⎤⎢⎥--==⎢⎥-⎢⎥-⎣⎦所以,[][]()_,3,22n n a b b a n mP m a b m P b a b a n n --=-=--=---.2. [],n a b P 是完备集.由于[],n a b P 的邻接区间的作法,它们的任何两个之间根本不存在公共端点,故[],n a b P 是完备集. 3. [],n a b P 没有内点.在[],n a b P 的构造过程中“去掉”手续进行到第m 次为止时,剩下2m个长度为()()(){}{}22112222m m m b a n n n nn n --⎧⎫-----⎡⎤⎨⎬⎣⎦⎩⎭个的互相隔离的闭区间.因此任何一点[]0,n a bx P ∈必含在这2m 个闭区间的某一个里面,从而在0x 的任一邻域()()(){}{}2210,12222m m m b a x n n n n n n --⎛⎫⎧⎫-----⎡⎤ ⎪⎨⎬⎣⎦ ⎪⎩⎭⎝⎭个内至少有一点不属于[],n a b P ,但()()(){}{}221lim 122202m m m m b a n n n n n n --→∞⎧⎫-----=⎡⎤⎨⎬⎣⎦⎩⎭个,故0x 不可能是[],n a b P 的内点. 因为[][]_,,n a b n a b P P =,即[]_,n a b P 没有内点,所以[],n a b P 是疏朗集. 显然当3,0,1n a b ===时,[]30,1P 即Cantor 集合. 5. 二维空间的类Cantor 集可数个互不相交区间的长度的总和等于每个区间长度的和.于是[]0\1,0P 的长度总和为11231n nn ∞--==∑.我们还可以在[]0,1中做出总长度为δ(01δ<<是任意给定的数)的稠密开集.为此,取δδ21+=p ,并采用类似于Cantor 集的构造过程:第一步,我们移去长度为p1的同心开区间;第二步,在留存的两个闭区间的每一个中,又移去长度为21p的同心开区间;第三步,在留存的四个闭区间中再移去长度为31p 的同心区间;….继续此过程,可得一列移去的开区间,记其并集为G(开集),则G 的总长度为111122nn n p p δ∞-=⎛⎫== ⎪-⎝⎭∑. 我们称[]0,1\p C G =为类Cantor 集(当3p =时,p C 就是Cantor (三分)集).pC 也是非空完全集,且没有内点.由此还易知:若要在n R 的单位方体[][][]0,10,10,1⨯⨯⨯中构造具有类似性质的集合,则只需取C C C ⨯⨯⨯(C 是[]0,1中的类Cantor 集)即可.(类Cantor 集也称Harnack 集)Cantor 集推广到二维空间中若要在2R 的单位平面[][]0,10,1⨯上构造具有类似性质的集合,只需取C C ⨯(C 是[]0,1中的类Cantor 集)即可.例 将边长为1面积为4的正三角形S 用三条边的中点连线四等分,去掉中间的正三角形(开区间)记为()11I .把剩下的3个面积为16正三角形(闭区间)分别再四等分,然后各去掉中间的正三角形(开区间),记为()21I ,()22I ,()23I .余下9形(闭区间),又分别把这些正三角形四等分,并各去掉中间的三角形(开区间),记为()31I ,()32I ,()33I ,()34I ,()35I ,()36I ,()37I ,()38I ,()39I .余下27的正三角形(闭区间).依次类推,第n 次去掉中间的三角形(开区间)是()1n I ,()2n I ()13n nI -.令()()10,1,23,1,2n n k n kG I k n -===称0P S G=-为二维空间的康托尔集.1. 0P 的测度为零.由正三角形的分割方法可知,第1次去掉的开区间()11I 的面积为16.第2次去掉的开区间()21I ,()22I ,()23I的面积为64.第3次去掉的开区间()31I ,()32I ,()33I ,()34I ,()35I ,()36I ,()37I ,()38I ,()39I的面积为256第n 次去掉的开区间()1n I ,()2n I ()13n nI -的面积为14n +.因此被挖掉的开区间{()n kI }的总面积为1n ∞==.则()000mP m S G mS mG =-=-(),10n k n k n m I m ∞=⎛⎛⎫=-===⎪ ⎝⎭⎝⎭. 所以0P 的测度为零.2. 0P 没有内点.根据0P 的构造方法可知:“去掉”手续进行到第n 次为止时,剩下3n的互相间隔的闭区间.因此,任何一点00x P ∈必含在这3n 个闭区间的某一个里面,从而在以0x 为中心面积为的圆邻域内至少有一点不属于0P ,但()0n →→∞,故0x 不可能是0P 的内点.所以0P 没有内点.3. 0P 是疏朗集合.0P 既然是没有内点的闭集,那么在任一开区间I 内至少含有开集0P ð的一点,从而I 内至少有一子开区间,其中不含0P 的点.根据疏朗集的定义可知,0P 是疏朗集合.4. 0P 是完全集.由0P 的构造过程知,0P 是一非空闭集,又因为集合中每点都是这个集合的聚点,故0P 是自密闭集,即完全集.参考文献[1]郑维行,王声望.实变函数与泛函分析概要[M].第四版.高等教育出版社,2010年.[2]吴卓人.实变函数论与泛函分析[M].第二版.北京:高等教育出版社,1981.[3]郑海云.关于康托尔集的推广[J].雁北师院学报,1997,13(2):3-4.[4]江泽坚,吴智泉.实变函数论[M].北京:高等教育出版社,1992.[5]程其襄,张奠宙.实变函数与泛函分析基础[M].第二版.北京:高等教育出版社,2003. [6]张喜堂.实变函数论的典型问题与方法[M].武汉:华中师范大学出版社,2000.[5]魏国强,胡善文.实变函数简明教程[Z].上海:华东师范大学出版社,2001.。

Cantor集的性质及其应用

Cantor集的性质及其应用

Cantor集的拓展及其应用黄玉霞指导老师:郭金生(河西学院数学与应用数学专业2012届1班09号, 甘肃张掖734000)摘要本文对Cantor三分集进行了拓展,也就是以五分法构成了Cantor集,然后讨论在此分下Cantor集的相关性质及应用.关键词Cantor集; 测度; 稠密集; 完备集中图分类号O174The Expandability and Applications of Cantor SetHuang Yuxia Instructor Guo Jinsheng(No.09,Class1 of 2012.Specislty of Mathematics and Applied Mathematics,Hexi University,Zhangye,Gansu,734000)Abstract: This paper expands Cantor set ,as well as makes Cantor set by dividing it into five parts, then discusses it’s related properties and applications in this situation.Keywords: Cantor set; measure; dense set; exhaustive set1 引言Cantor三分集是由德国数学家康托尔在研究三角级数问题时构造出来的一个特殊点集,具有许多显著和深刻的性质.它是人类理性思维的产物,并非某个现实原型的摹写,尤其是用传统的几何术语很难对他进行描述.它既不是满足某些简单条件的点的轨迹,也不是一个简单方程的解集,可以说,它是一种新的集合对象.厦门大学数学科学学院的伍火熊通过分析康托三分集的构造过程,剖析了其构造思想的本质特征在于对所给闭区间进行奇数次对等划分,去掉中央开区间后对存留的每一个闭子区间作同样的处理的无限构作过程.董大校指出康托尔集的构造过程是一个无穷操作或迭代过程.本文主要说明康托尔五分集与三分集具有完全相同的奇特性质,康托尔三分集的构造方法的奇特性并非偶然,它适用于由任何正奇数分得的集合,康托尔集巧妙构思和它奇特性质在解决实变函数中一些典型例题中起了重要作用.2 预备知识=(E'表示E的导集),则称E为完备集或完全集.定义2.1[1]设nE R⊂,如果E E'定义2.2[2] 凡和全体正整数所成集合Z +对等的集合都称为可数集,不是可数集的无限集合,称为不可数集.定义2.3[3] 若两个集合A ,B 之间存在着一一的到上的映射,则A 与B 是对等的,记为A B .此时也称A 与B 等势或者有相同的基数,记为A ==B =.定义2.4[4] 设E 为n R 中的一个点集,0x 是n R 中的一个定点,若0x 附近全是E 的点,即0,δ∃>使0(,)U x E δ⊂,则称0x 为E 的内点.定义2.5[5] 设A ,B 是直线上的两个点集,如果B 中每一点的任一环境中必有A 的点,那么称A 在B 中稠密.如果直线上的点集S 在每一个不空的开集中都不稠密,就称S 是疏朗集或无处稠密集.定理1.1(闭集的构造定理) 直线上的闭集F 或是全直线,或者是从直线上挖掉有限个或可数个互不相交的开区间(即F 的余区间)所得到的集.3 主要内容3.1 Cantor 集的构成(1)将闭区间[0,1]R ⊂三等分,去掉中间一个()02个个长度为13的开区间12,33⎛⎫⎪⎝⎭,记作1F ;剩下两个()12个长度均为13的闭区间10,3⎡⎤⎢⎥⎣⎦和2,13⎡⎤⎢⎥⎣⎦,分别记为11G 和21G ;(2)将剩下的两个闭区间10,3⎡⎤⎢⎥⎣⎦和2,13⎡⎤⎢⎥⎣⎦分别继续三等分,去掉其中间两个()12个长度为213的开区间12,99⎛⎫ ⎪⎝⎭和78,99⎛⎫⎪⎝⎭,分别记为12F 和22F ,剩下的四个()22个小闭区间,分别是10,9⎡⎤⎢⎥⎣⎦,23,99⎡⎤⎢⎥⎣⎦,67,99⎡⎤⎢⎥⎣⎦和8,19⎡⎤⎢⎥⎣⎦,分别记为123222,,G G G 和42G ;(3)如此继续下去,第次n 去掉12n -个长度为13n 的开区间1221,,,-n n n n F F F ,剩下2n 个长度为13n 的闭区间,记为12,,n n G G nn G 2, ;上述构造过程中开、闭区间个数及区间长度与分割次数间的关系见表1:第1次分割第2次分割第3次分割第n 次分割开区间个数 02 12 22 12n -闭区间个数 12 22 32 2n小区间长度1321331313n表1(4)将上述过程无限进行. 最终得到一集合列12211n n n G G GG=()=1,2n ,.作点集P =1n n G ∞=,则称P 为Cantor 集.3.2 对Cantor 集构造方法的拓展基于Cantor 三分集巧妙的构造方法,尝试将闭区间[0,1]五等分、甚至任意正奇数等分.3.2.1 将闭区间[0,1]五等分,进行构造(1)将闭区间[0,1]R ⊂五等分,去掉中间两个()12个长度为15的开区间12,55⎛⎫ ⎪⎝⎭和34,55⎛⎫ ⎪⎝⎭,记作11F 和21F ;剩下三个长度均为15的闭区间10,5⎡⎤⎢⎥⎣⎦,23,55⎡⎤⎢⎥⎣⎦和4,15⎡⎤⎢⎥⎣⎦,分别记为11G ,21G 和31G ;(2)将剩下的三个闭区间1[0,]5,23[,]55和4[,1]5分别继续五等分,然后去掉其中间六个长度为215的开区间2212,55⎛⎫ ⎪⎝⎭,2234,55⎛⎫ ⎪⎝⎭,221112,55⎛⎫ ⎪⎝⎭,221314,55⎛⎫ ⎪⎝⎭,222122,55⎛⎫ ⎪⎝⎭222324,55⎛⎫ ⎪⎝⎭. 分别记为12F ,22F ,345222,,F F F 和62F .剩九个小闭区间,分别为210,5⎡⎤⎢⎥⎣⎦2223,,55⎡⎤⎢⎥⎣⎦,241,55⎡⎤⎢⎥⎣⎦,2211,55⎡⎤⎢⎥⎣⎦,221213,55⎡⎤⎢⎥⎣⎦,2143,55⎡⎤⎢⎥⎣⎦,2421,55⎡⎤⎢⎥⎣⎦,222223,55⎡⎤⎢⎥⎣⎦,224,15⎡⎤⎢⎥⎣⎦. 分别记为123222,,G G G ,42G ,52G ,62,G 72,G 82G 和92G ;(3)如此继续下去,第n 次去掉()1221n -+个长度为15n 的开区间()122112,,,n n n nF F F-+,剩下3n 个长度为15n的闭区间,记为12,,n n G G nn G 3, ; 上述构造过程中开、闭区间个数及区间长度与分割次数间的关系见表2:第1次分割 第2次分割 第3次分割第n 次分割开区间个数 023⨯ 123⨯223⨯ 123n -⨯闭区间个数 1323 333n小区间长度15 21531515n表2(4)将上述过程无限进行.最终得到一集合列12311n n n G G GG=()=1,2n ,.作点集2P =1n n G ∞=.在下面3.3中可证得2P 具有与Cantor 三分集完全相同的性质.3.2.2 对于任意给定的正奇数21k +()k N +∈.(1) 将闭区间[0,1]进行21k +等分,并去掉中间的第2,4,k 2 个开区间1112(,)2121F k k =++,2134(,)2121F k k =++,,1212(,)2121k k kF k k -=++记留存部分为1G ,即111111k G G G G +=1232[0,][,][,1]21212121kk k k k =++++. (2) 将剩下的1k +个闭区间分别继续五等分,并去掉每一等分闭区间中的第2,4,,2k 个中间开区间;记1G 中留下来的部分为2G , (3) 如此继续下去,第n 次去掉()11n k k -+个长度为()121nk +的开区间,剩下()1nk +个长度为()121nk +的闭区间,记为()112,,,nk n n nG G G +; 上述构造过程中开、闭区间个数及区间长度与分割次数间的关系件表3:第1次分割 第2次分割 第3次分割第n 次分割开区间个数 ()01k k + ()11k k +()21k k +()11n k k -+闭区间个数 1k +()21k + ()31k +()1nk +小区间长度121k + ()2121k +()3121k +()121nk +表3(4) 将上述过程无限进行. 最终得到一集合列()11211nk n nG GGG +=()=1,2n ,.作点集k P =1n n G ∞=.3.3 五分法下Cantor 集2P 的性质性质3.3.1 2P 是闭集.证明 由2P 的构造过程可知,第一次去掉的开区间为11F 和21F ,第二次去掉的开区间为1234522222,,,,F F F F F 和62F ,那么由表2知,第n 次去掉的是11223,,,n n n n F F F -⨯,依次下去,可以推想,共去掉的开区间可表示为12311n m n n m F -∞⨯==,则123211[0,1]\n m n n m P F -∞⨯===,由闭集构造定理知2P 为闭集.性质3.3.2 2P 是完备集.证明 由于2P 的邻接区间的作法,它们中的任何两个之间根本不存在公共的端点故2P 没有孤立点,因而2P 自密,又2P 是闭集,因此2P 是完备集.性质3.3.3 2P 没有内点.证明 在2P 的作法中,“去掉”过程进行到第n 次为止时,剩下3n 个长度是15n的互相隔离的闭区间,因此任何一点02x P ∈必含在3n 个闭区间的某一个里面.从而在0x 的任意邻域01(,)5n U x 内至少有一点不属于2P ,但105n →()n →∞,故0x 不是2P 的内点.性质3.3.4 2[0,1]\P 是可数个互不相交的开区间,其长度之和为1.证明 在2P 的构造过程中,第n 次去掉的123n -⨯个长度为15n 的开区间,因2[0,1]\P中互不相交的开区间之和为11235n nn -∞=⨯∑1222323555n n-⨯⨯=+++ 11233(1)555n n --=⋅+++1=. 性质3.3.5 2P 是零测度集.证明 用2c P 表示[0,1]上2P 的余集,则22[0,1]\c P P =.由性质3.3.4知()21cm P =.故()()()22[0,1]c m P m m P =-110=-=.性质3.3.6 2P 是不可数集.证明 假设2P 是可数的,将2P 中点编号成点列1x ,2x ,,k x ,,也就是说,2P 中任一点必在上述点列中出现.显然,1[0,]5,23[,]55与4[,1]5中应至少有一个不含有1x ,用1G 表示这个闭区间.将1G 五等分后所得的三个闭区间中,应至少有一个不含2x ,用2G 表示它.然后用3G 表示五等分2G 时不含3x 的那个闭区间,如此下去.由归纳法,得到一个闭区间列{}k kN G ∈.由上述取法知,1G ⊃2G ⊃⊃k G ⊃,,k x ∉k G ,k ∈N ,同时,易见k G 的长为()105k k →→∞.于是根据数学分析中区间套定理,存在点∈ξk G ,k ∈N .可ξ是k G 的端 点集的聚点,从而是闭集2P 的聚点,故∈ξ2P .由于上面已指出k x ∉k G ,k ∈N ,故≠ξk x ,k ∈N .这是一个矛盾.故2P 不可数.性质3.3.7 2P 非空.证明 从2P 的构造过程来看,每个区间的端点,例如0,125,23,,12525这样的端点都是被保留下来的,故2P ≠∅.性质3.3.8[6] 2P 不含任何区间.证明 由2P 的构造过程可知,第n 次分割后的第i ()1,2,,3n i =个小区间的长度为10()5n n L n =→→∞ 故2P 中不含任何区间. 性质3.3.9 2P 是疏朗集.证明 由2P 的构造,02x P ∀∈和0ε>,0(,)U x ε内包含有无穷多个被去掉的小区间,因此02(,)U x P ε⊄,即2P 在0(,)U x ε中不稠密,根据定义2.5即得2P 是疏朗集. 性质3.3.10 2P 没有孤立点.证明 由性质3.3.1知2P 是闭集,又由闭集构造定理知,闭集的孤立点一定是它的两个余区间的公共端点,由2P 的构造过程知,这样的公共端点是不存在的,即2P 没有孤立点.性质3.3.11 2P 与R 对等.证明 由性质3.3.6知,2P c ==,又R c ==,从而2P R .由此说明2P 中的点与R 中的一样多.又因为2P ⊂[0,1]⊂R ,由此说明,“部分小于全体”的结论在无穷集合中是不成立的.4 Cantor 集的应用Cantor 集的巧妙构思和它奇特的性质为构造一些反例提供了启示,也为一些题目的证明与求解带来的方便,下面将分别举例来说明.4.1 Cantor 集在反例中的应用.例1 孤立点集必是疏朗集,而疏朗集未必是孤立点集. 例如 Cantor 集中的任一元都是疏朗集,但不是孤立点集. 例2 存在R 中零测度集E ,使得对每个x E ∈及任意0δ>,有E(0,x δ-)0x δ+为不可数集.此题中可取{},E P Q x y x P y Q =+=+∈∈.其中P 为Cantor 集,Q 为有理数集.例3 在[]0,1上做出的完备疏朗集的测度必为1. 反例 2P 是[]0,1上的完备疏朗集,但其测度为零.例 4 可数集的测度为零,但测度为零的集合未必都是可数集. 反例 2P 的测度为零,但它是不可数集. 4.2 Cantor 集及其性质在证明题中的应用.例1[8] 无理数在R 中是稠密的,但由无理数组成的疏朗的完全集是存在的.证明 任取两个无理数α和β()αβ<,设闭区间[],αβ中有理数为{}12,,,,n r r r ,仿照Cantor 集的构造法,第一步,从[],αβ中挖掉开区间1F ,1F 满足以[],αβ的中点为中点,长度小于βα-且包含1r ;从余下的两个闭区间中挖掉与1F 性质类似的两个开区间12F 和22F ,且使122r F ∈,232r F ∈,如此这样做下去,[],αβ中余下的即是一个由无理数组成的疏朗的完备集.例2 设P 是Cantor 集,E 在[]0,1中为不可数集,在[]0,1上定义函数[]22,,()4,0,1.x x P E f x x x PE +∈⎧⎪=⎨+∈-⎪⎩判断()f x 在[]0,1上是否可测.解 由性质3.3.5知,0mP =.又P E P ⊂,由测度的非负性及单调性,有()0m PE ≥,()m PE mP ≤故()0m PE =即2()4f x x →+.a e 于[0,1],从而()f x 在[0,1]上可测.例3 设()f x 在集合2P 上为1,而在2P 的补集G 中的长度为15n的构成区间上()f x 为n ,求积分10()f x dx ⎰.解 记n G 为G 中长度为15n 的各个开区间之并,则nG 有123n -⨯个长度为15n的开区间且115n n G ∞==∑,1235n n nmG -⨯=. 由题意知21,,()(1,2,),.x P f x n n x G ∈⎧==⎨∈⎩1()f x dx ⎰=2()()P G f x dx f x dx +⎰⎰=21()nP G n f x dx ndx ∞=+∑⎰⎰1nG n ndx ∞==∑⎰=1n n n mG ∞=⋅∑=111235n n n n ∞-=⋅⨯⋅∑=12335nn n ∞=⎛⎫ ⎪⎝⎭∑ 令12335nN N n S n =⎛⎫= ⎪⎝⎭∑,则11323535n N N n S n +=⎛⎫=⋅ ⎪⎝⎭∑. 21323333535555N N N N S S N +⎡⎤⎛⎫⎛⎫⎛⎫-=+++-⋅⎢⎥ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎢⎥⎣⎦即23211555NN S N ⎛⎫⎛⎫=-⋅+ ⎪ ⎪⎝⎭⎝⎭535252NN S N ⎛⎫⎛⎫=-⋅+ ⎪ ⎪⎝⎭⎝⎭5355lim lim 2522N N N N S N →∞→∞⎡⎤⎛⎫⎛⎫=-⋅+=⎢⎥ ⎪ ⎪⎝⎭⎝⎭⎢⎥⎣⎦故105()2f x dx =⎰.5 小结综合上述内容,根据Cantor 三分集的构造特征,对其构造进行了拓展,即以五分法构成了2P ,并对集合2P 所具有的性质做了探究证明,进而发现在五分法下构成的集合2P 具有与Cantor 三分集完全相同的奇特性质.从而揭示了Cantor 三分集这种奇特的构造方法并非偶然.之后通过实例将Cantor 三分集、五分集及其性质得以运用,特别是在范例中的运用破除了一些似是而非的错觉,体现了Cantor 集在数学问题的解决中的重要性. 致谢 诚挚的感谢郭金生老师的悉心指导!参 考 文 献[1]于兴太,杨明顺.Cantor 三分集构造方法探究[J].江西科学学报,2010,28(2):147-149. [2]程其襄等.实变函数与泛函分析基础[M].三版.高等教育出版社,2010,6. [3]刘培德.实变函数教程[M].科学出版社,2006.[4]徐森林,薛春华.实变函数论[M].清华大学出版社,2009,8.[5]夏道行,吴卓人等.实变函数论与泛函分析[M].二版.高等教育出版社,2010,1. [6]熊国敏.谈谈Cantor 集[J].安顺师专学报,2002,4(4):53-55.[7]王有一.Cantor 集合的应用[J].宝鸡文理学院学报(自然科学版),1994,1(1):122-125. [8]董大校.Cantor 集性质的应用[J].玉溪师范学报2009,25(8):18-22.。

相关主题
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

广义Cantor 集张北一中 郭彦军 摘要:本文考察了包括直线上的各种广义Cantor 集,由相似变换导出它们的级数表达式,给出它们维数的定义及计算方法,并考察了它们的性质。

关键词:广义Cantor 集;迭代函数系;Hausdorff 维数 1.定义:选取[]1,0区间作为初始元,然后进行m 等分,从中选取l 个小闭区间作为生成元,如此生成的分形集我们称之为广义Cantor 集,记作C 。

2.迭代函数系:广义Cantor 集C 的构造过程可描述为迭代函数系ma x m x f ma x m x f ma x m x f l l +=+=+=1)(1)(1)(2211[]1,0=∈I x其中i a 取}{1,2,1,0-m 中的某些值,l i ,2,1=。

即广义Cantor 集满足l 个相似变换: ma mf x ii +==ξξ)( l i ,2,1= , 10≤≤x ,10≤≤ξ。

3.将[]1,0区间推广到任意区间[]b a ,: 首先我们给出这样一个一一对应:x a b a y )(-+= []1,0=∈I x则mb a a a m m a a b a m b i i i i +-=-+=)()( 下面给出任意区间[]b a ,上的相似变换:mb mag y ii +-==ηη)( b a ≤≤η b y a ≤≤ i b 取}{b m a b a m ma )1(,)1(,-++- 中的某些值。

4.广义Cantor 集的级数表示:首先回顾一下广义Cantor 集的定义过程:第一次生成l 个闭区间⎥⎦⎤⎢⎣⎡++=m m a ma F i i i 1,0)1()1(,1 {}l i a a a a ,,21)1(∈区间长度为mL 11=。

第二次对每个小闭区间i F ,1进行m 等分,从中选取l 个闭区间,得2l 个闭区间2)2()1()2()1()1()1(*)1(ma m a m a m a m m a m a i i i i i i +=-++ 则⎥⎦⎤⎢⎣⎡+++=22)2()1(2)2()1(,21,m m a m a m a m a F i i i i i }{l i i a a a a a ,,,21)2()1(∈区间长度为=2L 21m 。

假设第k 次生成k l 个闭区间⎥⎦⎤⎢⎣⎡+++++++=k k k i i i k k i i i ik m m a m a m a m a m a ma F 1,)(2)2()1()(2)2()1(,当1+=k n 时,即对m F i k ,等分,从中选取l 个闭区间,得1+k l 个闭区间1)1()()1()1()(2)2()1(*1++++++=++++k k i k k i i k i k k k i i i ma m a m a m a m m a m a m a 则⎥⎦⎤⎢⎣⎡+++++++=++++++11)1(2)2()1(1)1(2)2()1(,11,k k k i i i k k i i i i k m m a m a m a m a m a ma F所以⎥⎦⎤⎢⎣⎡+++++++=n n n i i i n n i i i i n m m a m a m a m a m a m a F 1,)(2)2()1()(2)2()1(,}{l i n j a a a a l j i ,2,1.,2,1,,21==∈。

当+∞→n ,01→n m ,则 ++++=→n n i i i i n ma m a m a x F )(2)2()1(, 所以广义Cantor 集的级数表示为∑∞==1k kkmx x }{l k a a a x ,,21∈。

例1.(Cantor 三分集)2,3==l m 则它的相似变换为323)(3)(21+===ξξξξf f x []1,0=∈I ξ所以级数表示为∑∞==13k kkx x }{2,0∈k x 例2.(12+m 分集)将区间[]1,0进行12+m 等分,去掉中间的开区间⎪⎭⎫⎝⎛++-⎪⎭⎫ ⎝⎛++⎪⎭⎫ ⎝⎛++122,1212,124,123,122,121m m m m m m m m (所有编号为偶数的开区间,共m 个),再将剩下的1+m 个闭区间⎥⎦⎤⎢⎣⎡+⎥⎦⎤⎢⎣⎡++⎥⎦⎤⎢⎣⎡+1,122,123,122,121,0m m m m m 分别12+m 等分,并各去掉中间的m 个开区间,然后再把剩下的2)1(+m 个闭区间同法处理,如此下去,便得12+m 分集。

其构造过程可描述为迭代函数系:12212)(12212)(12)(121+++=+++=+==+m m m f m m f m f x m ξξξξξξ[]1,0=∈I ξ则其级数表示为:∑∞=+=1)12(k kk m x x }{m x k2,2,0 ∈ 例3.对[]1,0区间n 等分(3>n ,而且可以不是整数),留下两端n 1段,去掉中间nn 2-段,这样得到的分形集其相似变换为:nn nf nf x 1)()(21-+===ξξξξ []1,0=∈I ξ所以级数表示为;∑∞==1k kknx x }{1,0-∈n x k 例4.(Cantor K 分集)以闭区间[]1,0的中点21为中心删去闭区间[]1,0的中间长度为K1的开区间⎪⎭⎫ ⎝⎛+-=K K I 2121,2121)1(,剩下两个闭区间为⎥⎦⎤⎢⎣⎡+⎥⎦⎤⎢⎣⎡-1,2121,2121,0K K ,然后再分别从剩下的两个闭区间以中点为中心删去剩下的两个闭区间的中间长度为21K 的开区间,如此得到的分形集称为Cantor K 分集。

这一构造过程可描述为迭代函数系:KK K K f KK f x 2121)(21)(21++-=-==ξξξξ []1,0=∈I ξ其中2,21=-=l KK m 它的级数表示为:∑∞=-=1)21(k kk KK x x ⎩⎨⎧⎭⎬⎫-+∈11,0K K x k 5.广义Cantor 集的Hausdorff 维数定义变换:F II22→如下: li i B f B F 1)()(== I B ⊂∀引理1 F 是I 2上的压缩映射 证明:x y mx f y f I y x i i -=-∈∀1)()(,, 所以A B mA fB f I B A i i -≤-⊂∀1)()(,,。

其中A B -表示A 与B 的Hausdorff 距离,即A B -⎩⎨⎧⎭⎬⎫=∈∈),(sup ),,(sup max A x B x B x A x因而F 是I 2上的压缩映射定义 N n B F F B F n n ∈∀=-)),(()(1 推论1 )(lim I F A n n ∞→=存在,显然C A =证明:由于[][][]a b m lm a b m b m b b a f b a f b a F li i i li i li i -=⎥⎦⎤⎢⎣⎡-+===∑∑===111,),(),(),(所以I m l I F =)(,进而有n n n mlI m l I F )()()(== 定义:对任意⎩⎨⎧⎭⎬⎫=<∈=>n n m I m r Z n r n r )1()1(max )(,0 则有引理2 mm rr n mr 1log 1log)(1log log ≥> 证明: 由)(1)()1()1(r n r n mr m <≤+两边取对数可得。

定理:对任意0>r ,存在常数1C 和2C 使得mm lr n mm lrC I F rC 1log log 2)(1log log 1)(≤<证明: 由引理2左边不等式得1,)()()(11log log 1log log )()(==>=C rml m l I F mm lmr r n r n同理由引理2右边不等式得mm lmm lmm lmm rr n r n mC rC mr mlm l I F 1log log 21log log 21log log 1log 1log)()(,)1()()()(===≤=推论2 当0→r 时,m m lr n r I F 1log log )(~)(推论3 rI F s r n r log )(log lim)(0→=存在,且mm l s 1log log =定义:我们定义)(lim I F C n n ∞→=的维数为mls d s log log 1=-= 6.广义Cantor 集C 的性质:性质1 广义Cantor 集不含任何区间证明:由广义Cantor 集的定义过程可知,闭区间⎥⎦⎤⎢⎣⎡+++++++=n n n i i i n n i i i i n m m a m a m a m a m a ma F 1,)(2)2()1()(2)2()1(,01,→=∞→nn m L n 所以C 中不含任何区间。

性质2 广义Cantor 集不含内点定义,R E ⊂点x 是E 的内点,存在,0>δ使()E x x ⊂+-δδ,反证:假设广义Cantor 集存在内点x ,则有C x ∈,存在0>δ,使得()C x x ⊂+-δδ,。

取δ<nm 2,在C 的构造过程中,第n 步有i n F x ,∈。

存在某一闭区间i n F ,记作)1(,i n F ,长度为nm1,使)1(,i n F x ∈ 从而有),()1(,δδ+-⊂x x F i n但在构造的1+n 步,把)1(,i n F 进行m 等分又除去了)1(,i n F 的l m -个开区间 从而C F i n ⊄)1(,。

性质3 广义Cantor 集是自密的证明: C x ∈∀,设()βα,是包含x 的任意一个开区间。

令}{x x --=βαδ,min ,则0>δ,取0n 充分大有δ<01n m 既然x 是永远删不去的点,x 也应该属于删去0n 次以后所余下的某一个闭区间中。

设这个闭区间为)1(,0i n F ,则()βα,)1(,0⊂i n F 。

于是它的两个端点也应该在()βα,中,但它们都是属于C 的点,所以()βα,中至少有一异于x 的点属于C ,则C x '∈ 所以C C '⊆,则C 是自密的。

性质4 C 是一闭集,即C C ⊂' 证明: 事实上设A 是所有被删去的点的集合,则A 是可数个开集的和,所以是开集。

而[][]c A A C ⋂=-=1,01,0,故C 是闭集。

由性质1,性质4知 广义Cantor 集为疏朗集。

由性质3,性质4知 广义Cantor 集为完备集。

所以广义Cantor 集是疏朗的完备集。

相关文档
最新文档