线性代数/行列式存在/解
这些总结了本书中使用的-和-排列的符号。
- 问题 1
给出一般矩阵及其转置的排列展开式。
- 答案
这是矩阵行列式的排列展开式
以及其转置的行列式的排列展开式。
与小节中描述的展开式一样,对应项的排列矩阵是转置的(尽管这一点被每个矩阵都是自身转置的事实所掩盖)。
- 建议所有读者做这道练习。
- 问题 2
这个问题也出现在前面的小节中。
- 找到每个-排列的逆。
- 找到每个-排列的逆。
- 答案
这些都很容易检查。
-
排列 逆 -
排列 逆
- 建议所有读者做这道练习。
- 问题 3
- 找到每个-排列的符号。
- 找到每个-排列的符号。
- 答案
- ,
- , , , , ,
- 问题 4
n-排列的符号是什么?(Strang 1980)
- 答案
模式是这样的。
因此,为了找到 的符号,我们将 减 1,然后查看其除以 4 的余数。如果余数是 或 ,则符号是 ,否则符号是 。对于 ,数字 可以被 4 整除,所以 除以 4 的余数是 (更确切地说,余数为 ),因此符号为 。 的符号是 , 的符号是 ,而 的符号是 。
- 问题 5
证明以下几点。
- 每个排列都有一个逆排列。
- 每个排列都是另一个排列的逆排列。
- 答案
- 排列可以看作是一一映射和满射映射 。任何一一映射和满射映射都有一个逆映射。
- 如果从 到单位排列总是需要奇数次交换,那么从单位排列到 也总是需要奇数次交换(任何交换都是可逆的)。
- 这是第一个问题。
- 问题 6
证明置换逆矩阵是置换矩阵的转置,对于任何置换。
- 答案
如果 那么。该结果现在遵循以下观察结果: 在条目 中有 当且仅当,并且 在条目 中有 当且仅当,
- 建议所有读者做这道练习。
- 问题 7
证明具有 个逆序的置换矩阵可以通过 步行交换行变为单位矩阵。将此与 推论 4.6 进行对比。
- 答案
这并不意味着 是生成单位矩阵所需的最少交换次数,也不意味着 是最多次数。相反,它表明存在一种方法,可以通过恰好 步交换行。
设 是第一行,相对于之前的一行发生逆序,设 是给出该逆序的第一行。我们有此行区间。
交换。
第二个矩阵比第一个矩阵少一个逆序对,因为区间 ( vs. ) 中的逆序对少了一个,而涉及区间之外行的逆序对不受影响。
以这种方式继续,在每一步中,每次行交换都减少一个逆序对。当没有剩余的逆序对时,结果就是单位矩阵。
与 推论 4.6 的对比在于,本练习的陈述是一个“存在”语句:存在一种方法可以在恰好 步中交换到单位矩阵。但是,该推论是一个“对所有”语句:对于所有交换到单位矩阵的方式,奇偶性(偶数或奇数)是相同的。
- 建议所有读者做这道练习。
- 问题 8
对于任何排列 ,令 是以这种方式定义的整数。
(这是所有指标 和 且 的给定形式的项的乘积。)
- 计算所有 -排列上的 的值。
- 计算所有 -排列上的 的值。
- 证明这一点。
许多作者将此公式作为符号函数的定义。
- 答案
- 首先, 是单个因子 的乘积,因此 。其次, 是单个因子 的乘积,因此 。
- 请注意, 为负当且仅当 和 处于它们通常顺序的反转中。
参考资料
[edit | edit source]- Strang, Gilbert (1980), Linear Algebra and its Applications (2nd ed.), Hartcourt Brace Javanovich