基础解系线性无关是定义要求，也是为了使得基础解系不至于重复，倘若基础解系线性相关，则会使得通解无法得到有效表。，通过线性无关的基础解系可以得到所有最简形式通解~