定义线性空间\(V_i\)的基底为\(B_i\)，现在我们希望求出\(V_1\capV_2\)的基底\(W\)。引理：令\(T=V_1\capB_2\)，若\(B_1\cup(B_2/T)\)线性无关，则\(T\)是所求的\(W\)之一。证明：考虑反面证明，若\(T\)非法则线性有关，设\(v\inV_1\capV_2\)且不能被\(T\)表出。那