AI 助理
备案控制台
开发者社区 云计算 文章 正文

[家里蹲大学数学杂志]第244期多项式互素与空间直和

2014-08-22 733
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介： 设 $f(x),g(x)$ 为数域 $\bbF$ 上的多项式, 且有 $(f(x),g(x))=1$, $A$ 是 $\bbF$ 上的一方阵. 再设 $f(A)g(A)x=0$, $f(A)x=0$, $g(A)x=0$ 的解空间分别为 $W$, $V_1$ 和 $V_2$.

设 $f(x),g(x)$ 为数域 $\bbF$ 上的多项式, 且有 $(f(x),g(x))=1$, $A$ 是 $\bbF$ 上的一方阵. 再设 $f(A)g(A)x=0$, $f(A)x=0$, $g(A)x=0$ 的解空间分别为 $W$, $V_1$ 和 $V_2$.

由 $(f(x),g(x))=1$ 知存在多项式 $u(x),v(x)$ 使得 $$\bex u(x)f(x)+v(x)g(x)=1. \eex$$ 于是对 $\forall\ \alpha\in W$, $$\bex \alpha=v(A)g(A)\alpha+u(A)f(A)\alpha. \eex$$ 由 $$\bex f(A)[v(A)g(A)\alpha]=0,\quad g(A)[u(A)f(A)\alpha]=0 \eex$$ 知 $$\bex v(A)g(A)\alpha\in V_1,\quad u(A)f(A)\alpha\in V_2. \eex$$ 于是 $W=V_1+V_2$. 又由 $$\bex \alpha\in V_1\cap V_2\ra f(A)\alpha=g(A)\alpha=0\ra \alpha=u(A)f(A)\alpha+v(A)g(A)\alpha=0 \eex$$ 知 $W=V_1\oplus V_2$.

显示答案

张祖锦
目录
相关文章
张祖锦
[家里蹲大学数学杂志]第442期一个积分不等式
设 $f$ 在 $[a,b]$ 上连续可微且 $f(a)=0$. 试证: $$\bex \int_a^b |f'(x)|^2\rd x\geq \frac{2}{(b-a)^2}\int_a^b |f(x)|^2\rd x.
张祖锦
666 0
张祖锦
[家里蹲大学数学杂志]第433期一个极限
求极限 $$\bex \vlm{n}\dfrac{(n^2+1)(n^2+2)\cdots(n^2+n)}{(n^2-1)(n^2-2)\cdots(n^2-n)}. \eex$$    解答: 还记得对数不等式么: $$\bex \dfrac{x}{1+x}
张祖锦
998 0
张祖锦
[家里蹲大学数学杂志]第427期与反对称矩阵有关的一个行列式
设 $A$ 是 $n$ 阶实反对称矩阵, $D$ 是对角元均大于零的实对角矩阵. 试证: $|D+A|>0$.   证明: (1). 实反对称矩阵 $A$ 的特征值为纯虚数或零: $$\beex \bea &\quad A\al=\lm\al\quad(\al\neq 0)\\ &\ra A...
张祖锦
618 0
张祖锦
[家里蹲大学数学杂志]第425期一个定积分的计算
试求 $$\bex I=\int_2^4\frac{\sqrt{\ln (9-x)}}{\sqrt{\ln(9-x)}+\sqrt{\ln(x+3)}}\rd x. \eex$$ 解答: $$\beex \bea I&=\int_4^2 \frac{\sqrt{\ln(t+3)}}{\sqrt{\...
张祖锦
782 0
张祖锦
|
Perl
[家里蹲大学数学杂志]第410期定积分难题
  1. (1). 设 $x\geq 0$, $n$ 为自然数, 证明: $$\bex x^n\geq n(x-1)+1; \eex$$ (2). $\forall\ n$, 求证: $$\bex \int_0^{1+\frac{2}{\sqrt{n}}}x^n\rd x>2; \eex$$ (3).
张祖锦
810 0
张祖锦
|
机器学习/深度学习
[家里蹲大学数学杂志]第391期山东大学2014-2015-1微分几何期末考试试题
注意: A. 卷面分 $5$ 分, 试题总分 $95$ 分. 其中卷面整洁, 书写规范 ($5$ 分); 卷面较整洁, 书写较规范 ($3$ 分); 书写潦草, 乱涂乱画 ($0$ 分). B. 可能用的公式: $$\beex \bea 1.
张祖锦
1022 0
张祖锦
[家里蹲大学数学杂志]第204期矩阵空间的一个直和分解
设 $M_n(\bbF)$ 是数域 $\bbF$ 上 $n$ 阶矩阵全体构成的线性空间, $V,W$ 分别是上三角矩阵、反对称矩阵全体构成的线性子空间, 则 $$\bex M_n(\bbF)=V\oplus W.
张祖锦
723 0
张祖锦
|
前端开发 rax Perl
[家里蹲大学数学杂志]第243期对合矩阵的两个性质
设 $n$ 阶矩阵 $A$ 满足 $A^2=E$. 证明: (1) $A$ 相似于形如 $\dps{\sex{\ba{cc} E_s&\\ &-E_{n-s} \ea}}$ 的矩阵; (2) 对于任何正整数 $m,k$, 都有 $$\bex \rank(A+E)^m+\rank(A-E)^k=n.
张祖锦
637 0
张祖锦
|
Perl
[家里蹲大学数学杂志]第053期Legendre变换
$\bf 题目$. 设 $\calX$ 是一个 $B$ 空间, $f:\calX\to \overline{\bbR}\sex{\equiv \bbR\cap\sed{\infty}}$ 是连续的凸泛函并且 $f(x)\not\equiv \infty$.
张祖锦
660 0
张祖锦
[家里蹲大学数学杂志]第294期微分方程与数学物理问题习题集
第294期_微分方程与数学物理问题习题集   摘要: 本文给出了作者于 2011 年 10 月 10 日至 2011 年 10 月 31 日 看 Nail H. Ibragimov 的 时留下的习题全部解答.
张祖锦
1059 0