2020-06-15 有理分式矩阵及其互质分解

有理分式：两个多项式 $p(s)$ 和 $q(s)$ 之比 $p(s)/q(s)$是一个有理分式；
有理分式矩阵：每一项都是有理分式的矩阵；
有理分式矩阵的右分解：$W(s)=N(s)D^{-1}(s)$；
有理分式矩阵的左分解：$W(s)=L^{-1}(s)H(s)$；

---

左互质：$[A_1(s)A_2(s)]$可以化为Smith标准型为$[I0]$，则$A_1(s)$和$A_2(s)$为左互质；
右互质：$[A_1(s);A_2(s)]$可以化为Smith标准型为$[I;0]$，则$A_1(s)$和$A_2(s)$为右互质；
注：互质的概念就是最大公因式为与s无关的非零常数

---

有理分式矩阵的右互质分解：$W(s)=N(s)D^{-1}(s)$且$N(s)$和$D(s)$为右互质；
有理分式矩阵的左互质分解：$W(s)=L^{-1}(s)H(s)$且$L(s)$和$H(s)$为左互质；
$(sI-A{)}^{-1}B$的右既约分解：既约=互质=不可简约。

---

Smith标准型：经过有限次初等变换后化为对角型矩阵，且下一个对角可被上一个对角整除；
幺模阵：可逆的多项式方阵；
初等变化：互换，乘数，相加；