Skip to content

线性子空间

Linear subspace · Vector subspace

在原向量运算下封闭、因而自身构成向量空间的非空子集。

条目类型
定义

形式陈述

V 是域 F 上的向量空间。非空子集 WV 是子空间,当且仅当对任意 u,vWa,bF 都有 au+bvW。任意子空间族的交仍是子空间;集合 S 的张成是包含 S 的最小子空间。

直觉

子空间是在不改变线性规则的前提下,把注意力限制到一组可相互线性组合的方向。子空间是在原向量空间内部仍能独立进行全部线性运算的集合。要求包含零向量并对加法、标量乘法封闭,等价于对任意线性组合封闭;因此子空间不只是“形状像直线或平面”,还必须穿过原点。最小子空间由张成给出,交集保持子空间,而并集通常不保持。

例子与边界

齐次方程 Ax=0 的解集是子空间;非齐次解集若非空通常只是仿射子空间。两个子空间的并一般不是子空间,除非一个包含另一个。

{(x,y,z):x+y+z=0}R3 的子空间,因为它是线性泛函的核。平面 x+y+z=1 不含零向量,故只是仿射子空间。两条不同过原点直线的并集通常不是子空间:从两条线上各取一个向量,其和可能落在两者之外。

推论与应用

支撑核、像、商空间、直和、不变子空间和线性方程解空间。子空间可由 张成、线性方程的解集或 核与像产生。商向量空间把某个子空间方向压为零,直和与补空间则把大空间分解为若干独立部分。

参考资料
关系图谱23 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
分类位置

上位 / 更一般

下位 / 直接特例

暂未标注直接特例。