交换偏序半群的偏序扩张

设(S,·,≤)为偏序可换半群,本文给出将S的偏序≤扩张为满足一定条件的偏序≤^{*的充要条件.特别地,如果(S,·,≤)为可消偏序可换幺半群,本文给出将S的偏序≤扩张为可消偏序≤*且S的每个元素在≤*下均在正锥中的充要条件.本文还给出将偏序可换幺半群S的偏序≤扩张为≤*且使得S的有限元素子集在≤*下是一条链的充要条件.}     

偏序半群的偏序扩张

引入了偏序半群(S,·,≤)上的半拟序σ及模σ半拟链的概念.通过模σ半拟链,将S的偏序≤扩张为≤*,讨论了(S,*,≤*)是偏序半群的充分条件,并获得了若干理想的结果.特别地,得到了SPO(S)到PO(S)的两个半格同态定理.最后,还给出了S的满足某些给定条件的有限子集在≤*下成链的充要条件.     

添加超实数而不加实数的力迫

本文研究了加强型Mathias力迫及其在不可数情形下的推广.通过力迫法,证明了Mathias力迫添加支配性实数,而加强型Mathias力迫添加的是无界、非支配性的实数.还证明了ω₁上的Mathias型力迫添加的是无界、非支配性的ω₁类实数且不添加新的实数.这些结论可应用于对实数上的基数不变量的研究.     

在R上取值树指标马氏链的等价性质

本文参照Benjamini和Peres的离散状态树指标马氏链的定义,给出在R上取值树指标马氏链的定义,并给出其若干等价性质.     

可换序半群的分式扩张

In this paper we extend the construction of the field of rational numbers from the ring of integers to an arbitrary commutative ordered semigroup.We first construct a fractional ordered semigroup and a homomorphism ψs:R→S-1R.Secondly,we characterize the commutative ordered semigroup so constructed by a universal mapping property.     

随机无穷点集上欧几里德最小扩张树的自包含性

本文证明好的欧氏空间无穷点集上最小扩张树的自包含性．应用上述性质,以及AlexanderK．S．[1]中有关二维Poisson连续渗流的结果,我们给出二维情形AldousD．和SteeleJ．M．[2]之猜想的一个新证明,区别于AlexanderK．S．[3]对上述猜想的排除法证明,我们直接证明它,显然,我们的证明更简单．对Poisson连续渗流,得到其二维临界值相对于Poisson最小扩张树的一个刻画;最后我们给出上述临界值相对于点渗流临界值的一个上下界估计。     

渐近纠缠算子单值扩张性质的等价性

算子T∈B(H)称作有单值扩张性质,若对任意一个开集U■C,满足方程(T-λI)f(λ)=0(λ∈U)的唯一的解析函数为零函数.显然,当int σ_p(T)=时,T有单值扩张性质,其中σ_p(T)为T的点谱.本文给出了渐近纠缠算子单值扩张性质的稳定性的等价条件,同时研究了2×2上三角算子矩阵的单值扩张性质的稳定性.     

Quantale中理想的扩张

讨论理想Quantale的性质,给出了当Q是可换Quantale时,Q中理想都是半素理想的一个条件.引入了理想的扩张的概念,证明了与序半群中的一些经典结论相一致的命题.通过理想的扩张构造了一个Quantale上的同余,得到了当原理想是素理想时,这个同余所确定的Quantale商是Frame且找到了它的具体结构.     

特殊双列代数平凡扩张的一阶Hochschild上同调群

利用组合的方法刻画了具有normed基的特殊双列代数的一阶Hochschild同调群, 并得到了它们的维数方程. 基于对向量空间Alt(DA)的组合描绘, 得到了特殊双列代数平凡扩张的一阶Hochschild上同调群的维数方程的计算公式.     

在有向网络中寻找最小支撑入树的计算方法

本文研究了有向网络中支撑入树的性质 ,提出了在有向网络图中寻找以某一指定点为根的最小支撑入树的一种较简便的算法 ,并给出了应用该算法的一个实际算例     

Banach空间中渐近非扩张映象的收敛性定理

本文在Banach空间中引入和研究渐近非扩张映象及非扩张映象的某些类型的迭代序列的收敛性,其结果改进和推广了最新的一些结果,     

三路树P(m,n,t)是边幻图的证明

文 [1 ]中猜测每一棵树是边幻图 .本文证明了三路树 P( m,n,t) ,当 ( i) n,t为偶数且相等 ;( ii)t=n+1 ;( iii) n为奇数且 t=n+2时为边幻图 .     

有向网络中具有一个枢纽点的最小支撑树的计算方法

对有向网络中具有一个枢纽点的支撑树的问题和性质进行了研究,给出了在有向网络图中寻找以某一定点为枢纽点的最小支撑树的计算方法,并对算法的复杂性进行了讨论,最后将该算法应用于实际算例的计算．     

Banach空间中渐近非扩张非自身映射带误差Noor迭代的收敛性定理

本文主要对三个渐近非扩张非自身映射引入了一种新的投影型Noor迭代程序,并在一致凸Banach空间中给出了该Noor迭代序列的弱与强收敛性定理.我们的主要结果推广和改进了该领域许多近期的结果.     

三路树P(m,n,t)是边幻图的证明(II)

令简单图G=(V,E)是有p个顶点q条边的图.假设G的顶点和边由1,2,…,p+q所标号,且f:V∪E→{1,2,…,p+q}是一个双射,如果对所有的边xy,f(x)+f(y)+f(xy)是常量,则称图G是边幻图(edge-magic).本文证明了三路树P(m,n,t)当n为偶数,t=n+2时也是边幻图.     

三路树P(m,n,t)是边幻图的证明(Ⅱ)

令简单图G=(V,E)是有p个顶点q条边的图.假设G的顶点和边由1,2,…,p+q所标号,且f:V ∪E→{1,2,…,p+q}是一个双射,如果对所有的边xy,f(x)+f(y)+f(xy)是常量,则称图G是边幻图(edge-magic).本文证明了三路树P(m,n,t)当n为偶数,t=n+2时也是边幻图.     

通讯网络中极小费用生成树的一种算法

针对具有n个通讯站的局域网络,运用增加或调整虚设站的方法,给出一种在混合距离下的极小费用生成树的算法.并就MCM91问题B,求出了极小费用生成树,其总费用小于美国马里兰州里斯勃来莱州立大学数学科学系B.A.Fusaro所提供的论文中的费用.     

一类特殊非齐次树上二重马尔可夫链的若干强极限定理

极限定理一直是国际概率论界研究的中心课题之一.通过构造适当的辅助非负鞅而给出了一类特殊非齐次树上二重马尔可夫链的若干强极限定理.     

代数扩张域上的多项式分解在密码学中的应用

用有理数域或特征p的素域上的有n个独立变量的有理函数域的有限代数扩张域上的多项式的不可约分解,建议了一类密码系统.     

Hilbert空间中渐近殆非扩张曲线的强遍历收敛定理

设C为Hilbert空间H的非空子集，G为一个交换半群．文中定义了G上渐近殆非扩张曲线“（·）：G→C，证明了渐近殆非扩张曲线的强遍历收敛定理．应用于半群，得到了在失去凸性的情况下，渐近非扩张型半群的殆轨道的强遍历收敛定理．推广和改进了以前所有的结果。