图论中若干重要定理的历史注记

考察了图论中若干重要定理的历史背景,这些定理包括图论基本定理,矩阵-树定理,门格尔定理,霍尔定理,柯尼希定理,塔特定理,彼得森定理,库拉托夫斯基定理,布鲁克斯定理和维津定理.     

积分型中值定理的推广及统一表示

通过减弱连续的条件,推广了一类积分型中值定理,在适当的条件下,用一个式子将Lagrange中值定理、Cauchy微分中值定理、积分型Cauchy中值定理、积分中值定理、积分第一中值定理、Lagrange型积分中值定理、Cauchy型积分中值定理及推广的积分第一中值定理这8个中值定理统一起来.     

播挪运算及其性质

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

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

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

微积分中值定理间的关系

直观地阐述从微分中值定理到积分中值定理,乃至第二积分中值定理的演绎过程,指出积分中值定理的实质仍是微分中值定理,并在经典积分中值定理的条件下,得到更强的结论。     

一类新的KKM定理及其应用*

本文得到一类新的KKM定理,统一和改进了[2,3,0,7,11]中的结果。作为应用,我们得到了几个匹配定理、重合定理、不动点定理、极大极小不等式定理及截口定理。     

微积分学中中值定理的统一证明

由一个定理的结论,给出Lagrange中值定理,Cauchy中值定理,积分中值定理和Taylor中值定理的统一证明及一个计算待定型极限的方法.     

多项式簇的稳定性分析

本文利用值映射的概念在系数空间里讨论了多项式簇的Hurwitz稳定性的鲁棒性,给出了判别多项式簇是Hurwitz稳定的原象定理,同时应用这个定理证明了边界定理,棱边定理,Харитонов定理和菱形簇定理.     

泛函中的两个对偶定理

本文利用＊隔离定理,证明了Ｍａｚｕｒ定理和凸集的最佳逼近元存在性定理的对偶定理．     

等周不等式与Bol-Fujiwara定理

本文研究著名的Bol-Fujiwara定理.利用积分几何方法和经典的等周不等式,得到了Bol-Fujiwara定理的一个推广(定理1),以及推广了的Bol-Fujiwara定理的逆定理(定理2).     

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.     

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.     

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.     

关于Michael选择问题

本文得到一个新的逼近选择定理及一个新的连续选择定理.作为这个新的连续选择定理的应用,我们给出一个新的不动点定理和一个新的重合定理(见文[1-27]).     

Minimax Problems for Set-Valued Mappings

In this article, by virtue of the Fan-Browder fixed point theorem, we first obtain a minimax theorem and establish an equivalent relationship between the minimax theorem and a cone saddle point theorem for scalar set-valued mappings. Then, by using scalarization functions, we investigate an existence theorem of the cone saddle point for set-valued mappings. Simultaneously, we also establish a minimax theorem for set-valued mappings.     

向量在几何中的应用

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

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

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