第三章矩阵的标准形与若干分解形式-2.docVIP

§5 多项式矩阵的互质性与既约性 一、多项式矩阵的最大公因子 定义3-10 多项式矩阵称为具有相同列数的两个多项式矩阵的一个右公因子，如果存在多项式矩阵和使得： 。 类似地可以定义左公因子。 定义3－11 多项式矩阵称为具有相同列数的两个多项式矩阵的一个最大右公因子（记为gcrd），如果： （1）是的右公因子； （2）的任一右公因子，都是的右乘因子，即存在多项式矩阵，使得。 对任意的与的多项式矩阵与，它们的gcrd都存在。因为 便是一个。 定理3－13 (gcrd的构造定理) 对于给定的和多项式矩阵，如果能找到一个的单模矩阵，使得 3-13 则多项式矩阵，即为和的gcrd。 证明：（1）证明是右公因子。 设，则。 （2）证明是gcrd。 设也是的右公因子，故有 。由3-13式， □ gcrd的求法：对矩阵进行初等行变换，化成即可。而相应的初等矩阵的乘积，即是。 例3-13 设，，求grcd . 解： gcrd的基本性质： （1）不唯一性。若是列数为的多项式矩阵的gcrd，而是任一单模矩阵，则也是的gcrd。 （2）若的gcrd是满秩矩阵或单模矩阵，则其它的gcrd皆为满秩矩阵或单模矩阵。 （3）对于给定的和多项式矩阵，当时，它们所有的gcrd都是满秩矩阵。 （4）若是和多项式矩阵的一个gcrd，则可表示为，这里和分别是n×n和n×m多项式矩阵。 注：可以类似建立两个多项式矩阵的最大左公因子（gcld）的概念。 二、多项式矩阵的互质性 定义3-12 两个具有相同列数的多项式矩阵是右（左）互质的，是指它们的最大右（左）公因子为单模矩阵。 定理3-14（贝佐特（Bezout）判别准则）两个和多项式矩阵为右互质的充分必要条件，是存在两个和多项式矩阵和，使得下面的贝佐特等式成立：。 3-14 证明：（1）必要性：设是的一个gcrd。由于为右互质，所以为单模矩阵。在式子两端同乘以即得所证。 （2）充分性：将代入3-14式，得 ，即是一个单模矩阵。□ 定理3-15 两个和多项式矩阵为右互质的充分必要条件，是矩阵的Smith标准形是；而两个和多项式矩阵为左互质的充分必要条件，是矩阵的Smith标准形是。 证明：（1）必要性：设为右互质的。则由构造定理，存在单模矩阵，使得 ， 且也是单模矩阵。于是有 。 3-20 （2）充分性：由3-20式成立，即得。 三、多项式矩阵的既约性 多项式矩阵的行次数和列次数：设，则的第行次数是，记为；第列次数是，记为。 例3－14 若，则有 ，；，，。 的列次表示式：， 这里，为的数字矩阵，称为列次系数矩阵。它的第列为的第列中相应于的系数组成的列；为低次剩余多项式矩阵，满足。 例3－15 设， 则其列次表示式为 注：的行列式表示：＋次数低于的各项。 的行次表示式：， 这里，为的数字矩阵，称为行次系数矩阵。它的第行为的第行中相应于的系数组成的行；为低次剩余多项式矩阵，满足。 注：的行列式表示：＋次数低于的各项。 定义3－13 设为满秩阶多项式矩阵，如果 ， 则称是列既约的；如果，则称是行既约的。 例3－16 设有满秩多项式矩阵 则有，， 因此这个多项式矩阵是列既约的，但不是行既约的。 定理3－16 若为满秩阶多项式矩阵，则 （1）是列既约的充分必要条件是为满秩的； （2）是行既约的充分必要条件是为满秩的。 证明 由于低次项 故当且仅当即为满秩时，始有， 亦即为列既约的。因而（1）得证。同理可证（2）。 例3－17 对于例3－16的矩阵，可求得其列次表示及行次表示为： 列次表示； 行次表示 因此有， 故由满秩知是列既约的，但因不是满秩的，故不是行既约的。 注：利用初等变换的方法，即右乘或左乘一个单模矩阵，可以将非既约多项式矩阵化成既约的。 例3－18 设， 则满秩但非既约。 取单模矩阵， 而使得 及 都是列既约的。 §6 有理分式矩阵的标准形及其仿分式分解 1．有理分式矩阵（简称为分式矩阵）：矩阵的元素都是有理分式，即 其中与都是的多项式。 注：有理分式组成的空间对于四则运算封闭，所以可以类似于数字矩阵那样定义有理分式矩阵的各种运算及概念。在这里矩阵可逆与矩阵满秩就是等价的概念。 2．有理分式矩阵的标准形 定理3－17 设有理分式矩阵的秩为r (≥1)，则存在及单模多项式矩阵及，使得 ， 其中，都是首一多项式，且满足条件： 1）和互质；2）；3）。 注：叫做的史密斯—麦克米伦（Smith-Mcmillan）标准形。它的意义在于为系统分析，特别是分析多变量系统的极点和零点提供了一种重要的工具。 证明：1）的