例 4.41
依赖于
被以下题目直接调用
- 无
例 4.41
设 是有限维线性空间 到 的满线性映射,求证:必存在 的子空间 ,使得 ,且 在 上的限制是 到 上的线性同构。
解答
证法 1 取 的一组基 ,并将其扩张为 的一组基 。令 ,则显然 。由例 4.23 的证明可知, 是 的一组基,故 在 上的限制将 的一组基 映射为 的一组基 ,从而必为线性同构。
证法 2 取 为 在 中的补空间。对任意的 ,由于 是映上的,故存在 ,其中 ,使得 ,于是 在 上的限制也是映上的。另一方面,由维数公式可知,。再对 在 上的限制用线性映射的维数公式可知,它必是单映射,于是 在 上的限制是 到 上的线性同构。
评论
支持 Markdown 和 LaTeX 数学公式。