可结合的BCI代数

1966年由Imai及井关清志一起引进了BCK代数,即有下列:定义1 设X是具有一个二元运算*和一个常元0的一个集。那末X被称为一个BCK代数,是指它满足下列条件:(Ⅰ)(x*y)*(x*z)≤z*y;(Ⅱ)x*(x*y)≤y;(Ⅲ)x≤x;(Ⅳ)0≤x;(Ⅴ)x≤y,y≤xx=y;(Ⅵ)x≤yx*y=0。日本、斯里兰卡等国许多数学家,从事对这种代数系的研究,写出了大量的论文,得到了很多结果(文献[1])。本文要用到BCK代数的下列两个性质:     

菲尔兹奖与20世纪数学(三)

代数几何学的对象原来是欧氏平面上的代数曲线,即由多项式P(x,y)=0定义的轨迹,以及3维欧氏空间中的代数曲线和曲面.后来推广成高维欧氏空间中的代数簇,即由多项式方程组Pi(x1,x2,…,xn)=0(i=1,2,…,k)定义的n维欧氏空间中的公共零点.从这个意义上讲,它是最古老的数学分支,20世纪下半叶,在抽象代数学和代数拓扑学的推动下,代数几何学获得飞速发展,成为数学中最活跃的领域之一.     

Fuzzy拓扑代数及局部乘法凸Fuzzy拓扑代数

定义 设X是数域K上的代数,(X,T)是如Lowen定义的Fuzzy拓扑空间,若对任何a,b∈X映射f:(x,y)→x y,g:(k,x)→kx,h_a:y→ay,h~b:xb(x,y∈X,k∈K)均是Fuzzy连续的(其中     

Heisenberg群上二阶横截双曲型左不变LPDO的局部可解性——非离散现象

一、引言 在实解析流形R~n×R~n×R上引进下列群运算:(x,y,t)·(x′,y′,t′)=(x+x,y+y,t+t′+2(y·x′—x·y′)),(?)(x,y,t)和(x′,y′,t′)∈R~n×R~n×R,这样就得到了一个2n+1维单连通幂零Lie群,称之为Heisenberg群,记作H_n。该Lie群有很重要的物理、几何和分析学背景。关于该群的性质及相关概念,请参看文献[1,2]。     

一类三次系统的中心条件和极限环分支

考虑平面三次系统(?)=y P_2(x,y) P_3(x,y),(?)=-x Q_2(x,y)十Q_3(x,y),(1)其中P_i,Q_i是次数为i的齐次多项式,在P_i,Q_i的系数扰动下原点为中心的条件或者原点作为细焦点的阶数,对Hilbert第16个问题的解决有重要意义.经典的Lyapunov方法和Poincare方法从理论上阐述了焦点量的计算,但若具体地手算,只能得到简单情形下的焦点量,于是建立一种适合计算机上使用的算法是很有必要的.Lyapunov经典方法是采用V函数形式级数法,作形式级数V(x,y)=1/2(x~2 y~2) sum from n=3 to ∞(V_n=1/2(x~2 y~2)) sum from n=3 to ∞×sum from i=0 to n(V_(n,i)(x~(n-i)y~i))其中V_n是x,y的n次齐次多项式,V_n中的系数待定,使之满足dV/dt(?)(1)≡0,如果该级数收敛,则奇点O就是中心 在V_n的递推计算中为适合计算机处理,应用吴方法思想,得到以下几个递推公式:     

Diophantus方程x2+2m=yn

设Z,N,Q分别是全体整数,正整数以及有理数的集合.数论和组合论中的很多问题都与指数型Diophantus方程x~2 2~m=y~n,x,y,m,n∈N,2(?)y,n>2的解(x,y,m,n)有关.近五十年来,Ljunggren,Nagell,Brown,Toyoizumi和Cohn等人都曾对此有过很多工作.1986年,文献[1]宣布已经找出了方程(1)的全部解,但是迄今没有见到该结果的证明.因此方程(1)的求解仍是个尚未解决的问题本文运用Baker方法证明了:定理 方程(1)没有适合2|m以及m>2的解(x,y m,n).由于文献[2]运用代数数论方法证明了:方程(1)仅有解(x,y,m,n)=(5,3,1,3)和(7,3,5,4)适合2(?)m;文献[3]用初等数论方法证明了:方程(1)仅有解(x,y,m,n)=(11,5,2,3)适合m=2.因此综合上述结果即可确定方程(1)的全部解.推论 方程(1)仅有解(x,y,m,n)=(5,3,1,3),(7,3,5,4)和(11,5,2,3).     

关于Turán一个问题在L~p尺度下的解答

涉及到代数多项式的Markov不等式的改进和推广,P.Turán曾问:若有n次代数多项式f(x)满足条件|f(x)|≤1-x~2~(1/2),则对可说些什么?Q.I.Rahman证明对此类多项式f(x)成立本文考虑在L~p尺度下建立相应的结果。     

一点代数几何码的伴随式序列与大数表决方案

Feng和Rao开创性地运用大数表决方案于一点代数几何码的译码问题,使译码距离达到Goppa设计距离的一半。这大大推动了代数几何码译码问题的研究。随后,出现了各种应用大数表决方案的译码算法。Sakata等人应用推广的Berlekamp-Massey算法对一点代数几何码也给出了一个应用大数表决方案的译码算法。     

多复变中的强开性猜想和L2解析延拓问题

正乘子理想层是多次调和函数奇点的不变量,在多复变和复几何中扮演了重要角色.关启安和周向宇院士合作证明了Demailly提出的关于乘子理想层的强开性猜想,被美国数学评论(MathematicalReviews)称为"近年来复分析和代数几何交叉领域最重大的成就之一".作为应用,关启安和周向宇院士合作证明了Demailly-Ein-Lazarsfeld、BoucksomFavre-Jonsson、Demailly-Kollár和Jonsson-Musta?ǎ等提出的多个猜想.     

形如<(?)·(?)>的-正则半群簇

<正>称半群S为~*-正则半群,如果有一个映射*:S→S,x|→x~*,使得下面等式成立:x=xx~*x,(x~*)~*=x,(xy)~*=y~*x~*,(?)_x,y∈S.记R~*为全体~*-正则半群构成的类,则作为(2,1)型泛代数,R~*被以下等式所确定:     

数学进步:数学教育改革的动力

新春伊始,<高中数学课程标准(实验稿)>正式发布.中学数学课程内容变动之大,令人着实感到:"数学变了,中学数学课程也变了!"有人会问,数学会变吗?1+1总归等于2,还能变成3吗?数学课程能变吗?除了代数、几何、三角,还能有什么?确实,数学万变不离其宗,其反映的客观数量关系不会改变.     

周期系数Riccati方程之周期解

考虑周期系数Riccati方程 dy/dx=A(x)y~2+B(x)y+c(x),(1)其中,A(x)、B(x)、C(x)是以2π为周期的周期函数。 设特征方程 F(y,x)=A(x)y~2+B(x)y+C(x)     

二重Fourier级数的M-型(H,q)求和

用L(Q)表示在Q={(x,y)|-π≤x,y<π}上可和,且对每个变元都以2π为周期的函数类。L(Q)中函数f(x,y)的二重Fourier部分和记为S_(f,k)(f;x,y)(j,k=0,1,2,…)。对于序列{S_(k,k_(f;x,y)}(?)=0的线性求和问题是 Marcinkiewicz 1939     

关于x+y_2→xy+y反应的速率常数的计算

体系的过渡态是直线型的,有效势能为 l为转动量子数,M_1和M_2分别是y原子和 x原子的质量,r_1和r_2分别是y原子间及x与较近的一个y原子间的距离,体系对于质     

Bezier曲线及其计算机绘图方法研究

Ｂｅｚｉｅｒ方法是计算机辅助几何设计中重要的方法之一，本文研究了Ｂｅｚｉｅｒ曲线的几何性质，绘图的数学原理和方法。所得结果与理论分析完全一致。最后，我们使用代数方法完成了绘图定理的证明。     

二阶混合型方程的广义Tricomi问题

1.问题的提出 在区域■(=■~ U■~-)中考虑混合型方程 Lw≡k(x,y)w_(xx) w_(yy) α(x,y)w_x β(x,y)w_y γ(x,y)w=f(x,y),(1)其中函数k(x,y)满足条件:yk>0当y≠0,k(x,0)=0,k∈C~1((?)),α,β,γ∈C((?)),f∈L_2((?))。(?)~ 的外边界是一条逐段光滑曲线Γ_0,两端和蜕型线上A,B点相连接,(?)~-的     

Banach空间的一类新特征函数

对于Banach空间X的每一点x,令其对应一个确定的f_x∈S(X~*),满足f_x(x)=||x||;并约定对任何a>0,f_(ax)=f_x。其中X~*是X的共扼空间,S(X~*)是X~*的单位球球面、考虑定义于[O,∞)的t的实函数f_(x十ty)(x)和f-(x十ty)(y)。空间X的许多几何性质可由这类函数的相应性质刻划。     

正定积分算子的本征值

设Ω=(0,1)×(0,1),K∈L~2(Ω),T是由下式定义的积分算子 Tf(x)=integral from 0 to 1 (x,y)f(y)dy。我们称算子T及其核K(x,y)是正定的,指并且对所有f∈L~2(0,1)有算子丁的本征值λ_n是大家感兴趣的。H.weyl(参     

关于具有极小单侧理想的本原局部凸F代数的两个定理

设(E,F,<·,·>)是对偶向量空间。在张量积EF上可定义乘法如下:对x,y∈E和u,v∈F令(xu)(yv)=xv。再利用分配律将其扩充到整个EF上,则EF成为结合代数。设E和F是局部凸空间,并且EF′,FE′,设EF     

光学衍射变换

人们对光衍射的研究由来已久,通常人们所关心的主要是正衍射问题,即利用已知的入射场u(x,y)求出衍射场(?)((?),(?))(注:这里(x,y)和((?),(?))分别代表入射平面和观察平