一些集合的基数

X是集合,令T(X)={ψ:ψ∈X~X∧ψ是双射}。定义X上的等价关系R与S是同类的,且记为R～S,若存在ψ∈T(X)使得     

一类群环R(π■Γ)的G_0和G_1群

对含单位元的右Noether环R,用G_0(R)和G_1(R)分别记Grothendieck群K_0(M_R)和Whitehead群K_1(μ_R),其中(?)_R是由一切有限生成右R模组成的交换范畴(见文献[1])。因此,G_0(R)是由以下生成元和定义关系表现的交换群:对每个M∈M_R有生成元[M],对(?)_R中每个正合序列0→M′→M→M″→0,有定义关系[M]=[M′] [M″]。G_1(R)     

Abel正则语言的毕竟周期性

定义1 (ⅰ).关于么半群M的子集S,P_s表示M上的如下同余:xP_(sy),当且仅当(?)u,v∈M(uxv∈S(?)uyv∈S);(ⅱ).么半群M(有限集合∑生成的自由么半群∑’)的子集s(L)称为M的正则子集(∑上的正则语言),或M的Abel子集(∑上的Abel语言),如果P_s(P_L)指数有限,或商么半群M/P_s(∑~*/P_L)交换。 定义2 令∑为一有限集合,L_1,L_2为∑上的两个语言(即∑~*的两个子集)且     

含非零基座本原环的拟临界环

Jacobson在文献[1]中证明了含非零基座本原环的结构定理:环R是含非零基座S的本原环当且仅当存在除环△上一对对偶空间(M,M′)使得,其中,Ω是M的全线性变换环},(?)(M,M′)是(?)(M,M′)中的所有关于M的秩是有限的线性变换的集合。此后人们又用不同方法证明了这个定理,如文献[2,3]。本文目的是在除环上的向量空间的全线性变换环中引进关于它的子环的拟元的概念,从而得到了含非零基座本原环的拟临界环,并改进了文献[1]中关于含非零基座本原环的结构定理。     

化学结构检索中A-A匹配的新算法及其实现

全结构和子结构检索在计算机辅助的结构解析、分子设计、结构与性能关系研究及化学信息系统等方面,有重要意义。对其方法研究,历久不衰。 结构检索的基本问题是,给定查询结构Q和n个分子M的集合S,S={M_j},要求确定是否存在一个Q的原子结点在M_j上的映射,即Q中相联的原子对在M_j中也相互关联,且相应     

关于球面中极小超曲面的数量曲率的空隙性现象

设M是单位正规球面S~(n+1)中的紧致极小超曲面。关于S~(n+1)中极小超曲面陈省身教授提出了一个著名问题:考虑具有常数数量曲率R的所有的M,将R视为这个集合上的函数,那末这个函数的值域是否是一个正     

一个有关三角多项式的不等式

设N是一个正整数,a_(M 1),a_(M 2),…,a_(M N)是N个任意的复数。现定义S(x)=sum from n=M 1 to M N a_ne(nx),(1)其中e(t)=e~(2πit)。又设x_1,x_2,…,x_R是R个实数,对r≠s,‖x_r-x_s‖≥δ.(2)这里‖θ‖表示θ到最近整数的距离,且0<δ<1/2。     

符号空间中子位移的测度熵与维数

1 定义与结论随着分形几何和动力系统的深入发展,符号动力学已成为研究浑沌和分形的一个有力工具,进一步讨论符号空间的有关分形特征是有用的.本文将给出符号空间中子位移的测度熵与维数的关系,证明Bowen的维数公式在非Markov结构下成立,从而得到关于维数的不变原理.设E={1,…,N},其中N≥2,赋与E以离散拓扑,设积空间∑_N=∏_i~∞=_1E,称∑_N为 n个符号组成的符号空间,它是一个紧致的可度量化空间.设P=(P_1,P_2,…,P_N)满足0相似文献   

M. S. Klamkin问题的推广

M.S.Klamkin证明了欧氏空间E~n中的一个非退化单形的外接球半径R与内切球半径r之间的下列关系:     

Noether环的降链条件

设R是带有单位元的结合环,我们用_R表示R左酉模的范畴。设σ是_R上一个挠根(其定义及性质见文献[1,2],注意文献[2]中称挠根为幂等核函子)。说一个模M是σ-挠的,如果σ(M)=M;说M是σ-挠自由的,如果σ(M)=0。说模M的子模N是M的σ-稠密子模,如果M/N是σ-挠的;说N是M的σ-闭子模,如果M/N是σ-挠自由的。     

关于竞赛图得分集合的Reid猜测

1978年,K.B.Reid猜测:“每个正整数的有限非空集合S都是某竞赛图的得分集合”。并对|S|=1,2,3的情形给出了证明。1984年,M.Hager对|S|=4,5的情形给出了证明。本文的     

异三尖杉酯碱立体异构体的构型研究

前文报道了异三尖杉酯碱的合成,在合成中形成了两个新的手性碳(C_(2′)和C_(3′)),产物应为四个立体异构体的混合物,由于使用的原料是天然光学活性的三尖杉碱(构型为3S,4S,5R),所以,只需要弄清这些立体异构体中侧链上(C_(2′)和Q_(3′)的绝对构型,就可以确定上述四个立体异构体的绝对构型。在四个立体异构体中,有两个立体异构体的C_(2′)和C_(3′)应为赤式关系,构型分别是2′R,3′S和2′S,3′R;而另两个异构体的C_(2′)和Q_(3′)应为苏式关系,构型分别是2′S,3′S和2′R,3′R。     

蕴涵格与Stone表现定理的推广

从R0 _语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R0 _语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理 .     

关于左(右)陪集关系和陪集关系的初探

在离散数学中非常重视研究各种关系,其中包括左(右)陪集关系和陪集关系,然而,往往未作深入探讨,本文试图从关系是有序对的集合这一概念出发,给出左(右)陪集关系和陪集关系的形式定义,以及有关定理,从而揭示     

关于滤环与分次环的Bjrk问题

设R为含单位元的诺特滤环,G(R)为相应分次环.设M为R滤模,gr(M)为相应的分次G(R)模.Bj(?)rk探讨了M为良滤模与gr(M)为有限生成模二者的关系.当R为正滤环且G(R)为诺特环时,M为良滤模的充要条件是gr(M)为有限生成模.但只把对R的限制放宽到Zariski滤环,就难于断定这一结论是否正确了.具体地说,Bj(?)ry的问题如下:设R为Zariski滤环,M是有限生成R模且配备分离滤,则当gr(M)是有限生成G(R)模时,M是否为良滤模?     

一致区域和Zygmund定理

设G是复平面C上的一个区域,且至少含两个点。用表示在G中解析,上连续的函数全体所组成的集合。对于是一个二阶连续模型函数,它在所讨论的区间上都有定义。如果对任意的z_1,z_2∈G及任意点z∈G∩[R(z_1,h)∪R(z_2,h)],下面不等式成立     

不分明拓扑学中的乘积空间与商空间

在文献[1]中,我们引进了以分明点为特例的不分明点的定义;对于不分明点的邻近构造,除了现成的邻域系以及点与集合的一种关系“属于”之外,我们引入了称之为重域系的结构以及点与集合又一种新的关系“重于”;这样在分明拓扑学的名著中有关点的邻近构造及Moore-Smith收敛的第Ⅰ,Ⅱ章的定理,可推广于不分明拓扑学。关于文献[2]第Ⅲ章定理的     

一类广义根环的结构

设R是结合环,对于R的任意元a、b定义“o”乘法aob=a+b-ab,(R,o)是一个含单位元的半群。环R的Jacobson根记作J(R),文中不再重复。一个环R称为广义根环如果(R,o)是它的一些子群的并(半群S是其子群的并是指对于S的任意元素a来说,存在b、e∈S使ae=ea=a,ab=ba=e,e~2=e)。Clark证明了:若环R含主幂等元e     

集合上的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).     

愉快图的Bodendiek猜想之证明

一个简单图称为愉快的,如果存在用集合S={0,1,2,…,ε}(其中ε=ε(G)是G的边数)中不同整数的顶点标号ι,使得如下定义的诱导边标号ι′对每条边uv都有不同的标号: