[詹兴致矩阵论习题参考解答]习题7.5

简介: 5. 元素属于 $\sed{0,*}$ 的矩阵称为零模式矩阵. 设 $A$ 是零模式矩阵, 用 $Q_\bbF(A)$ 记元素属于域 $\bbF$ 的具有零模式 $A$ 的矩阵的集合, 即若 $B\in Q_F(A)$, $B=(b_{ij})$, $A=(a_{ij})$, 则 $b_{ij}=0$ 当且仅当 $a_{ij}=0$.

5. 元素属于 $\sed{0,*}$ 的矩阵称为零模式矩阵. 设 $A$ 是零模式矩阵, 用 $Q_\bbF(A)$ 记元素属于域 $\bbF$ 的具有零模式 $A$ 的矩阵的集合, 即若 $B\in Q_F(A)$, $B=(b_{ij})$, $A=(a_{ij})$, 则 $b_{ij}=0$ 当且仅当 $a_{ij}=0$. 设 $\bbF$ 的元素不少于 $3$ 个. 证明: $Q_\bbF(A)$ 中的每个矩阵非奇异当且仅当 $A$ 置换等价于一个对角元素非零的上三角矩阵.

 

 

 

证明: $\la$: 这很显然. 因为此时对 $\forall\ B\in Q_\bbF(A)$, 其行列式的标准展开式中只有一项不为零. $\ra$: 类似于定理 7.2, $A$ 符号非奇异当且仅当 $\forall\ B\in Q_\bbF(A)$, $B$ 的行列式的标准展开式中只有一项不为零. 事实上, 若有两项非零, 则稍微改下某元素的正负号, 大小即可使 $\det B=0$. 设 $\det B$ 的标准展开式中不为零的项为 $b_{1\sigma(1)},\cdots, b_{n\sigma(n)}$, 则存在置换阵 $P$, 使得 $$\bex PB=\sex{\ba{ccc} c_{11}&&*\\ &\ddots&\\ *&&c_{nn} \ea}\equiv C,\quad c_{ii}=b_{i\sigma(i)}. \eex$$ 对 $1\leq i<j\leq n$, 考虑 $C$ 的展开式中 $$\bex c_{11}\cdots c_{i-1,i-1}c_{ij} c_{i+1,i+1}\cdots c_{j-1,j-1} c_{ji} c_{j+1,j+1}\cdots c_{nn}=0, \eex$$ 而 $$\bex c_{ij}=0\mbox{ 或 }c_{ji}=0. \eex$$ 这样, 不断的对第一行第一列相应的元素进行分析, 我们知 $C$ 的第一行或第一列除第一个元素为均为零. 同理, $C$ 的第二行或第二列除前两个元素外均为零. 等等. 经过行列置换, 我们即发现 $C$ 是以 $c_{ii}$ 为对角元的上三角阵.

目录
相关文章
[詹兴致矩阵论习题参考解答]习题6.15
15. (Hu-Li-Zhan) 秩为 $k$ 的 $n$ 阶对称 $0-1$ 矩阵中 $1$ 的个数可能是哪些数呢?       解答: 见 [Q. Hu, Y.Q. Li, X.Z. Zhan, Possible numbers of ones in $0-1$ matrices wit...
581 0
[詹兴致矩阵论习题参考解答]习题7.3
3. 一个 $n$ 阶符号模式方阵 $A$ 称为谱任意模式, 如果每个首一的 $n$ 次实多项式都是 $Q(A)$ 中某个矩阵的特征多项式. 研究谱任意模式.       证明: Open problems.
536 0
[詹兴致矩阵论习题参考解答]习题7.2
2. 证明引理 7.13.       证明: 用反证法. 若对任一置换阵 $P$, $PA$ 的对角元都至少有一个为零, 则 $A$ 的每条对角线至少含有一个零元素. 由 Frobenius-K\"onig 定理, $A$ 有一个 $r\times s$ 阶的零子矩阵, $r+s=n+1$.
638 0
|
Perl
[詹兴致矩阵论习题参考解答]习题6.9
9. (Hopf) 将 $n$ 阶正矩阵 $A=(a_{ij})$ 的特征值按模从大到小排列为 $$\bex \rho(A)>|\lm_2|\geq \cdot \geq |\lm_n|, \eex$$ 并记 $$\bex \al=\max\sed{a_{ij};1\leq i,j\leq n}, \quad \beta=\min \max\sed{a_{ij};1\leq i,j\leq n}.
532 0
|
资源调度
[詹兴致矩阵论习题参考解答]习题6.10
10. 非本原指标为 $k$ 的 $n$ 阶不可约非负矩阵的正元素的个数可能是哪些数呢?       解答: 只需利用定理 6.28 (Frobenius), 探讨 $$\bex f(x_1,\cdots,x_n)=\sum_{i=1}^n x_ix_{i+1} \eex$$ 在条件 $$\bex x_i>0,\quad\sum_{i=1}^n x_i=n \eex$$ 下的最小最大值.
605 0
[詹兴致矩阵论习题参考解答]习题6.2
2. 设 $A$ 是个非负方阵且存在一个正整数 $p$ 使得 $A^p>0$, 则对所有正整数 $q\geq p$, $A^q>0$.       证明: 不妨设 $n\geq 2$. 由定理 6.
619 0
|
资源调度
[詹兴致矩阵论习题参考解答]习题6.1
1. 怎样的非负矩阵可逆并且其逆也非负?       解答: 设 $A\geq0$ 可逆, 且其逆 $A^{-1}=B\geq 0$. 则 $$\bex I_n=AB=BA. \eex$$ 对 $A$ 的第 $i$ ($1\leq i\leq n$) 列, 由 $A$ 可逆知 $$\bex \exists\ j,\st a_{ij}>0.
521 0
[詹兴致矩阵论习题参考解答]习题6.5
5. (Levinger, 1970) 设 $A$ 是个不可约非负方阵, 则函数 $$\bex f(t)=\rho[tA+(1-t)A^T] \eex$$ 在 $[0,1/2]$ 上递增, 在 $[1/2,1]$ 上递减.
520 0
|
资源调度 Perl
[詹兴致矩阵论习题参考解答]习题5.5
5. (Friedland) 给定 $A\in M_n$, $\lm_i\in \bbC$, $i=1,\cdots,n$. 证明: 存在对角矩阵 $D\in M_n$ 使得 $\sigma(A+D)=\sed{\lm_1,\cdots,\lm_n}$, 并且满足上述条件的对角矩阵 $D$ 只有有限多个.
554 0
[詹兴致矩阵论习题参考解答]习题4.15
15. (Fan-Hoffman) 设 $A,H\in M_n$, 其中 $H$ 为 Hermite 矩阵, 则 $$\bex \sen{A-\Re A}\leq \sen{A-H} \eex$$ 对任何酉不变范数成立.
608 0