论文部分内容阅读
量子理论是二十世纪最伟大的科学成就之一.伴随着量子理论数学公理化而发展起来的量子逻辑理论,其研究已有八十多年历史和丰富内容.自1936年Birkhoff和von Neumann提出量子逻辑概念以来,可分的复Hilbert空间上的正交投影算子格是最重要的量子逻辑模型.但这种模型只能描述可精确测量的量子现象.1994年, Foulis和Bennett引进了抽象的效应代数概念来作为研究量子力学数学基础的一般框架,这是量子理论数学公理化研究的一个重要进展.众所周知,测度论是数学科学中的一个重要分支,是现代分析数学的一个重要工具,与集合论、概率论、实分析、微分方程等其他数学分支有着密切的联系,并且在许多非数学领域有着广泛的应用.因此,研究量子逻辑上的测度理论不仅具有理论意义而且具有实际价值. 本文共分四章.简要回顾了量子逻辑理论研究80多年来的主要阶段、主要成果以及测度理论中与本文相关联方面的研究历史与现状,主要研究了效应代数上有界变差测度和强有界测度、一类非可加测度的收敛性以及单调非可加测度的连续性.本文的主要内容如下: 1.证明了效应代数上实值有界测度、强可加测度和强有界测度的等价性,进一步研究了效应代数上有界变差测度并给出了几个基本性质,同时,证明了效应代数上有界变差测度空间和有界链变差测度空间都是Banach空间.另外,我们引进了效应代数上强有界测度序列的两个性质,讨论了这两个性质之间的关系以及它们与一致收敛定理之间的联系,举例说明了这两个性质都弱于强有界测度序列的一致强有界性. 2.引进并研究了SCP-效应代数上一类非可加测度,即s-外测度,建立了此类非可加测度的Drewnowski引理,并利用该引理得到了s-外非可加测度的Brooks-Jewett定理,扩大了该定理的应用范围. 3.讨论了格效应代数上单调非可加测度的几种连续性,即序连续性、上连续性、下连续性、上强连续性、下强连续性、上自连续性、下自连续性、单调上自连续性以及单调下自连续性等.同时,我们证明了SCP-效应代数上单调序连续非可加测度是强有界的,并给出了强有界测度的一个等价条件.另外,通过例子,我们进一步说明了序连续性、上自连续性、下自连续性、单调上自连续性以及单调下自连续性之间的关系.