“关于厄米特矩阵的一个不等式”的几点注记

<正> 文[1]提出并证明了下面的定理.设 A_j,B_j,…,C_j(j=1,2,…,k) 都是正定的同阶 (≥2) 厄米特矩阵,α,β,…,γ都是正实数,且 α+β+…+γ=1,则有sum from i=1 to k|A_j|~α|B_j|~β…|C_j|~γ<|sum from i=1 to k A_i|~α·|sum from i=1 to k B_i|~β…|sum from i=1 to k C_i|~γ.以下几点意见,供参考.第一,文[1]中的引理1和引理2是早有的结果.引理1见[2]p.15,[3]p.16及p.13,引理2是 Minkowski 行列式定理的直接推论,见[4].事实上,文[1]的定理是 H(?)lder 不等式和 Minkowski 行列式定理的自然结果.因为     

关于Polato■lu的两个结果

我们指出,[1]中定理A和B的证明是通不过的.事实上,按照S(z)=z …属于S_λ~(?)的定义有e~üzs‘(z)/s(z)=cosλ·p(z) isinλ,这里p(z)在|z|<1中解析且满足条件Rep(z)>0,p(0)=1但[1,(2.2)]把上式误写成e~üzs‘(z)/s(z)=p(z),并以它为出发点进行推理,这就导致[1]中引理2.1,推论2.1直至上述定理A和定理B的证明皆不能成立.本文的目的是纠正[1]的错误并建立相应的正确结果.     

大数定律的推广

引理1.設α≥0,則 引理2.若 1) y_n+1>y_n(n=1,2,…,); 2) (?)y_n=+∞; 3) (?)(x_n+1-x-n)/(y-n+1-y_n)存在,則 这两个引理的証明可参看[1]及[2];引理2又称为施篤茲定理。下面我們用σ_n~2表示随机变量ξ_n的方差,用ρ_(ij)表示随机变量ξ_i与ξ_j的相关系数。定理.設{ξ_n}是一随机变量序列,如果存在0≤λ<1,使得 1) (σ_1~2+…+σ_n~2)>A,对任何n成立; 2) 当|i-j|→∞时,|i-j|~λρ_(ij)一致趋向于0,則这随机变量列滿足弱大数定理。     

二阶中立型方程的周期解

本文改进了文[1]的主要结果,即将文[1]定理1中的条件|c|<1/2,改为|c|≠1,从而文[1]的其它定理可相应进行改进。     

|A B|~(1/n)≥|A|~(1/n) |B|~(1/n)的一个证明

文[1]、[2]用两种方法证明了命题:设A,B是n阶正定矩阵,则有|A B|~(1/n)≥|A|~(1/n) |B|~(1/n)等号成立当且仅当A=kB(k>0)。本文用矩阵迹的概念给出一个不同的证明。我们首先证明下面两个引理。     

有限传输设备系统的Feinstein引理

<正> 本文研究有限传输设备系统的统一编码问题,给出了类似[1]中 Feinstein 引理的结果.这个结果看来与[2]中问题 XLIX 有关,而可以用来加强那里列举的情况1.本文的前半部分讨论了在抽象变量场合下半信息稳定的 Feinstein 引理.本文的基本思想类似[3].而其中基本引理是[4]中定理1的推广(我们称它为Shannon 引理).本文的叙述方式类似[1],沿用[1]中符号时不多加说明.     

六点图中的根式不可解图

本文对六点图进行了研究,文献[2]中已经证明了具有根式不可解的特征多项式的最小图是六点图.本文将确定六点图中所有根式不可解图.为了证明这一结果,我们只需要[2]中简单而为大家熟知的工具.定理1 设G是有限群,且|G|=p~3q~t,其中p,q为素数(p,q)=1,则G是可解群.证明见[1]第Ⅱ章§7定理2(p.236).引理1 群PGL_2(5)及PSL_2(5)不可解.     

关于M.R.Taskovi■的不动点定理的注记

本文以反例说明,文[1]中的引理1是错误的.从而,文[1]中的主要定理,即定理1尚不能认为是成立的.     

关于《连对角占优矩阵的一些性质》的注记

本文指出[1]中一些结论是错误的,并说明产生错误的原因. 为了便于说明问题,我们采用文[1]中的定义和记号.首先将[1]中引理2叙述如下: 引理2 若A∈C~(m×n)为不可约矩阵,又假定A的一个特征值λ是卵形|z-a_(ii)||z-a_(jj)|≤Λ_iΛ_j的并集的一个边界点,则所有n(n-1)/2个卵形圆周|z-a_(ii)||x-a_(ii)|=Λ_iΛ_j(i≠i,i,j=?)都通过点.     

一个问题的解决

本文将解决文[1]末提出的如下问题:问题1求函数y=∑ni=1Fi|x-Fi|的最小值,其中x∈R,{Fn}n≥0为Fibonacci数列,它由F0=0,F1=1,Fn 2=Fn 1 Fn(n∈N)确定.引理1当且仅当x∈[a,b]时,函数y=|x-a| |x-b|(a,b,x∈R,a相似文献   

数学分析中一些定理的统一处理

<正> 文[1]给出了完全覆盖定理(以下简称引理)。并且用这个引理证明了有限覆盖定理和聚点定理。本文拟用该引理证明实数完备性的男外几个等价命题和分析中的其它二个重要定理。这种证明方法过程简单.思路自然,易被初学者掌握。     

关于哥德巴赫问题的一点注记

<正> 通过文章[1]、[2]、[6]对L-函数零点分布及算术数列中素数分布两问题的研究,在1989年我们证明了:每一个奇数N≥exp(exp(11.503))都能够表示成为三个素数之和。在此我们将对这些结果的论证作一点修改和说明.我们将沿用文[1]、[2]、[6]中的记号。 (一)主要是由于第二作者的疏忽,在文[2]定理的陈述和证明中出现了一些缺陷.这就是在应用文[2]的引理10来证明定理时,在文[2]的“三、定理的证明”(第857—858     

一个定理的推广

文[1]中的定理为:若f(x)是[a,b]上的增函数,x f(x)=m,x f-1(x)=m的根分别为a,b,则a b=m.经探讨,笔者发现定理中的条件“f(x)是[a,b]上的增函数”是多余的,该定理可进一步推广为:定理若方程x f(x)=m和x f-1(x)=m的根分别为a,b,则a b=m.定理的证明用到下面的引理:引理若函数y=f(x     

Slepian-Wolf定理中码的渐近独立性与Wyner-Ziv定理中误差上界的估计

本文分为两部分,第一部分讨论Slepian-Wolf定理中码的所谓渐近独立性,这一部分中我们将引用[1]文中的许多内容。第二部分中,我们讨论Wyner-Ziv定理([2]文定理一)中误差上界的估计问题。应该指出,[2]文中,由于连续利用了Slepian-Wolf定理与Wyner引理,因此未能得到误差指数下降的结果。因而,我们的结果对利用边信息时信源编码理论的实现问题是很有意义的。     

关于姜伯驹的三个引理

本文标题中的三个引理是[1]中的引理4.3、4.4和4.5,也就是[2]中的引理Ⅲ4.2,Ⅲ4.3(i)和Ⅲ4.4(i).它们在证明[2]Ⅱ§5的两主要定理中有重要地位.但它们原来的证明都运用泛复迭空间理论,从而需要相当多的准备知识.我们在本文第二部分中将不用这一理论,而是用“直接”法(参看[2]Ⅱ§2中的附记)来证明三个引理A,B,C.其中的后两个引理就是原来的后两个,只引理A的叙述形式已和原来的第一个引理的不同.在本文的第三部分中,我们将证明,在针对非空的不动点类的对应关系方面,这两种叙述形式给出的结果相同. 本文所用的术语和记号(除另有解释者外)都来自[2],文中所论及的空间X,Y都是连通的有限多面体.     

零对称BZ-代数的充要条件

重新证明文[10]中几个重要结论并修正文[10]中的定理1(11)和定理2．在此基础上，利用这些重新证明过的结论及修正过的定理可以按照文[10]中引理3，定理4，定理6，定理7，定理10的证明过程原样证明文[10]中的相应结果．因而在文[10]中，除性质11是结合BZ一代数的等价性质(见文[15])，定理1(11)及定理2需要进行修正外，其余结论及证明过程均成立．     

一类含平方数因子的伪素数

笔者曾构造出一类表示伪素数的公式 [1] ,张善立在文 [3]中指出这一类中存在含平方数因子 1 0 932 的伪素数 ,有没有含其它平方数因子的伪素数呢 ?本文将从文 [1 ]给出的公式中找出含平方数因子 1 0 932 和 351 1 2 的伪素数 (本文中字母为正整数 ,p为奇素数 ) .引理 1　设 A≥ 2 ,( p,A) =1 ,满足 ( p,2 A - 1 ) =1及 A 2 A( 2 A( p-1) - 1 )2 A - 1则　 n =2 Ap - 12 A - 1 是伪素数[1] .引理 2　 2 Q1- 1 | 2 Q1Q2 - 1 [1] .引理 3　设使同余式 :2 r ≡ 1 ( mod m)成立的最小正整数为 r,则 2 a≡ 1 ( mod m)成立的充要条件是 r| a[3…     

用素数判定多项式不可约

本文介绍两个用素数列来判定多项式不可约的定理 ,从而把素数与不可约多项式紧密联系起来了 .定理 1　对于整系数多项式f ( x) =∑ni=0aixi　 ( n∈ N,an ≠ 0 ) ( 1 )若存在一个正整数 p >1 max0≤ i≤ n{| ai| },使| f ( p) |不是合数 ,则 f ( x)在 Q上不可约 .为证明定理 1 ,先给出两个引理 .引理 1　多项式 ( 1 )的根的模必小于u =1 max0≤ i≤ n{| ai| }.证明　当 f ( z) =0时 ,假设 | z|≥ u(因为 an ≠ 0 ,所以 u≥ 2 ) ,得| f ( z) |≥ | an| .| z| n - ( u - 1 ) ∑n- 1i=0| z| i≥ 1 . | z| n - ( u - 1 ) .| z| n - 1| z| -…     

有关凸函数的一个定理的改进证明

文[1]．P5．引理1．1．3的证明过程比较复杂、难以理解,本文用另外一种方法(利用函数的单调性、凹凸性和拉格朗日中值定理)对该定理进行了证明．其证明方法比文[1]的证明方法简单、明了,并对定理的结论进行了推广．     

再谈一类根式的无理性研究

文献[1 ]给出了“定理2　设a,b,m ,n为正整数,则ma+ nb一定是一个首项系数为1的整系数代数方程的根”,并利用定理2讨论了形为ma + nb的数的无理性判别问题.本文对定理2进行了推广,并进一步讨论了形为n1a1 + n2a2 +…+ nsas(a1 ,a2 ,…,as;n1 ,n2 ,…,ns 皆为正整数)的数是否为无理数的判别问题.本文用到高等代数中的一个定理,在这里作为一个引理用.引理　设f(x) =anxn+an- 1 xn- 1 +…+a1 x+a0 是一个整系数多项式,而sr 是它的一个有理根,其中(s,r) =1 ,那么s|a0 ,r|an.特别地,若an=1 ,那么r=±1 ,sr 是它的一个整数根.定理1　设a ,b,c,m ,n…