相容连续Domain的序同态扩张

对相容Domain引入了相容定向极小集的概念,证明了相容Domain D是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集,并给出了相容连续Domain的序同态扩张定理.     

Domain上的扩张定理

对定向极小集进行了进一步的研究，给出了Domain中保定向极小集映射与保定向并和《映射之间的等价刻画及其有关的性质，在此基础上得到了关于保定向极小集映射的两个相应的扩张定理。     

拟连续Domain的特征与浓度

在定向完备偏序集(即Dcpo)上引入局部拟基和稠密子集族的概念,在此基础上定义了拟连续Domain的特征和浓度.利用局部拟基给出拟连续Domain新的等价刻画,并探讨了拟连续Domain的特征、浓度与该拟连续Domain上赋予Scott拓扑或Lawson拓扑时的拓扑空间的特征、浓度之间的关系.证明了拟连续Domain的特征(浓度)等于其上赋予Scott拓扑时的拓扑空间的特征(浓度),且小于等于其上赋予Lawson拓扑时的拓扑空间的特征(浓度).     

拟代数Domain的若干性质

基于拟连续Domain的等价定义及其构造，研究了拟代数Domain的一系列性质，并且给出了它的等价刻画，由此得到拟代数Domain一定是拟连续Domain．通过讨论Scott连续闭包算子保持集合与集合之间的Waybelow关系这一特性，证明了拟代数Domain在Scott连续闭包算子下的像仍是拟代数Domain；得到了拟代数Domain上赋予Scott拓扑构成Baire空间，拟代数格上赋予Lawson拓扑构成Priestley空间等结论．     

模糊Domain上的模糊序同态及其性质

通过引入模糊定向极小集和模糊Domain的基的概念,证明了模糊定向完备偏序集X是模糊Domain当且仅当X有基当且仅当x∈X,x有模糊定向极小集.基于模糊定向极小集和模糊Domain的基,研究了模糊Domain上的模糊序同态,证明了模糊Domain X的基到模糊Domain Y上的模糊序同态可以唯一扩张为模糊Domain X到模糊Domain Y上的模糊序同态.     

连续Domain的特征与浓度

引入了连续Domain的局部基和稠密子集的概念，在此基础上定义了连续Domain的特征及浓度，给出了局部基的刻画，并讨论了连续Domain的特征、浓度与连续Domain带上Scott拓扑或Lawson拓扑的拓扑空间的特征、浓度之间的关系。证明了连续Domain的特征、浓度分别与它带上Scott拓扑时的拓扑空间的特征、浓度相等，它们分别小于连续Domain带上Lawson拓扑时的拓扑空间的特征、浓度。     

连续格的极小集刻画

仿照完全分配格中的做法,定义了完备格上的定向极小集和连续格上的定向极小映射,从而得到了连续格的定向极小集刻画,并研究了它们的一些性质。     

相容L-Domain及其相关范畴性质

引入了相容L－Dimain概念，给出了相容L－Domain的多种内部的外部的刻画；利用Scott拓扑定义了相容L－Domain的定向完备化，证明了相容L－Domain的定向完备化是L－Domain；考察了相容L－Domain范畴，得知稳定映射为态射的相容L－Domain范畴是Cartesian闭范畴，证明了稳定映射为态射的L－Domain范畴为相容L－Domain范畴的满的反射子范畴。     

相容连续Domain的特征与浓度

引入相容连续Domain的权与稠密子集的概念,在此基础上定义相容连续Domain的特征与浓度.给出局部基的刻画,并讨论相容连续Domain的特征、浓度与相容连续Domain带上Scott拓扑或Lawson拓扑时拓扑空间的特征与浓度之间的关系.证明相容连续Domain的特征、浓度分别带上Scott拓扑时拓扑空间的特征、浓度相等,它们分别小于相容连续Domain带上Lawson拓扑时拓扑空间的特征与浓度.     

拟连续domain的网式刻画

本文在定向完备偏序集上引入网的广义S收敛的概念,并给出了拟连续domain的如下网式刻画:定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的.该结果推广了Domain理论中关于连续domain的类似刻画.     

相容拟半连续Domain和相容交半连续Domain

引入了相容拟半连续Domain和相容交半连续Domain的概念, 给出了一系列好的性质。分别给出了相容半连续Domain与相容拟半连续Domain、相容交半连续Domain间的关系, 并且利用相容半Scott拓扑刻画了相容交半连续Domain。     

一类含有2n个非零元的极小谱任意符号模式

设A为n阶符号模式,如果对任意n次首1实系数多项式r(x),都有一个实矩阵B在符号模式A的定性矩阵类Q(Α)中,且B的特征多项式为f(x)=r(x),则称A是谱任意的.如果A是谱任意的并且A的真子模式都不是谱任意的,则称A为极小谱任意的.文章对一类新的含有2n个非零元的n阶符号模式运用幂零——雅可比方法证明了其为极小谱任意模式.     

Scott Domain上的稳定映射与Lawson拓扑

研究了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射的性质及 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射与下拓扑之间的联系,给出了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ 上稳定映射的特征定理,得到了 Ｓｃｏｔｔ Ｄｏｍ ａｉｎ上的稳定映射与 Ｌａｗ ｓｏｎ 拓扑之间的关系定理     

具有伪上半连续性的最优化问题的稳定性

讨论了具有伪上半连续性的最优化问题的稳定性.首先在伪上半连续的条件下证明了函数极大值点的集合是非空紧的,其次定义最优解映射并证明最优解映射是usco映射,最后得出最优解极小本质集的存在性.     

极小LF T_2拓扑空间

对于任意Fuzzy格L和非空集X,本文证明了L~X上极小LF T_2拓扑的存在性,并借助于序同态和理想等工具讨论了这种拓扑的结构。最后证明了当L的最大元是有限个分子之并时L~X上存在唯一极小LF T_2拓扑的充要条件是X为有限集。     

关于亚纯函数及其导数的Borel方向的一个注记

讨论了有穷正级亚纯函数与其导数的Borel方向.利用亚纯函数值分布的基本方法,从集合关系的角度,探讨了Valiron猜想.证明了,相应于每个有穷正级亚纯函数存在一个含无穷多元素的有穷正级函数族,对其中每个函数Valiron猜想成立.     

完全条件置换子群对有限群结构的影响

有限群G的子群H称为G的完全条件置换子群,如果对于G的任一子群K,存在x∈（H,K）,使得HK^z=K^zH文中利用完全条件置换子群对有限群结构的影响,给出了超可解群的若干充分条件,并将一些结果进行了推广．     

极小集和定向极小集的性质

文[7]给出了极小集和定向极小集理论,本文就极小集和定向极小集作了进一步的研究,得出一些重要性质,本文最后给出连续格为完全分配格的一个充分条件。