引入 设V1,2为线性空间V的两个子空间,由维数公式 dimv+dimV2=dim(V,+V2)+dim(Vnv2) 有两种情形: 1)dim(1+v2)<dimvitdimv2 此时dim(1∩v2)>0, 即,V∩V2必含非零向量2 引入 有两种情形： 设 V V1 2 , 为线性空间V的两个子空间，由维数公式 dim dim dim( ) dim( ) V V V V V V 1 2 1 2 1 2 + = + + 1 2 1 2 1) dim( ) dim dim V V V V +  + 此时 dim( ) 0, V V 1 2  即， 必含非零向量. V V 1 2