Permutacin

Permutacin
En matemticas, una permutacin es la variacin del orden o de la disposicin de los elementos de un conjunto. Por ejemplo, en el conjunto {1,2,3}, cada ordenacin posible de sus elementos, 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 arreglos 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. 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 equivale a una forma de ordenar los elementos. Por ejemplo, la asignacin biyectiva dada por 11 22 33 puede hacerse corresponder al ordenamiento "1, 2, 3". Por otro lado, la asignacin biyectiva dada por 13
Ejemplo de permutacin considerada como funcin biyectiva.

22 31 puede hacerse corresponder al ordenamiento "3, 2, 1". En la definicin de permutacin, no se establece condicin alguna sobre X, el cual puede 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 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 establecer una regla sobre cmo deben ser las agrupaciones y determinar cuntas existen que cumplan dicha regla. Bsicamente, tres asuntos: permutaciones, combinaciones y variaciones (aunque se puede considerar a las permutaciones 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 nmero de n-tuplas ordenadas .

Permutacin

Frmula del nmero de permutaciones

Dado un conjunto finito de elementos, el nmero de todas las permutaciones es igual a factorial de n: . Demostracin: Dado que hay formas de escoger el primer elemento y, una vez escogido ste, slo tenemos formas de escoger el segundo elemento, y as sucesivamente, vemos que cuando llegamos al elemento k-simo slo tenemos posibles elementos para escoger, lo que nos lleva a que tenemos formas de ordenar el conjunto, justamente lo que enunciamos anteriormente. . Ejemplo: sea el conjunto A={1,2,3} en este caso hay 6 permutaciones, en forma compacta: 123, 132, 213, 231, 312, 321. En lgebra, para estudiar los grupos simtricos 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 que involucra presidente, tesorero y secretario, habiendo tres candidatos a, b, c ; cuando se elige por sorteo los cargos sucesivamente, hay seis posibilidades u ordenaciones: abc, acb, bca, bac, cab, cba.

En teora de grupos
Notaciones
La primera forma de escribir una permutacin , aunque no es la ms compacta, consiste en escribirla en forma de matriz de dos filas, situando en la primera fila los elementos del dominio 1, 2, 3,...,n, y en la segunda las imgenes correspondientes a los elementos reordenados (1), (2), (3),...,(n). Por ejemplo, dado el conjunto ordenado podemos expresar una permutacin correspondencias: sobre ste mediante una matriz de

Representacin grfica de la permutacin que revela su estructura compuesta por 2 ciclos de longitud 4.

Claramente es biyectiva, ya que podemos encontrar una aplicacin inversa

de forma que su composicin

genera la aplicacin identidad. Para ello, en primer lugar intercambiamos las filas y finalmente reordenamos las columnas de modo que los elementos del dominio queden ordenados de forma natural:

Notacin de ciclos
Existe otra notacin ms compacta, llamada notacin de ciclos. Un ciclo de longitud s es una permutacin que intercambia cclicamente s elementos y fija los restantes. Esta notacin revela mejor la estructura interna de la permutacin. Para ello: 1. Empezamos con cualquier elemento. Lo escribimos, a su derecha escribimos su imagen, a la derecha de esta, la imagen de su imagen, y seguimos as hasta que se complete un ciclo. 2. Luego cogemos cualquier elemento no contenido en el primer ciclo, volvemos a escribir su imagen a su derecha, y continuamos hasta completar el segundo ciclo. 3. El proceso contina hasta que la permutacin entera ha quedado descrita como producto de ciclos disjuntos. Siguiendo con el mismo ejemplo de antes, en notacin de ciclos, ciclos: quedara expresada como composicin de dos

Permutacin = (1 3 5 6 )(2 4 7 8)

Descomposicin de una permutacin en ciclos disjuntos

La descomposicin realizada por el procedimiento anterior no es nica en principio, pues podran haberse obtenido cualquiera de estos resultados equivalentes: = (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 descomposicin cannica de una permutacin como producto de ciclos se obtiene colocando en primer lugar de cada ciclo el nmero ms pequeo del mismo. Posteriormente se procede a la colocacin de los ciclos, colocando primero el ciclo cuyo primer elemento sea menor. Frecuentemente, suelen omitirse los ciclos de longitud 1. As la permutacin (1 3)(2)(4 5) se escribe simplemente como (1 3)(4 5).

Permutacin

Descomposicin de una permutacin en trasposiciones

Una trasposicin es una permutacin que intercambia dos elementos y fija los restantes. Dicho de otro modo, es un ciclo de longitud 2. Una propiedad interesante es que cualquier permutacin se puede construir como una composicin de transposiciones, aunque no de manera nica. Dadas dos descomposiciones en transposiciones de una permutacin se cumple que ambas usaran un nmero par o ambas usarn un nmero impar, eso permite definir de manera unvoca la signatura de una permutacin. Las trasposiciones permiten descomponer una permutacin cualquiera de una forma diferente a la descomposicin en ciclos. En particular, las trasposiciones que aparezcan no tendrn que ser disjuntas: Por ejemplo, el ciclo (1 2 3 4) = (1 2) (2 3) (3 4). Aqu el orden de aplicacin es importante: en primer lugar (3 4) deja el 4 en su sitio definitivo y el 3 descolocado. Despus (2 3) deja en su sitio definitivo el 3 y el 2 descolocado, que quedar recolocado definitivamente por (1 2). Para ver que cualquier permutacin descompone como producto de trasposiciones bastar ver que todo ciclo lo hace. De hecho, la descomposicin del ciclo de nuestro ejemplo se generaliza a la frmula:

No habr unicidad en la descomposicin, ni siquiera en el nmero de trasposiciones necesarias. Pero se demuestra que si admite dos descomposiciones distintas con n y con m trasposiciones, entonces n y m tendrn la misma paridad (sern simultneamente pares o impares). Dada una permutacin cualquiera, se define el siguiente morfismo de grupos:

Donde es el grupo simtrico de n elementos y m es un nmero entero, tal que existen trasposiciones tales que:

Permutacin par y permutacin impar

Llamaremos permutacin par (resp. impar) a la que se escribe como composicin de un nmero par (resp. impar) de trasposiciones. Como ejemplo, de las 6=3! permutaciones del conjunto {1, 2, 3}, escritas en notacin de ciclos:

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 trasposiciones 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.

(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 comprobar al aplicar la frmula anterior de descomposicin de un ciclo en trasposiciones. e (la identidad) tambin es par. En general, se demuestra que la mitad de las n! permutaciones de un conjunto de n elementos son pares y la otra mitad impares. Esto surge como consecuencia directa de la existencia del morfismo que tiene como ncleo justamente a las permutaciones pares.

Permutacin

Estructura de grupo
Dado un nmero natural permutaciones de , consideramos el conjunto . Definimos el grupo de elementos, que denotaremos por , o lo que es lo mismo, el conjunto de aplicaciones

biyectivas de a . Las permutaciones pares forman un subgrupo normal de ndice 2 del grupo Sn, al que llamaremos grupo alternado, y notaremos por .

Dato histrico
El estudio de las permutaciones de las races de ecuaciones algebraicas le permiti a Galois elaborar los inicios de la teora de grupos y usar este vocablo, por primera vez, en matemticas. Y empez por los grupos no abelianos. El concepto de permutacin aparece en la obra hebrea Sefer Yetzirah (El libro de la creacin), un manuscrito elaborado por un mstico entre el ao 200 y el 600. Pero exista ya un resultado anterior de Xencrates de Calcedonia (396-314 a.C.)[1]

Referencias
[1] Grimaldi, Ralph: Matemticas discreta y combinatoria 0-201-65376-1 , pg.44

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Permutacin Fuente: http://es.wikipedia.org/w/index.php?oldid=73847630 Contribuyentes: Acratta, Agualin, Airunp, Alefisico, Angel GN, Antur, Arcibel, Arjuno3, Balderai, BlackBeast, Bts5454, CaStarCo, Dark Bane, Davius, Diegusjaimes, ERFon, Eduardo Lima, Elwikipedista, Er Komandante, Erwin Ried, Farisori, Focojoaco, Gaston 74, Gato ocioso, Gengiskanhg, GermanX, HiTe, Icvav, JABO, JAGT, JacobRodrigues, Jarisleif, Jerowiki, Jkbw, Jotego, Juan Manuel, Juan Mayordomo, Julie, Julio grillo, Krycho, Kved, Leonpolanco, Magister Mathematicae, Maquedasahag, Matdrodes, Mau86, Miss Manzana, Nachotraidor, Orendona, PabloCastellano, Patxi Aguado, Paz.ar, Petruss, Plux, Raulshc, Ricardogpn, RosenJax, Santiago Hernndez, Sigmanexus6, Sil vis 2n, SuperBraulio13, Tano4595, Tirithel, UA31, Ukrayina, Varano, Xmontero, Xsm34, 194 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

File:Permutacin de 1,2,3.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Permutacin_de_1,2,3.svg Licencia: Creative Commons Zero Contribuyentes: Magister Mathematicae Archivo:050712 perm 1.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:050712_perm_1.png Licencia: Public Domain Contribuyentes: en:User:Wzwz File:Loupe light.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Loupe_light.svg Licencia: Public Domain Contribuyentes: Hohum, Jimmy44, Mate2code File:Symmetric group 4; permutation list with matrices.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Symmetric_group_4;_permutation_list_with_matrices.svg Licencia: Public Domain Contribuyentes: User:Mate2code

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/