两个或多个函数、方程或向量,, ..., 它们不是线性相关的，即不能以形式表示
具有,,……不全为零的常数称为线性无关。
一套向量,,...,线性无关若（iff）这个矩阵等级的矩阵 是，在这种情况下是可对角化的.
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“线性独立。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/LinearlyIndependent.html
