4 线性变换
基本概念
4.1.1 线性映射及运算
1. 定义
设 是数域 上向量空间 到 中的映射,如果 适合下列条件:
(1) ;
(2) ,
则称 是向量空间 到 的线性映射. 若 是单映射,则称 为单线性映射, 若 是映上的,则称之为满线性映射. 若 既满又单 (即一一对应),则称之为线性同构.
同一向量空间 上的线性映射称为 上的线性变换.
2. 线性映射的运算
设 和 是 的线性映射,定义它们的加法和数乘如下:
(1) ;
(2) ,
则 都是 的线性映射,且若记 为全体 到 的线性映射组成的集合,则 也是 上的向量空间.
上的全体线性变换记为 ,在 上定义线性变换的乘法为映射的复合, 即
在此乘法下, 成为 -代数.
4.1.2 线性映射与矩阵
1. 线性映射的表示矩阵
设 是 的线性映射,分别取 和 的基如下:
假定有
则称矩阵
称为线性映射在给定基下的表示矩阵.
注 若 是向量空间 上的线性变换,则取 的一组基,而不取两组基.
2. 线性映射及其表示矩阵的关系
取定基以后,数域 上 维向量空间 到 维向量空间 的线性映射集合与数域 上 矩阵集合之间存在一个一一对应,即将线性映射 映为它在取定基下的表示矩阵. 这个一一对应还是一个线性同构. 对向量空间 上的线性变换,这个对应还保持乘法, 即将线性变换的乘法映为相应表示矩阵的乘法.
3. 定义
设 是数域 上的 阶矩阵,若存在数域 上的可逆矩阵 ,使 ,则称矩阵 和 相似.
4. 定理
设 是数域 上的 维向量空间, 是 上的线性变换, 和 是 的两组基. 已知从第一组基到第二组基的过渡矩阵为 .
假定 在第一组基下的表示矩阵为 ,在第二组基下的表示矩阵为 ,则 ,即向量空间上同一个线性变换在不同基下的表示矩阵必相似.
4.1.3 像 与 核
1. 定义
设 是数域 上向量空间 到 的线性映射, 的全体像元素组成 的子空间,称为 的像空间,记为 . 像空间的维数称为 的秩. 又, 中在 下映射为零向量的全体向量构成 的子空间,称为 的核空间,记为 . 核空间的维数称为 的零度.
2. 定理
设 是数域 上向量空间 到 的线性映射, 是 在任意给定基下的表示矩阵,则 的秩等于矩阵 的秩.
3. 推论
维向量空间 上的线性变换 是可逆变换的充要条件是,它在 的任意一组基下的表示矩阵是可逆矩阵.
4. 定理
设 是数域 上向量空间 到 的线性映射,则 .
5. 推论
维向量空间 上的线性变换 是可逆变换的充要条件为,它是单映射或它是满映射.
4.1.4 不变子空间
1. 定义
设 是数域 上向量空间 上的线性变换, 是 的子空间,若 适合条件 ,则称 是 的不变子空间.
2. 定理
设 是数域 上向量空间 上的线性变换, 是 的不变子空间,若取 的一组基 ,再扩张为 的一组基 ,则在 的这组基下 的表示矩阵具有下列分块形状:
其中 是一个 阶矩阵.
3. 推论
设 是数域 上向量空间 上的线性变换, 是 的不变子空间且 ,若取 的基拼成 的一组基 ,则在 的这组基下 的表示矩阵具有下列分块对角矩阵的形状:
例题解析
4.2.1 线性映射及其运算
在许多问题中, 常常需要定义向量空间之间的线性映射 (或某一空间上的线性变换). 一般来说, 我们无需对向量空间中的每个元素进行定义. 我们可采用下列方法来简化定义: 第一, 只需对涉及的向量空间的基向量进行定义即可; 第二, 若向量空间可分解为两个 (或多个) 子空间的直和, 则只要对每个子空间进行定义即可. 第一种方法的理论基础是下面的例 4.1 ; 第二种方法的理论基础是下面的例 4.2. 后面的几个例子用来说明其应用.
例 4.1 设 和 是数域 上的向量空间, 是 的一组基, 是 中 个向量,求证: 必存在 到 的唯一的线性映射 , 使 .
证明 存在性. 假定 是 中的向量,将它表示为基向量的线性组合:
其中 被 唯一确定. 令
则 是 到 的映射. 若另有 ,则
又对 中任意元素 ,有
因此 是线性映射.
唯一性. 若另有 到 的线性映射 适合 ,则
因此 ,这就证明了唯一性.
注 这是一个重要的命题. 它表明只要选定 的一组基和 中 个向量,有且仅有一个线性映射将基向量映到对应的向量. 我们在以后将经常采用这种方法来构造线性映射.
例 4.2 设线性空间 ,已知 及 分别是 到 的线性映射,则存在从 到 唯一的线性映射 ,当 限制在 上时等于 .
证明 对任意的 ,因为 可唯一地写为 , . 令 ,则 是 到 的映射. 不难验证 保持加法和数乘,因此 是线性映射. 若另有线性映射 ,它在 上的限制等于 ,则
因此 ,唯一性得证.
例 4.3 设 是 上有限维线性空间 到 的线性映射. 求证: 必存在 到 的线性映射 ,使 .
证明 设 和 的维数分别是 和 . 由例题 4.19 得知,可分别选取 和 的基 ,使 在这两组基下的表示矩阵为
这就是 . 定义 是 到 的线性映射, 它在基上的作用为
则在 的基上,有
于是 .
例 4.4 设 是 上的有限维线性空间, 是 到 的线性映射,求证:
(1) 是单映射的充要条件是存在 到 的线性映射 ,使 ,这里 表示 上的恒等映射;
(2) 是满映射的充要条件是存在 到 的线性映射 ,使 ,这里 表示 上的恒等映射.
证明 (1) 若 ,则对任意的 ,即 0,从而 是单映射. 反之,若 是单映射,则 ,且 是 到 上的线性同构. 设 是 在 中的补空间,即 . 定义 为 到 的线性映射,它在 上的限制为 ,它在 上的限制是零线性映射,则容易验证 成立.
(2) 若 ,则对任意的 ,从而 是满映射. 反之, 若 是满映射,则可取 的一组基 以及 中的向量 , 使得 . 定义 为 到 的线性映射,它在基上的作用为 ,则容易验证 成立.
例 4.5 设有数域 上线性空间 及 ,又 是 的子空间, 是线性空间 到 的线性映射. 求证: 必存在 到 的线性映射 ,它在 上的限制就是 .
证明 令 是子空间 在 中的补空间,即 . 定义 到 的映射 如下: 中向量 可唯一分解为 ,其中 , 令 . 不难验证 是所需之线性映射.
例 4.6 设 是 上 维线性空间 上的线性变换, . 若 , 而 . 求证: 线性无关.
证明 设有 个数 ,使
上式两边同时作用 ,则有 ,由于 ,故 . 上式两边同时作用 ,则有 ,由于 ,故 . 不断这样做下去,最后可得 ,从而 线性无关.
4.2.2 线性同构
线性同构是两个线性空间具有相同结构的意思. 同构的线性空间从代数结构的观点来看没有什么区别. 线性同构刻划了不同线性空间之间的相同本质. 我们已经在 中看到了线性同构的一些例子和应用. 要证明向量空间 到 的线性映射 是线性同构通常需要一方面验证 是单映射 (或等价地验证 ),另一方面需要验证 是满映射 (或等价地验证 ). 但如果已知两个线性空间的维数相等,则由线性映射的维数公式容易证明, 是线性同构当且仅当 是单映射当且仅当 是满映射,从而只需验证 是单映射或满映射即可得到 是线性同构. 下面是两个有用的例子.
例 4.7 设 是数域 上 个不同的数. 是 上次数不超过 的多项式组成的线性空间. 又设 是 到 维行向量空间 的映射:
求证: 是线性同构.
证明 不难验证 是一个线性映射. 若 ,则 . 因为 的次数不超过 ,故由例 1.31 可知 ,即 , 这证明了映射 是单映射. 注意到线性空间 和 的维数都等于 ,因此 是线性同构.
例 4.8 根据上题,推出 Lagrange 插值定理: 设 是数域 中 个不同的数, 是 中任意 个数,则必存在 上的次数不超过 的多项式 ,使 . 试将 构造出来.
证明 上题中已证明映射 是映上的,因此存在性已经证明. 现来构造 .
设 是 上 维行向量空间 的标准基. 先构造 ,使 . 令
则 . 再令
则容易验证 成立.
要证明某个有限维线性空间 上的线性变换 是自同构 (可逆线性变换),通常有 3 种方法. 一是可尝试直接构造出 的逆变换. 二是证明 是单映射或者 是满映射 (两者只需其一). 三是用矩阵方法,即选取 的一组基,在这组基下 的表示矩阵记为 ,设法证明 是可逆矩阵. 下面是几个典型的例子.
例 4.9 设 是 上 维线性空间 上的线性变换,若存在 中 个数 ,使
其中 表示恒等变换并且 ,求证: 是 上的自同构.
证明 由条件可得
从而
即
例 4.10 设 是 维线性空间 上的线性变换,证明: 是可逆变换的充要条件是 将 的基变为基.
证明 若 是可逆变换,则显然 将 的基变为基. 反之,若 和 是 的两组基,使得 ,则对任意 , ,有 ,即 是满映射, 从而是自同构. 我们也可以这样讨论,设从基 到基 的过渡矩阵为 ,则 在基 下的表示矩阵就是 ,这是一个可逆矩阵,从而 是可逆变换.
例 4.11 设 是 维线性空间 的子空间,假定它们维数相同. 求证: 存在 上的可逆线性变换 ,使 .
证明 取 的一组基 ,并扩张为 的一组基 , ; 取 的一组基 ,并扩张为 的一组基 . 定义 为 上的线性变换,它在基上的作用为: ,则由上题可知, 是可逆线性变换,再由定义容易验证 成立.
例 4.12 设 是 上 维线性空间 的线性变换,若对 中任一向量 ,总存在正整数 ( 可能和 有关),使 . 求证: 是 的自同构.
证法 1 首先证明线性变换 是幂零的. 设 是线性空间 的一组基. 对每个 ,都有 ,使 ,令 为诸 中最大者. 对 中任一向量 ,有
因此 .
注意到下列等式:
由此即知 是线性同构.
证法 2 只要证明 是单映射即可. 任取 ,即 ,则 . 设 为正整数,使得 ,则 ,故 ,即 是单映射.
证法 3 由 的幂零性可知,它在 的任意一组基下的表示矩阵 是幂零矩阵,即 . 再由第 2 章选择题 2 可知 是可逆矩阵,因此 是自同构.
例 4.13 设 是 上全体 阶矩阵组成的线性空间, 是两个 阶矩阵,定义 上的变换: . 求证: 是 上的线性变换, 是可逆线性变换的充要条件是 和 都是可逆矩阵.
证法 1 容易验证 是线性变换. 若 是可逆矩阵,则 是 的逆线性变换.
反之,若 不是可逆矩阵,我们可以证明 不是单映射,即存在 , 使 ,从而 不是可逆映射. 事实上,若 的秩等于 ,则存在可逆矩阵 和 ,使 . 令 ,则 , 而 是可逆矩阵,故 ,再令 即可. 同理,若 的秩小于 ,也可以证明 不是可逆变换.
证法 2 只证必要性. 若 是不可逆矩阵,则对任意的 阶矩阵 总是不可逆矩阵. 因此 不可能是映上的. 同理,若 是不可逆矩阵, 也不是映上的.
对于无限维线性空间之间的线性映射, 我们并没有定义表示矩阵这一概念, 也没有维数公式等结论, 因此研究线性映射或线性变换, 无限维线性空间的情形远比有限维线性空间的情形难得多, 也常出现对有限维线性空间成立的结论在无限维线性空间却不成立的情况. 例如, 要证明无限维线性空间上的线性变换是自同构, 只能按照定义证明它既是单映射又是满映射, 而不能像有限维线性空间上的线性变换那样, 只验证它是单映射或满映射即可.
例 4.14 设 是实系数多项式全体构成的实线性空间,定义 上的变换 如下:
证明: 均为 上的线性变换且 ,但 .
证明 简单验证即得结论. 由 可知, 是单线性映射, 是满线性映射. 又容易看出 不是满映射, 不是单映射,从而它们都不是自同构.
下面的命题对有限维线性空间上的线性变换显然是成立的.
例 4.15 设 是 上的无限维线性空间, 是 上的线性变换.
(1) 证明: 和 都是可逆变换的充要条件是 和 都是可逆变换;
(2) 若 ,则称 是 的左逆变换, 是 的右逆变换. 证明: 是可逆变换的充要条件是 有且仅有一个左逆变换 (右逆变换).
证明 (1) 若 和 都是可逆变换,则 , ,因此 和 都是可逆变换. 反之, 若 和 都是可逆变换,则存在 上的线性变换 ,使 , . 由 可得 是满映射,由 可得 是单映射,从而 是可逆变换. 同理可证 也是可逆变换.
(2) 若 是可逆变换,任取 的一个左逆变换 ,则
即 的任一左逆变换都是逆变换 . 由逆变换的唯一性可知, 有且仅有一个左逆变换. 反之,若 有且仅有一个左逆变换 ,则 ,且有
即 也是 的左逆变换,从而 ,即 . 因此 也是 的右逆变换,从而 是可逆变换. 同理可证关于右逆变换的结论.
注 用例 4.15 的结论来看例 4.14,就能发现 之所以不是可逆变换,是因为它的右逆变换除了 之外,还有无穷多个.
例 4.16 试构造无限维线性空间 以及 上的线性变换 ,使得
解 设 是实系数多项式全体构成的实线性空间,线性变换 定义为: 对任意的 . 容易验证 成立.
注 事实上,满足上述性质的线性变换 决不可能存在于有限维线性空间 上. 若存在,取 的一组基并设 的表示矩阵为 ,则有 成立. 上式两边同时取迹, 可得
导出矛盾. 上述 3 个例题从一个侧面反映了无限维线性空间和有限维线性空间之间的巨大差异, 虽然我们并不打算深入探讨这个问题, 但仍提醒读者在学习的过程中加以注意.
4.2.3 线性映射与矩阵
线性映射与矩阵的关系是这一章的核心. 线性映射是一个几何概念, 矩阵是一个代数概念, 它们之间的关系主要要掌握以下几点:
(1) 记 维向量空间 到 维向量空间 的线性映射全体为 . 各自取定 和 的一组基,若 是 在给定基下的表示矩阵,则 定义了 到 矩阵集合的一一对应,这个对应还是一个线性同构. 若 , 则在这个对应下,线性同构 (可逆线性映射) 对应于可逆矩阵. 特别,对 ,上述对应还定义了一个代数同构, 即除了保持加法与数乘外, 还保持乘法.
(2) 两个向量空间之间线性映射的运算完全可以归结为矩阵的运算. 这点在下面的例 4.17 中有详细的说明.
(3) 若线性映射 在给定基下的表示矩阵为 ,则 , 又 和齐次线性方程组 的解空间同构. 这两点由例 4.17 的结论即得.
例 4.17 设 是 上 维线性空间 到 上 维线性空间 的线性映射. 令 和 分别是 上 维和 维列向量空间. 又设 及 分别是 和 的基, 在给定基下的表示矩阵为 . 记 为 中向量映射到它在基 下的坐标向量的线性同构, 为 中向量映射到它在基 下的坐标向量的线性同构, 为矩阵乘法诱导的线性映射,即 . 求证: ,即下列图交换,并且 都是线性同构.
证明 请参考教材 [1] 中定理 4.3.1 和定理 4.4.1 的证明.
线性映射和矩阵的上述关系建立了代数语言和几何语言相互转换的桥梁, 有了这座桥梁, 我们可以把几何问题转化成代数问题来考虑, 并用代数的方法加以解决; 反过来也可以把代数问题转化成几何问题来考虑, 并用几何的方法加以解决. 事实上, 代数方法和几何方法之间并不存在孰优孰劣的问题, 只不过对于各类问题, 有时用代数方法处理更简洁, 有时用几何方法解决更方便而已. 这就好像是人的左右手, 它们都是不可或缺的, 只是各有各的用途而已. 因此从某种意义上说, 掌握了代数语言与几何语言之间的转换, 并能熟练地运用代数方法或几何方法去解决问题, 就是掌握了高等代数的核心.
例如在 中,通过抽象的线性空间和具体的列向量空间之间的线性同构, 我们可将几何问题代数化, 并用矩阵的方法加以解决; 在例 4.12 的证法 3 中, 我们把幂零线性变换转化成幂零矩阵, 故可用矩阵的方法证明结论. 在后面的章节中, 我们将会陆续给出若干例题的代数与几何两种解法, 这些不仅反映了代数与几何之间转换的重要性, 更加揭示了蕴涵在问题之中的代数与几何的背景及其意义.
例 4.18 设 是线性空间 到 的线性映射, 和 , 是 的两组基, 到 的过渡矩阵为 . , 和 是 的两组基, 到 的过渡矩阵为 . 又设 在基 和基 下的表示矩阵为 ,在基 和基 下的表示矩阵为 . 求证:
证明 设 ,它在基 下的坐标向量为 ,则它在基 下的坐标向量为 在基 , 下的坐标向量为 ,而在基 下的坐标向量为 . 由于从 到 的过渡矩阵为 ,故 . 因为 是任意的,故 ,即 .
例 4.19 设 是线性空间 到 的线性映射,则必存在 和 的两组基, 使线性映射 在两组基下的表示矩阵为 .
证明 由上题及矩阵相抵标准型知道,可选择适当的 和 ,使
由此即得结论.
利用例 4.17 的结论可以很容易推导出线性映射的维数公式, 下面我们给出这一公式的另一简单证明.
例 4.20 设 为线性映射,求证: .
证明 设 ,我们只要证明 即可. 取 的一组基 ,并将其扩张为 的一组基 . 任取 ,设 ,则 ,即 中任一向量都是 的线性组合. 下证 线性无关. 设 ,则 ,即 ,故可设 ,再由 线性无关可知 . 因此 是 的一组基,从而 ,结论得证.
例 4.21 设 是 维线性空间 到 维空间 的线性映射. 及 分别是 和 的基, 在这两组基下的表示矩阵为 . 求证: 是满映射的充要条件是 是单映射的充要条件是 .
证明 注意到 ,并且 是满映射的充要条件是 ,这也等价于 ,故第一个结论成立.
注意到 ,并且 是单映射的充要条件是 ,这也等价于 ,故第二个结论成立.
例 4.4 的证法 2 (代数方法) 充分性显然,现只证必要性. 取定 和 的两组基,设 在这两组基下的表示矩阵为 矩阵 .
(1) 若 是单映射,则由上题知 是列满秩矩阵. 再由例 3.86 (1) 可知,存在 矩阵 ,使 . 由矩阵 可定义从线性空间 到线性空间 的线性映射 ,它适合 .
(2) 若 是满映射,则由上题知 是行满秩矩阵. 再由例 3.86 (2) 可知,存在 矩阵 ,使 . 由矩阵 可定义从线性空间 到线性空间 的线性映射 ,它适合 .
例 4.22 设 为线性映射且 的秩为 ,证明: 存在 个秩为 1 的线性映射 ,使得 .
证明 设 及 分别是 和 的基, 在这两组基下的表示矩阵为 ,则 . 由例 3.85 可知,存在 个秩为 1 的矩阵 ,使得 . 由线性映射和矩阵之间的一一对应关系,故存在线性映射 ,使得 , 且 .
例 4.23 设 是线性空间 上的线性变换,若它在 的任何一组基下的表示矩阵都相同,求证: 是纯量变换 (或称数乘变换),即存在常数 ,使 对一切 都成立.
证明 在 中选择一组基,设 在这组基下的表示矩阵是 . 由已知条件可知,对任意一个同阶可逆矩阵 ,即 . 因此矩阵 和任意一个可逆矩阵乘法可交换,故 . 由此即知 是纯量变换.
在上面三题中, 我们将线性映射的问题化为矩阵问题来处理. 反之, 我们也可将矩阵问题化为线性映射 (线性变换) 问题来处理. 若 是数域 上的 阶矩阵, 令 是 上 维列向量空间,则我们可以定义 上的映射: ,即 是由矩阵乘法诱导的映射. 容易验证 是 上的线性变换,并且 在 的标准基下的表示矩阵就是 . 一般地,若 是 上 矩阵,同理可定义 到 的线性映射: ,容易验证 在 和 的标准基下的表示矩阵就是 . 因此,有时我们就把这个线性映射写为 . 上述把代数问题转化成几何问题的语言表述, 在后面的章节中我们一直会用到. 某些矩阵问题采用这种方式转化为线性映射 (线性变换) 问题以后, 往往变得比较容易解决或者我们可以充分利用几何直观去得到解题思路. 下面是两个典型的例子.
例 4.24 设 都是数域 上的 矩阵,求证: 方程组 同解的充要条件是存在可逆矩阵 ,使 .
证明 因为 是可逆矩阵,充分性是显然的. 现通过两种方法来证明必要性.
代数方法 由条件可得方程组 都同解,从而有
注意到结论 就是说 可以通过初等行变换相互转化,因此在证明的过程中,对 或 实施初等行变换不影响结论的证明. 设
分别为 的行分块. 不妨对 都进行行对换,故可设 是 的行向量的极大无关组, 是 的行向量的极大无关组. 由于 ,故由例 3.19 可知, 和 是向量组 的两组极大无关组. 设 ,则容易验证 阶方阵 是非异阵. 设 是 矩阵, 则容易验证 是 阶非异阵,并且满足 .
几何方法 将问题转化成几何的语言即为: 设 是 上的 维线性空间, 是 上的 维线性空间, 是两个线性映射. 求证: 若 , 则存在 上的自同构 ,使得 .
设 ,则 . 取 的一组基 ,并将其扩张为 的一组基 . 根据例 4.20 的证明可知, 是 的一组基,故可将其扩张为 的一组基 . 同理可知, 是 的一组基,故可将其扩张为 的一组基 . 定义 上的线性变换 如下:
因为 把 的一组基映射为 的另一组基,故 是 的自同构. 又 ,故 成立.
例 3.66 的证法 2 将问题转化成几何的语言即为: 设 , 是线性映射,证明: .
下面考虑通过定义域的限制得到的线性映射: 将 的定义域限制在 上可得线性映射 ,它的像空间是 ,核空间是 ; 将 的定义域限制在 上可得线性映射 ,它的像空间是 , 核空间是 ,故由线性映射的维数公式可得
注意到 ,故 ,从而由 (4.1)
式和 (4.2) 式可得
从而结论得证.
例 4.25 若数域 上的 阶方阵 和 相似,求证: 它们可以看成是某个线性空间上同一个线性变换在不同基下的表示矩阵.
证明 令 是数域 上的 维列向量空间,由矩阵 对列向量的乘法定义的线性变换记为 . 取 的标准基 . 显然 在这组基下的表示矩阵就是 . 已知 和 相似,即存在可逆矩阵 ,使 . 令 ,即 是 的 个列向量. 因为 可逆,故 线性无关,从而是 的一组基. 注意到从基 到基 的过渡矩阵就是 ,因此线性变换 在基 下的表示矩阵为 .
下面两个例子说明如何选择适当的基使得线性变换的表示矩阵满足一定的条件.
例 4.26 设 是由 阶实数矩阵组成的实向量空间, 是 上的变换: . 验证 是 上的线性变换且证明存在 的一组基,在这组基下 的表示矩阵是一个对角矩阵且主对角元素全是 1 或 -1 . 试求出 1 和 -1 的个数.
证明 容易验证 是线性变换. 设 是由 阶对称矩阵组成的子空间, 是由反对称矩阵组成的子空间, 则由例 3.48 可得
取 的一组基和 的一组基拼成 的一组基,则在这组基下 的表示矩阵是对角矩阵且主对角元素或为 1 或为 -1 . 因为 , 故 1 的个数为 的个数为 .
例 4.27 设 是数域 上 维线性空间, 是 上线性变换且 , 是 上恒等变换. 求证:
(1) ;
(2) 若 是二维空间,则存在 的基 ,使 在这组基下的表示矩阵分别为
(3) 必是偶数维空间且若 是 维空间,则存在 的一组基,使 在这组基下的表示矩阵为下列分块矩阵:
上述分块对角矩阵中分别有 个 和 个 .
证明 (1) 任取 ,则由 得到 . 注意到 ,因此 . 又若 ,则 ,即 . 于是 .
(2) 取 ,则 ,即 . 又若 ,则 ,和假设矛盾,于是 . 因此 组成 的一组基,不难验证在这组基下, 的表示矩阵符合要求.
(3) 设 ,并取 的一组基 . 令 , ,则由 可得 都属于 . 我们先证明向量组 是线性无关的. 设有
两边作用 ,可得
注意到 ,同理 . 因此上式就是
而 线性无关,故 ,即向量组 线性无关. 特别地,我们有 . 由于 的地位是对称的,故同理可证 ,从而 ,并且 是 的一组基. 因为 ,故 , 组成 的一组基. 现将基向量排列如下:
不难验证,在这组基下 的表示矩阵即为所求.
4.2.4 像空间和核空间
像与核是把握线性映射的两个重要方面. 对线性映射来说, 像必定是子空间, 核也同样是子空间. 用像空间和核空间来讨论线性映射的性质是常用的方法. 如何来确定已知线性映射的像空间和核空间, 我们在下面的例子中将作介绍.
例 4.28 设 是实四维空间 上的线性变换,它在 的一组基下的表示矩阵为
求 的核空间与像空间,用它们基向量的线性组合来表示.
解 设 的基为 ,则像空间的坐标向量全体可由 的列向量生成. 不难求得 的秩等于 2,且 的第一、第二列向量线性无关,故 的像空间基的坐标向量为
即 像空间的基为 .
核空间的坐标向量为齐次线性方程组 的解全体,其基即为该方程组的基础解系. 通过计算可得:
所以 的基为 .
例 4.29 设 是数域 上的线性空间, 是 上互不相同的线性变换. 求证: 存在 ,使 两两不相同.
证明 令 ,则 ,故 是 的子空间. 又 和 不同,故 是 的真子空间. 这样的 只有有限多个,因此由例 3.54 可知,必存在向量 ,它不属于所有 的并. 这个 显然满足要求.
例 4.30 设 是数域 上的线性空间, 是 上的非零线性变换. 求证: 存在 ,使 .
证明 因为 是 的真子空间. 由例 3.54 可知,有限个真子空间 不能覆盖 ,因此必存在 ,使得 不属于任意一个 .
例 4.31 设 是 上 维线性空间 上的线性变换, 是 的子空间. 若 ,又对任意的 . 求证:
(1) 存在 的子空间 ,使 且 ;
(2) 存在 上的线性变换 ,使 且 .
证明 令 . 若 ,则 . 这表明 . 由已知, ,故由维数公式可得 ,从而 .
定义 如下: 若 ,其中 . 令 , 则 且 . 因此 .
例 4.32 设 是 阶方阵,求证: .
证法 1 (代数方法) 由秩的不等式可得
在 之间有 个整数,由抽屉原理可知,存在某个整数 ,使得 . 对任意的 ,由矩阵秩的 Frobenius 不等式可得
又 ,故 对任意的 成立,结论得证.
证法 2 (几何方法) 将 看成是 维列向量空间上的线性变换,记之为 ,注意下列子空间链:
由于上述 个子空间的维数都在 0 和 之间,由抽屉原理可知,存在某个 ,使得 . 现要证明对任意的 . 一方面, 是显然的. 另一方面,任取 ,则存在 ,使得 . 由于 ,故存在 ,使得 ,从而
故 对任意的 成立,取维数后即得结论.
例 4.33 设 是 维线性空间 上的线性变换,求证: 必存在正整数 ,使
证明 根据例 4.32 的证明,存在小于等于 的正整数 ,使得
注意到对任意的正整数 ,再由维数公式可知,对任意的 , 是一个不依赖于 的常数,因此
若 ,则 . 于是 , 即 ,于是 . 这证明了 . 又对 中任一向量 ,因为 ,所以 , . 我们有分解式
而 ,即 ,这就证明了 . 因此
注 也可不证明 ,由维数公式 直接得到 .
例 4.34 设 是 维线性空间 上的线性变换. 若 ,求证:
证明 由 可得 ,再由例 4.32 的证明可得 ,因此可在例 4.33 的证明中取 ,最后可得 .
例 4.35 设 是 维线性空间 的子空间且 . 求证: 存在 上的线性变换 ,使 .
证明 取 的一组基 ,并将其扩张为 的一组基 , ,再取 的一组基 . 定义 为 上的线性变换,它在基上的作
用为: . 注意到 是 的一组基,故通过简单的验证可得 .
线性映射的维数公式是描写线性映射像空间和核空间关系的重要公式, 它在许多地方有重要的应用. 下面的例子可供参考.
例 4.36 设 是 上全体 阶矩阵组成的线性空间,若 ,令 是求迹,即
求证: 是 到一维空间 上的线性映射,再求 的一组基及其维数.
证明 容易验证 是线性映射且是映上的. 注意到 是 维线性空间,由线性映射的维数公式可知, . 记 为 阶基础矩阵,即第 元素为 1,其余元素为 0 的矩阵. 容易验证下列 个矩阵线性无关,因此组成 的一组基:
例 4.37 设 是线性空间 到线性空间 的线性映射,若 的维数大于 的维数,求证: .
证明 由线性映射的维数公式, 有
但 ,因此 ,即 .
例 和 如上题. 假定 是映上的,求证: 必存在 的子空间 , 使 ,且 在 上的限制是 到 上的线性同构.
证明 取 的一组基 ,并将其扩张为 的一组基 , . 令 ,则显然 . 由例 4.20 的证明可知, 是 的一组基,故 在 上的限制将 的一组基 映射为 的一组基,从而必为线性同构.
我们也可以用维数公式来证明第二个结论. 因为 是映上的,故 在 上的限制也是映上的. 另一方面,由维数公式可知, . 再对 在 上的限制用线性映射的维数公式可知,它必是单映射,于是 在 上的限制是线性同构.
例 4.39 设 是线性空间 到 的线性映射, 是 的子空间且 , 求证: 是 的子空间,且
证明 容易验证 是 的子空间. 将 限制在 上,它是到 上的线性映射. 因为 ,故 . 再对 在 上的限制用线性映射的维数公式即得结论.
例 4.40 设 是有限维线性空间 的子空间, 是 上的线性变换,求证:
证明 (1) 注意到当 限制在 上时, . 再由线性映射的维数公式, 得
即有
而 是显然的.
(2) 设 是线性变换 在子空间 上的限制,则 , . 因此
显然,有 ,故得
例 4.41 利用上题,证明: 若 是数域 上两个 阶方阵,则
证明 令 是 上 维列向量空间,则 和 可看成是 上的线性变换. 又令 ,注意到 ,故 ,即线性方程组 的解空间维数. 而 ,由上题中 (1) 的结论, 得
又显然,有 ,故得 . 从 得 .
4.2.5 不变子空间
通过不变子空间来研究线性变换是一种常用的方法, 它可以将全空间上的问题化为维数较小的子空间上的问题. 因此, 在许多问题中常常要证明一个子空间是某个线性变换的不变子空间. 下面是几个典型的例子.
例 4.42 在实四维空间 中,线性变换 在基 下的矩阵为
求证: 由向量 及 生成的子空间是 的不变子空间.
证明 要证明由若干个向量生成的子空间是某个线性变换的不变子空间, 通常只需证明这些向量在线性变换作用下仍在这个子空间中即可. 本题中 的坐标向量为
的坐标向量为
即 . 因此结论成立. [
例 4.43 设 是线性空间 上的线性变换且 ,求证: 及 都是 的不变子空间.
证明 设 ,则 ,即 是 的不变子空间.
设 ,即 ,则 . 因此, , 是 的不变子空间.
例 4.44 设 是 维线性空间 上的自同构,若 是 的不变子空间,求证: 也是 的不变子空间.
证明 将 限制在 上,它是 上的线性变换. 由于 是单映射,故它在 上的限制也是单映射,从而也是满映射,即它是 上的自同构,于是 ,由此即得 .
例 4.45 设 是次数小于 的实系数多项式组成的线性空间, 是 上的求导变换. 求证: 向量 1 包含在 的任意一个非零不变子空间内. 进一步证明: 的 维不变子空间必是由 生成的子空间.
证明 设 是 的非零不变子空间. 假定非零多项式 属于 ,其次数设为 . 因为 是 不变的, 仍属于 . 将 求导 次得到一个非零常数多项式也应属于 ,这证明 .
再设 是 的 维不变子空间,它必含有一次多项式. 事实上, 中必含有非常数多项式 (因为 ),而若这个多项式的次数超过 1,求导若干次后就成为一个一次多项式,仍属于 . 由于 1 属于 ,因此 . 用类似的方法可依次证明 皆属于 .
例 4.46 设 是 上 维线性空间 上的线性变换, 是 的子空间且 . 若 ,求证:
证明 显然 ,而 ,因此
由此即得结论.
例 4.47 设 是 维线性空间 上的线性变换, 在 的一组基下的表示矩阵为对角阵且主对角线上的元素互不相同,求 的所有不变子空间.
解 设 在基 下的表示矩阵为 ,其中 , 互不相同,则 . 对任意的指标集 ,容易验证 是 的不变子空间. 注意到 的子集共有 个 (空集对应于零子空间),故上述形式的 -不变子空间共有 个. 下面我们证明 的任一不变子空间都是上述不变子空间之一.
任取 的非零不变子空间 ,设指标集
因为 ,故 ,不妨设 . 由指标集 的定义可知, . 下面我们证明 成立. 不失一般性, 我们只需证明 即可. 由指标集 的定义可知,存在 ,使得
其中 都是非零常数. 将上式作用 ,可得
因此, 我们有
上式右边的矩阵记为 ,由于 ,故 为可逆矩阵, 从而
特别地, 可以表示为 的线性组合. 因为 是 的不变子空间,故 都是 中的向量,从而 ,因此 . 综上所述, 的不变子空间共有 个.
4.2.6 幂 等 变 换
线性变换 若满足 ,则称为幂等变换,这是一类比较简单又有重要用途的线性变换. 我们先来看一个幂等变换的简单例子.
设 为线性空间 的关于子空间 的直和分解,则 中任一向量 可唯一地分解为 ,其中 . 定义 ,容易验证 是 上的线性变换,称为 到 上的投影变换. 通过简单的验证可以得到投影变换满足如下性质:
(1) ;
(2) .
因此,投影变换 都是幂等变换; 若取 的一组基拼成 的一组基,则 在这组基下的表示矩阵为 ,其中有 个 1 ; 另外还有 .
然而下面的例子告诉我们, 幂等变换其实就是投影变换.
例 4.48 设 是 维线性空间 上的幂等变换,则 ,其中 ,且 就是 到 上的投影变换.
证明 因为 ,故 . 对任意的 ,于是 ,从而 . 任取 ,则 ,即 . 因此, . 特别地,由维数公式可得 , ,从而 .
令 ,则 . 注意到对任意的 ,其中 ,故 就是 到 上的投影变换.
注 从例 4.48 可以看出,对线性空间 上的幂等变换 ,总存在 的一组基 (它由 的基和 的基拼成), 在这组基下的表示矩阵为下列分块对角矩阵:
其中 为 阶单位矩阵, 等于 ,即 像空间的维数.
例 4.49 设 是数域 上的 阶幂等矩阵,求证:
(1) 存在 阶非异阵 ,使得 ,其中 ;
(2) .
证明 将 看成是 维列向量空间 上的线性变换,则它是幂等变换,因
此 (1) 由例 4.48 的注即得. 注意到 ,
故 (2) 也成立.
例 4.50 设 是数域 上的 阶幂等矩阵,且 和 的秩相同,求证: 必存在 上的 阶可逆矩阵 ,使 .
证明 由例 4.49 可知, 和 均相似于矩阵 ,于是 和 相似,即存在可逆矩阵 ,使 ,或 . [
例 4.51 设 是 上 维线性空间 上的线性变换且 . 求证:
(1) 的充要条件是 ;
(2) 的充要条件是 .
证明 (1) 由 得 . 同理由 得 . 故 .
反之,若 ,则对任意的 . 因此,存在 . 又因为 ,故 . 此即 . 同理可证 .
(2) 设 . 对任意的 ,故 0 . 因此 . 同理 . 因此, .
反之,若 . 对任意的 ,有
因此 ,即 . 也就是 , . 同理可证 .
例 4.52 设 是 维线性空间 上的线性变换,且适合条件:
求证: 是 的直和.
证明 设 ,则 . 故 . 又可设 ,
于是
因此 .
又对任意的 中向量 以及任意的 ,有
因此
故 ,也即 . 所以
这就证明了 是 的直和.
例 4.53 设 是 维线性空间 上的线性变换,满足: 且 . 求证: 成立的充要条件是 .
证法 1 (几何方法) 令 ,则由 可得 .
先证充分性. 由 可得 ,故 ,从而 . 要证上述和为直和,只要证明零向量表示唯一即可. 设
则 . 因此 . 两边同取维数即得 .
再证必要性. 注意到
故由 可得 , 从而上式中的不等号只能取等号. 由直和的充要条件可知, 是直和, 并且
因为 ,故对 中任一向量 ,存在 ,使 , 从而
由直和表示的唯一性知
于是 .
证法 2 (代数方法) 把问题转换成代数的语言: 设 是 阶矩阵,满足 且 ,求证: 成立的充要条件是 .
先证充分性. 若 ,则由例 4.49 可知 ,从而
再证必要性. 因为 是幂等矩阵,故由例 3.67 可得 ,从而 . 构造如下分块对角矩阵并对其实施分块初等变换, 可得
由 可得最后一个矩阵的右下角部分必为零矩阵,从而 .
注 在例 4.53 中,若取 为 上的恒等变换,则此时线性变换 满足 . 例 4.53 的证明过程告诉我们,如果下列条件之一成立:
(1) ;
(2) ,
则 ,并且 就是 到 上的投影变换. 例 4.52 也有类似的几何意义, 请读者自行思考.
基础训练
4.3.1 训 练 题
一、单选题
- 设 是三维行向量空间上的变换,下列 不是线性变换的是 ( ).
(A)
(B)
(C)
(D)
- 设 是 维向量空间 上的线性变换,适合下列条件的 不是同构的是 ( ).
(A) 是单映射 (B)
(C) 是一一对应 (D) 适合条件
- 设 上的三维列向量空间 上线性变换 在基 下的表示矩阵是
则 在基 下的表示矩阵是 .
(A) (B)
(C) (D)
- 设 是 维向量空间, 和 是 上的线性变换,则它们的像空间维数相同的充要条件是 ( ).
(A) 和 都是可逆变换 (B) 和 的核空间相同
(C) 和 的像空间相同 (D) 和 在任一组基下的表示矩阵的秩相同
- 设 是 维向量空间,则 上线性变换全体组成的向量空间的维数为 .
(A) (B) (C) (D) 无穷大
- 设 维向量空间 有一组基,这组基的每个基向量生成的子空间都是 上线性变换 的不变子空间,则 在这组基下的矩阵 ( ).
(A) 必是可逆矩阵 (B) 必是上三角矩阵但不一定是对角矩阵
(C) 必是下三角矩阵但不一定是对角矩阵 (D) 必是对角矩阵
- 设 是 维向量空间 上的线性变换,它们适合条件 时,必有 .
(A) 它们的像空间和核空间分别相同
(B) 对 中某 个线性无关的向量 ,均有
(C) 都是可逆变换
(D) 它们的秩相同
- 设 是 维向量空间 上的非零线性变换,已知 不是可逆变换. 下面条件能保证 的核空间与像空间之交为零的是 ( ).
(A) 在 的某组基下的表示矩阵 适合
(B) 在 的某组基下的表示矩阵 适合
(C) 的核空间维数与它的像空间维数相等
(D) 的核空间维数与它的像空间维数之和等于
- 下列条件不能保证 维向量空间 上的非零线性变换 为可逆变换的是 ( ).
(A) 在 的某组基下的表示矩阵的行列式不为零
(B) 在 的某组基下的表示矩阵是一个对称矩阵
(C) 将 的 个线性无关的向量变成 个线性无关的向量
(D) 没有非平凡不变子空间
- 设 是二维实列向量空间,用下列矩阵定义的 上的线性变换中没有非平凡不变子空间的是 .
(A) (B)
(C) (D)
二、慎空题
-
设 是数域 上的一维空间,写出 上所有的线性变换 ( ).
-
设 上的线性变换 在基 下的表示矩阵为
求在基 下它的表示矩阵.
-
设 是次数小于 的实系数多项式全体组成的向量空间, 是 上的求导变换,写出在基 下线性变换 的表示矩阵.
-
设线性空间 上的线性变换 在 的某组基下的表示矩阵分别为 ,则线性变换 在同一组基下的表示矩阵为 ( ).
-
设有线性空间 上的线性变换 ,已知 是可逆变换,又 和 在第一组基下的表示矩阵分别为 的第一组基到第二组基的过渡矩阵为 ,则线性变换 为 上恒等变换) 在第二组基下的表示矩阵为 ( ).
-
举例说明虽然对 上的线性变换 ,总有 ,未必有 .
-
是否存在 上的线性变换,它将一组线性相关的向量变成一组线性无关的向量? ( )
-
十维向量空间 上的线性变换 在一组基下的表示矩阵为 ,已知齐次线性方程组 的解空间维数为 3,则 .
-
设 和 是线性空间 的两组基,从第一组基到第二组基的过渡矩阵为 . 若 是 上的线性变换,且恰有 ,问 在第二组基下的表示矩阵是什么? ( )
-
设 是由数域 上的二阶矩阵全体组成的向量空间,定义 上的线性变换 如下:
则 的秩和零度分别是 .
三、解答题
- 设 和 分别是数域 上的向量空间且 . 又设 和 分别是 和 的基. 定义 到 的线性映射 :
求证: 组成向量空间 的一组基. 若令 ,这里 是第 元素为 1,其余元素都为 0 的 矩阵,则 定义了 到 上 矩阵组成的向量空间 的同构.
- 设 是由几乎处处为零的无穷实数数列 (即 ,其中只有有限多个 不为零) 组成的实向量空间, 是由所有实系数多项式组成的实向量空间. 定义 如下:
其中 ,而 . 求证: 是线性同构.
-
设 是实系数多项式全体组成的向量空间, 是求导变换. 定义 中的变换 如下: . 求证: 是 的线性变换且对任意的正整数 ,有 .
-
设 是 上 维向量空间 上的线性变换,已知 . 求证: 存在 的一组基,使 在这组基下的表示矩阵为
- 设 是数域 上的向量空间, 是 上的线性变换,若 在基 下的表示矩阵为
求证:
(1) 中包含 的 -不变子空间只有 自身;
(2) 任一非零 -不变子空间必包含 ;
(3) 不能分解为两个非平凡 -不变子空间的直和.
-
设 是 阶矩阵且 可逆,求证: 和 相似.
-
设 是 维向量空间, 及 是其上的线性变换,求证:
- 设 是数域 上 维列向量空间, 是 矩阵, 是 矩阵. 若 是齐次线性方程组 的解空间 ( 看成是 的子空间). 定义 为 到 的线性映射: ,证明:
-
设 是向量空间 上的线性变换且 ,但 本身不是恒等映射 . 令 . 求证: 都是 的子空间且 .
-
设 是 维向量空间, 和 都是 上的幂等线性变换,即 . 证明:
(1) 是幂等变换的充要条件是 ;
(2) 是幂等变换的充要条件是 .
- 设 是 维向量空间, 是 上的线性变换. 若
其中 是 上恒等变换, 表示 的秩. 求证: 都是幂等变换且 .
-
设 是有理数域上的三维空间, 是 上的线性变换且 , . 若 ,求证 是线性无关的向量.
-
设 是数域 上的线性空间, 是两个线性映射,证明: 存在 上的线性变换 ,使得 成立的充要条件是 .
-
设 为数域 上的 维线性空间, 为 中的向量组,定义集合 . 再取 中的向量组 . 证明:
(1) 是 的线性子空间;
(2) 存在线性变换 ,使得 的充要条件是 ;
(3) 存在线性自同构 ,使得 的充要条件是 .
- 设 均为 矩阵,满足 ,证明: 存在 阶非异阵 阶非异阵 ,使得
4.3.2 训练题答案
一、单选题
-
应选择 (B).
-
应选择 (D).
-
应选择 (C). 直接计算即可.
-
应选择 (D). 注意像空间维数相等并不意味着像空间相同, 因此不能选 (C). 同理也不应选择 (B).
-
应选择 (C). 同构于 阶矩阵组成的向量空间,因此维数等于 .
-
应选择 (D). 直接计算可得.
-
应选择 (B). 中任意 个线性无关的向量都可组成一组基,两个线性变换在基上作用相同则必相等.
-
应选择 (B). 这时 . 若 ,则 . 于是 . 因此 .
-
应选择 (B). 注意 (D),因为 必是 的不变子空间,故 .
-
应选择 (C). 这是平面上的一个旋转,角度为 ,因此无一维不变子空间.
二、填空题
-
.
-
.
-
的表示矩阵为 .
-
.
-
.
-
例子: 设 是由次数小于 2 的实系数多项式全体组成的线性空间, 是求导变换, 则 ,因此 .
-
不存在.
-
.
-
写出变换式即知 在第一组基下的表示矩阵为 ,故在第二组基下的表示矩阵为 .
-
选择 的一组基 为第 元素为 1,其余元素为 0 的二阶矩
阵). 计算出 在这组基下的表示矩阵为 ,此矩阵的秩为 2,因此 的秩等于 2,
零度也是 2 .
三、解答题
-
设 ,将它作用在 上得 . 由于 线性无关,得 . 因此 线性无关. 而 的维数恰好为 ,故 构成 的一组基. 因为 定义了 的基到 的基的线性映射,因此必是同构.
-
先验证 是线性映射,再证明这是一个一一对应.
-
容易验证 是线性变换. 用数学归纳法即可证明所需等式.
-
因为 ,故存在 ,使得 . 又 ,由例 4.6 可知, 线性无关,从而它们构成了 的一组基,容易看出 在这组基下的表示矩阵即为所需形状.
-
由条件可得 . 注意到 ,故包含 的 -不变子空间必包含所有的基向量 ,从而只能是 自身, (1) 得证. 设 是非零 -不变子空间,取 为 中的非零向量. 不妨设 ,但 ,则 ,于是 得证. (3) 是 (2) 的直接推论.
-
.
-
几何方法: 线性变换 在 上的限制诱导了线性映射 . 注意到 ,故由维数公式可得 . 代数方法: 在 中选取一组基,设 在这组基下的表示矩阵为 在这组基下的表示矩阵为 ,问题转化为证明 ,即 . 这是例 3.64 或例 4.41的结论.
-
将 限制在 上,由维数公式可得 . 注意到 是线性方程组 与 的公共解空间,即为线性方程组 的解空间,故 . 综合上面的式子,即可得到结论.
-
容易验证 及 是子空间,现证明 是这两个子空间的直和. 首先 是显然的, 因此只需证明 即可. 设 是 中任一向量,令 , 则由 容易验证, ,即 ,即 . 注意到 , 故 成立.
-
充分性显然,下面只证必要性. (1) 若 ,则 ,即 . 两边分别左乘及右乘 ,得 . 因此 . (2) 若 , 则 . 两边分别左乘及右乘 ,得 . 因此 .
-
这是例 4.53 的特殊情况.
-
先证明 线性无关. 若不然,因为 ,故可设 ,则 . . 又 . 另一方面, . 于是 . 因为 ,所以 . 但这个方程没有有理数解, 从而 不存在,这与假设矛盾. 因此 线性无关. 再证明 线性无关. 若不然,因为 线性无关,故可设 ,则 . 再由 以及 线性无关得到 容易证明这个方程组没有有理数解,这与假设矛盾. 因此 线性无关.
-
必要性显然,下面只证充分性. 几何方法: 设 , ,其中 . 取 的一组基 ,扩张为 的一组基 ,再扩张为 的一组基 . 由例 4.20 的证明可知, 是 的一组基,将其扩张为 的一组基 . 定义 为 上的线性变换,它在基上的作用为: . 容易验证 成立. 代数方法: 参考例 4.24 的代数方法同理可证.
-
几何方法: (1) 容易验证. (2) 必要性显然,下证充分性. 不妨设 是向量组 的极大无关组,并将其扩张为 的一组基 . 定义 为 上的线性变换,它在基上的作用为: ,对任 - ,设 ,则 . 由 可知, . 因此 . (3) 必要性显然,下证充分性. 不妨设 是向量组 的极大无关组,并将其扩张为 的一组基 . 利用与 (2) 相同的证明可得: 若 ,则 . 设 , 则 . 由 可知, . 又 线性无关,故 . 因此 是向量组 的极大无关组,将其扩张为 的一组基 . 定义 为 上的线性变换,它在基上的作用为: . 因为 把基映到基,故 为自同构. 利用与 (2) 相同的证明可得 . 代数方法: 取定 的一组基 , 则有 到 维列向量空间 的线性同构 ,它将 映到 关于基 的坐标向量. 设 ,则 都是 维列向量. 按列分块构造 阶矩阵 . 在线性同构的意义下, 等同于线性方程组 的解空间 等同于线性方程组 的解空间 . 因此在线性同构的意义下, 本题等价于证明如下结论:
(1) 线性方程组 的解空间 是 的子空间;
(2) 存在 阶方阵 ,使得 的充要条件是 ;
(3) 存在 阶非异阵 ,使得 的充要条件是 . (1) 显然成立. (2) 是解答题 13 的代数版本. (3) 是例 4.24 .
- 代数方法: 设 ,则 ,且存在 阶非异阵 阶非异阵 ,使得
因为 ,故删去 的前 行,可得后 行的秩必大于等于 , 即 . 另一方面,我们还有 ,故 ,从而 的行向量的极大无关组也是 的行向量组的极大无关组. 因此利用 的后 行的初等行变换可以消去 的前 行. 同理可证利用 的后 列的初等列变换可以消去 的前 列,即存在 阶非异阵 阶非异阵 ,使得
此时存在 阶非异阵 阶非异阵 ,使得 . 令 ,则 为 阶非异阵, 为 阶非异阵,且满足结论. 几何方法: 将问题转换成几何的语言: 设 为 维列向量空间, 为 维列向量空间, 分别是矩阵 左乘诱导的线性映射,满足 , 证明: 存在 的一组基, 的一组基,使得 在这两组基下的表示矩阵分别是题中的两个矩阵. 设 ,则 . 注意到 ,因此 ,从而 . 由子空间的维数公式可得 ,故有 . 另一方面,注意到 ,因此 . 取 的一组基 ,将其扩张为 的一组基 ,再将其扩张为 的一组基 . 根据教材 [1] 的定理 3.9.2 (子空间维数公式) 的证明可知, 恰好是 的一组基. 又由例 4.20 的证明可知, 是 的一组基, 是 的一组基. 注意到 线性无关,故可扩张为 的一组基 . 最后容易验证 在 的一组基 和 的一组基 下的表示矩阵即为所要求的矩阵.