八、(本题10分)  设 $V$ 为数域 $K$ 上的 $n$ 维线性空间, $\varphi$ 为 $V$ 上的线性变换. 子空间 $C(\varphi,\alpha)=L(\alpha,\varphi(\alpha),\varphi^2(\alpha),\cdots)$ 称为 $\varphi$ 关于 $V$ 中向量 $\alpha$ 的循环子空间. 若非零多项式 $f(x)\in K[x]$ 满足 $f(\varphi)(\alpha)=0$, 则称 $f(x)$ 是 $\varphi$ 在 $\alpha$ 处的零化多项式.

(1) 证明: 对 $V$ 中任一非零向量 $\alpha$, 必存在 $\varphi$ 在向量 $\alpha$ 处的零化多项式.

(2) 设 $V=C(\varphi,\alpha_1)\bigoplus C(\varphi,\alpha_2)\bigoplus\cdots\bigoplus C(\varphi,\alpha_m)$, 其中 $\alpha_1,\alpha_2,\cdots,\alpha_m$ 是 $V$ 中的非零向量, $f_i(x)$ 是 $\varphi$ 在 $\alpha_i$ 处的零化多项式. 证明: 若 $f_1(x),f_2(x),\cdots,f_m(x)$ 是 $K$ 上互异的首一不可约多项式, 则 $\varphi$ 的任一不变子空间必为 $\bigoplus\limits_{i\in I}C(\varphi,\alpha_i)$ 的形式, 其中 $I$ 是 $\{1,2,\cdots,m\}$ 的子集 (注: $I$ 为空集时对应于零子空间).

分析  本题是新白皮书第 202 页例 4.47 的推广, 例 4.47 是零化多项式都是一次多项式的情形, 显然它的证明完全不能延拓到本题, 我们必须寻找新的方法. 本题的技巧就是互素多项式的应用 (参考白皮书第 256 页的 5.2.9 节) 以及中国剩余定理 (它的证明也是互素多项式的应用, 也可以直接用互素多项式的讨论替代它). 下面我们给出第二问的两种证明, 虽然它们本质上是一样的, 但考虑问题的出发点还是不同的.

证明  (1) 由于 $\dim V=n$, 故 $\alpha,\varphi(\alpha),\cdots,\varphi^{n-1}(\alpha),\varphi^n(\alpha)$ 必线性相关, 即存在不全为零的数 $c_0,c_1,\cdots,c_{n-1},c_n$, 使得 $$c_0\alpha+c_1\varphi(\alpha)+\cdots+c_{n-1}\varphi^{n-1}(\alpha)+c_n\varphi^n(\alpha)=0.$$ 令 $f(x)=c_0+c_1x+\cdots+c_{n-1}x^{n-1}+c_nx^n$, 则 $f(x)\neq 0$ 且 $f(\varphi)(\alpha)=0$.

(2) 证法一  任取 $V$ 的一个非零 $\varphi$-不变子空间 $U$, 定义 $$I=\{i\in [1,m]\mid \exists\,\beta\in U,\,\,\beta=\beta_1+\cdots+\beta_i+\cdots+\beta_m,\,\,\beta_j\in C(\varphi,\alpha_j),\,\,\beta_i\neq 0\}.$$ 显然, $I\neq\emptyset$ 并且 $U\subseteq \bigoplus\limits_{i\in I}C(\varphi,\alpha_i)$. 下面证明对任一 $i\in I$, $C(\varphi,\alpha_i)\subseteq U$ 成立, 从而结论成立. 不妨取 $\beta\in U$, $\beta=\beta_1+\beta_2+\cdots+\beta_m$, 其中 $\beta_i\in C(\varphi,\alpha_i)$ 且 $\beta_1\neq 0$, 我们只要证明 $C(\varphi,\alpha_1)\subseteq U$ 即可. 设 $\beta_i=g_i(\varphi)(\alpha_i)$, 其中 $g_i(x)\in K[x]\,(1\leq i\leq m)$. 因为 $\beta_1\neq 0$, 故 $f_1(x)\nmid g_1(x)$, 又 $f_1(x)$ 是不可约多项式, 从而只能是 $(f_1(x),g_1(x))=1$, 于是存在 $u(x),v(x)\in K[x]$, 使得 $f_1(x)u(x)+g_1(x)v(x)=1$. 代入 $x=\varphi$ 可得 $$f_1(\varphi)u(\varphi)+g_1(\varphi)v(\varphi)=I_V,$$ 上式两边同时作用 $\alpha_1$ 可得 $$\alpha_1=u(\varphi)f_1(\varphi)(\alpha_1)+v(\varphi)g_1(\varphi)(\alpha_1)=v(\varphi)(\beta_1).$$ 因为 $f_1(x),f_2(x),\cdots,f_m(x)$ 两两互素, 由中国剩余定理可知, 存在 $h(x)\in K[x]$, 使得 $$h(x)\equiv v(x) \pmod{f_1(x)},\,\,\,\,h(x)\equiv 0 \pmod{f_j(x)},\,\,j=2,\cdots,m,$$ 从而 $$h(\varphi)(\beta)=h(\varphi)(\beta_1)+h(\varphi)(\beta_2)+\cdots+h(\varphi)(\beta_m)=v(\varphi)(\beta_1)=\alpha_1\in U.$$ 因为 $C(\varphi,\alpha_1)$ 是由 $\alpha_1$ 生成的 $\varphi$-不变的循环子空间, 故有 $C(\varphi,\alpha_1)\subseteq U$.

证法二  设 $p_i:V\to C(\varphi,\alpha_i)$ 是从 $V$ 到其直和因子 $C(\varphi,\alpha_i)$ 上的投影映射, 任取 $V$ 的一个非零 $\varphi$-不变子空间 $U$, 定义 $U_i=p_i(U)$, 则容易验证 $U_i$ 是 $C(\varphi,\alpha_i)$ 的子空间. 显然我们有 $$U\subseteq U_1+U_2+\cdots+U_m=U_1\oplus U_2\oplus\cdots\oplus U_m.$$ 首先, 我们来证明上述包含关系是相等关系, 为此不失一般性, 我们只要证明 $U_1\subseteq U$ 即可. 任取 $\beta_1\in U_1$, 并设它是 $\beta\in U$ 的投影, 即有 $\beta=\beta_1+\beta_2+\cdots+\beta_m$, 其中 $\beta_i\in U_i$. 因为 $f_1(x)$ 与 $f_2(x)\cdots f_m(x)$ 互素, 故存在 $u(x),v(x)\in K[x]$, 使得 $f_1(x)u(x)+f_2(x)\cdots f_m(x)v(x)=1$. 代入 $x=\varphi$ 可得 $$f_1(\varphi)u(\varphi)+f_2(\varphi)\cdots f_m(\varphi)v(\varphi)=I_V,$$ 上式两边同时作用 $\beta_1$ 可得 $$\beta_1=u(\varphi)f_1(\varphi)(\beta_1)+v(\varphi)f_2(\varphi)\cdots f_m(\varphi)\big(\beta-(\beta_2+\cdots+\beta_m)\big)$$$$=v(\varphi)f_2(\varphi)\cdots f_m(\varphi)(\beta)\in U,$$ 从而 $U_1\subseteq U$ 成立, 因此 $$U=U_1\oplus U_2\oplus\cdots\oplus U_m.$$ 其次, 注意到 $$\varphi(\beta)=\varphi(\beta_1)+\varphi(\beta_2)+\cdots+\varphi(\beta_m),\,\,\,\,\beta\in U,\,\,\beta_i\in U_i\subseteq C(\varphi,\alpha_i),$$ 由于 $C(\varphi,\alpha_i)$ 是 $\varphi$-不变的, 故 $\varphi(\beta_i)\in C(\varphi,\alpha_i)$ 也是 $\varphi(\beta)\in U$ 在 $C(\varphi,\alpha_i)$ 上的投影, 于是 $\varphi(\beta_i)\in U_i$, 这说明 $U_i$ 是 $C(\varphi,\alpha_i)$ 的 $\varphi$-不变子空间. 最后, 为了证明本题结论, 我们只要证明 $C(\varphi,\alpha_i)$ 只有平凡的 $\varphi$-不变子空间即可. 不妨设 $U_1$ 是 $C(\varphi,\alpha_1)$ 的非零 $\varphi$-不变子空间, 任取 $0\neq\beta_1\in U_1$, 并设 $\beta_1=g_1(\varphi)(\alpha_1)$, 其中 $g_1(x)\in K[x]$. 因为 $\beta_1\neq 0$, 故 $f_1(x)\nmid g_1(x)$, 又 $f_1(x)$ 是不可约多项式, 从而只能是 $(f_1(x),g_1(x))=1$, 于是存在 $w(x),t(x)\in K[x]$, 使得 $f_1(x)w(x)+g_1(x)t(x)=1$. 代入 $x=\varphi$ 可得 $$f_1(\varphi)w(\varphi)+g_1(\varphi)t(\varphi)=I_V,$$ 上式两边同时作用 $\alpha_1$ 可得 $$\alpha_1=w(\varphi)f_1(\varphi)(\alpha_1)+t(\varphi)g_1(\varphi)(\alpha_1)=t(\varphi)(\beta_1)\in U_1.$$ 因为 $C(\varphi,\alpha_1)$ 是由 $\alpha_1$ 生成的 $\varphi$-不变的循环子空间, 故 $U_1=C(\varphi,\alpha_1)$ 成立, 结论得证.  $\Box$

  本题15级只有谢灵尧同学和王昊越同学完全做出.

复旦大学2015--2016学年第一学期(15级)高等代数I期末考试第八大题解答的更多相关文章

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

    八.(本题10分)  设 $A,B$ 为 $n$ 阶半正定实对称阵, 求证: $AB$ 可对角化. 分析  证明分成两个步骤: 第一步, 将 $A,B$ 中的某一个简化为合同标准形来考虑问题, 这是矩 ...

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

    六.(本题10分)  设 $n$ 阶复方阵 $A$ 的特征多项式为 $f(\lambda)$, 复系数多项式 $g(\lambda)$ 满足 $(f(g(\lambda)),g'(\lambda))= ...

  3. 复旦大学2016--2017学年第二学期(16级)高等代数II期末考试第六大题解答

    六.(本题10分)  设 $A$ 为 $n$ 阶半正定实对称阵, $S$ 为 $n$ 阶实反对称阵, 满足 $AS+SA=0$. 证明: $|A+S|>0$ 的充要条件是 $r(A)+r(S)= ...

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

    七.(本题10分)  设 $V$ 为 $n$ 维线性空间, $\varphi,\psi$ 是 $V$ 上的线性变换, 满足 $\varphi\psi=\varphi$. 证明: $\mathrm{Ke ...

  5. 复旦大学2013--2014学年第一学期(13级)高等代数I期末考试第七大题解答

    七.(本题10分)设 \(A\) 为数域 \(K\) 上的 \(n\) 阶非异阵, 证明: 对任意的对角阵 \(B\in M_n(K)\),  \(A^{-1}BA\) 均为对角阵的充分必要条件是 \ ...

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

    七.(本题10分)  设 \(V\) 为数域 \(\mathbb{K}\) 上的 \(n\) 维线性空间, \(S=\{v_1,v_2,\cdots,v_m\}\) 为 \(V\) 中的向量组, 定义 ...

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

    七.(本题10分)  设 $A,B$ 均为 $m\times n$ 阶实矩阵, 满足 $A'B+B'A=0$. 证明: $$r(A+B)\geq\max\{r(A),r(B)\},$$并且等号成立的充 ...

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

    六.(本题10分)  设 $M_n(K)$ 为数域 $K$ 上的 $n$ 阶方阵全体构成的线性空间, $A,B\in M_n(K)$, $M_n(K)$ 上的线性变换 $\varphi$ 定义为 $\ ...

  9. 复旦大学2017--2018学年第二学期(17级)高等代数II期末考试第六大题解答

    六.(本题10分)   设 $A$ 为 $n$ 阶幂零阵 (即存在正整数 $k$, 使得 $A^k=0$), 证明: $e^A$ 与 $I_n+A$ 相似. 证明  由 $A$ 是幂零阵可知, $A$ ...

随机推荐

  1. Spring松耦合实例

    假设你的项目有一个函数输出的内容,以CSV或JSON格式.您的代码可能看起来像下面的例子: File : IOutputGenerator.java – 输出生成器接口 package com.yii ...

  2. 解决Office互操作错误"检索COML类工厂中 CLSID为 {xxx}的组件时失败,原因是出现以下错误: 80070005"

    Excel为例(其他如Word也适用)文件数据导入时报出以下错误: 检索COML类工厂中 CLSID为 {00024500-0000-0000-C000-000000000046}的组件时失败,原因是 ...

  3. ibatis输入多个参数

    ibatis输入多个参数     在ibatis中,会发现其输入参数只能有一个,于是当出现需要进行多个输入参数的时候,就要想点办法了,我看到的有以下两种比较好的方法能够解决这个问题1) 用String ...

  4. postgresql修炼之道学习笔记(1)

    好好学习吧. 本笔记 仅作为摘要记录 前两章,主要是数据库对比和安装等. 对比,就比多说了,总是和别人比较,会显得自己身价低,呵呵. 安装也有很多文章,不多说. 第二章提到了一些简单的配置, 其在 d ...

  5. css3(border-radius)边框圆角详解

    传统的圆角生成方案,必须使用多张图片作为背景图案.CSS3的出现,使得我们再也不必浪费时间去制作这些图片了,只需要border-radius属性,支持浏览器IE 9.Opera 10.5.Safari ...

  6. 【Xpath学习】xpath都不会,说什么你做网站自动化测试的?

    嗯我确实不太会.感觉我写的随笔很渣,不一定对,大家不要被我误导了,最好不要看.我也尽量保证写出来都是对的. 首先这俩给我搞晕了 1. // 不管层级:  相对路径 2. /  care 层级: 表示到 ...

  7. splitFile2SmallFile

    1. split file into several files """ this is aa customizable version of the standard ...

  8. tomcat 默认目录修改

    引用:http://andrewyu.blog.51cto.com/1604432/544659 Tomcat7跟以前的版本一样,默认的发布程序是/usr/local/tomcat/webapps/R ...

  9. 获取浏览器信息 c#

    Request.Browser.MajorVersion.ToString();//获取客户端浏览器的版本号 Request.Browser.Version.ToString();//获取客户端浏览器 ...

  10. C++多级指针与多维数组详细介绍

    多级指针的概念 多级指针可对应于多维数组,这种指针变量中存的是另一个指针变量的地址,其说明如下:    int val=10;    int *ptr=&val;    int **pptr= ...