空间向量基本定理

官官方数学老师·25 页·深入（追求细节与边界）·0 次浏览·2 天前
✦ 空间向量基本定理数学空间向量基本定理基底

空间向量基本定理

揭开空间向量的基底奥秘

按 空格/→ 演示下一步

1 / 25 页

全部页面点击任意一页，跳回舞台从这页播放

空间向量基本定理

揭开空间向量的基底奥秘

空间向量基本定理
揭开空间向量的基底奥秘
1第 1 页 · 空间向量基本定理

平面向量基本定理回顾

上页空间里需要三个不共面向量撑起一切。但跳进三维之前，先回到二维——复习平面向量基本定理。这条定理是今天推导的种子，空间版本只是它的升维。

定理内容
平面内任一向量都可由两个不共线向量线性表示
唯一性
λ、μ 唯一确定，换基底则系数改变
不共线条件
若两向量共线，所有组合仍在同一直线
基底
两个不共线向量称为平面的一组基底
十字路口的东向与北向对应 →平面向量基底

任意方向 = 东向走多少 + 北向走多少

v⃗=λa⃗+μb⃗, 其中 a⃗,b⃗ 不共线\vec{v}=\lambda\vec{a}+\mu\vec{b},\ \text{其中 } \vec{a},\vec{b} \text{ 不共线}
2第 2 页 · 平面向量基本定理回顾

从平面到空间的类比

左边是已知的二维结论，右边是类比推出的三维结论，虚线箭头标类比映射。

图解渲染中…
a2：平面基底：两个不共线的向量b2：空间基底：三个不共面的向量b1：维度+1 → 基底数也+1，类比的核心规律
3第 3 页 · 从平面到空间的类比

定理的完整陈述

平面上两个不共线向量能撑满整个平面；空间多了一维，'基础方向'也得加一个——三个不共面向量。这一页把上节的直觉写成严格的数学陈述。

前提条件
三个向量 $\vec{a},\vec{b},\vec{c}$ 不共面（等价于线性无关）
存在性
空间内任意向量 $\vec{p}$，都能写成 $\vec{p}=x\vec{a}+y\vec{b}+z\vec{c}$
唯一性
上述表示中的系数 $x,y,z$ 唯一确定，不存在第二组
建房子要几根不共面的柱子对应 →三维空间的基底

平面像'地面'，2 根撑得起来；空间是'立体房间'，必须 3 根不在同一平面

若 $\vec{a},\vec{b},\vec{c}$ 不共面，$\forall\vec{p},\exists!\,x,y,z\in\mathbb{R}$，使 $\vec{p}=x\vec{a}+y\vec{b}+z\vec{c}$
4第 4 页 · 定理的完整陈述

定理的几何图解

从左到右：任意向量→三个不共面向量→唯一分解→唯一系数→唯一表示。

图解渲染中…
A：空间中任意一个向量B：e1、e2、e3 三个不共面向量C：不共面条件保证分解唯一D：分解得到的三个实数系数
5第 5 页 · 定理的几何图解

定理的证明思路

证明分两步：先证表示存在，再证表示唯一。

1
存在性
取一空间向量a，用三个不共面向量作棱构造平行六面体，将其分解为三向量的线性组合
2
反设两组
假设向量a可由两组不同系数表示，作差得到零向量的非平凡线性组合
3
导出矛盾
若非平凡线性组合等于零向量，意味着三向量共面，与不共面前提矛盾
4
得出唯一
矛盾说明假设不成立，两组系数必然相等，表示唯一
6第 6 页 · 定理的证明思路

定理理解自测

点击作答

判断空间中三个向量 a、b、c 能否作为一组基底（即空间中任意向量都可唯一地用它们线性表示）的充要条件是什么？

7第 7 页 · 定理理解自测

基底的概念定义

刚才自测你答出了'三个不共面向量'，但这句话里每个词到底在约束什么？这一页我们正式给'基底'下一个严谨定义。

三个不共面的向量
基底的核心定义：三个向量两两不平行、不共面
等价于线性无关
「不共面」和「线性无关」在三维中是同一件事
恰好三个不多不少
三个才撑满三维；两个只能张成平面，四个必有多余
表示唯一性
任意空间向量可被基底中三个向量唯一线性表示
三脚架的三条腿对应 →基底的三个向量

三条腿不在同一平面才能稳稳立住——这正是「不共面」的几何意义

若 $\vec{e_1},\vec{e_2},\vec{e_3}$ 不共面，则对任意空间向量 $\vec{a}$，存在唯一实数组 $(x,y,z)$ 使 $\vec{a}=x\vec{e_1}+y\vec{e_2}+z\vec{e_3}$
8第 8 页 · 基底的概念定义

基向量的含义

上页我们把'基底'这个工具组定义清楚了——一组能撑起整个空间、彼此又互不替代的向量。现在拆开工具组看：里面的每一个向量，就叫基向量。

基向量的位置
基底里的每一个向量都是基向量，彼此无关，合在一起能撑起整个空间
身份是相对的
'基向量'不是向量与生俱来的标签，而是相对于某一组基底才成立的角色
换基底就换身份
同一向量在基底A里是基向量，在基底B里可能只是被表示的普通向量
足球队里的队长对应 →基向量

队长身份相对于这支球队；同一个人换支球队可能只是普通队员，正如向量换套基底就可能失去基向量身份

9第 9 页 · 基向量的含义

基底的图示说明

从原点引出三个向量，按'方向→不平行→不共面→张成→唯一分解'逐步展示基底的几何条件。

图解渲染中…
F：两两不平行，即'线无关'G：不共面即'面无关'，是三维基底的核心条件H：三个向量的线性组合可覆盖整个三维空间
10第 10 页 · 基底的图示说明

基底的选择性

同一个向量，换不同的基底来看，坐标就不同——基底不是唯一的。

标准基底 E
  • 基向量 e₁,e₂,e₃ 两两正交、长度为 1
  • 向量 v 的坐标：(3, 4, 0)
  • 几何上沿坐标轴方向分解 v
斜交基底 F
  • 基向量 f₁,f₂,f₃ 不正交、长度不一
  • 向量 v 的坐标：(3, 1, 0)
  • 几何上沿斜交方向分解 v
向量没变，变的只是分解方式——基底不唯一，坐标随之改变。
11第 11 页 · 基底的选择性

坐标表示的步骤

前面说了分解存在且唯一，那怎么把系数 x、y、z 真正算出来？分四步。

1
设未知数
设 p = x·e₁ + y·e₂ + z·e₃，三个系数就是待求坐标
2
列点积方程
两边同与各 eᵢ 做点积，把向量等式化为 x, y, z 的方程组
3
解方程组
解三元一次方程组，系数矩阵由 eᵢ·eⱼ 构成（Gram 矩阵）
4
写出分解式
把 x, y, z 代回原式，得到 p 在该基底下的唯一分解
12第 12 页 · 坐标表示的步骤

线性表示系数的唯一性

前页学会了用同一基底写出空间坐标。接下来要追问：同一个向量会不会有两组不同坐标？线性表示的唯一性正是基本定理的核心保证。

唯一坐标
同一向量按同一基底分解，系数三元组有且仅有一个。
双表示假设
假设两组系数都等于同一向量，目标是比较它们。
无关性排他
用前一等式减后一等式，系数差与基底相乘后为零。
逐项相等
基底线性无关，因此所有系数差都只能为零。
同一把尺子量同一地点对应 →同一基底表示向量

尺子刻度相当于基向量，唯一读数相当于唯一坐标。

若 v=∑i=13aiei=∑i=13biei, 则 ai=bi (i=1,2,3)\text{若 }\boldsymbol v=\sum_{i=1}^{3}a_i\boldsymbol e_i=\sum_{i=1}^{3}b_i\boldsymbol e_i,\text{ 则 }a_i=b_i\ (i=1,2,3)
13第 13 页 · 线性表示系数的唯一性

坐标求解实例

python

用 Python 把「在非正交基底下求坐标」跑一遍，看到唯一解与回代验证。

代码高亮加载中…

把「唯一分解」翻译成 A·x=p：行列式非零保证基底合法，solve 给出唯一坐标，回代验证线性组合还原 p。

14第 14 页 · 坐标求解实例

正交基底的概念

前面我们看到，基底其实有无穷多种——只要三个不共面的向量就行。但有一种特殊的基底特别受青睐，因为它的三个向量两两垂直。这就是正交基底。

两两垂直
任意两个基向量夹角都是 90°，不平行也不斜交
数量积为零
代数判据：i≠j 时两基向量的内积为 0
仍构成基底
垂直性蕴含线性无关，仍可表示空间任意向量
计算更简便
求坐标无需解方程组，用投影公式即可直接得到
长方体一个顶点的三条棱对应 →正交基底

三条棱天然两两垂直，可作盒内任意点的参考方向

ei⃗⋅ej⃗=0,i≠j\vec{e_i}\cdot\vec{e_j}=0,\quad i\neq j
15第 15 页 · 正交基底的概念

单位正交基底

上页我们得到了一组两两垂直的方向；这还像三把方向正确的尺，却没规定每格有多长。统一格长后，几何长度就能直接换算成坐标数。

统一单位长度
将每个正交基向量除以其模，得到模为 1 的基向量。
保留正交性
除以模只改变长度、不改变方向，因此各基向量仍两两垂直。
标准记号
空间中的单位正交基通常记为 e₁、e₂、e₃，也常写作 i、j、k。
三把刻度一致的直尺对应 →单位正交基

直尺方向对应基向量，垂直对应正交，统一格距对应单位长度。

ei ⁣⋅ ⁣ej=δij,∥ei∥=1,i,j∈{1,2,3}\mathbf e_i\!\cdot\!\mathbf e_j=\delta_{ij},\quad \lVert\mathbf e_i\rVert=1,\quad i,j\in\{1,2,3\}
16第 16 页 · 单位正交基底

笛卡尔坐标系与单位正交基

左栏是抽象基向量，右栏是坐标轴，连线表示对应关系；底部汇聚到点的分解式。

图解渲染中…
a1：沿 x 轴的单位向量，分量形式 (1,0,0)b1：三维坐标系中 x 轴正方向c1：任意点 P = xe₁ + ye₂ + ze₃
17第 17 页 · 笛卡尔坐标系与单位正交基

一般基底 vs 正交基底

同样求坐标，方法难度天差地别——根源就在于基底是否"正交"。

一般基底
  • 三个不共面的任意向量，无垂直约束
  • 几何关系灵活，可按需自由选取
  • 求坐标需解三元线性方程组
  • 适用：理论证明、构造性推导
正交基底
  • 三个两两垂直的向量，受正交约束
  • 几何结构规则，垂直便于投影
  • 求坐标用点积/投影公式，一步出结果
  • 适用：数值计算、坐标快速求解
正交基底是坐标求解的最优选择——投影公式一步到位，无需解方程组。一般基底只在需要灵活构造线性组合时使用。
18第 18 页 · 一般基底 vs 正交基底

正交分解的定义

上一节我们说正交基底用起来更顺手——这种'顺手'就来自正交分解：把向量沿着两两垂直的方向拆开，每个分量都有明确的几何意义。

正交分解
把向量表示为两两垂直方向上三个分量之和
分解形式
向量沿三个垂直方向分解，系数即分量大小
基底要求
三个基向量必须两两垂直，否则只能叫线性表示
定理视角
它是空间向量基本定理在基底取正交时的特例
力的正交分解对应 →空间向量正交分解

把力沿垂直方向拆开，每个分量是该方向上的效果——本质相同

a⃗=xe1⃗+ye2⃗+ze3⃗, ei⃗⋅ej⃗=0 (i≠j)\vec{a}=x\vec{e_1}+y\vec{e_2}+z\vec{e_3},\ \vec{e_i}\cdot\vec{e_j}=0\ (i\neq j)
19第 19 页 · 正交分解的定义

正交分解的步骤

把空间向量按垂直方向拆开，按四步走最稳妥。

1
选定正交基底
从可用向量中选出一组两两垂直的基，或对一般基底做正交化
2
逐个求投影
用投影公式计算原向量在每个基向量方向上的分量
3
求和成分解式
把各投影分量按基向量方向相加，结果应等于原向量
4
验证两条件
确认各分量两两垂直，且总和等于原向量
20第 20 页 · 正交分解的步骤

正交分解的几何意义

把向量想成一根木棒，三个正交方向的'影子'就是它的分量。

图解渲染中…
V：三维空间中的任意向量 aP1：沿 e₁ 方向做垂直投影R：得到 a₁、a₂、a₃ 三个标量S：三段分量沿各自方向拼回 a
21第 21 页 · 正交分解的几何意义

正交分解应用

点击作答

已知正交基底 b₁=(1,1,0), b₂=(1,-1,0), b₃=(0,0,1)，向量 a=(3,1,0)。a 在该基底下的第一个坐标 k₁ 为？

22第 22 页 · 正交分解应用

知识结构图

中心是定理，向外辐射五大主题模块，每个分支下是相应子概念。

图解渲染中…
root：整张图的核心：空间向量基本定理本身正交分解：正交分解建立在正交基底之上，是基底概念的应用延伸
23第 23 页 · 知识结构图

核心要点回顾

  • ✓三维基本定理：任一向量可由三个不共面向量唯一线性表出
  • ✓基底是张成全空间的最小向量组，个数由空间维度决定
  • ✓正交基让坐标就是投影：分解无耦合、计算最稳
  • ✓一般基底也行，但坐标要解方程组；正交基底直接用内积
  • ✓正交分解是投影思想的几何表达，笛卡尔坐标是其特例
延伸主题：向量子空间与维数Gram-Schmidt 正交化最小二乘与投影
24第 24 页 · 核心要点回顾

课后思考

3个开放性问题：基底选择、推广、几何应用

课后思考
3个开放性问题：基底选择、推广、几何应用
25第 25 页 · 课后思考