例 4.6

依赖于

被以下题目直接调用

例 4.6

是数域 上的有限维线性空间, 是两个线性映射,证明:存在 上的线性变换 ,使得 成立的充要条件是

解答

证明 先证必要性:任取 ,则 ,即有 ,从而 。再证充分性:设 。取 的一组基 ,扩张为 的一组基 。由例 4.23 的证明可知, 的一组基,将其扩张为 的一组基

定义 上的线性变换,它在基上的作用为:

由于 ,故容易验证 成立,从而