Permutations
[5/0%]In a course on mathematical analysis, Stirling's formula is proved
where is the base of the natural logarithm, ; here the symbol means that the ratio ! tends to 1 as .
Using Stirling's formula, which gives an approximation from below, verify that . How many cycles of length are there in ?
Find the order of permutation (4) and of the permutation
A permutation of the form (3) with independent cycles leaves
symbols (or points) fixed. The number is called the decrement of the permutation . Verify that .
Find the sign of the permutation
Let be the Cartesian square. We call a pair an inversion with respect to a permutation (or, more briefly, a -inversion), if but . Let us set
Since is a nonzero rational number, which is negative precisely when is a -inversion, and since is a bijective map, it follows that , where is the total number of -inversions. If is a transposition, then . As is easily seen,
so that the -inversion ) ceases to be an inversion with respect to the permutation , where is a transposition.
Show that there exist transpositions for which
is the identity permutation. Hence , and are two equally valid notations for one and the same invariant of the permutation; sgn (from the Latin signum) means sign. We have thus obtained yet another convenient way of determining the sign of a permutation. For instance, with respect to permutation (4) the set of inversions consists of the five pairs , so that . In practice, the matter reduces to counting, in the bottom row of the permutation , the number of numbers greater than but standing before , for .