关于M_i-空间的两个结果

1961年,J.G.Ceder在文[2]中定义了三类广义度量空间,即M_i-空间,i=1,2,3.他证明M_1(?)M_2(?)M_3,并指出这两个导致是否可逆还不知道.直到1976年,G.Gruen-hage和1978年,H.J.K.Junnila才几乎同时独立地证明了M_3(?)M_2。余下的问题是M_3(?)M_1?这一问题目前只得到部价解答,文[3]中证明了可数的M_3空间是M_1的.稍后,同一作者把这个结果推广为每个σ-离散的M_3空间是M_1的。他实际上证明了下列的     

关于有限p—群自同构群的一个猜想

在本篇短文中,我们证明了定理 设G为p~n阶的非Abel p-群,|G/φ(G)|=p~(?) ,Z(G)是p~(?)阶初等Abel群,r≥n-2/s,则|G|||AutG|.     

挖补定理应用的初探

本文指出了一切扩张中容易发生的一种错误(见[1][2][3][4]):应用集合论知识严格证明了定理:“S是环R的一个子环且环(?)≌S(?)存在环(?)≌R,且(?)是(?)的一个子环”:最后指出,对任何扩张在教学中采用定义的方法是适宜的.     

∫e~(it(|z_(n-1)~m|~2+∑_(j-1)~(n-2)|z_j~m-z_nz_(j+1)|~2g(z)dz∧d之渐近估计

建立了振荡积分渐近性态之奇性指数与(?)-Neumman问题中交换子型边界不变量之间的关系,证明了定理: 与t无关,使得     

一类拟线性椭圆型方程广义解的Hlder连续性

本文证明了下面方程的广义解的H(?)lder连续性.     

四元数体上方阵非异性的判定

本文给出判断四元数体上方阵非异性的几个充分条件,证明了若n阶四元数阵A满足(?)。大于(?)这一条件,则A是一个非异阵。     

Banach空间Volterra型非线性积分方程解的存在性

本文在Barsach空间E中考虑Volterra型非线性积分方程局部解的存在性,通过构造适当的紧子集Ω(?)E和非空、闭的有界凸集(?)为某一区间),应用Schauder不动点定理,证明了文[1]定理5.5.1中条件(A_2)是多余的。     

单峰映象的不变测度与Schr(?)der型方程

本文以单峰映象为例,运用幂展开法获得Schr(?)der型方程的递推级数解。文中详细地证明了逆映象展开的收敛性,反之也证明了Schr(?)der型方程在混沌区的正映象展开的发散性,Frobenius-Perron算子的本征值v=(T_1~(-1)(a))~m的问题获得圆满解决。     

正规弱-空间的Tychonoff乘积性质

证明了如下结果:（1）如果 是|∑|-仿紧空间,则X是正规弱θ-可加空间当且仅当 , 是正规弱(?)-可加空间.（2）设 是可数仿紧的,则下列三条等价:X是正规弱(?)-可加的; 是正规弱(?)-可加的; 是正规弱(?)-可加的.     

闭凸集值测度的判定定理

本文给出了闭集值测度与闭凸集测度的判定定理,并证明了几个闭集值测度。设R~m为m维欧氏空间,以(?)、(?)、co(?)、co(?),co(R~m)分别表示R~m中的闭集、紧集、闭凸集、紧凸集、凸集的全体。对于A(?)R~m ,记     

完全分配格与它的表现

本文通过关系(?)的引入给出了完全分配格的两个表现定理,用新的方法证明了完全分配格的对偶定理。     

Martin公理及其应用(2)

§6.MA与组合集论、无穷图论由于篇幅所限,本文所涉及MA的重要文献仅仅有Erd(?)s和Hajel的文章[30,32],Baumgartner和Hajnal的文章[8].近年来,对于组合集论紧密有关的无穷图论的研究(尤其是着色问题)已有了进展.例如在Shelah的文中[I.48](指本文(I)的[48],下同),给出了MA的一个有趣的推论.C:即有ω_1的某驻T,使得C(T)成立.这里C(T):对每个σ∈lim(T)指定递增序列η_δ→δ,若任给{h_δ∈~w2|δ∈lim(T)},则存在f∈~(w1)2,使得(?)δ∈lim(T)(?)K(?)n>k(f(η_δ(n))=h_δ(n))成立.在C(ω_1)的图论中,任给ω_1上的阶梯着色系{h_δ},每点δ处的序列η_δ的两元着色可以在ω_1上一致.Shelah证明了 C(ω_1)可推出Whitehead问题的否定(§15),在文献[I,48]中证明了(?)TconC(T) GCH).但是Devlin[I,15]却证明了CH(?)(?)C(w_1).与C相似,Reed则提出了一条SP,证明它等价于一个有趣的拓扑结论.另外,若记B为:(?)驻集T(?)ω_(-1),则B_T成立.每个下列形式的图G有色数(?),即G的顶点集为ω_1,每个顶点仅与其有限个前趋元或一个收敛于它的前趋元序列共边(称为HM图),Hajnal,M(?)t(?)证明MA (?)CH(?)B,但◇(T)(?)(?)Br,文[I,48]证明了CH与B_T协调,这正好说明HM图有可数色数是不能判定的.§7.MA与超滤,βω——ω的组合性质     

关于Sperner系矩阵表示的一个注记

令r(n)=max{S((?)):(?)是n-1元集X上的Sperner系},我们证明了:     

关于二阶非线性方程的振动性

1978年,Kamenev[1]证明了由(?)ds_(n-1)…ds_1= ∞可推知线性方程y″ a(t)y=0振动.在本文的定理1中,作者证明了Kamenev的判别法也适用于次线性方程.在定理2,这一个结果被进一步推广到更广泛的非线性方程.     

光学算符法与矩阵法的等效性

本文从光学位置坐标算符和正则动量算符的定义以及理想光学元件的作用算符的幺正性假设出发,根据理想光学元件的矩阵表示导出光学算符(?)的表达式。又指出由(?)的表达式也可以得到相应的矩阵表示,从而证明了光学算符法与矩阵法的等效性。最后说明了光学算符(?)的物理意义。     

Bergman位移与超等距膨胀

证明了每一个算子是超等距可膨胀的充要条件是T≌P_Hs(sum from l=1 to f(?)M_l)|H,而H∈Lat(sum from l=1 to q(?)M_l),M_l是Bergman位移,l≤q≤∞。     

关于丢番都方程的整数解

Jan Mycielski曾提出一类丢番都方程:x~yy~z=z~z,x~(?)y~z-z~y和x~yy~(?)=z~(?)的整数解问题。柯召教授在中证明了当(x,y)>1时,给出这一类丢番都方程含有一个参数的无穷多个整数解,但没有给出全部整数解。本文给出这一类方程含有二个参数的整数解。     

固定设计下半参数回归模型估计的随机加权逼近

考虑固定设计下的半参数回归模型:y_i=x_iβ g(t_i) e_i,i=1,…,n 对利用一般非多数估计法结合最小二乘法得到的参数分量β和误差方差σ~2的估计量(?)_n和(?)_n~2,本文用随机加权法构造了(?)_n和(?)_n~2的随机加权统计量H_(?)_n和H_(?)_n~2,并证明了在给定原样本的条件下,H_β_n和H_((?)_n~2)分别与n~(1/2)((?)_n-β)和n~(1/2)((?)_n~2-σ~2)有相同的渐近分布.     

关于描述计算机科学数学对象的形式系统的无矛盾性问题

本文证明了〔2〕中提出的系统是无矛盾的.空的系统中的所有公式都是可推出公式.本文找到了不可推出公式.将系统中的公式与命题代数的公式对应,可推出公式必对立真公式,而(?)对应的是原始假公式,从而得到(?)是不可推出的,因而系统是非空(无矛盾)的.     

指数Diophantine方程ax+by=cz的例外解

设a,b,C是两两互素的正整数,min(a,b,C)>1.论文证明了:当b(?)1(mod 8),c(?)5(mod 8)且c是素数方幂时,如果ax by=cz有正整数解(x,y,z)=(2,2,r),其中r是大于1的奇数,则该方程的例外解(x,y,z)都满足x=2以及y(?)z(?)1(mod 2).