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

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

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.     

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

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

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

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

一类新的KKM定理及其应用

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

Existence of the optimal measurable coupling and ergodicity for Markov processes

The existence theorem of the optimal measurable coupling of two probability kernels on a complete separable metric measurable space is proved. Then by this theorem, a general ergodicity theorem for Markov processes is obtained. And as an immediate application to particle systems the uniqueness theorem of the stationary distribution is supplemented, i.e. the uniqueness theorem also implies the existence of the stationary distribution.     

Whitney定理的一个推广形式

Whitney's theorem is a famous theorem in the local singularity theory. In this paper, as an application of Malgrange preparation theorem, a generalized form of Whitney's theorem will be derived.     

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

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

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.     

Fuzzy格上的KKM定理

讨论定义和Ｆｕｚｚｙ格上的某类映射的性质,主要结果是定理２．１。近几攫来,国内外许多专家、学者热心研究的ＫＫＭ定理,广义ＫＫＭ定理等冼多结果,都是定理２．１的一些简单和推论。由此说明,Ｆｕｚｚｙ格理论具有广泛的应用性。