问题 2019A03
依赖于
被以下题目直接调用
问题 2019A03
有限集合 到自身上的一个双射称为 上的一个置换。集合 的全体置换构成的集合记为 。对任一 , 是 的一个全排列;反之,对 的任一全排列 ,定义 ,则 是 的一个置换。因此,可以把 的置换和全排列等同起来。
设 , 与 的乘积 定义为映射的复合:。设 为恒等映射,即 。因为 是双射,故其逆映射 也是双射,并且满足 。
设 是 维标准单位列向量,,定义矩阵
称为相伴于置换 的 阶置换矩阵。置换矩阵的等价定义是: 阶方阵 的每行和每列只有一个元素非零,并且那些非零元素都等于 。设 为 阶方阵,,证明以下结论:
(1) 第一类初等矩阵 、基础循环矩阵 (例 2.1)和反单位阵都是置换矩阵。
(2) ,其中 是 作为全排列的逆序数。
(3) 。
(4) 的列向量是 的列向量的一个置换,即 的第 列是 的第 列; 的行向量是 的行向量的一个置换,即 的第 行是 的第 行。
解答
(1) 显然成立。
(2) 由行列式的组合定义即得。
(3) 由置换矩阵的定义可知 的第 列是 ,即
于是
因此 ,从而 。 是显然的。在上式中令 可得 ,于是 。由 可得 ,于是 。
(4) 设
为 的列分块,即 。于是
即 的第 列是 的第 列,因此 的列向量是 的列向量的一个置换。注意到 ,故行向量置换的结论可由列向量置换的结论得到。
评论
支持 Markdown 和 LaTeX 数学公式。