学科分类
/ 25
500 个结果
  • 简介:在计算机上基于Mizar系统下矩阵的定义,给出对称矩阵对称矩阵的属性定义.并在此基础上证明了对称矩阵对称矩阵的部分基本性质。以及相关定理.

  • 标签: 次对称矩阵 反次对称矩阵 Mizar
  • 简介:本文定义了对称矩阵的概论,并给出了对称阵的一些结论。

  • 标签: 次对称阵
  • 简介:定义了上三角等次对角线矩阵和上三角交错对角线矩阵,讨论了矩阵方程AX-XA=0的对称解与AX+XA=0的反对称解.在此基础上考虑了以下问题的可解性:给定A∈R^n×m,D∈R^m×m,分别求X,Y∈SR^n×m和X,Y∈ASR^m×m,使得XA=YDA.

  • 标签: 对称矩阵 反对称矩阵 广义特征值 反问题
  • 简介:在本文中,我们证明了对一个Krylov矩阵作QR分解后,利用得到的正交矩阵可以将一个具有互异特征值的对称矩阵转化为一个半可分矩阵的形式,这个结果表明了Krylov矩阵与半可分矩阵之间的联系.另外,我们还证明了这类对称半可分矩阵在QR达代下矩阵结构保持不变性.

  • 标签: 反Krylov矩阵 半可分矩阵 特征值 QR分解
  • 简介:矩阵对称换行换列变换的性质周晓(芜湖师范专科学校数学系,芜湖241008)设Mnk(P)={(aij)nk|P是数城,aij∈P}.规定;(aij)nk∈Mnk(P).σ:(aij)nk→(an-i+1k-j+1)nk.不难验证,σ是Mnk(P)到自...

  • 标签: 列变换 矩阵对 换行 特征向量 高等代数 特征值
  • 简介:证明了实对称矩阵投影算子的几个单调性质,这些性质可以视为Rn中凸集投影算子的单调性质的推广。

  • 标签: 投影算子 单调性质 实对称矩阵
  • 简介:线性变换是线性代数的重要研究对象,在Euclid空间理论中,对称变换是一类重要而常用的线性变换.对于对称变换,人们已作了大量的研究,得出了许多很好的结果.本文仿照对称变换及反对称变换引入了对称变换及对称变换的概念,并研究了对称变换、对称变换的性质,以及它们与对称矩阵对称矩阵之间的

  • 标签: 对称矩阵 线性变换 EUCLID 标准正交基 正交变换 空间理论
  • 简介:对称矩阵的对角化中,合同变换显现出模型化、程序化的简便性,变换和结果的多样性,变换矩阵列向量与对角阵对角线元素的对应性,变换结果整数化、有理化和标准化处理的方便性等特性.本文有针对性地进行了探讨,并给出了必要的证明和举例说明.

  • 标签: 合同变换 对称矩阵 对角化 特性
  • 简介:J.H.Yun提出了一种新的计算块三对角M矩阵预条件的算法,这种方法具有天然的并行性,解决了ILU分解不易并行化的缺点,能有效节约计算时间。以对称M矩阵作为例子,将以上方法推广到一般的对称M矩阵,使得在构造这一类矩阵的不完全分解预条件方法时,能够更加快速有效。关于预条件子的定理及其证明将会被给出。最后,数值实验将会被用来验证我们的定理结论。

  • 标签: M矩阵 正规分裂 并行计算 不完全分解预条件
  • 简介:为了在并行和向量机上求解对称正定性方程且Ax=b,两组多分裂方法被考虑,文中,把Galligain和Ruggiero的两级算术平均方法推广到两级多分裂方法并给出了一些合适的内分裂例子,同时讨论了所引起的两级多分裂方法的收敛性。

  • 标签: 对称正定矩阵 两级多分裂方法 对称正定线性方程