莫雷定理的三角证法及两个孪生定理

本文给出莫雷定理的一种三角证法,提出并证明了两个新发现的孪生定理.     

从研究生试题看两个定理的重要性

从研究生试题看两个定理的重要性刘甸瑞（中国地质大学）极限的保号性与连续函数的有界性是高等数学中的两个重要定理。从分析１９８７—１９９４年历届研究生高等数学试题中我们看到需用这两个定理的试题多次出现，这本身也说明了这部分内容的重要性。这两个定理是：定理...     

两类稳定性定理的改进

本文对两类稳定性定理进行了改进.通过K函数性质,将原来马尔金稳定性定理中V函数导数在有限时间内可变号的性质,推广到长时间内,得到了新的非自治微分方程解的稳定性判定方法.对积分收敛判定定理中的不足进行了补充说明,并且对定理进行了改进和推广,得到了新的一致稳定性判定方法.     

两个著名定理的向量法证明

<正>梅涅劳斯定理和塞瓦定理是平面几何中的两个著名定理,在高中数学联赛的平面几何题目中具有广泛的应用.本文旨在利用向量法证明上述两个定理,给出了比文献[1]更为简捷的证明方法.一、梅涅劳斯定理已知直线DF交△ABC三边所在直线于D、E、F三点,求证:     

Wolk两个定理的推广

[1]中定理3.6是经典的Dini定理的推广。Wolk在证明了这个定理后指出,有例子说明,若将值域空间Y的全无序集(即反链)有限性条件去掉后,此定理将不成立。于是他提出了一个可供进一步思考的问题:是否可用另外一些拓扑代替Y中的Dedekind拓扑,去掉Y中全无序集有限性条件后,此定理或它的某种变形依然成立?按照这个思路我们将[1]中定理3.6和3.9进行了推广。为此,先摘录两个主要概念如下:     

高等代数两个定理的证明

高等代数两个定理的证明曹重光（黑龙江大学数学系１５００８０）本文给出高等代数中两个重要定理的新的证明方法．它们是诸多教材和文献中尚未见到的（看［１］－［６］）．１行列式乘法定理设Ａ，Ｂ为数域Ｆ上两个ｎ阶方阵，则｜ＡＢ｜＝｜Ａ｜｜Ｂ证明设Ａ＝（ａｉｊ）...     

两个积分定理及其应用

本文建立了两个积分学定理(定题1.1与定理2.1),应用它们可简化传统的关于曲线的弧长,第一型与第二型曲线积分以及第一型与第二型曲面积分计算公式的证明。     

关于微分中值定理的两点思考

就微分中值定理讨论了数学中很重要的两类问题,即对称性的问题、存在性与任意性的问题,得出了两个相关的定理.     

关于多项式因式分解的两个定理

关于多项式因式分解的两个定理彭明海（湖南吉首大学４１６０００）我在《高等代数》教学中，发现下面两个定理，今介绍出来，供同行参考．定理１设ｆ（ｘ）＝ａｎｘｎ＋ａｎ－ａｎ－１ｎ＋…＋（Ｚ［ｘ］表示整系数多项式集合）如果有一个素数ｐ满足条件且则ｆ（ｘ）在有...     

非线性两点边值问题的一个存在唯一性定理

本文利用康托洛维奇定理证明了非线性两点边值问题的一个存在唯一性定理。     

两个基于不同张量乘法的四阶张量分解

提出了两个基于不同张量乘法的四阶张量分解. 首先, 在矩阵乘法的基础上, 定义第一种四阶张量乘法(F-乘), 基于F-乘提出了第一种四阶张量分解(F-TD). 其次, 基于三阶张量t-product给出了第二种四阶张量乘法(B-乘)和分解(FT-SVD). 同时, 利用两种分解方法, 分别给出两个张量逼近定理. 最后, 三个数值算例阐明提出的两种分解方法的准确性和可行性.     

二维连续型随机变量函数分布的一个定理

给出求二维连续型随机变量函数分布的一个定理,并籍以导出二维随机变量和差积商的概率密度函数公式.     

A Two Function Metaminimax Theorem

A generalization of Simons's metaminimax theorem to a metaminimax theorem involving two functions is given.     

S—R分解定理的唯一性,存在性和客观性

对于连续体的一切物理可能的变形场，其变形梯度张量F可被分解为一个对称张量S和一个正交张量R的直和，这便是S-R分解定理．本文通过矩阵方法和张量方法证明了S-R分解定理的唯一性、存在性和客观性．     

More examples of invariance under twisting

The so-called “invariance under twisting” for twisted tensor products of algebras is a result stating that, if we start with a twisted tensor product, under certain circumstances we can “deform” the twisting map and we obtain a new twisted tensor product, isomorphic to the given one. It was proved before that a number of independent and previously unrelated results from Hopf algebra theory are particular cases of this theorem. In this article we show that some more results from literature are particular cases of invariance under twisting, for instance a result of Beattie-Chen-Zhang that implies the Blattner-Montgomery duality theorem.     

ON THE CENTRAL LIMIT THEOREM IN PRODUCT SPACES

ＯＮＴＨＥＣＥＮＴＲＡＬＬＩＭＩＴＴＨＥＯＲＥＭＩＮＰＲＯＤＵＣＴＳＰＡＣＥＳＳＵＺＨＯＮＧＧＥＮＡｂｓｔｒａｃｔ：ＳｕｐｐｏｓｅｔｈａｔＥａｎｄＦａｒｅｓｅｐａｒａｂｌｅＢａｎａｃｈｓｐａｃｅｓ，ＸａｎｄＹａｒｅｉｎｄｅｐｅｎｄｅｎｔｓｙｍｍｅｔｒ...     

Two applications of Boolean models

Semantical arguments, based on the completeness theorem for first-order logic, give elegant proofs of purely syntactical results. For instance, for proving a conservativity theorem between two theories, one shows instead that any model of one theory can be extended to a model of the other theory. This method of proof, because of its use of the completeness theorem, is a priori not valid constructively. We show here how to give similar arguments, valid constructively, by using Boolean models. These models are a slight variation of ordinary first-order models, where truth values are now regular ideals of a given Boolean algebra. Two examples are presented: a simple conservativity result and Herbrand's theorem. Received December 5, 1995     

两个函数的拓扑极大极小定理

A topological minimax theorem involving two functions is derived. It generalizes Greco and Horvath＇minimax theorem given by them in 2002.     

Algorithms for Computing Generalized U(<Emphasis Type="Italic">N</Emphasis>) Racah Coefficients

Algorithms are developed for computing generalized Racah coefficients for the U(N) groups. The irreducible representations (irreps) of the U(N) groups, as well as their tensor products, are realized as polynomials in complex variables. When tensor product irrep labels as well as a given irrep label are specified, maps are constructed from the irrep space to the tensor product space. The number of linearly independent maps gives the multiplicity. The main theorem of this paper shows that the eigenvalues of generalized Casimir operators are always sufficient to break the multiplicity. Using this theorem algorithms are given for computing the overlap between different sets of eigenvalues of commuting generalized Casimir operators, which are the generalized Racah coefficients. It is also shown that these coefficients are basis independent. Mathematics Subject Classifications (2000) 22E70, 81R05, 81R40.     

两个网络间的相互同步

本文研究了两个耦合网络的相互同步,利用线性化方法,我们给出了两个具有相同拓扑结构的网络实现同步的定理,最后用数值例子来验证得到的理论结果。