实数系基本定理的等价性

实数系7个基本定理是描述实数系连续性的不同数学表达形式,又是以后函数连续性质证明的理论基础。从有限覆盖定理出发,按有限覆盖定理 聚点定理 致密性定理 柯西收敛准则 确界定理 单调有界定理 闭区间套定理 有限覆盖定理的顺序,证明了他们之间的等价性,从而给出等价性证明的一种新方法。     

实数系基本定理的等价性

实数系7个基本定理是描述实数系连续性的不同数学表达形式,又是以后函数连续性质证明的理论基础.从有限覆盖定理出发,按有限覆盖定理(→)聚点定理(→)致密性定理(→)柯西收敛准则(→)确界定理(→)单调有界定理(→)闭区间套定理(→)有限覆盖定理的顺序,证明了他们之间的等价性,从而给出等价性证明的一种新方法.     

确界和确界存在性的变式教学研究

确界存在性定理反映了实数系连续性/完备性这一基本性质,是高等微积分中极限理论的基石,由它可以循环推证实数完备性的其他五个等价定理.然而,教学实践表明大学一年级初学者在接触上(下)确界的形式逻辑符号语言及其推理论证时,普遍感到异常抽象难以理解和运用,难以达到既定的教学目标.笔者针对这种现状,从直观可视化和层次化的角度去剖析上/下确界的概念;对于数集的确界存在性定理,结合确界的无穷小数逼近表示法和确界的集合分划理念进行变式教学,以期将复杂抽象的确界概念和确界存在性的论证思想尽可能的通俗简单化,使得初学者尽可能分享到看得懂、听得懂的益处.     

实数连续性的等价命题

Dedekind分划基本定理、确界存在定理、单调有界定理、闭区间套定理、聚点定理、Cauchy收敛准则、有限复盖定理等七个实数连续性的等价命题是数学分析的理论基础,也是现代数学的重要工具。它们的等价性一般都是循环证明的。为了加深对这些命题的理解,掌握应用这些命题证题的规律,进行仿射证明是非常有益的。在文献[1——8]中已给出     

随机级数∞∑n=1ξnun的一些性质

对Rademacher级数∞∑n=1±un的性质进行了研究,首先将∞∑n=1±un的相关结果进行了推广,对于更为一般的随机级数∞∑n=1ξnun确定了其有限和的上确界与级数之间的具有相互限制的数量关系,然后,通过其数量关系将Rademacher级数的重要性质作了推广,通过研究发现:级数∞∑n=1ξnun具有Rademacher级数同样的确界定理.最后,直接证明了如果级数∞∑n=1ξnun收敛,它的模V属于Lp,(Ω)空间.     

关于第二连续归纳法原理

我国著名的数学家、数学教育家张景中院士,在1986年提出了关于实数理论的“连续归纳法原理”[1].这是一个相当简单、便于应用和掌握的定理。这个定理,可以作为刻画实数的连续性的公理,以代替实数理论中的其它公理;从它出发,可以用统一模式推出已知的一系列关于实数的定理;从它出发,可以用统一模式证明微积分中涉及连续性的各个命题[2].这是张景中院士关于教育数学的一项重要成果.但是,对于一些仅仅局限于一个区间的有关性质,常常需要将所须证明的命题Px由区间[a,b]拓广到整个数轴,成为一个新命题Px,再利用连续归纳法加以证明.例如,在运用连续     

实数理论中几个基本定理的等价性

<正> 数学分析理论的基础是实数的连续性。怎样描述实数的连续性?有的著作中把“确界存在定理”作为连续公理,导出其它基本定理;有的把“单调有界序列必有极限”作为连续性公理,导出其它基本定理;……这种从不同的连续性公理出发引出其它基本定理的顺序虽然不同,但本质是一样的。就其论证方法,一般著作都用二至三个循环论证才得到如下八个基本定理的等价性。本文从“区间套定理”出发,只用一个循环实现论证八大定理的等价性。     

随机级数∑n=1^∞ξnun的一些性质

对Rademacher级数∑n=1^∞&#177;un的性质进行了研究,首先将∑n=1^∞&#177;un的相关结果进行了推广,对于更为一般的随机级数∑n=1^∞ξnun确定了其有限和的上确界与级数之间的具有相互限制的数量关系,然后,通过其数量关系将Rademacher级数的重要性质作了推广,通过研究发现：级数∑n=1^∞ξnun具有Rademacher级数同样的确界定理．最后,直接证明了如果级数∑n=1^∞ξnun收敛,它的模V属于L^p（Ω）空间．     

实数连续性等价命题的证明及应用

本文以闭区间套定理为基础,证明实数连续性的其他等价命题,并给出它们的应用及有关的评议.     

实数系的连续性和完备性的若干等价定理

以十进制小数表示作为出发点,给出实数定义,并以此为基础证明了单调收敛定理.总结了描述实数系连续性和完备性的若干等价定理,即:单调收敛定理,上(下)确界定理,边界点定理,戴德金分割定理,辛钦定理,区间套定理,聚点原理,有限覆盖定理,致密性定理,柯西收敛准则.     

实数连续性七个定理等价性的证明

以单向循环的方式对实数连续性七个定理的等价性进行证明,旨在用完整而简明的思路说明实数连续性定理的相互等价关系.     

勒贝格不可测集类Z的一些性质

在闭区间〔0,1〕中任取一数ξ,以E(ξ)表示〔0,1〕中与ξ“相亲”〔1〕的实数全体。在每个“相亲集”E(ξ)中任意取定一个代表数组成一个集合Z,这就是通常所说的勒贝格不可测集,它随着代表数选取的不同而不同。一切这样的集Z构成的集类记作Z。本文的目的就在于给出这种集类的若干特征。定理1 Z中任何一集的势为C(连续点集之势),而Z的势为2~c(Z的一切子集构成的集类的势)。     

概率度量空间中映象的迭代逼近

本文的第一个目的是推广 Sehgal,Bharuch-Reid 的压缩映象定理;第二个目的是讨论不动点的逼近问题,所得结果改进和统一了游兆永教授的相应定理。为了方便起见,我们先简述有关符号和术语。本文用 R 表实数集,R~+表非负实数集,D 表一切分布函数(即定义在 R 上不减的,左连续的,下确界为0,上确界为1的实值函数)的集合,而用 H 表示特征函数,即     

单调有界定理的另证

单调有界定理是证明数列极限存在的一个重要定理,它是实数完备性定理之一,与确界存在定理、区间套定理、致密定理、聚点定理、有限覆盖定理、柯西准则都是等价的.他们之间的等价证明到处可见.如下主要就构造法、二分法两种方法来证明单调有界定理。     

NA序列Chung型对数律的精确渐近性质

令{ξn,n≥1}为零均值严平稳的负相伴(NA)随机变量序列,满足Eξ12∞和0σ2=Eξ12+2∑k=2∞Eξ1ξk∞.记Sn=∑k=1n ξk,Mn=∑ k=1n|Sk|,n≥1.利用NA序列中心极限定理和概率不等式,对边界函数和拟权函数得到了Chung型对数律的精确渐近性质.     

随机级数sum（ξ_nu_n）from n=1 to ∞的收缩原理

对Rademacher级数sum（±u_n）from n=1 to ∞的性质进行了研究,结果表明：Rademacher级数所具有的确界原理可推导出收缩原理,而更为一般的随机级数sum（ξ_nu_n）from n=1 to ∞也可以满足确界原理,因而将收缩原理推广到了更为一般的随机级数sum（ξ_nu_n）from n=1 to ∞,从而得到了更好的结果.     

用数学归纳法证明欧拉定理

一个简单多面体的顶点数 V,棱数 E,面数 F 之间有以下关系:V-E+F=2(1)这就是欧拉定理。以下用数学归纳法对其进行证明。首先可以验证棱锥适合(1)式。(i)V 最小为4;此时简单多而体只有四面体一种,它显然满足(1)式。(ii)假设 V=n(n≥4)时(1)式成立,考虑一个有 n+1=V 个顶点的简单多面体Γ,用 E、F 表示Γ的棱数、面数.不失一般性,设Γ不是棱锥。取Γ的顶点 P,Γ中所有与 P 连成棱的顶     

11条件命题+=2的证明及推广1/f′（ξ1）+1/f′（ξ2）=2

利用介值定理和拉格朗日中值定理证明了命题：设函数f(x)在[0,1]上连续,在(0,1)内可导,且f ′(x)>0, f(0)=0, f(1)=1,则存在ξ1,ξ2∈(0,1),使得1/f′(ξ1)+1/f′(ξ2)=2。通过对命题证明过程的分析,对命题进行了推广。     

分圆域中单位的一个性质及其应用

本文研究了应用分圆域中单位的性质到差集理论的可能性。我们发现分圆域Q(ξ)/Q中的单位ε(ξ)满足ε(ξ)ε(ξ~(-1))=1当且仅当ε(ξ)=±ξ~i对某一有理整数成立,这里[Q(ξ):Q]=v是素数。这个性质可应用到差集的乘数定理上,本文结尾处给出了一个应用例子。应用本文的思路可以证明n=k-λ=3p时,素数p必为(v,k,λ)循环差集的乘数。     

条件命题1/f′(ξ_1)+1/f′(ξ_2)=2的证明及推广

利用介值定理和拉格朗日中值定理证明了命题:设函数f(x)在[0,1]上连续,在(0,1)内可导,且f′(x)0,f(0)=0,f(1)=1,则存在ξ1,ξ2∈(0,1),使得1/f′(ξ1)+1/f′(ξ2)=2。通过对命题证明过程的分析,对命题进行了推广。