最后更新: 2025-03-04 09:48 查看: 549 次反馈同步训练

线性映射的意义

## 线性映射的几何意义

初等线性函数 $f(x)=k x$ 和高等线性函数 $f(\boldsymbol{x})=\boldsymbol{k}$ 的表达式一致, 因此线性函数的概念形式上是统一的。这种统一在数学的实质意义上也是一致的, 就是函数的 “线性”,实质上就是指变量之间的 “线性关系”。

我们再来回味一下这句关于线性函数中心性质的话: **线性组合的函数, 等于函数的线性组合。** 详细说来就是, 当自变量从 $x$ 变换为它自身的线性组合 $k_1 x_1+k_2 x_2$ 时, 其函数也从 $f(x)$变换为函数的线性组合 $k_1 f\left(x_1\right)+k_2 f\left(x_2\right)$ 。因为函数的本意是因变量与自变量之间的对应关系,所以 “线性” 的本质就是因变量与自变量之间始终保持组合形式不变的一种对应关系, 我们把这类特殊的对应关系称之为 “线性关系”。因此我们所说的 “线性”, 实质上就是指变量之间的 “线性关系”。

实际上, 我们可以引入一种运动的思想, 把函数看成一种变换, 一种映射, 一种从自变量的集合对应变换到因变量的集合的瞬间过程。

这正是线性代数的中心思想之一。
对于初等的线性函数 $f(x)=k x$ 而言; 我们需要改变中学老师谆谆教导。中学老师说,线性函数的几何图形是所有满足关系式 $y=k x$ 的点 $(x, y)$ 所累积起来的图形。这个静态的图形概念需要改造改造。要在这里加入变换或映射的动作 (注意: 是动作, 一个瞬时的变化动作, 只有开始和结果), 并突出表达这种变换和投射的关系, 我们把表达式 $f(x)=k x$ 改写成 $T: x \rightarrow y, x \mapsto k x$ 。其中 $T: x \rightarrow y$ 表示为一个从自变量数的集合 $x$ 到因变量数的集合 $y$ 的映射, $x \mapsto k x$ 表示两个集合里的自变量 $x$ 到因变量 $y$ 之间具体的对应变换关系。

下面来看一个映射的集合示意图。图 1-9 给出了一元线性齐次函数 $\boldsymbol{f(x)=k x}$ 当 $k$ 取不同的数时的映射对应关系。在三个分图中, 有一个共性就是元素 0 必然映射到元素 0 。
![图片](/uploads/2023-11/image_20231111f52e6b1.png)
在集合上建立坐标系, 用坐标系里的点表示集合里的元素, 就可以把集合上的映射关系几何化了。
![图片](/uploads/2023-11/image_20231111ad159fd.png)

对于一元线性齐次函数 $f(x)=k x$, 集合 $x$ 和集合 $y$ 都是实数。大家知道, 一个实数域可以用一根坐标轴来表示。因此集合 $x$ 的坐标系就是一根线轴, 写为 $x$ 轴; 集合 $y$ 的坐标系也是一根轴, 写为 $y$ 轴。这样, 我们就可以用坐标轴上点之间的映射来替代图 1-9 集合的映射表示法（见图 1-10）。
如果把两个坐标轴的原点进行重合 (因为 0 元素必然映射到 0 元素), 再把两个坐标轴的夹角调整到 $\pi / 2$ 角, 就可得到笛卡尔平面坐标系 (线性代数中讲的线性空间坐标系的坐标轴可以是任意非零的夹角)。把 $x \mapsto k x$ 用带箭头的线段连接起来, 如图 1-11 所示 (图中只画出了 $k>0$ 的映射情况)。
![图片](/uploads/2023-11/image_202311116afdda5.png)
如图 1-11 (a) 所示, $x$ 轴上的点 $a$ 和 $b$ 等分别映射到 $y$ 轴上的点 $a^{\prime}$ 和 $b^{\prime}$ 等等。过一三象限的直线就是所谓的一元齐次函数 $y=k x$ 的图形, 它是由 $k$ 值确定的; 就像平行光线通过平面镜进行反射一样, 元素通过直线完成了映射。显然, 这是点到点的映射。而且, 不同的比率 $k$ 值确定了一个不同的映射关系。

如果把点 $a 、 a^{\prime} 、 b$ 和 $b^{\prime}$ 分别与原点 0 连起来, 就会得到线段 $O a 、 O b 、 O a^{\prime} 、 O b^{\prime}$ 。于是线段 $O a$ 映射到线段 $O a^{\prime}$, 线段 $O b$ 映射到线段 $O b^{\prime}$ 。

到这里我们有了一个暂时的总结: 线性映射就是把线段映射到线段 (这里, 映射终于和 “线” 扯上关系了)。如果我们把线段改称为向量的话, 这个总结就是: 线性映射就是把向量映射成向量(见图 1-11(b) )。线性映射把向量变成另外一个向量, 或者说把 “线”变成“线”,因此得名。

当然, 这个线性映射也满足线性的可加性和比例性的性质: 可加性就是 $x$ 轴上的两向量的和映射得到的 $y$ 轴向量等于两个 $x$ 轴向量分别映射得到的 $y$ 轴向量的和, 比例性就是 $x$ 轴向量的倍数映射得到的 $y$ 轴向量等于 $x$ 轴向量映射的 $y$ 轴向量的倍数 (见图 1-11(b))。
用一般的数学表达式来描述线性映射的定义就是:

$$
\boxed{
\begin{aligned}
& T(\boldsymbol{a}+\boldsymbol{b})=T \boldsymbol{a}+T \boldsymbol{b} \\
& T(k \boldsymbol{a})=k T \boldsymbol{a}
\end{aligned}
}
$$

其中, $T$ 是映射运算， $\boldsymbol{a} 、 \boldsymbol{b}$ 是任意两个向量。
你看这里, $T$ 本来表示一种线性映射的动作关系 (或函数关系), 但在上式中就像一个实数或变量一样参与运算。如 $T(\boldsymbol{a}+\boldsymbol{b})=T \boldsymbol{a}+T \boldsymbol{b}$, 就像乘法对加法的分配律一样展开运算,因此 $T$ 在这里也叫**线性算子**。具体的算子有微分算子、积分算子、拉普拉斯算子等。
对于高等的线性函数 $f(\boldsymbol{x})=\boldsymbol{K} \boldsymbol{x}$ 而言也有同样的结论, 我们把此表达式改写成

$$
T: \boldsymbol{x} \rightarrow \boldsymbol{y}, \boldsymbol{x} \mapsto \boldsymbol{K} \boldsymbol{x}
$$

其中 $T: \boldsymbol{x} \rightarrow \boldsymbol{y}$ 的形式表示一个从自变向量的集合 $\boldsymbol{x}$ 到因变向量的集合 $\boldsymbol{y}$ 的映射。为了方便看到 $T: \boldsymbol{x} \rightarrow \boldsymbol{y}, \boldsymbol{x} \mapsto \boldsymbo

免费注册看余下 50%

非VIP会员每天15篇文章，开通VIP 无限制查看

上一篇：线性几何推广与高维度空间

下一篇：线性变换的意义

本文对您是否有用？有用 (2) 无用 (0)