一つの認識描像

奇置換と偶置換の数は同じ

(1,2,\cdots,n)から奇置換して得られる、重複のない全ての配列の集合をA、偶置換して得られる重複のない全ての配列の集合をBとします。Aの上に、配列の1番目と2番目を入れ替える写像fを与えます。これはAからBへの単射になっています。もし、f全射でないとすると、t\in B\setminus \text{Im}fが存在します。ここで、Bの上に、配列の2番目と1番目を入れ替える写像f'を与えましょう。すると、f'(t)は奇置換なのでAの元です。ここで、明らかにf\left( f'(t)\right)=tであるので、t\in\text{Im}f となりt\in B\setminus \text{Im}fに矛盾します。よってf全単射であり、\# A=\# Bとなります。

間違い等ありましたら柔らかい物腰でご指摘お願いします(-_-)。