线性代数

张玮

目录

  • 1 线性方程组
    • 1.1 线性方程组的基本概念
    • 1.2 高斯消元法与阶梯型
    • 1.3 线性方程组的等价与初等变换
    • 1.4 矩阵
    • 1.5 齐次线性方程组
    • 1.6 二阶行列式
    • 1.7 三阶行列式
  • 2 集合与映射
    • 2.1 集合的基本概念
    • 2.2 集合之间的运算
    • 2.3 集合的乘积和基数
    • 2.4 映射的基本概念
    • 2.5 映射的合成
    • 2.6 逆映射
    • 2.7 对换
    • 2.8 置换的分解
    • 2.9 例子
    • 2.10 置换的符号
    • 2.11 偶置换与奇置换
    • 2.12 置换在函数上的作用
    • 2.13 等价关系
    • 2.14 商映射与序关系
    • 2.15 数学归纳法
    • 2.16 整数的算术(上)
    • 2.17 整数的算术(下)
  • 3 矩阵
    • 3.1 向量和向量空间
    • 3.2 线性组合和线性相关
    • 3.3 一些性质
    • 3.4 基
    • 3.5 维数
    • 3.6 行秩、列秩的定义及性质
    • 3.7 线性方程组的可解性准则
    • 3.8 重新理解线性方程组
    • 3.9 线性映射
    • 3.10 矩阵的运算
    • 3.11 矩阵乘积的秩
    • 3.12 矩阵的转置
    • 3.13 单位矩阵和纯量矩阵
    • 3.14 可逆矩阵
    • 3.15 一些计算
    • 3.16 初等矩阵
    • 3.17 逆矩阵的计算
    • 3.18 线性方程组的解空间
    • 3.19 解空间的基础解系
  • 4 行列式
    • 4.1 平行六面体的体积与行列式
    • 4.2 行列式的若干性质
    • 4.3 广义行列式函数
    • 4.4 行列式按一行或一列的元素展开
    • 4.5 准三角方阵的行列式
    • 4.6 方阵乘积的行列式
    • 4.7 例子
    • 4.8 可逆矩阵的行列式判别准则
    • 4.9 克拉默法则
    • 4.10 矩阵的子式与矩阵的秩的联系
  • 5 群、环、域
    • 5.1 运算
    • 5.2 结合律的性质
    • 5.3 幂与倍数
    • 5.4 可逆元素
    • 5.5 群的定义和例子
    • 5.6 循环群
    • 5.7 元素的阶
    • 5.8 循环群的子群
    • 5.9 同态与同构
    • 5.10 例子与结论
    • 5.11 半群的乘法表以及群与对称
    • 5.12 环的定义和例子
    • 5.13 整数的剩余类环
    • 5.14 零因子、整环
    • 5.15 同态
    • 5.16 域的定义,例子
    • 5.17 素域
    • 5.18 域的特征
    • 5.19 任意域上的线性方程组
  • 6 复数和多项式
    • 6.1 复数域
    • 6.2 矩阵模型
    • 6.3 复平面、棣莫弗公式
    • 6.4 共轭
    • 6.5 实数域二次扩张的唯一性
    • 6.6 有理数域的二次扩张
    • 6.7 复数的初等几何
    • 6.8 尺规作图与二次扩张
    • 6.9 定义
    • 6.10 一些术语
    • 6.11 多项式的取值
    • 6.12 带余除法
    • 6.13 多元多项式
    • 6.14 多元单项式的字典序
    • 6.15 若干术语
    • 6.16 整除的初等性质
    • 6.17 最大公因子和最小公倍元
    • 6.18 欧几里得环的唯一因子分解性
    • 6.19 整系数多项式的因式分解
    • 6.20 整环的分式域
    • 6.21 欧几里得环的分式域
    • 6.22 有理函数域
  • 7 多项式的根
    • 7.1 根与线性因子
    • 7.2 韦达公式
    • 7.3 多项式的导数与根的重数
    • 7.4 重因子
    • 7.5 多项式函数
    • 7.6 代数基本定理的叙述和一些引理
    • 7.7 代数基本定理的证明
    • 7.8 实系数多项式的虚根
    • 7.9 复数域和实数域上的最简分式
    • 7.10 实系数多项式的根(上)
    • 7.11 实系数多项式的根(中)
    • 7.12 实系数多项式的根(下)
    • 7.13 斯图姆定理的证明
    • 7.14 正根的个数与系数的关系
    • 7.15 多项式根的近似计算
    • 7.16 整系数多项式的有理根
    • 7.17 对称多项式的定义与例子
    • 7.18 对称多项式的基本定理
    • 7.19 待定系数法
    • 7.20 一元四次方程的求根问题
    • 7.21 判别式
    • 7.22 解三次方程
    • 7.23 结式(上)
    • 7.24 结式(下)
  • 8 复习
    • 8.1 复习(一)
    • 8.2 复习(二)
    • 8.3 复习(三)
    • 8.4 复习(四)
  • 9 阅读
    • 9.1 阅读
  • 10 问卷调查
    • 10.1 问卷调查
代数基本定理的证明
  • 1 视频
  • 2 章节测验


所有的证明都包含了一些数学分析,至少是实数或复数函数的连续性概念。有些证明也用到了可微函数,甚至是解析函数。

定理的某些证明仅仅证明了任何实系数多项式都有复数根。这足以推出定理的一般形式,这是因为,给定复系数多项式p(z),以下的多项式

就是一个实系数多项式,如果zq()的根,那么z或它的共轭复数就是()的根。

许多非代数证明都用到了“增长引理”:当||足够大时,首系数为1的次多项式函数()的表现如同z。一个更确切的表述是:存在某个正实数R,使得当|| > R时,就有:

 

复分析证明

证明一

寻找一个中心为原点,半径为r的闭圆盘D,使得当|| ≥ 时,就有|()| > |p(0)|。因此,|p(z)|在D内的最小值(一定存在,因为D是紧致的),是在的内部的某个点z0取得,但不能在边界上取得。于是,根据最小模原理,p(z0) = 0。也就是说,z0是p()的一个零点(根)。

证明二

由于在D之外,有|p(z)| > |p(0)|,因此在整个复平面上,|p()|的最小值在z0取得。如果|p(z0)| > 0,那么1/p在整个复平面上是有界的全纯函数,这是因为对于每一个复数z,都有|1/p(z)| ≤ |1/p(z0)|。利用刘维尔定理(有界的整函数一定是常数),可知1/p是常数,因此p是常数。于是得出矛盾,所以p(z0) = 0。

证明三

这个证明用到了辐角原理。设为足够大的正实数,使得p(z)的每一个根的绝对值都小于R;这个数一定存在,因为次多项式函数最多有个根。对于每一个r >R,考虑以下的数:

 

其中c()是中心为0,半径为r的逆时针方向的圆;于是辐角原理表明,这个数是p)在中心为0、半径为r的开圆盘内的零点的数目N,由于r > R,所以它也是p(z)的零点的总数目。另一方面,n/z沿着c()的积分除以2πi,等于n。但这两个数的差为:

被积分的有理表达式中的分子,次数最多是n 1,而分母的次数是n + 1。因此,当r趋于+∞时,以上的数趋于0。但这个数也等于N n,因此有N = n

证明四

这个证明结合了线性代数和柯西积分定理。为了证明每一个n > 0次复系数多项式都有一个根,只需证明每一个方块矩阵都有一个复数特征值。证明用到了反证法。

A为大小n > 0的方块矩阵,并设In为相同大小的单位矩阵。假设A没有特征值。考虑预解函数

它在复平面上是亚纯函数,它的值位于矩阵的向量空间内。的特征值正好是R( z ) 的极点。根据假设,A没有特征值,因此函数R( z ) 是整函数,根据柯西积分定理可知:

另一方面,把R(z)展开为几何级数,可得:

这个公式在半径为||A||的闭圆盘的外部(A的算子范数)成立。设r > ||A||。那么:

(仅当k = 0时,积分才不等于零)。于是得出矛盾,因此A一定有一个特征值。

拓扑学证明

  为使|p(z)|在  取得最小值的数; 从用到刘维尔定理的证明中,可以看到这样一个数一定存在。我们可以把p(z)写成z z0的多项式:存在某个自然数k和一些复数 ,使得 ,以及:

可推出如果a  的一个k重根,且t是足够小的正数,那么|p(z0 + ta)| < |p(z0)|,这是不可能的,因为|p(z0)|是|p|在D内的最小值。

对于另外一个用到反证法的拓扑学证明,假设p(z)没有根。选择一个足够大的正数R,使得对于|z| = Rp(z)的第一项z大于所有其它的项的和;也就是说,|z| > |an 1z + ··· + a0|。当z依逆时针方向绕过方程为|z| = R的圆一次时,p(z),像z那样,依逆时针方向绕过零n次。在另外一个极端,|z| = 0时,“曲线” p(z)仅仅是一个(非零的)点p(0),它的卷绕数显然是0。如果z所经过的回路在这两个极端中被连续变形,那么p(z)的路径也连续变形。我们可以把这个变形记为  ,其中t大于或等于0,而小于或等于1。如果我们把变量t视为时间,那么在时间为零时,曲线为p(z),时间为1时,曲线为p(0)。显然在每一个点t,根据原先的假设p(z)都不能是零,因此在变形的过程中,曲线一直都没有经过零。因此曲线关于0的绕数应该不变。然而,由于绕数在一开始是n,结束时是0,因此得出矛盾。所以,p(z)至少有一个根

代数证明

这个证明需要依赖实数集的如下事实:正实数R在  上有实平方根,以及任何奇次多项式在  上有一个根(这可以用介值定理证明)。

首先  。经过简单的计算可以证明  在开平方运算下是封闭的(利用事实1)。结合  。得出  不存在二阶扩张。由于  ,于是任何  的扩张都是可分的,从而任何  代数扩张都可以被包含在一个伽罗瓦扩张内。假设 是一个伽罗瓦扩张。考虑伽罗瓦群  的西罗2-子群H。那么  是奇数。由本原元定理得出,K存在本原元  ,它的极小多项式是奇次的。但是利用实数集的事实2,任何奇次数多项式在实数上有一个根,于是不存在奇次的且次数>1的不可约多项式。于是  是2的幂次。

假设  并且r>0,再次利用西罗定理,G存在一个阶为2的子群N。这时  。这和  先前不存在二阶扩张矛盾。因此  的任何代数扩张都是本身,代数基本定理得证。