效应代数的表示

本文讨论了抽象效应代数的表示问题. 对于一个抽象效应代数(E,⊕, 0, 1), 如果存在一个Hilbert 空间 H 和一个单态射 φ:E →ε(H), 那么称 E 为可表示的且称(φ,H) 是E 的一个表示, 其中ε(H) 表示 H 上所有正压缩算子构成的效应代数. 给出了一些可表示的和不可表示的效应代数的例子, 证 明了非空集 X 上的任一模糊集系统 F 和Boolean 代数B_X 都是可表示的效应代数.     

一类效应代数的态表示定理

1994年, Foulis和Bennett在表示不可精确测量的量子逻辑结构时引入了效应代数. 该文用直接构造的方法, 给出一类效应代数上的态表示定理. 即, 若Ω是紧的 Hausdorff 拓扑空间, 令E(Ω)={f: f∈C(Ω), 0≤f≤1}, 则φ 是(E(Ω),Ο, 0, 1) 上的态当且仅当Ω 上存在唯一的正则Borel 概率测度μ使得对每个f (E(Ω),Ο, 0, 1),φ (f)=∫_Ω f dμ.     

由可精确测量元控制的效应代数上的态

证明了由可精确测量元控制的Archimedes原子格效应代数能被所谓的元素基本分解性质所刻画. 做为应用, 证明了这类效应代数的态弥漫定理.     

标度广义效应代数和标度效应代数的结构

研究了标度广义效应代数与标度效应代数的代数结构,给出了比较完整的结果.通过引入全标度广义代数的概念,本文证明了区间[0,1)上的标度广义效应代数和单位区间[0,1]上的标度效应代数完全由单位区间上的阿基米德余模确定,标度广义效应代数恰同构于全标度广义代数的下集.若标度广义代数满足局部有限条件,则它同构于实数加法群的子群代数.满足(S)条件的标度效应代数同构于实数加法群的子群代数和全标度广义代数的字典序乘积的子代数.     

*-代数自由积上的线性泛函的延拓

本文研究了C*-代数及其*-稠子代数的*-代数自由积.利用自由积的性质,得到了这两类自由积上的线性泛函到C*-代数(泛)自由积上的态延拓的充要条件,从而证明了这类延拓对于一般的C*-代数也是成立的.     

代数自由积上的线性泛函的延拓

本文研究了C^＊-代数及其＊-稠子代数的＊-代数自由积．利用自由积的性质，得到了这两类自由积上的线性泛函到C^＊-代数（泛）自由积上的态延拓的充要条件，从而证明了这类延拓对于一般的C^＊-代数也是成立的．     

效应代数的不分明化滤子

在连续格值逻辑的语义框架下,以Lukasiewicz蕴涵算子为工具定义了连续格值逻辑上的效应代数之不分明化滤子的概念,将用G.Cantor集合理论所刻画的效应代数的滤子概念在连续格值谓词演算下给予重新刻画,给出了不分明滤子的几个等价描述和性质.在两个经典效应代数的效应态射与效应同构意义下,讨论了这种不分明滤子的像和前像问题.     

李超代数不可分解表示的Boson—Fermion实现

本文从普遍的代数观点出发,考虑到李超代数的Boson-Fermion实现,研究了任意李超代数在Heisenberg-Weyl超代数的通用包络代数相关空间上的无穷维不可分解表示。在特定的商空间上,这个表示将诱导出各种有限维表示,通常的不可约表示仅作为特殊情况给出。作为具体例子,我们给出了典型李超代数Gsl(2)(B(0,1),在耦合基下的不可分解表示。最后,我们证明了荷载这种无穷维不可分解表示的商空间同构于物理空间——广义Fock空间。     

态R_0代数

本文研究了R_0代数上有关态算子的问题.利用MV-代数上内态的引入方法引入了态算子,定义了态R_0代数,它是R_0代数的一般化.给出了一些非平凡态R_0代数的例子并讨论了态R_0代数的一些基本性质.在此基础上给出了态滤子和态局部R_0代数的概念,并利用态滤子刻画了态局部R_0代数.推广了局部R_0代数的相关理论.     

带有非退化不变对称双线性型的有限维可解李代数

本文讨论复数域上带有非退化不变对称双线性型的,可裂的有限维可解李代数的性质及结构.给出了不可分解的非退化可解李代数的定义.证明了本文所讨论的李代数可以分解成不可分解的非退化可解理想的正交直和.对于不可分解的非退化可解李代数,给出了它关于极大环面子代数的根空间分解;讨论了根空间的结构及运算关系;证明了它的 Cartan 子代数的交换性,并给出了 Cartan子代数的结构.