2维de Bruijn-Good图的同态

令m,n是正整数,F_2是由0和1两个元素组成的有限域,F_2上的2维(m,n)阶deBruijn-Good图是一有向图,它的顶点集合V由F_2上的m×n阵组成,即 它的弧集合由下面的2个集合E_1和E_2组成:     

关于数学结构的一些元数学定理

定义1 设S是个体集合,R是S上的一些关系的集合,M(S,R)由R和S所组成。如果它的公理可在一阶语言L中表述,并使得对任何可在M中定义的n元关系A和M中的     

关于曲率的一些定理

设M为n(≥2)维C~∞流形,N为它的p(≤n)维子流形;为M上的光滑函数环,为M上C~∞向量场所生成的Lie代数;为M上的一次外微分形式的全体,又以表示M上所有的仿射联络;设M上点m的局部坐标系为{x~i),在此坐标系下,点m处的切空间T_m的坐标基向量场为,对偶空间T_m~*的基场为{dx~i)。有时,我们还假定在流形M上有     

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

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

S~(n_1)×S~(n_2)上实向量的Stiefel-Whitney类及带有对合不动点集为US~(n_1)×S~(n_2)的流形

设m,n为正整数,m≥n;Φ为集合{1,2,4,8};η~m为s~n上的m维实向量丛,W_i(η~m)为η~m的第i阶Stiefel-Whitney类。文献[1]证明了,存在η~m使W_n(η~m)(?)0的充要条件为,n∈Φ;文献[2]确定了带有     

有序树的一个计数问题

在先前的一篇文章里,我们得到了下述结果:令Ω_(m,n)为具m个内点、n个叶子的有序树所成的集合,并令O_(m,n)=|Ω_(m,n)|,则对所有m,n≥1,有     

有单位元的p~4阶结合环

本文中,“环”总是指结合环,记号R(n)表示所有两两互不同构的n阶环所成的集合,这里n是一个自然数。因为一个有限环能够唯一地表作素数幂阶的环的直和,所以有限环的分类问题就归结为决定集合R(p~m),其中p为素数,m为自然数。     

关于Einstein λ变换与Einstein张量的不变性

设M为n(≥2)维C~∞流形,g,即<,>,为M上的非奇异度量张量场.若以D表示M上所有的仿射联络,则对每一联络D∈D,在M上就有一种几何(M,g,D);又以F表示M上的C~∞函数环,以X表示M上的C~∞向量场所生成的Lie代数,且以记M上的一次外微分形式的全体.令{x~i}为M上点m的局部坐标系,则其相应的坐标基向量场为,其对偶基为{dx~i},由于M上具有度量,故在切空间T_m处还存在么正基场{Z_i},令其对偶基为{Z~i}(i=1,…,n)。     

关于不是多项式平方和的半正定型

以P_(n, 2m)表示n元2m次实系数半正定齐次多项式(或叫半正定型)全体,以Σ_(n, 2m)表示集合P_(n, 2m)中可以表成实系数多项式平方和的那些半正定型全体。早在1888年,Hilbert就发现只有当(n,2m)=(n,2),(2,2m)和(3,4)的时候,才有Σ_(n, 2m)=P_(n, 2m)。否则,便     

不可定向紧致C~∞ Riemann流形上的Laplace算子△的特征值

设(M,g)=(M,<,>)为可定向紧致C~∞Riemann流形,∧~kM为M上所有C~∞k形式的集合,令     

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为∑上的两个语言(即∑~*的两个子集)且     

关于伪球面上子流形的高斯映照

设M是一个n维黎曼流形,最近,陈成平证得:等距浸入f:却的高斯映照g:是调和的,当且仅当f是极小浸入,这里S~(n p)是(n p)维球面,G_(n 1,p)是Grassmann流形。彭家贵未加证明地指出,对于伪球面上子流形的高斯映照,类似的命题也成立。本文证实了这个猜测。设H~(n p)是(n p)维伪球面,Q表示H~(n p)中一切n维全测地子空间的集合,设f:是一     

调和映射与完全测地映射

设M和N分别是m维和n维Riemann流形,对于正交协标架它们有度量F:M→N是可微分映射,则有     

中医专家系统设计的一个具有启发性的数学模型

设X=(x_1,x_2,…,x_n)为n 个症状(或体征,为方便计,以下统称为症状)的向量.各分量用0或1赋值,即x_j={1,若第j 个症状出现, 0,其他情况,j=1,2,…,n.又设U={X}是症状向量的集合,它一共有2~n 小元素.令S_(?)(i=1,2,…,m)表示m 个证     

t可约m×n 二部分竞赛图的得分表偶

设(X,Y)是m×n 二部分竞赛图T_(m,n)的顶点集合V(T_(m,n))的有序分划,其中X=(x_1,x_2,…,x_m},Y={y_1,y_2,…,y_n},x_i、y_j 在T_(m,n)中的得分分别为a_i、b_j,l≤i≤m,l≤j≤(?),且a_1≤a_2≤…≤a_m,b_1≤b_2≤…≤b_n.记A=(a_1,a_2,…,a_m),B=(b_1,b_2,…,b_n),则T_(m,n)     

四伪币问题

设S是n个硬币的集合.已经其中有m个伪币,真币与伪币各有不同的重量,并已知伪币比真币重.利用一架无法码的天平通过若干次秤取去查找所有的伪币,问最少需要多少秤?记这个最少的秤数为g_m(n).大家熟知     

关于函数的增长性

本文的目的是给出一个方法,用它可以根据以上几个不等式来研究,当r经过某些集合中的值趋于∞时,log M(r)/T(r),M(r)/A(r),M(r)/m(r)及rM~1(r)/M(r)的渐近性质。我们的方法是根据下列定理:定理1 设f(x),r(t),δ(y)及φ(y)为四个满足下列条件的函数:     

非紧流形上扩散过程的谱空隙

设(M,g)是d维完备Riemann流形,Ric≥-Kg,K∈R.分别以dx及ρ(x,y)记M上的Riemann体积元和Riemann距离.考虑对称算子L=△+(?)V,V∈C~2(M)满足 Z=integral from n=m to o(e~vdx<∞).则L扩散过程可逆,可逆测度为μ(dx)=Z~(-1)e~vdx.熟知,L扩散过程的指数L~2收敛等价于谱空隙不等式     

超几何分布的一个逼近定理

设超几何分布为:H=H(m,n,M,N)=C_M~mC_(N-M)~(n-m)/C_N~n,相应的Poisson分布为:本文指出,用P作为H的近似值的误差是:     

{0,1,3}精确群结构

对于有限集合Ω上的置换群G,我们用θ表示置换的特征,用g表示|G|,n表示|Ω|。设L是一些小于n-1的非负整数的集合。称群G为一个L群,是指对于G的任