贡献者: ACertainUser; addis
根据分块矩阵,$k_1 \boldsymbol{\mathbf{\alpha}} _1+k_2 \boldsymbol{\mathbf{\alpha}} _2+k_3 \boldsymbol{\mathbf{\alpha}} _3+...=0$ 可记为 $$ \begin{pmatrix} \boldsymbol{\mathbf{\alpha}} _1& \boldsymbol{\mathbf{\alpha}} _2& \boldsymbol{\mathbf{\alpha}} _3&... \end{pmatrix} \begin{pmatrix} k_{1}\\ k_{2}\\ k_{3}\\ ...\\ \end{pmatrix} = 0 \Leftrightarrow \boldsymbol{\mathbf{A}} \boldsymbol{\mathbf{k}} = 0~. $$ 这将线性相关问题化为线性方程组问题:若 $ \boldsymbol{\mathbf{A}} \boldsymbol{\mathbf{k}} = 0$ 有非零解,则线性相关,否则线性无关。
同理, $$ \begin{pmatrix} \boldsymbol{\mathbf{\alpha}} _1& \boldsymbol{\mathbf{\alpha}} _2& \boldsymbol{\mathbf{\alpha}} _3&... \end{pmatrix} \begin{pmatrix} k_{1}\\ k_{2}\\ k_{3}\\ ...\\ \end{pmatrix} = \boldsymbol{\mathbf{b}} \Leftrightarrow \boldsymbol{\mathbf{A}} \boldsymbol{\mathbf{k}} = \boldsymbol{\mathbf{b}} ~. $$ 这将线性组合问题化为线性方程组问题:若 $ \boldsymbol{\mathbf{A}} \boldsymbol{\mathbf{k}} = \boldsymbol{\mathbf{b}} $ 有解,则 $\beta$ 是 $\alpha_1, \alpha_2,\alpha_3,...$ 的线性组合。