定理6-2:设线性多变量时不变动态方程 X=Ax+ Bu y=Cx+ Eu 是正则有理函数G(s)的一个实现。则当且仅当 det(sl-A)=k(G(s)的特征多项式) 或dmA=degG(s) 时,方程F才是不可简约的(可控且可观测的), 其中k为非零常数。 证明:(略) 木*2. det( ) ( ) dim deg X Ax Bu y Cx Eu sI A k A ∧ ∧ ∧ = + = + − = = 设线性多变量时不变动态方程 是正则有理函数G(s)的一个实现。则当且仅当 G(s)的特征多项式 或 G(s) 时，方程FE才是不可简约的（可控且可观测的）, 其中k为非零常数。 定理6-2： 证明： （略）