Evanalysis
9.1预计阅读时间: 9 分钟

9.1 内积、范数与夹角

定义 R^m 上的标准内积与范数,再把这些公式连到长度、夹角与最基本的不等式结构。

到目前为止,课程大部分都在处理线性结构:张成、线性无关、基底、特征 向量、对角化。内积把几何带回来。它让你可以在同一个向量空间里谈长 度、垂直与夹角。

关键在于:这些几何概念都可以由一个标量值运算编码出来。

为什么这一节重要

当你写下

v,w=vTw,\langle v,w\rangle=v^Tw,

你并不是引入一个新的符号作装饰,而是在引入之后会控制正交性、投影、 标准正交基与基本不等式的那个运算。

定义

标准内积

对向量 v,wRmv,w\in\mathbb{R}^m,它们的 内积 定义为

v,w=i=1mviwi=vTw.\langle v,w\rangle =\sum_{i=1}^m v_iw_i =v^Tw.

它也称为 点积

例题

直接计算内积

v=[12],w=[34],v= \begin{bmatrix} 1\\2 \end{bmatrix}, \qquad w= \begin{bmatrix} 3\\4 \end{bmatrix},

v,w=13+24=11.\langle v,w\rangle=1\cdot3+2\cdot4=11.

u=[123],z=[456],u= \begin{bmatrix} 1\\2\\3 \end{bmatrix}, \qquad z= \begin{bmatrix} 4\\5\\6 \end{bmatrix},

u,z=14+25+36=32.\langle u,z\rangle=1\cdot4+2\cdot5+3\cdot6=32.

内积的基本性质

定理

线性、对称与正定性

对向量 u,v,wRmu,v,w\in\mathbb{R}^m 及标量 α,βR\alpha,\beta\in\mathbb{R},标 准内积满足:

v+w,u=v,u+w,u;\langle v+w,u\rangle=\langle v,u\rangle+\langle w,u\rangle;
αv,w=αv,w;\langle \alpha v,w\rangle=\alpha\langle v,w\rangle;
v,w=w,v;\langle v,w\rangle=\langle w,v\rangle;
v,v0,\langle v,v\rangle\ge0,

而且等号成立当且仅当 v=0v=0

前两条表示内积是线性的,第三条表示对称,第四条表示它真的在量度某种 大小,而不是任意带符号的量。

证明

为什么正定性是关键公理

范数与单位向量

定义

范数

vRmv\in\mathbb{R}^m,向量 v范数 定义为

v=v,v.\|v\|=\sqrt{\langle v,v\rangle}.

所以范数就是由内积诱导出来的长度。

定理

范数的基本性质

对每个 vRmv\in\mathbb{R}^m 及每个标量 αR\alpha\in\mathbb{R}

v0,\|v\|\ge0,

v=0\|v\|=0 当且仅当 v=0v=0

αv=αv.\|\alpha v\|=|\alpha|\,\|v\|.

定义

单位向量

若向量 v 满足

v=1,\|v\|=1,

则称 v单位向量

v0v\neq0,则

vv\frac{v}{\|v\|}

是把 v 规范化后得到的单位向量。

例题

算范数并做规范化

v=[123].v= \begin{bmatrix} 1\\2\\3 \end{bmatrix}.

v=12+22+32=14.\|v\|=\sqrt{1^2+2^2+3^2}=\sqrt{14}.

因此,对应的单位向量是

114[123].\frac{1}{\sqrt{14}} \begin{bmatrix} 1\\2\\3 \end{bmatrix}.

内积与范数互相决定

内积当然会决定范数,因为 v2=v,v\|v\|^2=\langle v,v\rangle。反过来,范数 其实也足以把内积重新找回来。

定理

转换公式

对向量 u,vRmu,v\in\mathbb{R}^m

u±v2=u2+v2±2u,v;\|u\pm v\|^2=\|u\|^2+\|v\|^2\pm2\langle u,v\rangle;
  1. 极化恒等式为
u,v=12(u+v2u2v2);\langle u,v\rangle=\frac12\bigl(\|u+v\|^2-\|u\|^2-\|v\|^2\bigr);
  1. 平行四边形恒等式为
u+v2+uv2=2u2+2v2.\|u+v\|^2+\|u-v\|^2=2\|u\|^2+2\|v\|^2.

这些公式说明:内积几何之所以刚性很强,是因为一旦长度行为被固定,内 积本身也会被固定。

向量之间的夹角

R2\mathbb{R}^2R3\mathbb{R}^3 中,内积可以写成熟悉的几何形 式

x,y=xycosθ,\langle x,y\rangle=\|x\|\,\|y\|\cos\theta,

其中 θ\theta 是非零向量 xy 的夹角。

因此

θ=arccos ⁣(x,yxy).\theta=\arccos\!\left(\frac{\langle x,y\rangle}{\|x\|\,\|y\|}\right).

特别地,xy 互相垂直,当且仅当

x,y=0.\langle x,y\rangle=0.

这个观察之后便会在任意 Rm\mathbb{R}^m 中变成正交的代数定义。

常见错误

常见错误

内积的结果是一个数,不是一个向量

学生有时看到 vTwv^Tw 会以为,既然是由向量相乘得来,结果也应是一个向 量。不是的。内积永远输出一个单一标量。正因如此,它才可以用来量度长 度与夹角。

快速检查

快速检查

(1,2),(3,4)\langle (1,2),(3,4)\rangle 是多少?

逐项相乘后相加。

解答

答案

快速检查

v=0\|v\|=0,那 v 必须是什么?

利用范数的正定性。

解答

答案

快速检查

v0v\neq0,为什么 v/\|v\| 一定是单位向量?

使用标量倍数下的范数公式。

解答

答案

练习

快速检查

计算 [34]\begin{bmatrix}3\\4\end{bmatrix} 的范数。

v=v,v\|v\|=\sqrt{\langle v,v\rangle}

解答

引导解答

快速检查

[221]\begin{bmatrix}2\\-2\\1\end{bmatrix} 规范化成单位向量。

先算范数。

解答

引导解答

快速检查

若非零向量 x 与 y 满足 x,y=0\langle x,y\rangle=0,那在 R2\mathbb{R}^2R3\mathbb{R}^3 中它们的夹角是多少?

用余弦公式。

解答

引导解答

相关笔记

接着可读 9.2 正交集与标准正交基, 看看内积如何用来构造坐标公式与特别方便的基底。

再下一节 9.4 Cauchy-Schwarz 与三角不等式 则会把本节引入的内积与范数公式推到两条核心估计。

本章也延续了 6.5 基底与维数 所展开的几何主线。

本节掌握 checkpoint

要完成这一节 checkpoint,需要把每一题答对。 答对进度: 0%.

技能点: inner-product, orthogonal

在 R^m 中,哪个条件与“向量 v 与 w 正交”等价?

已用尝试次数: 0

剩余尝试次数: 不限尝试次数

预览不会消耗尝试次数。

提交会记录一次正式评分尝试。

本单元重点词汇