TanZek's 技術空間

排列問題最初出現在計數中，今日學習《離散數學結構》，發現定義竟源于此科。

由A到A的一個雙射稱為A的一個排列（permutation）。
如果A={a₁,a₂,……,a_n}是有限集，p是A上的雙射，可以用另一種方式表示這個雙射，把A的n個元素a₁,a₂,……,a_n和對應的n個函數值p(a₁),p(a₂),……,p(a_n)排成兩行，如下所示。

A中元素的n個函數值p(a₁),p(a₂),……,p(a_n)的序列，實際是A中元素的重新排列。
（這是一種新的方式表示雙射。注意對比關系的有序對表示形式，與函數表示形式。）

（未完，待續）