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

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

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

通过减弱连续的条件,推广了一类积分型中值定理,在适当的条件下,用一个式子将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稳定的原象定理,同时应用这个定理证明了边界定理,棱边定理,Харитонов定理和菱形簇定理.     

泛函中的两个对偶定理

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

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.     

向量在几何中的应用

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

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.     

一个因式相通定理及其应用

证明了一个因式相通定理,它是奇点理论中等价性定理的一个推广.这个定理表明单纯高阶项的开折对普适开折因式相通中的参数映射没有贡献.据此本文提出了一种因式相通中参数映射的简洁有效的近似计算方法     

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

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

矩阵秩分解定理的一个证明及其应用

矩阵的秩分解定理是矩阵论中的一个基础性定理.本文给出了秩分解定理的一个证明,描述了其中可逆矩阵P,Q的构造,讨论了秩分解定理及其P,Q的构造在解线性方程组中的应用,以及在判别Sylvester不等式等号成立中的应用.     

An intersection theorem in L-convex spaces with applications

A new intersection theorem is obtained in L-convex spaces without linear structure. As its applications, a fixed point theorem, a maximal element theorem, a coincidence theorem, some new minimax inequalities and a saddle point theorem are given in L-convex spaces. Our results generalize many known theorems in the literature.