对称度量空间上的一个注记

2024-04-17郑顶伟洪宇翔何庆明

广西大学学报（自然科学版） 2024年1期

关键词：度量性质定理

郑顶伟,洪宇翔,何庆明

(广西大学数学与信息科学学院, 广西南宁 530004)

0 引言

一个对称度量空间[1]指的是一个序对(X,d),其中X是一个非空集,d:X×X→[0,∞)是一个函数,使得对x,y∈X,下列条件成立:

①d(x,y)=0当且仅当x=y。

②d(x,y)=d(y,x)。

对称度量与度量空间的区别在于缺失了三角不等式。尽管如此,一些度量空间中概念可以类似地在对称度量空间中定义。在对称度量空间(X,d)中,序列(xn)的极限定义如下:

limd(xn,x)=0⟺limxn=x。

以x为中心、r为半径的开球定义如下:

B(x,r)={y∈X:d(x,y)

与度量公理比较,对称度量缺少三角不等式,从而通常的ε球B(x,ε)={y∈X:d(x,y)<ε}不能形成拓扑的基。

一个对称度量空间(X,d)称为一个半度量空间,如果满足对任意A⊂X,

所以,对一个对称度量空间(X,d),如果映射c:A→c(A)={x∈X:d(x,A)=0}是闭包运算,则(X,d)是一个半度量空间。

对称度量与半度量的区别也可以反映在序列的收敛上[2]。在半度量空间中,d(xn,x)→0和以拓扑τd意义下xn→x是等价的。而在对称度量空间中,以拓扑τd意义下xn→x是推不出d(xn,x)→0的,所以研究在什么条件下对称度量空间是半度量空间是有意义的。

1 预备知识

定义1[1]对集合X,函数d:X×X→R+称为X的对称距离,若对x,y∈X,下述条件成立:

①d(x,y)=0当且仅当x=y。

②d(x,y)=d(y,x)。

空间X称为对称度量空间,如果存在X的对称距离d,满足U∈τ(X)当且仅当对x∈U,存在ε>0,使B(x,ε)⊂U,这时d称为X的对称度量。

若d是X的对称距离,那么(X,d)是对称度量空间当且仅当d满足:A⊂X是X的闭集的充要条件是对x∈X-A,d(x,A)>0。易验证,对称度量性是可加性、开遗传性和闭遗传性。

定义2[1]设d是X的对称距离,d称为X的半度量,若(X,d)是对称度量空间,并且对x∈X和ε>0,x∈B(x,ε)°,这时(X,d)称为半度量空间。

设(X,d)是对称度量空间, 则有以下2种方式引入拓扑:

方式1U是开集当且仅当对任意x∈U,存在ε>0,使得B(x,ε)⊂U。按照此种方式显然生成一个拓扑,本文将这个拓扑记为τ1。

下面证明这2个拓扑是同一个拓扑,即τ2=τ1。

证明首先证明τ1⊂τ2。

任意取U∈τ1,要证U∈τ2,只需证X-U是τ2中的闭集。设x∈X,d(x,X-U)=0。下证x∈X-U。

反证法。若x∉X-U,则x∈U。由于U∈τ1,则存在ε>0,使得B(x,ε)⊂U,因此d(x,X-U)≥ε,与d(x,X-U)=0矛盾,故x∈X-U,即X-U是τ2中的闭集,则U∈τ2。τ1⊂τ2得证。

其次证明τ2⊂τ1。

设U∈τ2,则X-U是τ2中的闭集。下证U∈τ1。

反证法。若U∉τ1,则存在x∈U, 对任意ε>0, 有B(x,ε)⊄U。

同理,可以验证下面关于半度量空间的定义是相同的。

① 一个对称度量空间(X,d)称为一个半度量空间,如果满足对任意A⊂X,

② 一个对称度量空间(X,d)称为一个半度量空间,如果满足对任意x∈X,ε>0,有x∈int(B(x,ε))。

由①可知,d(x,X-B(x,ε))=0,但显然d(x,X-B(x,ε))≥ε,矛盾。

limd(x,yn)=0即d(x,A)=0。

许多学者在对称度量空间(X,d)提出新的条件来作为三角不等式的部分替代。1931年,Wilson[3]在半度量空间上提出性质Wilson Ⅲ(以下简称W3)和性质Wilson Ⅳ[3](以下简称W4)。1993年,Czerwik[4]提出度量型(metric type:MT)性质。1995年,Jachymski等[5]提出了性质(JMS)。2003年,Aamri等[6]提出性质(HE)。2006年,Mihet[7]提出性质(W)来替换性质(W3)和(W4)。2008年,Cho等[8]提出了一个与对称度量d的连续性有关的新性质(CC)。2012年,Arandelovic等[9]提出性质(SC)。

定义3设(X,d)是一个对称度量空间。定义下列性质:

(MT)[4]: 存在s≥1使得对任意x、y、z有d(x,z)≤s(d(x,y)+d(y,z))。

在文献[9]中,Arandelovic和Keckic对对称度量空间做了详尽的讨论,特别地,他们得到了下面的定理。

定理1设(X,d)是一个对称度量空间,则下列条件等价: