本文讨论齐次线性微分方程组
的解的结构. 假设 是区间 上的 阶连续矩阵函数. 一个最基本的结果是：
如果 和 是齐次线性微分方程组（3.9）的两个解，则
也是（3.9）的解，其中 是任意常数. 并且齐次线性微分方程组（3.9）解的全体 为了一个 维线性空间.
为了证明这个定理，我们需要引入若干个向量函数线性无关的概念. 给定定义在区间 上的 个向量函数 ，如果存在 个不全为零的常数 ，使得
则称 在区间 上 线性相关 ；否则就称这些向量函数在区间 上.
定理的前一半根据求导公式容易得到. 我们只需证明（3.9）的解的全体 为一个 维线性空间.
我们先证明方程组（3.9）在区间 上一定存在 个线性无关的解 . 在 维向量空间 或 上任意选择 个线性无关的向量 . 根据定理 3.1 ，对任意的 及区间 上的任意实数 ，方程组（3.9）在 的区间 上存在唯一满足初值条件 的解 . 若有常数 ，满足
则必有
.
由于向量 是线性无关的，因此 必全为零，这表明方程组的（3.9）的解 是线性无关的.
其次我们证明，方程组（3.9）的任一解 都可表示为上述 个线性无关解的线性组合
其中 为常数. 一方面，由于向量组 线性无关，他们构成了 维向量空间 或 的一组基，故存在常数 ，使得
另外由本定理的第一部分知，
也是方程组（3.9）的满足处置条件 的解. 因此由解的存在唯一性定理（即定理3.1）知（3.11）成立.
上面的证明告诉我们，在固定 的情形下， 维向量空间 或 上任意一个常向量 都唯一地对应于齐次方程组（3.9）的一个解 . 映射 事实上给出了由函数组成的空间 与线性空间 或 之间的同构关系.
齐次方程组（3.9）的 个线性无关的解合起来称为该方程组的一个 基本解组 . 显然基本解组不是唯一的，如果齐次方程组（3.9）有基本解组 ，则 齐次方程组 （3.9）的通解必可表示维（3.11）的形式. 因此，且方程组（3.9）的通解的问题可归结为求他的 个线性无关的特解的问题.
假设已知
是方程组（3.9）的 个解，我们怎样判定它们是否线性无关呢？
由方程组（3.9）的 个解 构成的矩阵
称为方程组（3.9）的一个 解矩阵 . 其行列式 称为这个解的 Wronski 行列式 .
由线性代数的知识易知：若定义在区间 上的 个向量函数 线性相关，则在区间 上其 Wronski 行列式 . 下免的定理给出了一个判定方程组（39）的某个解组是否线性无关的简洁的方法：
方程组（3.9）的解组 线性无关的充要条件是它们的 Wronski 行列式 在某点 处取值不为零. 并且 满足 Liouville 公式
其中 是矩阵 的迹，即
根据行列式的定义以级函数和、积的求导公式，容易证明
由于 是方程组（3.9）的解，故
同理可得（3.14）右端的第 个行列式的值等于 ，其中 . 从而，
这是关于 的一阶线性方程，其解为
因此 Liouville 公式成立. 按照这个公式，我们容易知道 恒为 0（无零点）当且仅当 在某点 等于 0（不等于 0 ）. 定理证毕.
定理 3.3 的第一部分还可以利用解的唯一性（定理 3.1 ）来给出证明.
由定理 3.3，只需在区间 上的任一点 处计算出给定解组的 Wronski 行列式 ，就可根据 是否为零来判断其是否线性无关.
值得注意的是，上述函数矩阵的行列式或恒为零或恒不为零的结果只适用于由齐次线性微分方程给出的解矩阵. 一般的函数矩阵没有这样的性质，更不能用它来判断向量函数组是否线性无关. 例如，下列两个向量函数：
的 Wronski 行列式恒等于零，但它们却是线性无关的.
当解组 是一个基本解组时，我们称解矩阵
为方程组（3.9）的一个 基(本)解矩阵 . 特别地，如果在某点 处 （即单位矩阵），则称 为 标准解矩阵 .
根据前面的定理，设 为方程组（3.9）的一个基解矩阵，则方程组（3.9）的任一解 都可以表示为
其中 是某常量. 反之，对于任意常向量 ，向量函数 都是方程组（3.9）的解. 如果考虑初值函数 的解为
其中 是一个标准解矩阵.