Bài tập 20, § 11

Cho E là một không gian vectơ chiều n, z là một p-vectơ thuần trên E, V là không gian con vectơ của E liên kết với z, $u^*$ là một q-vectơ thuần trên $E^*$, W' là không gian con của $E^*$ liên kết với $u^*$ và W là không gian con của E, có chiều $n - q$, trực giao với W'. Nếu $q < p$ thì $u^* \lrcorner z$ là một $(p - q)$-vectơ thuần trên E, bằng không nếu $\dim(V \cap W) > p - q$; nếu $\dim(V \cap W) = p - q$ thì $V \cap W$ liên kết với $u^* \lrcorner z$.