[詹兴致矩阵论习题参考解答]习题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.

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. \eex$$ 又由 $$\bex a_{ij}b_{jk}\leq \sum_{l=1}^n a_{il}b_{lk}=\delta_{ik} \eex$$ 知 $$\bex k\neq i\ra b_{jk}=0. \eex$$ 又 $B$ 可逆, 而 $B$ 的第 $j$ 行仅有一个正元素 $b_{ji}$. 根据 $BA=I_n$, 我们可重复上述推理, 得到 $$\bex k\neq j\ra a_{ik}=0. \eex$$ 这样, $A$ 的第 $i$ 行也仅有一个正元素 $a_{ij}$. 如此, $A$ 的每一行均只有一个正元素. 因为 $A$ 可逆, 这些正元素 $a_1,\cdots,a_n$ 分布于不同的列, 设这些列为 $$\bex \sigma(1),\cdots, \sigma(n). \eex$$ 则 $$\bex A=\diag(a_1,\cdots,a_n)P, \eex$$ 其中 $P$ 为置换阵, 其元素仅在 $(\sigma(i),i)$ 的位置上为 $1$. 综上, $A$ 为对角元为正的对角阵乘以任一置换阵.

目录
相关文章
[詹兴致矩阵论习题参考解答]习题7.1
1. (Maybee) 设 $A$ 是一个树符号模式. 证明:   (1). 若 $A$ 的每个简单 $2$-圈都是正的, 则对于任何 $B\in Q(A)$, 存在可逆的实对角矩阵 $D$ 使得 $D^{-1}AD$ 为对称矩阵.
631 0
[詹兴致矩阵论习题参考解答]习题7.3
3. 一个 $n$ 阶符号模式方阵 $A$ 称为谱任意模式, 如果每个首一的 $n$ 次实多项式都是 $Q(A)$ 中某个矩阵的特征多项式. 研究谱任意模式.       证明: Open problems.
524 0
[詹兴致矩阵论习题参考解答]习题7.6
6. 举例说明: 存在那样的实方阵 $A$, $A$ 的零元素的个数大于 $A$ 的 Jordan 标准形的零元素的个数.       解答: 想法就是利用第 5 节的 Jordan 标准形的组合刻画.
646 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$$ 下的最小最大值.
590 0
|
资源调度
[詹兴致矩阵论习题参考解答]习题6.7
7. 设 $A$ 是个非负幂零矩阵, 即存在正整数 $p$ 使得 $A^p=0$. 则 $A$ 置换相似于一个上三角矩阵.       证明: 由 $A^p=0$ 知 $\sigma(A)=0$, 而 $\rho(A)=0$.
742 0
|
资源调度
[詹兴致矩阵论习题参考解答]习题5.3
3. (Bhatia-Davis) 设 $A,B\in M_n$ 为酉矩阵, 则 $$\bex \rd(\sigma(A),\sigma(B))\leq \sen{A-B}_\infty. \eex$$     证明: [见 R.
665 0
[詹兴致矩阵论习题参考解答]习题4.16
16. (Fan-Hoffman) 设 $A\in M_n$, $A=UP$ 为极分解, $U$ 为酉矩阵, $P$ 为半正定矩阵. 若 $W\in M_n$ 为酉矩阵, 则 $$\bex \sen{A-U}\leq \sen{A-W}\leq \sen{A+U} \eex$$ 对任何酉不变范数成立.
607 0
[詹兴致矩阵论习题参考解答]习题4.12
12. 设 $p,q$ 为正实数, 满足 $\dps{\frac{1}{p}+\frac{1}{q}=1}$, 则对 $A,B\in M_n$ 和酉不变范数有 $$\bex \sen{AB}\leq \sen{|A|^p}^\frac{1}{p} \sen{|B|^q}^\frac{1}{q}.
589 0
[詹兴致矩阵论习题参考解答]习题4.11
11. $M_n$ 上的范数 $\sen{\cdot}$ 称为是对称的, 若 $$\bex \sen{ABC}\leq \sen{A}_\infty\sen{C}_\infty \sen{B},\quad \forall\ A,B,C\in M_n.
577 0
[詹兴致矩阵论习题参考解答]习题4.17
17. (Ando-Zhan) 设 $A,B\in M_n$ 半正定, $\sen{\cdot}$ 是一个酉不变范数, 则 $$\bex \sen{(A+B)^r}\leq \sen{A^r+B^r},\quad (0
765 0