直线上子集的 Hs-拓扑及其应用

龙伦海,梁 莉,单家俊

(海南大学信息学院,海南 海口 570228)

直线上子集的 Hs-拓扑及其应用

龙伦海,梁 莉,单家俊

(海南大学信息学院,海南 海口 570228)

本文利用 s- 维 Hausdorff 测度给 出了直线上一个子集 E 上的 Hs拓扑和 Hs- 连通度的定义.讨论了它们的性质及其应用,解决了紧的 s-集在欧氏拓扑下往往不连通的问题.

分形;Hausdorff 测度;Hs- 拓扑;Hs- 连通度

1简介

本文在第二节给出了与后面内容相关的一些基本拓扑知识[1]; 第三节针对于实数集中的一个子集 E, 利 用 其 s- 维 Hausdorff 测度[2,3]给出了 E 上的一种新拓扑的定 义, 称之为 Hs-拓扑;第四节研究了 E 上 Hs-拓扑的性质,并提出了Hs-连通度的概念;第五节作为应用给出了两个分形集E 和 F 在分别赋予 Hs-拓扑和 Ht-拓扑之后,它们之间一个映射为连续映射所满足的条件,本文的主要目的是在该种拓扑下,为进一步研究分形之间映射的微积分建立理论基础[4−7].

2相关拓扑知识

设 X 是一个非空集合,T 是 X 的子集作为元素构成的集合系,二元空间 (X,T) 称为是一个拓扑空间当且仅当 T 包含空集 ∅ 和X,且对任意并和有限交保持封闭性,T 称为 X 上的一个拓扑,T 中的元称为开集.如实数集R 上的欧氏距离产生的所有开集构成的T 就是R 的一个拓扑,称为欧氏拓扑.如果 X 上的两个拓扑 S,T 满足 S ⊂ T,则称 S 粗于 T 或者T 比 S 更细,显然最粗的拓扑是 {∅,X},而最细的拓扑是 X 的所有子集构成的集合系.

设 (X,T) 是一拓扑空间,Y 是 X 的非空子集,令 TY={Y ∩ G|G ∈ T},则称 (Y,TY)是 (X,T) 的拓扑子空间. 若 R 是 X 上的等价关系,其等价类构成的集合 X/R 上的集合系TR={V |π−1(V) ∈ T} 形成一个拓扑,其中 π 是从 X 到 X/R 的自然映射,称 (X/R,TR)是 (X,T) 的一个商拓扑空间.

设 (X,T) 是一拓扑空间,若 X 不能分解为两个非空开集的不交并,则称 (X,T) 是连通的; 若 X 的任意开覆盖都存在有限的子覆盖, 则称 (X,T) 是紧的. 对 x ∈ X 和 V ∈ T 满足x ∈ V,则称V 是 x 的一个开邻域,若X 中的任意两个不同点存在不交的开邻域,则称X 是Hausdorff 分离空间.

设 f 是从拓扑空间 X 到拓扑空间 Y 的一个映射,x ∈ X 满足 f(x) 的任意开邻域 V,都存在 x 的一个开邻域 U 有 f(U)⊂ V,则称 f 在点 x 处连续;若 f 在 X 的每个点都连续,则称f 是连续映射.连续映射一定将连通集映射成连通集,将紧集映射成紧集.

3 Hs-聚点的定义及性质

设E 是实数集 R 中的一个子集,取 T 是实数集 R 上的欧氏拓扑,S 为 T 在 E 上诱导的子拓扑,使 (E,S) 成为 (R,T) 的拓扑子空间. 当 E 是一个 Hausdorff 维数严格小于 1 的分形时,(E,S) 往往是完全不连通的 Hausdorff 分 离空间, 即 T 中没有任何一个非空开集属于S. 为此对任意 s ≥ 0,将给 出 E 上的一 类 比 S 更粗的拓扑 Hs- 拓扑的定义,记为 Hs,使得(E,Hs) 成为连通的拓扑空间. 首先给出 E 的 Hs- 聚点的定义.

定义3.1设 δ＞ 0,x ∈ R,记 Bδ(x)=((x − δ,x)∩ E)∪ ((x,x+ δ)∩ E) 为点 x 在 (E,S)中的去 心 δ - 邻 域. 任 取 s ≥ 0, 如果 对 任意 δ＞ 0, 有 s- 维 Hausdorff 测 度 Hs(Bδ(x)) 严格大于零.则称 x 为E 的一个Hs-聚点,否则称 x 为 E 的一个 Hs-孤立点.E 的所有 Hs-聚点组成的集合用 Js(E) 表示.

注意 E 的一个 Hs-聚点可能属于 E,也可能不属于 E,如对所有 0 ≤ s ≤ 1 开区间 (0,1)的 Hs- 聚点集 为 闭区间 [0,1]. 从该定义可 以看出 E 的一个 Hs- 聚点 在其任意的 去 心左邻域 (x − δ,x) ∩ E 或者其去心右邻域 (x − δ,x) ∩ E 内分布有正的 s- 维 Hausdorff 测度. 并且Hs-聚点具有下述性质.

命题3.2设 E ⊆ R,s0是 E 的 Hausdorff 维数.

(1) 当 s=0 时,R 中一个点 x0是 E 的 H0- 聚点当且仅当对任意 δ＞ 0,x0的去心 δ-邻域 Bδ(x0) 为无限集,因而当 E 是有界集时,J0(E)= ∅ 的充分必要条件是 E 为有限集.

(2) 当 s ＞ s0时,E 无任何 Hs- 聚点,即 Js(E)= ∅.

(3) 当 0 ≤ s1≤ s2时,有 Js1(E) ⊇ Js2(E),即 Js(E) 随 s 的增大而单减.

(4) 当 E1⊆ E2时,对任意 s ≥ 0 有 Js(E1)⊆ Js(E2).

(5) 当 s ＞ 0 时,Js(E)= ∅ 的充分必要条件是 E 的 s- 维 Hausdorff 测度 Hs(E)=0.

证由 Hs- 聚点的定义和以下 s- 维 Hausdorff 测度的性质 (a),(b),(c) 和 (d) 可分别证明命题中的 (1),(2),(3) 和 (4).

对 E 中的任意子集 A,(a)A 的 0- 维 Hausdorff 测度 H0(A) 指的是 A 所包含的点的个数;(b) 当 s ＞ s0时, 由 Hausdorff 维数 dimHA ≤ dimHE=s0可 得 A 的 s- 维 Hausdorff测度 Hs(A)=0;(c)A 的 s- 维 Hausdorff 测 度 Hs(A) 随 s 的增 大 而非增;(d) 当 E1⊆ E2时,对任意 s ≥ 0,有 Hs(E1) ≤ Hs(E2).

对于性质 (5), 只 需证明必要性. 当 s ＞ 0 时, 若 Js(E)= ∅, 由 定 义 3.1 可 得对任意有理数 x ∈ Q,存在 δ＞ 0 使得 s- 维测度, 从而有 证毕.

例1(1) 若 E 是 R 中的 一 个 有 限 子 集, 则对任意 s ≥ 0,E 中都没有 Hs- 聚点, 即Js(E)= ∅;(2) 若 E 是 R 中的某一个区间的可数稠密子集,记E 为 E 在拓扑空间 (R,T) 中的闭包, 则 J(3) 若 E 是闭区间 [0,1] 上的 Cantor 三分集, 则当时有 Js(E)=E, 而当对于更一般的分形集 E 的 Hs- 聚点集 Js(E),将通过下述命题来加以描述.

命题3.3设 E 是由迭代函数系 {f1,···,fn} 生成的分形不变集,且对每个 i=1,···,n, fi的 Lipschitz 常数 ci满 足 0 ＜ ci＜ 1. 令 s0是 E 的 Hausdorff 维数. 有 E 的 Hs- 聚点集为

证当 s ＞ s0,E 的任意子集 的 s- 维 Hausdorff 测度都等于零, 因而 E 没有 Hs- 聚点.下 面 只 需证 明当 0 ≤ s ＜ s0时 有 E=Js(E) 成立. 当 0 ≤ s ＜ s0时, 一方 面由 Hausdorff维数 的定 义知 E 的 s- 维 Hausdorff 测度 Hs(E) 是 正无 穷大, 从 而 E 的 各级 基 块的 s- 维Hausdorff 测度也是正无穷大.

另一方面,任取 x ∈ E 和对任意的 δ＞ 0,都一定存在充分大的 N,使得 x 在 (E,S) 中的去心 δ- 邻域 Bδ(x) 至少包含 E 的一个 N 级基块, 因而 s- 维 Hausdorff 测 度 Hs(Bδ(x))严格大于零,所以x 是E 的一个 Hs-聚点.证毕

4 Hs-拓扑的定义及性质

设 E 是 R 中的一个子集, 对任意 s ≥ 0, 现在 E 中定义如下点之间的等价关系 Rs.

定义4.1称 E 中的两点 x1,x2具有关系 Rs当且仅当 E 中介于 x1和 x2之间的所有点形成的集合没有 Hs- 聚点, 即 Js([x1,x2]∩ E)= ∅ (不妨假设 x1≤ x2).

现用 x1Rsx2表示 x1和 x2之间具有关系 Rs. 由该定 义及命题 3.2 中 (1) 和 (2),可直接得到 E 中的任意两点 x1,x2之间是否具有关系 Rs的如下判别方法.

命题4.2任取 x1,x2∈ E,不妨设 x1≤ x2.

(1)x1R0x2的充分必要条件是交集 [x1,x2]∩ E 为有限集.

(2) 对 任 意 s ＞ 0,x1Rsx2的充 分 必要条件 是 交集 [x1,x2]∩ E 的 s- 维 Hausdorff 测度Hs([x1,x2]∩ E)=0.

设 E ⊆ R, 对任意 s ≥ 0, 由定义 4.1 和命题 4.2 容易验证 Rs为 E 中点之间的一个等价关系.任取 x ∈ E,令 x∗为 x 在关系 Rs下的等价类. 由命题 4.2 可得如下命题 4.3.

命题4.3任取 E ⊆ R 和 x ∈ E. 当 s=0 时,在等价关系 R0下 x 的等价类 x∗,可表示成所有这些交集 [x1,x2]∩ E 的并, 其中 x1,x2∈ E 满足 x1≤ x ≤ x2且交集 [x1,x2]∩ E 为有限集. 而当 s ＞ 0 时,在等价关系 Rs下 x 的等价类 x∗,可表示成所有这些交集 [x1,x2]∩ E的并, 其中 x1,x2∈ E 满足 x1≤ x ≤ x2且 s- 维 Hausdorff 测度 Hs([x1,x2]∩ E)=0.

该命题表明E 中任意一点 x 在等价关系Rs下的等价类x∗可表示成一个包含 x 的区间I(x) 与 E 的交. 事实上,I(x) 是包含 x∗的最小区间,我们称 I(x) 为 E 中的点 x 所属的 Rs- 等价区间. 注意到 I(x) 在 E 和 s ≥ 0 确定的情况下由 x 唯一确定,可能是开区间,也可能是闭区间,还可能是半开半闭区间,同时可能是单点区间,有界区间或无界区间,并且E 的所有不同的 Rs-等价区间系 {I(x)} 形成 E 的两两不交的覆盖.

记 E/Rs为 E 中的所有点在关系 Rs下的等价类作为元素形成的集合,(E/Rs,SRs) 为(E,S) 在等价关系 Rs下的商拓扑空间. 为清楚起见,现通过下面一些例子来说明 E/Rs和SRs的构成情况.

例2(1) 当 E 是 R 中的一个有限子集时,对任意 s ≥ 0,有

(2) 当 E 是 R 中的一个可数子集时,由于对所有 s ＞ 0,E 中任意两点都在关系 Rs等价,因此有

但当s=0 时情况比较复杂,如当 E 是自然数集N 时,有

当E 是有理数集Q 时,有

当E={n1

| ∀n ∈ N} 时,有

当 E={0,n1

| ∀n ∈ N} 时,有

(3) 当 E 是闭区间 [0,1] 上的 Cantor 三分集时,E 的 Hausdorff 维数是 s0=llnn23,s0- 维Hausdorff 测 度是 1, 因 此 对所 有 s ＞ s0, 有 E/R0={E},SR0={∅,{E}}; 而 对 0 ≤ s ≤ s0的情况,对任意 x ∈ E,当 x 是某个空格区间的端点时,x∗由该空格区间的两个端点组成,如1的等价类是由1和2构成,否则当 x 不是某个空格区间的端点时,x∗只含有唯一的 x.

3

33

对任意 s ≥ 0,针对于 (E,S) 在等价关系 Rs下的商拓扑空间 (E/Rs,SRs),令 π 是从 E到 E/Rs的自然映射. 取 E 上的集合系 Hs={π−1(V)/V ∈ SRs}, 根据商拓扑空间的定义, π 是连续映射,因此集合系 Hs是 E 上的一个由Rs确定的拓扑.由此定义

定义4.4称 Hs是 E 上的 Hs- 拓扑, 称 (E,Hs) 是 Hs- 拓扑空间.

下面针对于例2中的一些例子给出其Hs-拓扑的表达式.

例3(1) 当 E 是 R 中的一个有限子集时,对任意 s ≥ 0,有 Hs={∅,E}.

(2) 当 E={0,n1| ∀n ∈ N} 时,有 H0={∅,E − {0},E} 及 Hs={∅,E}(s ＞ 0).

(3) 当 E 是 闭 区 间 [0,1] 上 的 Cantor 三 分 集 时, 有 Hs={∅,E}(s ＞llnn23), 而 对0 ≤ s ≤llnn23的情况 下 Hs是 由 S 中的开集簇 {(a,b) ∩ E} 通过任意并 和 有限交生 成 的拓扑,其中a满足当a∈/ E 时a= −∞,当a∈ E 时 a是除了所有各级空格区间的左端点之外的所有点.类似地,b需满足当 b∈/ E 时 b=+∞,当b∈ E 时 b为除了所有各级空格区间的右端点之外的所有点.

对于更一般的 E ⊆ R,E 上的 Hs- 拓扑可以通过下述定理 4.6 加以描述.

首先由商拓扑空间 (E/Rs,SRs) 和 Hs- 拓扑空间 (E,Hs) 的定义可得如下引理.

引理4.5设 U ∈ S, 有 U ∈ Hs的充分必要条件是 ∀x ∈ U,x 在等价关系 Rs下的等价类 x∗⊂ U. 特别是当 E 中的点 x 在等价关系 Rs下的等价类 x∗不包含 E 的 Hs- 聚点时,有x∗∈ Hs成立.

证按照定义有 U ∈ Hs⇔ ∃V ∈ SRs使得 U= π−1(V)∈ S,又

因此有 U ∈ Hs当且仅当 ∀x ∈ U,x∗⊂ U.

当 E 中的点 x 在等价关系 Rs下的等价类 x∗不包含 E 的 Hs- 聚点时,由命题 4.2,E的任何一个 Hs-聚点只能严格大于或者严格小于x∗的每一个点,因此可表x∗为一个 R 中包含 x∗的开区间与 E 的交集.即 x∗∈ S,所以有 x∗∈ Hs成立.证毕

由该引理知集合E 上的Hs-拓扑是E 上的欧氏拓扑S 中满足引理条件的所有开集构成的子拓扑.因此可得 E 上的 Hs-拓扑的生成基如下.

定理4.6对任意 E ⊆ R 和 s ≥ 0. 若令 E1是由 −∞ 和 E 中的所有点的 Rs-等价区间是左开时的左端点及是右闭时的右端点共同构成的集合,E2是由+∞ 和E 中的所有点的Rs-等价区间是左闭时的左端点和是右开时的右端点共同构成的集合,则有 E 上的Hs-拓扑 Hs是由 S 中的开集簇 {(a,b)∩ E} 生成的拓扑,其中 a ∈ E1,b ∈ E2.

证令 Ω 为 E 上的欧氏拓扑 S 中满足定理条件的开集簇 {(a,b)∩ E}.

一方面对任意的 U ∈ Ω,即存在满足定理条件的 a ∈ E1和 b ∈ E2使得 U=(a,b)∩ E.任取 x ∈ U,有 a ＜ x ＜ b 成立,由 E1和 E2的定义知 x 在等价关系 Rs下的等价类 x∗包含在 U 中,所以 Ω ⊆ Hs.

另一方面对任意的 U ∈ Hs, 由引理 4.5 知 U ∈ S 且 ∀x ∈ U 有 x 在等价关系 Rs下的等价类 x∗⊂ U. 任取 x ∈ U,由于 x∗⊂ U ∈ S,因此存在 x∗在 S 中一个充分小的邻域 Ux∗使得 x∗⊂ Ux∗ ⊂ U, 并且可表 Ux∗ =(a(x),b(x)) ∩ E ∈ Ω, 比如当 E 中小于 x 的每一点 y 的Rs- 等价区间 I(y) 都是左闭右开时取 a(x) 为 −∞,否则存在 y ＜ x 使得 I(y) 是左开的或右闭的区间, 可取 a(x) 为 I(y) 是左开时的左端点或者右闭时的右端点. 类似也可选取 b(x) 或者为+∞ 或者为大于x 的某个点y的 Rs-等价区间的左闭端点或右开端点.这样即可表示因此 U 属于 Ω 生成的拓扑中. 证毕

定理4.7对任意 E ⊆ R,E 上的 Hs- 拓扑 Hs在欧氏拓扑 S 中随着 s 的增大而逐步加粗,即对任意有关系式成立.

证对 任 意 0 ≤ s1≤ s2, 由 命 题 4.2 知 E 中 的 两 个 点 x,y 若 有 关 系 xRs1y, 则 一 定 有xRs2y 成立. 因此由命题 4.3 可得 E 中任意点在关系 Rs1下的等价类一定包含在关系 Rs2下的等价类中, 再由引理 4.5 可得关系式 Hs2⊆ Hs1⊆ S 成立. 证毕.

下面将讨论 Hs- 拓扑空间 (E,Hs) 的连通性问题.首先给出 (E,Hs) 是连通的充分必要条件.

定理4.8设令 I 是包含 E 的最小区间. ∀s ≥ 0,Hs- 拓扑空间 (E,Hs) 是连通的充分必要条件是 其中 I(x) 是 x 所属的 Rs-等价区间.

证先证充分性. 任取 x0∈ E,令 U(x0) 为拓扑空间 (E,Hs) 中包含 x0的连通分支 (即U(x0) 为 Hs中包含 x0的最大连通开集),并取

有 Uc−(x0),Uc+(x0) ∈ Hs. 现取 a1(x0) 和 a2(x0) 分别为 U(x0) 与 Uc−(x0) 和 Uc+(x0) 的分界点,可表

并注意到 a(x) 和 a(x) 都不属于 ∪I(x). 由条件可得 a(x) 和 a(x) 都

10201020

下面采用反证法证明必要性.若 则存在 x0∈ I 而 x0∈/ I(x). 令x∈E

由引理 4.5 知 U1,U2∈ Hs, 且, 这与 (E,Hs) 是连通的产生矛盾.证毕

由于对拓扑空间上的拓扑经过加粗之后保持连通性不变,因此存在 0 ≤ s0≤ 1 使得当∀0 ≤ s ＜ s0时拓扑空间 (E,Hs) 不是连通的,当 ∀s ＞ s0时拓扑空间 (E,Hs) 是连通的. 为此给出下面的Hs-连通度的定义.

定义4.9设 E ⊆ R, 称使得 Hs- 拓扑空间 (E,Hs) 是连通的和不是连通的 s 的分界点s0为 E 的 Hs- 连通度, 用 l(E) 表示. 即

集合 E 的 Hs- 连通度反映 了其 Hs-拓扑空间 (E,Hs) 可连通的程度.自然可提出如下一些问题,什么情况下 E 的 Hs-连通度等于零;是否存在Hs-连通度严格介于 0 和 1 之间的集合.为此由下面定理 4.10 和例 4 给出相应的结论.

定理4.10若 E 是欧氏空间 (R,T) 中的闭子集, 则 E 的 Hs- 连通度 l(E)=0.

证只需证明 E 的 H0-拓扑空间 (E,H0) 是连通的. 设 I 是包含 E 的最小区间,I(x) 是E 中的点x 所属的R0-等价区间,将证明等式 成立, 从而由定理 4.8 即得所需结论.

首先包含关系 自然成立. 现证 任取 x ∈ I,当 x ∈ E 时有x ∈ I(x); 当 x∈/ E 时, 由于 E 是欧氏空间 (R,T) 中的闭子集,因而 I 是闭区间,从而存在x1,x2∈ E 使得因此有 x1R0x2成立,即 x ∈ I(x1)=I(x2).

推论4.11设 E 是由迭代函数系生成的分形不变紧集, 且对每个 i= 1,···,n,fi的 Lipschitz 常数 ci满足. 则对任意 s ≥ 0,E 的 Hs- 拓扑空间(E,Hs) 是连通的紧空间.

例4闭区间 [0,1] 上的 Cantor 三分集 E 是由迭代函数系生成的分形不变紧集,Hs- 连通度 l(E)=0. 当去掉 E 的某个空格区间的一个端点变为 E′时, 虽然 E和 E′具有相 同的 Hausdorff 维 数 和 Hausdorff 测度, 分别 为和 1,但的 Hs- 连 通度比如令, 当时, 令有且和, 此时 (E′,Hs) 不再是连通的,而是由两个连通分 支组成. 当时,的- 拓 扑 Hs={∅,E′} 是 平凡的, 因 而 (E′,Hs)是连通的.

一般 的 分形 集 E 在 欧 氏拓 扑下 往 往是 不连 通的 Hausdorff 分 离空 间, 定理 4.10 表 明在E 上对欧氏拓扑进行加粗之后形成的Hs-拓扑空间的连通性变好了,但分离性又变差了.对任意 s ≥ 0,如果 E 中的每个点 x 在等价关系 Rs下的等价类 x∗只包含唯一的 x,则 E 上的欧氏拓扑和 Hs- 拓扑是一样的,(E,Hs) 仍是 Hausdorff 分 离 空 间. 如果一旦 E 中的某个点x 在等价关系 Rs下的等价类 x∗包含了两个不同的点 x1和 x2, 则由引理 4.5 知 x1和 x2不能通过Hs中的开集分离开来.因此有下述性质.

命题4.12设 E 是 R 的任 意 子集. 对任 意 s ≥ 0,E 的 Hs- 拓扑 空间 (E,Hs) 是Hausdorff 分离空间的充分必要条件是 E 中任意点 x 在等价关系 Rs下的等价类 x∗只包含唯一的x.

5 Hs-拓扑空间之间映射的连续性

由连续映射的定义,两个拓扑空间之间的一个映射是连续的当且仅当开集的原像还是开集.本节作为前面讨论的Hs-拓扑空间的应用,建立了直线上一个Hs-拓扑空间和一个 Ht-拓扑空间之间映射的连续性理论.任取直线上的两个子集E 和F,设 f 是一个从Hs-拓扑空间 (E,Hs) 和 Ht- 拓扑空间 (F,Ht) 之间的映射, 首先 由定理 4.7 一个集合的 Hs- 拓扑随s的增大而逐步加粗,因此有下述性质.

命题5.1若 f 是从 Hs- 拓扑空间 (E,Hs) 到 Ht- 拓扑空间 (F,Ht) 的连续映射, 则对任意 u ≤ s 和 v ≥ t,有 f 为一个从 (E,Hu) 到 (F,Hυ) 的连续映射.

定理5.2对任意 s,t ≥ 0, 作为 Hs- 拓扑空间 (E,Hs) 和 Ht- 拓扑空间 (F,Ht) 之间的映射f 是连续映射的充分必要条件是f 在E 中的所有Hs-聚点处连续,并且对任意的x,y ∈ E,若有关系 xRsy,则关系 f(x)Rtf(y) 成立.

证必要性一方面若 f 是从空间 (E,Hs) 到 (F,Ht) 的连续映射,则 f 在 E 中每一点都连续,因而函数 f 在 E 中的所有Hs-聚点处也连续;另一方面若E 中的点 x 不是 E 的Hs- 聚点, 设 V(f(x)) 为 (F,Ht) 中 f(x) 的任意开邻域,由条件得 f−1(V(f(x))) 是 (E,Hs) 中x 的开邻域.对任意 y ∈ E,当等价关系 xRsy 成立时, 由引理 4.5 有 y ∈ f−1(V(f(x))),因而f(y) ∈ V(f(x)),再由 V(f(x)) 作为 f(x) 的开邻域的任意性,得等价关系 f(x)Rtf(y) 成立.

充分性设函数 f 在 E 中的所有 Hs- 聚点处连续, 且对任意的 x,y ∈ E,当有关系xRsy 时有关系 f(x)Rtf(y) 成立. 任取 x ∈ E,当 x 不是 E 的 Hs- 聚点时, 任取 V(f(x)) 为(F,Ht) 中 f(x) 的开邻域,将证明其逆像 f−1(V(f(x))) 为 x 的开邻域来得到 f(x) 在 x 处连续.当 f−1(V(f(x))) 不包含 E 中的 Hs-聚点时,一方面由条件 f−1(V(f(x))) 是由其中的所有点在关系 Rs下的等价类的并构成. 另一方面由引理 4.5 的第二个结论 f−1(V(f(x))) 的每一点关系 Rs下的等价类属于 Hs,因此有 f−1(V(f(x))) ∈ Hs成立. 当 f−1(V(f(x))) 包含 E中的某个 Hs- 聚点 y 时,有 V(f(x)) 是 f(y) 在 (F,Ht) 中的开邻域, 由条件 f(x) 在 y 处连续,得 f−1(V(f(x))) 是 y 在 (E,Hs) 中的开邻域,因此 f−1(V(f(x))) 是 x 的开邻域.证毕.

对任意 0 ≤ t≤ 1,由于实数集 R 的 Ht-拓扑 Ht就是欧氏拓扑 T,并且 R 中的每个点 y在关系 Rt下的等价类只包含唯一的 y,因此由定理 5.2 可得如下推论.

推论5.3设 f 是 Hs- 拓扑空间 (E,Hs) 到欧氏拓扑空间 (R,T) 的实函数.f 是连续函数的充分必要条件是 f 在 E 中的所有 Hs-聚点处连续,并且对任意的 x,y ∈ E,若有关系xRsy,则 f(x)=f(y).

由此可得,若 f 是 Hs-拓扑空间 (E,Hs) 到欧氏拓扑空间 (R,T) 的连续实函数,则 f(x)在 E 中的所有Hs-聚点处的极限值等于在该点处的函数值,并且在E 中每一点在 Rs下的等价类上取常值.特别是当 E 为 (R,T) 中的紧子集时,由定理 4.10 知 (E,Hs) 是连通的紧空间,f(E) 是 (R,T) 中的连通紧集,因而是有界闭区间,所以这样的函数一定具有有界性、最值性、介值性和一致连续性等.

[1] 凯莱. 一般拓扑学 [M]. 北京: 科学出版社,1982.

[2]Falconer K J.Fractal geometry–mathematical foundations and applications[M].New York:John Wiley,1990.

[3] 曾超益, 袁德辉. 含参变量 Cantor 集的 Hausdorff 测度 [J]. 数学杂志,2011,31(4):729–737.

[4]Oldham K B,Spanier J.The fractional calculus[M].New York:Academic Press,1974.

[5]Tatom F B.The relationship between fractional calculus and fractals[J].Fractals,1995,3(1):217–229.

[6]Rudin W.Principles of mathematical ananlysis[M].New York:McGraw-Hill,1964.

[7]He Zhenya.Non-linear parabolic equations on self-simiar fractal sets[J].J.Math.,2010,30(1):1–8.

THE Hs-TOPOLOGY ON A SUBSET IN REAL LINE AND ITS APPLICATIONS

LONG Lun-hai,LIANG Li,SAN Jia-jun
(School of Information,Hainan University,Haikou 570228,China)

In this paper,by using the s-dimensional Hausdorff measure,we give the concepts of Hs-Topology and Hs-connectivity on a subset in real line,discuss their properties and some applications.In addition,the disconnected problem of a compact s-set under the Euclidean topology is solved.

fractal;Hausdorff measure;Hs-Topology;Hs-connectivity

tion:28A80;54F65

8A80;54F65

O174.12;O189.11

A

0255-7797(2017)02-0401-08

2014-08-05 接收日期:2015-03-19

海南省自然科学基金资助 (113003); 国家自然科学基金资助 (11461016).

龙伦海 (1965–), 男, 重庆大足,教授, 主要研究方向: 分形几何, 非标准分析.