线性空间和线性映射课件

线性空间和线性映射线性空间和线性映射11、不为五斗米折腰。12、芳菊开林耀，青松冠岩列。怀此贞秀姿，卓为霜下杰。13、归去来兮，田蜀将芜胡不归。14、酒能祛百虑，菊为制颓龄。15、春蚕收长丝，秋熟靡王税。例例 6 矩阵矩阵 的列空间（或值域）的列空间（或值域）：记为记为 二：二：线性空间的基本概念及其性质线性空间的基本概念及其性质向量：线性空间的元素称为向量向量：线性空间的元素称为向量定义定义:线性组合；线性表出；线性相关；线性线性组合；线性表出；线性相关；线性无关；向量组的极大线性无关组；向量组的秩无关；向量组的极大线性无关组；向量组的秩北京理工大学高数教研室*基本性质：基本性质：（1）含有零向量的向量组一定线性相关；）含有零向量的向量组一定线性相关；（2）整体无关）整体无关 部分无关；部分相关部分无关；部分相关 整体相整体相关；关；（3）如果含有向量多的向量组可以由含有向量少）如果含有向量多的向量组可以由含有向量少的向量组线性表出，那么含有向量多的向量组一定的向量组线性表出，那么含有向量多的向量组一定线性相关；线性相关；（4）向量组的秩是唯一的，但是其极大线性无关）向量组的秩是唯一的，但是其极大线性无关并不唯一；并不唯一；（5）如果向量组（）如果向量组（I）可以由向量组（）可以由向量组（II）线性表）线性表出，那么向量组（出，那么向量组（I）的秩）的秩 向量组（向量组（II）的秩；）的秩；（6）等价的向量组秩相同。）等价的向量组秩相同。北京理工大学高数教研室*例例 1 实数域实数域 上的线性空间上的线性空间 中，函数组中，函数组是一组线性无关的函数，其中是一组线性无关的函数，其中 为一为一组互不相同的实数。组互不相同的实数。例例 2 实数域实数域 上的线性空间上的线性空间 中，函数组中，函数组是一组线性无关的函数，其中是一组线性无关的函数，其中 为一为一组互不相同的实数。组互不相同的实数。例例 3 实数域实数域 上的线性空间上的线性空间 中，函数组中，函数组也是线性无关的。也是线性无关的。北京理工大学高数教研室*例例 4 实数域实数域 上的线性空间空间上的线性空间空间 中，函数组中，函数组与函数组与函数组都是线性相关的函数组。都是线性相关的函数组。定理定理1.1.1如果向量组如果向量组 A:a1,a2,am 线性无关，线性无关，而向量组而向量组 B:a1,a2,am,b 线性相关线性相关,那么向量那么向量 b 可可由向量组由向量组 A 线性表示且表法唯一线性表示且表法唯一.北京理工大学高数教研室*定义定义 设设 为数域为数域 上的一个线性空间。如果在上的一个线性空间。如果在 中存在中存在 个线性无关的向量个线性无关的向量 使得使得 中的任意一个向量中的任意一个向量 都可以由都可以由 线性表出线性表出则称则称 为为 的一个的一个基底基底；为向量为向量 在基底在基底 下的下的坐标坐标。此时我们。此时我们称称 为一个为一个 维线性空间，记为维线性空间，记为 例例 1 实数域实数域 上的线性空间上的线性空间 中向量组中向量组与向量组与向量组 第二节第二节 线性空间的基底、维数与坐标变换线性空间的基底、维数与坐标变换北京理工大学高数教研室*都是都是 的基。的基。是是3维线性空间。维线性空间。例例 2 实数域实数域 上的线性空间上的线性空间 中的向量组中的向量组与向量组与向量组 都是都是 的基。的基。是是4维线性空间。维线性空间。例例 3 实数域实数域 上的线性空间上的线性空间 中的向量组中的向量组 北京理工大学高数教研室*与向量组与向量组都是都是 的基底。的基底。维数为维数为 注意：注意：通过上面的例子可以看出线性空间的基底并不通过上面的例子可以看出线性空间的基底并不唯一，但是维数是唯一确定的。利用维数的定义线性唯一，但是维数是唯一确定的。利用维数的定义线性空间可以分为空间可以分为有限维线性空间有限维线性空间和和无限维线性空间无限维线性空间。目。目前，我们主要讨论前，我们主要讨论有限维的线性空间有限维的线性空间。例例 4 在在4维线性空间维线性空间 中，向量组中，向量组北京理工大学高数教研室*与向量组与向量组是其两组基，求向量是其两组基，求向量 在这两组基下的在这两组基下的坐标。坐标。解解：设向量：设向量 在第一组基下的坐标为在第一组基下的坐标为 北京理工大学高数教研室*于是可得于是可得 解得解得同样可解出在第二组基下的坐标为同样可解出在第二组基下的坐标为北京理工大学高数教研室*由此可以看出：一个向量在不同基底下的坐标是不相由此可以看出：一个向量在不同基底下的坐标是不相同的。同的。基变换与坐标变换基变换与坐标变换设设 （旧的旧的）与）与 （新的新的）是是 维线性空间维线性空间 的两组基底，它们之间的关系为的两组基底，它们之间的关系为 北京理工大学高数教研室*将上式将上式矩阵化矩阵化可以得到下面的关系式：可以得到下面的关系式：称称 阶方阵阶方阵北京理工大学高数教研室*是由旧的基底到新的基底的是由旧的基底到新的基底的过渡矩阵过渡矩阵，那么上式可，那么上式可以写成以写成定理定理：过渡矩阵：过渡矩阵 是可逆的。是可逆的。北京理工大学高数教研室*任取任取 ，设，设 在两组基下的坐标分别为在两组基下的坐标分别为 与与 ，那么我们有：，那么我们有：称上式为称上式为坐标变换公式坐标变换公式。例例 1 在在4维线性空间维线性空间 中，向量组中，向量组北京理工大学高数教研室*与向量组与向量组北京理工大学高数教研室*为其两组基，求从基为其两组基，求从基 到基到基 的的过渡矩阵，过渡矩阵，并求向量并求向量 在这两组基下的坐标。在这两组基下的坐标。解解：容易计算出下面的矩阵表达式：容易计算出下面的矩阵表达式北京理工大学高数教研室*北京理工大学高数教研室*向量向量 第一组基下的坐标为第一组基下的坐标为利用坐标变换公式可以求得利用坐标变换公式可以求得 在第二组基下的坐标为在第二组基下的坐标为北京理工大学高数教研室*北京理工大学高数教研室*例例 2 教材教材13页例页例1.2.6 第三节第三节 线性空间的子空间线性空间的子空间定义定义 设设 为数域为数域 上的一个上的一个 维线性空间，维线性空间，为为 的一个非空子集合，如果对于任意的的一个非空子集合，如果对于任意的 以及任意的以及任意的 都有都有那么我们称那么我们称 为为 的一个的一个子空间子空间。例例 1 对于任意一个有限维线性空间对于任意一个有限维线性空间 ，它必有，它必有两个两个平凡的子空间平凡的子空间，即由单个零向量构成的子空间，即由单个零向量构成的子空间 北京理工大学高数教研室*以及线性空间以及线性空间 本身。本身。例例 2 设设 ，那么线性方程组，那么线性方程组 的的全部解为全部解为 维线性空间维线性空间 的一个子空间，我们称的一个子空间，我们称其为其为齐次线性方程组的解空间齐次线性方程组的解空间。当齐次线性方程组。当齐次线性方程组 有无穷多解时，其解空间的基底即为其基有无穷多解时，其解空间的基底即为其基础解系；解空间的维数即为基础解系所含向量的个础解系；解空间的维数即为基础解系所含向量的个数。数。例例 3 设设 为为 维线性空间维线性空间 中的中的一组向量，那么非空子集合一组向量，那么非空子集合 北京理工大学高数教研室*构成线性空间构成线性空间 的一个子空间，称此子空间为有限生成的一个子空间，称此子空间为有限生成子空间，称子空间，称 为该子空间的生成元。为该子空间的生成元。的基底即为向量组的基底即为向量组 的极大线性无关组，的极大线性无关组，的维数即为的维数即为向量组向量组 的秩。的秩。例例 4 实数域实数域 上的线性空间上的线性空间 中全体中全体上三角上三角矩阵矩阵集合，全体集合，全体下三角下三角矩阵集合，全体矩阵集合，全体对称对称矩阵集合，全体矩阵集合，全体反对称反对称矩阵集合分别都构成矩阵集合分别都构成 的子空间，的子空间，北京理工大学高数教研室*问题问题：这几个子空间的基底与维数分别时什么？：这几个子空间的基底与维数分别时什么？子空间的交与和子空间的交与和北京理工大学高数教研室*矩阵（或线性变换）的特征值与特征向量矩阵（或线性变换）的特征值与特征向量 定义定义 设设 是数域是数域 上的线性空间上的线性空间 的一个线的一个线性变换，如果对于数域性变换，如果对于数域 中任一元素中任一元素 ，中中都存在一个非零向量都存在一个非零向量 ，使得，使得 那么称那么称 为为 的一个的一个特征值特征值，而，而 称为称为 的的属于特征值属于特征值 的一个的一个特征向量特征向量。现在设现在设 是数域是数域 上的上的 维线性空间，维线性空间，中取定一个基中取定一个基 ，设线性变换，设线性变换 在这组基下的矩阵是在这组基下的矩阵是 ，向量，向量 在这组基下的在这组基下的坐标是坐标是 ，。那么我们有。那么我们有 北京理工大学高数教研室*由此可得定理由此可得定理：是是 的特征值的特征值 是是 的特征值的特征值 是是 的属于的属于 的特征向量的特征向量 是是 的的属于属于 的特征向量的特征向量 因此，只要将因此，只要将 的全部特征值求出来，它们的全部特征值求出来，它们就是线性变换就是线性变换 的全部特征值；只要将矩阵的全部特征值；只要将矩阵 的的属于属于 的全部特征向量求出来，分别以它们为坐的全部特征向量求出来，分别以它们为坐标的向量就是标的向量就是 的属于的属于 的全部特征向量。的全部特征向量。北京理工大学高数教研室*例例 1 设设 是数域是数域 上的上的3维维线性空间，线性空间，是是 上上的一个线性变换，的一个线性变换，在在 的一个基的一个基 下的下的矩阵是矩阵是求求 的全部特征值与特征向量。的全部特征值与特征向量。解：解：的特征多项式为的特征多项式为北京理工大学高数教研室*所以所以 的特征值是的特征值是 （二重）与（二重）与 。对于特征值对于特征值 ，解齐次线性方程组，解齐次线性方程组得到一个基础解系：得到一个基础解系：北京理工大学高数教研室*从而从而 的属于的属于 的极大线性无关特征向量组是的极大线性无关特征向量组是于是于是 的属于的属于 的全部特征向量是的全部特征向量是 这里这里 为数域为数域 中不全为零的数对。中不全为零的数对。对于特征值对于特征值 ，解齐次线性方程组，解齐次线性方程组得到一个基础解系：得到一个基础解系：北京理工大学高数教研室*从而从而 的属于的属于 的极大线性无关特征向量组是的极大线性无关特征向量组是于是于是 的属于的属于 的全部特征向量的全部特征向量这里这里 为数域为数域 中任意非零数。中任意非零数。矩阵的相似与相似对角化矩阵的相似与相似对角化相似矩阵的性质相似矩阵的性质：相似矩阵有相同的特征多项式，有相同的特征相似矩阵有相同的特征多项式，有相同的特征北京理工大学高数教研室*值，有相同的行列式值，有相同的秩，有相同的迹，值，有相同的行列式值，有相同的秩，有相同的迹，有相同的谱。有相同的谱。矩阵的特征值与特征向量的性质矩阵的特征值与特征向量的性质：（1）阶矩阵阶矩阵 的属于特征值的属于特征值 的全部特征向量的全部特征向量再添上零向量，可以组成再添上零向量，可以组成 的一个子空间，称之为矩的一个子空间，称之为矩阵阵 的属于特征值的属于特征值 的的特征子空间特征子空间，记为，记为 ，不难，不难看出看出 正是特征方程组正是特征方程组 的解空间。的解空间。（2）属于不同特征值的特征向量是线性无关的。属于不同特征值的特征向量是线性无关的。北京理工大学高数教研室*（3）设设 是是 的的 个互不同的特征个互不同的特征值，值，的几何重数为的几何重数为 ，是对是对应于应于 的的 个线性无关的特征向量，则的所有这个线性无关的特征向量，则的所有这些特征向量些特征向量仍然是线性无关的。仍然是线性无关的。（4）任意一个特征值的几何重数不大于它的代数任意一个特征值的几何重数不大于它的代数重数。重数。北京理工大学高数教研室*（5）一个特征向量不能属于不同的特征值。）一个特征向量不能属于不同的特征值。矩阵（线性变换）的相似对角化矩阵（线性变换）的相似对角化定义定义 数域数域 上的上的 维线性空间维线性空间 的一个线性的一个线性变换变换 称为称为可以对角化的可以对角化的，如果，如果 中存在一个基中存在一个基底，使得底，使得 在这个基底下的矩阵为对角矩阵。在这个基底下的矩阵为对角矩阵。我们在我们在 中取定一个基底中取定一个基底 ，设，设线性变换线性变换 在这个基下的矩阵为在这个基下的矩阵为 ，那么可以得，那么可以得到下面的定理到下面的定理定理定理：可以对角化可以对角化 可以对角化。可以对角化。定理定理：阶矩阵阶矩阵 可以对角化的充分必要条件是可以对角化的充分必要条件是 北京理工大学高数教研室*有有 个线性无关的特征向量。个线性无关的特征向量。定理定理：阶矩阵阶矩阵 可以对角化的充分必要条件是可以对角化的充分必要条件是每一个特征值的代数重数等于其几何重数。每一个特征值的代数重数等于其几何重数。例例 1 判断矩阵判断矩阵是否可以对角化？是否可以对角化？解解：先求出先求出 的特征值的特征值北京理工大学高数教研室*于是的特征值为于是的特征值为 （二重）（二重）由于由于 是单的特征值，它一定对应一个线性是单的特征值，它一定对应一个线性无关的特征向量。下面我们考虑无关的特征向量。下面我们考虑北京理工大学高数教研室*于是于是 从而从而不可以相似对角化不可以相似对角化。例例 2 设设 是数域是数域 上的上的3维维线性空间，线性空间，是是 上上的一个线性变换，的一个线性变换，在在 的一个基的一个基 下下的矩阵是的矩阵是北京理工大学高数教研室*判断是判断是 否可以对角化？否可以对角化？解：解：根据前面例题的讨论可知根据前面例题的讨论可知 有有3个线性无关个线性无关的特征向量的特征向量:因此因此 可以对角化，可以对角化，在这组基下的矩阵是在这组基下的矩阵是北京理工大学高数教研室*由基由基 到基到基 的过渡矩阵是的过渡矩阵是于是有于是有北京理工大学高数教研室*例例 3 数域数域 上的上的 维线性空间维线性空间 的任一幂等的任一幂等变换一定可以对角化。变换一定可以对角化。第二章第二章 矩阵与矩阵的矩阵与矩阵的Jordan标准形标准形北京理工大学高数教研室*谢谢！61、奢侈是舒适的，否则就不是奢侈。CocoChanel62、少而好学，如日出之阳；壮而好学，如日中之光；志而好学，如炳烛之光。刘向63、三军可夺帅也，匹夫不可夺志也。孔丘64、人生就是学校。在那里，与其说好的教师是幸福，不如说好的教师是不幸。海贝尔65、接受挑战，就可以享受胜利的喜悦。杰纳勒尔乔治S巴顿