第1章 矩阵论.doc

矩阵论 前言 为何要学矩阵论： 矩阵论是数学的一个分支，是学习数学和其它学科（如数值分析、最优化理论、概率统计、控制论、信息科学）的基础，也是科学和工程计算的有力工具。如求解线性方程组的解 AX＝b 在A－1存在的情况下，解为X＝A－1b，有两个问题：怎么知道A－1存在不存在；如果存在，怎么求A－1。 在A－1不存在的情况下，如何求误差范数为最小的最小二乘解。这也涉及到矩阵范数定义，最小二乘解的求解方法。 再如，已知矩阵A，如何求A100。或许有人会说。简单，进行矩阵连乘不就行了。但是，计算量太大，如何用一个更好的方法来求呢？如何求，, 第一章　线性空间与线性变换 线性空间 线性空间的概念及定义 数域：设F是包含0和1在内的数集，若F对于数的加、减、乘、除都封闭，即F中的任意两个数的和、差、积、商（除数不为零）仍在F中，则称F是一个数域。 由全体实数构成的集合为实数域（R）,由全体复数构成的集合为复数域（C）。不存在所谓的整数域。我们用F表示数域（实数域或复数域）。 线性空间：设V是非空集合，F是数域，在V中定义了两种代数运算。 　　加法：就是给定了一个法则“＋”，对于V中的任意两个元素和，在V中都有惟一的元素与之对应称为与的和，记为 　　　　　　　　　 加法运算满足以下4条规则： （1）　　　　　　　　　（交换律） （2）　　　　　（结合律） （3）在V中存在零元素“0”，对V中的的任一元素，即，都有； （4）对V中的每一元素，都存在元素，使，称为的负元素，记为。 数乘：就是给定一个法则，对V中的任一元素和数域F中的任一数，在V中都有惟一的元素与它们对应称为与的乘积，记为。 数乘运算满足以下4条规则： （5） （6） （7） （8） 对加法、数乘运算满足（1）~（8）条规则的非空集合V，称为定义在数域F上的线性（向量）空间。 设，则由确定的维向量的全体组成的集合 构成F上的线性空间，称为A的列空间或A的值域，记为R(A)。 设R是实数域，R＋是正实数全体组成的集合。在R＋中元素加法的定义和R中的数与R＋中元素间的数乘的定义为 其中，，试证明R＋按上面定义的加法和数乘运算构成R上的线性空间。 证：首先，由于对任意，有 　　　　 即按照所定义的加法和数乘运算，对R＋是封闭的。 其次，先找出零元素和负元素，然后进行验证对加法和数乘运算满足8条运算规则： 　　　　， 　　　　， 任取，则 （1） （2） （3）　　　　（1为R＋的零元素） （4） （任意元素的负元素为其倒数） （5） （6） （7） （8） R＋按照所定义的两种运算构成数域R上的线性空间。 　另外，在课本上还给出了一些其它的线性空间。 如： 向量空间：记为（或）；复向量空间； 矩阵空间，记为（或）； 多项式空间（）； ？ 方程组的解空间或矩阵A的核空间或零空间，记为； 基、维数与坐标 本节着重介绍几个基本概念 线性组合与线性表出 设是线性空间中个向量，且是数域F中任意个数，则向量 　　　　 为向量的一个线性组合。若向量有 则称可以由线性表出，也称是的线性组合。 线性相关与线性无关 在线性空间V中对于向量组，若存在不全为0的个数，使得 成立，则称向量组线性相关。若仅当全为0时才使得 　　　　　 则称向量组线性无关。 线性表出的惟一性 设可以由线性表出，即 则线性表出系数惟一确定的充分必要条件是向量组线性无关。 极大线性无关组 在线性空间V中，如果向量组A的一部分B满足： 线性无关； 向量组A中的每一向量都可以由部分组B线性表出； 称部分组B是向量组A的一个极大线性无关组。 向量组的秩 定义：极大线性无关组中所含向量的个数称为向量组的秩。（线性空间V中一个向量组的极大无关组不是惟一的，但是任意一个极大无关组所含向量的个数是相等的。） 定义：若为数域F上的线性空间V的n个线性无关的向量，且V中任意向量，都可以由线性表出，即 则称为V中的一个基，数组为在基的坐标。基所含基向量的个数称为V的维数，记为。举两维及三维空间。 考虑下列三个向量间的相关性 解：充分性：，则成立 　　必要性： 　设，即 得方程组 解方程组得 　　当且仅当， 求分别在基 　和基下的坐标。 　解：显然，在基下的坐标为 将在处按Taylor公式展开后，有 在基下的坐标为 基变换和坐标变换 定义：设与是n维线性空间的两个基。基向量用基向量表示的表达式为 写成矩阵的形式为 其中 　　　　　　　 称P为由基到基的过渡矩阵。表达式为由基到基的变换公式。易证过渡矩阵P是可逆的。 定理1：设n维线性空间V中向量在两个基和的坐标为和，则这两个坐标之间变换式为 　或　 上式为坐标变换公式。 证明：　因为 　　　　； 有 又因 则