二次型的不可分解性与不可分性

本文证明了:有理整数环Z上每一个n元正定么模二次型是不可分解的(non-dccomposable)必要且只要它是不可分的(indecomposable)。设n为任何自然数,则除去下列十个例外:n=2,3,4,5,6,7,9,10,11,13,对每个n我们给出了一个n维不可分的正定么模Z-格的明显结构。在上述的例外情形,不存在这种性质的Z-格。     

浅谈正定二次型的习题课设计

在高等代数的实二次型内容中,正定二次型占有特殊的地位.本文从概念的回顾、正定二次型与正定矩阵的判断、二次型正定及矩阵正定的性质、其它类型二次型四个方面来设计正定二次型的习题课,并通过具体例子说明例题、习题精选的原则.     

虚二次域上不可分解的正定Hermite型

给出构作虚二次域Q( √-m)的整数环R_m 上的不可分解的正定Hermite型的方法 .对任意自然数n≥ 2 (n≥ 1 3或奇数n≥ 3)和不含平方因子的m =1 2k +t,k≥ 1且t∈ {1 ,7}(k≥ 1且t=2或k≥ 0且t∈ {5 ,1 0 ,1 1 }) ,存在环R_m 上n秩不可分解的正定整Hermite型 ,其判别式为 2 ,并给出它们的明显结构 .对于判别式不等于2的情况也做了相应的讨论 .     

Gauss整环上不可分解的Hermite型

本文给出了构作虚二次域Ｑ（－ｍ）的整数环上不可分解的正定整Ｈｅｒ ｍｉｔｅ型的方法．     

二次李三系的分解定理

有限维李三系称为二次的,如果它容许一个非退化的不变对称双线性型.无论是李三系分解为不可分解理想的直和,还是二次李三系分解为不可分解非退化理想的正交直和,证明了这两类分解在同构意义下都是唯一的.     

正定二次型判别条件的证明

正定二次型判别条件的证明刘学鹏（临沂师专２７６００５）在二次型的理论中，正定二次型是一类特殊而重要的二次型，相应的正定矩阵也是一类特殊而重要的矩阵．对于实二次型，其正定性的判别法之一，是利用其顺序主子式是否大于零．此理论根据的证明，笔者依据目前流行的...     

分块平方和分解

本文定义了分块平方和可分解多项式的概念.粗略地说,它是这样一类多项式,只考虑其支撑集(不考虑系数)就可以把它的平方和分解问题等价地转换为较小规模的同类问题(换句话说,相应的半正定规划问题的矩阵可以分块对角化).本文证明了近年文献中提出的两类方法—分离多项式(split polynomial)和最小坐标投影(minimal coordinate projection)—都可以用分块平方和可分解多项式来描述,证明了分块平方和可分解多项式集在平方和多项式集中为零测集.     

B_n类和C_n类有限表示型自入射代数的不可分解表示

本文主要结果:(1)确定了完备域k上的 B_n类和C_n类有限表示型自入射代数的不可分解模的结构。(2)给出了不可分解模的 Loewy因子和 Socle因子的计算公式。(3)证明了不可分解模分别由其 Loewy因子,Socle因子,top和Socle唯一确定。     

一类D型箭图的表示的Frobenius-Perron维数

本文通过研究一类D型箭图的不可分解表示的砖块(brick)集,给出这些不可分解表示的Frobenius-Perron维数.     

幺模群上的不可分解正定函数及其应用

本文得到了幺模群G上酉表示的不可约性的一个等价刻画.即若f是G上正定函数,π是G在Hilbert空间H上的酉表示,u∈H是H的拓扑生成元且f(x)=(π(x)u,u),则f是不可分解的正定函数的充要条件是π是不可约酉表示.并将这一结果应用到SU(2),SL(2,R)上.     

关于矩阵正定性的注记

关于矩阵正定性的注记刘三阳（西安电子科技大学应用数学系７１００７１）本文指出山中的两道题目是错误的，给出了几个反例和有关矩阵正定的结果．贝尔曼的名著［１］中第６８页第３７题和第１２０页第８题分别给出了下述等价命题：（Ⅰ）若二次型是正定的，则二次型也是...     

实对称矩阵A正定的充分条件的证明

具体给出一个实对称矩阵A以后,判定A正定的有效方法由下述定理给出。 定理 实二次型f(x_1.…x_n)=sum from i,j=1 to n (a_(ij)x_ix_j)=X’AX是正定的充要条件是矩阵A的顺序主子式全大于零。 必要性的证明在此就不再赘述。下面我们     

正定矩阵合同对角化的一个简洁方法及其应用

利用正定矩阵的性质,给出一个"求可逆矩阵P,将正定矩阵A合同对角化"的简洁方法,给出该方法在化正定二次型为标准形和求标准正交基底中的应用.     

WBR_0-代数成为Boole代数的条件

在WBR_0-代数中引入了蕴涵式条件(Imp)和可分解性条件(Dis),证明了在WBR_0-代数中这两个条件等价。引入了(正定)关联WBR_0-代数概念,并证明了满足(Imp)条件的WBR_0-代数与(正定)关联BR0-代数等价。我们也证明了蕴涵式WBR_0-代数与Boole代数等价,由此获得了WBR_0-代数成为Boole代数的四个充要条件。     

矩阵的泛正定与广义逆偏序

引言出现在二次型和 Hermite 型研究中的正定矩阵不仅理论结果非常丰富,而且在几乎所有的数值分析以及应用数学和力学各分支中有着广泛的应用.我们用 P_n 表示所有 n 阶实正定阵的集合     

强正定二次型与Weyl-Heisenberg 框架的构造

本文研究了一类具有特殊结构的无限维二次型, 得到这类二次型的对称矩阵是符号为多项式的模的平方的Laurent 矩阵, 进一步得到了这类二次型是强正定的判断标准以及一类Weyl-Heisenberg 框架的构造. 本文还研究了这类二次型的矩阵的所有有限维主对角子矩阵的强正定性, 并由此得到一类子空间Weyl-Heisenberg 框架的构造. 最后举例说明本文的主要结果及其应用. 本文建立了两个看似不相关的领域间的联系.     

一个具有 n 步二次收敛性的直接法算法

在非线性最优化的直接法算法中,Powell 算法具有一定的代表性,但我们已知Powell 算法对正定二次函数一般不具有二次终结性,为此围绕着改善 Powell 算法的算法特性,出现了一系列 Powell 算法的改进型.其中俞文(鱼此)教授提出了一个新的方法——PY 算法,其基本思想基于,对正定二次的目标函数算法迭代过程中每一轮迭代     

Z[(-5)～(1/2)]上不可分的Hermite型(英文)

本文讨论了Z[(-5)～(1/2)]上不可分的正定 Ｈｅｒｍｉｔｅ型的构作．给出了所有秩为 ２判别式等于２的不可分的正定Ｈｅｒｍｉｔｅ型。当秩ｎ ≥ ３时,证明了存在Z[(-5)～(1/2)]上判别式等于２的不可分的正定Ｈｅｒｍｉｔｅ型,并给出了它们的明显结构．     

二次矩阵方程X~2-bX-C=O的正定解

研究二次矩阵方程X2-bX-C=O(b>0,C为n×n阶正定阵)的正定解,证明了解的存在唯一性并且给出了求解方法.     

判别线性约束下实二次型正定性的一个算法

本文对经济学中常见的判别线性约束下实二次型的正定性问题通过矩阵分解给出了一个简易且可行的算法，该算法不涉及行列式的计算。