Involution (Mathematik)

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Der Begriff Involution bezeichnet in der Mathematik eine selbstinverse Abbildung. Die Bezeichnung leitet sich von dem lateinischen Wort involvere „einwickeln“ ab.

Motivation[Bearbeiten]

Eine lineare Abbildung f\colon\R^n\rightarrow \R^n mit f\circ f = \operatorname{id} ist eine Spiegelung; im Fall n=3 eine Spiegelung an einem Punkt, einer Geraden oder einer Ebene. Ersetzt man \R^n durch eine beliebige, nichtleere Menge und verzichtet auf die Linearität, dann erhält man den Begriff der Involution.

Definition[Bearbeiten]

Eine Abbildung f\colon A\rightarrow A mit übereinstimmender Definitions- und Zielmenge A heißt genau dann eine Involution, wenn für alle x\in A gilt: f(f(x))=x.

Diese Forderung lässt sich auch kompakter formulieren als f\circ f = \operatorname{id}_A oder f^2=\operatorname{id}_A bzw. f= f^{-1}. Dabei bezeichnet \operatorname{id}_A die Identität auf A.

Eigenschaften[Bearbeiten]

Involutionen auf Vektorräumen[Bearbeiten]

Beispiele[Bearbeiten]

Negatives und Kehrwert[Bearbeiten]

Die Abbildungen

\mathbb R\to\mathbb R,\quad x\mapsto -x

und

\mathbb R^\times\to\mathbb R^\times,\quad x\mapsto\frac1x

sind Involutionen, denn es gilt

-(-x)=x für alle x\in\mathbb R

und

\frac1{1/x}=x für alle x\ne0.

Ist allgemein G eine abelsche Gruppe, so ist die Abbildung g\mapsto -g (bei additiver Schreibweise) bzw. g\mapsto g^{-1} (bei multiplikativer Schreibweise) ein Gruppenautomorphismus und eine Involution. Für eine nichtabelsche Gruppe ist diese Abbildung zwar auch eine Involution, aber kein Gruppenhomomorphismus.

Die Negation in der klassischen Logik ist ebenfalls eine Involution, denn es gilt:

\forall x (\lnot\lnot x \rightarrow x)

Die komplexe Konjugation[Bearbeiten]

Beim Rechnen mit komplexen Zahlen ist das Bilden der konjugiert-komplexen Zahl eine Involution: Für eine komplexe Zahl z=a+b\mathrm i mit a,b\in\mathbb R ist die konjugiert-komplexe Zahl

\bar z = z^* = a - b\mathrm i.

Nochmalige Ausführung der Konjugation liefert \overline{\overline{z}} = z^{**} = a + b\mathrm i = z.

Die Quaternionen-Konjugation[Bearbeiten]

Zur Quaternion

x=x_0+x_1 \mathrm i+x_2 \mathrm j+x_3 \mathrm k

mit x_0,x_1,x_2,x_3\in\mathbb R wird die konjugierte Quaternion durch

\bar x=x_0-x_1 \mathrm i-x_2 \mathrm j-x_3 \mathrm k

gebildet. Wegen der Umkehrung der Reihenfolge (wichtig bei nicht-kommutativen Ringen!) der Faktoren bei der Multiplikation

\overline{x \cdot y}=\bar y \cdot \bar x

wird diese Konjugation als Antiautomorphismus bezeichnet.

Nochmalige Ausführung der Konjugation liefert

\overline{\overline{x}} = x.

Sie ist also eine Involution.

Beide Eigenschaften zusammen ergeben einen involutiven Antiautomorphismus.

Das Transponieren von Matrizen[Bearbeiten]

In der Menge R^{n\times n} der quadratischen Matrizen über einem Ring R ist das Transponieren

\cdot^T\colon R^{n\times n}\rightarrow R^{n\times n}, A\mapsto A^T

eine Involution. Da R^{n\times n} ein Ring ist, sogar ein involutiver Antiautomorphismus.

Rechnen in F2[Bearbeiten]

In der additiven Gruppe des Restklassenkörpers \mathbb{F}_2 ist die Abbildung x \mapsto x+1 eine Involution:

(x + 1) + 1 = x.

Geometrie[Bearbeiten]

In der Geometrie sind Punkt- und Geradenspiegelungen Involutionen.

Involutorische Chiffren[Bearbeiten]

Involutorische Chiffren weisen die Eigenart auf, dass der Algorithmus zum Verschlüsseln und zum Entschlüsseln identisch ist. Sie sind damit besonders bequem zu handhaben. Ein einfaches Beispiel aus der Kryptologie ist die Verschiebechiffre ROT13, bei der zur Verschlüsselung jeder Buchstabe durch den um 13 Stellen im Alphabet verschobenen Buchstaben ersetzt wird. Die zweimalige Anwendung dieser Methode ergibt eine Verschiebung um 26 Buchstaben und damit wieder den ursprünglichen Klartext. In der Geschichte gab es aber auch wesentlich komplexere involutorische Verschlüsselungsverfahren. Das wohl bekannteste Beispiel ist die deutsche Verschlüsselungsmaschine ENIGMA, die im Zweiten Weltkrieg im Nachrichtenverkehr des deutschen Militärs verwendet wurde.

Die logische Funktion Exklusives Oder ist ebenfalls selbstinvers und wird daher unter anderem in Verschlüsselungsalgorithmen wie One Time Pad eingesetzt.

Körperinvolution[Bearbeiten]

Unter einer Körperinvolution versteht man üblicherweise eine Involution, die zugleich ein Körperautomorphismus ist.

Von einer Körperinvolution \sigma über einem Körper K fordert man also

\sigma^2 = \operatorname{id}_K

sowie für alle a,b\in K

\sigma(a + b) = \sigma(a) + \sigma(b)

und

\sigma(ab) = \sigma(a)\sigma(b).

Die bekannteste nichttriviale Körperinvolution ist die Konjugation über den komplexen Zahlen. Aus diesem Grund benutzt man für eine Körperinvolution oft die gleiche Schreibweise wie für die komplexe Konjugation: Anstelle von \sigma(a) wird häufig \overline{a} geschrieben.

Ein anderes Beispiel ist der Automorphismus des Körpers

\mathbb Q\left(\sqrt2\right)=\left\{a+b\sqrt2\mid a,b\in\mathbb Q\right\},

der durch

a+b\sqrt2\mapsto a-b\sqrt2

definiert ist. Man beachte, dass er im Unterschied zur komplexen Konjugation den Betrag nicht erhält:

|7-5\sqrt2|\approx0{,}1, aber |7+5\sqrt2|\approx14{,}1.

Literatur[Bearbeiten]