在算子理论这一数学领域中,奈马克扩张定理将正算子值测度与另一空间上的自伴算子的谱测度关联了起来。此定理冠名于苏联数学家马克·奈马克。它可看作是斯坦斯普林扩张定理的推论。
一些先导概念[编辑]
设
是一个紧豪斯多夫空间,
是一个希尔伯特空间,
是
上有界算子所构成的巴拿赫空间。对于
上的博雷尔 σ-代数
到
的映射
,若它是弱可数可加的,也就是说若对于任何不相交的博雷尔集序列
有
则称其为是一个算子值测度。关于此类测度性质的一些术语是:
称为是正则的,若标量值测度
是一正则的博雷尔测度。这意味着所有紧集都有有限的总变差,并且集合的测度可由开集的测度来逼近。
称为是有界算子值测度,若
。
称为是正算子值测度,若对于任意
而言
都是正算子。
称为是自伴算子值测度,如果任意
而言
都是自伴算子。
称为是谱测度,如果
是自伴的,且
对任意
成立。
下面将始终假设
是正则的。
令
表示
上连续函数所构成的交换C*-代数。如果
正则且有界,则它可导出一个映射
如下:
的有界性意味着,对于所有范数为一的
,有
由此可见对于任意
给出的
都是有界算子,且
本身也是一个有界线性映射。
的性质与
的性质直接相关:
- 若
是正的,则
作为C*-代数之间的映射而言也是正的。
- 根据定义,
成为一个同态的条件是:对于任意的
上连续函数
以及
,
取
为博雷尔集的指示函数,可发现上述条件要求
是一个谱测度。
- 类似地,
与*运算相容是指
等号左端是
而右端是
于是,通过在一个单增收敛于
的指示函数的连续函数序列中取
,可得
,即
是自伴的。
- 结合前两个事实可以得出以下结论:当且仅当
是自伴的且谱的 (这样的
被称为投影值测度),
才成为*-同态。
奈马克扩张定理[编辑]
证明概要[编辑]
证明主要是从
转向其诱导的
,然后应用斯坦斯普林扩张定理。
由于
是正算子值测度,故如前所述
是C*-代数间的正映射。进一步地,由于
是交换C*-代数,可知
是完全正映射。至此已满足应用斯坦斯普林扩张定理的条件,从而可知存在一个希尔伯特空间
、一个*-同态
和算子
使得
。
由于
是*-同态,其对应的算子值测度
是自伴谱测度——容易看出
满足所需的性质。
有限维情况[编辑]
在有限维情况下,有一个更明确的表述。
现在设
,因此
是有限维代数
,并且
的维度为有限的
。正算子值测度
则将每个
映射为一个
阶的半正定矩阵
。奈马克扩张定理这时所说明的就是,
上存在一个投影值测度,其限制为
[需要更深入解释]。
特别有趣的是
的情况,其中
是恒等算子 (相关应用参见正算子值测度。)在这种情况下,诱导出的映射
是保单位元的。可以不失一般性地假设每个
具有形式
,即向量
的外积(且
将是次归一化[需要定义]的)。在这样的假设下,
的情况将不可能,
- 要么
,而
本身就是一个投影值测度(因为
当且仅当
是一组规范正交基),
- 要么
,而
并非是由相互正交的投影构成。
对于第二种情况,寻找合适的投影值测度的问题将转化为以下问题。根据假设,非方矩阵
是余等距的,也就是说满足
。若能找到
阶矩阵
使得
是一个
阶幺正矩阵,那么到
的各个列向量上的投影的所构成的投影值测度就具有所需的性质。原则上,总能找到这样的
。
参考资料[编辑]