Permutation

Unter einer Permutation (von lat. permutare „(ver)tauschen“) versteht man die Veränderung der Anordnung einer Menge durch Vertauschen ihrer Elemente. In der Mathematik ist eine Permutation ein Automorphismus, d.h. eine bijektive Selbstabbildung, einer i.d.R endlichen Menge. Umgangssprachlich findet der Begriff bisweilen auch als Synonym für "Anordnung" Verwendung.

Beispiele

• "ANGSTBUDE" entsteht aus "BUNDESTAG" durch Permutation der Buchstaben (Anagramm).

• Das Mischen der Karten eines Kartenspiels ist eine Permutation auf der Menge der Karten.

• Der Stellungswechsel nach Eroberung des Aufschlagsrechts im Volleyball (rotieren) ist eine Permutation der Spieler.

• Sortieralgorithmen wie zum Beispiel der Bubble Sort arbeiten mit sukzessivem Vertauschen, d.h mit der Hintereinanderausführung von speziellen Permutationen, sogenannten Transpositionen (siehe unten).

Permutationen in der Mathematik

Definition

Eine $n$-stellige Permutation ist ein Automorphismus, d.h. eine bijektive Selbstabbildung $\sigma \colon X_{n}\rightarrow X_{n}$ auf einer Menge $X_{n}$ mit $n$ Elementen. Wir bezeichnen die Menge der Permutationen auf $X_{n}$ mit $S_{n}$. Mit anderen Worten:

$S_{n}:=Aut(X_{n})$

$S_{n}$ heißt auch die Symmetrische Gruppe auf $n$ Elementen.

Schreibweisen und Darstellungen

Es gibt im Wesentlichen zwei Arten zur Beschreibung einer $n$-stelligen Permutation: Die Matrixdarstellung und die Zykelschreibweise. Im Folgenden bezeichnen wir die $n$ Elemente von $X_{n}$ mit $1,2,...,n$ und es sei $\sigma \in S_{n}$.

Matrixdarstellung

In der ausführlichen Darstellung der Permutation $\sigma$ schreibt man diese als $(2\times n)$-Matrix. In der oberen Zeile stehen die Elemente von $X_{n}$ (in beliebiger Reihenfolge). Unter jedes $x\in X_{n}$ schreibt man in die zweite Zeile den Funktionswert $\sigma (x)$. Auch in der zweiten Zeile steht somit jedes Element von $X_{n}$ genau einmal, i.A. ist die Reihenfolge aber eine andere als in Zeile 1.

$\sigma ={\begin{pmatrix}1&2&\cdots &n\\\sigma \left(1\right)&\sigma \left(2\right)&\cdots &\sigma \left(n\right)\end{pmatrix}}$

Zykelschreibweise

Die Zykelschreibweise ist kompakter und benötigt nur eine Zeile. Wir beginnen mit einem beliebigen Element $a\in X_{n}$ und schreiben $(a\;\sigma (a)\;\sigma ^{2}(a)\;\cdots \;\sigma ^{|a|-1}(a))$, wobei $|a|$ minimal ist mit $\sigma ^{|a|}=a$ ($|a|$ ist die Ordnung von $a$). Hierbei bezeichnet $\sigma ^{k}$ die $k$-fache Hintereinanderausführung von $\sigma$ (siehe unten). Eine solche Klammer heißt ein Zykel und $|a|$ ist seine Länge. Gibt es weitere Elemente in $X_{n}$ die wir noch nicht notiert haben, so wählen wir ein solches Element $b$ und schreiben eine weitere Klammer $(b\;\sigma (b)\;\cdots \;\sigma ^{|b|-1}(b))$. Wir fahren so lange fort, bis wir jedes Element genau einmal notiert haben. Klammern in denen nur ein Element steht, können anschließend wieder gestrichen werden. Die Identität notiert man auch als leere Klammer ().

$(124)(35)$ bedeutet beispielsweise, dass 1 auf 2, 2 auf 4 und 4 auf 1 abgebildet wird und zusätzlich 3 auf 5 und 5 auf 3.

Beispiele

Ein einfaches Beispiel in verschiedenen Schreibweisen: Es sei $\sigma _{1}\colon \{a,b,c\}\rightarrow \{a,b,c\}$ durch $\sigma _{1}(a):=b$, $\sigma _{1}(b):=a$ und $\sigma _{1}(c):=c$ gegeben. Dann gilt

Matrixdarstellung:	$\sigma _{1}={\begin{pmatrix}a&b&c\\b&a&c\end{pmatrix}}$
Zykelschreibweise:	$\sigma _{1}=(ab)(c)=(ab)$ - a und b werden vertauscht, c wird gehalten

Ein weiteres Beispiel: Sei $\sigma _{2}\in S_{4}$ durch $\sigma _{2}:1,2,3,4\mapsto 4,3,2,1$ gegeben. Dann schreibt man

Matrixdarstellung:	$\sigma _{2}={\begin{pmatrix}1&2&3&4\\4&3&2&1\end{pmatrix}}$
Zyklenschreibweise:	$\sigma _{2}=(14)(23)$

Keine der Darstellungen ist eindeutig.

Verknüpfung von Permutationen, Permutationsgruppen

Die Komposition (Hintereinanderausführung, Produkt) zweier Permutationen ist erneut eine Permutation. Die Menge der Permutationen $S_{n}$ zusammen mit der Komposition als Verknüpfung ist eine Gruppe, die symmetrische Gruppe auf $n$ Elementen (Gruppentheorie). Die symmetrischen Gruppen spielen in der Mathematik eine äußerst wichtige Rolle. Es kann zum Beispiel gezeigt werden, dass jede endliche Gruppe als Untergruppe in einer symmetrischen Gruppe enthalten ist.

Beispiele zur Komposition von Permutationen

Beispiele zur Verknüpfung:

• ${\begin{pmatrix}1&2&3\\3&1&2\end{pmatrix}}\circ {\begin{pmatrix}1&2&3\\1&3&2\end{pmatrix}}={\begin{pmatrix}1&2&3\\3&2&1\end{pmatrix}}$

Man beachte, dass Verknüpfungen von rechts nach links ausgewertet werden: In der zweiten Matrix geht die 1 in die 1, in der ersten die 1 in die 3. Im Ergebnis der Verknüpfung geht also die 1 in die 3. Ebenso: zweite Matrix 2 -> 3, erste Matrix 3 -> 2, Ergebnis 2 -> 2. Und: zweite Matrix 3 -> 2, erste Matrix 2 -> 1, Ergebnis 3 -> 1.

• $(132)\circ (23)=(13)$
• $(23)\circ (132)=(12)$

Die beiden letzten Beispiele zeigen, dass die Reihenfolge in der Zykelschreibweise i.A. von Bedeutung ist: Die symmetrische Gruppe $S_{n}$ ist nicht kommutativ ($n\geq 3$).

Spezielle Permutationen

Identität

Die Identität ist diejenige Permutation, die alle Elemente an ihrem Platz belässt.

Transposition

Eine Transpositon ist eine Permutation, die genau zwei Elemente miteinander vertauscht. Da eine Transposition in Zykelschreibweise als $(ab)$ geschrieben wird, wobei $a$ und $b$ die beiden vertauschten Elemente sind, ist 2-Zykel ein anderes Wort für Transposition.

Involution

Als Involution bezeichnet man eine Permutation (allgemeiner: jeden Endomorphismus) $\pi$ für die $\pi ^{2}={\mbox{id}}$ gilt. Eine Permutation ist genau dann eine Involution, wenn sie nur aus Fixpunkten und Transpositionen besteht.

Derangement

Als Derangement bezeichnet man eine fixpunktfreie Permutation. Dies ist eine Permutation bei der kein einziges Element an seinem Platz bleibt.

Ein Element, dessen Position sich bei der Permutation nicht ändert, nennt man einen Fixpunkt der Permutation. Bei der Permutation $(1,2,3,4)\mapsto (1,3,2,4)$ sind also genau 1 und 4 Fixpunkte. Man beachte den Unterschied in der Notation von Zykeln und Tupeln.

Inverse Permutation

Zu jeder Permutation $\pi$ gibt es eine Permutation $\pi ^{-1}$ mit $\pi \circ \pi ^{-1}=\pi ^{-1}\circ \pi ={\mbox{id}}$. Man nennt $\pi ^{-1}$ die zu $\pi$ inverse Permutation. Man erhält diese aus der Zyklendarstellung von $\pi$, indem man das erste Element des Zyklus belässt und die restlichen Elemente umdreht, also in umgekehrter Reihenfolge aufschreibt.

Gerade Permutation

Eine Permutation heißt gerade, wenn sie Komposition einer geraden Anzahl von 2-Zykeln ist (siehe Signum und weiter unten).

Einige Eigenschaften von Permutationen

• Jede Permutation ist Komposition von 2-Zykeln.

• Die Anzahl der Permutationen auf einer Menge mit n Elementen ist genau n!.

• Ordnung: Für jede Permutation $\pi$ gibt es eine kleinste natürliche Zahl $k$ derart dass $\pi ^{k}={\mbox{id}}$ gilt. Also: Wendet man ein und die selbe Permutation oft genug an, so erhält man wieder die ursprüngliche Anordnung. $k$ ist hierbei das kleinste gemeinsame Vielfache (kgV) der Längen der Zyklen von $\pi$.

Besteht eine Permutation z.B. aus einem Zyklus der Länge 2 und einem Zyklus der Länge 3 so ist $\pi ^{6}={\mbox{id}}$.

• Inversion/ Fehlstand: Man nennt ein Paar $(i,j)$ von Elementen Inversion bzgl. $\pi$, falls gilt

$i<j$ und $\pi (i)>\pi (j)$. Zwei Elemente bilden also genau dann eine Inversion, wenn nach Anwenden der Permutation das größere vor dem kleineren Element steht. Ordnet man in einer Tabelle jedem Element die Anzahl derjenigen Elemente zu, die nach der Permutation links von ihm stehen obwohl sie größer sind, so erhält man die sogenannte Inversionstafel der Permutation. Umgekehrt kann man aus jeder solchen Tafel die Permutation eindeutig bestimmen.

Beispiel: Gegeben sei die Permutation $32514$. Dann haben wir als Inversionstafel:

${\begin{pmatrix}1&2&3&4&5\\3&1&0&1&0\end{pmatrix}}$

• Signum: Sei mit $i(\pi )$ die Anzahl der Inversionen von $\pi$ bezeichnet. Dann ist das Signum von $\pi$ gegeben durch

${\mbox{sgn}}(\pi )=(-1)^{i(\pi )}$. Eine Permutation hat also Signum 1, falls die Anzahl ihrer Inversionen gerade ist, ansonsten Signum -1.

Das Signum lässt sich auch über folgende Formel bestimmen:

$\mathrm {sgn} (\pi )=(-1)^{m_{1}+m_{2}+...+m_{r}+r},$

wobei $r$ die Anzahl der Zyklen und $m_{i}$ die Länge des $i$-ten Zyklus sind ($i=1,\ldots ,r$).

• Typ: Sei mit $b_{i}$ die Anzahl der Zyklen von $\pi$ bezeichnet, welche die Länge $i$ haben. Dann ist der Typ einer Permutation der formale Ausdruck

$1^{b_{1}}2^{b_{2}}3^{b_{3}}\dots n^{b_{n}}$.

Formal bedeutet hierbei, dass das Produkt und die Potenzen nicht tatsächlich ausgerechnet werden.

• Auf weitere Eigenschaften der Permutation und der Verkettung wird bei der Symmetrischen Gruppe eingegangen.

Siehe auch

• Permutiertes Register

Wiktionary: Permutation – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen