共查询到19条相似文献,搜索用时 78 毫秒
1.
素数的研究一直是初等数论的一个重要内容,而素数的判定又是其中一个较困难而又具有价值的问题.1771年数学家拉格朗日证明了著名的威尔逊定理:“p为素数的充要条件是p能整除(p-1)!+1.”根据威尔逊定理,可以构造出一个人们梦寐以求的只产生素数且能够产... 相似文献
2.
Heine定理的等价命题及其应用 总被引:3,自引:0,他引:3
一、引言在国内流行的《数学分析》教材中 ( [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… 相似文献
3.
构造色等价图的几种新方法 总被引:8,自引:0,他引:8
马海成 《高校应用数学学报(A辑)》2004,19(2):135-140
给出了构造伴随等价图的几种新方法,因而也给出了构造色等价图的几种新方法。 相似文献
4.
5.
本文证明了具有无穷栈符合的实时确定下推自动机与无穷自动机的等价性,并且将有限状态自动机的Myhill-Nerode定理推广到了无穷自动机和具有无穷栈符号的实时确定下推自动机。 相似文献
6.
用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)是色唯一的. 相似文献
7.
邻接树图是哈密尔顿图猜想的一个等价命题 总被引:1,自引:0,他引:1
本文给出了简单图的邻接树图是哈密尔顿图”猜想的等价命题,阐明只需证明该猜想对2-连通图成立即可,另外,我们给出了该猜想一种特殊情形的构造性证明。 相似文献
8.
扈生彪 《数学的实践与认识》2003,33(10):85-87
记 Gr为任意图 G的 r个拷贝中的对应点 ( r个 )分别与星图 Sr+ 1 的 r个 1度点粘接后得到的图 ,又记 H r为该图 G的相应点与星图 Sr+ 1 的 r度点粘接后得到的图 .如果 G不含三角形 ,则图 ( r- 1) K1 ∪ Gr和图 ( r- 1) G∪ H r伴随等价 ,进而它们的补图色等价 相似文献
9.
图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)-标号的上界,作为推论证明了对上述几类图该猜想成立. 相似文献
10.
11.
12.
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 T2 of integers mod 2, T is a topological transformation on X weth period 2 and hasn't any fixed points; f: X (?) Rn 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. 相似文献
13.
The Sampling Theorem and Several Equivalent Results in Analysis 总被引:4,自引:0,他引:4
J. R. Higgins G. Schmeisser J. J. Voss 《Journal of Computational Analysis and Applications》2000,2(4):333-371
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. 相似文献
14.
15.
本文运用分块矩阵及多元多项式的性质对行列式求值中的Cauchy-Binet 定理与Laplace 定理给出了等价证明. 相似文献
16.
将Morera定理中的条件∫γf(z)dz=0改为∫f-gds=0,证明其结论仍然成立,并由此得出一个单值复变函数f(z)在G中解析的充要条件,即解析函数的又一等价定理. 相似文献
17.
以方法为中心探索性教学。可以提高学生的数学创新思维能力.本利用柯西准则证明了无穷级数与广义积分中的几个相关命题。 相似文献
18.
本文证明了Hopf主纤维丛S^3的几个相关的命题,指出底流形S^3上的Laplace算子在主丛上的提升是主丛S^3上的Laplace算子,以及主丛的嵌入截面具有不动点性质等。 相似文献