跳转到内容

线性代数/行列式存在/解

来自维基教科书,自由的教科书,面向自由的世界

这些总结了本书中使用的-和-排列的符号。

问题 1

给出一般矩阵及其转置的排列展开式。

答案

这是矩阵行列式的排列展开式

以及其转置的行列式的排列展开式。

与小节中描述的展开式一样,对应项的排列矩阵是转置的(尽管这一点被每个矩阵都是自身转置的事实所掩盖)。

建议所有读者做这道练习。
问题 2

这个问题也出现在前面的小节中。

  1. 找到每个-排列的逆。
  2. 找到每个-排列的逆。
答案

这些都很容易检查。

  1. 排列            
               
  2. 排列                                    
                                       
建议所有读者做这道练习。
问题 3
  1. 找到每个-排列的符号。
  2. 找到每个-排列的符号。
答案
  1. ,
  2. , , , , ,
问题 4

n-排列的符号是什么?(Strang 1980)

答案

模式是这样的。

因此,为了找到 的符号,我们将 减 1,然后查看其除以 4 的余数。如果余数是 ,则符号是 ,否则符号是 。对于 ,数字 可以被 4 整除,所以 除以 4 的余数是 (更确切地说,余数为 ),因此符号为 的符号是 的符号是 ,而 的符号是

问题 5

证明以下几点。

  1. 每个排列都有一个逆排列。
  2. 每个排列都是另一个排列的逆排列。
答案
  1. 排列可以看作是一一映射和满射映射 。任何一一映射和满射映射都有一个逆映射。
  2. 如果从 到单位排列总是需要奇数次交换,那么从单位排列到 也总是需要奇数次交换(任何交换都是可逆的)。
  3. 这是第一个问题。
问题 6

证明置换逆矩阵是置换矩阵的转置,对于任何置换

答案

如果 那么。该结果现在遵循以下观察结果: 在条目 中有 当且仅当,并且 在条目 中有 当且仅当

建议所有读者做这道练习。
问题 7

证明具有 个逆序的置换矩阵可以通过 步行交换行变为单位矩阵。将此与 推论 4.6 进行对比。

答案

这并不意味着 是生成单位矩阵所需的最少交换次数,也不意味着 是最多次数。相反,它表明存在一种方法,可以通过恰好 步交换行。

是第一行,相对于之前的一行发生逆序,设 是给出该逆序的第一行。我们有此行区间。

交换。

第二个矩阵比第一个矩阵少一个逆序对,因为区间 ( vs. ) 中的逆序对少了一个,而涉及区间之外行的逆序对不受影响。

以这种方式继续,在每一步中,每次行交换都减少一个逆序对。当没有剩余的逆序对时,结果就是单位矩阵。

推论 4.6 的对比在于,本练习的陈述是一个“存在”语句:存在一种方法可以在恰好 步中交换到单位矩阵。但是,该推论是一个“对所有”语句:对于所有交换到单位矩阵的方式,奇偶性(偶数或奇数)是相同的。

建议所有读者做这道练习。
问题 8

对于任何排列 ,令 是以这种方式定义的整数。

(这是所有指标 的给定形式的项的乘积。)

  1. 计算所有 -排列上的 的值。
  2. 计算所有 -排列上的 的值。
  3. 证明这一点。

许多作者将此公式作为符号函数的定义。

答案
  1. 首先, 是单个因子 的乘积,因此 。其次, 是单个因子 的乘积,因此
  2. 请注意, 为负当且仅当 处于它们通常顺序的反转中。

参考资料

[edit | edit source]
  • Strang, Gilbert (1980), Linear Algebra and its Applications (2nd ed.), Hartcourt Brace Javanovich
华夏公益教科书