聊一聊数学中的基本定理(三)——代数基本定理
早点关注我,精彩不错过!
在前面两篇文章中,我们聊透了算术基本定理的证明和意义,相关内容请戳:
聊一聊数学中的基本定理(二)——算术基本定理的价值
聊一聊数学中的基本定理(一)——算术基本定理的证明
但是,那毕竟是人类数学史上,还停留在算术的古老时代的数学知识了。而人类数学从算术向代数的进发一定是值得回味的浓墨重彩的一笔。今天我们就透过代数基本定理,来看看在代数这一领域的一些基本的数学思维方式。
从算数到代数,是人类抽象认识世界能力一次跨越式的发展。我们可以从剥离了具体对象特征来用统一的自然数给集合计数以外,能够继续再把这具体的数量抽象成用字母来表示的数,研究的是其作为任何数的统一的特征和性质,而不再关心任何一个具体的数,除了在找灵感和验证时候。
而当我们引入代数,再引入方程,自然而然地,我们就遇到了诸如4 + 多少 = 2的问题,于是产生了负数的概念。以及那最经典的故事,x ^ 2 = - 1时候,对x的解的需求引入了复数的存在。看起来越来越找不到实际对象与之对应,但是依据着数学上性质的保持性下的不断拓展,我们找到了其新的物理意义和应用点。
而整个代数大厦根基,还数代数基本定理。
代数基本定理的内容
代数基本定理:任何一个一元复系数方程式都至少有一个复数根。也就是说,复数域是代数封闭的。
由这一条很容易推出任何一个非零的一元n次复系数多项式,都正好有n个复数根(重根视为多个根),甚至直接把代数基本定理表述为这个形式。但这二者是等价的,因为一个n次多项式不断地去除以它的一次因子就可以不断化简并得到对应的根,n次自然就有n个了。而在中学阶段,大部分时候讨论的都是实系数多项式,此时复根成对存在,那么对于奇数次多项式,必然存在一个实根,也就是其复数共轭和自身相等的根,这个性质也很常用。这里复根成对存在很好证明,根据实数系数以及共轭的性质,就能直接推导出来。
接下来,如何证明在复数系数的多项式范围内,代数基本定理依然成立,才是考验我们数学能力的时候了。
这个定理的证明,可以从复分析,拓扑学以及纯的代数多个角度来切入,这里我们重点从复分析的角度来讲解,因为这里体现的数学的分析特点最强,方法也最多,其他证明大家可以查阅资料,这里不详细叙述了。
代数基本定理的证明
证明1:
寻找一个中心为原点,半径为r的闭圆盘D,使得当|z| ≥ r时,就有|p(z)| > |p(0)|。因此,|p(z)|在D内的最小值(一定存在,因为D是紧致的),是在D的内部的某个点z0取得,但不能在边界上取得。于是,根据最小模原理,p(z0) = 0。也就是说,z0是p(z)的一个零点(根)。
好像啥也没说,用了紧致和最小模原理就直接证明完了。我们来看下这两个概念,试着理解下这个证明的思路。
紧致:欧几里得空间 R ^ n 的子集, 是闭集合且是有界。也就是说,对于形如R ^ n子集的集合,其极限运算封闭,有非无穷的大小,那么就是个紧致的集合。其实你随便画个圈应该都是这种集合了。如果画的虚线不包括边界那就不封闭了,如果是正数集合Z显然是无界的,这些都不是紧致的集合,这个概念说得还挺形象的。
最小模原理:设f在有界区域D的内部全纯,并连续到D的边界上,而且没有零点,则|f(z)|的最小值在D的边界上取得。
其源于等价的最大模原理:如果 f 是一个全纯函数(定义在复平面C开子集映射到C上的处处复可微的复函数,是实函数处处可微的复数版本)且不是常数,那么它的模|f|在定义域内取不到局部最大值。取倒数以后就能得到最小模原理了。
另外,最大模原理可以被看作是所谓的开映射定理的一个特例。开映射定理声称,一个全纯函数必然将开集映射到开集。如果 |f| 在定义域内部一点a达到极大值,那么a的一个足够小的领域在f映射下的像集必然不是开集。于是,f必然是常数函数。
再深的证明需要的篇幅和铺垫较多,这里暂不展开了。
这个证明思路应该是和我们去证明一个三次实系数多项式一定有一个零点的思路是一样的,只不过我们把一些不严格的地方都形式化严格了。
证明2:
由于在D之外,有|p(z)| > |p(0)|,因此在整个复平面上,|p(z)|的最小值在z0取得。如果|p(z0)| > 0,那么1/p在整个复平面上是有界的全纯函数,这是因为对于每一个复数z,都有|1/p(z)| ≤ |1/p(z0)|。利用刘维尔定理(有界的整函数一定是常数),可知1/p是常数,因此p是常数。于是得出矛盾,所以p(z0) = 0。
其他都好理解,那这里的刘维尔定理说的,有界的整函数一定是常数是什么意思呢?
这里整函数就是前面提到的全纯函数,实际上,这样的函数一般是无界的,一定发散,而一旦有界,就会出人意料的只能取常值罢了,可见这看不见摸不着的复函数和我们更好直观理解的实数函数完全有着不同的结构,不可随意类比来分析的。其证明这里暂略,总之这也是复分析领域一个重要的结论,并且可以很直接地证明代数基本定理。
其他还有几个基于幅角原理和柯西积分定理的证明,看上去代数基本定理是个特别基础的结论,以至于很多各个代数方向上的结论都或多或少能够作为证明它的直接基础。
以上就是代数基本定理的相关内容,相比算术基本定理对整数结构的重新定义,代数基本定理也给出了在复数范围内的多项式的基本结构,n次多项式有n个复根即表明,它可以在复数范围内因式分解成n个线性的一次表达式的乘积。而且应该和算术的一样,这种分解应该是一个唯一的解集,也就是唯一的一次表达式的任意常数倍的集合。看上去,代数里的因式分解,和算术里的因子分解应该在暗中是对应着的,只不过相对于具体的数的因子,多项式的因式更多了一层抽象罢了。
下一篇,我们继续基本定理的脉络,去看一下更近代的数学里还有什么基本定理等着我们吧!
我们是谁:
MatheMagician,中文“数学魔术师”,原指用数学设计魔术的魔术师和数学家。既取其用数学来变魔术的本义,也取像魔术一样玩数学的意思。文章内容涵盖互联网,计算机,统计,算法,NLP等前沿的数学及应用领域;也包括魔术思想,流程鉴赏等魔术内容;以及结合二者的数学魔术分享,还有一些思辨性的谈天说地的随笔。希望你能和我一起,既能感性思考又保持理性思维,享受人生乐趣。欢迎扫码关注和在文末或公众号留言与我交流!
扫描二维码
关注更多精彩
聊一聊数学中的基本定理(二)——算术基本定理的价值
Gilbreath原理中的数学与魔术(九)——Max Maven作品选
魔术的逻辑(三)——明明是假的,但为何奇迹依旧美妙?
扒一扒那些叫欧拉的定理们(十二)——经济学里的欧拉定理
点击阅读原文,往期精彩不错过!
聊一聊数学中的基本定理(三)——代数基本定理相关推荐
- 聊一聊数学中的基本定理(一)——算术基本定理的证明
早点关注我,精彩不错过! 系列开篇辞 在每一个独立出来的学科中,无论文科还是理科,总会有几个标志性的成果和结论,一定程度上代表了这个学科的特点,光荣和本质.比如物理学的牛顿定律和相对论,信息科学中的熵 ...
- 算数基本定理和代数基本定理
算术基本定理可表述为:任何一个大于1的自然数 N,如果N不为质数,那么N可以唯一分解成有限个质数的乘积. 代数学基本定理:任何复系数一元n次多项式 方程在复数域上至少有一根(n≥1),由此推出,n次复 ...
- 二元函数最大最小值定理证明_代数基本定理,用复数证明所有多项式函数都有根...
根据代数基本定理,每个多项式在其定义域内的某个点上都有一个根.虽然这个定理早在18世纪初就已经被提出(由三位数学家,彼得·罗斯,艾伯特·吉拉尔和勒内·笛卡尔提出),但是第一个(非严格的)证明是在174 ...
- 随记:普遍性验证、数学思维、代数基本定理及其它
大学生活的乐趣不光体现在吃喝玩乐上,更重要的是它所提供的自由学习的场所.你可以在网上搜索课表,看看什么时候什么教室有什么牛B课,记在手机中的待办事项中,到时候到那个教室去旁听.旁听的乐趣就在于,你可以 ...
- 复变函数可视化以及代数基本定理
复变函数: 我们生活的世界是三维的,需要三个坐标信息才能清晰描述一个物体的位置,所以,人类很容易就能够理解三维以下的物体形状,二维笛卡尔坐标系和三维立体坐标系就是用来分析此类问题的数学工具. 但对于复 ...
- 柳维尔定理与代数基本定理
1. 前言 本文主要介绍代数中的一个重要定理:代数基本定理.它的内容很简单,可以归纳为 代数基本定理:n次复系数多项式方程在复数域内有且只有n个根. 从它的名字来看,"基本" 二字 ...
- 数学建模清风第三次直播:excel在数学建模中的应用
学习网址:课件下载 数学建模清风第一次直播:传染病模型和微分方程拟合 数学建模清风第二次直播:模拟退火算法 数学建模清风第三次直播:excel在数学建模中的应用 博客笔记: 数学建模清风第一次直播:传 ...
- 数学中鲜为人知的定理!
谁说数学是枯燥的?(给我站出来)在数学里,有很多欢乐而又深刻的数学定理.这些充满生活气息的数学定理,不但深受数学家们的喜爱,在数学迷的圈子里也广为流传. 喝醉的小鸟 定理:喝醉的酒鬼总能找到回家的路, ...
- 完数什么意思_数学中合数是什么意思?
数学中合数是什么意思?2020-11-18 09:36:12文/马思奇 小编为大家整理了合数的相关知识,大家跟随小编学习一下吧. 合数概念 合数指自然数中除了能被1和本身整除外,还能被其他数(0除外) ...
最新文章
- webpack入门之简单例子跑起来
- Dev C++ 实现Hello World
- linux查看系统的版本信息失败,Linux - 查看系统的版本信息
- V-rep学习笔记:机器人逆运动学数值解法(Damped Least Squares / Levenberg-Marquardt Method)...
- Oracle BI系统排名?Oracle BI办公系统怎么选?什么是用户口碑最好的Oracle BI系统?
- Ubuntu下FileZilla的安装
- IM 产品设计思考(3) - 呼叫中心及IVR
- 用vba加载宏求地图分幅
- ABB电磁流量计ProcessMaster FEP630
- element-ui问题集锦
- HTML:tab页签
- 一个acmer的感悟
- win系统C++的udp通信(接收并发送)详细教程、win下inet_pton和inet_ntop无法使用解决方法
- 华南师范大学计算机学院保研,广东高校保研率|进了广东这些大学,离保研也近了一步...
- 对于Java8的新特性,应该了解(掌握)的哪些
- ElaticSearch学习笔记
- FL Studio里一起安装的ASIO4ALL有什么用?
- cdn服务器pnk_如何搭建自己CDN服务器
- 安徽工业大学计算机考研资料汇总
- 美国50个州最值钱的Startup都是些什么公司?