习题 20, § 11

设 E 为 n 维向量空间，z 为 E 上的纯 p 向量，E 的 V 向量子空间与 z 相关，$u^*$ $E^*$ 上的纯 q 向量，$E^*$ 的 W' 子空间与 $u^*$ 和 W 相关E 的子空间，维数 $n - q$，与 W' 正交。如果$q < p$，$u^* \lrcorner z$是E上的纯$(p - q)$向量，如果$\dim(V \cap W) > p - q$则为零；如果$\dim(V \cap W) = p - q$，则$V \cap W$与$u^* \lrcorner z$相关联。