欧德斯(Erd(o)s)猜想的证明注记

文章对文[5]中引理2的证明中两个关键点作了进一步阐述,并揭示了引理2证明的理论根据实质上是集合论、映射和一一对应及数列的排列规律;而且给出了“必存在符合条件的n1、n2值使n1≠n2”的证明。     

Philipp-Stout定理的补证

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

中间图的pebbling数

证明路、完全图和星图三种特殊图中间图的pebbling数问题.根据生成子图的性质得到路的中间图的pebbling数为2n n-2;利用数学归纳法得到完全图的中间图的pebbling数为[n(n 1)]/2;根据Chung的定理11提出引理1,并利用引理1得到星图中间图的pebbling数为3n 3.     

由圈得到的一类优美图

刘瑞元在〔1〕中证明一个 n(n≥6)个顶点的圈增加两条弦所得图优美,本文证明圈增加若干弦所得图优美.定理具有4k+r 个顶点的圈 C(r=0,1,2,3),可增加 t(1≤t≤2k)条弦,使所得图 C′优美.定理的证明分4种情况:r=0,l,2,3.引理1 具有4k 个顶点的圈 C,可加上t(0≤t≤2k)条弦,使所得图 C′优美。引理2 具有4k+1个顶点的圈 C,可增加t(1≤t≤2k)条弦,使所得图 C′优美.引理3 具有4k+2个顶点的圈 C,可增加t(1≤t≤2k)条弦,使所得图 C′优美.引理4 具有4k+3个顶点的圈 C,可增加t(1≤t≤2k+1)条弦,使所得图 C′优美.     

环的几个交换性定理

本文证明了环的几个交换性定理,并且推广了[4]、[5]中的相应结果。我们总是以Z表示环R的中心。先列出几个引理: 引理1 设R为质环,λ∈Z,λ≠0,α∈R,若有λα∈Z,则必有α∈Z。证明见[1]。引理2 设R为半质环,若有正整数n使得对(?)_x∈R,都有x~n∈Z,则R是交换环。     

《试论积分第一中值定理》一文的更正

本文指出文[1]中的引理2是错的,并且给出了一个命题来代替文[1]中的引理2,同时对文[1]中引理3的叙述与证明作了些修改,使之更完美,这样也就对文[1]中相应的有关叙述作了些调整.     

一般加法公式及其推广

通常所谓的一般加法公式,就是用(1)中所定义的诸S_r来表示(2)中的概率。本文我们将推广K=1的情形,而得到用诸S_r来表示(A_1A_2…A_n)K的概率的一般公式。 §1,基本引理 下述的各基本引理为后面各定理的证明提供根据。 基本引理 设f_1,f_2,…,f_n为n个变元A_1,A_2,…,An的布尔多项式,b_1,b_2,…,b_n为实常数,若     

Lebesgue微分定理的一个几何证明

<正> Lebesgue微分定理是实变函数中微分理论的一个非常重要的定理,此定理的证明虽有几种方法,但都比较冗长、复杂。本文是在Austin的文[1]基础上改写而成,在证明中只用到一些测度知识和初等几何的知识,具有简单,明晰的特点,此外本文对[1]中引理2出现的错误以及在使用Lindlof定理时所出现的问题做了相应的修改,并在引理2的基础上引入了引理3及引理4,使本文更加完善。     

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

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

一类拟线性椭圆型方程的解的研究

利用山路引理证明一类拟线性退化椭圆型方程的解的存在性 ,并利用 Pohozeav恒等式证明 ,当 q+1 >p(n+α) / (n+α- p)时 ,该方程不存在非平凡解     

临界图独立数的上界

1968年,Vizing猜想,对于n阶的△临界图G,其独立数a（G）≤n/2．利用著名的Vizing邻接引理和Fiorini不等式的证明方法,证明了如果临界图G的一个最大独立集中主顶点个数不超过1,则猜想成立,从而改进了Luo等的一个结果．     

推广的Urysohn引理的改进证明

文[1]中给出Urysohn引理的一种推广,给出的证明是参考[2]中的证明.文章给出了该推广的改进证明.     

M(p)的单调性及其应用

定义称为p次幂平均函数．由文[1]，补充定义，则函数M（p）的定义域为实数域R．引理1[1]若f(x)在区间I上存在二阶导数，且则其中且引理2设，则有证明：作辅助函数，有由引理1，取引理得证．定理函数M（p）在定义域内是单调增函数．证明：只须考察函数lnM（p）的单调性．由于又函数M（p）在户20处连续，易知M（p）在卜co，＋co）内是单调递增函数．推论少］。。＞0，（k－1，2，…，n），。＜0＜g，则有由M（p）单调递增，有M（。）＜M（0）＜M（尸），即可得到上述推论．推论2the＞0（k＝1，2，…，n），则有重要不等式当且仅当al＝a。…     

一个Hilbert空间及其应用

<正> 本文介绍一个以n阶Hermite矩阵为元素的Hilbert空间(在Hilbert空间的定义中有时还要求空间是无限维的,本文不作这种要求),以及它的应用.引理1 若A为n阶Hermite矩阵,则矩阵A~2的迹为非负实数,即tr(A~2)≥0.证明 设A=(a_ij)则     

半素环的交换性条件

义献〔]}中证明了二,…x,一x,…x:(。》2)恒为中心元的半素环是交换环。 本文证明了满足条件(a)的半素环是交换环。 条件(a):对任xl,…,,、〔R,有与二:,一,二,有关的整数,‘,n,》1,i二1,2,…,。一1,气>1,使得二:…戈一x、‘…x。,〔C(R的中心) 为了方便,先提出如下引理: 引理l〔2〕设R为Ja。obson半单环,则尸是本原环的亚直和。 引理2〔2〕设尸为本原环,则有除环D,使R二D。或者对任意自然数。,S(,,~D,. 引理3设R为满足条件(a)的除环,则R是交换环。 证明:令二:二:…=x。二x,则由条件(a) 扩一戈气十”‘十”,任c由(”〕知尸是域。 引理4…     

关于Farkas引理证明的一点注记

许多关于非线性规划的专著,如[1]、[2]、[3]等,在证明Farkas引理时都蕴含地用到:“有限生成的凸锥(finitely generated convex cone)为闭集”这样一个事实,但都忽略了对此作出证明。本文旨在于非线性规划的内容范围内证明这一重要事实,从而对上述专著中Farkas引理的证明作出补充。     

Schwarz引理的一点应用

本文利用Schwarz 引理给出了命题1和命题2的新证明.     

关于方程sum from j=0 to (n-1)(x+jr)~t=(x+nr)~t

V.A.Lebesque1 曾经证明方程 在t=3时,仅有正整数解n=3,x=3r。本文证明了方程(1)在4≤t≤10时无正整数解。由于(1)对于x和r是齐式的,所以我们可以假定(x,r)=1。对于方程(1),有下面的一些性质。引理1.n≥2t+2,k≤t,则有     

与Fermat大定理有关联的代数等式

从直角三角形三边的关系式c2=a2+b2与公式:1=a2+b2=(a2+b2)2=(a2-b2)2+(2ab)2再由熟知的52=32+42展开讨论,发现并证明了引理1、引理2、引理3中的特性,这是本文的成果之一.把这些特性与Fermat大定理联系起来,虽还未证明Fermat大定理,但得出了定理1、定理2中与Fermat大定理有关联的代数等式,这是本文的成果之二.     

Swarte的引理5.4的证明及推广

D. Crystal, H. Greenberg, A. Kolem, W. Morris, A. Raian, R. Rardin和 M. Trick指出:从我们对Swart的文章的研究,确信变量公式是正确的,但Swart对关键性引理5.4的证明是错误的。在这里,我们给出引理5.4的一个严格证明,证明引理是完全正确的,并进一步推广引理5.4的结果。 Swart引理5.4;给定了一个n×n双随机矩阵D,它的所有元素是非负整数,并且每一行和与列和都是正整数K,则D能分解成置换矩阵的线性组合。推论:给定一个n×n双随机矩阵D,它的所有元素是非负整数,并且每一行和与列和都正实数K,则D能分解成置换矩阵的线性组合。