1. 引言
设
是含单位元I的环,称可加映射
是导子,若
,
;称
是广义导子,若
,
。若可加映射
是导子,
,则由
,
定义的
是广义导子,我们称之为标准广义导子。导子和广义导子在理论和实际中有重要作用,得到了广泛的研究。可加映射在什么条件下成为(广义)导子的问题受到了学者们的广泛关注(见 [1] - [8] 及其参考文献),其中研究热点之一是(广义)可导映射。称可加映射
在
(广义)可导,若
(
),
,
。显然,可加映射是(广义)导子当且仅当它在每一点(广义)可导。一个自然而有趣的问题是:在给定点(广义)可导的可加映射是否是(广义)导子。参照文献 [2],称
为
的可加(广义)全可导点,若
上每个在
可导的可加映射事实上是(标准广义)导子。文献 [3] 证明了零算子是Hilbert空间套代数和Banach空间上标准算子代数的广义全可导点。Li和Zhou [4] 证明了Banach代数到其自身在每个左、右分离点可导的可加映射是Jordan导子。文献 [5] 的主要结果表明,每个非零算子是
的可加全导点。在文献 [6] 中,给出了自反代数上在任意但固定算子可导的可加映射的充分必要条件,并证明了Hilbert空间套代数上每个非零算子是可加全可导点。Guo和An [7] 证明了每个非零有限秩算子和每个非零算子分别是
和因子von Neumann代数的可加全可导点。本文证明了从von Neumann代数到其自身的有界线性映射
在任意但固定算子上可导当且仅当它是一个标准广义导子。特别地,如果
是没有
型直和项的von Neumann代数或真无限的von Neumann代数,则将
的线性且连续假设弱化为可加仍得到类似结果,进而证明了每个算子都是无
型直和项的von Neumann代数或真无限的von Neumann代数上的可加广义全可导点。文献 [7] 中的主要结果推广到一般von Neumann代数。注意到文献 [4] [5] [6] [7] 中的方法主要依赖于代数的素性、有限秩算子的性质及谱分析。但一般的von Neumann代数可能不是素代数,也不一定含有限秩算子,因此前面的方法对一般的von Neumann代数是无效的。为了克服素性和有限秩算子缺失造成的困难,我们需要von Neumann代数理论中的一些深刻结果。von Neumann代数
是
的自伴子代数(
是复H空间上有界线性算子全体构成的代数),且满足
,其中
,
。用
表示
的中心。若
,则称
为因子von Neumann代数。对于
,记
为A的中心覆盖,它是满足
的最小中心投影
。不难证明
是由
张成的闭子空间上的投影。若A是自伴的,则A的core为
。若
是投影,则
是
最大的中心投影。若
,则称P是core-free (见 [9])。容易验证
当且仅当
。一般von Neumann代数知识见参考文献 [10] [11]。
2. 主要结果及证明
本文利用可导映射刻画von Neumann代数上的导子,主要结论如下:
定理2.1 设
是von Neumann代数,
是任意但固定的算子,则有界线性映射
在
可导,即
,
,
当且仅当存在导子
使得
,
,其中
,
。
为证明定理2.1,需要如下几个引理。
引理2.2 设
是Banach代数,其单位元
,
。设代数
的形式为
,
,
。若
是
的可加广义全可导点,则
是
的可加广义全可导点。
证明 由假设可得
是含单位元
的Banach代数。假设
是
中的可逆元,t是任意非零有理数。由
和假设
在
可导,有
,
因此
,
,则
。由于
是Banach代数,每个元都可以写成两个可逆元的和,因此
,
。
设
,对
,
且
,则
。由假设
在
可导,可得
,
,
,即
在
可导。因此,由假设可知
是标准广义导子,设
,
,其中
,
是导子。对
,由定义
为
,易得
是导子。因此由
知
是标准广义导子,
是
的可加广义全可导点。
引理2.3 设
是von Neumann代数,投影
使得
,
。
1) 对
,若
,
,则
。
2) 对
,若
,
,则
。
3) 对
,若
,则
。
证明 由core-free和中心覆盖的定义知
且
。
1) 由
在H中稠密显然可得。
2) 由
得
,
。由
在H中稠密,可得
且
。
3) 由
,
,得
,因此
,
且
。
引理2.4 设
是von Neumann代数,
且P是
的值域投影,若
,则
是
的可加全可导点。
证明 令
,
,
,
则
。对
,
,
。由
是
的值域投影,有
。若
,则
。
设可加映射
在
可导,令
,定义
,
,则
在
可导当且仅当
在
可导。此外
,不失一般性,假设
。
下证
是一个导子。
设
是
中的可逆元,对任意的非零有理数
,由
且
在
可导,可得
由t的任意性可得
(1)
(2)
。另一方面,由
,可得
。因此
(3)
在(2)式中,令
,由
,得
,
。由(2)式,得
,因此
。所以
,
,
,
,
(4)
由
,
,可得
,
和
。结合
得
。在(3)式中,令
,
得
,
,
,
(5)
由(5)式和
,可得
,
。由引理2.3的(2)得
且由(4)式得
,
(6)
对
,
,由
,得
,故
。因此
结合(5)式可得
,
,
(7)
由(3)式和(7)式,可得
,
。因此由引理2.3和(4)式得
,
,
(8)
对
,
,
,由(3)式和(6)式可得
,
(9)
对
,由
,
,可得
,
且
。因为
,所以
。另一方面,由
,(7)式和(8)式可得
,
,
(10)
(10)式右乘
,得
,
。结合
,可得
,
(11)
为证明
是导子,只需证明
,
,
,
。记每种情形为Case
。Case (11, 12) (12, 22) (12, 21)分别由(9)式和(10)式可得。只需证Case(11, 11) (22, 22) (21, 11) (22, 12) (22, 21)。
对
,
,由(9)式可得
则
。因此,由引理2.3可得
,
(12)
类似可得
,
。
对
,
和
,由(10)式,(12)式和
可得
,
,
,
。
类似可得
,
,
。
对
,
,由(9)式,(10)式和
可得
。结合引理2.3可得
,
,
因此
是导子且
是
的可加全可导点。证毕。
设
是含单位元的代数,
是含单位元的
-双模,
,
,当A满足由
有
时,称A为
的左(右)分离点。
根据文献 [4] 引理2.5和von Neumann代数上的每个Jordan导子是导子这一事实,可得
引理2.5 von Neumann代数中的每个左或右分离点都是可加全可导点。
引理2.6 设
是von Neumann代数,则有界线性映射
在0点可导当且仅当存在可导映射
使得
,
,其中
。
证明 对任意幂等元
,由
,得
,即
。类似地,由
,得
,此蕴涵
。因为
中投影的线性张在
中稠密,所以
。对
,由
,
,可得
,
,即
,
。因为
是有界的且
中投影的线性张是稠密的,所以
,
,
。定义
,
,由
,易得
是线性导子,
,
,0是
的广义线性全可导点。证毕。
由引理2.2-2.6,可证定理2.1。
定理2.1的证明 先证充分性。假设
,
,其中
是导子,
,
。对
,
,
。另一方面,
因此,
,
,
,
在
可导。
下证必要性。设
在
是可导,由
得
,
。假设
的值域
投影是P,令
,
,
,则
,
且
是相互正交的中心投影。故
。
,
。
情形1
。
此时,
是
的左分离点,因此由引理2.5知
是导子,
是
的可加(线性)全可导点。
情形2
。
因为
,有
,所以
是
的右分离点,由引理2.5,
是
的可加(线性)全可导点。
因为
,有
,所以由引理2.6,
是
的线性广义全可导点。
注意到
,记
为
中
的中心覆盖,有
。显然
是正交于
的中心投影,因此
,即
。故
,
。类似可得
。由引理2.4,得
是
的可加(线性)全可导点。
因此由引理2.2,
是
的线性广义全可导点,即存在导子
使得
,
,其中
且
。定理得证。
若von Neumann代数不包含非零的有限中心投影,则称该代数为真无限von Neumann代数。由真无限von Neumann代数中的每个元最多是五个幂等元的和(见 [12]),通过类似于引理2.6的证明有
引理2.7 设
是真无限von Neumann代数,则可加映射
在0点可导当且仅当存在导子
使得
,
,其中
。
由引理2.7和定理2.1的类似证明有
定理2.8设
是真无限von Neumann代数,
是任意但固定算子,则可加映射
在
可导当且仅当存在导子
使得
,
,其中
且
。
由文献 [7] 中的定理3.1有
引理2.9设
是没有
型中心直和项的von Neumann代数,则可加映射
在0点可导当且仅当存在导子
,使得
,
,其中
且
。
由引理2.9和定理2.1的类似证明有
定理2.10 设
是无
型中心直和项的von Neumann代数,
是任意但固定算子,则可加映射
在
可导当且仅当存在导子
使得
,
,其中
,
。
显然因子von Neumann代数是没有
型中心直和项的von Neumann代数,由定理2.10,我们得到以下结果
推论2.11 设
是因子von Neumann代数,
且
是可加映射
1) 若
,则
在
可导当且仅当存在导子
和
使得
,
。
2) 若
,则
在
可导当且仅当它是导子。
证明 因为
是因子von Neumann代数,由定理2.1,存在
,使得
,因此(1)成立。由
,
和定理2.1,可得
,(2)成立。
由推论2.11,我们得到了文献 [5] 中的以下结论
推论2.12 设可加映射
,
。
1) 若
,则
在
可导当且仅当存在导子
且
,使得
,
。
2) 若
,则
在
可导当且仅当它是导子。
致谢
本文作者衷心感谢审稿人和读者的意见和建议。