自反子空间格的表示和运算.pdfVIP

中国科学 数学 年 第 卷 第 期 自反子空间格的表示和运算 ∗ 董瑷菊 袁巍 侯成军 陈广锋 西安文理学院数学系 西安 中国科学院数学与系统科学研究院 北京 曲阜师范大学运筹所 日照 收稿日期 接受日期 通信作者 西安市科技计划 批注号 和国家自然科学基金 批准号 资助项目 摘要 证明了 代数的子空间格的自反性和 性都不依赖于该 代数的 正规忠实 ∗ 表示 引入了 代数及所含子空间格的半自由积运算 证明了两子空间格的 半自由积同构于它们的直和 关键词 代数 代数 自由积 包含 主题分类 引言 在建立了自伴算子的谱理论以后 于 年引入了 算子环 的概念 即后来被人 们所称的 代数 该类代数是 空间上对伴随运算封闭以及在强算子拓扑下闭的 算子代数 三十年后 和 引入了 代数的三角子代数 见 此被认为 是非自伴算子代数的最早发展 通过五十多年的发展 非自伴算子代数理论已取得了很大的进展 套 代数和自反 算子 代数等相继产生 时至今日 套代数已发展成为一个较为成熟的理论 但相对于 代数和 代数 非自伴代数缺乏广泛的应用和更为深刻的理论 其中一个主要原因可以在 和 的后续文章 中看到 众所周知 代数之间的运算是代数的分解和分类理论中不 可缺少的工具 人们也只有在有效的运算下才可以用简单的代数来构造复杂的代数 如C∗ 代数和 代数理论中的代数直和、张量积、交叉积和自由积等都是自伴代数理论中的重要运算 但 是 在非自伴代数研究中缺少类似的有效运算 而通常的代数直和与张量积等概念在自反代数类中也 常常不自封 最近 在文献 中 我们研究了一类新的非自伴代数 即 代数 这类代数是自反 的 所以它们可以由其对应的自反子空间格来完全决定 与此同时 这类代数和它们所对应的子空间格 生成的 代数又密切相关 这使得我们可以利用 代数的结构和运算的性质 来研究自反子空间格的相应理论 再用所得的子空间格间的运算诱导出非自伴代数之间的运算 显然 采用这种途径来定义和研究自反算子代数间的运算首先要面临的问题是子空间格在 多大程度 上决 定了它所对应的自反代数 本文首先研究子空间格的自反性与其生成 代数的表示之间 的关系 证明一类子空间格 包含了 格 的自反性不依赖于它所生成 代 引用格式 董瑷菊等 自反子空间格的表示和运算 数的表示 这样的表示与格的单纯表示有很大不同 甚至我们可以找到一个格在一种表示下是自反的 从而是强算子拓扑下闭的 而在另一种表示下不一定是强算子闭的 最后我们定义了 代数之间的一种和自由积有关的新运算 证明了该运算自然诱导出的子空间格间的运算对应了格与格 之间的直积 从拓扑角度来看 这样的格运算能保持很好的几何结构 本文用到的记号都是标准的 可参考 和 自反代数和自反格 设H 是一个复 空间 记H 上有界线性算子的全体所形成的代数为B H 若令S 为B H 的一个非空子集 记S 中所有算子的公共不变闭 子空间或对应的正交投影形成的集合为 S 则 S 是一个格 并称之为 S 的不变子空间格 反之 设 L 是 B H 中一些正交投影组成的集合 记 B H 中以L 中的所有投影为不变子空间的算子形成的代数为 L 易见 L 是B H 中的包含 恒等算子的弱算子闭子代数 如果B H 的子代数 满足 则称 是自反代数 相应 地 如果 投影 格L 满足L L 则称L 为自反格 见 如果L 是由两两交换的投影所 形成的子空间格 则称L 为交换子空间格 简称 格 见 当L 是全序子空间格时 则称L 为 套 见 此时 L 也称为套代数 套代数是自反代数的特例 和有限维矩阵代数中的上三角代数 类似 是研究较多的自反代数 作为子空间格 套的结构比较简单 其酉