1. 引言
令
是复Hilbert空间H上有界线性算子全体组成的代数,
且
不全相等,其中k是正整数且不大于H的维数,算子
的c-数值域和c-数值半径分别定义为
和
。
特别地,当
且
时,就得到算子A的数值域
和数值半径
;当
时,
和
分别表示A的k-数值域
和k-数值半径
。不难看到,将c的所有分量按照降序排列后并不改变算子的c-数值域和c-数值半径,因此在本文中总假设
。算子代数上映射结构的研究是算子理论,算子代数方向的主要研究课题之一,对刻画算子代数的刚性结构具有重要意义。其中一个方面就是对算子代数上保持某些不变量的映射刻画和分类问题的研究,这类问题称为算子代数上的保持问题。算子的数值域起源于对二次型的研究,与算子的谱有密切关系,并在算子结构,工程技术等方面都有应用。有关数值域及其保持问题的研究已经有了丰富的成果 [1] - [7] 。后来,算子的数值域有多种推广,如c-数值域,k-数值域,高维数值域,联合数值域等。其中,c-数值域由R. Westwick引入,并且他证明算子的c-数值域是凸集,至此开始了对于c-数值域的研究。近年来,算子代数上保持各种乘积c-数值域映射问题的研究受到了国内外许多学者的关注见文献 [8] - [11] 。记
或者
(复希尔伯特空间H上所有有界自伴算子组成的Jordan代数),映射
满足
(或
) (
)
其中
代表算子的某种乘积关系,若对任意的
,(如普通的乘积
,Jordan乘积
,Jordan半三重积
,Lie积
,斜Lie积
等),则称映射
保持算子
乘积的c-数值域(或c-数值半径)。文献 [12] 刻画了算子代数上保持算子乘积的c-数值域的满射,并且刻画了
上保持算子乘积
c-数值半径的满射和对于某一类特殊的c在
上保持算子乘积
c-数值域的满射。在 [13] 中,
和
上保持Jordan乘积的数值域的映射分别得到了刻画。文献 [14] 研究了
上保持Jordan乘积的c-数值域的映射。文献 [15] 得到了保持Lie积数值域的映射形式。显然,对于复数
,当
和-1时,算子
的
-Lie积分别表示Lie积和Jordan积,所以我们关注
时,算子代数上保持
-Lie积的c-数值域的映射。其中对于
即为k-数值域时,文献 [16] [17] 给出了在
上保持
-Lie积的k-数值域的映射刻画。
本文的主要目的是研究在H是有限维的情形下,算子代数上保持
-Lie积的c-数值域的满射的形式,即刻画了
满足
的满射
的形式。本文的主要结构如下:第二部分给出复Hilbert空间上的有界线性算子c-数值域的相关性质,在第三部分中给出了H是有限维的情形下,
上一类映射保持算子
-Lie积的数值域的刻画及其证明。
最后介绍本文中出现的符号含义和陈述假设。用
和
分别表示实数域和复数域,如果
时,我们就约定
为
,其中
是n阶复矩阵全体组成的集合。在H是有限维的情形时,我们可以总假设
。因为若
,可以给c补充
个分量0,并将补充分量之后的向量c记为
,显然
,且对于
中的矩阵A,
。对于
中的算子A,记号
分别表示A的实部
和A的虚部
。假设M是H的子集,
表示算子A在M上的限制;[M]表示由M张成的子空间;
表示M在H中的正交补空间;对任意集合M,
,
分别表示M的闭包以及凸包。此外,若A是有限秩,则
表示A的迹。
2. 算子c-数值域的性质
本节给出复Hilbert空间上的有界线性算子c-数值域的相关性质。
命题2.1 [6] 对于
中的有界线性算子A,有
1) 对于任意酉算子
,有
;
2) 对于任意
,有
;
3) 对于任意
,有
;
4) 假设
不全相等,则
是一个实数当且仅当A是恒等映射的常数倍;
5) 假设
不全相等,则
是一个实数当且仅当A是自伴算子;
6) 假设
不全相等,当
时,
是一个范数。当
时,
是一个半范数。
7)
,
;
8) [18]
是一个凸集。
命题2.2 [19] 设A是
上的一个自伴算子,则
1) 如果
,有
。
2) 如果H是无限维复Hilbert空间,有
。
这里
,
。
命题2.3 若A是
上的秩一算子,则
是一个焦点为
和
,短轴为
的椭圆盘或者是线段
。其中
,
,
当
。
下面介绍二次算子的概念。称A是
上的二次算子,若存在
使得
成立。由文献 [19] ,复Hilbert空间H上存在空间分解
使得二次算子A有如下形式
, (1)
这里
,
,
,
是一个半正定算子,即等价于
对于所有
成立。在这个空间分解形式下,如果
,则对于
上所有的非零向量x都有
。由于二次算子c-数值域描述的需要,首先给出记号p的形式,若
,则可以通过对c的分量补充0使得c成为
,而且
的第
个分量
且
。若
,即
,令p满足
,记
,则
的第
个分量
且对于二次算子A来说,
,从而通过平移
可以得到
。综上,可以假设c的分量
满足
,其中
或
, (2)
对于自伴算子
,记
。
如下结论是关于二次算子的c-数值域。
命题2.4 [19] 令
是二次算子且有如(1)的算子矩阵的形式,假设
满足(2),记
,
,
,则
或者
,
,
其中等式
成立的充分必要条件是
有一个对角形式
。
命题2.5 [19] 对于二阶复矩阵
,它的特征值为
,那么
1)
是一个焦点为特征值
,短轴为
的椭圆。
2) 当
时,则
是一个焦点为
和
,短轴长为
的椭圆盘。
下列命题来自文献 [20] ,它对于定理的证明起着重要作用。
命题2.6 设
且酉相似于
,则
。
引理2.7 设
,
满足
,则
的水平和垂直支撑线形成的矩形中心是
。
证明:取H中的单位向量x,即
,令
。
如果
,此时设T的两个特征值为
,则
是以
为中心的椭圆,因此
的中心是
。
如果
,令
,
,
是两两正交的单位向量,
,则在空间分解
下,有
,
因此,
。
就有
,其中
。则
,会有
的中心是
。同理,也有
的中心是
。由命题2.1(7),我们可以得到
的中心是
。
引理2.8 令
表示二阶复矩阵全体,
且
,则存在矩阵
使得
。
证明:反证法。假设对于任意
,
均成立。取
,
,则
,
。
由假设知
和命题2.4知二者的短轴长相等,故
,
该式蕴涵
。
另一方面,取
,由于
,
,
利用假设
,同理可得
,
该式结合事实
,即蕴涵
,进而得到
,这与命题假设矛盾。因此定存在
使得
。
3. 保持ξ-Lie积的c-数值域的映射刻画
下面给出本文主要定理。
定理 若
满足
,非零分量
全不相等且
,假设
是满射,则
保持算子
-Lie积的c-数值域,即满足
,
的充分必要条件是存在酉矩阵
以及常数
使得
对所有
成立。可以看到,当
时,可以得到保持算子
-Lie积的数值域的形式,有以下结论。
推论 若
是满射,则
保持算子
-Lie积的数值域,即满足
,
的充分必要条件是存在酉算子
以及常数
使得
对所有
成立。
下面给出定理的证明。
证明:显然充分性成立,我们仅需要证明必要性,我们由以下4个断言完成必要性的证明。假设
是满射满足
对于任意
成立。
断言1
是单射。
若
满足
,则有
,
对于任意向量
成立。
由命题2.1(7)和引理2.7,有
,因此,可以得到
成立对于所有
,那么得
。
断言2 存在空间分解
使得
。
由定义,我们有
,
由于
,可以得到
。由 [16] 定理1.1,存在空间分解
使得
,其中
对于任意向量
成立。
如果
,令
,其中
是N中相互正交的单位向量,则
。如果
,则在空间分解
下,有
,
其中
。令
,其中
,
。由于
是满射,则存在
使得
,因此
, (3)
通过计算可得
,
。
显然
和
都是秩一矩阵。由命题2.3和等式(3)可知
是一个中心为原点,短轴长为
的椭圆,同理
也是一个中心为原点,短轴长为
的椭圆,所以
。
即
,
意味着有
成立对于任意
。
由于
,令
,就有
, (4)
令
,有
, (5)
合并等式(4)和等式(5),我们有
,与
和
矛盾,因此
。
如果
,令
,取
,由于
是满射,存在
使得
和
,记
,
和
。
注意到对于任意
,若
,由命题2.5和命题2.6知,存在
,
和置换矩阵P满足
使得
。应用该结论到矩阵
中,则存在
使得
,其中
和
的分量来自c的分量
。矩阵
和
的特征方程都为
,
由命题2.5有,设
和
的特征值为
,
是以
和
为焦点的椭圆,
是以
和
为焦点的椭圆。由于
,我们可以得到
,记作
。由命题2.5,有下面等式
,
化简得
,
其中
。特别地,取
,有
;取
,再结合
,可得
,矛盾。
因此
,进而存在空间分解
使得
。
断言3
双边保厄米特。
由断言2,存在空间分解
使得
,如果
或者
,则
。取X是厄米特矩阵满足
也是厄米特矩阵,因此
,
可以得到
。由命题2.1(5)知Y是厄米特矩阵,因此,
保持厄米特。由于
是双射,所以
双边保厄米特。
现在假设
且
,取S是厄米特矩阵满足
,由
得
,
由命题2.1(5),知
是厄米特矩阵,因此
。
另一方面,存在矩阵空间分解
成立对于任意单位向量
。在该分解下,
,其中
。令
,由于
是满射,那么存在矩阵X使得
,利用
,可以得到
。由于
,有
,那么X就是二次算子,它的特征值为
和
。沿用命题2.4的记号此时有
,由此得出对于任意
,由命题2.5
是t个焦点为
的椭圆盘以及单点集
的实数倍的和
。
此外,利用
,有
, (6)
其中,
。
由命题2.5和命题2.6,有
,其中
,
,
,P是置换矩阵。易得
是以
为端点的线段。进而,利用命题2.1(3)知,
也是包含端点为
的线段。结合(6)得,
退化为实轴上的一条线段,从而使得
。再由
,我们可以得到
,因而
是双边保厄米特的。
断言4 存在酉矩阵
和常数
使得
对于任意
成立。
用
表示n阶厄米特矩阵全体组成的集合,由断言3可知,
是满射且对于任意
有
成立,可得存在一个n阶酉矩阵或共轭酉矩阵
和常数
使得
(7)
对于任意
成立。其中共轭酉矩阵的情形只出现在
的情形。现取
,若U是酉矩阵,由命题2.1(1)可得,对于任意向量
,都有
成立。再由引理2.7和
,可以得到
对于任意向量
成立,意味着
,因此
对于任意
成立。
为了证明定理成立,仍需验证U是共轭酉矩阵的情形不发生。此时,
。此外,对任意
及任意向量
,再次利用命题2.1(1)与等式(7),得
。
注意到任意二阶矩阵X的数值域中心是
,计算上面等式两边的数值域中心,可得
对任意
成立。此式蕴涵
,即
对任意
成立。进而得到
对任意
成立。这与引理2.8矛盾,故此情形不发生,证毕。 □
4. 总结
本文所研究的问题属于算子代数上的保持问题,具体说来是对保持数值域以及广义数值域的各类映射的刻画。本文主要结果是给出有限维Hilbert空间上有界线性算子全体组成的代数上一类保持算子ξ-Lie积的c-数值域的满射形式。在主要定理的证明过程中,命题2.6起着非常重要的作用,但是在无限维情形下,该定理是不成立的,因而本文只考虑有限维的情形。此外由于c-数值域中c向量取值的任意性,所以对于全部的c,给出保持算子ξ-Lie积的c-数值域的满射的完全刻画是很不容易的,而且猜想对于不同类型的c, 映射形式也是不统一的。所以在定理结论中对c向量加了一定的条件,这也是后面研究中考虑改进的方面。之后我们会对无限维Hilbert空间上的算子的c数值域进行更多研究,获得更多的有关性质,同时改进证明的方法,争取给出无限维情形下,相关保持问题的结论。
NOTES
*通讯作者。