刘维尔定理
在线性微分动力系统理论中，朗斯基行列式用来判别若干个解的线性相关性。如果"n"个解"f1"、...、"fn"线性无关，那么它们的朗斯基行列式将总不为零。根据刘维尔定理，"n"维空间上的线性微分方程：