1. 引言
欧氏空间中的正交性的概念在各个领域都广泛的应用,一些学者将其概念推广到一般空间中,引出了广义正交性的概念。设X为一个赋范线性空间,
为X的单位球,
为X的单位球面,
,如果不等式
对任意的
都成立,我们称x Birkhoff正交于y,记作
。在一般赋范线性空间中,Birkhoff正交具有齐次性,但不具有对称性和可加性。
设
为赋范线性空间,
为保Birkhoff正交映射,若
满足
,则有
两个内积空间之间的保正交映射一定是一个等距映射的标量倍 [1]。
2. 多面体空间上的保正交算子
定义1 [2] 设X是一个赋范线性空间,
。若不等式
对任意的实数
都成立,则我们称x Birkhoff正交于y,记作
。
如果
,可以理解为x到y所在直线上任意一点的距离都不小于
,也可以理解为
所在直线在x点支撑球面
。
定理1 设x和y是赋范线性空间X中两个线性无关的向量,
,则
当且仅当直线
在x点出支撑球面
。
定理2 [3] 设X为一个赋范线性空间,
,则
当且仅当存在线性泛函f,满足
,并且
。
定理3设X是一个二维赋范线性空间,
,若X上存在一个非零元
z,使得
,
,则我们有
或者
。
证明:由于X是一个二维赋范线性空间,故存在
。使得
因此,对于任意的
,
,有
故有
由于
,故有
那么
又因为
,根据Birkhoff正交定义,对任意的
有
,
,
取
,有
,
则
,
故同理可得
或
。
由映射f的线性性可得
或
其中
。由于
所以
根据
的任意性有
或
。
定理4 [4] 对赋范线性空间中的任意两个向量x和y,总存在一个实数
使得
。
已知多边形空间X的单位球上的不光滑点至多可数个,现设
为
的端子集,
是
上不光滑点集,显然
。根据多边形定义,对任意的
,存在
的支撑超平面
,使得
因此
于是有
不妨设
其中
,于是有
。
定理5 [5] 设X和Y是赋范空间,
是一个等距映射,那么自然拓展T是线性等距映射当且仅当对任意是
且
,有
。
定理6 设X为二维多边形空间,Y为赋范线性空间,若
为一个保Birkhoff正交的满线性映射,则存在F为X到Y上的一个满等距且Y为二维多边形空间。
证明:根据上文内容可知,存在
,满足对任意的
,有
,
为
的支撑超平面,使得
。
对于任意不同的点p和q,我们分别用
和
表示p和q之间的线段,穿过p和q的直线和从p开始穿过q的射线,令
,我们用
和
表示以直线
为边界的X两个半开平面,用
表示
上平行于直线
的最大线段
的两个端点,且有
是
的正整数倍,当
上没有平行于直线
的非平凡线段,那么
。
不妨设
满足
,令
则有
由于T为保Birkhoff正交映射,故
设映射
满足
且
故
易知
是一个线性算子。由于
故
同理可得
由定理3有
或
由于不满足
故
现需证
,即T为单射,若T不是单射,则存在
使得
令
根据定理4,对任意的
,存在
,满足
于是有
由于
故
由于v的任意性,故存在
,使得
这与
矛盾,故T为单射。于是有
那么就有
故
故
故有
现取
,令
为如下定义算子
且
使得
其中
,且有
令
为
且
使得
其中
,且有
故取
时,有
因此
,由i的任意性可知,对任意的
有
令
,则F是单位球面间的满等距且Y为二维多边形空间。
球面间的满等距成立,根据定理5,可以延拓到全空间等距。
3. 结论
本文我们广泛讨论了多面体空间中保正交算子的相关性质,证明了二维多面体空间的单位球面上的保正交算子是一个满等距,该算子可以把二维多面体空间的单位球面映成二维多面体空间的单位球面,且可以延拓到全空间等距。