- 示例 1.1
考虑一个映射
它的定义域是
,值域是
(固定

作为这些空间的基),由其对定义域基向量上的操作确定。

为了计算这个映射对定义域中任何向量的作用,我们首先用值域的基表示
和 

和

(这些很容易检查)。然后,正如前言中所述,对于域中的任何成员
,我们可以用
来表示图像
。

因此,
如果
,那么
。
例如,
如果
,那么
。
我们将使用矩阵表示来表达如上所述的计算。

中间是参数
到映射,相对于域的基底
用一个列向量表示,其分量为
和
。右边是映射在这个参数上的值
,相对于陪域的基底
用一个列向量表示,其分量为
等。左边是新事物。它由右边向量中的系数组成,
和
来自第一行,
和
来自第二行,以及
和
来自第三行。
这种表示法只是将右边部分,系数和
,分别放在左边,变成一个表示映射参数的向量和一个用来表示映射本身的矩阵。
- 定义 1.2
假设
和
是维数分别为
和
的向量空间,基分别为
和
,且
是一个线性映射。如果

那么

是关于
的
的矩阵表示。
简而言之,将表示
的向量并置起来,就形成了表示该映射的矩阵。

观察矩阵的列数
是映射域的维数,行数
是陪域的维数。
- 示例 1.3
如果
由下式给出

那么,当

对
的作用如下:

简单的计算得到

表明这正是关于这些基的线性映射
的矩阵表示。

我们使用小写字母来表示映射,大写字母来表示矩阵,并再次使用小写字母来表示矩阵的元素。因此,对于映射
,表示它的矩阵是
,其元素是
。
- 定理 1.4
假设
和
是维数分别为
和
的向量空间,基分别为
和
,并且
是一个线性映射。如果
由

表示,而
由

表示,则
的像的表示如下。

我们将把矩阵
和向量
视为组合成向量
。
- 定义 1.5
一个
矩阵和一个
向量的 **矩阵-向量乘积** 是这样的。

定义 1.2 的目的是推广 示例 1.1,也就是说,定义的目的是 定理 1.4,矩阵描述了如何从域向量关于域基的表示得到其像关于陪域基的表示。有了 定义 1.5,我们可以将其重新表述为:线性映射的应用用映射的代表矩阵和向量的代表矩阵的矩阵-向量乘积表示。
- 例 1.7
令
为投影到
-平面上的映射。为了给出表示该映射的矩阵,我们首先固定基底。

对于域基底中的每个向量,我们找到它在映射下的像。

然后我们找到每个图像关于余域基的表示

(这些很容易检查)。最后,将这些表示并起来就得到了关于
的矩阵,关于
。

我们可以通过计算矩阵-向量积来说明 定理 1.4,该矩阵-向量积表示关于投影映射的以下陈述。

将这个域向量关于域基进行表示

得到这个矩阵-向量积。

将该表示扩展为来自
的向量的线性组合。

验证了映射的作用确实反映在矩阵的运算中。(有时我们将这三个显示的方程压缩成一个方程)

在计算过程中)。
我们现在有两种方法可以计算投影的效果,一种是直接的公式,它将每个三维向量中的第三个分量删除以形成二维向量;另一种是上面的公式,它使用表示和矩阵向量乘法。与第一种方法相比,第二种方法可能看起来很复杂。然而,它有优势。下一个例子表明,使用这种新方案,可以简化一些映射的公式。
我们已经看到了矩阵的加法和标量乘法运算,以及向量的点积运算。矩阵-向量乘法是向量和矩阵运算中的一种新运算。在定义 1.5中,没有任何内容要求我们将它视为表示。我们可以通过摆脱被表示的内容,转而关注条目是如何组合的,来了解这种运算。
- 示例 1.9
在定义中,矩阵的宽度等于向量的长度。因此,下面的第一个乘积是定义好的,而第二个不是。

这个乘积没有被定义的一个原因纯粹是形式上的:定义要求大小匹配,而这些大小并不匹配。然而,在形式背后,还有一个原因让我们把它留作未定义——矩阵代表一个具有三维域的映射,而向量代表一个二维空间中的成员。
一个看待矩阵-向量乘积的好方法是将矩阵的行与列向量进行点积。

从这种逐行的方式来看,这种新运算概括了点积。
矩阵-向量乘法也可以从逐列的角度来看。

- 示例 1.10

结果是矩阵的列向量乘以向量的元素得到的。这种理解方式让我们回到了本节开头提到的目标,计算
为
.
我们从本节开头就注意到这两个的相等性,这使我们能够计算
对任何参数的作用,只需知道
,...,
。我们已经将其发展成一个方案,通过取表示映射的矩阵和表示参数的向量的矩阵向量积来计算映射的作用。以这种方式,任何线性映射都通过一个矩阵相对于某些基来表示。在下节中,我们将展示其逆命题,即任何矩阵都表示一个线性映射。
- 本练习推荐所有读者。
- 本练习推荐所有读者。
- 问题 3
求解此矩阵方程。

- 本练习推荐所有读者。
- 本练习推荐所有读者。
- 问题 5
假设
由以下作用确定。

使用标准基,求
- 表示该映射的矩阵;
- 关于
的一般公式。
- 本练习推荐所有读者。
- 问题 6
设
是导数变换。
- 关于
表示
,其中
. - 关于
表示
,其中
.
- 本练习推荐所有读者。
- 问题 7
关于每对基,分别表示每个线性映射。
-
关于
表示,其中
,由
-
关于
,其中
,给出如下:
-
关于
,其中
以及
,给出如下:
-
关于
,其中
和
,由下式给出
-
关于
,其中
,由下式给出
- 问题 8
用关于
的表示形式表示任何非平凡空间上的恒等映射,其中
是任何基。
- 问题 9
用关于自然基的表示形式表示在
矩阵空间上的转置变换。
- 问题 10
假设
是向量空间的基。用
表示每个确定的变换。
-
,
,
, 
-
,
,
, 
-
,
,
, 
- 本练习推荐所有读者。
- 问题 13
假设
是非奇异的,因此根据定理 II.2.21,对于任何基
,像
是
的一个基。
- 表示相对于
的映射
。 - 对于域中的一个成员
,其中
的表示形式具有分量
,...,
,用图像基
表示图像向量
。
- 问题 14
给出一个矩阵与
(除了在
位置上的单个 1 之外,其他位置均为零的列向量)相乘的公式。
- 本练习推荐所有读者。
- 问题 15
对于每个单实变量函数的向量空间,表示相对于
的导数变换。
-
, 
-
, 
-
, 
- 本练习推荐所有读者。
- 问题 17
一个矩阵可以表示两个不同的线性映射吗?也就是说,
可能吗?
- 本练习推荐所有读者。
- 问题 20 (舒尔三角化引理)
- 设
是
的子空间,并固定基
。关于
表示的来自
的向量与该向量(视为
的成员)关于
表示的关系是什么? - 映射呢?
- 为向量空间
选取一个基底
,并观察到这些生成空间![{\displaystyle [\{{\vec {0}}\}]=\{{\vec {0}}\}\subset [\{{\vec {\beta }}_{1}\}]\subset [\{{\vec {\beta }}_{1},{\vec {\beta }}_{2}\}]\subset \quad \cdots \quad \subset [B]=V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3414ca6462a266e81a770fece4e99534b9ae335d)
形成一个严格递增的子空间链。证明对于任何线性映射
,存在一个子空间链
,使得![{\displaystyle h([\{{\vec {\beta }}_{1},\dots ,{\vec {\beta }}_{i}\}])\subset W_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a96d738e2b917d08ef2413bf0cccf59449c4022)
对每个
成立。 - 得出结论:对于每个线性映射
,存在基底
,使得关于
表示的
的矩阵是上三角矩阵(也就是说,对于每个满足
的元素
为零)。 - 上三角矩阵的表示形式是否唯一?
解决方案