$\mathscr{A}$ -矩陣

任給數(shù)域P上n維空間V上線性變換 $\mathscr{A}$ ,已定義過P上 $\mathscr{A}$ 的多項式,即 $\forall f(\lambda)\in P[\lambda]$ , $f(\lambda)=a_k\lambda^k+a_{k-1}\lambda^{k-1}+\cdots+a_1\lambda+a_0$ ,稱 $f(\mathscr{A})=a_k\mathscr{A}^k+a_{k-1}\mathscr{A}^{k-1}+\cdots+a_1\mathscr{A}+a_0\mathscr{E}$ 為P上 $\mathscr{A}$ 的多項式,其中 $\mathscr{E}$ 為V上恒等變換, $f(\mathscr{A})$ 仍為V上線性變換

定義：對P上任意 $\lambda$ -矩陣 $K(\lambda)=(a_{ij}(\lambda))_{m\times l},a_{ij}(\lambda)\in P[\lambda]$ ,令 $K(\mathscr{A})=(a_{ij}(\mathscr{A}))_{m\times l}$ ,稱為P上的一個 $\mathscr{A}$ -矩陣

例：

$K(\lambda)=\begin{pmatrix}\lambda^2+1&\lambda-1\\3&\lambda^3+\lambda\end{pmatrix}$ , $K(\mathscr{A})=\begin{pmatrix}\mathscr{A}^2+\mathscr{E}&\mathscr{A}-\mathscr{E}\\3\mathscr{E}&\mathscr{A}^3+\mathscr{A}\end{pmatrix}$

若設(shè) $F(\lambda)=\lambda E-B$ ,稱為B的特征矩陣,設(shè) $B=(b_{ij})_{n\times n}$ ,則

$F(\lambda)=\lambda E-B=\begin{pmatrix}\lambda-b_{11}&-b_{12}&\cdots&-b_{1n}\\ -b_{21}&\lambda-b_{22}&\cdots&-b_{2n}\\ \vdots&\vdots& &\vdots\\ -b_{n1}&-b_{n2}&\cdots&\lambda-b_{nn}\end{pmatrix}$

$F(\mathscr{A})=\begin{pmatrix}\mathscr{A}-b_{11}\mathscr{E}&-b_{12}\mathscr{E}&\cdots&-b_{1n}\mathscr{E}\\ -b_{21}\mathscr{E}&\mathscr{A}-b_{22}\mathscr{E}&\cdots&-b_{2n}\mathscr{E}\\ \vdots&\vdots& &\vdots\\ -b_{n1}\mathscr{E}&-b_{n2}\mathscr{A}&\cdots&\mathscr{A}-b_{1n}\mathscr{E}\end{pmatrix}?$

矩陣運算及行列式定義中只用到元素的加法和乘法,而 $\mathscr{A}?$ 的多項式有加法和乘法

與 $\lambda$ -矩陣一樣, $\mathscr{A}$ -矩陣也有加法、乘法及"數(shù)量"乘法(用 $\mathscr{A}$ 的多項式作為元素與 $\mathscr{A}$ -矩陣,或與數(shù)字矩陣作"數(shù)量"乘法),也有與數(shù)字矩陣、 $\lambda$ -矩陣類似的運算性質(zhì),也可定義 $\mathscr{A}$ -矩陣的行列式,也有與數(shù)字行列式相同的性質(zhì),如行列式乘法定理、伴隨矩陣的存在性等

用 $\mathscr{A}$ -矩陣運算可將 $F(\mathscr{A})$ 表為

對 $f(\lambda),g(\lambda)\in P[x]$ ,令 $h(\lambda)=f(\lambda)+g(\lambda),p(\lambda)=f(\lambda)g(\lambda)$

則 $h(\mathscr{A})=f(\mathscr{A})+g(\mathscr{A}),p(\mathscr{A})=f(\mathscr{A})g(\mathscr{A})$

同時,對 $\lambda$ -矩陣, $K(\lambda)_{m\times k},L(\lambda)_{m\times k}$ ,若 $H(\lambda)=K(\lambda)+L(\lambda)$

則 $H(\mathscr{A})=K(\mathscr{A})+L(\mathscr{A})$

對 $K(\lambda)_{m\times s},L(\lambda)_{s\times k}$ ,若 $M(\lambda)=K(\lambda)L(\lambda)$

則 $M(\mathscr{A})=K(\mathscr{A})L(\mathscr{A})$

對V上的一個線性變換 $\mathscr{A}?$ ,設(shè)它在基 $\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n?$ 下的矩陣為 $A'?$

$\mathscr{A}(\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n)=(\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n)A'$

設(shè) $A=(a_{ij})$

則 $\mathscr{A}\varepsilon_1=a_{11}\varepsilon_1+a_{12}\varepsilon_2+\cdots+a_{1n}\varepsilon_n=a_{11}\mathscr{E}\varepsilon_1+a_{12}\mathscr{E}\varepsilon_2+\cdots+a_{1n}\mathscr{E}\varepsilon_n?$

$\mathscr{A}\varepsilon_2=a_{21}\varepsilon_1+a_{22}\varepsilon_2+\cdots+a_{2n}\varepsilon_n=a_{21}\mathscr{E}\varepsilon_1+a_{22}\mathscr{E}\varepsilon_2+\cdots+a_{2n}\mathscr{E}\varepsilon_n$

$\cdots$

$\mathscr{A}\varepsilon_1=a_{n1}\varepsilon_1+a_{n2}\varepsilon_2+\cdots+a_{nn}\varepsilon_n=a_{n1}\mathscr{E}\varepsilon_1+a_{n2}\mathscr{E}\varepsilon_2+\cdots+a_{nn}\mathscr{E}\varepsilon_n$

即 $\mathscr{A}\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\vdots\\\varepsilon_n\end{pmatrix}=A\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\vdots\\\varepsilon_n\end{pmatrix}$

注：可用 $\mathscr{A}$ -矩陣的形式表達式寫出

矩陣A稱為 $\mathscr{A}$ 在基 $\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n$ 下的左矩陣

$\mathscr{A}$ 在同一基 $\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n$ 下的矩陣A'和左矩陣A互為轉(zhuǎn)置關(guān)系,有相同特征多項式

$\mathscr{A}$ 在不同基下的矩陣是相似的,它們對應(yīng)的轉(zhuǎn)置也相似,即 $\mathscr{A}$ 在不同基下的左矩陣也相似,故 $\mathscr{A}$ 在任何基下的矩陣及左矩陣的特征多項式都相等,都是 $\mathscr{A}$ 的特征多項式

或 $(\mathscr{A}E-\mathscr{E}A)=\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\vdots\\\varepsilon_n\end{pmatrix}=O$

注：左端為形式寫法,是 $\mathscr{A}$ -矩陣與向量元素的矩陣的"乘法",不是 $\mathscr{A}$ -矩陣的乘法

$\forall \mathscr{A}$ -矩陣 $K(\mathscr{A})=(k_{ij}(\mathscr{A}))_{m\times n}$ 及向量矩陣 $\begin{pmatrix}\xi_1\\\xi_2\\\vdots \\\xi_n\end{pmatrix}$ ,

稱 $K(\mathscr{A})\begin{pmatrix}\xi_1\\\xi_2\\\vdots\\\xi_n\end{pmatrix}=\begin{pmatrix}k_{11}\xi_1+k_{12}\xi_2+\cdots+k_{1n}\xi_n\\ k_{12}\xi_1+k_{22}\xi_2+\cdots+k_{2n}\xi_n\\ \vdots\\ k_{n1}\xi_1+k_{n2}\xi_2+\cdots+k_{nn}\xi_n\end{pmatrix}?$

為 $\mathscr{A}$ -矩陣的形式寫法,與數(shù)字矩陣的形式寫法一樣,有性質(zhì)：

1. $(K(\mathscr{A})_{m\times s}L(\mathscr{A})_{s\times k})\begin{pmatrix}\xi_1\\\xi_2\\\vdots\\\xi_k\end{pmatrix}=K(\mathscr{A})\begin{bmatrix}L(\mathscr{A})\begin{pmatrix}\xi_1\\\xi_2\\\vdots\\\xi_n\end{pmatrix}\end{bmatrix}$

2. $[K(\mathscr{A})_{m\times k}+L(\mathscr{A})_{m\times k}]\begin{pmatrix}\xi_1\\\xi_2\\\vdots\\\xi_n\end{pmatrix}=K(\mathscr{A})\begin{pmatrix}\xi_1\\\xi_2\\\vdots\\\xi_n\end{pmatrix}+L(\mathscr{A})\begin{pmatrix}\xi_1\\\xi_2\\\vdots\\\xi_n\end{pmatrix}$

3.設(shè) $f(\mathscr{A})$ 是一個 $\mathscr{A}$ -多項式,則

$[f(\mathscr{A})K(\mathscr{A})]\begin{pmatrix}\xi_1\\\xi_2\\\vdots\\\xi_n\end{pmatrix}=K(\mathscr{A})\begin{bmatrix}K(\mathscr{A})\begin{pmatrix}\xi_1\\\xi_2\\\vdots\\\xi_n\end{pmatrix}\end{bmatrix}$

注： $\mathscr{A}$ -矩陣的形式寫法與數(shù)字矩陣的形式有不同性質(zhì)

例：對可逆的數(shù)字矩陣 $T_{n\times n}$ 及一組基 $\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n$ ,

作 $\begin{pmatrix}\eta_1\\\eta_2\\\vdots\\\eta_n\end{pmatrix}=T\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\vdots\\\varepsilon_n\end{pmatrix}?$

則 $\eta_1,\eta_2,\cdots,\eta_n$ 仍是一組基

對可逆的 $\mathscr{A}$ -矩陣 $K(\mathscr{A})_{n\times n}$

即存在 $\mathscr{A}$ -矩陣 $L(\mathscr{A})_{n\times n}$ 使 $L(\mathscr{A})K(\mathscr{A})=K(\mathscr{A})L(\mathscr{A})=E$

對基 $\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n$ 作形式寫法

$K(\mathscr{A})\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\vdots\\\varepsilon_n\end{pmatrix}=\begin{pmatrix}\eta_1\\\eta_2\\\vdots\\\eta_n\end{pmatrix}?$

可能 $\eta_1,\eta_2,\cdots,\eta_n?$ 不是基,可能有 $\eta_i=0?$

例：設(shè) $\mathscr{A}\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\varepsilon_3\end{pmatrix}=\begin{pmatrix}4&6&-15\\1&3&-5\\1&2&4\end{pmatrix}\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\varepsilon_3\end{pmatrix}$

$Q(\lambda)=\begin{pmatrix}1&-\lambda+3&-5\\0&1&-1\\0&0&1\end{pmatrix}$

$|Q(\lambda)|=1$ ,故 $Q(\lambda)$ 是可逆 $\lambda$ -矩陣

設(shè) $Q(\lambda)L(\lambda)=L(\lambda)Q(\lambda)=E$

則 $Q(\mathscr{A})L(\mathscr{A})=L(\mathscr{A})Q(\mathscr{A})=\mathscr{E}$

即 $Q(\mathscr{A})$ 是可逆矩陣

$\begin{pmatrix}\eta_1\\\eta_2\\\eta_3\end{pmatrix}=Q(\mathscr{A})\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\varepsilon_3\end{pmatrix}$

$=\begin{pmatrix}\varepsilon_1+(-\mathscr{A}+3\mathscr{E})\varepsilon_2-5\varepsilon_3\\\varepsilon_2-\varepsilon_3\\\varepsilon_3\end{pmatrix}$

$=\begin{pmatrix}\varepsilon_1+(-(\varepsilon_1+3\varepsilon_2-5\varepsilon_3)+3\varepsilon_2)-5\varepsilon_3\\\varepsilon_2-\varepsilon_3\\\varepsilon_3\end{pmatrix}$