例 4.41

依赖于

被以下题目直接调用

例 4.41

是有限维线性空间 的满线性映射,求证:必存在 的子空间 ,使得 ,且 上的限制是 上的线性同构。

解答

证法 1 的一组基 ,并将其扩张为 的一组基 。令 ,则显然 。由例 4.23 的证明可知, 的一组基,故 上的限制将 的一组基 映射为 的一组基 ,从而必为线性同构。

证法 2 中的补空间。对任意的 ,由于 是映上的,故存在 ,其中 ,使得 ,于是 上的限制也是映上的。另一方面,由维数公式可知,。再对 上的限制用线性映射的维数公式可知,它必是单映射,于是 上的限制是 上的线性同构。