某些域上无限方阵的2平方和定理

模型论中的紧致性定理,在代数中有不少应用,其主要作用在于沟通某些问题中的有限性条件与无限性条件。Abian证明了一个关于不可数代数闭域上无限方程组可解性的等价条件,也是一种特殊的紧致性结果(另外,它还可看作Hilbert零点定理的一种推广形式,作者在     

关于无限方阵的Jordan标准形

本文讨论在任一不可数代数闭域上及任一有限域上把某些无限方阵化为Jordan标准形的问题.所用的方法主要是沟通有限方阵与无限方阵的紧致性论证,其根据是文献[1]中的结果及模型论中的紧致性定理.本文中设F为一不可数代数闭域或有限域.对F上的无限方阵A附加某些条件(见定理1～3),证明这些A可以在一种弱意义下相似于Jordan标准形或对角形(关于“弱意义”的含意,见定理1后面的说明).定义1 设A为F上的无限方阵.如果A的每一行都只含有限个非0元,称A为行有限的(这样的A,可用以左乘F上的任何无限方阵).仿此定义列有限性.定义2 设B=(b_(ij))为F上的无限方阵.如果B适合:诸b_(ii)相等,诸b_(ii+1)均为1,其他b_(ij)均为零,则称B为一无限Jordan块.     

生命科学与社会科学的一组相似性

章初步比较了生命系统、科学系统、社会系统、语言系统之间在结构与功能方面的相似性，发现这些系统在信息的构成和编码、群体的社会组织及行为、群体与背景的相互关系等方面的相似性，为社会科学的研究提供一些线索．     

Banach空间中星形映照的增长定理与1/4-定理

本文给出了一般Banach空间中单位球上正规化双全纯星形映照的增长定理和1/4-定理,补充并完善了文献[1—3]的结果。 设X是Banach空间,是X中单位球。如果存在一个有界线性映照Df(x):X→X使     

无限可分的M集

两千多年前庄子论道：＂一尺之棰,日取其半,万世不竭＂,是说原有一尺长的木棒,若每天从其上切取一半,将世世代代切取不完。这是无限可分的思想,品味起来挺有意思,可真操作起来却不容易。别说古代了,就现在的科学技术,     

Chaitin复杂度的极限定理

一、极限定理的阐述设为有限字母表,记A~n(或A~∞)~~     

关于无限时滞泛函微分方程解的一致有界性

本文研究具无限时滞的泛函微分方程x~τ=f(t,x_τ) (1)其中x∈R~n,f:[O,∞)×C_g→R~n,C_g为(1)式的相空间,其定义如下:C=(?)((-∞,O],R~n)表示由(-∞,O]到R~n的连续向量函数的全体.函数g:(-∞,O]→[1,∞)连续且非增,并满足g(O)=1,g(-∞)=∞.C_g={(?)∈C|(?)/g一致连续,且sup|(?)(s)|/g(s)<∞}.s≤O对于(?)∈C_g定义     

Noether定理的一个推广

设C是复数域(?)上的亏格大于2的光滑代数曲线,K是C的典则线丛.我们有下面熟知的Noether定理,如果C不是超椭圆曲线,则映射S~pH~0(c,k)→H~0(C,pK)对所有正整数P都是满射.     

关于Herz空间的嵌入定理

设00.记(?)_q~(α,p)(R~n)和(?)_q~(α,p)(R~n)分别齐次和非齐次的Herz空间(见文献[1]).伴随Herz空间的Hardy空间被定义为H(?)_q~(α,p)(R~n)={f:Gf∈(?)_q~(α,p)(R~n)}(1)和HK_q~(α,p)(R~n)={f:Gf∈K_q~(α,p)(R~n)}(2)其中Gf为f的Grand极大函数,并规定     

基于4D图形表示的DNA序列相似性分析

在Z曲线的基础上提出了一种新的DNA序列4D图形表示方法. 该方法具有与Z曲线相似的生物学意义, 而且还避免了信息的丢失. 利用DNA序列4D图形的几何中心作为序列分析的特征数值, 对11个物种的β-球蛋白基因的第一个外显子进行相似性分析, 得到了较好的结果.     

正则形式的Noether定理及其应用

经典Noether定理是用Lagrange变量给出的。奇异拉氏量系统(包括所有规范理论)是约束Hamilton系统。本文导出该系统用正则变量表叙的Noether定理,这有助于分析系统的Dirac约束。考虑二阶奇     

相似性组织条件下复合图形加工的事件相关电位研究

视觉信息加工的核心问题之一是整体性质和局部性质的关系问题.特征分析思想认为视觉系统首先加工图象的局部性质,然后才加工其整体性质.与此相反,Navon根据被试对复合刺激中大图形较快的反应速度以及大图形对小图形较强的干扰作用提出了大范围优先性理论,认为大范围整体性质的处理早于局部性质的处理,这对特征分析思想提出了有力的挑战.但后来的研究者在不同的条件下既观察到复合图形中大刺激的加工优势,也观察到小     

连续模的控制及量化定理

本文主要讨论紧度量空间(X,d)上线性算子的量化逼近定理.这方面的研究工作起始于Mamedov等在50年代末的一系列文章之后,1964年Newman和Shapiro对Menger引进的距离凸空间,80年代Pozo对他引入的具凹形变系数的紧度量空间分别建立了类似的量化定理.以上工作中起关键作用的是连续模的下述性质:ω(f,λω)≤(1+λδ)ω(f,ε)(这里δ指凹形变系数,对距离凸空间有δ=1)而对一般的紧度量空间,连续模不满足这个性质.为此,本文将引入连续模的一种新的控制函数(?)(f,ε),并由此建立了一般紧度量空间上的量化逼近定理.这种控制函数满足ω(f,ε)≤(?)(f,ε)及(?)(f,λε)≤(1+δλ)(?)(f,ε),并且在下述意义下是最佳的,即对于单调函数g(f,ε),如果满足ω(f,ε)≤g(f,ε)及(f,λε)及g(f,λε)≤(1+λδ)g(f,ε),则有(?)(f,ε)≤g(f,ε).     

强群分次环中的Clifford定理

设1∈G是群,1∈A是强G分次环。1在A_1=A_gA_(g-1)(g∈G)中有分解式 命题1 (Clifford定理) 若G有限,V为单左A模。则V是有限生成的半单A_1模。令W是V的单A_1子模,则V的单直因子A_1-同构于W的共轭{A_G(?)W|g∈C},且有A_1同构(e为某自然数)     

Hilbert零点定理的推广

在文献[1]中,Abian证明了: 定理A(Abian) 设C为复数域,P=C[x_0,x_1,…,x_E,…]为C上的多项式环,其中x_0,x_1,…,x_E,…为C上的一组不相关不定元,其个数不超过C的基数|C|。设Π是P的一个子集,其基数|Π小于|C|。如果Π中任意有限个多项式都在C中有公共零点,则Π中全     

经典的Holladay-Varga定理的极图的完全刻画

近半个世纪来 ,Ｈｏｌｌａｄａｙ -Ｖａｒｇａ定理 (即ｄ个环点的ｎ阶本原有向图的指数均≤ 2ｎ -ｄ - 1)一直是被广泛引用的著名结果 .而刻画一些极值指数的图一直是很受关注的课题 .本文完全刻画Ｈｏｌｌａｄａｙ -Ｖａｒｇａ定理最大极值的图———极图 .　　ｎ阶非负矩阵Ａ称为本原矩阵 ,如果存在某个自然数ｋ使Ａｋ>0 ,这样的自然数中的最小者称为Ａ的本原指数 ,记作γ(Ａ) .Ｄ为ｎ阶有向图 ,若存在自然数ｋ ,当自然数ｍ≥ｋ时 ,Ｄ的任意两点ｕ ,ｖ有一条长为ｍ的ｕ至ｖ的有向通道(通道允许经过一点多次 ) ,且存在两点之间没有长为ｋ -…     

张量代数的外齐次化与PBW定理

设S=(?)S_n一是-Z分次环,X是S的中心中一个次为1的正则齐次元.那么下列结论成立:(a)Sr的商环A=S/(1—X)S是一个滤过环,A上的滤(升)链定义为F_nA=S_n (1—X)S/(1—X)S,n∈Z;(b)与A相关联的分次环G(A)=(?)F_nA/F_(n-1)A与 S/XS之间有一个显然的分次环同构;(c)A的Rees环(?)=(?)F_nA与S之间有一个显然的分次环同构.设R=(?)R_n是一个Z-分次环,那么R的外齐次化是R上的多项式环S=R[t]但此对S具有“混合分次”:S_n={sum from i j=n to (α_it~j),α_i∈R_i},n∈Z.显然t是S中的一个次为1的中心正则齐次元,但此时S的商环A=S/(1-t)S作为滤过环同构于R,这里R具有(升)滤链F_nR=(?)R_i,n∈Z,G(A)(?)R(作为分