例 3.15
依赖于
- 无显式依赖
被以下题目直接调用
例 3.15
设向量组 线性无关,又
求证: 线性相关的充要条件是系数矩阵 的行列式为零。
解答
证明 记 的行向量为 。 若 ,则 的行向量线性相关,即存在不全为零的 个数 ,使得
经简单计算可得
从而 线性相关。
反之,若 可逆,如有 ,使得
将 代入,并利用 的线性无关性, 可得以 为未知数的线性方程组:
因为 可逆,所以该方程组只有零解,从而 线性无关。
例 3.15
设向量组 线性无关,又
求证: 线性相关的充要条件是系数矩阵 的行列式为零。
证明 记 的行向量为 。 若 ,则 的行向量线性相关,即存在不全为零的 个数 ,使得
经简单计算可得
从而 线性相关。
反之,若 可逆,如有 ,使得
将 代入,并利用 的线性无关性, 可得以 为未知数的线性方程组:
因为 可逆,所以该方程组只有零解,从而 线性无关。
评论
支持 Markdown 和 LaTeX 数学公式。