首页 搜索 新闻 博士博客 数学商城 数学论坛 数学资源库 图片库 公式 退出
学术信息
基础数学
应用数学
数学教育
数学软件
数学资源
博士家园::计算数学::概率统计::组合图论::几何拓扑::代数数论::分析方程::运筹控制:: / 基础数学 / 代数数论 / 高代五种证明方法概说
高代五种证明方法概说
2007-01-19    周不通    博士家园论坛    点击: 5077
高代五种证明方法概说
五种高代方法概说

一. 标准型方法:
变换理论的两大方法之一。对于一个命题将它关联到一个变换理论,至于哪一种变换当然看命题里的量是否在该种变换下不变。
其方法分两步,先对标准型验证或证明命题成立,再用变换将命题推广到(过渡到)一般情形。
例子:1)正定矩阵有正定的平方根矩阵。
2)任一矩阵有列满秩阵与行满秩阵的乘积分解.
3)特征值互异的方阵A,与A交换的矩阵必然是A的多项式。(它在相似变换下的标准型说法就是:当对角矩阵对角元素互相不同时,与它交换的矩阵只能是对角矩阵)

不变量方法
变换理论的两大方法之二。主要用于证明两个方阵可以或不可以相互变换。例如不相似、不合同,以及正定性判断,求特征值等。此外一些计算也常用不变量方法。
例如行列式等于特征值乘积,例如线性方程组有解等价于两个秩相等。

初等变换方法
要点是左行右列四个字---行变换行组合是在左边乘上变换阵组合系数阵,而列变换列组合是在右边乘。
例如:A+B=En,则AB=0当且仅当A的秩加上B的秩等于n。

选基底方法
高代中基底是表示线性(子)空间的方法。在教材中求极大无关组和求齐次线性方程组的基础解系都可理解为选基底。把矩阵相似对角化也可看成是选择由该矩阵的特征向量组成的基底。
有两种应用:
其一,计算维数或证明维数关系。选基底后维数、秩都成为基向量个数了,所以数一数个数就可以得到维数关系和秩关系。这个用法可概括成---选择基底使得维数、秩表示成了向量个数。
其二,选择基底可以得到坐标化,例如线性变换对应到了方阵,而抽象向量表示成了一个列矩阵,线性泛函表示成了行矩阵。这样给出了方阵理论与线性变换理论相互转化的方法。通常这方面选基底的方法是要选出最好的基底以便得到最好的坐标化,这与标准型方法是统一的。
例如:使得线性变换的矩阵是对角阵的基底正好是由线性变换的特征向量组成的基底。

扰动方法
主要用于从可逆方阵到不可逆方阵的过渡。
原理是:对任何一个n阶方阵A, A+kE除了至多n个数以外总是可逆的。所以一个公式如果对于可逆矩阵成立,且把可逆方阵代为A+kE时等式两边是k的多项式,则可以令k趋于0而得到对于不可逆方阵A公式也成立。
例如对于伴随矩阵公式 (PQ)* = P*Q* 的处理,可以用扰动法。

具体的例子散见于论坛的各帖子中,或者搜索一下我发的所有帖子也可以。

过段时间可能就会没时间来发帖子了,加上考研将近,希望这个帖子能对大家有些裨益。

最后,将此帖送给听过我的课的学生们,希望他们考好。

各种方法的帖子(仅限于有我本人所发帖子的主题,所用方法附后):
http://www.math.org.cn/forums/index.php?showtopic=40569&hl=
(初等变换与标准型方法)
http://www.math.org.cn/forums/index.php?showtopic=39653&hl=
(初等变换)
http://www.math.org.cn/forums/index.php?showtopic=40572&hl=
(选基底)
http://www.math.org.cn/forums/index.php?showtopic=40564&hl=
(初等变换)
http://www.math.org.cn/forums/index.php?showtopic=40534&hl=
(标准型)
http://www.math.org.cn/forums/index.php?showtopic=40482&hl=
(选基底)
http://www.math.org.cn/forums/index.php?showtopic=40470&hl=
(初等变换)
http://www.math.org.cn/forums/index.php?showtopic=40112&hl=
(分块对角化,一个有意思的中间结果,分块矩阵方法)
http://www.math.org.cn/forums/index.php?showtopic=40430&hl=
(扰动法)
http://www.math.org.cn/forums/index.php?showtopic=40240&hl=
(可交换问题---可以归结为标准型方法,但是是有理标准型或者Frobenius型,candy_z君所提供的巧妙方法,问题由pagnini君提出)
http://www.math.org.cn/forums/index.php?showtopic=40396&hl=
(选基底)
http://www.math.org.cn/forums/index.php?showtopic=39881&hl=
(选基底)
http://www.math.org.cn/forums/index.php?showtopic=39506&hl=
(扰动法,加法君的经典总结贴)
http://www.math.org.cn/forums/index.php?showtopic=39058
(标准型方法---问题是两个正规矩阵同时对角化,中间我有一个命题值得注意:与一个对角矩阵交换的所有矩阵是分块对角矩阵)
http://www.math.org.cn/forums/index.php?showtopic=40033&hl=
(伴随矩阵的Jordan型,dinghy君提出的好问题)
http://www.math.org.cn/forums/index.php?showtopic=40513
(秩1矩阵的总结,可认为是不变量方法)
责任编辑: xiaohuhu
发表评论 查看评论 加入收藏 Email给朋友 打印本文
如果你想对该文章评分, 请先登陆, 如果你仍未注册,请点击注册链接注册成为本站会员.
平均得分 10.00, 共 6 人评分
1 2 3 4 5 6 7 8 9 10
最新评论 (共有 1 条评论) 发表时间 作者 回复
希望出现更多这样的总结 2007-01-25 15:34 pm xiaohuhu 0
更多评论...

首页链接 :中文TEX数学建模研学论坛九章书店数学爱好者中科院清华数学 北大数学南开数学复旦数学浙大数学icm2006 北师大数学 组合中心 武大数学南大数学中科大数学山大数学川大数学中国数学会 美国数学会数学家大会
Copyright © 2004 -2008 博士家园 . 当前在线: 33人              京ICP备05002166号   phpArticle