威尔逊定理的一个等价命题

素数的研究一直是初等数论的一个重要内容，而素数的判定又是其中一个较困难而又具有价值的问题．１７７１年数学家拉格朗日证明了著名的威尔逊定理：“ｐ为素数的充要条件是ｐ能整除（ｐ－１）！＋１．”根据威尔逊定理，可以构造出一个人们梦寐以求的只产生素数且能够产...     

Heine定理的等价命题及其应用

一、引言在国内流行的《数学分析》教材中 ( [1 ]～ [3 ]) ,均给出了描述函数极限与数列极限之间关系Heine定理或称归纳原则 :定理 1 ( Heine定理 )　设函数 f ( x)在 u。( a)有定义 ,则 limx→ af ( x) =b 对任意收敛于 a的数列{ an} u。( a)有 limn→∞ f ( an) =b。众所周知 ,Heine定理是沟通函数极限与数列极限之间的桥梁 ,在极限理论和应用中 ,占有非常重要的地位。但是 ,该定理的充分性较强 ,运用中有一定的局限性。1 985年 ,文献 [4 ]减弱了 Heine定理的充分性条件 ,给出了与 Heine定理等价的如下命题 :定理 2 [4 ]　设函数 f ( x…     

构造色等价图的几种新方法

给出了构造伴随等价图的几种新方法，因而也给出了构造色等价图的几种新方法。     

无穷自动机的几个等价命题

本文证明了具有无穷栈符合的实时确定下推自动机与无穷自动机的等价性，并且将有限状态自动机的Ｍｙｈｉｌｌ－Ｎｅｒｏｄｅ定理推广到了无穷自动机和具有无穷栈符号的实时确定下推自动机。     

一类Kn-同胚图色等价类的结构特征

用K（s，n）表示完全图Kn的一条边被长为s（s≥2）的路Ps＋1替代后得到的图．对n≥7，且n-2为素数，刻画了色等价类【K（s，n）]中图的结构特征，进一步，证明了任意任意n≥7，且n-2为素数，K（2，n），K（3，n）是色唯一的．     

邻接树图是哈密尔顿图猜想的一个等价命题

本文给出了简单图的邻接树图是哈密尔顿图”猜想的等价命题,阐明只需证明该猜想对2－连通图成立即可,另外,我们给出了该猜想一种特殊情形的构造性证明。     

一个伴随等价定理的推广及其简证

记 Gr为任意图 G的 r个拷贝中的对应点 ( r个 )分别与星图 Sr+ 1 的 r个 1度点粘接后得到的图 ,又记 H r为该图 G的相应点与星图 Sr+ 1 的 r度点粘接后得到的图 .如果 G不含三角形 ,则图 ( r- 1) K1 ∪ Gr和图 ( r- 1) G∪ H r伴随等价 ,进而它们的补图色等价     

关于图的L(d,1)-标号问题

图G的L(2,1)-标号是一个从顶点集V(G)到非负整数集的函数f(x),使得若d(x,y)=1,则|f(x)-f(y)|≥2;若d(x,y)=2,则|f(x)-f(y)|≥1.图G的L(2,1)-标号数λ(G)是使得G有max{f(v)v∈V(G)}=k的L(2,1)-标号中的最小数k.Griggs和Yeh猜想对最大度为△的一般图G,有λ(G)≤△2.此文研究了作为L(2,1)-标号问题的推广的L(d,1)-标号问题,并得出了平面三角剖分图、立体四面体剖分图、平面近四边形剖分图的L(d,1)-标号的上界,作为推论证明了对上述几类图该猜想成立.     

尊严的四色定理

写下这个标题,我想到一个故事.闵可夫斯基在哥廷根大学教书的时候,有一天,他刚跨进教室,一个学生给他递上一张字条:如果要把一张地图上所有相邻的国家用不同的颜色区分开来,只要4种颜色就已足够,你能解释一下其中的道理吗?教授看完字条说,这已是一道名题了,之所以至今没有得到解决,那是因为没有第一流数学家关注过它.他跨上讲台,直接在黑板上演算起来,不知不觉,下课铃响了,     

数学分析中的四个等价命题

围绕数学分析的极限理论,给出四个等价命题,包括海涅定理的推广、介值性的刻划、一致连续性的刻划和级数收敛的刻划,相应指出它们在理论上的应用.     

与某种拓广的Borsuk—UIam定理等价的几个命题

In this paper, we prove a generalized form of Borsuk-Ulam theorem: Generalized Borsuk-Ulam Theorem Let (X, T) be T-space, where X is a n-dimensional homology sphere over the group T₂ of integers mod 2, T is a topological transformation on X weth period 2 and hasn't any fixed points; f: X (?) Rⁿ is any con-tinuous map from X into n-euclidean space Rn then, there existe at least a pair (X, T(X)) of involution points of some x ∈ X mapping into one point, i.e. f(X) = f(T(X)). In addition, we show that it is equivalent to some propositions too.     

The Sampling Theorem and Several Equivalent Results in Analysis

First we show that several fundamental results on functions from theBernstein spaces (such as Bernstein's inequality andthe reproducing formula) can be deduced from a weak form of the classicalsampling theorem. In §3 we discuss the mutual equivalence of thesampling theorem, the derivative sampling theorem and a harmonic functionsampling theorem. In §§4–6 we discuss connections between thesampling theorem and various important results in complex analysis andFourier analysis. Our considerations include Cauchy's integral formula,Poisson's summation formula, a Gaussian integral, certain properties ofweighted Hermite polynomials, Plancherel's theorem, the maximum modulusprinciple, and the Phragmén–Lindelöf principle.     

论中值定理类命题证明中的辅助函数构造

借助实例分析的方法,讨论在证明微分与积分相结合的中值定理类命题时,关于辅助函数的构造技巧及其变形思想.     

Cauchy-Binet定理与Laplace定理的等价证明

本文运用分块矩阵及多元多项式的性质对行列式求值中的Cauchy-Binet 定理与Laplace 定理给出了等价证明.     

解析函数的又一等价定理

将Morera定理中的条件∫γf(z)dz=0改为∫f-gds=0,证明其结论仍然成立,并由此得出一个单值复变函数f(z)在G中解析的充要条件,即解析函数的又一等价定理.     

用柯西准则证明几个相关命题

以方法为中心探索性教学。可以提高学生的数学创新思维能力．本利用柯西准则证明了无穷级数与广义积分中的几个相关命题。     

关于Hopf丛S3的几个论题

本文证明了Hopf主纤维丛S^3的几个相关的命题，指出底流形S^3上的Laplace算子在主丛上的提升是主丛S^3上的Laplace算子，以及主丛的嵌入截面具有不动点性质等。     

阿罗不可能性定理的几个等价形式

在这篇短中。给出了关于社会福利函数F的防止策略性操纵的概念,并且证明了如果备选对象至少有三个。则下面结论是相互等价的：(1)F满足Pareto与IIA性质;(2)F满足Pareto与RID性质;(3)F是独裁的;(4)F是满的、正向响应的;(5)F是防止策略操纵的且F是满的。