1. 引言
赋范线性空间中各种广义正交性的提出是对内积空间中正交的一种延拓,其与内积空间有着密不可分的关系。作为一种应用较为广泛的正交性,1935年Birkhoff根据“点到直线垂线段最短”的性质提出了一般赋范线性空间Birkhoff正交的概念 [1],James详细研究了Birkhoff正交的性质 [2]。算子空间作为一类赋范线性空间,因其具有区别于一般赋范线性空间的性质,本文研究了算子空间中矩阵算子的正交性,并给出相应的等价条件。
2. 算子空间算子的广义正交性
定义1 [1] 设X是一个赋范线性空间,
,如果对于任意
都有
则称x Birkhoff正交于y。
定义2 [3] 设H为Hilbert空间,则对于
,
定义3 [4] 对矩阵
,有
定理1设
,
,对于
,其中I为单位矩阵,A为对角阵,有
证明:
,不妨假设
。
则当
时有
而
所以
一般算子空间上算子的Birkhoff不具有对称性,例如在
空间中,取
,
则
,但
,如图1所示。
但内积空间上的元素必具有对称性,所以我们探讨了算子空间为内积空间的等价条件。
定理2设
为Hilbert空间,则
为内积空间。
证明:由 [5] 知,要证
为内积空间当且仅当其上的范数“
”满足
,
(1) 证明
设
,则
(2) 证明
设
,则
故
综上,得证。
3. 结论
本文在算子空间中讨论矩阵算子的广义正交性,得到矩阵与迹之间的关系,并说明由Hilbert空间形成的算子空间为内积空间,所以其上的算子正交具有对称性,进而可以证得其上的算子各种广义正交之间是等价的。