多項式行列

テンプレート:Distinguish テンプレート:複数の問題 数学における多項式行列（たこうしきぎょうれつ、テンプレート:Lang-en-short）は、多項式（一変数あるいは多変数）を成分とする行列 (matrix of polynomial) を言う。この場合の「行列」は一般の矩形行列でもよいが、（多項式として）乗法が自由に行えないことは不便であるので、正方行列の範囲で考えることもよくある。

あるいは「多項式行列とは、行列係数の多項式テンプレート:Efn2のことである」と言ってもよいテンプレート:Efn2（抽象代数学の言葉を用いれば、係数環を テンプレート:Mvar として、行列環 テンプレート:Math と多項式環 テンプレート:Math は自然に環同型であるテンプレート:Efn2と言い表せる）。すなわち一般に、一変数 テンプレート:Mvar に関する次数 テンプレート:Mvar の多項式行列 テンプレート:Mvar は、定数（スカラー）の成分を持つ同じ型の行列 テンプレート:Mvar (テンプレート:Math) で テンプレート:Mvar は零行列でないものとして $$P=\sum _{n=0}^p{A}_n{x}^n=A_0+A_{1}x+A_2{x}^2+\cdots +A_p{x}^p$$ の形に書くことができるテンプレート:Efn2。例えば、$$\left(\begin{array}{ccc}1& x^2& x\\ 0& 2x& 2\\ 3x+2& x^2-1& 0\end{array}\right)=\left(\begin{array}{ccc}1& 0& 0\\ 0& 0& 2\\ 2& -1& 0\end{array}\right)+\left(\begin{array}{ccc}0& 0& 1\\ 0& 2& 0\\ 3& 0& 0\end{array}\right)x+\left(\begin{array}{ccc}0& 1& 0\\ 0& 0& 0\\ 0& 1& 0\end{array}\right)x^2$$ は テンプレート:Math の二次多項式行列である。

性質

• 体上の多項式行列は、その行列式がテンプレート:Ill2の非零元に等しいときユニモジュラであるといい、そのときやはり多項式行列を逆行列に持つ。明らかなことだが、一次以上の任意の多項式の逆数はもはや多項式でなく有理式となるから、テンプレート:Math ユニモジュラ多項式行列（ユニモジュラ多項式）は次数零（つまり非零定数多項式）に限ることに注意。
• 複素数体上の多項式行列 テンプレート:Mvar の根全体の成す集合は、複素数平面において テンプレート:Math となるような点全体の成す集合に一致する。

通常の（つまり成分がスカラーの）正方行列 テンプレート:Mvar に対し、変数 テンプレート:Mvar を係数体の任意の値をとるスカラーと看なすとき、多項式行列 テンプレート:Math は行列 テンプレート:Mvar の特性行列、その行列式 テンプレート:Math は行列 テンプレート:Mvar の特性多項式（固有多項式）と呼ばれる。

参考文献

• E. V. Krishnamurthy, Error-free Polynomial Matrix computations, Springer Verlag, New York, 1985