例 10.15

依赖于

被以下题目直接调用

例 10.15

上的非退化双线性型, 上的线性变换,求证:

(1) ,其中 是常数;

(2)

(3) 若 的自同构,则 的自同构,此时

(4)

解答

证明 (1) 对任意的 ,由对偶变换的定义可得

再由对偶变换的唯一性即得

(2) 对任意的 ,由对偶变换的定义可得

再由对偶变换的唯一性即得

(3) 若 的自同构,则 。两边同时取对偶,由 (2) 可得

的自同构,并且

(4) 对任意的 ,由对偶变换的定义可得

再由对偶变换的唯一性即得 。本题也可利用例 10.13 的结论来证明。