复旦高等代数II（18级）每周一题

本学期将继续进行高等代数每周一题的活动。计划从第一教学周开始，到第十五教学周结束，每周的周末公布一道思考题（预计15道），供大家思考和解答。每周一题将通过“高等代数官方博客”（以博文的形式）和“高等代数在线课程18级课群”（以课群话题的形式）这两个渠道同时发布。有兴趣的同学可以将每周一题的解答写在纸上、拍成图片，并上传到每周一题对应的课群话题中。本人会对每周一题的解答进行批改和评价，并将优秀解答标记出来推荐给全班同学。

[问题2019S01]  设 $A$ 为 $n$ 阶复方阵, 满足 $(A')^m=A^k$, 其中 $m,k$ 是互异的正整数. 证明: $A$ 的特征值为 $0$ 或单位根.

[问题2019S02]  设 $V$ 为二维实线性空间, $\varphi,\psi$ 是 $V$ 上两个非零线性变换, 满足 $\varphi\psi+\psi\varphi=0$. 证明: 若 $V$ 只有平凡的 $\varphi-$不变子空间, 则 $V$ 必有非平凡的 $\psi-$不变子空间.

[问题2019S03]  设 $n\,(n\geq 2)$ 阶方阵 $A=\begin{pmatrix} 0 & a & a & \cdots & a & a \\ b & 0 & a & \cdots & a & a \\ b & b & 0 & \cdots & a & a \\ b & b & b & \cdots & 0 & a \\ b & b & b & \cdots & b & 0 \\ \end{pmatrix}$, 其中 $a,b$ 是复数. 试求 $A$ 可对角化的充要条件.

[问题2019S04]  设 $A,B$ 为 $n$ 阶方阵, 满足: $A^2-2AB+B^2=0$.

(1) 若 $n=2$, 证明: $AB=BA$;

(2) 若 $n\geq 3$, 举例说明: $AB=BA$ 不一定成立.

[问题2019S05]  设 $A$ 为数域 $K$ 上的 $n$ 阶方阵或具有相同行列分块方式的分块矩阵.

(1) 证明: 以下三种变换都是相似变换, 称为相似初等变换:

(1.1) 对换 $A$ 的第 $i$ 行与第 $j$ 行, 再对换第 $i$ 列与第 $j$ 列;

(1.2) $A$ 的第 $i$ 行乘以非零常数 $c\in K$, 第 $i$ 列乘以 $c^{-1}$;

(1.3) $A$ 的第 $i$ 行乘以常数 $c\in K$ 加到第 $j$ 行上, 第 $j$ 列乘以 $-c$ 加到第 $i$ 列上.

(2) 证明: 任一相似变换都是若干次相似初等变换的复合.

(3) 证明: 以下三种变换都是相似变换, 称为相似分块初等变换:

(3.1) 对换 $A$ 的第 $i$ 分块行与第 $j$ 分块行, 再对换第 $i$ 分块列与第 $j$ 分块列;

(3.2) $A$ 的第 $i$ 分块行左乘非异阵 $M$, 第 $i$ 分块列右乘 $M^{-1}$;

(3.3) $A$ 的第 $i$ 分块行左乘矩阵 $M$ 加到第 $j$ 分块行上, 第 $j$ 分块列右乘 $-M$ 加到第 $i$ 分块列上.

[问题2019S06]  设 $A\in M_n(K)$, $B\in M_{n\times m}(K)$, 分块矩阵 $(B,AB,\cdots,A^{n-2}B,A^{n-1}B)$ 的秩为 $r$. 证明: 存在可逆阵 $P\in M_n(K)$, 使得 $$P^{-1}AP=\begin{pmatrix} A_{11} & A_{12} \\ 0 & A_{22} \\ \end{pmatrix},\,\,\,\,P^{-1}B=\begin{pmatrix} B_1 \\ 0 \\ \end{pmatrix},$$ 其中 $A_{11}\in M_r(K)$, $B_1\in M_{r\times m}(K)$.

[问题2019S07]  设 $A,B,C$ 是 $n$ 阶复矩阵, 满足: $C=AB-BA$, $AC=CA$, $BC=CB$.

(1) 请用 Jordan 标准型理论证明: $C$ 的特征值全为零;

(2) 设 $m_A(\lambda),m_B(\lambda)$ 分别是 $A,B$ 的极小多项式, $k=\min\{\deg m_A(\lambda),\deg m_B(\lambda),n-1\}$, 证明: $C^k=0$.

[问题2019S08]  设 $n$ 阶复矩阵 $A$ 满足: 对任意的正整数 $k$, $\mathrm{tr}(A^k)=r(A)$, 证明: 对任意的正整数 $k$, $A$ 与 $A^k$ 都相似.

[问题2019S09]  设 $A$ 为 $n$ 阶复方阵, $\theta_0$ 是 $\cos x=x$ 在 $(0,\dfrac{\pi}{2})$ 中的唯一解. 证明: 若 $A$ 的特征值全为 $\theta_0$, 则 $A$ 相似于 $\cos A$.

[问题2019S10]  设 $A=(a_{ij})$ 为 $n$ 阶实对称阵, 证明: $A$ 为半正定阵的充要条件是对任意的 $n$ 阶半正定实对称阵 $B=(b_{ij})$, 都有 $\sum\limits_{i=1}^n\sum\limits_{j=1}^na_{ij}b_{ij}\geq 0$ 成立.