Permutacin

Una permutacin es la variacin del orden o de la disposicin de los elementos de un c

onjunto. Por ejemplo, en el conjunto {1,2,3}, cada ordenacin posible de sus eleme
ntos, sin repetirlos, es una permutacin. Existe un total de 6 permutaciones para
estos elementos: "1,2,3", "1,3,2", "2,1,3", "2,3,1", "3,1,2" y "3,2,1".
Definicin formal
-----------------La definicin intuitiva de permutacin, como ordenamientos o arrays de los elementos
de un conjunto se formaliza con el uso del lenguaje de funciones matemticas.
Una permutacin de un conjunto X es una funcin biyectiva de dicho conjunto en s
mismo.
Ejemplo de permutacin considerada como funcin biyectiva.
Para ilustrar la definicin, retomemos el ejemplo descrito en la introduccin. En el
ejemplo, X={1, 2, 3}.
Entonces, cada correspondencia uno a uno entre el conjunto {1, 2, 3} a s mismo eq
uivale a una forma de ordenar los elementos.
Por ejemplo, la asignacin biyectiva dada por
1 1
2 2
3 3
puede hacerse corresponder al ordenamiento "1, 2, 3".
Por otro lado, la asignacin biyectiva dada por
1 3
2 2
3 1
puede hacerse corresponder al ordenamiento "3, 2, 1".
En la definicin de permutacin, no se establece condicin alguna sobre X, el cual pue
de incluso ser infinito. Sin embargo, es comn considerar nicamente el caso en que
X es un conjunto finito al estudiar permutaciones.
En combinatoria
La combinatoria trata del nmero de diferentes maneras que existen de considerar c
onjuntos formados a partir de elementos de un conjunto dado, respetando ciertas
reglas, como el tamao, el orden, la repeticin, la particin. As un problema combinato
rio consiste usualmente en establecer una regla sobre cmo deben ser las agrupacio
nes y determinar cuntas existen que cumplan dicha regla. Bsicamente, tres asuntos:
permutaciones, combinaciones y variaciones (aunque se puede considerar a las pe
rmutaciones como un tipo especial de variaciones), todas sin repeticin o con ella
.
Un tipo importante de esas agrupaciones son las llamadas permutaciones. Dada una
n-tupla ordenada de elementos de un conjunto, el nmero de permutaciones es el nme
ro de n-tuplas ordenadas .
Frmula del nmero de permutaciones
------------------------------------

Dado un conjunto finito A \,\! de n\,\! elementos, el nmero de todas las permutac
iones es igual a factorial de n:
n!=n(n-1)(n-2)\cdots 1\,\!.
Demostracin: Dado que hay n \,\! formas de escoger el primer elemento y, una vez
escogido ste, slo tenemos (n-1) \,\! formas de escoger el segundo elemento, y as su
cesivamente, vemos que cuando llegamos al elemento k-simo slo tenemos [n-(k-1)] \,
\! posibles elementos para escoger, lo que nos lleva a que tenemos n(n-1)(n-2) \
cdots 2 \cdot 1 \,\! formas de ordenar el conjunto, justamente lo que enunciamos
anteriormente. \Box \,\!.
Ejemplo: sea el conjunto A={1,2,3} en este caso hay 6 permutaciones, en forma co
mpacta: 123, 132, 213, 231, 312, 321. En lgebra, para estudiar los grupos simtrico
s se presentan entre parntesis y en dos filas, en la primera siempre aparece 1 2
3.
Una variante de lo mismo, si se va a formar un comit
sorero y secretario, habiendo tres candidatos a, b, c
eo los cargos sucesivamente, hay seis posibilidades u
a, bac, cab, cba.
En teora de grupos
Notaciones
Representacin grfica de la permutacin que revela
o de longitud 4.

que involucra presidente, te

; cuando se elige por sort
ordenaciones: abc, acb, bc

u e tructura compue ta por 2 cicl

La primera forma de e cribir una permutacin , aunque no e la m compacta, con i te

en e cribirla en forma de matriz de do fila , ituando en la primera fila lo
elemento del dominio 1, 2, 3,...,n, y en la egunda la imgene corre pondiente
a lo elemento reordenado (1), (2), (3),...,(n).
Por ejemplo, dado el conjunto ordenado \{1,...,8\} podemo expre ar una permutac
in \ igma obre te mediante una matriz de corre pondencia :
\ igma = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 3 & 4 & 5 & 7 & 6
& 1 & 8 & 2 \end{pmatrix}
Claramente e biyectiva, ya que podemo encontrar una aplicacin inver a \ igma^{1} de forma que u compo icin genera la aplicacin identidad. Para ello, en primer
lugar intercambiamo la fila y finalmente reordenamo la columna de modo que
lo elemento del dominio queden ordenado de forma natural:
\ igma^{-1} = \begin{pmatrix} 3 & 4 & 5 & 7 & 6 & 1 & 8 & 2 \\ 1 & 2 & 3 & 4
& 5 & 6 & 7 & 8 \end{pmatrix}= \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\
6 & 8 & 1 & 2 & 3 & 5 & 4 & 7 \end{pmatrix}
Notacin de ciclo
Exi te otra notacin m compacta, llamada notacin de ciclo . Un ciclo de longitud e
una permutacin que intercambia cclicamente elemento y fija lo re tante . E ta n
otacin revela mejor la e tructura interna de la permutacin. Para ello:
Empezamo con cualquier elemento. Lo e cribimo , a u derecha e cribimo u
imagen, a la derecha de e ta, la imagen de u imagen, y eguimo a ha ta que e
complete un ciclo.
Luego cogemo cualquier elemento no contenido en el primer ciclo, volvemo a
e cribir u imagen a u derecha, y continuamo ha ta completar el egundo ciclo
.
El proce o contina ha ta que la permutacin entera ha quedado de crita como pro
ducto de ciclo di junto .
Siguiendo con el mi mo ejemplo de ante , en notacin de ciclo , \ igma quedara expr

e ada como compo icin de do ciclo :

\ igma= (1 3 5 6 )(2 4 7 8)
De compo icin de una permutacin en ciclo di junto
La de compo icin realizada por el procedimiento anterior no e nica en principio,
pue podran haber e obtenido cualquiera de e to re ultado equivalente :
\ igma = (1 3 5 6)(2 4 7 8)=(2 4 7 8) (1 3 5 6)= (8 2 4 7)(6 1 3 5)
La de compo icin cannica de una permutacin como producto de ciclo
ando en primer lugar de cada ciclo el nmero m pequeo del mi mo. Po
procede a la colocacin de lo ciclo , colocando primero el ciclo cuyo
ento ea menor. Frecuentemente, uelen omitir e lo ciclo de longitud
ermutacin (1 3)(2)(4 5) e e cribe implemente como (1 3)(4 5).
De compo icin de una permutacin en tran po icione
Loupe light. vg Permutacione de 4 elemento

e obtiene coloc
teriormente e
primer elem
1. A la p

De izquierda a derecha aparecen la permutacione en forma matricial, en forma d

e vector y como producto de tra po icione .Lo nmero a la derecha indican la can
tidad de tra po icione con que e puede e cribir cada permutacin (e te nmero no e
nico, pero u paridad). La permutacione impare e tn marcada con verde o nar
anja.
Una tra po icin e una permutacin que intercambia do elemento y fija lo re tant
e . Dicho de otro modo, e un ciclo de longitud 2. Una propiedad intere ante e
que cualquier permutacin e puede con truir como una compo icin de tran po icione
, aunque no de manera nica. Dada do de compo icione en tran po icione de una
permutacin e cumple que amba u aran un nmero par o amba u arn un nmero impar, e o
permite definir de manera unvoca la ignatura de una permutacin.
La tra po icione permiten de componer una permutacin cualquiera de una forma di
ferente a la de compo icin en ciclo . En particular, la tra po icione que apare
zcan no tendrn que er di junta : Por ejemplo, el ciclo (1 2 3 4) = (1 2) (2 3) (
3 4). Aqu el orden de aplicacin e importante: en primer lugar (3 4) deja el 4 en
u itio definitivo y el 3 de colocado. De pu (2 3) deja en u itio definitivo
el 3 y el 2 de colocado, que quedar recolocado definitivamente por (1 2).
Para ver que cualquier permutacin de compone como producto de tra po icione ba t
ar ver que todo ciclo lo hace. De hecho, la de compo icin del ciclo de nue tro eje
mplo e generaliza a la frmula:
(a_1,\ldot , a_n) = (a_1,a_2)(a_1,a_3)\cdot (a_1,a_n).
No habr unicidad en la de compo icin, ni iquiera en el nmero de tra po icione nec
e aria . Pero e demue tra que i \ igma admite do de compo icione di tinta c
on n y con m tra po icione , entonce n y m tendrn la mi ma paridad ( ern imultnea
mente pare o impare ). Dada una permutacin cualquiera, e define el iguiente mo
rfi mo de grupo :
\varep ilon:S_n \to (\{-1,1\},\cdot) \approx (\mathbb{Z}_2,+), \qquad \varep
ilon(\ igma) = (-1)^m
Donde \ cript tyle S_n e el grupo imtrico de n elemento y m e un nmero entero,
tal que exi ten tra po icione \ cript tyle \tau_i tale que:
\ igma = \tau_1\tau_2\dot \tau_m \in S_n
Permutacin par y permutacin impar

Artculo principal: Paridad de una permutacin

Llamaremo permutacin par (re p. impar) a la que e e cribe como compo icin de un
nmero par (re p. impar) de tra po icione .
Como ejemplo, de la
cin de ciclo :

6=3! permutacione del conjunto {1, 2, 3}, e crita en nota

(1 2), (2 3) y (1 3) on, de forma trivial, impare .

(1 2 3) y (1 3 2) on pare , como e fcil de comprobar al aplicar la frmula an
terior de de compo icin de un ciclo en tra po icione .
e (la identidad) tambin e par.
En general, e demue tra que la mitad de la n! permutacione de un conjunto de
n elemento on pare y la otra mitad impare . E to urge como con ecuencia dire
cta de la exi tencia del morfi mo \varep ilon:S_n \to (\{-1,1\},\cdot) que tiene
como ncleo ju tamente a la permutacione pare .
E tructura de grupo
Artculo principal: Grupo imtrico
Dado un nmero natural n \geq 1, con ideramo el conjunto X=\{1,2,...,n\}. Definim
o el grupo de permutacione de n elemento , que denotaremo por S_n, o lo que e
lo mi mo, el conjunto de aplicacione biyectiva de X a X.
La permutacione pare forman un ubgrupo normal de ndice 2 del grupo Sn, al que
llamaremo grupo alternado, y notaremo por A_n.
Dato hi trico
El e tudio de la permutacione de la race de ecuacione algebraica le permiti
a Galoi elaborar lo inicio de la teora de grupo y u ar e te vocablo, por prim
era vez, en matemtica . Y empez por lo grupo no abeliano .
El concepto de permutacin aparece en la obra hebrea Sfer Yetzirah ('El libro de la
creacin'), un manu crito elaborado por un m tico entre el ao 200 y el 600. Pero ex
i ta ya un re ultado anterior de Jencrate de Calcedonia (396-314 a. C.)1