关于实数连续性的注记

证明了描述数直线和坐标平面的连续性的一些命题的等价性, 如在坐标平面上,用致密性定理证明Cauchy收敛准则;用Cauchy收敛准则证明闭矩形套定理等,以弥补现行教材之不足.     

实数连续性的等价命题

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

一个新的多值压缩映射不动点定理

为进一步发展和完善度量空间中的不动点理论,扩展不动点定理的应用范围,利用Cauchy收敛判别准则给出了一个新的多值压缩映射不动点定理,该结论改进了Nadler不动点定理及最近的某些结果.     

绝热气动力学方程组整体光滑解的存在性与非存在性

本文研究Lagrange坐标下绝热气动力学方程组的Cauchy问题,得到了其整体光滑解的存在性定理与非存在性定理。     

介值性定理的证明及应用

介值性定理是闭区间上连续函数的重要性质之一,本文通过巧妙地构造辅助数列,应用致密性定理、柯西收敛准则来证明闭区间上连续函数的介值性定理。     

实数系基本定理的等价性

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

多复变数函数论的几个问题(七)——一点注记

在文献中有如下定理.定理:二重幂级数sum(C_kl(w-a_l)~k(z-a_l)~l)from k,l=0 to ∞(1.42)的收敛点集或者归结为一点(级数的中心),或者构成这样一个(4维)星形区域,它可与通过级数的中心平行于坐标平面的平面上的2维收敛区域以及位于这个区域的边界上的收敛点相邻接.在其证明中说到"点(t_0c_1, t_0c_2)总是收敛点集的内点"本文的目的是指出这种论断是没有根据的.事实上,该定理的证明中所构造的仅是星形点集,还不是星形区域.     

极限收敛定理在迭代数列中的应用

数学分析教材中介绍了很多数列极限的判断工具，本文说明了在处理迭代数列的极限时应使用何种判断工具及应该注意的问题，主要讨论了单调有界收敛定理、Cauchy收敛准则及上下极限方法的区别应用．     

实数系基本定理的等价性

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

致密性定理在数分上的应用

数学分析是研究函数性态的一门学科。它主要研究函数的连续性、可导性、可微性、可积性等。其研究函数的基本方法是极限,而用极限方法分析处理数学问题,从方法论讲是区别于初等数学的显著标志。数学分析中几乎所有的概念都离不开极限,极限概念是数学分析中最重要的概念,极限理论是数学分析的基础理论。在极限论中,有八个基本的定理:Dedekind分割原理、确界定理、单调有界原理、闭区间套定理、Borel有限覆盖定理、Weierstrass聚点定理、Cauchy收敛准则、致密性定理。这些定理从不同的侧面反映了实数集R的连续性及完备性,几何的直观意义就是数轴上的     

柯西不等式的一个注记

利用向量的勾股定理证明了线性代数中的柯西不等式和三角不等式,探讨了这两个不等式的联系,并用三角不等式证明了柯西不等式,指出了该不等式名称中一个易被忽视的细节.     

Cauchy中值定理的又一证法

应用连续函数的性质和闭区间套定理证明ｃａｕｃｈｙ中值定理。     

带环境迁移项的格上Lotka-Volterra竞争系统的Squeezing定理

运用最值原理,研究了带环境迁移项的格上Lotka-Volterra竞争系统强制波的严格单调性。据此,利用上下解方法及比较原理,证明了Squeezing定理。从而能够给出相应柯西问题解的一个估计,并为全局稳定性的分析提供工具。     

Fuzzy数序列的收敛问题

首先以Ｒ２上的距离为基础，利用Ｆｕｚｚｙ数结构上的特征建立了Ｆｕｚｚｙ数之间的距离，进而证明了Ｆｕｚｚｙ序列收敛的单调有界有极限定理、夹逼定理及柯西收敛定理。     

四元数自共轭矩阵特征值的变分特征及其应用

利用四元数矩阵的复表示及友向量的概念结合复数域上的Hermitian阵的性质证明了四元数自共轭矩阵的特征值的变分特征,并利用变分特征研究了四元数矩阵特征值的性质.得到了四元数矩阵的Wey1定理、单调性定理、柯西分隔定理等一系列结果.     

四阶非齐次方程(Δ_x~2-Δ_y~2)u=f(x,y)解的中量定理及其逆定理

Asgeirsson中量定理表明超双曲型方程的Cauchy问题一般是不适定的。利用非齐次超双曲型方程的中量定理的结果和积分、微分的性质与关系 ,得到了高阶非齐次方程 (Δ2 x-Δ2 y)u =f(x ,y)解的中量满足广义轴对称位势非齐次方程 ,并证明了其逆定理     

关于复数域上Banach空间上的向量值函数的一些注记

首先证明了取值于Banach空间上强连续的向量值函数是可积分的;然后用初等方法证明了向量值函数的柯西积分公式和高阶导数公式;最后讨论了取值于l^p（p≥1）空间上的向量值函数解析、可积、柯西积分公式和高阶导数公式与其各分量函数的关系和表示形式,并且给出了有限维赋范线性空间上的向量值函数连续、解析、可积、柯西定理、柯西积分公式和高阶导数公式与其各分量函数的关系和表示形式．     

脉冲抛物型方程柯西问题解的存在性与爆破性质

考虑了含有脉冲的半线性反应扩散方程的柯西问题,利用上下解原理证明了其解的存在性与唯一性,并建立比较原理,由此得出结论:当反应项满足一定条件时,解会在有限时刻发生爆破.     

平面几何命题机器证明的Groebner基方法

探讨了初等平面几何命题机器证明的Groebner基方法,并给出了它的算法原理和实现方法,且通过实例说明了该方法简便易懂,用Maple实现也较易.     

区间套定理在证明中值定理中的应用

对区间套定理给出一个推论,然后建立了四个引理.在此基础上通过构造区间套依次证明了罗尔中值定理、拉格朗日中值定理和柯西中值定理.