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中元素的重新排列。
（这是一种新的方式表示双射。注意对比关系的有序对表示形式，与函数表示形式。）

（未完，待续）