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

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

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

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

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

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

Leray-Schauder不动点定理的一个新证明

给出Leray-Schauder不动点定理的一个新证明.我们首先给出集值映射的焊接引理,利用集值映射的焊接引理和Kakutani不动点定理证明Leray-Schauder不动点定理,并证明Leray-Schauder不动点定理与Brouwer不动点定理等价.     

关于“四元数自共轭矩阵与行列式的几个定理”的注记

本刊1985年第4期发表郝稚传的“四元数自共轭矩与行列式的几个定理”(称为〔1〕)的文章的主要工作分为两部分。〔1〕在英文摘要中写到:“(i)This essay has improvedthe conclusion of theorem 8 and theorem 9 in 〔2〕”即〔1〕之第一部分工作在于改进了〔2〕的定理8、9的结果,其根据就是〔1〕的定理1、2.〔1〕称定理1—若     

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

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

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

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

A stable theorem of the alternative: an extension of the gordan theorem

A theorem with a number of equivalent alternatives is proposed as an extension of the classical Gordan theorem of the alternative. The theorem can handle nonzero unrestricted variables which cannot be directly treated by ordinary theorems of the alternative. Like the Gordan theorem, the extended theorem has the stability feature that small perturbations in the data will not invalidate an alternative that is in force. The theorem has useful applications in establishing the boundedness and uniqueness of feasible points of polyhedral sets and of solutions to linear programming problems.     

L-凸空间中的一个新的GLKKM定理及其对不动点的应用

In this paper a new GLKKM theorem in L-convex spaces is established. As applications, a new variational inequality, section theorem, maximal element theorem and fixed point theorem are obtained in L-convex spaces.     

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.     

Fundamental Theorems for Clifford Algebra-Valued Distributions in Elliptic Clifford Analysis

A fundamental theorem in Elliptic Clifford Analysis (ECA), with the standard vector Dirac operator, is presented that is valid for Clifford algebra-valued distributions. This theorem holds under fairly general conditions on the allowed singularities of the right-hand side distributions and on the region of integration. Next a specialization of this fundamental theorem is proved that forms the starting point for solving boundary value problems with distributional sources in ECA. Finally, distributional equivalents of the Residue theorem, Cauchy’s theorem and Cauchy’s integral theorem are stated.     

拓扑空间中的一个非空交定理及其应用

在FC-空间中证明了一新的非空交定理．作为应用，一不动点定理，一极大元定理，一重合点定理和一些极小极大不等式被证明．这些定理推广了近期文献中的结果．     

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.     

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.     

现代信息技术中的快速收敛取样定理

在现代信息技术中,取样定理是模拟信号的量化以及复原为模拟信号的基础.模拟信号一般是频谱有限函数,彭瑞仁教授虽然得到了收敛速度比Shannon取样定理快得多的取样定理,然而,本文给出了收敛速度更快的负2N 1次幂取样定理(N为任意自然数),其结果比彭教授的结果更加优越.     

非紧L-凸度量空间中的GLsKKM定理及其对不动点问题的应用

建立了非紧完备L-凸度量空间中的GLsKKM定理.作为应用,获得了Ky Fan 截口定理,极大元定理和Fan-Browder型不动点定理.     

A generalized Kantorovich theorem for nonlinear equations based on function splitting

The Kantorovich theorem is a fundamental tool in nonlinear analysis for proving the existence and uniqueness of solutions of nonlinear equations arising in various fields. In the present paper we formulate and prove a generalized Kantorovich theorem that contains as special cases the Kantorovich theorem and a weak Kantorovich theorem recently proved by Uko and Argyros. An illustrative example is given to show that the new theorem is applicable in some situations in which the other two theorems are not applicable.     

Fuzzy格上的KKM定理

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

A Generalized Form of Whitney's Theorem

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.     

An n-dimensional version of Steinhaus' chessboard theorem

The main result of this paper is an n-dimensional version of the Steinhaus' chessboard theorem. Our theorem implies the Poincaré theorem as well as its parametric extension. But it is known that the Poincaré theorem is equivalent to the Brouwer Fixed-Point theorem.