区间 ["a","b"] 上恒等于零，函数组不一定线性相关。
齐次线性微分方程.考虑 "n" 阶线性微分方程：其中formula_4是区间 ["a","b"] 上的连续函数。并考虑formula_5，即 "n" 阶齐次线性微分方程的情形：对于一组给定的初始值：方程 (1) 有唯一解formula_8。如果初始值不定的话，(2) 的任一解加上formula_8仍然是 (1) 的解。而对于 (2) ，任意"k"个 (2) 的解的和仍然是 (2) 的解，因此 (2) 的解集构