基础解系是线性代数中齐次线性方程组解空间的一组基，具有以下核心性质：

一、定义与作用

定义

基础解系是齐次线性方程组$Ax=0$的解向量组的极大线性无关组，能够线性表示出该方程组的所有解。

作用

确定解空间的维数（即基础解系中向量的个数）；

通过基础解系可构造出方程组的通解形式。

二、求解方法

矩阵化简

对系数矩阵$A$进行初等行变换，化为行最简形矩阵$R$。

确定自由变量

通过行最简形矩阵，确定自由变量的个数（$n-r$，其中$n$为未知数个数，$r$为矩阵$A$的秩）。

构造基础解系

为每个自由变量分别赋值（如$（1,0,0,dots）$），代入行最简形方程组求解，得到基础解系中的解向量。

三、性质与补充说明

非齐次方程组的解

非齐次线性方程组$Ax=b$的解由齐次方程组$Ax=0$的基础解系与一个特解组合而成，形式为：

$$x = k_1boldsymbol{xi}_1 + k_2boldsymbol{xi}_2 + boldsymbol{eta}$$

其中$boldsymbol{xi}_1, boldsymbol{xi}_2$是齐次方程的基础解系，$boldsymbol{eta}$是特解。

不唯一性

基础解系不唯一，但不同基础解系包含的向量个数相同，且线性无关。

几何意义

对于三元齐次方程组，基础解系中的解向量与系数矩阵的行向量正交，其张成的空间维度为自由变量个数。

四、示例

考虑方程组：

$$

begin{cases}

x_1 + x_2 + x_3 = 0

x_1 + 2x_2 + x_3 = 3

5x_1 + 8x_2 + 5x_3 = 13

2x_1 + 5x_2 + 2x_3 = 7

end{cases}

$$

增广矩阵秩为2，自由变量为$x_3, x_4$。取$（x_3,x_4）=（1,0）$和$（0,1）$代入，得到基础解系：

$$

boldsymbol{xi}_1 = (-1,0,1,0)^T, quad boldsymbol{xi}_2 = (-12,5,0,1)^T

$$

通解形式为：

$$

x = k_1(-1,0,1,0)^T + k_2(-12,5,0,1)^T + (1,1,0,0)^T

$$

其中$（1,1,0,0）^T$为特解。

基础解系是理解齐次线性方程组结构的关键工具，其概念贯穿线性代数的多个领域，如微分方程、矩阵分析等。