镶成右凸语言并、交、连结的超码与右凸语言幺半群的自由性

设X为有限字母表,X~*为X生成的自由幺半群。X~*的子集称为X上的语言,X~*的元素称为X上的字,X~*的恒等元1称为X上的空字,X~+=X~*-{1}。很多作者认为X~*上的嵌入序≤是一个十分重要的偏序: x≤y当且仅当x=x_1x_2…x_n,y=y_1x_1y_2x_2…y_nx_ny_(n+1)。围绕嵌入序定义了若干类语言:     

集合上的Yang-Baxter方程的又一个解与“群上的亚同态”

1 集合上的Yang-Baxter方程的又一个解关于集合X上的Yang-Baxter方程R_12R_13R_23=R_23R_13R_12(1)的解R,Drinfeld指出目前只有两个例子.一个是Lyubashenko提供的:R(x,y)=(S(x),T(y)),x,y∈X是方程(1)的解的充要条件是ST=TS.另一个例子是Venkor提供的:记“°”是集合X上的运算,则R(x,y)=(x,x°y),x,y∈X是方程(1)的解的充要条件是:x°(y°z)=(x°y)°(x°z).     

广义序同态的特征性质与扩张定理的一个逆定理

设L为完备格,在L上定义关系如下:xy当且仅当xL,y≤supX时,存在 x~*∈X使x≤X~*z,记↓x={y∈L:yx}与↑x={y∈L:xy},如果xx,则称x为L的完全并素元,PO(L)表示L     

2~n+2阶Mendelsohn三元系大集的构造

设X是一个v元集(v≥3)。X的一个循环三元组是由三个有序对(x,y),(y,z),(z,x)组成的一个集,其中x,y,z是X的不同元。我们记它为〈x,y,z〉或〈y,z,x〉或〈z,x,y〉。X上的一个Mendelsohn三元系是一个对子(X,B),其中B由X的若干循环三元组构成,使得X的每个(由不同元组成的)有序对恰在B的一个循环三元组中。我们记它为MTS(v)。已经知道MTS(v)存在当且仅当v≡0或1(mod3),v≥3 v≠6。如果     

用相位确定信号的一个问题

设x(n)和y(n)是两个实数列,其中n取值0,1,2,…,它们的Z变换分别为 X(z)=sum from n=0 to ∞ x(n)z~n,y(z)=sum from n=0 to ∞ y(n)z~n。若x(z)和Y(z)在|z|≤1上解析,于是当ω∈[-π,π)时有 X(e~(iω))=|X(e~(iω))|e~(iω)x~(ω),Y(e~(iω))=|Y(e~(iω))|e~(iθ)y~(ω),这里θ_x(ω)和θ_y(ω)分别称为x(n)和y(n)的相位谱。现在的问题是如果θ_x(ω)=θ_y(ω),则x(n)和y(n)应有怎样的关系?Oppenheim等在文献[1]中得到一些结果,主要的是下面的     

互不相交的transitive三元系大集

设X是一个v元集(v≥3)。X的一个transitive三元组是三个有序对(x,y),(y,z),(x,z)的集,其中x,y,z是x的相异元,通常将此三元组记为(x,y,z)。一个transitive三元系指的是一个有序对(X,％),其中％是X的一些transitive三元组的集     

关于积分∫f(x,Nx)dx带准确余项的渐近展开公式

设r是一个正整数.假定二维区域(0≤x≤1,—∞相似文献   

线性时变离散大系统的稳定性

引理1 若矩阵B≥0且x(k 1)与y(k 1)分别是x(k 1)≤Bx(k),y(k 1)=By(k)的解,又x(0)=y(0),则对于任意的k=0,1,…都有     

连续自映射——Ω爆炸

1.设(X,d)为紧致度量空间。用C~0(X,X)表全体X上连续自映射的集合并赋以C~0拓扑(一致收敛拓扑)。设f∈C~0(X,X)和任给ε>0。设x,y∈X。从x到y的一个ε链是指有限序列{x_0,…,x_n},使得x_0=x,x_n=y且d(f(x_(i-1)),x_i)<ε,i=1,2,…,n。用CR_ε(x)表X的这样的子集,使得y∈CR_ε(x)当且仅当存在从x到y的ε链。当y∈CR_ε(x)     

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

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

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

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

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群上的限制定理

本文将研究乘积Heisenberg群H~n,H~n=H_1×…×H_1是n个三维Heisenberg群的直积.H~n中的元素记为(z,t),这里z∈C~n,t∈R~n,有时我们也使用坐标(x,y,t)∈R~(2N)×R~n,这里z=x+iy.H~n的乘法定义为:对(z,t).(ζ,s)∈H~n(z,t)(ζ,s)=(z+ζ,τ),其中τ_j=t_j+s_j+1/2 Imz_j(?)_j(1≤j≤n).H_1是Ⅰ型群,H~n的所有不可约酉表示都可以通过取H_1上不可约酉表示的张量积得到.     

关于一类Siegel E-函数的丢番图不等式

以Q记有理数域,Z记有理整数环,K=Q或Q~(-d)(1/2))(d是无平方因子的自然数),K~*记K中代数整数环,C记复数域.对z∈C,记z′=max(1,|z|),‖z‖=(?)|z y|。关于Siegel E-函数的定义见文献[1],以下简称E-函数。又定义E_1函数如下:     

关于丢番图方程x~3+y~3+z~3=n

一个引人注目的丢番图方程是 x~3+y~3+z~3=n, (1)当n=a~3时,有解x=t, y=-t, z=a; x=9at~4, y=3at-9at~4, z=a-9at~3;当     

关于代数函数的唯一和确定问题

本文给出代数函数的唯一性定理: 定理1 假定w(z)和(z)分别是v值和u值代数函数,并且u≤v,如果存在α_0,α_1,…,α_v,c_1,…,C_v∈,两两不同,以及z_1,(l=1,…,v):D(z_1,…,z_v)≠0,使得E_j=E(α_j,w)=E(α_j,)(j=0,1,…,v)和w_(pl)(z_1)=(?)_(ql)(z_1)=‘c_l(l=1,     

椭圆型Monge-Ampere方程解的正则性

设Ω是x-y平面上的有界区域,我们研究椭圆型Monge-Ampere方程 Ar+2Bs+Ct+(rt-s~2)=E(1)的解z=z(x,y)的正则性。其中系数A,B,C和E是x,y,z,p,q的已知函数。p=z_x,q=z_y;r=z_(xx),s=z_(xy),t=z_(yy)。并假设函数A,B,C和E满足假设(A):     

关于U统计量的Berry-Esseen不等式的推广

设{X_n)是独立同分布随机变量序列,共同的分布函数为F(x)。φ(x,y)是二元对称函数,满足Eφ(X_1,X_2)=0。定义U统计量假设g(x)是任意满足下列条件的函数:(ⅰ)非负、偶,在区间x>0中不减;(ⅱ)x/g(x)在区间x>0中也不减。定理1 如果对由(1)式定义的U统计量,     

一个简单信源网络的编码定理

x,y是两个有限集,(X,Y)是取值x×y的联合随机变量.给定一个相关离散平稳无记忆信源{(X_v Y_y)}_(t-1)~∞,即一列独立同分布的随机变量,(X_t,Y_t)取值于x×y,且与(X,Y)同分布.R表示非负实数集合.给定两个有限集X_0,X_1,及相应的率失真度量d_i:X×X_i→R~ ,i=0,1.我们研究的简单信源网络的通讯模型框图如图1:向量(R_1,R_2,D_0D_1)∈(R~ )称为可达的,如果对任     

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的许多几何性质可由这类函数的相应性质刻划。