【四元齐次方程组的基础解系】在高等代数中，四元齐次方程组是指含有四个未知数的线性齐次方程组。这类方程组的一般形式为：
$$
\begin{cases}
a_{11}x_1 + a_{12}x_2 + a_{13}x_3 + a_{14}x_4 = 0 \\
a_{21}x_1 + a_{22}x_2 + a_{23}x_3 + a_{24}x_4 = 0 \\
\vdots \\
a_{m1}x_1 + a_{m2}x_2 + a_{m3}x_3 + a_{m4}x_4 = 0
\end{cases}
$$
其中 $ x_1, x_2, x_3, x_4 $ 是未知数，$ a_{ij} $ 是系数，且所有方程右边均为零。
对于这样的方程组，我们关心的是它的解的结构，特别是基础解系。基础解系是该方程组所有解的极大线性无关组，它能够表示出整个解空间的所有解。
一、基础解系的概念
四元齐次方程组的解集构成一个向量空间，其维数等于未知数个数减去矩阵的秩（即 $ n - r $），其中 $ n=4 $ 是未知数个数，$ r $ 是系数矩阵的秩。
若该方程组有非零解，则其解集是一个由若干个线性无关的解向量组成的集合，这些向量构成基础解系。
二、求解步骤简述
1. 写出系数矩阵：将方程组写成矩阵形式 $ A\mathbf{x} = \mathbf{0} $。
2. 行变换化为行阶梯形：通过初等行变换将矩阵化为最简形式。
3. 确定自由变量：根据主元位置，确定哪些变量是自由变量。
4. 用自由变量表示其他变量：将每个自由变量设为参数，表达其余变量。
5. 构造基础解系：每个自由变量对应一个解向量，组成基础解系。
三、示例分析
假设有一个四元齐次方程组如下：
$$
\begin{cases}
x_1 + x_2 + x_3 + x_4 = 0 \\
2x_1 + 2x_2 + 2x_3 + 2x_4 = 0 \\
x_1 - x_2 + x_3 - x_4 = 0
\end{cases}
$$
对应的系数矩阵为：
$$
A =
\begin{bmatrix}
1 & 1 & 1 & 1 \\
2 & 2 & 2 & 2 \\
1 & -1 & 1 & -1
\end{bmatrix}
$$
通过行变换，可以将其化为：
$$
\begin{bmatrix}
1 & 1 & 1 & 1 \\
0 & 0 & 0 & 0 \\
0 & -2 & 0 & -2
\end{bmatrix}
$$
进一步化简得：
$$
\begin{bmatrix}
1 & 1 & 1 & 1 \\
0 & 1 & 0 & 1 \\
0 & 0 & 0 & 0
\end{bmatrix}
$$
由此可知，矩阵的秩为 2，因此解空间的维数为 $ 4 - 2 = 2 $，即基础解系包含两个线性无关的解向量。
四、基础解系的表示
根据上述化简后的矩阵，我们可以设定自由变量为 $ x_3 $ 和 $ x_4 $，并分别令它们取值为 1 和 0，再进行求解。
- 当 $ x_3 = 1, x_4 = 0 $ 时，得到一个解向量：$ (0, -1, 1, 0) $
- 当 $ x_3 = 0, x_4 = 1 $ 时，得到另一个解向量：$ (-2, -1, 0, 1) $
因此，该方程组的基础解系为：
$$
\left\{
\begin{bmatrix}
0 \\ -1 \\ 1 \\ 0
\end{bmatrix},
\begin{bmatrix}
-2 \\ -1 \\ 0 \\ 1
\end{bmatrix}
\right\}
$$
五、总结与表格展示
| 步骤 | 内容 |
| 1. 方程形式 | 四元齐次方程组，形式为 $ A\mathbf{x} = \mathbf{0} $ |
| 2. 矩阵形式 | 系数矩阵 $ A $ 为 3×4 矩阵 |
| 3. 矩阵秩 | 通过行变换得出秩为 2 |
| 4. 解空间维数 | 4 - 2 = 2 |
| 5. 基础解系 | 由两个线性无关的解向量构成 |
| 6. 示例基础解系 | $ \begin{bmatrix}0 \\ -1 \\ 1 \\ 0\end{bmatrix}, \begin{bmatrix}-2 \\ -1 \\ 0 \\ 1\end{bmatrix} $ |
通过以上分析可以看出，四元齐次方程组的基础解系是理解其解结构的关键。掌握基础解系的求法，有助于进一步研究线性方程组的解空间和相关性质。
