1. 引言
众所周知,可度量化空间在分析学、一般拓扑学等相关的数学学科领域的研究中有着十分重要的意义,自1906年由Maurice Fréchet引入以来,随着研究和应用的深入,除了定义极限的概念,近年来国内学者在研究对可度量空间中各类型不动点问题( [1] [2] [3] [4])、穿孔度量空间Gromov双曲性的几何特征( [5])、加倍度量空间和Lipschitz逼近与扩张( [6])等相关问题上进行了深入研究,取得了一定的成果。由于可度量空间也是拓扑空间具有拓扑性质,因而导致了对再度抽象的拓扑空间的研究,也就是对可度量空间的拓扑结构进行构造。本文的研究是建立在对现有理论的推导和探索上的,构造具有特殊拓扑结构的度量空间,使其能够满足群、环、PID的重要条件。并在构造的可度量空间的过程中提出一种重要的构造法,以此满足未来进一步的工作,能够为研究与可度量空间相关的不动点、逼近扩张等问题提供新的思路。
2. Hausdorff空间的度量化及特殊拓扑结构的构造问题
首先考虑Hausdorff空间的情形,需要考虑一般Hausdorff空间的度量化问题。利用一般拓扑学中关于拓扑空间度量化的原理,采用两种方式进行:① Urysohn度量化定理;② Nagata-Smirnov度量化定理。且两个度量化定理之间具有一定的内在逻辑联系。这里我们引入重要的定义、定理为接下来的论述做准备。
定理2.1 ( [7] [8]) (Urysohn度量化定理)设X为第二可数空间,则X是可度量化空间当且仅当X是正规空间。
定理2.2 ( [7] [8]) (Nagata-Smirnov度量化定理)拓扑空间X可度量化,当且仅当X是正则的且具有
局部有限基。
定义2.3 ( [8] [9])若拓扑空间X存在一个可数基,则称X具有第二可数性。
定义2.4 ( [10])若集合
,在G上的二元运算(该运算称为群的乘法,注意它未必是通常意义下数的乘法,其结果称为积)
构成的代数结构
,满足:
1、结合律:
有
成立;
2、封闭性:即G的任意两个元素在此运算下结果都是该集合的一个元素。
;
3、单位元(幺元):G中存在元素e,使G中任意元素a与之相乘(包括左乘和右乘)的结果都等于a本身。(
,使
,有
;)
4、逆元:
使得
,b称为a的逆元,记为
;
则
称为一个群,或乘法群,简记作G。同样地,可以有加法群。
定义2.5 ( [10]) 设R为一个非零集合,在R上定义了两种代数运算,分别称为加法和乘法,记作+和·,且加法和乘法满足:
1、
是一个交换群;
2、乘法满足结合律,即
,有
;
3、分配律成立,即
,有
(左分配律),
(右分配律)则R连同其上的代数运算+和·称为一个环,记作
。
定义2.6 ( [10])若一个环R的任意理想都是主理想,则称R为主理想环,若R同时又为整环,则R称为主理想整环。
2.1. 利用Urysohn定理对Hausdorff空间进行度量化
现假设X是一个Hausdorff空间,考虑Hausdorff空间X中的一组有限序列点
,若每个点形成的邻域能够称为X的一个有限开覆盖,那么就有
,其中令
,那么
。
现取序列点所构成的n个邻域中的任意一个
,就有
令
,由于Hausdorff空间中的任意个点的邻域是无交的,所以有
,且
因此经过构造。就得到了正则化的Hausdorff空间,记为
。
下面需要讨论构造的V的内部可数基的问题。现设某个拓扑空间
的可数基为
,其中任意的一个基元素有
,并且
。若
,
的邻域
,所以对于任意基元素B来说,B可以是
中的任意元素与
的并,但是这两个对象的并必须包含在
之内,因此
,所以就有
成立。
关于可数基原理的第二个条件,我们只需要考察一种特定情况就可以由此验证其成立。考虑取正则化Hausdorff空间的基元素的一点,即
,存在
的邻域
,由于上面讨论的结论可知,我们可以找到
中另一个点
的邻域
使得
同样地,我们仍然可以找到
中的一点
的邻域
使得
中的另一基元素
满足
(1)
由(1)同理可得
,这里需注意
,且
。由于
,所以
因为
,所以对于一个包含
点的
有
就可以得到
中存在可数基
的条件成立,已知满足以上的讨论的条件后,根据定理2.1和定义2.3可知
是可度量化的Hausdorff空间。
2.2. 利用Nagata-Smirnov定理对Hausdorff空间进行度量化
选取任意的Hausdorff空间X,设
是X的两个子集族,且
是局部有限族
的并,
是局部有限族
的并,即
(2)
由(2)同理可得
,因为Hausdorff空间X内部是序列化分布,所以
,考虑当
,
两个条件必须同时成立时,这样的话,
中的任何一个元素都能在
中找到一个元素包含它,所以
是
的局部有限开加细,同时由于Hausdorff空间X中的子集都是点的邻域,当然是开集,因此子集族
可作为Hausdorff空间X的任意开覆盖,所以这里我们就得到了仿紧致的Hausdorff空间
。考虑对于任意一点
,存在x的邻域U,再选取X的子空间E满足
,这样U和E构成了一个包含于
的正则空间。考虑子空间E的拓扑
,且
(3)
这里利用2.1中的方法和(3)可知,仿紧致的Hausdorff空间
的每一点的邻域在子空间E的拓扑
下是可度量化的,所以
是局部可度量化的,根据定理2.2可知,所选取并通过构造的Hausdorff空间是可度量化的。
2.3. 可度量化的Hausdorff空间的完备化问题
现设
是一个可度量化的Hausdorff空间,d为诱导
度量的诱导度量,因此我们就有度量空间
。选取任意的
中的一组点列
和任意的关于序列点的邻域
,其中
,如此就构成了两个不相交区域的几何结构。假设两个区域都有边界极限点
,因此就有
和
(4)
所以由(4)可得
,且
。这里需要通过考虑这样一种几何结构来配置满足要求的完备条件,即
,其中
.(5)
根据(5),令
,因为
都是距离,所以必有
使得
。
配置完备条件的几何意义在于:两个区域的间隙最大距离不能超过两区域内部各自的极限距离之和。因此,所取的任意的点列
是一组Cauchy序列。另外,在满足完备条件
的情况下,度量空间
是完备的,所以Hausdorff空间
的任意序列都收敛。
2.4. 可度量化的Hausdorff空间内部区域的几何结构与群的条件
考虑可度量化的Hausdorff空间
内的一组序列
,由于2.3中已经证明所构造的空间
是完备的,根据度量空间完备性定理,该序列
必然收敛到点
,因此对于序列中的任何两点
,有
,令
,所以
。由此可知,由任意点
的邻域
合成的区域
是有界的,可以由此得到任意两个区域合成的区域直径,即
构造几何结构
, (6)
令
,这里
分别是点
的邻域内部点到边界的极限距离。这样就得到了完备的度量化Hausdorff空间
关于任意点间的一般距离关系。由此,接下来利用(6)研究
是否满足群定义中的条件就较为容易了。现忽视
内的所有点,将看作
由内部所有序列点之间的距离线构成,那么空间
就成了包换序列点之间距离的空间,将其记为
。
选取
中任意元素三个元素
,验证是否满足乘法群的条件。首先,封闭性是显然的。然后,
结合律成立。因为
由距离构成的,可断言存在距离为1的距离,并且存在对应的逆元。设
中任意序列点之间的距离元素为
,对于单位距离则有
成立。若
的逆
存在,则必有某一元素
使得
。这里只需要
和
成立。由此推出,需要
成立,而此式的成立是显然的,因此前面的论断成立。
现考虑在
是否存在交换律条件,仍然取任意的三个元素
,于是就有
成立。由上述讨论,根据定义2.4可知,
满足Abel群的条件。
另外考虑Lindelöf空间,此空间是每一个开覆盖都包含可数个子覆盖的拓扑空间,所有也需要通过分离性公理来构造实现度量化,其经过构造后满足群条件的论证过程与Hausdorff空间相同,因此不再进行详细论述。
3. 构造典型的度量空间结构满足群的条件
Euclid空间是一种最基本的度量空间,我们从Euclid空间的定义出发,考虑由n维实线性空间
和度量
构造的n维Euclid空间E。这里选取任意的三个元素
由于实线性空间的元素满足交换律和结合律,因此有
成立。令
是空间的单位元集合使得
,
由此可得逆元为
,根据定义2.4就有
,
则构造的
也满足Abel群的条件。考虑将空间经过一定的构造后满足群的条件,但原本的空间性质仍然存在,因此若两个空间之间原本存在一定的逻辑关系,经过构造后,这种关系是不变的。
所以根据上述讨论和对于Euclid空间的构造过程,就能得到类似的构造Hilbert空间满足群条件的方法。因为Hilbert空间是无限维完备可分的Euclid空间(这里讨论可分的Hilbert空间),所以将上述构造的
和Euclid空间与Hilbert空间的关系,可以类似构造满足群条件的Hilbert空间。对于完备的Euclid空间
,可知
满足条件:
① 原Euclid空间E是
的子空间;
② E在
中处处稠密,即
。
由于这里的完备性并不改变空间内部点的性质及其相互关系,所以构造
与构造
的方法类似。取任意的点
,因为
,其中
是
的线性子空间,又因为
中没有零元素,所以不可能存在
使得
,因此
是无限维的。接下来需要证明下面一个重要的命题。
命题3.1 在构造的可分完备的Euclid空间
中,任何完备标准正交系是封闭的。
证明:已知
是完备度量空间,实际上只需证明
是可分的。假设
是
中的一组封闭的标准正交系,则对于任意的
,它的Fourier级数的部分和收敛于
,而且有Bessel不等式
,其中
, (7)
这里(7)意味着元素系
的线性组合在
中处处稠密,即系
是完备的。
反之,若设系
是完备的,即任意元素
都可以用元素系
的线性组合
给出同样准确的逼近,从而级数
收敛于
,并且Parseval等式
成立。证毕。
通过前面的论述和命题3.1的证明就得到了完备可分的Euclid空间
,再由
是无限维的,就容易构造满足群条件的Hilbert空间,即
,
由此构造的空间
能够满足群的条件。因此,前面讨论构造的几种度量空间都能够在保持自身空间基本性质不变的情况下满足群的条件,不妨将这种经构造的度量空间称为结合空间。同理,不同的结合空间之间的一一对应关系也变成了同时满足同构和同胚条件的对应关系,本质上是一种二元映射。考虑空间与子空间的结构同一性,所以结合空间与其子结合空间也存在类似的关系。
4. 结合流形的基本问题
现已知度量空间经过构造能够形成结合空间,那么与度量空间关系密切的流形是否可经过类似的构造得到满足群条件的结合流形,将在此进行论述。这里通过一般的结合拓扑流形得到结合Smooth流形。关于前面得到的结合Euclid空间
,这里考虑为是有限的m维的。由于之前构造的结合Hausdorff空间
的元素的对应关系必须具有二元性,因此可以考虑取
任意的序列子集
,令二元映射
,满足:
①
使得
与结合Euclid空间
上的开集对应;
②
使得结合Hausdorff空间中的元素
与结合Euclid空间
上的元素对应。
那么对于条件①:利用结合Hausdorff空间中的度量关系,即
, (8)
因为
,
,所以由(8)就有
成立。由于
是有限m维结合Hausdorff空间,所以存在
使得
,
因此
的一致连续性成立。反之,同理逆映射
的一致连续性也成立,则
是同胚。
再考虑条件 ② :根据已定义的
有
,
其中
是
中的点,因此有
成立,即
是同态映射。同理考察
,
因为已知式子
,
,
,
所以
,
即
也成立,因此
是同构映射。所以二元映射
是结合流形的之间的一一对应关系。由此,我们就得到构造的结合流形
的图
,其中
是
中任意开子集序列。
4.1. 结合Smooth流形的构造问题
通过前面讨论得到的关于结合流形的基本理论,在此基础上我们可以继续探究结合Smooth流形的构造问题,但具体过程稍有不同。取结合Hausdorff空间
的子结合空间
,并且子结合空间
必须满足内部只有一组序列化结构,将构造的
代入前面的论述可知
自身仍然是一个结合流形,现要以
为基础来进一步构造Smooth流形。
设
内部唯一组序列为
,所以可选取一图集为
,其中
,
是
中任意开子集序列,所以就有
,即形成
的开覆盖。取图集
中的任意图
和
,根据前面关于二元映射的理论,可知
,
其中
和
,因此存在二元Smooth映射
,并且此映射是结合Euclid空间
的自映射,即
所以就有关系
成立。因此可知
是结合Smooth流形,并且图集
也是Smooth图集。
4.2. 构造Banach空间满足群、环条件的问题
现设X是一个线性空间,显然X必须满足定义线性空间的基本公理,也就是说X内的元素关系存在加法和数乘两种运算关系,若要使X满足代数条件就需要再在X中引入乘法运算并且满足赋范线性空间条件且存在单位元,即
①
;
②
;
③
;
④ 如果存在元素
,使得对一切
有
;
⑤ 如果乘法运算使交换的,即乘法运算满足公理:
;
⑥
;
⑦
。
同时还要满足对于空间中的任意序列
有
,所以空间具有完备性,那么通过此线性空间就得到了Banach空间B.从空间的内部的元素关系可以看出多种运算法则,其乘法能够满足乘法群的条件,而利用加法和乘法两种运算可以使Banach空间( [11])通过构造满足环的条件。
考虑构造这样一种结构
,因此对与其中的任意元素
满足如下条件:
①
当且仅当
时
;
② 若有另一
,则
;
③ 对于一切常数
有
成立。
因此容易知道前面的条件 ① 至 ⑦ 在此结构中也成立,所以任取
,根据已知条件就有加法交换律、结合律成立;又因为取
所以有
;
令
,所以
.
因此
满足Abel群的条件。
进一步讨论满足环条件的情况,根据前面的论述,可知
在加法下是满足Abel群条件的
,则因为
,所以交换、结合、分布律均成立;另外由于
,所以就有
,即幺元也存在。由定义2.5,可知结合Banach空间
满足交换环的条件。同样地,可进一步将构造的满足交换环条件的结合Banach空间
再进行构造,使其满足整环条件,得到满足整环条件的结合Banach空间
。取任意
,若
,令
代入,得到
,就有
,
并且
,所以得到满足整环条件的结合Banach空间
.
4.3. 构造Banach空间满足PID条件的问题
选取实数群R,显然R可以构成一个交换环,这里令
是复合交换环集合,对此进行构造,那么需要证明下面的命题成立。
命题4.3.1 令
,其中任意的某个
,证明
是
中的理想。
证明:首先,因为
,所以对于任意的
有
成立;然后,选取任意的实数
,我们就有
,且
,由于
,所以
;最后,如果
,任意的b或
,因为
,所以
,又因为
,所以
。因此
是
中的理想。证毕。
另外,根据前面的构造可知,对任意理想有
,所以
是由
生成的主理想,同理,对于
都是
中的主理想,因此我们由前面讨论所得的结论,就有
是满足交换环条件的结合PID,这是对结合Banach空间做进一步构造得到的。
5. 结论
本文通过运用两个基本的度量化定理得到度量化的Hausdorff空间,在此基础上,本文研究讨论的重点是构造具有特殊拓扑结构的度量空间来满足群、环、PID的重要条件,也就是对构造方法和构造过程论证的研究。由于,可度量化空间作为数学研究的重要理论和工具,在多个分支领域都有重要的应用,具有一定的研究意义,但是对文中所提出的构造法的研究还存在一定的局限性,主要是讨论的范围和条件的广泛性不够( [4] [5] [6]),这些问题都是在接下来的研究中需要重点关注和解决的。