齐线性微分方程组降阶定理的一个一般证明

文[1]只给出了齐线性微分方程组有几个线性无关解时降阶定理的特殊证明,本文再给出该定理的一个一般证明。     

关于域上无限方阵的逆方阵

用紧致性论证给出了任一域K上行列有限的无限方阵A具有各种逆方阵的基本的充分必要条件.主要结果是:A在K上具有唯一的行列有限双侧逆方阵当且只当A的各行向量在K上无限线性无关并且各列向量也在K上无限线性无关.     

L-模糊度量空间的紧致性

在L-模糊度量空间的意义下,定义了准紧致性和Lebesgue数.并证明了Lebesgue数定理,进一步研究了L-模糊度量空间中准紧致性与紧致性的关系.     

紧致性定理的纯语义证明

紧致性是一阶模型论的重要性质之一,本文给出紧致性定理的一个比较完整的纯语义证明。     

在拓扑空间T上一致空间X的广义Stone－Cech纤维紧致化

文献〔１〕，给出了像为拓扑空间Ｔ的一致空间Ｘ的纤维有界性、纤维紧致性的一些定理。本文进一步给出了这个空间的纤维收敛性和纤维紧致化的一些定理     

de Sitter空间中紧致类空超曲面的全脐性与高阶平均曲率

研究de Sitter空间中紧致类空超曲面和高阶平均曲率.利用一个已知的积分公式,得到了关于紧致类空超曲面全脐性的一个新定理.该新定理与已有的一些相关定理不互相包含,从而丰富了大家对全脐性这个几何性质以及高阶平均曲率这个代数不变量的理解.     

模糊度量空间的紧致性

在A. George和P. Veeramani定义的模糊度量空间的意义下,定义了Lebesgue数并证明了Lebesgue数定理,进一步讨论了在模糊度量空间中紧致性与序列紧致的关系以及紧致性与分离性的关系.     

Sn+1中具有常中曲率的超曲面

讨论S^n 1中的常中曲率超曲面。给出这种紧致超曲面成为全脐或极小超曲面的一个判定条件，其特点是判定定理与中曲率（＜1）无关。     

域上无限上三角方阵的逆

利用模型论中的紧致性定理，对域上一类特殊的无限方阵的逆作了研究     

Killing p—形式的存在性

本文提出和解决了在紧致黎曼流形中Killing p(>1)形式存在性的一个定理。     

随机局部凸空间及应用

对一类不必局部凸线性拓扑空间上给出了一种新结构──随机局部凸结构．研究了其上的Ｓｃｈａｕｄｅｒ不动点定理及其它类型的不动点定理．其Ｓｃｈａｕｄｅｒ不动点定理部分回答了文献［９］中Ｓｃｈａｕｄｅｒ提出的著名猜想．并研究了随机微分方程解的存在性．     

三类LF紧性的超网式刻画

在一般L-fuzzy拓扑空间中引入了α-超网,同时利用α-超网,给出了良紧、强F紧、F紧空间的等价刻画,并证明了这三类LF紧性的Tychonoff乘积定理。     

L-fuzzy 拓扑空间的相对强F紧性

定义了L fuzzy拓扑空间的相对强F紧性,给出了它的一些等价刻划,研究了相对强F紧性与强F紧性的关系.讨论了相对强F紧性的一系列性质,证明了相对强F紧空间是相对闭遗传的、弱同胚不变的、L 好的推广性质,并且相对强F紧空间的Tychonoff乘积定理是成立的.     

Compactness theorems of fuzzy semantics

The relationship among diverse fuzzy semantics vs. the corresponding logic consequence operators has been analyzed systematically. The results that compactness and logical compactness of fuzzy semantics are equivalent to compactness and continuity of the logic consequence operator induced by the semantics respectively have been proved under certain conditions. A general compactness theorem of fuzzy semantics have been established which says that every fuzzy semantics defined on a free algebra with members corresponding to continuous functions is compact.     

拓扑空间中的保紧映射

本文引进了保紧映射的概念,研究了与之有关的一些拓扑性质。主要定理是:对于紧Hausdorff空间,双保紧映射、完全映射与同胚等价。     

模糊拓扑空间的m-紧(Ⅰ)

在模糊拓扑空间中利用强开覆盖的概念引进一个称作 m-紧的紧性定义 ,并研究了它与模糊网的 m-收敛之间的关系 .证明了 Tychonoff乘积定理对 m-紧性成立 .     

关于极大极小不等式与拟变分不等式的研究

本文建立了一个新的通用范围较广的极大极小不等式，以此为基础研究了仿紧集上的拟变分不等式，从函数的凸性与集合的紧性两方面推广和统一了若干近期的重要结果．     

一类凹减算子的不动点定理及其应用

研究了序Banach空间中一类不带连续性和紧性凹减算子不动点的存在唯一性,并将其应用到二阶微分方程的两点边值问题上.