效应代数的表示理论.pdfVIP

中国科学: 数学 2013 年 第43 卷 第8 期: 835 846 效应代数的表示理论 ∗ 曹怀信 郭志华 陈峥立 张坤利 陕西师范大学数学与信息科学学院, 西安 710062 E-mail: caohx@, zhguosx@, czl@, zkl20058101099@126.com 收稿日期: 2012-01-03; 接受日期: 2013-02-27; * 通信作者 国家自然科学基金(批准号: 和中央高校基本科研业务费 (批准号: GK201002006) 资助项目 摘要 本文研究可表示效应代数和弱可表示效应代数的刻画问题, 建立效应代数的表示理论. 称效应代 数E 是可表示的, 若存在Hilbert 空间H 和从E 到Hilbert 空间效应代数E (H ) 中的单调态射π ; 称E 是弱可表示的, 若存在Hilbert 空间H 和从E 到E (H ) 中的单态射. 本文证明了具有非空态空间S (E) 的效应代数E 是可表示的当且仅当由x, y ∈ E, f (x)+ f (y) 1 (∀ f ∈ S (E)) 可以推出x ⊕ y 有定义; E 是弱可表示的当且仅当 S (E) 分离了 E 的点. 同时, 本文还证明了可表示效应代数的一些运算性质, 并给出了所得结果的若干应用. 关键词 表示 弱表示 效应代数 主题分类 08A55, 46N50 1 引言 在量子力学中, 物理系统的量子效应由复Hilbert 空间H 上的正压缩算子来描述, 全体量子效应 [1–7] 的集合E (H ) = {A ∈ B (H ) : 0 A I } 是一类很重要的效应代数 , 其中 I 为 H 上的恒等算 子, B (H ) 表示 H 上的所有有界线性算子构成的代数, 部分加法A ⊕ B = A + B . 这类效应代数称为 Hilbert 空间效应代数. 一个很自然的问题是, 是否每个抽象效应代数都同构于某个E (H ) 的一个子效 应代数呢? 为了讨论这一问题, 文献 [8] 首先引入了效应代数表示的概念, 并举出了一些可表示或不可 表示效应代数的例子. 特别地, 证明了所有模糊集系统和非空集X 上的Boolean 代数2X 都是可表示 的效应代数; 一个效应代数是可表示的当且仅当它同构于一个Hilbert 空间效应代数E (H ) 的子效应 ∗ 代数. 基于C - 代数的 Gelfand-Naimark-Segal (GNS) 构造的思想, 我们猜想: 效应代数的态空间对于 研究可表示效应代数的刻画问题有重要作用. 所以, 文献 [9] 研究了效应代数上态的存在性, 计算了许 ∗ 多经典效应代数的态空间. 从算子代数的观点来看, 每一个抽象 C - 代数都等距同构于某个 Hilbert ∗ ∗ 空间上的上一些有界线性算子构成的C - 代数 (GNS 构造). 因此, 每个C - 代数是可表示的. 值得指 [8] 出的是并非每个效应代数都是可表示的 . 本文的目的是给出可表示和弱可表示效应代数的刻画, 建 立效应代数的表示理论. 2 效应代数 为了讨论效应代数的可表示性和弱可表示性, 首先回顾以下一些定义和例子. 英文引用格式 Cao H X, Guo Z H, Chen Z L, et al. Representation theory of effect algebras (in Chinese). Sci Sin Math, 2013, 43: 835–846, doi: 10.1360/012012-10 曹怀信等: 效应代数的表示理论 定义 设E 是一个非空集合, 0 和 1 是E