例 9.102

依赖于

被以下题目直接调用

例 9.102

映射 定义为

映射 定义为

求证:,即 实现了集合 之间的一一对应。

解答

证明例 9.101 可知斜 Hermite 矩阵 的特征值都是零或纯虚数,于是 是可逆矩阵。 再由矩阵运算不难验证 ,因此 的定义是有意义的。 同理由矩阵运算不难验证 ,因此 的定义也是有意义的。 都可以通过矩阵运算得到验证,具体的细节留给读者完成。