Olverae Assets

1 向量空间:一个"加法和缩放都不会越界"的世界

"空间"听着玄,其实就是一堆向量的集合,且满足:任意两个相加、任意一个乘以数,结果还在这堆里。平面上所有的箭头就是一个向量空间——两个箭头首尾相接还是箭头,箭头拉长两倍还是箭头,永远跑不出这个平面。

向量空间 = 一个对"加法"和"数乘"都封闭的集合(还要满足结合律、有零向量等几条朴素规则)。

"封闭"是灵魂:在里面怎么加、怎么缩放,都跳不出去。R²(平面)、R³(空间)、甚至"所有 3 次以下多项式"都是向量空间——只要能加、能数乘、不越界。

为什么数学家要抽象出这个概念?因为一旦确认某个对象是向量空间,所有关于向量的工具(基、维数、线性变换)就一次性全部适用——不用对多项式、信号、图像各发明一套。这就是抽象的威力:一次证明,处处通用。

给你两个向量,你能用"各乘一个数再相加"造出什么?就像两种底色的颜料,按不同比例调和能得到一大片颜色。拖滑块改系数 a、b,看 a·v₁ + b·v₂ 这个点在平面上跑。

a (×v₁)1.0

b (×v₂)1.0

紫点 = a·v₁ + b·v₂。因为 v₁、v₂ 指向两个不同方向,调 a、b 就能让紫点跑遍整个平面——这两个向量"张成"了 R²。点上面按钮把走过的点留下,会铺满全场。

把两个向量的所有线性组合收集起来,得到的集合叫它们的张成 (span)。关键问题:第二个向量有没有提供"新方向"?拖动两个箭头的端点试试——当它们共线时,无论怎么调系数都只能在一条线上打转。

张成 = 整个平面维数 = 2 关系 = 线性无关

两个向量指向不同方向 → 它们的组合能填满平面,线性无关,张成是 2 维的 R²。把一个拖到和另一个共线试试。

线性相关:其中一个向量是其它向量的线性组合(多余、白给)。线性无关:谁都不能由其它人拼出来,每个都贡献独立的新方向。

几何直觉:两个向量共线 = 第二个没带来新方向 = 相关;不共线 = 各管一个方向 = 无关。三个二维向量必然相关(平面只有两个独立方向,第三个一定是前两个拼出来的)。

能张成整个空间、又彼此线性无关的一组向量,叫这个空间的一组基 (basis)——它是"不多不少、刚刚好"的一套坐标轴。基里向量的个数,就是空间的维数。

基 = 无关 + 张成

少一个就张不满(覆盖不全),多一个就相关(有冗余)。R² 的标准基是 (1,0) 和 (0,1),但任意两个不共线的向量也能当基。

维数 = 基的大小

同一个空间,不同的基向量个数一定相同,这个数就是维数。平面是 2 维,立体空间是 3 维,"所有 3 次以下多项式"是 4 维。

子空间

空间里"自带封闭性"的一块,比如过原点的一条直线、一个平面。它本身也是向量空间,维数更低。必须过原点(要含零向量)。

坐标只是"在某组基下的说法"。同一个点,换一组基,坐标数字就变了——但点没变。后面"线性变换""特征值"全在玩"换个好基让事情变简单"。

三道题,点选项即时判;答题进度显示在右侧目录。

一句话带走:

向量空间 = 对加法与数乘封闭的集合。线性组合是"各乘一个数再相加";把所有组合收集起来 = 张成 span。一组向量线性无关表示个个都贡献新方向(共线就相关、白给)。既无关又张满全空间的一组向量叫基,基的大小 = 维数——描述这个空间"刚刚好"的坐标轴数。