线性组合

线性组合（英语：Linear combination）是线性代数中具有如下形式的表达式。其中${\displaystyle v_{i}}$为任意类型的项，${\displaystyle a_{i}}$为标量。这些纯量称为线性组合的系数或权。

${\displaystyle w=a_{1}v_{1}+a_{2}v_{2}+a_{3}v_{3}+\cdots +a_{n}v_{n}}$

线性代数
${\displaystyle \mathbf {A} ={\begin{bmatrix}1&2\\3&4\end{bmatrix}}}$
向量 · 向量空间 · 基底  · 行列式  · 矩阵
向量 标量 · 向量 · 向量空间 · 向量投影 · 外积（向量积 · 七维向量积） · 内积（数量积） · 二重向量 矩阵与行列式 矩阵 · 行列式 · 线性方程组 · 秩 · 核 · 迹 · 单位矩阵 · 初等矩阵 · 方块矩阵 · 分块矩阵 · 三角矩阵 · 非奇异方阵 · 转置矩阵 · 逆矩阵 · 对角矩阵 · 可对角化矩阵 · 对称矩阵 · 反对称矩阵 · 正交矩阵 · 幺正矩阵 · 埃尔米特矩阵 · 反埃尔米特矩阵 · 正规矩阵 · 伴随矩阵 · 余因子矩阵 · 共轭转置 · 正定矩阵 · 幂零矩阵 · 矩阵分解 （LU分解 · 奇异值分解 · QR分解 · 极分解 · 特征分解） · 子式和余子式 · 拉普拉斯展开 · 克罗内克积 线性空间与线性变换 线性空间 · 线性变换 · 线性子空间 · 线性生成空间 · 基 · 线性映射 · 线性投影 · 线性无关 · 线性组合 · 线性泛函 · 行空间与列空间 · 对偶空间 · 正交 · 特征向量 · 最小二乘法 · 格拉姆-施密特正交化
查 论 编

定义

${\displaystyle S}$为一向量空间${\displaystyle V}$（附于体${\displaystyle F}$）的子集合。

如果存在有限多个向量属于${\displaystyle S}$，和对应的纯量${\displaystyle a_{1},a_{2},\cdots ,a_{k}}$属于${\displaystyle F}$，使得${\displaystyle v=a_{1}v_{1}+a_{2}v_{2}+a_{3}v_{3}+\cdots +a_{n}v_{n}}$，则称${\displaystyle v}$是${\displaystyle S}$的线性组合。

规定：${\displaystyle 0}$向量是空集合的线性组合。

线性生成

主条目：线性生成空间

S 为域 F 上向量空间 V 的子集合。

所有 S 的有限线性组合构成的集合，称为 S 所生成的空间，记作 span(S)。

任何 S 所生成的空间必有以下的性质：

1. 是一个 V 的子空间（所以包含0向量）

2. 几何上是直的，没有弯曲（即，任两个 span(S) 上的点连线延伸，所经过的点必也在 span(S) 上）

线性无关

主条目：线性无关

对于一个向量集 S =｛v₁,...,v_n｝, 若向量空间中的单个向量可以写作两个不同的线性组合，

${\displaystyle v=\sum a_{i}v_{i}=\sum b_{i}v_{i}{\text{ where }}(a_{i})\neq (b_{i}).}$

另一种表述方式是，如果将它们相减 (${\displaystyle c_{i}:=a_{i}-b_{i}}$) ，得到一个纯量不全等于零的线性组合，而它的值为零：

${\displaystyle 0=\sum c_{i}v_{i}.}$

那么v₁,...,v_n 称为“线性相关”；否则它们为线性无关。

若S是线性无关，而S的生成空间等于V，那么S是V的基。

仿射组合，锥组合及凸组合

仿射组合（英语：Affine combination），锥组合（英语：Conical combination）和凸组合对线性组合的系数有一定的限制。

组合的种类	系数的限制	集合名	样板空间
线性组合	无限制	向量子空间	${\displaystyle \mathbf {R} ^{n}}$
仿射组合（英语：Affine combination）	${\displaystyle \sum a_{i}=1}$	仿射子空间	仿射超平面
锥组合（英语：Conical combination）	${\displaystyle a_{i}\geq 0}$	凸锥	象限或八分圆（英语：Octagon (Plane geometry)）
凸组合	${\displaystyle a_{i}\geq 0}$ and ${\displaystyle \sum a_{i}=1}$	凸集	单纯形

因为这些组合的限制更加严格，所以在这些运算之下的闭合子集也更多。因此，仿射子集，凸锥，和凸集都是向量子空间的一般化形式。所有向量子空间都是仿射子空间，凸锥，也是凸集，但凸集不一定是向量子空间，仿射子空间，或凸锥。

这些概念的产生是由于对于一些特定的数学对象，人们可以采用某些线性组合，但并非任何线性组合：例如，概率分布在凸组合下是闭合的，并且它们形成一个凸集；但在锥组合，仿射组合，或线性组合下不是闭合的。正测度在锥组合下是闭合的，但在仿射或线性组合下不是。因此，我们将带正负符号的测度（英语：signed measure）定义为它的线性闭包。

线性和仿射组合可以在任何域或环上定义，但锥组合和凸组合需要“正数”的概念，因此只能在有序域或有序环（英语：ordered ring）上定义，最常见的例子是实数。

如果仅允许乘以标量而不允许相加，则我们得到一个（不一定是凸的）圆锥；通常来说，定义中只允许乘以正标量。

所有这些概念通常都定义为环境向量空间的子集，而不是独立地由公理定义。仿射空间除外，因为仿射空间也可以看作“没有原点的向量空间”。

另见

• 凸组合
• 仿射组合（英语：affine combination）：系数之和为1的线性组合