问题 2019A03

依赖于

被以下题目直接调用

问题 2019A03

有限集合 到自身上的一个双射称为 上的一个置换。集合 的全体置换构成的集合记为 。对任一 的一个全排列;反之,对 的任一全排列 ,定义 ,则 的一个置换。因此,可以把 的置换和全排列等同起来。

的乘积 定义为映射的复合:。设 为恒等映射,即 。因为 是双射,故其逆映射 也是双射,并且满足

维标准单位列向量,,定义矩阵

称为相伴于置换 阶置换矩阵。置换矩阵的等价定义是: 阶方阵 的每行和每列只有一个元素非零,并且那些非零元素都等于 。设 阶方阵,,证明以下结论:

(1) 第一类初等矩阵 、基础循环矩阵 例 2.1)和反单位阵都是置换矩阵。

(2) ,其中 作为全排列的逆序数。

(3)

(4) 的列向量是 的列向量的一个置换,即 的第 列是 的第 列; 的行向量是 的行向量的一个置换,即 的第 行是 的第 行。

解答

(1) 显然成立。

(2) 由行列式的组合定义即得。

(3) 由置换矩阵的定义可知 的第 列是 ,即

于是

因此 ,从而 是显然的。在上式中令 可得 ,于是 。由 可得 ,于是

(4) 设

的列分块,即 。于是

的第 列是 的第 列,因此 的列向量是 的列向量的一个置换。注意到 ,故行向量置换的结论可由列向量置换的结论得到。