如果一组向量
中的任何向量 v 都可以通过该组中其他向量的线性组合来构造,则称这些向量彼此线性相关。给定以下线性方程

向量集 V 线性无关,当且仅当所有 a 系数都为零。如果我们将 v 向量组合成一个单行向量
![{\displaystyle {\hat {V}}=[v_{1}v_{2}\cdots v_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd34b1e316acad95c054d2ab6ca7961efe0689ff)
并将所有 a 系数组合成一个单列向量
![{\displaystyle {\hat {a}}=[a_{1}a_{2}\cdots a_{n}]^{T}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/917010b08f21b36059c1d6ecedb1dd8b950080c3)
我们有以下线性方程

我们可以证明,这个方程只有在
时才成立,矩阵
必须可逆


请记住,要使矩阵可逆,行列式必须非零。
如果矩阵
不是方阵,则无法求行列式,因此矩阵不可逆。为了解决这个问题,我们可以用转置矩阵预乘

然后,方阵
必须是可逆的。


矩阵的秩是矩阵中线性无关的行或列的最大数量。
为了确定秩,通常将矩阵简化为行阶梯形。从简化的形式中,非零行的数量或非零列的数量(以较小的为准)是矩阵的秩。
如果我们将两个矩阵 A 和 B 相乘,结果为 C

那么 C 的秩是 A 和 B 的秩的最小值。
![{\displaystyle \operatorname {Rank} (C)=\operatorname {min} [\operatorname {Rank} (A),\operatorname {Rank} (B)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5947d2b53c377bc9733210e4f27a7c1d433dca67)
一组向量 V 的张成 是通过向量线性组合可以创建的所有向量的集合。
基是一组线性无关的向量,它们张成整个向量空间。
如果我们有一个向量
,而 V 有基向量
,根据定义,我们可以将 y 写成基向量线性组合的形式。

或

如果
是可逆的,答案很明显,但如果
不可逆,那么我们可以执行以下技巧。


我们把
称为
的 **左伪逆**。
通常,将基向量变换为另一组跨越相同集合但具有不同属性的向量是有用的。如果我们有一个空间 V,其基向量为
,V 中的一个向量称为 x,我们可以使用新的基向量
来表示 x

或者,

如果 V 可逆,则此问题的解决方案很简单。
如果我们有一组非正交的基向量,我们可以使用一个称为 **正交化** 的过程来为相同空间生成一组新的正交基向量。
- 给出:

- 找到新的基

- 使得

我们可以定义这些向量如下


注意,这种技术生成的向量彼此正交,但它们不一定是标准正交的。为了使 w 向量成为标准正交的,您必须将每个向量除以它的范数。

互逆基底是一种特殊的基底,它与原始基底相关。互逆基底
可以定义为
![{\displaystyle {\hat {W}}=[{\hat {V}}^{T}]^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67ad2fd0e0ab3a878c4df68ff8e1d7817f8b0656)