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

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

无限方阵相似性的转移定理

域上的无限方阵是一类不易处理的对象,其困难在于它们之间按通常定义的乘积未必存在,乘积存在时也未必适合结合律,可逆方阵的逆阵未必唯一,以及现在还没有与行列式相应的工具,等等.本文主要讨论行列有限的无限方阵(即每行每列都只含有限个非0元者,以下简称rcf阵),它们反映域(看作自身上的向量空间)的无限直和中的线性变换,有较好的性质.本文从模型论中“紧致性论证”的思路出发,在文献[1]中结果(见定理2)的基础上,证明     

Jordan区域间的同胚和Jordan曲线间的同胚的延拓

我们首先指出下面的 定理1 Jordan区域间的同胚可延拓为闭区域间的同胚的充要条件是可逆一致连续。 定理2 Jordan曲线间的同胚可保向地延拓为区域间的连续可微同胚(因而是局部拟共形映照),其在点z的局部特征具有一个关于边界同胚为显式、关于z为连续的估值子。     

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

本文研究具无限时滞的泛函微分方程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定义     

关于饱和模型的讨论

一阶模型论中,关于可数模型的讨论是一个重要课题。在这方面,对于可数饱和模型的研究已得到了一些意义重要的经典结果。在文献[1]中,Benda定义了比饱和模型的条件要弱一些的几乎饱和模型和满模型的概念,探讨了它们的一些相关性质,证明了如果一个可数语言上     

基本粒子的标准结构和质量计算模型

本文通过对基本粒子的衰变产物、自旋及质量进行全面分析,提出了基本粒子标准结构的假设,并由此建立了一种基本粒子的质量计算方法.利用该计算方法可以对基本粒子质量进行较为准确的计算,对文献记载的73种基本粒子计算表明,78％的基本粒子的计算误差在±2％之内。22％的基本粒子的计算误差在±(2—4)％之间.关键的是提出了一种系统的有关所有强子的质量计算方法。且该方法具有很好的准确度.     

CERN发现的新粒子会让标准模型划上圆满句号吗

正标准模型被认为是目前认识物质世界的最完善的理论。了解标准模型的发展以及所取得的成就有助于深刻认识希格斯粒子发现的重大意义。而标准模型是在亚原子物理的发展中产生、发展和完善的。