复旦大学2019--2020学年第一学期(19级)高等代数I期末考试第八大题解答

Posted torsor

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了复旦大学2019--2020学年第一学期(19级)高等代数I期末考试第八大题解答相关的知识,希望对你有一定的参考价值。

八、(本题10分)  设 $A=(a_{ij})$ 为 $n,(n>1)$ 阶实对称阵, 满足: 每行元素之和都等于零, 并且非主对角元素都小于等于零. 设指标集 $Gamma={1,2,cdots,n}$, 两个指标 $i eq j$ 称为连通的, 如果存在一列指标 $i=i_1,i_2,cdots,i_k=j$, 使得 $a_{i_1i_2}<0$, $a_{i_2i_3}<0$, $cdots$, $a_{i_{k-1}i_k}<0$. 设指标集 $Gamma$ 分成 $m$ 个连通分支 $Gamma_1,Gamma_2,cdots,Gamma_m$, 即同一连通分支内的不同指标相连通, 不同连通分支之间的指标不连通. 证明: $r(A)=n-m$. 

证明  通过行对换以及对称的列对换, 可将连通的指标放在一起, 从而 $A$ 相抵于 (合同于) 实对称阵 $mathrm{diag}{A_1,A_2,cdots,A_m}$, 其中 $A_i$ 是 $n_i$ 阶实对称阵, 满足: 每行元素之和都等于零, 并且非主对角元素都小于等于零. 若 $r(A_i)=n_i-1$ 得证, 则 $$r(A)=sum_{i=1}^mr(A_i)=sum_{i=1}^m(n_i-1)=sum_{i=1}^mn_i-m=n-m.$$ 因此, 我们只要证明: 对满足题目条件的实对称阵 $A$, 当所有指标都连通时, $r(A)=n-1$ 即可. 由线性方程组的求解理论, 这等价于证明: 齐次线性方程组 $Ax=0$ 的解空间 $V_A$ 的维数等于 $1$.

一方面, 设 $alpha=(1,1,cdots,1)‘$, 则由题目条件可知 $mathbb{R}cdotalphasubseteq V_A$. 另一方面, 任取 $Ax=0$ 的一个解 $x_0=(a_1,a_2,cdots,a_n)‘inmathbb{R}^n$, 即 $Ax_0=0$, 则有 $$0=x_0‘Ax_0=sum_{i=1}^na_{ii}a_i^2+2sum_{1leq i<jleq n}a_{ij}a_ia_j.$$ 利用不等式 $2a_ia_jleq a_i^2+a_j^2$ 以及 $a_{ij}leq 0,(forall,i eq j)$ 可得: $$0=x_0‘Ax_0geqsum_{i=1}^na_{ii}a_i^2+sum_{1leq i<jleq n}(a_i^2+a_j^2)a_{ij}=sum_{i,j=1}^na_{ij}a_i^2=sum_{i=1}^n(sum_{j=1}^na_{ij})a_i^2=0.$$ 因此, 上述不等式等号成立, 这当且仅当: 若 $a_{ij}<0$, 则必有 $a_i=a_j$. 由于所有的指标都连通, 故必有 $a_1=a_2=cdots=a_n$, 即 $x_0inmathbb{R}cdotalpha$. 因此, $V_A=mathbb{R}cdotalpha$, 从而 $r(A)=n-dim V_A=n-1$.  $Box$

  (1) 这道试题从代数曲面理论中的一个引理改编而来, 即光滑射影代数曲面上的曲线 (有效除子), 若收缩到一个点或为曲面纤维化的一条纤维, 则它的各连通分支之间的相交数构成的实对称阵是一个半负定矩阵. 在本题中, 可由上述证明的后半部分直接得到 $A$ 为半正定矩阵. 当然, 也可以这样验证: 对任意的 $t>0$, $A+tI_n$ 都是严格对角占优阵且主对角元素全大于零, 则由高代白皮书的例 8.28 可知对任意的 $t>0$, $A+tI_n$ 都是正定矩阵, 再由高代白皮书的例 8.40 可知 $A$ 为半正定矩阵.

(2)  由于本题具有较高的技巧, 故数学学院 19 级同学 (包括 18 级转专业同学) 中没有人完全做出, 其中得到 4 分的同学有: 蒋安 (18 级转专业), 陈建翔 (18 级转专业), 邹思远 (18 级转专业).

以上是关于复旦大学2019--2020学年第一学期(19级)高等代数I期末考试第八大题解答的主要内容,如果未能解决你的问题,请参考以下文章

复旦大学2022--2023学年第一学期(22级)高等代数I期末考试第七大题解答

复旦大学2017--2018学年第一学期(17级)高等代数I期末考试第七大题解答

复旦大学2016--2017学年第一学期(16级)高等代数I期末考试第七大题解答

复旦大学2014--2015学年第二学期(14级)高等代数II期末考试第七大题解答

2019-2020学年第二学期高等代数课程教学视频网址合集

复旦大学2015--2016学年第二学期(15级)高等代数II期末考试第七大题解答