共查询到20条相似文献，搜索用时 15 毫秒
1.
曹瀚林 《大众科学.科学研究与实践》2007,(2)
单调有界定理是证明数列极限存在的一个重要定理,它是实数完备性定理之一,与确界存在定理、区间套定理、致密定理、聚点定理、有限覆盖定理、柯西准则都是等价的.他们之间的等价证明到处可见.如下主要就构造法、二分法两种方法来证明单调有界定理。 相似文献
2.
实数系7个基本定理是描述实数系连续性的不同数学表达形式,又是以后函数连续性质证明的理论基础。从有限覆盖定理出发,按有限覆盖定理 聚点定理 致密性定理 柯西收敛准则 确界定理 单调有界定理 闭区间套定理 有限覆盖定理的顺序,证明了他们之间的等价性,从而给出等价性证明的一种新方法。 相似文献
3.
在了解传统论证方法的基础上,从一种新的角度去认识六个实数基本定理的等价性.介绍了实数系的六个基本定理以及研究现状和存在问题,并证明这六个实数基本定理的等价性. 相似文献
4.
刘吉善 《辽宁大学学报(自然科学版)》1986,(1)
本文以专著为基础,深入研究了内插空间中的K—方法和J—方法的等价性定理,特别讨论了0<θ<1,q=∞时的情况,并分不同情形给出了等价性定理的严格的证明。 相似文献
5.
实数系7个基本定理是描述实数系连续性的不同数学表达形式,又是以后函数连续性质证明的理论基础.从有限覆盖定理出发,按有限覆盖定理(→)聚点定理(→)致密性定理(→)柯西收敛准则(→)确界定理(→)单调有界定理(→)闭区间套定理(→)有限覆盖定理的顺序,证明了他们之间的等价性,从而给出等价性证明的一种新方法. 相似文献
6.
7.
边平勇 《山东理工大学学报：自然科学版》2006,20(1):36-38
将无穷积分及无界函数积分的被积函数运用无穷小和无穷大比较的方法进行比较,得到了相应的反常积分敛散性极限审敛法的等价定理,并给予证明,从而可运用等价定理灵活的判断反常积分的敛散性. 相似文献
8.
将无穷积分及无界函数积分的被积函数运用无穷小和无穷大比较的方法进行比较,得到了相应的反常积分敛散性极限审敛法的等价定理,并给予证明,从而可运用等价定理灵活的判断反常积分的敛散性. 相似文献
9.
在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题。本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性，语义归结完备性，线性归结的完备性以及输入归结和单位归结的等价性问题。 相似文献
10.
解稀疏多项式方程组特征值方法的第二等价性定理 总被引：2，自引：0，他引：2
刘卫江 《吉林大学学报(理学版)》2003,41(1):25-28
证明解稀疏多项式方程组特征值方法的第二等价性定理, 并给出方程组的解与特征值的关系. 相似文献
11.
王家玉 《曲阜师范大学学报》2001,27(4):21-22,26
用Br啨ｚｉｓ＿Ｂｒｏｗｄｅｒ定理给出Ｅｋｅｌａｎｄ变分原理与Ｃａｒｉｓｔｉ不动点定理的一个新的证明方法 ,并在此基础上证明了Ekeland变分原理与Caristi不动点定理的等价性 相似文献
12.
13.
解稀疏多项式方程组的特征值方法的建立与等价性定理 总被引：4，自引：1，他引：3
刘卫江 《吉林大学学报(理学版)》2002,40(2):141-143
利用多项式方程组的稀疏性构作相应的特征值,
给出并证明其等价性定理. 相似文献
14.
Seal演算的等式特性 总被引：1，自引：1，他引：0
为完善Seal演算的自身性质及形式化证明移动代码的安全性，从上下文等价性角度研究了Seal演算的等式特性及其应用。首先定义了Seal演算的可观察性和上下文等价性，然后通过两个判断上下文等价性的定理给出了Seal演算上下文等价性的判定方法，最后依据上下文等价性证明了Seal演算的防火墙等式。结果表明，Seal演算上下文等价性可以正确地描述Seal演算的等式特性，并可判定Seal演算的安全特性。 相似文献
15.
16.
17.
罗元 《湖北师范学院学报(自然科学版)》1986,(2)
1、引言:Grandmann定理[1]在建立等价性逼近定理时起着重要作用。本文将建立一个类似定理,并应用它来证明一些线性正算子的整体逼近定理。 相似文献
18.
证明了描述数直线和坐标平面的连续性的一些命题的等价性, 如在坐标平面上,用致密性定理证明Cauchy收敛准则;用Cauchy收敛准则证明闭矩形套定理等,以弥补现行教材之不足. 相似文献
19.
证明了描述数直线和坐标平面的连续性的一些命题的等价性,如在坐标平面上,用致密性定理证明Cauchy收敛准则;用Cauchy收敛准则证明闭矩形套定理等,以弥补现行教材之不足． 相似文献
20.
朱培勇 《西南师范大学学报(自然科学版)》1988,(2)
本文首先给出了二次曲线的代数定义与射影定义.为了说明这两种定义的等价性,我们对Steiner定理作了严格证明.随后,在复射影平面上给出了Steiner定理的逆定理,并用代数方法证明了这个逆定理的正确性.从而,在复射影平面上使二次曲线的代数定义与射影定义的等价性得到严格论证. 相似文献