在向量空间的理论中,一组向量若无任何非平凡的线性组合能等于零向量,则称这组向量为「线性独立」。相反地,若存在这样的线性组合,则称这组向量为「线性依赖」。这些概念在维度的定义中占有重要地位,因为向量空间的维度可根据其最多的线性独立向量数量来判定。
一组向量若其中最少有一个向量可以表达为其他向量的线性组合,则这组向量必定是线性依赖的。
具体来说,设一系列的向量v1, v2, ..., vk 来自向量空间V,这组向量称为线性依赖。当存在不全为零的标量 a1, a2, ..., ak 使得
a1v1 + a2v2 + ... + ak vk = 0
时成立。换句话说,若有一个标量不为零,则可推导出至少一个向量可以用其他向量的线性组合表示。相对地,如果唯一的解是所有标量都为零,则这组向量便是线性独立。
在无限维的情况下,只要数个非空的有限子集都是线性独立的,则这组向量为线性独立集。
另外,对于两个向量的情况:当且仅当一个向量是另一个向量的标量倍数,这两个向量便是线性依赖的。如果两个向量独立,则它们不可能互为标量倍数。更具体地说,若一个向量是零向量,则这组向量必然是线性依赖的,因为零向量可被任何向量的线性组合形成。
零向量不能出现在任何线性独立的向量集合中。
通过几何的例子来解释:考虑向量 u 和 v,它们若为独立则定义一个平面。然而,若第三个向量 w 与 u 和 v 在同一平面内,则这三个向量便呈现出线性依赖。这意味着不需要所有三个向量来描述平面,因为只需 u 和 v 即可。若以此推论,n 维空间中的 n 个线性独立的向量能够唯一地定义空间中的一个点。
评估向量的线性独立性并不总是直观的。例如在地理定位中,若一个人询问某地的坐标,可以说 "它位于这里向北三英里,向东四英里。" 这对于位置的描述是足够的。这里的"北" 向量与"东" 向量是线性独立的,而"向北" 三英里和"向东" 四英里向量所形成的"东北" 五英里向量则是前两个向量的线性组合,这使得它是冗余的。
如何评估一组向量的独立性是一个始终充满挑战的问题。透过逐个检查线性组合及其组成,可以更明确地判断它们之间的关系。但是,是否还存在更简单或更直观的方法来理解和评估向量的线性独立性呢?