Permutacin

En matemticas, una permutacin es la variacin del or- puede hacerse corresponder al ordenamiento 1, 2, 3.
den o de la disposicin de los elementos de un conjunto Por otro lado, la asignacin biyectiva dada por
ordenado o una tupla sin elementos repetidos.
Por ejemplo, en el conjunto {1,2,3}, cada ordenacin po- 13
sible de sus elementos, sin repetirlos, es una permutacin.
Existe un total de 6 permutaciones para estos elementos: 22
1,2,3, 1,3,2, 2,1,3, 2,3,1, 3,1,2 y 3,2,1.
31

1 Denicin formal puede hacerse corresponder al ordenamiento 3, 2, 1.

En la denicin de permutacin, no se establece condi-
La denicin intuitiva de permutacin, como ordena- cin alguna sobre X, el cual puede incluso ser innito. Sin
mientos o arreglos de los elementos de un conjunto se embargo, es comn considerar nicamente el caso en que
formaliza con el uso del lenguaje de funciones matem- X es un conjunto nito al estudiar permutaciones.
ticas.

2 En combinatoria
La combinatoria trata del nmero de diferentes maneras
que existen de considerar conjuntos formados a partir de
elementos de un conjunto dado, respetando ciertas reglas,
como el tamao, el orden, la repeticin, la particin. As
un problema combinatorio consiste usualmente en esta-
blecer una regla sobre cmo deben ser las agrupaciones y
determinar cuntas existen que cumplan dicha regla. B-
sicamente, tres asuntos: permutaciones, combinaciones y
variaciones (aunque se puede considerar a las permuta-
ciones como un tipo especial de variaciones), todas sin
repeticin o con ella.
Un tipo importante de esas agrupaciones son las llama-
das permutaciones. Dada una n-tupla ordenada de ele-
mentos de un conjunto, el nmero de permutaciones es
el nmero de n-tuplas ordenadas .
Ejemplo de permutacin considerada como funcin biyectiva.

2.1 Frmula del nmero de permutaciones

Para ilustrar la denicin, retomemos el ejemplo descrito
en la introduccin. En el ejemplo, X={1, 2, 3}. Dado un conjunto nito A de n elementos, el nmero de
Entonces, cada correspondencia uno a uno entre el con- todas sus permutaciones es igual a factorial de n:
junto {1, 2, 3} a s mismo equivale a una forma de orde- n! = n(n 1)(n 2) 1 .
nar los elementos. Demostracin: Dado que hay n formas de escoger el pri-
Por ejemplo, la asignacin biyectiva dada por mer elemento y, una vez escogido ste, slo tenemos
(n 1) formas de escoger el segundo elemento, y as
11 sucesivamente, vemos que cuando llegamos al elemen-
to k-simo slo tenemos [n (k 1)] posibles ele-
22 mentos para escoger, lo que nos lleva a que tenemos
n(n 1)(n 2) 2 1 formas de ordenar el conjunto,
33 justamente lo que enunciamos anteriormente.

1
2 3 EN TEORA DE GRUPOS

Ejemplo: sea el conjunto A={1,2,3} en este caso hay 6 notacin revela mejor la estructura interna de la permu-
permutaciones, en forma compacta: 123, 132, 213, 231, tacin. Para ello:
312, 321. En lgebra, para estudiar los grupos simtricos
se presentan entre parntesis y en dos las, en la primera 1. Empezamos con cualquier elemento. Lo escribimos,
siempre aparece 1 2 3. a su derecha escribimos su imagen, a la derecha de
Una variante de lo mismo, si se va a formar un comit esta, la imagen de su imagen, y seguimos as hasta
que involucra presidente, tesorero y secretario, habiendo que se complete un ciclo.
tres candidatos a, b, c ; cuando se elige por sorteo los car-
gos sucesivamente, hay seis posibilidades u ordenaciones: 2. Luego cogemos cualquier elemento no contenido en
abc, acb, bca, bac, cab, cba. el primer ciclo, volvemos a escribir su imagen a su
derecha, y continuamos hasta completar el segundo
ciclo.
3 En teora de grupos 3. El proceso contina hasta que la permutacin en-
tera ha quedado descrita como producto de ciclos
3.1 Notaciones disjuntos.

Siguiendo con el mismo ejemplo de antes, en notacin de

ciclos, quedara expresada como composicin de dos
ciclos:

Representacin grca de la permutacin que revela su estruc-

tura compuesta por 2 ciclos de longitud 4.
3.3 Descomposicin de una permutacin
en ciclos disjuntos
La primera forma de escribir una permutacin , aunque
no es la ms compacta, consiste en escribirla en forma La descomposicin realizada por el procedimiento ante-
de matriz de dos renglones, situando en el primer rengln rior no es nica en principio, pues podran haberse obte-
los elementos del dominio 1, 2, 3,...,n, y en el segundo las nido cualquiera de estos resultados equivalentes:
imgenes correspondientes a los elementos reordenados
(1), (2), (3),...,(n).
Por ejemplo, dado el conjunto ordenado {1, ..., 8} pode-
mos expresar una permutacin sobre ste mediante una
matriz de correspondencias: La descomposicin cannica de una permutacin como
producto de ciclos se obtiene colocando en primer lugar
( ) de cada ciclo el nmero ms pequeo del mismo. Poste-
1 2 3 4 5 6 7 8 riormente se procede a la colocacin de los ciclos, colo-
=
3 4 5 7 6 1 8 2 cando primero el ciclo cuyo primer elemento sea menor.
Frecuentemente, suelen omitirse los ciclos de longitud 1.
Claramente es biyectiva, ya que podemos encontrar una As la permutacin (1 3)(2)(4 5) se escribe simplemente
1
aplicacin inversa de forma que su composicin ge- como (1 3)(4 5).
nera la aplicacin identidad. Para ello, en primer lugar in-
tercambiamos los renglones y nalmente reordenamos las
columnas de modo que los elementos del dominio queden 3.4 Descomposicin de una permutacin
ordenados de forma natural:
en transposiciones
( ) ( Una ) es una permutacin que intercambia
1 3 4 5 7 6 1 8 2 1 2 3 5 6trasposicin
4 7 8
= = dos
1 2 3 4 5 6 7 8 6 8 1 3 elementos
2 5 4 7 y ja los restantes. Dicho de otro modo, es
un ciclo de longitud 2. Una propiedad interesante es que
cualquier permutacin se puede construir como una com-
3.2 Notacin de ciclos posicin de transposiciones, aunque no de manera nica.
Dadas dos descomposiciones en transposiciones de una
Existe otra notacin ms compacta, llamada notacin de permutacin se cumple que ambas usaran un nmero par
ciclos. Un ciclo de longitud es una permutacin que inter- o ambas usarn un nmero impar, eso permite denir de
cambia cclicamente elementos y ja los restantes. Esta manera unvoca la signatura de una permutacin.
3.6 Estructura de grupo 3

Las trasposiciones permiten descomponer una permuta- En general, se demuestra que la mitad de las n! permuta-
cin cualquiera de una forma diferente a la descomposi- ciones de un conjunto de n elementos son pares y la otra
cin en ciclos. En particular, las trasposiciones que apa- mitad impares. Esto surge como consecuencia directa de
rezcan no tendrn que ser disjuntas: Por ejemplo, el ciclo la existencia del morsmo : Sn ({1, 1}, ) que
(1 2 3 4) = (1 2) (2 3) (3 4). Aqu el orden de aplicacin es tiene como ncleo justamente a las permutaciones pares.
importante: en primer lugar (3 4) deja el 4 en su sitio de-
nitivo y el 3 descolocado. Despus (2 3) deja en su sitio
denitivo el 3 y el 2 descolocado, que quedar recolocado 3.6 Estructura de grupo
denitivamente por (1 2).
Dado un nmero natural n 1 , consideramos el con-
Para ver que cualquier permutacin se descompone como junto X = {1, 2, ..., n} . Denimos el grupo de permu-
producto de trasposiciones bastar ver que todo ciclo lo taciones de n elementos, que denotaremos por S , o lo
n
hace. La descomposicin no es nica. Por ejemplo: que es lo mismo, el conjunto de aplicaciones biyectivas
de X a X .
Las permutaciones pares forman un subgrupo normal de
(a1 , . . . , an ) =
ndice 2 del grupo S , al que llamaremos grupo alternado,
(a1 , a2 )(a2 , a3 ) (an1 , an ) = (a1 , an )(a1 , an1 ) (ay notaremos
1 , a ).
2
por An .

El nmero de trasposiciones de la descomposicin tam-

poco es nico. Por ejemplo:
4 Dato histrico
El estudio de las permutaciones de las races de
(a1 , . . . , an ) =
ecuaciones algebraicas le permiti a Galois elaborar los
(an1 , an )(a1 , an1 )(an1 , an )(a1 , an1 )(a1 , an2 ) inicios
(a1 , a2de
). la teora de grupos y usar este vocablo, por pri-
mera vez, en matemticas. Y empez por los grupos no
Pero la paridad del nmero de trasposiciones de la des- abelianos.
composicin s est determinada. Es decir, para cualquier
El concepto de permutacin aparece en la obra hebrea
par de descomposiciones distintas de con n y con m
Sfer Yetzirah ('El libro de la creacin'), un manuscrito
trasposiciones, respectivamente, n y m tienen la misma
elaborado por un mstico entre el ao 200 y el 600. Pero
paridad (sern simultneamente pares o impares).
exista ya un resultado anterior de Jencrates de Calcedo-
Dada una permutacin cualquiera, se dene el siguiente nia (396-314 a. C.)[1]
homomorsmo de grupos:

: Sn ({1, 1}, ) 5 Referencias

(Z2 , +), () = (1)m ,
[1] Grimaldi, Ralph: Matemticas discreta y combinatoria
donde Sn es el grupo simtrico de n elementos y m es un 0-201-65376-1 , pg.44
nmero entero, tal que existen trasposiciones i tales que:

= 1 2 . . . m Sn . 6 Vase tambin
Ciclo (permutacin)
3.5 Permutacin par y permutacin impar
Matriz permutacin
Llamaremos permutacin par (resp. impar) a la que se
escribe como composicin de un nmero par (resp. im- Combinatoria
par) de trasposiciones. Combinaciones
Como ejemplo, de las 6=3! permutaciones del conjunto
Variaciones
{1, 2, 3}, escritas en notacin de ciclos:

(1 2), (2 3) y (1 3) son, de forma trivial, impares.

(1 2 3) y (1 3 2) son pares, como es fcil de compro-

bar al aplicar la frmula anterior de descomposicin
de un ciclo en trasposiciones.

e (la identidad) tambin es par.

4 6 VASE TAMBIN

Permutaciones de 4 elementos
De izquierda a derecha aparecen las permutaciones en forma
matricial, en forma de vector y como producto de trasposiciones.
Los nmeros a la derecha indican la cantidad de trasposicio-
nes con que se puede escribir cada permutacin (este nmero no
es nico, pero s su paridad). Las permutaciones impares estn
marcadas con verde o naranja.
 5

7 Origen del texto y las imgenes, colaboradores y licencias

7.1 Texto
Permutacin Fuente: https://es.wikipedia.org/wiki/Permutaci%C3%B3n?oldid=94949395 Colaboradores: Julie, Juan Manuel, Paz.ar,
Patxi Aguado, Elwikipedista, Tano4595, Gengiskanhg, Balderai, Santiago Hernndez, Soulreaper, Airunp, Rembiapo pohyiete (bot), Ma-
gister Mathematicae, Orgullobot~eswiki, RobotQuistnix, ERFon, Chobot, Yrbot, Varano, YurikBot, Icvav, GermanX, JAGT, Eduardo
Lima, Eskimbot, Er Komandante, Focojoaco, CaStarCo, Sigmanexus6, BOTpolicia, CEM-bot, Davius, Antur, Thijs!bot, Erwin Ried,
Mau86, PabloCastellano, Botones, Isha, Arcibel, Krycho, Kved, TXiKiBoT, HiTe, Xsm34, Alesico, Plux, AlnoktaBOT, Jotego, Mat-
drodes, BlackBeast, Muro Bot, Xmontero, YonaBot, SieBot, Tirithel, Jarisleif, Gato ocioso, DragonBot, Farisori, PixelBot, Eduardosalg,
Leonpolanco, Ukrayina, Botito777, Petruss, Juan Mayordomo, Raulshc, Agualin, UA31, AVBOT, Gaston 74, Sil vis 2n, Angel GN, Die-
gusjaimes, DumZiBoT, CarsracBot, Arjuno3, Luckas-bot, Nallimbot, DiegoFb, Nachotraidor, ArthurBot, SuperBraulio13, Xqbot, Jkbw,
GNM, Rubinbot, Ricardogpn, RedBot, Jerowiki, PatruBOT, Dinamik-bot, Ripchip Bot, Dark Bane, GrouchoBot, Miss Manzana, Emaus-
Bot, ZroBot, Emiduronte, Waka Waka, WikitanvirBot, MerlIwBot, JABO, KLBot2, Julio grillo, AvocatoBot, Invadibot, Maquedasahag,
Acratta, Orendona, RosenJax, Bts5454, Watchduck, Balles2601, JacobRodrigues, Jarould, Maricumpli y Annimos: 153

7.2 Imgenes
Archivo:050712_perm_1.png Fuente: https://upload.wikimedia.org/wikipedia/commons/c/c5/050712_perm_1.png Licencia: Public do-
main Colaboradores: self-made by en:User:Wzwz Artista original: en:User:Wzwz
Archivo:Loupe_light.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/0/0c/Loupe_light.svg Licencia: Public domain
Colaboradores: <a href='//commons.wikimedia.org/wiki/File:Gnome-searchtool.svg' class='image'><img alt='Gnome-searchtool.svg'
src='https://upload.wikimedia.org/wikipedia/commons/thumb/1/1e/Gnome-searchtool.svg/50px-Gnome-searchtool.svg.png' width='50'
height='50' srcset='https://upload.wikimedia.org/wikipedia/commons/thumb/1/1e/Gnome-searchtool.svg/75px-Gnome-searchtool.
svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/1/1e/Gnome-searchtool.svg/100px-Gnome-searchtool.svg.png
2x' data-le-width='60' data-le-height='60' /></a> Artista original: <a href='//commons.wikimedia.org/wiki/File:Watchduck.svg'
class='image'><img alt='Watchduck.svg' src='https://upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Watchduck.svg/
40px-Watchduck.svg.png' width='40' height='46' srcset='https://upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Watchduck.svg/
60px-Watchduck.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Watchduck.svg/80px-Watchduck.svg.png
2x' data-le-width='703' data-le-height='806' /></a> Watchduck (a.k.a. Tilman Piesk)
Archivo:Permutacin_de_1,2,3.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/c/c1/Permutaci%C3%B3n_de_1%
2C2%2C3.svg Licencia: CC0 Colaboradores: Trabajo propio Artista original: Magister Mathematicae
Archivo:Symmetric_group_4;_permutation_list.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/3/3d/
Symmetric_group_4%3B_permutation_list.svg Licencia: Public domain Colaboradores: Trabajo propio Artista origi-
nal: <a href='//commons.wikimedia.org/wiki/File:Watchduck.svg' class='image'><img alt='Watchduck.svg' src='https:
//upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Watchduck.svg/40px-Watchduck.svg.png' width='40' height='46'
srcset='https://upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Watchduck.svg/60px-Watchduck.svg.png 1.5x, https:
//upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Watchduck.svg/80px-Watchduck.svg.png 2x' data-le-width='703' data-
le-height='806' /></a> Watchduck (a.k.a. Tilman Piesk)

7.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0