到目前为止,课程大部分都在处理线性结构:张成、线性无关、基底、特征
向量、对角化。内积把几何带回来。它让你可以在同一个向量空间里谈长
度、垂直与夹角。
关键在于:这些几何概念都可以由一个标量值运算编码出来。
为什么这一节重要
当你写下
⟨v,w⟩=vTw,
你并不是引入一个新的符号作装饰,而是在引入之后会控制正交性、投影、
标准正交基与基本不等式的那个运算。
定义
标准内积
对向量 v,w∈Rm,它们的 内积 定义为
⟨v,w⟩=i=1∑mviwi=vTw.它也称为 点积。
例题
直接计算内积
若
v=[12],w=[34],则
⟨v,w⟩=1⋅3+2⋅4=11.若
u=123,z=456,则
⟨u,z⟩=1⋅4+2⋅5+3⋅6=32.
内积的基本性质
定理
线性、对称与正定性
对向量 u,v,w∈Rm 及标量 α,β∈R,标
准内积满足:
⟨v+w,u⟩=⟨v,u⟩+⟨w,u⟩;
⟨αv,w⟩=α⟨v,w⟩;
⟨v,w⟩=⟨w,v⟩;
⟨v,v⟩≥0,而且等号成立当且仅当 v=0。
前两条表示内积是线性的,第三条表示对称,第四条表示它真的在量度某种
大小,而不是任意带符号的量。
范数与单位向量
定义
范数
对 v∈Rm,向量 v 的 范数 定义为
∥v∥=⟨v,v⟩.所以范数就是由内积诱导出来的长度。
定理
范数的基本性质
对每个 v∈Rm 及每个标量 α∈R:
∥v∥≥0,而 ∥v∥=0 当且仅当 v=0;
∥αv∥=∣α∣∥v∥.
定义
单位向量
若向量 v 满足
∥v∥=1,则称 v 为 单位向量。
若 v=0,则
∥v∥v是把 v 规范化后得到的单位向量。
例题
算范数并做规范化
令
v=123.则
∥v∥=12+22+32=14.因此,对应的单位向量是
141123.
内积与范数互相决定
内积当然会决定范数,因为 ∥v∥2=⟨v,v⟩。反过来,范数
其实也足以把内积重新找回来。
定理
转换公式
对向量 u,v∈Rm:
∥u±v∥2=∥u∥2+∥v∥2±2⟨u,v⟩;
- 极化恒等式为
⟨u,v⟩=21(∥u+v∥2−∥u∥2−∥v∥2);
- 平行四边形恒等式为
∥u+v∥2+∥u−v∥2=2∥u∥2+2∥v∥2.
这些公式说明:内积几何之所以刚性很强,是因为一旦长度行为被固定,内
积本身也会被固定。
向量之间的夹角
在 R2 与 R3 中,内积可以写成熟悉的几何形
式
⟨x,y⟩=∥x∥∥y∥cosθ,
其中 θ 是非零向量 x 与 y 的夹角。
因此
θ=arccos(∥x∥∥y∥⟨x,y⟩).
特别地,x 与 y 互相垂直,当且仅当
⟨x,y⟩=0.
这个观察之后便会在任意 Rm 中变成正交的代数定义。
常见错误
常见错误
内积的结果是一个数,不是一个向量
学生有时看到 vTw 会以为,既然是由向量相乘得来,结果也应是一个向
量。不是的。内积永远输出一个单一标量。正因如此,它才可以用来量度长
度与夹角。
快速检查
快速检查
⟨(1,2),(3,4)⟩ 是多少?
快速检查
若 ∥v∥=0,那 v 必须是什么?
快速检查
若 v=0,为什么 v/\|v\| 一定是单位向量?
练习
快速检查
计算 [34] 的范数。
用 ∥v∥=⟨v,v⟩。
快速检查
把 2−21 规范化成单位向量。
快速检查
若非零向量 x 与 y 满足 ⟨x,y⟩=0,那在 R2 或 R3 中它们的夹角是多少?
相关笔记
接着可读
9.2 正交集与标准正交基,
看看内积如何用来构造坐标公式与特别方便的基底。
再下一节
9.4 Cauchy-Schwarz 与三角不等式
则会把本节引入的内积与范数公式推到两条核心估计。
本章也延续了
6.5 基底与维数
所展开的几何主线。