两个非线性方程的准确解

借助于计算机代数系统Ｍａｔｈｅｍａｔｉｃａ利用直接代数方法获得了两个有数学物理意义的非线性耗散－色散方程的准确解，这种方法也适用于高维非线性方程。     

多项式理想准素分解的算法

讨论了多项式理想准素分解的算法,对于理想坐标变换中关键的“一般位置”的计算,给出了一个确定算法,并建立了特别规范Groebner基的概念,利用这一概念及文中提供的相应算法,可以方便地计算理想的维数,进而使用降维的方法来得到高维理想的准素分解。     

ON THE APPROXIMATELY SIMILARITY OF OPERATORS

1.IntroductionInwhatfollows,allofHilbertspacesappearedinthispaperareinfinite-dimensionalseparablecomplexHilbertspace.IfHisaHilbertspace,thenC(n)denotestheC*--algebraofallboundedlinearoperatorsonHandK(H)denotesthesetofcompactoperatorsonn.TwooperatorsSandTarecalledapproximatelyequivalentifthereisasequenc{Un}ofunitaryoperatorssuchthatlIU:SUn--Tll-0(n-- co).SimilarlytwooperatosSandTareapproximatelysimilarifthereisasequence{Vn}ofinvertibleoperatorswithsup(llVn11,11VJ'11)相似文献   

基本群在覆盖流形与球面的积空间上的作用

Heitsch在[1]中给出了一些特殊的群作用,并提出了这样的问题:1)与这些群作用相结合的C-代数有何性质?2)相应C-代数与叶状结构有何关系?本文就此进行部分讨论。1 在S~(2k-1)上的群作用     

C^＊—模理论的若干结果

本文把代数结构与分析体系结合起来，运用同调的方法，较系统地确定了A上C^*－模的部分理论，这里A为复数域C上的交换C^*－代数。即不仅定义了与C^*－模有关的某些新概念，而且还得到了有关C^*－模的若干结果。     

快速多极边界元法解的存在唯一性

本对求解3维弹性摩擦接触问题的快速多极边界元法(FM—BEM)在数学理论上作了深入探讨．首先，利用向量和子空间理论找出快速优化广义极小残余算法(GMRES(m))求解边界元方程组所满足的代数条件．使对工程用FM—BEM解的研究转化为对代数问题的讨论，然后．分三步证明了FM-BEM解的存在唯一性，为FM-BEM求解弹性摩擦接触工程问题提供强有力的数学支撑．     

高等代数与解析几何一体化教学思考

本探讨了高等代数与解析几何进行一体化教学的必要性，研究了高等代数与解析几何进行一体化教学以后教学内容的协调性与教学手段的合理性，强调了数学实验在高等代数与解析几何一体化教学中的重要性。     

无原子布氏代数理论的计算复杂性

研究无原子布氏代数的计算复杂性 .得到了下面的新定理 :定理 1　无原子布氏代数理论Δ具有完全的量词消去法 ,也就是说每一个式子都Δ等价于一个开式子 .定理 2　无原子布氏代数的初等型Γ (x1,… ,xn)是由型内的不含量词的全体开式子所唯一决定 .定理 3　无原子布氏代数的一个长度为 n的语句的判断过程所消耗的 Turing时间和空间都是属于 2 2 cn指数级 .