空间：对定义于其上的运算封闭。
某类数学问题->解是否具备线性性质->若具备，解空间形成一个线性空间->find basis && 定义解结构的正交性 && determine the dimension->span the basis to get complete solutions->问题解决。
两类典型的线性空间：线性方程组引出的向量空间，线性微分方程引出的函数空间。
