Wolstenholme定理的新证法

目的 给出Wolstenholme定理的一个新证明.方法 应用同余的简单性质及威尔逊定理推出了有关二次剩余的一引理,并应用该引理及另一个关于二次剩余的结果,给出了著名的Wolstenholme定理的一个证明.结果 得到了关于二次剩余的一引理,给出Wolstenholme定理的一个新证明.结论 Wolstenholme定理可以用二次剩余及威尔逊定理等简单的初等数论知识证明.     

Philipp-Stout定理的补证

在文献[1]中W.Philipp和W.Stout得到了用正则布朗运动来逼近高氏序列的很好的结果(见[1]中定理5.1)。在该定理的证明中用到了重要引理5.3.1。可是此引理的叙述和证明都是错误的。本文给出此引理的正确叙述及其证明,从而完成了[1]中定理5.1的证明。 [1]中引理5.3.1的叙述和证明中均未提及随机变量序列{X_n}_(n=1)~∞是高氏序列。今举     

关于《Asymptotic behaviour of holomorphic strips》一文的注记

在Joel W.Robbin和Dietmar A.Salamon的文章《Asymptotic behaviour of holomorphic strips》中主要结果定理A与定理B的证明中,我们认为有两个关键的地方是不确切的,一个是对引理2.2的第一个不等式的证明,另一个是定理B的证明中使用该文章附录C中的引理C.1.对前一个,我们认为那里方法难以推出,并给出一个证明;对后一个,我们认为那里使用引理不太合适,并给出一个新结果代替它.     

Schanuel引理及相关性质的推广

利用扩张函子Ext的同调性质给出Schanuel引理、Schanuel引理对偶定理及其相关结论的推广.     

C_n-move与Vassiliev不变量

利用Cn-move与Vassiliev不变量给出定理1,并利用相应定义和引理对其进行了证明.     

关于Lebesgue积分的中值定理

给出了一个引理的六种证法与Lebesgue积分中值定理及其推广定理.     

模糊Henstock-Stieltjes积分的进一步研究

给出模糊Henstock–Stieltjes引理,利用Henstock–Stieltjes引理证明积分原函数的连续性,其次给出和证明Henstock-Stieltjes积分序列的另一个收敛定理.     

模糊Henstock-Stieltjes积分的进一步研究

给出模糊Henstock–Stieltjes引理,利用Henstock–Stieltjes引理证明积分原函数的连续性,其次给出和证明Henstock-Stieltjes积分序列的另一个收敛定理.     

关于丢番图方程x~2-2py~2=1的初等解法

除开正整数解,(x,y)=(1,1),(13,239)外,无其他的正整数解.Ljunggnen这个结果的证明非常复杂且需较深的代数数论的知识,所以,上述关于方程(1)的定理的证明,不是一个初等的证明.这篇短文,将给出上述定理一个初等的证明.为引用方便,下面先给出二个仅仅用到初等方法的引理。引理1.丢番图方程     

关于无解方程的一个代数引理

L.Hormander的书[1]中,关于无解方程的讨论用到一个代数引理(即原书引理6.1.4),今给出此引理的补充证明. 定理给定具复分量的两个向量(a_1,…,a_n)及(f_1,…,f_n),且某a_(?)0.则存在满足方程     

对Eric van Damme引理的再探讨

双矩阵博弈中的一个著名定理——完美均衡等价于非劣纳什均衡的证明依赖于van Damme给出的一个引理.有研究者认为,Damme引理的充分条件并不成立,其结果将导致定理有可能不成立.经过认真研究,得出的结论是,认为Damme引理不成立的理由并不充分,而是忽略掉了一个重要条件导致的结果,并对此进行了说明,并给出了Damme引理的一个严格证明.     

Lebegue控制收敛定理的一种改进

对Lebegue控制收敛定理进行了改进,由此得到比Lebegue控制收敛定理更一般的结论,并对Fatou引理进行了推广,用推广的Fatou引理对改进后的Lebegue控制收敛定理给出了证明.     

时滞奇异摄动系统的有限频域H∞滤波器分析与设计

利用广义Kalman-Yakubovich-Popov引理,给出时滞奇异摄动系统的界实引理,同时为了降低滤波器设计的保守性,利用投影定理给出了上述界实定理的一个替换定理.通过给松散矩阵一个特殊的结构约束,得到了滤波器存在且保证滤波误差系统渐进稳定及满足有限频域H∞性能指标的充分条件.     

L积分的三大极限定理在E(∩)Rq时的等价性证明

将L积分的三大极限定理联系起来进行研究,再由勒贝格控制收敛定理证明Levi定理,由Levi定理证明Fatou引理的基础上,给出了由Fatou引理对勒贝格控制收敛定理在E(∩)Rq(mE＜∞)时的一个证明,并得出在ECRq时L积分三大极限定理是等价的结论.     

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

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

带时滞微分方程解的有界性与渐近性质

本文中提出引理1,建立了定理1,从而推广了文[4]的定理8,再借助于引理1的推论,建立了定理2,在某种意义下推广了文[2]的定理5.1,还应用引理2,建立了定理3,推广了文[1]第六章的定理5,及文[4]定理6的推论的结果.     

关于线性空间的基与维

本文给出了作者得到的定理3:无限维的Banach空间必不是可列维的。为证定理3,作者先给出引理2,这个引理本身也具有独立的意义。     

关于Béla Bollobás的一个错误证明(英文)

设N为自然数集。2~N表示N的全体子集构成的集,我们给予2~N以乘积拓扑。F.Galvin和K.Prikry为证明一个重要定理,给出一个重要的引理,但他们省略了引理证明的细节。Béla Bollobás给出引理的一个错误证明。本文中,我们给出错误证明的一个反例,并重新证明了前述引理。     

增算子不动点定理的一个注解

人们对于增算子不动点的存在性研究逐渐深入,并得到大量的不动点存在性的结论但其证明大多依赖于Zorn引理.文章给出了关于Banach空间中的一类全正则锥条件下增算子不动点定理独立于Zorn引理的新证明,使之前的定理更加绝对化.     

推广的Cauchy定理Th.Estermann证法的一点注记

给出了推广的Cauchy定理的Th.Estermann证法中一个关键性引理的另一证法.