1、空间分解

• 数域：对四则运算封闭
• 满足：

                 α+β=β+α

                 (α+β)+v=α+(β+v)

                在V中有一个元0，对于V中任一元α，有α+0=α

                对于V中每一个元α，都有V中的元β，使α+β=0

                1α=α

                k(lα)=(kl)α

                (k+l)α=kα+lα

                k(α+β)=kα+kβ       

则称V为数域P上的线性空间（其中k、l∈P，α、β∈V）

• 维数定理：dim(V1)+dim(V2)=dim(V1+V2)+dim(V1∩V2)         dim：维数

设V1、V2是线性空间V的子空间，则

        V1+V2是直和

⇔    由0=α1+α2（αi∈Vi），必有α1=0，α2=0

⇔    V1∩V2={0}

⇔    dim(V1⊕V2)=dim(V1)+dim(V2)

设V1、V2、……、Vs是V的子空间，可类比得上述相互等价命题