上 "W(f, ..., f)" 不等于零，则 "f"、...、"f" 线性无关注意，若 "W(f, ..., f)" 在区间 ["a","b"] 上恒等于零，函数组不一定线性相关。
齐次线性微分方程.考虑 "n" 阶线性微分方程：其中formula_4是区间 ["a","b"] 上的连续函数。并考虑formula_5，即 "n" 阶齐次线性微分方程的情形：对于一组给定的初始值：方程 (1) 有唯一解formula_8。如果初始值不定的话，(2) 的任一解加上for