【矩阵论】5.复合矩阵

pp猪经纪人

已于 2024-05-14 12:17:46 修改

阅读量921

点赞数 14

文章标签：矩阵

于 2024-05-13 17:28:53 首次发布

本文链接：https://blog.csdn.net/weixin_42438398/article/details/138804328

版权

5. 复合矩阵

设 $A$ 是 $m\times n$ 矩阵. 对 $1\leqslant i_1<\cdots<i_k\leqslant m,1\leqslant j_1<\cdots<j_l\leqslant n$ ,
$A[i_1,\cdots,i_k|j_1,\cdotp\cdotp\cdotp,j_l]$ 记 $A$ 中由第 $i_1,\cdotp\cdotp\cdotp,i_k$ 共 $k$ 行和第 $j_1,\cdotp\cdotp\cdotp,j_l$ 共 $l$ 列
按自然顺序排列后组成的 $k\times l$ 子矩阵.
$A(i_1,\cdotp\cdotp\cdotp,i_k|j_1,\cdotp\cdotp\cdotp,j_l)$ 记从 ${A}$ 中划去第 $i_1,\cdotp\cdotp\cdotp,i_k$ 共 $k$ 行和第 $j_1,\cdots,j_l$ 共 $l$ 列后
余下的 $(m-k)\times(n-l)$ 子矩阵.
$A[i_1,\cdots,i_k|j_1$ $jl \cdots,j_{l})$ 记从 $k\times n$ 子矩阵 $A[i_1,\cdots,i_k|1,\cdots,n]$ 中划去第 $j_1,\cdots,j_l$ 列后
余下的 $k\times(n-l)$ 子矩阵.
$A(i_1,\cdotp\cdotp\cdotp,i_k|j_1,\cdotp\cdotp\cdotp,j_l]$ 记从 $m\times l$ 子矩阵 ${A}[1,\cdotp\cdotp\cdotp,m|j_1,\cdots,j_i]$ 中划去第 $i_1,\cdots,i_k$ 行后
余下的 $(m-k)\times l$ 子矩阵.

5.1 复合矩阵的定义和性质

设 $A$ 是 $m\times n$ 矩阵. 定义 $Q_{k,m}=\{(i_{1},\ldots,i_{k})|1\leq i,<\cdots<i_{k}\leq n\}$
对于 $1\leqslant k\leqslant\min\{m,n\}$ , 定义 $A$ 的 $k$ 级复合矩阵 $C_k(A)$ 如下：

$C_k(A)$ 是 $\binom mk\times\binom nk$ 矩阵，它分别以 $\alpha\in Q_{k,m}$ 和 ${\beta}\in Q_{k.n}$ 作为行标和列标，并均按字典式排序, $C_k({A})$ 的 $(\boldsymbol\alpha,\boldsymbol{\beta})$ 元是 $\det\boldsymbol{A}[\boldsymbol{\alpha}|\boldsymbol{\beta}].$

例，当 $m = n = 3, k = 2$ 时， $C_2(A)$ 是 $3 \times 3$ 矩阵：
$C_2(A)=\begin{pmatrix}\det A[1,2\mid1,2]&\det A[1,2\mid1,3]&\det A[1,2\mid2,3]\\\det A[1,3\mid1,2]&\det A[1,3\mid1,3]&\det A[1,3\mid2,3]\\\det A[2,3\mid1,2]&\det A[2,3\mid1,3]&\det A[2,3\mid2,3]\end{pmatrix}.$

特别地，总有 $C_1({A})={A}$ ; 当 $m = n$ 时 ${C}_n({A})=(\det{A})$ (作为 1 阶方阵).

性质： $\begin{aligned}&(1)(C_k(A))^T=C_k(A^T)\quad(2)C_k(I_n)=I_{\binom nk}\\&(3)D\text{是对角阵}\Rightarrow C_k(D)\text{也是对角阵}\\&\text{且}~C_k(D)\text{的对角元集合}=D\text{中对角元集合中所有k个乘积}\\&(4)上述(3)中结论对下三角(上三角)成立。\end{aligned}$

定理 5.1.1 设 $A$ 和 $B$ 分别是 $m\times p$ 和 $p\times n$ 矩阵， $1\leqslant k\leqslant\min\{ m,p,n\}$ , 则有 $C_{k}\left ( AB\right ) = C_{k}\left ( A\right ) C_{k}\left ( B\right ) ;$

证：左 $(\alpha,\beta)$ 元 $=\det(AB[\alpha|\beta])$
右 $(\alpha,\beta)$ 元 $=\sum_{V\in Q_{k,p}}C_{k}(A)_{(\alpha,v)}C_{k}(B)_{(v,\beta)}\underrightarrow{\text{Cauchy- Binet}}\sum_{v\in Q_{k,p}}\det A_{[\alpha|v]}\det B_{(v,\beta)}$

定理 5.1.2 设 $A$ 是 $n$ 阶(复)方阵， $\mathrm{Spec}\boldsymbol{A}=\left\{\lambda_1,\cdots,\lambda_n\right\}$ ,
则 $\mathrm{Spec}~\boldsymbol{C}_k(\boldsymbol{A})=\{\lambda_{i_1}\cdots\lambda_{i_k}\mid1\leqslant i_1<\cdots<i_k\leqslant n\}.$

证 $A$ 必相似于上三角方阵 $T$ , 即有可逆方阵 $S$ , 使 $SAS^{-1}\:=\:T\:=\:\begin{pmatrix}\lambda_1&&&*\\&\ddots&&\\\mathbf{0}&&&\lambda_n\end{pmatrix}.$
因此 $,\boldsymbol{C}_k(T)=\boldsymbol{C}_k(\boldsymbol{S})\boldsymbol{C}_k(\boldsymbol{A})(\boldsymbol{C}_k(\boldsymbol{S}))^{-1}.$ 但注意到上三角方阵 $T$ 的 $k$ 级复合矩 $C_k(T)$ 也一定是上三角方阵(因为若 $\alpha,\beta\in Q_{k.n}$ , 且按字典式排序 $,\alpha$ 在 $\beta$ 之后，则不难验证 $\det T[\alpha|\beta]=0$ ),而且这个上三角方阵 $C_k(T)$ 的主对角线上元素的集合正是 $\{\left\{\lambda_{i_1}\cdots\lambda_{i_k}\mid1\leqslant i_1<\cdots<i_k\leqslant n\right\}.$

5.2 加性复合矩阵

定义 5.2.1 设 $A$ 是 $n$ 阶方阵 $, t$ 是不定元. 记 $C_{k}\left ( I_{n}\:+ \:t\mathbf{A} \right )$ = $\boldsymbol{I}_{{\binom nk}}$ + $t\Delta _{k}\left ( \boldsymbol{A}\right )$ + $t^{2}\boldsymbol{R}$ ,
其中 $\Delta_k(\boldsymbol{A})\in M_{\binom nk}(\boldsymbol{C}),\boldsymbol{R}\in M_{\binom nk}(\mathbf{C}[t]).$ 称 $\binom nk$ 阶方阵 $\Delta_k(\boldsymbol{A})$ 为 $\boldsymbol{A}$ 的 $k$ 级加性复合矩阵.

易知 $k = 1$ 时， $\Delta_1(\boldsymbol{A})=\boldsymbol{A};$ 当 $k = n$ 时 $,\Delta_n(\boldsymbol{A})=\mathrm{tr}\boldsymbol{A}.$

证 $C_1(I+tA)=I+tA,C_n(I+tA)=\det(I+tA)$ 中 $\begin{pmatrix}f(t)+1&&t多项式\\&g(t)+1&\\t多项式& &h(t)+1\end{pmatrix}$ ， $t$ 的一次项仅在 $n$ 个对角元乘积 $(ta_{11}+1)\cdots(ta_{m}+1)$ 中, 即 $t r (A)$ 。

性质: 若 $A$ 是下三角,则 $\Delta_k(A)$ 也是下三角，且 $\Delta_k(A)$ 的对有元集合 $= A$ 的对角元集合中所有 $k$ 个元之和.

例 $A=\begin{pmatrix}1&2&3\\&1&2\\&&3\end{pmatrix},k=2$
则 $\begin{aligned}C_2(I_2+tA)&=\begin{pmatrix}(t+1)^2&2t(t+1)&t^2-3t\\0&(t+1)(t+1)&2t(3t+1)\\0&0&(t+1)(3t+1)\end{pmatrix}\\&=I_{\binom 32}+t\begin{pmatrix}2&2&-3\\0&4&2\\0&0&4\end{pmatrix}+t^2\begin{pmatrix}1&2&1\\0&3&6\\0&0&3\end{pmatrix}\end{aligned}$

定理 5.2.2 设 $A$ 和 $B$ 都是 $n$ 阶方阵，则

$\Delta_{k}(A+B)=\Delta_{k}(A)+\Delta_{k}(B);$
对可逆方阵 $S,\Delta_k(SAS^{-1})=C_k(S)\Delta_k(A)C_k(S)^{-1}$ , 从而由 $A$ 与 $B$ 相似，
可得 $\Delta_k(A)$ 与 $\Delta_k(B)$ 相似；
若记 $Spec\boldsymbol{A}=\{\lambda_1,\cdots,\lambda_n\}$ ,则 $Spec~\Delta_k(\boldsymbol{A})=\{\lambda_{i_1}+\cdots+\lambda_{i_k}\mid1\leqslant i_1<\cdots<i_k\leqslant n\}.$

证 (1)将等式
$C_k((I+tA)(I+tB))=C_k(I+tA)C_k(I+tB)$ 两边分别按 $t$ 展开后，得
右边 $=(I+t\Delta_k(\boldsymbol{A})+t^2\boldsymbol{R})(I+t\Delta_k(\boldsymbol{B})+t^2\boldsymbol{S})=I+t(\Delta_{k}(A)+\Delta_{k}(B))+t^{2}(\cdots),$
左边 $=C_{k}(I+t(A+B)\:+t^{2}AB)=\:I\:+\:t\Delta_{k}\left(A+B\right)+t^{2}\left(\cdots\right).$
比较两边 $t$ 的系数即得(1).
(2) $~~\begin{aligned}C_{k}\left(\boldsymbol{S}(\boldsymbol{I}+t\boldsymbol{A})\boldsymbol{S}^{-1}\right)&=\boldsymbol{C}_{k}\left(\boldsymbol{S}\right)\boldsymbol{C}_{k}\left(\boldsymbol{I}+t\boldsymbol{A}\right)\left(\boldsymbol{C}_{k}\left(\boldsymbol{S}\right)\right)^{-1}\\&=\boldsymbol{I}+t\boldsymbol{C}_{k}\left(\boldsymbol{S}\right)\Delta_{k}\left(\boldsymbol{A}\right)\left(\boldsymbol{C}_{k}\left(\boldsymbol{S}\right)\right)^{-1}+t^{2}\left(\boldsymbol{\cdots}\right).\end{aligned}$
(3) 和讨论 $C_{k}(A)$ 的谱一样，设可逆方阵 $S$ 使 $SAS^{-1}=T=\begin{pmatrix}\lambda_1&&&*\\&\ddots&&\\\mathbf{0}&&&\lambda_n\end{pmatrix}.$
由 (2) 得 $\Delta_k(\boldsymbol{A})$ 与 $\Delta_k(T)$ 相似. 但 $C_k(I+t\boldsymbol{T})=\boldsymbol{I}+t\Delta_k(\boldsymbol{T})+t^2(\cdots)$ 的左边是上三角方阵，其主对角线上元素的集合是 $\{(1+t\lambda_{i_1})\cdots(1+t\lambda_{i_k})\mid1\leqslant i_1<\cdots<i_k\leqslant n\}$ , 所以右边的 $\Delta_k(T)$ 也是上三角方阵，其主对角线上元素的集合正是 $\{\lambda_{i_1}+\cdots$ $+\lambda_{i_k}\mid1\leqslant i_1<\cdotp\cdotp\cdotp<i_k\leqslant n\mid=Spec~\Delta_k(T)=Spec~\Delta_k(A).$

pp猪经纪人

关注

14
点赞
踩
9

收藏

觉得还不错? 一键收藏
0
评论
【矩阵论】5.复合矩阵

设AAA是m×nm\times nm×n矩阵. 定义Qkmi1ik∣1≤i⋯ik≤nQkm{(i1ik∣1≤i⋯ik≤n对于1⩽k⩽min⁡mn1⩽k⩽minmn, 定义AAA的kkk级复合矩阵CkAC_k(A)CkACkAC_k(A)CkA是mk×nkkm×kn矩阵，它分别以α∈Qkmα∈Qk。
复制链接

扫一扫