MATH1205H HW20
Exercise 1 根据对偶变换的定义 $$ (T'(L))(v) = L(T(v)) $$ 带入 $ T(v)=v $,就有 $$ (T'(L))(v) = L(v) $$ 由于这对所有 $ v \in V $ 均成立,从而 $ T'(L) $ 和 $ L $ 是一个函数,因为输入输出完全相同,因此 $ T'(L)=L $,是恒等变换。 Exercise 2 先证充分性,如果 $ T=\mathbf{0} $,那么对于任意 $ v \in V $,都有 $ T(v)=\vec{0} $。根据定义 $$ (T'(L))(v) = L(T(v)) = 0 $$ 说明 $ T'(L) $ 是零泛函,从而 $ T'=\mathbf{0} $。 如果 $ T'=\mathbf{0} $,那么对于任意 $ L\in W' $,$ T'(L) $ 是 $ V $ 上的零泛函。带入定义就有 $$ L(T(v)) =(T'(L))(v) = 0 $$ 由于对所有的线性泛函均成立,那么可以证明 $ T(v)=\vec{0} $。否则将 $ T(v)=w $ 扩充为 $ W $ 的一组基,定义 $ L $ 只在 $ w $ 上为 $ 1 $,否则为 $ 0 $,这样就构造出了一个不符合的 $ L $,因此矛盾。从而 $ T(v)=\vec{0} $ 对所有 $ v $ 均成立,也就有 $ T=\mathbf{0} $。 ...