关于无穷—临界图1-因子的一个定理

Francois Bry 在[1]中提出如下问题:一个局部有限的无穷二临界图似乎有无穷多个1-因子.他还指出若能证明这条性质将是很有用的.本文给出关于无穷一临界图1-因子的一个定理.作为定理的推论,我们给出 FrancoisBry 问题的肯定回答.     

Banach空间上有界可逆线性变换逆变换的结构

Fillmore在[1]中得到一个定理:设A,T是Banach空间X上的线性变换,A有界,若Lat(A) Lat(T)且AT=TA,则T是A的多项式.在本文里,以此作为引理,讨论了Banach空间上可逆线性变换A在什么情况下,A-1可表示为A的多项式.本文最主要的结论是定理3.4:设X是Banach空间,A是X上的有界线性变换,且可逆,则A-1是A的多项式当且仅当A-1是A的局部多项式.     

Herstein定理的推广

1955年Herstein将著名的Jacobson定理推广为:定理A.如果对R中任意x,y,存在可依赖于x,y的整系数多项式p(t),使[x-x2p(x),y]=0,则R是交换的.本文利用多项式的系数和定义了n元多项式,f(x1,x2…,xn)的Fk性质,并以此证明了一个环的交换性定理,当n=1时,即得到定理A.     

整系数多项式的哥德巴赫定理

哥德巴赫猜想断定每一个比4大的偶数是两个素数的和、用Z表示整数环,多项式环Z[x]与Z一样是一个唯一分解整环,其中不可约多项式相当于整数中的素数。本文的目的是证明多项式环Z[x]中与哥德巴赫猜想类似的定理。 定理1.在Z[x]中每一个次数n≥1的多项式M可以写成两个不可约n次多项式A与B的和,即     

有限超可解群的几个特征性质(英文)

这篇短文的第一部分给出Hupperl定理:“每极大子群有质数指数的有限群为超可解”的一个不用表示论及Gasohiilz定理的证明。该证明得自 定理1 若有限群G有p~α阶极小正规子群N使G/N为超可解,则或者1)G有极大子群M使G=MN,M∩N=E, 或者2)G有质数阶正规子群。. 在可解时Huppert定理推广为: 定理2 设G为有限可解群。于是G为超可解当且仅当每极大子群在G内的指数不含平方因子。 单群A_5说明本定理的假设“G可解”是必要的。 本文第二部分是Molain定理的推广: 定理3 设h=|H|的最小质因子为p_h,最大质因子为q_h,若有限群G的每子群H对其阶h恒存在指数为p_h及q_h的子群,则G为超可解。 更广泛的结论为: 定理4 有限群G为超可解当且仅当存在G的两个子群链 G=G_0>G_1>G_2>…>G_8>E, G=H_0>H_1>H_2>…>H_8>E,使指数列[G_0:G_1],[G_1:G_2],…,[G_8:E]为从小到大的质数,而[H_0:H_1],[H_1:H_2],…,[H_8:E]为从大到小的质数。     

关于函数光滑性与可微性的注记

本文提供一个反例,以完备文[1]中定理必要性的证明,并给出定理充分性的另外两个证明方法,其中一个是直接的证明方法,另一个是代数多项式逼近的方法。     

拟相似算子的并谱图象与Kato本性谱的连通成分

本文给出拟相似算子并谱图象及其特性。文中推广了[2]的定理1,[3]的定理1.4和对 Fialkow 文[4]中定理3.11给一个新证明,进而给出三个:若 A,B 是拟相似(A～～B),Δ为σ_(?)(A)的一个连通成分,必有Δ∩σ_(?)(B)≠(?)的充要条件。举例说明:若A～～B,则σ_(?)·(A)的每个连通成分可不必与σ_(?)(B)相交。     

Some Characterizations of a Finite Supersolvable Group (in English)

这篇短文的第一部分给出Huppert定理：“每极大子群有质数指数的有限群为超可解”的一个不用表示轮及Gaschutz定理的证明。该证明得自 定理1 若有限群G有p^\alpha阶极小正规子群N使G/N为超可解，则或者1）G有极大子群M使G=MN,M\cap N=E,或者2）G有质数阶正规子群。 在可解时Huppert定理推广为： 定理2 设G为有限可解群。于是G为超可解当且仅当每极大子群在G内的指数不含平方因子。 单群A_5说明本定理的假设“G可解”是必要的。 本文第二部分是Mclain定理的推广： 定理3 设h=|H|的最小质因子为p_h,最大质因子为q_h，若有限群G的每子群H对其阶h恒存在指数为p_h及q_h的子群，则G为超可解。 更广泛的结论为： 定理4 有限群G为超可解当且仅当存在G的两个子群链 $G=G_0>G_1>G_2>\cdots >G_s>E$ $G=H_0>H_1>H_2>\cdots >H_s>E$ 使指数列[G_0:G_1],[G_1:G_2],\cdots,[G_s:E]为从小到大的质数，而[H_0:H_1],[H_1:H_2],\cdots,[H_s:E]为从大到小的质数。     

X_(2π)~p空间中三角多项式算子的饱和性

Nishishiraho首先在C_2π空间研究了当α=1时{T_n}的饱和性,王斯雷指出并修正了[1]在定理证明中的一个错误,余祥明在C_2π空间对于三角多项式算子的高阶饱和情形进行了讨论,指出Nishishiraho的结果是[3]之定理的一个特殊情况,熊静宜将[1]的结果推广到L_2π~p(1≤p<∞)空间.本文则是从如下两个方面推广[1]的结果:一方面,极限式     

一个四边形定理在三维空间的推广

美国数学家R.A.约翰逊在其名著[1]中,介绍了圆内接四边形的一个美妙性质,即定理1设四边形A1A2A3A4内接于圆,△A3A4A1,△A4A1A2,△A1A2A3的垂心分别为H2,H3,H4,则顶点A1是△H2H3H4的垂心.本文拟应用向量方法,将这个定理推广到三维空间的共球有限点集中.为了叙述简便和节省篇幅起     

论筛法及其有关的若干应用——殆素数的分布问题

<正> 本文的宗旨在于证明作者在[1]内所提及的全部结果,现在将本文的强果详述于下:定理1.命 F(x)表一无固定素因子的 k 次既约整值多项式.命(?)此处 w 是适合下面不等式的最小正整数(?)则在叙列{F(x)}中存在无限多个不超过 n 个素数的乘积.例如存在无限多个 x,使 x~3+2的素因子个数(包括相同的与相异的)不多于4.与此相类似,有定理2.设 k 为一正整数,命 n 适合(1)及(2),则当 x 充分大时,区间 x相似文献   

六点图中的根式不可解图

本文对六点图进行了研究,文献[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)不可解.     

一种几何定理机器证明的零维化方法

本文对一类初等几何定理的证明给出了一种机械化方法，利用这种方法，可计算出一个由有限个素理想组成的集合，所有属于假设部分对应的某一扩域上的理想的素理想都在这个集合中出现并且可以挑选出来．因而一个几何定理一般真确，当且仅当终结多项式属于全部的这种素理想，即对其不可约特征列的余式为零．     

初等几何定理机器证明的基本原理

1976与1977之交,我发现了一个初等几何定理证明的机械化方法,见文献[4].这一方法适用于各种无序的但满足 Pascal 公理的初等几何,或各种初等几何中不牵涉次序关系的那类定理.本文§4叙述了这一方法所依据的基本原理并给出了详细证明.在§2与§3中则阐述了基本原理所依赖的关于多项式组的整序理论与代数簇的构造性理论.二者俱源出 Ritt 的著作,见文献[2,3].最后在§5中以 Morley 定理与我所发现的Pascal 锥线定理为例,说明这一方法在计算机上实施的具体情况.     

论谓词演算 S_ε的单纯完全性

<正> 本文是作者前文[1]的继续,记号和术语同[1].在[1]中我们曾证明如下两事实:(i)若演算 S_8~* 具有一个可数的函项 σ 自由 S_ε~* 代数 A,则单纯 S_ε~* 代数 B_0~N 亦是函项 σ 自由的;(ii)若一致公式集 Γ(?)S_ε~* 在一势不大于(?)的集 J 上 σ 可满足则 Γ 在 J 上对 B_0~N 可满足.本文将从根本土改善上述结果,证明如下两定理:     

几何学机械化方法Ⅰ.初等几何

依据多项式组的 Rilt 原理以及0点分解定理, (见[R 1,2]与[WU 4,5]),作者提出了几何学的一种机械化方法。除应用于解高次联立代数方程组外。本文以初等几何为限,指出如何依据这一机械化方法以建立构造性的代数几何学,以及如何应用于几何定理的机器证明与机器发明。在下一文中,将推广这一机械化方法于微分几何。     

一个组合几何命题的重新证明

1 一个几何定理溯源 文献[1]证明了杨路教授提出的如下问题: 定理1 一个平面凸四边形,经过其中三个顶点可作一个圆,这样可得到4个圆(不排除其中有重合).如果这4个圆中有3个是等圆,则此4顶点共圆.     

一道几何题的别证与变式

图1文[1][2][3]中都有如下一道几何题:如图1,△ABC中,E、F分别在边AB、AC上,BF与CE相交于点P,且∠1=∠2=12∠A,求证:BE=CF.文[2]中用共角定理给出证明,方法简洁、巧妙,文[3]中利用三角法结合正弦定理证明线段相等.这两种方法难度都较大,本文拟给出两种学生容易接受的常规证法并证明两个变式.图2证法1如图2,过点B作BG∥CE,过点C作CG∥BE,BG、CG相交于点G,连结GF,则∠4=∠2=∠1=12∠A,∠ACG=180°-∠A,四边形BGCE是平行四边形,∴CG=BE,∵∠FBG+∠FCG=∠1+∠4+∠ACG=12∠A+12∠A+180°-∠A=180°,     

关于正交张量的向量和反称张量表示

§1 引言 1943年,A.Signorini在建立有限变形的协调条件时,首先采用了有限转动张量的向量表示(见[1,2]),虽然有限转动张量的向量表示已经是一个古老的结果,但它的推导方式始终吸引着数学家和物理学家们的兴趣[3-13].有限转动张量只是一般正交张量的特殊情形:行列式等于+1。[14]首先给出了正交张量向量表示的统一推导。其后[15]对推导作了改进,并给出进一步的系统结果。文献[14,15]的推导要点在于应用Laplace恒等式及张量第一不变量的一个公式。本工作将从另一角度给出定理的证明以及一些其它的结果。     

模型论在代数上的应用

给出了模型论在代数上的两个应用,得到了下列定理：定理A：如环R的任何有限生成子环均是局部环,则R是局部环.定理B：存在自然数的真扩张R使其具有下列特征：（1）虽然R有无限多零因子,但R中有无限多零因子,但R中的首1多项式的根的个数可以得到很好的控制.（2）R不仅将自然数的素数特征保留下来,而且还可在其上定义指数函数。