try ai
科普
编辑
分享
反馈
  • 向量在向量上的投影

向量在向量上的投影

SciencePedia玻尔百科
核心要点
  • 向量投影通过影子的几何类比,量化了一个向量在另一个向量方向上的分量大小。
  • 点积提供了一种直接的代数方法,用于计算数量投影(带符号的长度)和向量投影(影子向量本身)。
  • 任何向量都可以唯一地分解为两个正交部分:一个与参考向量平行(即投影),另一个与其垂直。
  • 这种分解原理在物理、计算机图形学和数据科学等领域至关重要,用于简化和解决复杂问题。

引言

您是否曾想过,如何将一个复杂问题,例如风对无人机的作用力或光如何从表面反射,分解为更简单、可管理的部分?答案通常在于线性代数中的一个基本概念:向量在另一个向量上的投影。这个强大的工具让我们能够提出这样的问题:“一个量在另一个量的方向上作用了多少?”并给出精确的数学答案。它通过分离出特定方向上的分量,解决了分析多方面相互作用的挑战。本文将引导您了解这一基本概念。首先,在“原理与机制”部分,我们将探索投影背后的几何直觉,使用点积推导其公式,并理解它如何将向量分解为相互垂直的部分。随后,“应用与跨学科联系”部分将展示这一思想如何为物理、工程、计算机图形学乃至数据科学中的现实世界问题提供解决方案。

原理与机制

想象一下,在一个阳光明媚的日子,你手持一根长棍站在平坦的田野里。太阳在头顶正上方。棍子在地面上投下的影子是棍子本身的一个完美(尽管更短)的再现。现在,想象太阳挂在天边。影子变得又长又扭曲。投射影子的行为,本质上就是向量投影。这是一种提问的方式:一个向量有多少“沿着”另一个向量的方向?这个简单直观的想法是所有数学、物理和工程学中最强大的工具之一。它让我们能将复杂问题分解成更简单、可管理的部分,并揭示了关于坐标和空间本质的深刻真理。

向量的影子:数量投影与向量投影

让我们更认真地对待棍子及其影子的类比。让棍子由向量 a⃗\vec{a}a 表示,地面的方向由另一个向量 b⃗\vec{b}b 表示。当我们谈论“影子”时,我们通常指的是​​正交投影​​,这就像用一个无限远的光源投射影子,其光线垂直于地面向量 b⃗\vec{b}b。

这个影子有两个我们可以描述的关键属性。首先是它的​​长度​​。这被称为​​数量投影​​。它只是一个数字。它告诉我们影子的长度,但有一个小小的转折:如果向量 a⃗\vec{a}a 大致“背离”b⃗\vec{b}b(形成大于90度的角),影子的长度被认为是负的。这个带符号的长度不仅告诉我们影子的长度,还告诉我们它指向的方向是与 b⃗\vec{b}b 相同还是相反。

其次,影子本身就是一个向量。它具有我们刚刚讨论的长度,并且沿着地面向量 b⃗\vec{b}b 定义的直线方向。这就是​​向量投影​​,记作 projb⃗(a⃗)\text{proj}_{\vec{b}}(\vec{a})projb​(a)。它是 a⃗\vec{a}a 中平行于 b⃗\vec{b}b 的部分。

当两个向量相互垂直(或​​正交​​)时,会出现一个有趣的特例。如果你把棍子垂直于地面竖立,它不会投下影子,只有一个点。用向量的语言来说,如果 a⃗\vec{a}a 与 b⃗\vec{b}b 正交,它在 b⃗\vec{b}b 上的投影为零。这在直觉上完全说得通。

点积的魔力

那么,我们如何在不画图的情况下计算这些投影呢?我们故事中的英雄是​​点积​​。你可能学过点积是一个简单的计算规则:对于向量 a⃗=(a1,a2,…,an)\vec{a} = (a_1, a_2, \dots, a_n)a=(a1​,a2​,…,an​) 和 b⃗=(b1,b2,…,bn)\vec{b} = (b_1, b_2, \dots, b_n)b=(b1​,b2​,…,bn​),它们的点积是 a⃗⋅b⃗=a1b1+a2b2+⋯+anbn\vec{a} \cdot \vec{b} = a_1 b_1 + a_2 b_2 + \dots + a_n b_na⋅b=a1​b1​+a2​b2​+⋯+an​bn​。但它真正的意义是几何的:

a⃗⋅b⃗=∥a⃗∥∥b⃗∥cos⁡θ\vec{a} \cdot \vec{b} = \|\vec{a}\| \|\vec{b}\| \cos\thetaa⋅b=∥a∥∥b∥cosθ

其中 ∥a⃗∥\|\vec{a}\|∥a∥ 和 ∥b⃗∥\|\vec{b}\|∥b∥ 是向量的模(长度),θ\thetaθ 是它们之间的夹角。

仔细看看这个公式!量 ∥a⃗∥cos⁡θ\|\vec{a}\| \cos\theta∥a∥cosθ 正是 a⃗\vec{a}a 在 b⃗\vec{b}b 上的影子的带符号长度。从点积公式中,我们可以分离出这一项:

∥a⃗∥cos⁡θ=a⃗⋅b⃗∥b⃗∥\|\vec{a}\| \cos\theta = \frac{\vec{a} \cdot \vec{b}}{\|\vec{b}\|}∥a∥cosθ=∥b∥a⋅b​

就是它了!这就是 a⃗\vec{a}a 在 b⃗\vec{b}b 上的​​数量投影​​的公式。它优美地将点积的代数计算与影子长度的几何概念联系起来。这也从 ∣cos⁡θ∣≤1|\cos\theta| \le 1∣cosθ∣≤1 的性质中给了我们一个深刻的洞见。数量投影的绝对值 ∣a⃗⋅b⃗∥b⃗∥∣=∥a⃗∥∣cos⁡θ∣|\frac{\vec{a} \cdot \vec{b}}{\|\vec{b}\|}| = \|\vec{a}\| |\cos\theta|∣∥b∥a⋅b​∣=∥a∥∣cosθ∣,永远不会大于原向量的模 ∥a⃗∥\|\vec{a}\|∥a∥。影子永远不会比棍子本身长。

现在我们有了长度,得到向量投影就很容易了。我们只需将这个长度乘以一个指向 b⃗\vec{b}b 方向的单位长度向量。这样的向量称为​​单位向量​​,可以通过将 b⃗\vec{b}b 除以其自身的模得到:b^=b⃗∥b⃗∥\hat{b} = \frac{\vec{b}}{\|\vec{b}\|}b^=∥b∥b​。

综上所述,a⃗\vec{a}a 在 b⃗\vec{b}b 上的​​向量投影​​是:

projb⃗(a⃗)=(数量投影)×(单位向量)=(a⃗⋅b⃗∥b⃗∥)b⃗∥b⃗∥=a⃗⋅b⃗∥b⃗∥2b⃗\text{proj}_{\vec{b}}(\vec{a}) = (\text{数量投影}) \times (\text{单位向量}) = \left( \frac{\vec{a} \cdot \vec{b}}{\|\vec{b}\|} \right) \frac{\vec{b}}{\|\vec{b}\|} = \frac{\vec{a} \cdot \vec{b}}{\|\vec{b}\|^2} \vec{b}projb​(a)=(数量投影)×(单位向量)=(∥b∥a⋅b​)∥b∥b​=∥b∥2a⋅b​b

这个优雅的公式是投影计算的主力。

伟大的分解:平行与垂直

为什么投影这么重要?因为它让我们能够施展所有科学领域中最有用的技巧之一:将复杂的东西分解成更简单、相互垂直的部分。任何向量 a⃗\vec{a}a 都可以写成一个与参考向量 b⃗\vec{b}b 平行的部分和一个与其垂直的部分之和。

a⃗=a⃗∥+a⃗⊥\vec{a} = \vec{a}_{\parallel} + \vec{a}_{\perp}a=a∥​+a⊥​

我们已经找到了平行的部分:它就是投影!

a⃗∥=projb⃗(a⃗)\vec{a}_{\parallel} = \text{proj}_{\vec{b}}(\vec{a})a∥​=projb​(a)

那么垂直的部分是什么呢?它就是“剩下”的部分:

a⃗⊥=a⃗−a⃗∥=a⃗−projb⃗(a⃗)\vec{a}_{\perp} = \vec{a} - \vec{a}_{\parallel} = \vec{a} - \text{proj}_{\vec{b}}(\vec{a})a⊥​=a−a∥​=a−projb​(a)

想象一道来自光源的光线射到一个平面上。光的方向可以分解为一个正面撞击表面的分量(平行于表面的​​法向量​​)和一个沿着表面掠过的分量(垂直于法向量)。这种分解在计算机图形学中至关重要,用于计算光线如何反射并照亮场景。这种将力、速度或场分解为正交分量的原理是普适的,从分析倾斜弯道上汽车的受力,到理解电磁波,无处不在。

游戏规则:投影为何如此有用?

投影遵循一些优美而简单的规则,这使它们变得异常强大。

首先,投影是一个​​线性算子​​。这是一个花哨的说法,意思是它与向量加法和标量乘法“相处融洽”。例如,两个向量之和的投影等于它们各自投影之和。

projw⃗(u⃗+v⃗)=projw⃗(u⃗)+projw⃗(v⃗)\text{proj}_{\vec{w}}(\vec{u}+\vec{v}) = \text{proj}_{\vec{w}}(\vec{u}) + \text{proj}_{\vec{w}}(\vec{v})projw​(u+v)=projw​(u)+projw​(v)

从几何上看,这意味着如果你把两根棍子绑在一起,组合体的影子与你将单个棍子的影子相加得到的结果是相同的。这个属性使我们能够通过将复杂系统分解为更简单的部分,对每个部分进行投影,然后将结果相加来分析它们。

其次,到一条直线上的投影只取决于该直线的方向,而不取决于我们用来定义它的具体向量。将向量 u⃗\vec{u}u 投影到 v⃗\vec{v}v 上,与将 u⃗\vec{u}u 投影到 2v⃗2\vec{v}2v 或 −12v⃗-\frac{1}{2}\vec{v}−21​v 上得到的结果完全相同。“地面”向量的长度和方向无关紧要,重要的是它所在的直线。这是因为投影公式中分子和分母的缩放因子完美地抵消了,只留下了方向。这证实了我们的直觉,即投影是投射到一条直线上,或者更一般地,投射到一个子空间上。

这些属性使我们能够将投影作为解决复杂几何问题的可靠工具,例如寻找各种向量最终相互正交的条件。

一个惊人的秘密:坐标即投影

这是一个奇妙的启示。想一想一个简单的二维向量,比如 v⃗=(3,4)\vec{v} = (3, 4)v=(3,4)。数字3和4实际上意味着什么?它们是向量关于标准基向量 e⃗1=(1,0)\vec{e}_1 = (1, 0)e1​=(1,0) 和 e⃗2=(0,1)\vec{e}_2 = (0, 1)e2​=(0,1) 的​​坐标​​。

让我们尝试将 v⃗\vec{v}v 投影到 e⃗1\vec{e}_1e1​ 上。基向量的长度为1,所以数量投影的公式被优美地简化了:

Se⃗1(v⃗)=v⃗⋅e⃗1∥e⃗1∥=v⃗⋅e⃗1=(3)(1)+(4)(0)=3S_{\vec{e}_1}(\vec{v}) = \frac{\vec{v} \cdot \vec{e}_1}{\|\vec{e}_1\|} = \vec{v} \cdot \vec{e}_1 = (3)(1) + (4)(0) = 3Se1​​(v)=∥e1​∥v⋅e1​​=v⋅e1​=(3)(1)+(4)(0)=3

v⃗\vec{v}v 在x轴上的数量投影是3!同样,在 e⃗2\vec{e}_2e2​ 上的数量投影是4。

这是一个深刻的真理:一个向量的坐标就是它在坐标系基向量上的数量投影。我们在纸上画的笛卡尔网格只是一个正交基的可视化表示,而坐标记录了我们的向量在每个基方向上的“影子长度”。这个想法彻底揭开了坐标概念的神秘面纱,并以纯粹的几何视角重塑了它们。

超越几何:函数世界中的投影

投影的力量并不局限于我们能画出的几何向量。这个概念可以推广到任何可以定义有意义的“角度”和“长度”概念的空间,这种空间称为​​内积空间​​。

考虑所有简单多项式的空间。我们如何将函数 f(x)=x2f(x) = x^2f(x)=x2 投影到函数 g(x)=x+1g(x) = x+1g(x)=x+1 上呢?这似乎是一个奇怪的问题。但是,如果我们为函数定义一个内积,例如:

⟨p(x),q(x)⟩=∫−11p(x)q(x) dx\langle p(x), q(x) \rangle = \int_{-1}^{1} p(x)q(x) \, dx⟨p(x),q(x)⟩=∫−11​p(x)q(x)dx

这个积分就像一种连续的求和,类似于点积。有了这个定义,我们可以使用完全相同的投影公式来找到 x2x^2x2 中“沿着” x+1x+1x+1 的“部分”。这不仅仅是一个抽象游戏;它是​​傅里叶分析​​的基础,其中复杂的信号(如声波)被分解为一系列在简单正弦和余弦函数上的投影之和。

同样的推广原则也适用于分量为复数的向量。投影的结构保持不变,尽管内积的定义必须用复共轭稍作调整,以确保向量的“长度”始终是一个正实数。

从在地面上投射影子到分解音频信号和描述量子态,投影原理是贯穿数学和科学的一条金线。它证明了一个简单的几何思想能够为广阔范围的复杂问题带来清晰和秩序。

应用与跨学科联系

现在我们已经拆解了向量投影的机器,看到了它的齿轮和杠杆,是时候享受真正的乐趣了。它有什么用处?在黑板上画三角形和影子是一回事,但看到这个简单的几何思想实际上是所有科学和工程中最强大、最普遍的工具之一,则完全是另一回事。它就像一把数学手术刀,让我们能够精确地将问题剖析成其最基本的部分。通过找到一个事物在另一个事物上的投影,我们提出了一个深刻的问题:“这个与那个有多大关系?”正如我们将看到的,这个问题的答案,从日常运动的物理学到计算机图形学、数据科学的前沿,甚至抽象的概率世界,都有回响。

我们能看到的世界:物理与工程

我们的第一站是最具体可感的:由力、速度和加速度构成的物理世界。在这里,投影不是一个抽象概念,而是对现实的直接描述。任何曾费力将一个重箱子推上斜坡的人都感受过向量投影的作用。当然,重力将箱子垂直向下拉。但箱子并没有穿过斜坡,而是沿着斜坡滑动。你感觉到的将箱子向下拉的力并不是全部的重力,而只是重力投射在斜坡表面上的“影子”——即重力向量在斜坡方向向量上的投影。

在特定方向上寻找向量的“有效”分量,这一思想是工程学的基石。想象一下,工程师们正在规划一条新的沟槽,该沟槽必须靠近一条现有的地下管道。沟槽和管道都由向量表示。为了理解它们的相互作用——也许是为了计算干涉或测量共享的通行权——工程师们需要知道沟槽在管道线上的“影子”长度。这不过是沟槽向量在管道向量上的数量投影。它给出了一个量化它们对齐程度的单一数字。

同样的原理也支配着运动。考虑一架自动驾驶无人机在有风的日子里飞行。无人机有自己的速度向量,风有另一个。为了理解风的影响,无人机的控制系统必须回答:“这股风在多大程度上帮助或阻碍我的前进?”它通过计算其速度向量在风速向量上的数量投影来回答这个问题。一个正的投影意味着有益的顺风分量,而负的投影则意味着阻碍的逆风。剩下的那部分风——垂直于无人机运动方向的分量——是侧风,它影响无人机的横向漂移。投影巧妙地将风的影响分解为两种物理上截然不同的效应。

也许运动学中最优雅的应用出现在我们不仅考虑速度,还考虑加速度的时候。当一个物体沿曲线路径运动时,它的速度总是在变化。但它是如何变化的?它的加速度向量讲述了完整的故事,而投影帮助我们解读它。通过将加速度向量 a(t)\mathbf{a}(t)a(t) 投影到速度向量 v(t)\mathbf{v}(t)v(t) 上,我们分离出沿着运动路径的加速度分量。这是改变物体速率的部分。加速度的另一部分,即垂直于速度的部分,不会使物体变快或变慢;它使物体转向。因此,投影将加速度剖析为它的两个不同职责:改变速率和改变方向。

我们创造的世界:计算机图形学与几何学

从有形的世界,我们进入到计算机内部的虚拟世界。在计算机图形学中,目标是模拟光的物理学以创造逼真的图像。在这里,向量投影不仅有用;它是渲染的基本引擎。

“投影”这个词本身就让人联想到影子的概念,而这正是其力量的起点。但它最巧妙的应用来自于一种简单的逆向思维。假设你想计算一个物体的影子如何在地平面上移动。你需要找到其速度向量中位于地平面内的分量。你如何将一个向量投影到一个完整的平面上呢?诀窍不是投影到平面本身,而是投影到与该平面法向(垂直)的向量上。这个投影 projn⃗(v⃗)\text{proj}_{\vec{n}}(\vec{v})projn​(v) 给了你速度中试图将物体抬离地面或推入地下的部分。如果你从总速度向量 v⃗\vec{v}v 中减去这个法向分量,剩下的必然是与地平面完全平行的部分: v⃗parallel=v⃗−projn⃗(v⃗)=v⃗−v⃗⋅n⃗n⃗⋅n⃗ n⃗\vec{v}_{\text{parallel}} = \vec{v} - \text{proj}_{\vec{n}}(\vec{v}) = \vec{v} - \frac{\vec{v}\cdot\vec{n}}{\vec{n}\cdot\vec{n}}\,\vec{n}vparallel​=v−projn​(v)=v−n⋅nv⋅n​n 这个简单的减法是模拟从角色在冰上滑行到无人机在平坦道路上跟踪汽车等一切事物的关键。

同样的逻辑揭示了图形学中最美丽的效果之一:反射。什么是反射?当光线击中一个表面时,其平行于表面的运动被保留,而其垂直于表面的运动被完全反转。利用我们之前的技巧,我们可以找到入射光线方向的垂直(法向)分量 d⃗⊥=projn⃗(d⃗)\vec{d}_{\perp} = \text{proj}_{\vec{n}}(\vec{d})d⊥​=projn​(d)。为了得到反射向量 r⃗\vec{r}r,我们只需从原始向量 d⃗\vec{d}d 开始,然后两次减去这个法向分量: r⃗=d⃗−2d⃗⊥=d⃗−2d⃗⋅n⃗n⃗⋅n⃗n⃗\vec{r} = \vec{d} - 2\vec{d}_{\perp} = \vec{d} - 2 \frac{\vec{d} \cdot \vec{n}}{\vec{n} \cdot \vec{n}} \vec{n}r=d−2d⊥​=d−2n⋅nd⋅n​n 第一次减法移除了原始的法向分量,只留下了平行部分。第二次减法增加了一个反向的法向分量。这个完全由投影构建的紧凑而优美的公式,在驱动视频游戏和动画电影的显卡中每秒运行数十亿次,创造出你看到的每一个闪烁的反射。

最后,投影被编织在几何学本身的结构中。像平行六面体(一个倾斜的盒子)这样的三维形状的体积被定义为其底面积乘以其高度。但高度是什么?如果平行六面体由三个向量 a⃗\vec{a}a、b⃗\vec{b}b 和 c⃗\vec{c}c 定义,底面是由 b⃗\vec{b}b 和 c⃗\vec{c}c 形成的平行四边形。“高度”就是向量 a⃗\vec{a}a 投射到垂直于该底面的直线上的影子长度——即,向量 a⃗\vec{a}a 在法向量 b⃗×c⃗\vec{b} \times \vec{c}b×c 上的数量投影。

数据的世界:从生物学到机器学习

现在我们进行一次巨大的想象飞跃。向量和投影的力量并不局限于物理空间的二维或三维。我们可以在成百上千维的空间中工作,其中每个轴代表的不是一个方向,而是一个变量——比如一个基因的表达水平、一支股票的价格,或者一张图片中的像素值。

例如,在系统生物学中,患者对药物的反应可以被捕获为一个高维“基因空间”中的向量,其中每个分量是特定基因活性的变化。科学家可能有一个代表理想治疗结果的“标准反应向量”S⃗\vec{S}S。当一个新患者的反应被测量为一个向量 P⃗\vec{P}P 时,医生可以问:“这位患者的反应与理想反应的吻合程度如何?”答案是通过计算 P⃗\vec{P}P 在 S⃗\vec{S}S 上的数量投影找到的。这将数千个数据点浓缩成一个单一的、有意义的分数,量化了治疗对该个体的有效性。

这种使用投影来“清理”信息并建立更好模型的想法是数据科学的基石。线性代数中最基本的算法之一是格拉姆-施密特过程,它能将任何一组旧的基向量转换成一套纯净的、相互正交(垂直)的集合。它的引擎就是投影。为了产生第 kkk 个干净的向量 uk\mathbf{u}_kuk​,它从第 kkk 个杂乱的向量 vk\mathbf{v}_kvk​ 开始,系统地剥离其在所有先前已清理向量上的影子。剩下的部分,根据定义,与之前的所有向量都正交。这种通过投影进行的净化过程对于创建稳定可靠的数值算法至关重要。

在大数据时代,我们经常面临规模巨大的问题。像阿诺德迭代这样的算法被用来寻找庞大系统(如互联网的网络结构)的最重要特征。这些方法通过将一个巨大的问题投影到一个更小、可管理的子空间上来工作。它们创建的小矩阵的条目本身就是被定义为数量投影,形式为 qiTAqj\mathbf{q}_i^T A \mathbf{q}_jqiT​Aqj​,这正是向量 AqjA\mathbf{q}_jAqj​ 在向量 qi\mathbf{q}_iqi​ 上的投影。本质上,这些强大的算法在反复问一个简单的问题:“这个向量在这个特定方向上最重要的部分是什么?”

抽象之美:数学与概率论

我们最后的旅程将我们带入纯粹的抽象领域,在那里几何与机遇交织在一起。想象一个在 nnn 维空间中的随机向量 X\mathbf{X}X,其中每个分量都是从标准正态分布(钟形曲线)中抽取的独立随机数。这就像一个在高维空间中随机飞驰的点。

现在,让我们取这个随机向量,并将它投影到一个固定的、简单的向量上,比如全一向量 v=(1,1,…,1)\mathbf{v} = (1, 1, \dots, 1)v=(1,1,…,1)。这给了我们一个新的随机向量,即投影 P\mathbf{P}P。我们能对它的长度说些什么?具体来说,它的长度平方的*期望值* E[∥P∥2]E\left[\|\mathbf{P}\|^2\right]E[∥P∥2] 是多少?人们可能会预期一个依赖于维度 nnn 的复杂答案。但通过投影和线性代数的优雅机制,答案惊人地简单。它就是1。 E[∥P∥2]=1E\left[\|\mathbf{P}\|^2\right] = 1E[∥P∥2]=1 永远如此。无论你是在二维还是二百万维空间中。这个优美的结果显示了投影的几何确定性如何能为不可预测的随机世界带来清晰和秩序。

从斜坡到反射,从基因表达到机遇的几何学,不起眼的向量投影已被证明是一把万能钥匙,在整个科学领域开启了深刻的洞见。它证明了这样一个事实:有时最简单的想法,在正确的光线下审视,会投下最长、最富启示的影子。