完全正则空间的一个刻画

给出了集合X上的弱一致结构的定义，通过弱一致结构给出了刻画完全正则空间的一个等介刻画，即拓扑空间(X，J）是完全正则空间的充分必要条件为X上存在一个弱一致结构，其中J是该弱一致结构所诱导的拓扑．     

Fuzzy诱导空间的点式完全正则性

本文主要证明了一个ｆｕｚｙ诱导空间（Ｘ,δ）是点式完全正则的当且仅当其底空间（Ｘ,［δ］）是完全正则的     

I(L)诱导Fuzzy拓扑空间的完全正则性

证明完全正则性是Ｉ（Ｌ）好的推广,即诱导空间（Ｉ（Ｌ）Ｘ,ω（δ））是完全正则空间当且仅当（ＬＸ,δ）是完全正则空间．     

S－仿紧空间与可数S－仿紧空间

拓扑空间（Ｘ，Ｊ）称为可数Ｓ－仿紧空间，如果对Ｘ的每个可数正则闭复盖，都存在一个局部有限的正则闭加细．给出了（可数）Ｓ－仿紧空间的一些刻划．１°空间（Ｘ，Ｊ）是（可数）Ｓ－仿紧空间的充要条件是对于每个（可数）正则闭复盖Ｕ，都存在一个局部有限加细．２°设（Ｘ，Ｊ）是（可数）Ｓ－仿紧空间，则存在正则开子空间是（可数）Ｓ－仿紧空间．３°设（Ｘ，Ｊ）是拓扑空间，Ｘ的每个局部有限闭复盖都有一个局部有限正则闭加细     

LF拓扑空间的完全正则化及应用

研究了ＬＦ拓扑空间的完全正则性,引入完全正则ＬＦ集和ＬＦ拓扑空间的完全正则化的概念并给出了等价刻画。在此基础上,建立了完全正则ＬＦ拓扑空间和Ｈ（λ）完全正则空间的新的特征定理。     

（LF）—空间的正则性与完备性

设（Ｅ，ｔ）＝ｉｎｄ（Ｅｎ，ｔｎ）为（ＬＦ）－空间，我们证明了下述结果：（ｉ）（Ｅ，ｔ）为正则当且仅当存在（Ｅｎ，ｔｎ）中Ｏ的圆凸领域Ｕｎ，使Ｕ１∪→Ｕ２∪→…且（ＳＰ［Ｕ↑－ｎ＾Ｅ］，ηｎ）为速完备，这里ηｎ是以｛εＵ↑－ｎ＾Ｅ∩Ｕ：ε〉０，Ｕ∈Ｕ｝为Ｏ－邻域基的局部凸拓扑，而Ｕ为（Ｅ，ｔ）中Ｏ－领域基；（ｉｉ）若对于任意ｎ∈Ｎ，存在（Ｅｎ，ｔｎ）中Ｏ的圆凸领域Ｕｎ及ｍ＝ｍ（ｎ）≥ｎ，使Ｕ↑－ｎ     

距离空间的一个公共不动点定理

引入了渐近正则映象对概念．在适当条件下证明了完备距离空间中渐近正则映象对公共不动点的存在定理． 定理1设T,S是连续的渐近正则映象对,且满足如下条件： ①存在φ∈Ф1,使得d（Tx,Sy）≤φ（D（x,y））,x,y∈X;②d（Tx,Sy）〈D（x,y）, z,y ∈X且x≠y． 那么T和S有唯一的公共不动点．     

LF拓扑空间中正则的新定义

本文在ＬＦ拓扑空间（Ｌ＾ｘ，δ）中给出正则空间的另一种定义。证明了这种正则空间具有一些好的性质与等价条件，如Ｌ－好的推广，闭遗传，每个开（闭）集是θ－开（闭）集等。     

格值诱导空间的完全正则性

对一般的格值L,我们证明了:诱导空间是完全正则的,如果它的底空间是完全正则的.对适当的定义域L和值集I=[0,1]证明了:诱导空间是完全正则的,当且仅当它的底空间是完全正则的.     

完备度量空间与紧度量空间上的不动点定理

Ｆｉｓｈｅｒ Ｂ证明了如下的不动点定理：设（ Ｘ，ｄ） 和（ Ｙ，ρ） 是完备的度量空间，Ｔ是Ｘ到Ｙ的连续映射，Ｓ是Ｙ到Ｘ的映射，并满足下列不等式，即对所有ｘ，ｘ′∈Ｘ，ｙ，ｙ′∈Ｙ，０ ≤Ｃ≤１。ｄ（ＳＴｘ，ＳＴｘ′） ≤Ｃｍａｘ｛ｄ（ｘ，ｘ′） ，ｄ（ｘ，ＳＴｘ），ｄ（ｘ′，ＳＴｘ′），ρ（ Ｔｘ，Ｔｘ′）｝，ρ（ＴＳｙ，ＴＳｙ′） ≤Ｃｍａｘ｛ρ（ｙ，ｙ′），ρ（ｙ，ＴＳｙ），ρ（ｙ′，ＴＳｙ′），ｄ（Ｓｙ，Ｓｙ′）｝，则ＳＴ在Ｘ中有唯一不动点ｚ，ＴＳ在Ｙ中有唯一不动点ｗ 。并且有Ｔｚ ＝ ｗ 和Ｓｗ ＝ ｚ。该文对此定理作一推广，从而得到了完备度量空间与紧度量空间上２ 个新的不动点定理。     

关于MV-代数的逻辑性质

MV-代数是C．C．Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的。它通过逻辑的观点,更进一步观察MV-代数的模型论性质。在本文中,我们研究了MV-代数的逻辑性质,得出形式化的MV-代数理论在子模、同态链的并之下有所保留;我们也证明了这个形式化的理论既不完备也不模型完备。     

完全分叉树理论可量词消去的新证明

利用理论的代数素模型和简单闭性质,我们给出了完全k(k<ω)- 叉树理论和完全无穷叉树理论可量词消去的新的证明,很大程度上简化了原有证明.     

完全多部图的G-填充和覆盖

设图G是由P4带一条悬边所组成的五点四边图，本文确定了完全图Kv和完全多部图Kn(t)的图G填充数和覆盖数。     

具有负常数相对仿射平均曲率的欧氏完备超曲面

对于一个给定的凸域ΩRn及光滑边值φ∈C∞(Ω), 通过解一类非线性四阶偏微分方程,作者构造了具有负常数相对仿射平均曲率L＜0的欧氏完备超曲面.     

最优二叉树的完备性证明

在最优二叉树的证明中，一般是从该树中通路长度最长的分枝点有两个孩子开始证明，但在前提中没有给出“在最优二叉树中通路长度最长的分枝点一定有两个孩子”的条件，本文就此问题展开研究，证明了最优二叉树的一个性质：最优二叉树一定是完全二叉树。     

有限集合上的拟一致结构与拓扑

证明了对每个给定的有限集合x，（Qu（x），∈）与（r（x），∈）完备格同构，其中QU（X）是x上的全体拟一致结构，T（x）是X的全体拓扑，∈均为集合意义下的包含序。     

建立完备测度空间的4种方法及其等价性

对给定测度空间 (Ω ,F,μ) ,给出了 4种建立完备测度空间的方法 :设 μ 是由 μ引出的外测度 ,令 F 为 μ 可测集全体 ,得到 (Ω ,F ,μ ) ;N 是 μ -零测集全体 ,令 F= {A∪N :A∈ F,N∈ N} ,定义 μ(A∪N) =μ(A) ,得到(Ω ,F,μ) ;令 FΔ ={AΔN :A∈ F,N∈ N} ,定义 μΔ(AΔN)=μ(A) ,得到 (Ω ,FΔ,μΔ) ;令 F ={A : A1、A2 ∈ F,使A1 A A2 且 μ(A1) =μ(A2 ) } ,定义 μ(A) =μ(A1) ,得到(Ω ,F,μ) .并证明了它们之间的等价性 ,结论是测度空间的完备化是由给定的测度空间唯一确定的     

仿射极大曲面的仿射Bernstein问题（英文）

作者给出仿射Bernstein问题的一个新证明。     

Yoneda 完备度量空间范畴的完备性和余完备性

该文章探讨了以 Yoneda 完备度量空间为对象的范畴的完备性和余完备性. 证明了若态射是 Yoneda 连续映射或者 Yoneda 连续的非扩张映射, 则该范畴是完备且余完备的; 若态射是 Yoneda 连续的 Lipschitz 映射, 则该范畴是有限完备和有限余完备的, 但是它既不完备也不余完备. 最后证明了以实数值连续格为对象, Yoneda 连续的右伴为态射的范畴是完备的.     

完全图的生成树中的完全m叉树

在完全m叉树中,假设其叶数为t,分支点数为i,则(m-1)i=t-1.证明了完全图的生成树中的完全m叉树的个数和构造是有规律的,而且当完全图的顶点数n固定时,其生成树中的完全m叉树的个数就被固定,构造也有规律可循,且当n为偶数时,生成树中不含有完全偶数叉树.