【摘 要】
：
本文讨论了抽象效应代数的表示问题.对于一个抽象效应代数(E,⊕,0,1),如果存在一个Hilbert空间H和一个单态射φ:E→E(H),那么称E为可表示的且称(φ,H)是E的一个表示,其中ε(H)表示H上所有正压缩算子构成的效应代数.给出了一些可表示的和不可表示的效应代数的例子,证明了非空集X上的任一模糊集系统F和Boolean代数BX都是可表示的效应代数.
论文部分内容阅读
本文讨论了抽象效应代数的表示问题.对于一个抽象效应代数(E,⊕,0,1),如果存在一个Hilbert空间H和一个单态射φ:E→E(H),那么称E为可表示的且称(φ,H)是E的一个表示,其中ε(H)表示H上所有正压缩算子构成的效应代数.给出了一些可表示的和不可表示的效应代数的例子,证明了非空集X上的任一模糊集系统F和Boolean代数BX都是可表示的效应代数.
其他文献
针对多输入情形,考虑非线性系统通过坐标变换和状态反馈等价于下三角系统的问题.首先给出了多输入下三角非线性系统的两种基本形式.利用奇异分布的有关理论,给出了多输入非线性系统通过反馈等价于非自治下三角形式系统的充要条件.借助算法说明了如何通过状态反馈和坐标变换实现上述系统间的等价转换.
本文考虑R+2上的二维热传导方程的侧边值问题,这是一个不适定问题.利用正交多尺度分析生成Meyer小波这一工具,我们提出了一种正则化方法.这一想法源于Meyer小波的Fourier变换具有紧支集,这意味着可以使用其防止高频噪声污染问题的解.本文的主要结果是定理4.2,它给出了精确解与截断解(即小波正则解)之间的误差估计.这里的截断通过对测量数据f设定限制以及逐层离散完成.
本文证明,紧度量空间上的同胚,若在链回复集上可扩且具有伪轨跟踪性,则是链拓扑稳定的.
本文研究一个带插值的网格重构算法求解一类带移动热源的反应扩散方程.算法包括两步:第一步是用旧时间网层上的计算解计算新时间层上的空间网格;第二步是使用有限差分方法在新时间层空间网格上离散方程,并且将旧时间层上计算解的插值作为初始值.对于时间,我们获得了一阶收敛结果.对于空间,我们证明了使用线性插值算法的一阶收敛性和使用二次插值算法的二阶收敛性.数值例子肯定了本文的理论结果.
本文研究p-adic域Qp上的一类拟微分算子{Tα:α∈R},其中算子Tα在Qp的检验函数空间S(Qp)以及相应的分布空间S(Qp)中作为一个运算是封闭的.本文构造了算子Tα的卷积核,指出算子与其卷积核在解决p-adic域上的相关问题中所起的重要作用.最后研究算子Tα的谱性质,构造了算子Tα的全体固有值与固有函数,并证明全体固有函数所成的集合组成L2(Qp)空间中的一组完整正交基.
本文研究在次线性期望下的独立随机变量列的大偏差和中偏差原理.利用次可加方法,我们得到次线性期望下的大偏差原理.与次线性期望下的中心极限定理相应的中偏差原理也被建立.
设D为Rs上的一个紧集,X为D上的一个随机覆盖过程的统计量.由于问题复杂,X的均值、方差、分布函数均没有解析表达式.统计模拟可以帮助我们找到它们的近似解.为了在D上做统计模拟,需要D的代表点.产生代表点的不同方法,会影响统计模拟的结果.若D不是一个矩形,如何选择合适的代表点至关重要.文献中研究了一个在单位圆上的随机覆盖问题,提出在单位圆上产生代表点的四种方法,并对这四种方法给予评估.本文考虑两个随
本文的主要目的是运用初等及代数方法研究四次及六次混合指数和的均值计算问题,并给出几个有趣的计算公式和转换公式.
本文主要研究有限个相互独立的从属过程之和的样本轨道的渐近性质.给出了样本轨道在零点附近和无穷远处的渐近增长率的上下极限,并且得出了在零点附近渐近增长率的一致下极限.
利用von Neumann代数M和带有正规的2-上循环μ的离散群G,定义了2-上循环交叉积,推广了经典的离散交叉积,并证明了2-上循环交叉积具有结合律.