DESARREGLOS

MARIANO SUREZ-ALVAREZ

1. Desarreglos clsicos
1.1. Una permutacin Sn es un desarreglo si (i ) 6= i para todo i {1, . . . , n}.
Sea Dn Sn el conjunto de todos los desarreglos de Sn .
1.2. Proposicin. Si n 1, entonces
 
1 1 1 n +1 1
| Dn | = n! 1 + + + (1) .
2! 3! 4! n!

Demostracin. Sean I = {1, . . . , n} y L = P ( I ), y consideremos sobre L el orden

parcial . Para cada Sn , sea I = {i I : (i ) = i }. Si X L, sean
f ( X ) = |{ Sn : X = I }|
y
g( X ) = |{ Sn : X I }|.
Esto define funciones f , g : L Z, y es evidente que para cada Y L es
g (Y ) = f ( X ). (1)
YX

Recordemos de [1, Chapter 3] que la funcin de Mbius : L L Z de L

satisface
(
(1)|Y \X | , si X Y;
( X, Y ) =
0, en caso contrario,
y entonces la frmula de inversin de Mbius junto con (1) implica que para cada
Y L es
f (Y ) = (1)|X\Y| g(X ).
YX

En particular, tomando Y = vemos que

| Dn | = f ( ) = (1)|X| g(X ). (2)
XL
Ahora bien, si X L, entonces es claro que una permutacin de I que deja
fijos los elementos de X queda determinada por su restriccin a I \ X, que es una
biyeccin de este conjunto. Recprocamente, toda permutacin de I \ X puede
extenderse de manera nica a un elemento de Sn que deja fijos a los elementos
de X. Esto nos dice que g( X ) = |S( I \ X )| = (n | X |)!.
Agrupando los trminos de la suma (2) de acuerdo al cardinal de X, vemos
entonces que
n   n
k n 1
| Dn | = (1) (n k)! = n! (1)k . 
k =0
k k =0
k!

Date: 16 de Mayo, 2008; compiled: 14 de mayo de 2015.

1
2 MARIANO SUREZ-ALVAREZ

| Dn |
1.3. Corolario. limn | Sn |
= e 1 . 
Este corolario nos dice que, si n es grande, la probabilidad de que una permuta-
cin Sn mueva todos los elementos de {1, . . . , n} es aproximadamente e1 .
1.4. Sean ahora Dn+ y Dn los subconjuntos de Dn formados por los desarreglos
pares e impares, respectivamente.
1.5. Proposicin. Si n 1, entonces
| Dn+ | = 1
| Dn | (1)n (n 1)


2
y
| Dn | = 1
2 | Dn | + (1)n (n 1))
Demostracin. Consideremos el determinante
 
0 1 1 1 1
 
1 0 1 1 1
 
1 1 0 1 1
n =  . . . . . (3)
 
 .. .. .. . . ... ... 
 
1 1 1 0 1
 
1 1 1 1 0
Restando la primera columna a todas las dems, vemos que
 
0 1
 1 1 1 
1 1 0 0 0 

1 0 1 0 0 
n =  .

. . .. . .. 
 .. .. .. . .. . 

1 0
 0 1 0 

1 0 0 0 1
y sumando ahora a la primera fila todas las dems, que
 
n 1 0 0 0 0 

 1
 1 0 0 0 
 1 0 1 0 0 
n 1
n =  . ..  = (1) ( n 1).

. . .. .
 .. .. .. . .. . 
 
 1
 0 0 1 0 
 1 0 0 0 1
Por otro lado, si notamos ( aij ) a la matrix que aparece en (3), de manera que
aij = 1 ij , el desarrollo del determinante (3) es
n = sgn( ) a1 (1) an (n) .
Sn

Los trminos correspondiente a permutaciones que no son desarreglos evidente-

mente se anulan, as que
n = sgn( ) a1 (1) an (n) = | Dn+ | | Dn |.
Dn
Luego tenemos que
| Dn+ | | Dn | = (1)n1 (n 1)
y, por supuesto, que
| Dn+ | + | Dn | = | Dn |.
Estas dos relaciones dan inmediatamente las frmulas del enunciado. 
 DESARREGLOS 3

Referencias
[1] R. P. Stanley, Enumerative combinatorics. Vol. 1, Cambridge Studies in Advanced Mathematics,
vol. 49, Cambridge University Press, Cambridge, 1997. MR1442260 (98a:05001) 1

Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Ciudad Univer-

sitaria, Pabelln I, Buenos Aires (1428) Argentina.
E-mail address: mariano@dm.uba.ar

2008 Mariano Surez-Alvarez

Esta obra est licenciada bajo una Licencia Atribucin-Compartir Obras Derivadas Igual 2.5 Argentina
de Creative Commons. Para ver una copia de esta licencia, visite http://creativecommons.org/
licenses/by-sa/2.5/ar/ o envenos una carta a Creative Commons, 171 Second Street, Suite 300,
San Francisco, California, 94105, USA.