毕业论文

潍坊学院本科毕业论文

引言

随着当今时代的进步与发展，数学也在跟随着时代的步伐向前迈进.四元数矩阵在数学及其它学科领域的理论研究中有着广泛的应用，是四元数体上重要定理，它在矩阵的学习过程中占有很重要的地位.四元数矩阵的理论对于进一步的研究数学，对于对后续课程的学习起着举足轻重的作用.四元数矩阵的相关理论比较繁杂，又分生出各种层次的概念，对于本文的主要研究问题并不局限于四数元矩阵的表面，而是把这一部分进行深入的推广.四元数的背景与定义是最基本的讨论，要想真正理解四元数就要从它的产生和发展入手，四元数体就是发展中产生的外延，并且发展成主要的内容，所以对它的定义有必要深入介绍，四元数矩阵是发展到现在重要的理论基础，所以着重进行描述.四元数矩阵的理论在各个方面的应用都比较广泛，特别是在物理学和数学上联系密切.我们通过运用四元数矩阵的各理论研究可以把矩阵中的基础性的内容转化为更为代数的解决方式，比如四元数矩阵的特征值、Jordan标准形、奇异值分解以及四元数矩阵的正定性四元数矩阵方程.本课题的研究目的：经过对四元数矩阵的多角度、全面性、多层次的认识，使我们对四元数矩阵更加了解，了解它的定义及背景以及定理证明，在实践中更加熟练的使用它 ，这也让我们明白它所具有独特性和重要性，在我们数学学科中的非同一般的位置.能够运用四元数矩阵的理论解决数学学习中遇到的有关于矩阵的一些基本问题.本课题的研究过程：研究四元数的背景、意义及定义，接着讨论四元数体上的定义以及定理，最后对四元数矩阵理论进行推广.

1

潍坊学院本科毕业论文

1.四元数的发展

1.1背景

四元数的发现离不开爱尔兰数学家哈密尔顿，是他对四元数进行了开创性的数学定义.四元数有它本身的独特性，也就是最有意思的一面，在数学学科中乘法交换律是公认的基础原则，但对四元数却是无约束的存在，所以四元数有它的独特魅力.也就是说，四元数是复数的不能交换延伸.假如把四元数的集合研究成多维实数空间的话，四元数就表示为一个四维空间，相当于复数为二维空间.四元数是除环(除法环）的一个事例,除了不包含乘法的交换律以外，除法环与域是类似的.尤其是，乘法的结合律一直存在、非零元素一直是唯一的逆元素.四元数表示成一个在实数上的四维结合代数（实际上是除法代数），并且包括复数，但是不和复数形成结合代数.四元数（及其实数和复数）仅仅是有限维的实数结合除法代数.四元数的不可交换性通常致使一系列使人意外的结论，比如四元数的 n阶多项式可以有大于n个不同的根.四元数是由哈密尔顿在1843年爱尔兰展现的.那是他正探究扩展复数到更高的维次（复数可看成平面上的点）,他无法做到三维空间的事例，但是四维就产生四元数.依据哈密顿记述，他在10月16日和他的妻子在都柏林的皇家运河（Royal Canal）上散步时一下子想到i2j2k21.随后哈密顿马上把这个方程刻在附近布鲁穆桥（Brougham Bridge，现在称为金雀花桥 Broom Bridge）.这个方程舍弃了交换律，是那是一个极端的想法（当时还没有发现向量和矩阵）.不仅如此，哈密顿还发现了向量的内外积.于是，他把四元数打造成一个有序的四重实数：一个纯量（a）和向量（bicjdk）的结合.假如两个纯量部为零的四元数相乘，得到的纯量部就是一开始的两个向量部的纯量积的负值，然而向量部就是向量积的值，但是它们的重要性一直有待挖掘. 对于四元数的研究，由于它的广泛性，所以存在大量的实例对它的推广，但总体概括来说有两部分的内容：一方面它是复矩阵代数的扩大，就如实剖析发展到复分析那样充满活力和朝气；另一方面它来自许多其他学科工程的应用背景.从1843年英国数学家Hamilton建立四元数理论入手，其最开始的目标是为考虑空间矢量找到近似办理平面题目中使用的复数方式.但因为那是数学器材的局限，四元数最开始只是在刚体定位问题中得到一些相对比较简单的应用，未能解决工程技术中的实际问题，所以，它的优越性那时还未能够表现出来，在一个世纪中并未得到什么发展，更不用说在实际工程中的应用.从20世纪中期以来，人们把复平面推行到四维空间后，察觉使用四元数和四元数矩阵能够解决实际中的许多问题.于是关于四元数和四元数矩阵的研究又被无数学者推到高潮，成为大家不断进行信息发掘的热点问题.

1.2含义

对于四元数的辩论很对人对哈密顿都是嗤之以鼻，四元数在开始的地位低入谷底，以为它经不过时间的推敲.但是在20世纪40年代以后，很多科学家从迷雾中走出来，不在把它单纯的局限于物理学方面，大家对哈密顿发现的四元数有了全新的认识，就是在代数方面的影响.这样的事情也发生在几何学中，在非欧

潍坊学院本科毕业论文

几何还没发现前，几何学也是陷入了泥潭中，是非欧几何让它重新焕发了光彩.四元数的独特之处就是任性的不满足于乘法交换律，也是首个被发现的这样的数学目标.于是代数系统就发生了日新月异的变化，实数和复数不在孤单，而是形成了框架和组合.任何事情都不是简单得来的，是经过大量的探究得来的，约两百多种的代数学是日思夜想的心血.四元数经过低估，经过实践的洗礼又上升到高峰，已经在数学和物理方面得到普遍的认可，而且成为向量代数、向量分析和线性结合代数理论的开始.与其说四元数是数学中的概念，倒不如说它是物理学中的光辉，当刚体力学不断完善和发展，刚体运动分析的理论问题和运动控制的实际问题与四元数居然完美契合，并且与旋转矩阵的运算与单位四元数的运算也是大同小异，所以物理学中很多应用都使用了四元数的概念和推广，四元数不再是空洞的理论，变成了有血有肉的丰富理论和实践体系.1970年以后，世界慢慢步入计算机时代，学科间就不断进行了整合，由于计算机的丰富性，所以很多以前不被理解和重视的理论又迎来了它们的春天，但是四元数也有它自身的局限性，四元数矩阵右特征值存在无限性，然而左特征值又存在不确定性，这些都阻碍了四元数的发展，并且在计算方面四元数矩阵也是繁琐的，所以四元数的研究的也是充满了困难.

2.四元数的定义与定理

2.1四元数

定义2.1.1[1]：四元数是简单的超复数.复数是由实数加上虚数单位i组成，类似的，四元数都是由实数加之三个虚数单位i,j,k构成，并且它们有下面的联每一个四元数都是1,i,j和k的线性组合，系：i2j2k21， i0j0k01，即是四元数一般可表示为abkcjdi，其中a,b,c,d是实数.关于i,j,k自身的几何含义可以理解为一种旋转，此中i旋转表示X轴与Y轴相交平面中X轴正向向Y轴正向的旋转，j旋转表示Z轴与X轴相交平面中Z轴正向向X轴正向的旋转，k旋转代表Y轴与Z轴相交平面中Y轴正向向Z轴正向的旋转，i,j,k逐一表示i,j,k旋转的反向旋转.2.2四元数体

第一个非交换的体是W.R.Hamilton在1843年给出的，叫做实四元数体，在同构意义下其矩阵形式可表述为

H,C 这里C是复数域，是的共轭复数.因此，实四元数体H是C上的二阶全矩阵

潍坊学院本科毕业论文

环的子体.当然，这里需要验证集合H关于矩阵加、乘运算是一个体.例如，若A0, 即0，则容易证明A非奇异，且

A1221H.设ℝ是实数域，记

10i0010i1,i,j,k， 010i10i0这里i是虚数单位，则

Habicjdka,b,c,dR.定义2.2.1[1]设K是一个体，命

x,xax, K

ZKaKa叫做体K的中心.命题2.2.1[1]体K的中心ZK是它的一个子域；特别地，Z(H)R.定义2.2.2一个域F叫做形式实域，如果在F中关系式ai20仅当[1]

ni1ai0t1,2,3,n时成立.命题2.2.2[1]设F是一个形式数域，则

QFabicjdka,b,c,dF

所示的QF关于加、乘运算是一个非交换体.定理2.2.1[1]设F是一个域，则QFabicjdka,b,c,dF所示的QF关于相应的加、乘运算是F上的一个四元数体的充分且必要条件是F是一个形式数域.

命题2.2.3[1]设F是一个形式实域，则Z(QF)F.定理2.2.2[1]设F1,F2都是形式实域，则QF1QF2的充分且必要条件是F1F2.定义2.2.3[1]由有理数域所嵌入的四元数体叫做有理四元数体.定理2.2.3[1]有理四元数体是最小的四元数体.证：设QF是任意的一个四元数体，因chQF0，则QF包含一个与有理数域同构的子域F0,显然F0QF.但是有理四元数体与QF0同构，因而存在有理四元

4

潍坊学院本科毕业论文

数体到QF的单射，故知它是最小的四元数体.3.四元数矩阵的一系列理论研究

3.1四元数矩阵的特征值

定义3.1.1[3]设 A 可中心化 , 则 A的弱特征多项式f 在复数域 C（其它代数闭域上也一样）上的 n个根称为 A的特征根.设HR, 若存在非零向量X 使得AX0X(AXX0) , 则称0为 A 的左 ( 右 ) 特征值 , 若0既为 A的左特征值又为 A的右特征值 , 则称 0为 A的特征值.

定理3.1.1[3] 设 A可中心化 , 0C,则下列等价 : (I) 0为 A的特征根 ; (II) 0为 AC的特征根 ; (III)0 为A的右特征值 ; (IV) 0为 A的重特征多项式的根.

nn推理1[3]设AHR,0C,则下列等价 : (I)0 为 A的特征根 ; (II)0为 A的右特征值 ; (III) 0为 A的重特征多项式的根 .推论2[3]设

A可中心化 ,0R , 则下列等价 : (I)0为 A的特征根 ; (II)0为 A的右特征值 ; (III0为 A的左特征值 ; (IV)0 为 A 的特征值 .注1易知矩阵的右特征值不一定为左特征值 , 反之 , 左特征值也不一定为右特征值.

5

潍坊学院本科毕业论文

注2任意四元数矩阵一定存在复右特征值, 但不一定存在复左特征值 , 因此左特征值不是相似不变量.例如 取A(ij)，一介矩阵，则A只有一个左特征值ij.最小多项式与弱特征多项式的根之间的联系

定理3.1.2[7]设 A可中心化 ,q() 为A的最小多项式 ,f()为 A的弱特征多项式 , 则

(I) 当RA不是HR的极大子域时 , 则q()，f()在 C 上的根一致 , 即

q()含有 A 的所有特征根 .(II) 当RA是HR的极大子域时 , 则存在一个代数闭域C3，使得q()q()在C3中的根与f()在C3中的根一致 , 即 A 在C3上的特征根0或者为q()的根 , 或者其共轭0为q()的根(也可能0，0同为q()的根).证明 (I) 设RA不是HR 的极大子域 .当RA为HR的子域时 , 易见 RA=R , HA=HR, 此时 A 实际上就是实数域R 上的矩阵 ,显然命题成立 .当RA不是HR的子域时 , 由A的重行列式等于A的复表示矩阵AC的行列式 , 即AAC的证明知q()实际上是 AC最小多项式 , 这样q() 与fAC的根一致 , 又由 A满足交换条件, 则 A的特征多项式f()的平方等于重特征多项式 知结论成立 .(II) 设RA是HR的极大子域 , 则易见RA为一个代数闭域 , 记为 C3, 此时HARAC3.推论3设 A可中心化 , 则 A 的最小中心多项式qR()与弱特征多项式f()的根一致.即A的特征根均为qR()的根.当然，人们会问：四元数矩阵特征值理论的现状如何？因此作四点说明：

1)四元数矩阵的右特征值的存在性、表示以及Jordan标准形定理已经完满解决，但是由于体上矩阵研究的停滞，并没有引起人们的关注.后来，由于谢邦杰的工作，带动了一些中国年轻学者探索，他们在未知条件的情况下独立地进行研究，其中以黄礼平的研究较为系统.本章节的阐述就取自他的文章. 2)除了右特征值外四元数矩阵特征值的研究，1985年R.M.W.Wood证明了n阶四

潍坊学院本科毕业论文

元数矩阵的奇异特征值的存在性定理；2001年，黄礼平探究了二阶实四元数矩阵的左特征值.但是，黄礼平用AXX定义左特征值，与来自M.P.Cohn的定义有点差别.

3)对右、左特征值的关系，张福振（1997）、李祥明（1998）都有研究，例如李

1k祥明举了这样一个例子：取A则1i是A的一个左特征值，但不是A，

k1的右特征值.

4)所以对自共轭四元数矩阵的特征值问题就有了详尽的叙述.关于实四元数矩阵特征值的情况依旧不够明朗，环上矩阵有比较长足的发展，在其它的方面，由于一般情况下四元数矩阵右特征值无限性以及左特征值不确定性的难处，因此四元数矩阵的特征值理论还是处在实验和探究阶段，并没有足够合理的解释方式 和详尽的理论思绪.

3.2四元数矩阵的Jordan标准型

定理3.2.1[5]复矩阵方程AXXBD有唯一解的充分必要条件是A和B没有的复特征值.Jordan标准型的Jordan块也如复矩阵情形，如关于的m阶Jordan块Jm()是如下矩阵：

1Jm()Mm(C) 1定理3.2.2[5]设AMn(H),则A相似于一个Jordan形矩阵J,即

AJdiag(Jn1(1),,Jnt(t))，

此中sasbsiC,asR,bs0,s1,,t且除了对角线上Jordan块的排列次序外，J是由A唯一确定的.因此，称上面的J是A的Jordan标准形.证：先证Jordan标准型的存在性.对n用数学归纳法.当n1时，显而易见，存在性成立.假设对所有不大于n1阶的矩阵存在性成立，那么对于AMn(H),由归纳假设可知，存在tatbtiC,atR,bt0,t1,,s,使得

1A0*1A20A1B J1其中J1diag(Jn2(2),,Jns(s)),BB1B2j(B1,B2C1(n1)).将B分块为B(L2,,Ls),其中LtL1nt，t2,,s.下面分为三种情况讨论：

潍坊学院本科毕业论文

1)如果存在2rs，使得r1，不妨设s1.那显而易见s1.因此，存在X1,X2C1ns，使得1X1XJn1s(s)Ls，1X2X2Jns(s)Ls2.令XX1X2j，则1XXJns(s)Ls.由此可知

A3A20 Jns(s)0所以，对于A3应用归纳假设得命题成立.

2)如果12s，而且1是虚数.因为11，因此存在XC1(n1)，使得1XjXjJ11XjXJ1jB1j，所以显而易见有



1 A20B1A4Mn(C) J1所以，A相似于A4的Jordan标准型，不妨设这个Jordan标准型的主对角线上n个数均为虚部非负的复数.

3)如果12s，且1是实数，不妨设10，由此可见A2满足交换化条件，从而A2满足中心化条件.所以A相似于一个实矩阵，从而A相似于一个Jordan标准型矩阵.

综上所述，存在性得证，下证唯一性.由定理可知

AcJcdia(gJ,J)

由Ac在复相似变换下的Jordan标准形的唯一性，当然J是由Ac唯一确定的（除了对角Jordan块的排列顺序外），因此J由A唯一的确定（除了对角Jordan块的排列顺序外）.

定理3.2.3[5]设AMm(H),BMn(H),DHmn，则四元数矩阵方程AXXBD有唯一解的充分必要条件是A与B没有公共的右特征值.3.3四元数矩阵的奇异值分解

四元数矩阵理论的内容是庞大的，但最主要的内容还是四元数矩阵的奇异值分解，无论是在理论探究还是在四元数数值计算上，它的作用都无法替代.如何证明奇异值分解得存在性，那就要从根本上探究，从上文中可以看出，四元数矩阵所有的理论论述都能从自身表示出奇异值分解的存在性.本节的主要内容便是对四元数矩阵奇异值分解的构造进行证明，所用到的方法是通过四元数矩阵的复表现和友向量，这个方法是目前可以求得详细分解式比较有效的方法.

8

潍坊学院本科毕业论文

引理3.3.1[10]若AQrmn，则存在酉矩阵UQmm，VQnn使得

H

AUV

其中

diag(,,,,0,,0)R12rmn，12r，

为矩阵A的r个非零奇异值.

证：考虑 AHA的复表示矩阵f(AHA)，显然f(AHA)f(A)Hf(A)为复数域上Hermite半正定矩阵.

由此可知，f(A)Hf(A)的实特征值成对出现，因此设为

11\'22\'rr\'r1r\'1nn\'0

相应于1,2,,n的标准正交特征向量为

x1,x2,,xn

cc\'\'根据定理可知，x1c,x2 即为相应于1\',2的标准正交特征向量 ,,xn,,n由内积定义得

i,ijHH (f(A)xi,f(A)xj)xHf(A)f(A)xxxjiiji0,iji,ij (f(A)x,f(A)x)(x)f(A)f(A)xi(x)x0,ijcicjcHjHcicHjci(f(A)xi,f(A)xcj)0

c所以可知f(A)x1,f(A)x1,,f(A)xr,f(A)xrc非零且彼此正交.

记

ccf(V)(x1,x1c,x2,x2,,xn,xn)

f(A)x1f(A)x1cf(A)xrf(A)xrccf(U)(,,,,,,yr1,yrc1,,ym,ym)

11\'rr\'其中yi和yic(ir1,,m)是由标准正交向量组

f(A)x1f(A)x1cf(A)xrf(A)xrc,,,,,

11\'rr\'9

潍坊学院本科毕业论文

扩充形成C2m1的标准正交基而得到的. 很明显，f(U),f(V)均为酉矩阵，并且有

f(U)Hf(A)f(V)diag(1,1\',2,2\',,r,r\',0,,0)f()

假如记U,V为相应于f(U),f(V)的四元数矩阵，

diag(,,,,0,,0)

12r其中ii(i1,2,,r)，则由定理可知

AUVH

为A的奇异值分解.

四元数矩阵奇异值分解的算法：

第一步

给定四元数矩阵AQmn,求出A的复表示矩阵f(A)；

\'第二步

求复矩阵 f(A)Hf(A) 的特征值11,2\'2,,nn\'和相于1,2,,n的标准正交特征向量x1,x2,,xn，记

ccf(V)(x1,x1c,x2,x2,,xn,xn)

第三步 计算

f(A)x1f(A)x1cf(A)xrf(A)xrc,,,,

11\'rr\'并扩充成C2m1的标准正交基，记

f(A)x1f(A)x1cf(A)xrf(A)xrccf(U)(,,,,,,yr1,yrc1,,ym,ym) ；

11\'rr\'f()diag(1,1\',2,2\',,r,r\',0,,0)

第四步

利用逆变换f1，求出U,V,.

3.4四元数矩阵的正定性

定义3.4.1[6]设AQnn,如果对任意0xQn1皆有

Re(X\'AX)0

潍坊学院本科毕业论文

则称A为正定四元数矩阵.

引理3.4.1[6]设Q上任意矩阵P,Q, 只要PQ有意义 , 有

(PQ)\'Q\'P\'((PQ)\'Q\'P\')

引理3.4.2[6]设AQnn，则A正定的充要条件是对任意0xQn1,都有

X\'H(A)X0.证明：X\'AXX\'(H(A)S(A))XX\'H(A)XX\'S(A)X,其中

X\'(AA\')XX\'AXX\'A\'XXH(A)X

222\'X\'AXX\'A\'X,由引理3.4.1可知(XAX)XAX.所以上式中互为共轭四元数，22\'\'\'\'所以上式为实数.故可知X\'H(A)X属于X\'AX的实部.

类似的可知X\'S(A)X属于X\'AX的虚部.进而可知Re(X\'AX)X\'H(A)X，于是有A正定即

Re(X\'AX)0X\'H(A)X0.

推论1 矩阵A正定的充要条件是A的自共轭部分H(A)为正定矩阵. 推论2若A、B为正定矩阵 , 则AB为正定矩阵 ; 若k为正实数 , 则kA为正定矩阵.

推论3设P为可逆矩阵 ,A为正定矩阵 , 则P\'AP为正定矩阵. 证明：由于A是正定矩阵，因此对任意0XQn1,由定理可知有

X\'(P\'AP)X(PX)\'A(PX).

令Y(PX),则X\'(P\'AP)XY\'AY,由于A正定，所以有Re(Y\'AY)0,从而

Re(X\'(P\'AP)X)0，

因此P\'AP正定.

推论4若A正定 , 则A\'、A1正定.

证明：1）由于A正定，由推理1可知H(A)正定，而且H(A\')H(A), 因此

11

潍坊学院本科毕业论文

H(A\')正定，再由推论1可知A\'正定. 2）由定理可知(A1)\'A\'(AA1)\'E, 因此

\'(A1)\'(A1)1\'AA(A)(A1)(A1)\'H(A)(A1), 22由于A正定.所以H(A)正定，由推论3可知(A1)\'H(A)(A1)正定，由上式可知(A1)\'(A1)H(A1)正定，再由推论1可知A1正定.

2 推论5正定矩阵的任意主子阵也是正定矩阵.

引理3.4.3[6]设XQn1,则有X\'X0

引理3.4.4[6]设A是正定四元数矩阵 ,i(A)的A的特征值 , 那么有

Re(i(A))0(i1,2,,n)

定义3.4.2[6]设A是正定四元数矩阵，如果存在非奇异四元数矩阵P,使得BP\'AP，则称A与B是合同的. 定理3.4.1[6]设A为四元数方阵，且对角阵

diag(a1b1ic1jd1k,,anbnicnjdnk)中ai0(i1,2,,n)， 假如A与是合同的，则A是正定的. 证明：因为

a1H()a2a1ana2a1ana2 an因此对于任意xyziujvk，有

X\'H()Xa1(y\'z\'iu\'jv\'k)令

12

a2a1ana2(yziujvk)an潍坊学院本科毕业论文

a1Ya2(yziujvk)， an则有X\'H()XY\'Y,由引理2可知Y\'Y0，从而X\'H()X0.这说明H()是正定的.由推论1可知是正定的，又因为A与是合同的，即P\'AP，那么A(P\')1(P1)，所以可知(P\')1(P1)\'，从而有A(P1)\'(P1)，再由推论3可知A正定.3.5四元数矩阵方程

四元数矩阵方程为四元数矩阵理论的主要构成成分，因此对比系统的研究从庄瓦金的著作开始，到目前为止虽有很多事情，但是于线性矩阵方程的半正定解、正定解方向，在共轭线性、二次方程的解理论方面，比庄瓦金更深刻的结论并不多.所以，本节阐述庄瓦金的结果. 引理3.5.1[11]设AUDU\'H(n,)，其中UHnr，UUIr，D为正对角矩阵，则XXA得一般解为XVUA，其中VHmr，VVIr，mr. 引理3.5.2[11]设XHnt,YHnm,tm，所以XXYY当且仅当存在WHtm，WWIm，使得XYW.12 引理3.5.3[11]设AH(m,)，CH(n,)，BHmn，则二次共轭矩阵方程

（BA1BC）XAXBXXBC0有解的充分必要条件是半正定；并且在此条件下，这个方程的一般解为XAVUEAB，其中A是A1的半正定

UHnr，平方根，E(BA1BC)，UUIr，VVIr，rrank(BA1BC)，

1212112且Rr(U)Rr(BA1BC). 引理3.5.4[11]设K是一个体，AKmn，BKst，CKmt，那么矩阵方程AXBC有解的充分必要条件是存在A，B的逆A1，B1，使得AA1CB1BC；并且在此条件下，这个方程的一般解为

XA1CB1YAA1CB1B，其中YKns 或者

13

潍坊学院本科毕业论文

XA1CB1(InA1A)EF(IsB1B)，其中E,FKns 下面阐述线性矩阵方程的一些结果

引理3.5.5[11]设A，BHmn，A是右高矩阵，那么矩阵方程AXB有正定自共轭解得充分必要条件是BA是正定自共轭的；并且在此条件下，这个方程的一般正定自共轭解为

XB(BA)1BMPM

这里M是满足Nr(A)Rr(M)的任意确定的右高矩阵，P是任意可乘的正定自共轭四元数矩阵. 引理3.5.6[11]设AHmn，BH(m,)与矩阵方程

AXAB

1）上式有自共轭解的充分必要条件是存在A1，使得AA1B(A1)AB；且在此条件下上式的一般自共轭解为

，其中YH(n,) XA1B(A1)YA1AYA（A1）2)上式有半正定自共轭解得充分必要条件为BH(n,）与Rr(B)Rr(A)，并且在此条件下上式的一般半正定自共轭解为

X(A1C(InA1A)E)(A1C(InA1A)E)

这里CHmn满足CCB，EMn(H)，A1是A的任一确定的逆. 定理3.5.1[11]设AHmn，rankAr，BMn(H)，A的奇异解分解AUDV，其中UHmr，UUIr，VHnr，VVIr，D是正对角矩阵，那么矩阵方程

AXXAB (3-5-1）

有解的充分必要条件为BH(n,)与VBV0，其中VHrn，使(V,V)H(n,u)，叫做V的酉正交补；且在此条件下上式的一般解是 X1(A)B(InVV)UFUAUE (3-5-2) 2这里A是A的Moore-Penrose逆，F是任意的r阶斜自共轭四元数矩阵，U为U的酉正交补，EH(mr)n.

14

潍坊学院本科毕业论文

证明：假如BH(n,)与VBV0，因此容易验证(3-5-2)所示矩阵为(3-5-1)的解，反之，假如X是(3-5-1)的解，则BH(n,).令

UY1Y2YYYUX(V,V)，

34V其中Y1Mr(H)，并且分别用V，V,V左，右乘(3-5-1)，于是得 DY1Y1DVBVDY2VBV

VBV0将此第一式与DY1Y1DN联立，解得Y1F11DND1是斜自共轭的.所以，由 211DVBBVFD，其中2Y1Y2VX(U,U)YYV

34容易得知(3-5-1)的解具(3-5-2)之形式.类似可证

引理3.5.7[11]同定理3所设，则矩阵方程AXXAB有解的充分必要条

件是B是斜自共轭的与V并且在此条件下，这个方程的一般解如(3-5-2)BV0；所示，其中FH(r,)，其余同定理3.5.3.由定理3.5.4易得A3,A4的显式.设XAi,,j，若XXIm，则称之为

(i,,j).由定理3.5.4可得.A的列酉(i,,j)逆，记作AU 推论3.5.1[11]设AHmn，rankAr，nm，A的奇异值分解为AVDU，则A的列酉逆的一般表示式为

AUUEUAU(W1GVW2V)

这里GHrp，GGIp，pminnr,r，diag(1,,p)，0i1，E是满足E2D1(Ir-G2G)D1的任意自共轭四元数矩阵，W1H(nr)p，(W1,W2)H(nr)(mrp)，而且均为列酉矩阵.

潍坊学院本科毕业论文

引理3.5.8[11]设AH(n,)，BH(n,)，那么矩阵方程XAXB有解，而且其一般解为

XAUB

1212这里UH(n,u)，A，B分别是A1，B的半正定自共轭平方根.引理3.5.9[11]设AH(m,)，CH(n,)，BHmn，rankBt，A，B的奇异值分解依次为AUDU，BVW，UHmr，UUI，那么二次共轭矩阵方程

XAXBXXBC0

有解的充分且必要条件是，WCWH(nt,),W为W的酉正交补；且在此1212条件下上式的一般解为

1X(A)UGMPAB(B)(BABCP)(InWW)VQVBVH，

21212HH(mt)n，这里Q是任意t阶斜自共轭四元数矩阵，M是满足Rr(M)Rr(P)的列酉四元数矩阵，G是任意可乘的列酉四元数矩阵，而且

(1)(1)(1)(1)P((W)E(In(W)W)F)((W)E(In(W)W)F)，

(1)其中EEWCW，EMnt(H)，FHn(nt)，(W的任意确定的(1))是W的逆.

16

潍坊学院本科毕业论文

结束语

本课题通过讨论四元数以及四元数矩阵，对四元数矩阵的一系列理论的定义、证明和推广加以了详细的说明，使我们对四元数矩阵的相关理论有了更加深入的理解.四元数矩阵的推广是当今数学研究的一个课题方向，我们在这里就给出了简单的说明介绍.但是整个课题的内容显然是缺少了与实际接轨的东西，单纯的理论性质比较强，只是任何学科的研究都要是为现实生活服务，我希望以后能够在应用方向找到更为实际的东西，因此希望以后有现实点的东西能够加在理论问题的研究之中去，能够在四元数矩阵的理论和应用方面有一个多角度，全面性，系统性的了解和分析.

17

潍坊学院本科毕业论文

参考文献

[1]李文亮.四元数矩阵[M].长沙：国防科技大学出版社，2002.06 [2]姜同松，陈丽.四元数体上矩阵的广义对角化.应用数学和力学，1999,20(11)：1203-1210 [3]陈龙玄.四元数矩阵的特征值和特征向量.烟台大学学报，(自然科学与工程版)，(3)(1993)，1-8.[4]谢邦杰.四元数自共轭矩阵与行列式.吉林大学自然科学学报.2(1980)，19-34 [5]谢邦杰.体上矩阵的有理简化形式与Jordan形式的唯一性问题.吉林大学自然科学学报，1978,1:107-116 [6]庄瓦金.体上矩阵理论导引[M].北京：科学出版社，2006.06 [7]黄礼平.四元数矩阵的特征值与奇异值估计.数学研究与评论，1992,12:449-454 [8]黄礼平.体上矩阵可中心化的判别定理.数学进展，1998,27:526-532 [9]李祥明.四元数矩阵理论中的几个概念间的关系.数学学报，1998,41：283-289 [10]李祥明.关于矩阵奇异值分解的注记.数学研究，2000,20：311-312 [11]庄瓦金.四元数体上的矩阵方程.数学学报，1987,30:688-694 [12]庄瓦金.四元数矩阵的特征值与奇异不等式.数学进展，1988,17:403-407 [13]刘建洲.四元数体上的矩阵及其优化理论.数学学报，1992，35:831-838 [14]Zhuang W J.Generalized inverse claes of subblocks of inverse matrices for nonsingular bordered matrices over a skew field.Northeastern Math J,1990,6：310-316 [15]Huang L P.The matrix equation AXBCXDE over the quaternion field.Lin Alg Appl，1996,234:197-208

18

潍坊学院本科毕业论文

致谢

首先，我要衷心感谢我的指导老师宋老师一个多月来对我辛勤的指导和细心的讲说，在我有疑惑不解的时候，总会听到宋老师那具有正确建议性的话语，这不仅给我指明了论文的方向，也是对我的信心带来了极大的鼓舞.在选题，撰写，查找资料，再到反复修改，到最后的定稿，宋老师虽然有很多工作要做，但是还是耐心的给我指导，包括一些文章细节的处理，像排版和格式，这说明老师事无巨细的态度和对学生无限的关爱，对我的帮助真的很大.在学术方面，宋老师有着多年的教学经验，深厚的学术底蕴，有着非常严谨的教学态度，对学生却是蔼可亲.宋老师认真的工作态度和非常正直的为人以及宽广的胸怀，所以他是我们同学心目中的楷模，是我们争相学习的奋斗目标，要学习老师在学术上严谨的态度，对人无距离感的人格魅力.然而这一些经历将影响我以后的工作和学习，使我能够成为一个优秀的人，立足于社会，对自己喜欢的事情从一而终.其次，我要感谢我四年同窗好友5201宿舍的全体成员们，四年的相处让我们对彼此都有了很多的了解，帮助、谈心、聚餐，种种都表现出了我们之间深厚的友谊.在论文的撰写及修改的过程中，她们也是给与了我很多的的建议和帮助，在我因为论文而心烦的时候，她们及时给我鼓励，安抚了我烦躁的心，这对我论文的完成起了重要作用，我在此也向她们表示感谢！

最后，我要对统计学以及数学与信息科学学院的所有老师和同学，感谢他们在四年来对我的的支持和帮助，让我认清了自身的不足和优点，是所有老师的努力付出，才有了我今天的成绩，我再次奉上最真挚的谢意.

19

毕业论文

毕业论文

毕业论文

毕业论文

毕业论文

毕业论文

毕业论文

毕业论文

毕业论文

毕业论文

《毕业论文.doc》

将本文的Word文档下载到电脑，方便编辑。

推荐度：

点击下载文档