置换
置換
定義 集合 X 的置換是 X 到其自身的雙射。
n個元素的集合X恰有 n! 個置換。
置換也可看成集合 X 中元素的重排。
比如 {1, 2, 3} 的重排有:
123;132;213;231;312;321
X的一次重排i_1,i_2,...,i_n確定了一個函數alpha:X->X,即:
alpha(i) = i_1,alpha(2) = i_2, ...,alpha(n) = i_n。
例如重排213對應的函數alpha是:
alpha(1) = 2,alpha(2) = 1,alpha(3) = 3。
自變量就是下標1,2,...,n;函數值則是下標對應的元素。
這里用函數的觀點來表達重排的概念,還是比較好理解的。
這個函數有如下特點:
- 函數中包括了X中的所有元素,即alpha是一個滿射
- 無重復元素說明了不同的點有不同的值,alpha是一個單射
- 因此,alpha是一個雙射alpha:X->X
把置換看做函數的好處是可以對它們進行復合,置換的復合仍是置換(需要證明)。
對稱群
引出對稱群的概念
定義 稱集合X的全體置換的族為X上的對稱群,記為S_X。當X={1,2,...,n}時,常用S_n來記S_X,并稱之為n個字母上的對稱群。
看到這里來有點懵逼了,怎么一下子來了個對稱群?先不糾結這個了。其實可以這樣,就是把集合上的所有置換取了一個名字而已。
beta?·?alpha是函數的復合操作,只不過這里要注意的是運算順序是從左至右的,先算alpha,然后再算beta。
?
S_3中的復合是不交換的(會舉例說明)。
兩個置換可以交換么?
一個置換的平方是恒等函數嗎?(我猜這里的平方是進行兩次相同的操作,比如原來是beta?·?alpha這種復合操作,然后平方就是alpha·?alpha)
輪換
上一個部分留了幾個問題,直接去想這幾個問題有難度,這里進而引入了輪換的概念。
定義 設i_1,i_2,...,i_r是{1,2,...,n}中的不同整數。如果alpha屬于S_n固定其他整數(如果有的話),且
alpha(i_1) = i_2,alpha(i_2) = i_3,...,alpha(i_r-1) = i_r,alpha(i_r) = i_1,
則稱alpha為一個r-輪換,也稱alpha為長r的輪換,記為
alpha = (i_1i_2...i_r)
第一眼看的話肯定會懵逼,這他媽的是啥?
輪換其實是一種特殊的置換,集合中的元素重排的是時候會遵循一種循環。
2-輪換把i_1和i_2對調而其余的不動,2-輪換也叫對換。
1-輪換是恒等函數,因為它們固定每個i。
輪換中的任一i_j可以作為起點,因此任一r-輪換有r中不同的輪換記號:
(i_1i_2...i_r) = (i_2i_3...i_ri_1) = ... = (i_ri_1i_2...i_r-1)。
?
輪換的作用是,可以把置換分解成輪換乘積,就問你屌不屌。
不相交
之前就說過,輪換其實即使一種特殊的置換,因為你可以固定其他的元素,而只有r-輪換,這樣不就補全成為了一個置換么。
定義 稱兩個置換alpha,beta屬于S_n不相交,如果每個i被一個移動而被另一個固定:如果alpha(i) != i,則beta(i)=i,且如果beta(j) != j,則alpha(j) = j。稱置換族beta_1,...,beta_t不相交,如果它們兩兩不相交。
為啥他喵的要引入不相交的概念?
?
緊接著證明就來了
引理 不相交的置換alpha,beta是可以交換的。
?
休息一會,要炸了
?
命題 每個置換alpha屬于S_n,不是一個輪換就是不相交輪換的乘積。
?
總結
- 上一篇: css笔记 - transform学习笔
- 下一篇: P1850 换教室