【基础解系怎么求】在线性代数中，求解齐次线性方程组的基础解系是一个重要的内容。基础解系是该方程组所有解的集合中的一个极大线性无关组，它能够表示出整个解空间的所有解。掌握基础解系的求法，有助于理解线性方程组的结构和性质。
一、基础解系的定义
对于一个齐次线性方程组：
$$
A\mathbf{x} = \mathbf{0}
$$
其中 $ A $ 是一个 $ m \times n $ 矩阵，$ \mathbf{x} $ 是一个 $ n $ 维列向量，$ \mathbf{0} $ 是零向量。
如果存在一组向量 $ \{\mathbf{v}_1, \mathbf{v}_2, \dots, \mathbf{v}_r\} $，使得这些向量满足以下条件：
1. 它们都是原方程组的解；
2. 它们线性无关；
3. 每个解都可以由这组向量线性表示；
那么这组向量就称为该方程组的一个基础解系。
二、基础解系的求法步骤
以下是求解基础解系的一般步骤，适用于一般的齐次线性方程组：
| 步骤 | 内容 |
| 1. 写出系数矩阵 | 将齐次方程组写成矩阵形式 $ A\mathbf{x} = \mathbf{0} $，并写出其系数矩阵 $ A $。 |
| 2. 对矩阵进行行变换 | 使用初等行变换将矩阵化为行简化阶梯形（RREF），找出主变量和自由变量。 |
| 3. 确定自由变量 | 自由变量是指没有被主元控制的变量，通常对应于非主元列的变量。 |
| 4. 设定自由变量值 | 通常将自由变量设为 1 或 0，构造基础解系的各个解向量。 |
| 5. 构造基础解系 | 根据设定的自由变量，求出对应的解向量，构成基础解系。 |
三、示例说明
假设我们有如下齐次方程组：
$$
\begin{cases}
x_1 + x_2 - x_3 = 0 \\
2x_1 + 2x_2 - 2x_3 = 0 \\
x_1 + x_2 - x_3 = 0
\end{cases}
$$
将其写成矩阵形式：
$$
A = \begin{bmatrix}
1 & 1 & -1 \\
2 & 2 & -2 \\
1 & 1 & -1
\end{bmatrix}, \quad
\mathbf{x} = \begin{bmatrix}
x_1 \\ x_2 \\ x_3
\end{bmatrix}
$$
对该矩阵进行行变换，得到行简化阶梯形：
$$
\text{RREF}(A) = \begin{bmatrix}
1 & 1 & -1 \\
0 & 0 & 0 \\
0 & 0 & 0
\end{bmatrix}
$$
可以看出，主变量是 $ x_1 $，而 $ x_2 $ 和 $ x_3 $ 是自由变量。
令 $ x_2 = s $，$ x_3 = t $，则从第一个方程可得：
$$
x_1 = -x_2 + x_3 = -s + t
$$
所以通解为：
$$
\mathbf{x} = \begin{bmatrix}
-s + t \\
s \\
t
\end{bmatrix}
= s \begin{bmatrix}
-1 \\ 1 \\ 0
\end{bmatrix}
+ t \begin{bmatrix}
1 \\ 0 \\ 1
\end{bmatrix}
$$
因此，该方程组的基础解系为：
$$
\left\{
\begin{bmatrix}
-1 \\ 1 \\ 0
\end{bmatrix},
\begin{bmatrix}
1 \\ 0 \\ 1
\end{bmatrix}
\right\}
$$
四、总结
| 项目 | 内容 |
| 基础解系定义 | 方程组所有解的极大线性无关组 |
| 求解步骤 | 矩阵化简 → 找主变量与自由变量 → 构造解向量 |
| 关键点 | 自由变量的设定与解向量的构造 |
| 应用 | 表示方程组所有解，用于研究解的结构 |
通过上述方法，可以系统地求解任意齐次线性方程组的基础解系。理解这一过程不仅有助于解决实际问题，也加深了对线性代数理论的理解。
