线性锥系统的Tucker型相容性定理

为了将线性规划中的基础理论之一的Tucker定理推广到一般线性锥系统上,应用对偶锥的概念和线性锥系统的Farkas引理,给出了一般线性系统的Tucker定理,所得结果显示含齐次线性不等式组的线性锥系统和它的对偶系统都存在Tucker定理,且Tucker定理结论的表达式基本相同,这为进一步研究锥规划提供了便利.     

关于动力系统du─dt＝F（u）的锥性质的几点注记

本文对［１］中动力系统的锥性质定理提出几点注记，说明定理中的锥与通常锥的异同．     

实线性锥距离空间和不动点定理

给出了实线性锥距离空间的概念,其中锥距离取值到没有拓扑结构的实线性空间,并在实线性锥距离空间中建立了几个新的不动点定理.利用非线性标量化函数证明了这些不动点定理与距离空间中相应形式的不动点定理等价.我们的结果改进了锥距离空间中的一些现有不动点定理.     

一类积分方程的五解定理

利用H.Amann的一个不动点定理及锥拉伸锥压缩不动点定理讨论了一类Hammerstein型积分方程的正解,得到了一个五解定理.     

锥线性算子的延拓定理

建立了一种锥分离定理，据此证明了锥线性算子的延拓定理，作为应用，给出了正线性算子的延拓定理。     

向量值映射锥鞍点存在定理

本文首次通过借助Kakutani-Fan-Glicksberg固定点定理和非线性标量化,研究了向量值映射的Benson锥鞍点定理.然后,通过使用该Kakutani-Fan-Glicksberg固定点定理,同样得到了集值映射的锥松鞍点定理.     

无穷时滞泛函微分方程的正周期解

利用范数形式的锥拉伸和锥压缩不动点定理讨论具有无穷时滞泛函微分方程的周期解问题,获得了正周期解的存在性定理,并给出了定理的若干应用.     

集值优化问题超有效解的高阶Mond-Weir对偶

在实赋范线性空间中利用锥方向高阶广义邻接导数研究带约束的集值优化在超有效解意义下的高阶Mond-Weir对偶问题.在广义锥-凸假设下,利用锥方向高阶广义邻接导数的性质借助凸集分离定理得到了强对偶定理.利用超有效点的标量化定理得到逆对偶定理.     

无穷时滞泛函微分方程的正周期解

利用范数形式的锥拉伸和锥压缩不动点定理讨论具有无穷时滞泛函微分方程的周期解问题,获得了正周期解的存在性定理,并给出了定理的若干应用.     

非线性四阶两点边值问题的一个正解存在定理

本文利用锥压缩锥拉伸型的Krasnosel’skii不动点定理证明了非线性四阶两点边值问题的一个正解存在定理．     

Generalized KKM theorems and common fixed point theorems

In this paper, we first prove a generalized KKM theorem, and then use this generalized KKM theorem to establish the generalized equi-KKM theorem, common fixed point theorems for a family of multivalued maps, and the Kakutani-Fan-Glicksberg fixed point theorem. We also show that an existence theorem of the common fixed point theorem is equivalent to the Kakutani-Fan-Glicksberg fixed point theorem.     

一类新的KKM定理及其应用

本文得到一类新的ＫＫＭ定理，统一和改进了［２，３，０，７，１１］中的结果．作为应用，我们得到了几个匹配定理、重合定理、不动点定理、极大极小不等式定理及截口定理．     

播挪运算及其性质

在现有的播挪定义基础上,引入了对偶播挪的概念和任意论域子集族的内并、内交两种新运算,提出了十个定理.它们是：平凡播挪空间定理,最小播挪定理,播挪内运算封闭性定理,播挪任意交定理,播挪上确界定理,播挪运算分配性定理,播挪基判定定理,播挪基闭包定理,播挪基约简定理,播挪基内运算封闭性定理.这些定理对于播挪空间的研究具有一定的理论价值.     

The Kakutani's precompactness lemma

In this paper we establish a theorem that extends and sharpens an old precompactness lemma due to Kakutani. We use this theorem to derive the classical Arzelà-Ascoli theorem and a theorem of Defant and Floret for families of linear operators. We also use this theorem to derive a theorem for composition operators which yields as immediate corollaries a theorem of Geue and a locally convex version of a theorem of Aron and Schottenloher.     

向量在几何中的应用

近期将欧氏平面E2上的正弦定理和余弦定理推广到三维欧氏空间E3中,建立了E3中四面体空间角正弦定理、二面角正弦定理和四面体余弦定理,利用向量给出了三维余弦定理和三维正弦定理的简单证明.     

几个随机算子定理

得到Banach空间中随机隐函数存在定理、随机反函数定理和随机Hahn-Banach定理，它们是著名隐函数定理、反函数定理和Hahn-Banach控制延拓定理的随机化推广，这些定理在随机算子理论中将起重要作用。     

有关中值定理的探究性教学

通过对中值定理教学思路的设计,给出探究性教学方法的一个实例,即通过导数概念的物理意义导出Lagrange中值定理,经特殊化后推出Rolle定理,再经化归思想给出Lagrange定理的证明,最后推广得到Cauchy中值定理,并借助类比或化归思想分别给出Cauchy定理的证明．     

一个新的Ky Fan匹配定理及其在L-凸度量空间中的应用

建立了转移开覆盖的一个新的Ky Fan型匹配定理．作为应用，获得了Fan-Browder重合定理，不动点定理、极大元定理，相交定理和截口定理．     

连续型概率度量的特征及其应用

讨论了连续型概率度量空间,给出了连续型概率度量的特征定理.利用这个特征定理,我们获得了连续型概率度量空间的闭球套定理和M enger空间完备性特征定理.作为本文的应用获得了一个局部概率压缩映象不动点定理.     

A relative interpolation theorem for infinitary universal Horn logic and its applications

In this paper we deal with infinitary universal Horn logic both with and without equality. First, we obtain a relative Lyndon-style interpolation theorem. Using this result, we prove a non-standard preservation theorem which contains, as a particular case, a Lyndon-style theorem on surjective homomorphisms in its Makkai-style formulation. Another consequence of the preservation theorem is a theorem on bimorphisms, which, in particular, provides a tool for immediate obtaining characterizations of infinitary universal Horn classes without equality from those with equality. From the theorem on surjective homomorphisms we also derive a non-standard Beth-style preservation theorem that yields a non-standard Beth-style definability theorem, according to which implicit definability of a relation symbol in an infinitary universal Horn theory implies its explicit definability by a conjunction of atomic formulas. We also apply our theorem on surjective homomorphisms, theorem on bimorphisms and definability theorem to algebraic logic for general propositional logic.