1. 多项式环
1.1 基本定义和性质
多项式是数学中的重要概念,在分析和代数中都有广泛的应用,线性变换也非常依赖多项式的理论。虽然在不同场景下多项式描述的对象有较大差异,但它们却有着类似的代数结构,这里就从纯代数的角度讨论多项式的结构和性质。以下我会花较多口舌定义什么是多项式,这种看似“学究”的做法其实正是数学的抽象性和严密性所在。
先来看多项式的组成元素“(一元)项”,它具有形式,其中是一个非负整数,它表示项的次数,是某个环或域的元素,被称为系数,是不定元。要特别强调的是,这里并没有定义项的实际意义,不定元可能是任何满足条件的数学概念。和之间也不能看成是某个具体的乘法,这里只是一个书写格式,项永远是作为一个整体看待的。系数为的项被定义为互相相等的,而其它项相等的充要条件是系数和次数都相等。
另外,在项之间还定义有如式(1)的加法和乘法,且乘法对加法满足分配率。有了这些准备就可以定义多项式了,一个环上的(一元)多项式是有限个非零项之和,它的最终形式是式(2)。为了叙述方便,次项被直接写做,但不要忘了其实际意义。系数非零的最高次项也称多项式的首项,而也叫的次数,记作。由项的定义不难断定:多项式由它的系数序列唯一确定。环上的所有一元多项式集合记做,不难证明在乘法和加法的定义下,构成一个环(系数的项为零元,当有单位元时也为单位元),它叫多项式环。
其实在《抽象代数》中,我们已经专门讨论过多项式的性质,故对那些已经论述过的结论,这里就不重复证明过程了。《高等代数》中的多项式是直接定义在数域上的,但其实很多结论在较弱的条件下仍然成立,下面做一些总结(很多结论直接来自抽象代数)。首先不难证明:为交换环(无零因子环、整环)的充要条件是为交换环(无零因子环、整环),特别地,域上的多项式环是一个含幺整环(有单位元、可交换、无零因子)。另外我们知道,一个环可以扩充为域的充要条件是:它是一个含幺整环。故系数为含幺整环的多项式环都能扩充为一个域,其中数域系数多项式的最小扩充域叫分式域。分式域的每个元素有形式,其中是非零多项式。在一般数域下,且都是新添加的元素,如果要想仍然是一个多项式,可以添加一个条件:存在某个不可约多项式(请自行讨论)。
1.2 因式和分解
和其它环结构一样,对多项式的讨论也集中在其乘法分解,以下先把限定在一般的环上。如果有关系式,则称为的因式,记作,多项式的乘法分解其实就是因式分解。当次数相等时,且有,这时称它们是相伴的。这种分解讨论起来没有多大意义,以后我们只讨论因式次数比低的分解。如果两个多项式有共同的因式,则称为的公因式,次数最高的公因式则叫最大公因式,记作。后面要回答的问题自然就是:因式、分解式、(最大)公因式的存在性,以及分解式、最大公因式的唯一性(在相伴意义下)。
对任意多项式,如果的首项系数为可逆元,用归纳法可以证明,存在唯一多项式使得式(3)成立。这个式子说明,如果有公因式,那么也是余项的公因式,并且的次数比小。如果在把多项式限定在域上,把换成后可以继续这个过程,直至,易知这时就是的最大公因式。这个方法就是大家熟悉的辗转相除法,值得提醒的是,该方法要求每个元素都可逆(或者具体问题中的首项可逆)。
辗转相除法的过程还间接说明了,存在多项式使得式(4)成立,由于形式总含有因式,故式(4)是它能得到的次数最大的多项式(相伴意义下也是唯一的)。当时,说明没有次数大于的因式,这时它们称为互素的,并且显然是它们互素的充要条件。对于多个多项式,由于,因此可以同样得到类似(4)的式子,以及它们互素的充要条件。最后我想强调一下,虽然互素的定义可以不依赖辗转相除法,但要得到更多有用的性质,还是得用辗转相除得到的式(4),因此一般都假定多项式系数在域中。以下看似直观的结论,离开了互素的充要条件将很难证明,请自行练习。
• 如果,且,则一定有;
• 如果,且,则一定有;
• 如果,且,则一定有。
在中,当多项式没有次数更低的因式时,它称为不可约多项式。易知对任意,要么有,要么有。由此还能得到结论:如果不可约且,则有或。在抽象代数中我们已经证明,含幺整环上的是一个欧式环,因此是唯一分解环,而域是一个特殊的含幺整环,故自然也是唯一分解环。所谓唯一分解当然是指,存在唯一的分解式(5)(相伴意义下,且顺序可改变),其中都是不可约的。这个结论也可以在多项式上直接证明(和整数环的唯一分解性一样),但论证方法无本质差异(无非是一个更抽象、更通用)。
式(5)中如果,则称是的重因式,否则称为单因式。讨论重因式有时候是很必要的(比如重根、下篇的不变子空间),为了判定重因式,代数中引进了形式导函数(6),容易证明这个形式定义的导函数同样满足式(7)。对于一个重因式,利用这些式子不难证明中的重数正好是,故有公因式,且是最高次数。反之如果有公因式,也易知含有因式,利用这个充要条件可以判断重因式的存在性、以及求出因式和重数。
1.3 其它定义和性质
当确定了未知元的集合及乘法运算时(包括自身乘法和与中元素的乘法),就可以把具体值带入多项式的任何形式(展开或因式乘积),它们的值应该都是相等的,这个值被定义为多项式在处的值。这里我们先把假定为一般的含幺环,根据式(3)可知,存在唯一多项式使得式(8)左成立。把带入式(8)左便知,于是有式(8)右成立,它称为余数定理。当时,称为的根,根据式(8)右可知(还要求有单位元):为根的充要条件是为的因式,这便在一次项和根之间建立了联系。
• 已知,求证;
• 已知,尝试讨论的根。
余数定理是余式(3)的特例,它要求环有单位元,且未知元满足多项式的运算律(1)。但其实如果未知元就取环,即使不满足交换律(从而不满足项的乘法)、而仅定义为把带入式(2),抽象代数中已经证明了:余数定理仍然成立。这个更一般的余数定理有着更广泛的应用,一个典型代表就是的Hamilton-Caylay定理,你可以回到线性代数看看这个定理的证明,其实和抽象代数的证明本质是一样的。
本段的最后,我们来讨论一下多项式性质和系数环(域)的关系。对具体的多项式,先设它们的系数都属于环,则它们也属于其扩环。容易知道,在中成立的结论在中也一定成立,反之则不一定成立。我们比较关心这样的问题:的多项式如果在中有某个性质,那么这个性质在中还会有吗?在所有的性质讨论中,式(4)和唯一分解定理起到了非常重要的作用,为此我们就把讨论的内容限定在域中吧()。
式(3)的唯一性就表明了它在中是一样的,这就是说整除性(能或不能整除)在中也是一致的。继而由辗转相除法和式(4),两个多项式的最大公因式也不会随系数域而变化,特别地,两个多项式的互素关系也与系数域无关。再看看导函数的形式,它在不同域中系数是不变的,这样重因式也是和系数域无关的。你会发现,与系数域无关的性质基本都是因式有关的。
2. 数域上的多项式
2.1 复系数多项式
以上讨论的是通用多项式的性质,它们适用于任何满足条件的多项式环。最常见的多项式其实还是数系多项式,而最常见的数系从大到小依次是复数系、实数系、有理数系,下面就按这个顺序讨论数系多项式特有的性质。数系多项式中,更加关注多项式的值和根,甚至很多因式的讨论就是通过根的方法来完成的。
对于复系数多项式,最重要的结论当然是代数基本定理:复系数多项式至少有一个根。这个代数基本定理在代数中却没有初等的证明方法,比较透彻的方法都需要复变函数的知识,这里我们暂时把它当一个结论使用。由上面的讨论,有复根的等价条件是,依次类推有最终分解式(9)。次复系数多项式共有个复数根(可以是重根),并且由这个复数根和首相系数完全确定,复系数不可约多项式只有一次式。多项式最多有个根,这一点说明如果两个多项式在不止处相等,则它们一定是完全重合的,这个特点不管在证明还是数值计算上都有重要的应用。展开式(9)后对比系数,便可以得到大家熟悉的韦达(Vieta)公式,这里就不展示等式内容了。
复系数多项式的彻底可分解性,即使用在其他数域的多项式上,也会有一些有趣的性质。比如任意数域上的,如果是一个不可约因式,从上面的讨论知道:没有复数重根。另外,如果与有某个相同复根,则它们一定是有公因式(利用公式(4))。结合这两个条件就有:如果与不可约因式有一个相同复根,则一定有。
• 求证。
为了判断复数是否为的重根,利用之前的结论,只需证明且。为了估算复根的半径,令,这样便容易有多项式的估算式,显然当时有,故根的半径在内。
最后来看复系数多项式的两个应用。对任意方阵,可以记它的特征多项式为。然后对任意复数,容易求得的特征多项式为。把的阶单位根计作,刚才的结论是说,把这个式子相乘便有,从而可知的特征多项式是(参考第二篇中矩阵多项式的特征值)。
设,并设其有个不同的复根且有展开式。由于与互质,故的个不同复根与不同,设其展开式为。考虑到两者的导数相同,则。由次数关系知,从而。这个结论说明,任意两个不同像的原像集合大于,结合前面的结论知,它们可以唯一确定(即在两个像上原像相同的多项式也相同)。
2.2 实系数多项式
现在来看更为常用的实系数多项式,可以先把它放在复数域上讨论,比如它至少有一个复根,即有。对这个等式两边同时取共轭,由于系数都是实数,最终得到,从而及其共轭同时为的根。如果不是实数,便是两个不同的根,它们对应的因式其实是实多项式(),且它在实数系上不可约。归纳地讨论实系数多项式,便可以将分解为唯一标准式(10),从根的角度也可以说:除了实根外,实系数多项式的复根都是以共轭形式成对出现的。
• 求在实数域的标准分解式,并由此讨论的值。
实根对于实系数多项式是尤为重要的,利用复根的估算式虽然能给出实根的粗略范围,却不能给出实根的个数以及更具体的取值范围。有一种方法可以快速地确定多项式在任一区间内根的个数,从而可以使用逼近的方法得到一定精度的根。为了说明方法的原理,先来观察如式(11)的一种辗转相除序列。假定互质,序列将结束于一个非零的常数,从而在任意上序列不会连续为0。假定,那么一定非零且符号相反。不难判断在附近,序列的符号变化次数总是1。可想而知,当连续变化时,序列的符号变化次数只可能在 的根附近增或减1。如果序列符号的变化次数在根附近总是增(或减),那么就等于区间上根的个数。
对于任意实系数多项式,先假设(无重根)且是的一个根,容易知道的符号与相同(如图)。也就是说,当由连续变化到时,W(x)仅在的根前后增加1。当有重根时,设,考察和,首先他们一定互质。为了讨论与的关系,设根的重数为,并记。容易证明在的符号与在的符号相同,进而得到与的符号相同,所以以上结论对也成立。另外显然,同时乘上变成后,并不影响结论(在的根上可忽略)。总结结论就是,表达式可以表示在区间上不同实根的个数(不包括重数),该定理叫做Sturm定理。

2.3 有理和整系数多项式
最后再来看有理数域多项式的分解,首先注意到:任何有理系数的多项式在乘上适当的整数后都可转化为整系数多项式,此时数论的基础结论就可以发挥作用。与相伴的诸多整系数多项式中,所有系数的公约数为的尤为特殊,它被称为本原多项式。首先容易证明的本原多项式只有两个,且它们刚好满足。然后就是线性代数中论证过的的重要结论(高斯引理):两个本原多项式的乘积仍然是本原多项式。基于高斯引理,还可以轻松证明:整系数多项式在有理数域可分解的充要条件是它可以分解为两个整系数多项式,这使得对有理多项式的分解完全可以用整系数多项式的分解来取代。
完全判定整系数多项式的可约性非常困难,但我们可以根据一些形式特点来断定某些多项式不可约,一个著名的结论就是Eisenstein判别法:如果存在素数使得,但,那么不可约。利用高斯引理可以轻松证明判别法的合理性,并能发现条件中如果的角色互换结论依然成立。该判别法既可直接使用,有时还可以对多项式作适当的偏移再判定。比如分圆多项式,由于,用取代后可论证不可约,从而不可约。
• 对不同素数,求证是无理数;
• 若,求证任意都不是次多项式的根。
• 判断的可约性。
整数模(素数)的剩余类域是最常见的有限域,而有限域的好处是可以只针对有限的情况进行讨论,这个特点可以帮助判断整系数多项式的可约性。当可约时,对其取模得到剩余类域上的多项式,显然也是可约的(反之不一定成立)。从而当不可约时,一定也不可约,这里我们便有了一个判断整系数多项式不可约的新方法。判断可约性还可以有其它综合的方法,课本上举了几个利用多项式根不超过的性质的例子,比较值得玩味,以下假设是不同的整数,请自行证明以下三个问题。
• 求证:不可约;
• 求证:在为奇数时不可约,在且为偶数时不可约;
• 求证:不可约。
最后来讨论一下整系数多项式的有理根与系数的关系,假设有根,则它有一次因式,从而有本原因式。这说明的系数满足式(12),其中前两个式子可以初步圈定有理根的范围,然后通过后两个式子和其它方法可以分别验证是否为根,这样便能得到的所有有理根。
3. 结式和判别式
我们还可以对多元多项式进行以上类似的讨论,其中比较重要的就是对称多项式。有两种基本的常见对称多项式,一种是多项式展开式的项的系数,它们被称为元初等对称多项式。关于初等对称多项式,有一个基本定理:任何对称多项式都可以唯一表示为初等对称多项式的多项式。还有一种对称多项式是幂和式,牛顿公式给出了这两种对称多项式之间的关系,本段的两个结论在线性代数中都有论证。
很多情况下需要判断或给出两个多项式(式(13))有公因式(或相同的根)的条件,辗转相除法虽然能解决这个问题,但操作比较麻烦。现在从另一个角度讨论这个问题,在代数闭域中这两个问题等价于是否有相同的根,我们就在代数闭域中讨论这个问题。设的根分别是,式(14)可以作为是否有同根的判别式,它被称为的结式。显然结式是关于的对称多项式,由基本定理可知它能写成的表达式,但直接寻找答案比较困难,下面从另一个等价条件出发反向推导。
有相同根其实还等价于:存在不高于次的多项式,使得。通过比较系数其实可以得到一个关于系数的一次方程(请自行写出),方程的系数矩阵如式(15)(左半边有列,右半边有列),而的存在性则等价于,下面就来看的表达式。由于每一列正好是多项式的系数,可以对多项式做如下初等变换:分别把第行的倍加到最后一行。不难知道最后一行的前个元素为,而后个元素有公因式。
以下先假设是化1的,根据韦达定理知可表示为的多项式,而刚才的结论说明有因式。又因为所有之间无公因式,故有因式,它的次数是。另一方面,显然是的齐次多项式,下面来计算它的次数。根据每一列次数递增的特点,考虑把每行的次数统一,为此仅需在每列乘上合适的式子,具体来说是在每一列分别乘上任意一个次式。这样从列来看次数增加了,而从行来看总次数是,相减得到的次数为。这个结论说明与只相差一个常数项系数,把带入便可知,教材上其实就是把作为结式的定义的。
结式的应用自然是集中在多项式同根的问题上,有一些常见的问题都可以间接地转化为同根问题。比如求解二元多项式组时,如果两个函数都能写成关于(或)的多项式,这时的结式是关于的方程,就可以先解出再求解。再比如参数方程,如果这两个方程都能写成的多项式形式,此时的结式就是只含的方程,这就得到的不含参方程。
结式也可以用于判断多项式是否有重根,我们知道有重根的充要条件是,设的根为,此时的结式为式(16)左。把按展开成项,然后就能得到式(16)右。右式可以有更简单的类似式(17)左,该式也用于判断是否有重根,它称为的判别式,它是二次多项式判别式的扩展。利用牛顿定理可知可由其系数表示,而结式便给了一个计算方法。另外,利用定义还不难得到结式和判别式的关系式(18)(19)。
• 求的判别式。
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步