Permutaciones

Sea X un conjunto y
X
S el conjunto de todas las aplicaciones biyectivas de X en
s mismo. Entonces definimos una operacin binaria en este conjunto por medio
de la composicin de aplicaciones.
X
S es un grupo con la composicin de
aplicaciones , debido a los siguientes hechos, muy bien conocidos, sobre
funciones:


En esta seccin estudiaremos el conjunto de todas las biyecciones de un conjunto
en s mismo a las que llamaremos permutaciones. Nos limitaremos aqu al caso de
un conjunto finito.

de hecho, sin prdida de generalidad, consideremos el conjunto de todas las per-
mutaciones del conjunto


es decir,

Es claro que
n
S , que contiene a todas las biyecciones posibles, es cerrado bajo
composiciones, inverso y contiene a la identidad, luego
n
S es un grupo al que
llamaremos el grupo simtrico sobre n objetos.
Existe una notacin muy prctica para representar un elemento o de Sn.
Simplemente escribimos dos renglones con los nmeros { } 1, 2,..., n ; de tal manera
que debajo de k aparece su imagen ( ) k o .



As por ejemplo, la permutacin


corresponde a la funcin


Es claro tambin que el orden en que se escriban los elementos de la permutacin
no es importante mientras la imagen de cada nmero aparezca debajo del mismo,
As


Usando esta notacin, la funcin identidad ser

:
mientras que la inversa de

Ser






( ) ( ( )) m m ut u t =


Ejemplo:
Sean


Entonces la funcin o f g est dada por


As

Por lo general, es ms fcil hacer los clculos anteriores como se indica a
continuacin

















Observacin:
n
S es un grupo no abeliano para 3 n > .
Ejemplo: Un ejemplo interesante es el grupo
3
S de 3!=6 elementos. Sea el conjunto
{1, 2, 3} A= . Lstense las permutaciones de A y a cada una asgnese una letra
griega con subndice.


Puede verificarse que la siguiente tabla es correcta.


Simetras de un Tringulo Equiltero.


En esta seccin estudiaremos conjuntos de funciones del plano en s mismo que
preservan una cierta figura, por ejemplo un tringulo, es decir, conjuntos de
biyecciones del plano tales que la imagen de la figura dada coincida con sta.
Estas funciones se denominan simetras de la figura; tambin se las conoce como
movimientos rgidos ya que envan la figura sobre ella misma sin deformarla ni
romperla.
Es claro que toda simetra es una isometra (conserva distancias) y que de stas,
ninguna traslaciones una simetra. Por lo tanto las simetras de una figura estn
constituidas por rotaciones, reflexiones y sus compuestas.




Hay una correspondencia natural entre los elementos de
3
S en el ejemplo anterior
y las maneras en que puedan colocarse, una sobre otra, dos copias de un
tringulo equiltero con vrtices 1,2 y 3. Por esta razn,
3
S es adems el grupo
3
D
de simetras de un tringulo equiltero.
Para un tringulo equiltero existen tres rotaciones, en 0, 120 y 240 en sentido
horario. La primera no es sino la identidad
0
, la segunda la denotamos por
1
y
la ltima por
2
. Note que una rotacin en 240 corresponde a efectuar dos veces
la rotacin en 120 .Observe que
1 2 2 1 0
= =
ya que una rotacin en 360 corresponde a una rotacin en 0.
Tenemos tambin tres reflexiones con respecto a las transversales de cada lado
(recuerde, se llama transversal de gravedad al segmento trazado desde un vrtice
del tringulo al punto medio del lado opuesto).

En el cuadro siguiente se ilustran las seis simetras del tringulo equiltero.



Simetras de un Cuadrado.
El grupo didrico
4
D de permutaciones, correspondientes a los modos en que
pueda superponerse dos copias de un cuadrado con vrtices 1,2,3 y 4 .
4
D ser el
grupo de simetras del cuadrado .

A continuacin indicaremos dichas simetras: cuatro rotaciones, en 0, 90,180 y
270 las que, en forma anloga al caso del tringulo, denotaremos
i
. Es claro
que no hay otras rotaciones. Tambin hay cuatro reflexiones, dos con respecto a
las simetrales (rectas perpendiculares a cada uno de los lados que pasa por su
punto medio) de los lados opuestos, denotadas por
i
y , dos con respecto a las
diagonales, denotadas por
i
o . Entonces D4 tiene ocho elementos.



El siguiente cuadro ilustra todas las simetras del cuadrado.


Tambin en este caso podemos hacer una tabla de todas las posibles
composiciones.