Zusammenfassung - Umkehrung affiner Abbildungen

Die Grundidee

Die Umkehrabbildung $\alpha^{-1}$ zu einer vorgegebenen (geometrischen) Abbildung $\alpha$ kehrt die Zuordnungen der vorgegebenen Abbildung $\alpha$ alle um – sofern dies möglich ist.

Die Abbildung $\alpha$ in Beispiel 1 ist umkehrbar. Die Abbildung $\alpha^{-1}$ ist die Umkehraabildung zur Abbildung $\alpha$. Wie man sie bestimmen kann, wird weiter unten erläutert.

Nicht jede (lineare) Abbildung ist umkehrbar. Die Abbildung $\alpha$ in Beispiel 2 ist nicht umkehrbar. Das erkennt man anhand von Zuordnungen, die zum selben Bildvektor führen.

Beschreibung mit Fachbegriffen

Wir präzisieren die bereits (intuitiv) verwendeten Begriffe.

Das Zusammenspiel von Abbildung und Umkehrabbildung lässt sich auch so beschreiben: Wenn man zuerst die Abbildung $\alpha$ auf einen Vektor anwendet und anschließend die Umkehrabbildung $\alpha^{-1}$ auf den Bildvektor, dann erhält man wieder den Ausgangsvektor.

In Beispiel 1 sieht man das anhand ausgewählter Zuordnungen:

$\begin{pmatrix} 8 \\ 0 \end{pmatrix} \stackrel{\alpha}{\longrightarrow} \begin{pmatrix} 8 \\ 16 \end{pmatrix} \stackrel{\alpha^{-1}}{\longrightarrow} \begin{pmatrix} 8 \\ 0 \end{pmatrix}$

Die Verkettung von Abbildung und Umkehrabbildung muss also folgende Bedingung erfüllen:

$\alpha^{-1} \circ \alpha: \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} \rightarrow \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$ bzw. $\alpha^{-1} \circ \alpha: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$

Die Verkettung $\alpha^{-1} \circ \alpha$ von Abbildung und Umkehrabbildung ergibt die identische Abbildung, die jeden Vektor auf sich selbst abbildet.

Bestimmung der Umkehrabbildung einer linearen Abbildung mit Hilfe von Zuordnungen

Wir verdeutlichen die Vorgehensweise für die lineare Abbildung aus Beispiel 1 oben.

Geg.: $\alpha: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} 1 & -2 \\ 2 & 1 \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$

Ges.: $\alpha^{-1}: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \dots$, so dass $\alpha^{-1} \circ \alpha: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$ gilt

Der folgende Ansatz geht davon aus, dass $\alpha^{-1}$ ebenfalls eine lineare Abbildung ist.

$\alpha^{-1}: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$

Mit Hilfe vorgegebener Zuordnungen kann man ein lineares Gleichungssystem für die Unbekannten $a$, $b$, $c$, $d$ bestimmen.

Bedingungen	Vektorgleichungen	Koordinatengleichungen
$\alpha^{-1}: \begin{pmatrix} 8 \\ 16 \end{pmatrix} \rightarrow \begin{pmatrix} 8 \\ 0 \end{pmatrix}$	$\begin{pmatrix} a & b \\ c & d \end{pmatrix} \cdot \begin{pmatrix} 8 \\ 16 \end{pmatrix} = \begin{pmatrix} 8 \\ 0 \end{pmatrix}$	$\begin{array}{lrcrcrcr} [1] &\quad 8a & + & 16b & = & 8 \\ [2] &\quad 8c & + & 16d & = & 0 \end{array}$
$\alpha^{-1}: \begin{pmatrix} -16 \\ 8 \end{pmatrix} \rightarrow \begin{pmatrix} 0 \\ 8 \end{pmatrix}$	$\begin{pmatrix} a & b \\ c & d \end{pmatrix} \cdot \begin{pmatrix} -16 \\ 8 \end{pmatrix} = \begin{pmatrix} 0 \\ 8 \end{pmatrix}$	$\begin{array}{lrcrcrcr} [3] &\quad -16a & + & 8b & = & 0 \\ [4] &\quad -16c & + & 8d & = & 8 \end{array}$

Das entstehende lineare Gleichungssystem lässt sich in zwei separate Gleichungssysteme aufteilen und dann mit geeigneten Verfahren lösen. Im vorliegenden Fall erhält man $a = 0.2$; $b = 0.4$; $c = -0.4$; $d = 0.2$ und somit:

$\alpha^{-1}: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} 0.2 & 0.4 \\ -0.4 & 0.2 \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$

Diese Abbildung $\alpha^{-1}$ erfüllt die beiden Bedingungen $\alpha^{-1}: \begin{pmatrix} 8 \\ 16 \end{pmatrix} \rightarrow \begin{pmatrix} 8 \\ 0 \end{pmatrix}$ und $\alpha^{-1}: \begin{pmatrix} -16 \\ 8 \end{pmatrix} \rightarrow \begin{pmatrix} 0 \\ 8 \end{pmatrix}$. Zu klären ist noch, ob sie auch die Bedingung $\alpha^{-1} \circ \alpha: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$ erfüllt.

Wir bestimmen $\alpha^{-1} \circ \alpha$:

$\alpha^{-1} \circ \alpha: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \left[ \begin{pmatrix} 0.2 & 0.4 \\ -0.4 & 0.2 \end{pmatrix} \cdot \begin{pmatrix} 1 & -2 \\ 2 & 1 \end{pmatrix} \right] \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} = \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$

Beachte: Bei der Umformung verwenden wir folgenden Zusammenhang: Die Abbildungsmatrix $\begin{pmatrix} 0.2 & 0.4 \\ -0.4 & 0.2 \end{pmatrix}$ ist die inverse Matrix zur Abbildungsmatrix $\begin{pmatrix} 1 & -2 \\ 2 & 1 \end{pmatrix}$. Das Produkt der beiden Matrizen liefert die Einheitsmatrix $\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}$.

Wir erhalten folgendes Ergebnis: Die Verkettung $\alpha^{-1} \circ \alpha$ liefert die identische Abbildung. Die ermittelte Abbildung $\alpha^{-1}$ ist somit tatsächlich die Umkehrabbildung von $\alpha$.

Bestimmung der Umkehrabbildung einer linearen Abbildung mit Hilfe der inversen Matrix

Die inverse Matrix $A^{-1}$ zu einer Matrix $A$ ist die Matrix mit $A^{-1} \cdot A = E$. Das Produkt aus der Matrix $A$ und der zugehörigen inversen Matrix $A^{-1}$ ergibt die (zur Dimension passende) Einheitsmatrix $E$.

Wenn man die inverse Matrix $A^{-1}$ zur Abbildungsmatrix $A$ einer linearen Abbildung kennt, dann liefert diese inverse Matrix direkt die Umkehrabbildung. Man kann so argumentieren:

Betrachte eine lineare Abbildung $\alpha: \vec{x}' = A \cdot \vec{x}$ mit einer umkehrbaren Abbildungsmatrix $A$. Für die Abbildung $\beta: \vec{x}' = A^{-1} \cdot \vec{x}$ gilt dann:

$\beta \circ \alpha: \vec{x}' = A^{-1} \cdot (A \cdot \vec{x}) = (A^{-1} \cdot A) \cdot \vec{x} = E \cdot \vec{x} = \vec{x}$

Die Abbildung $\beta: \vec{x}' = A^{-1} \cdot \vec{x}$ ist somit die Umkehrabbildung zur linearen Abbildung $\alpha: \vec{x}' = A \cdot \vec{x}$. Es gilt also:

$\alpha^{-1}: \vec{x}' = A^{-1} \cdot \vec{x}$

Die Verwendung der inversen Matrix bei der Bestimmung einer Umkehrabbildung ist dann von besonderem Interesse, wenn man die inverse Matrix zu einer Ausgangsmatrix direkt bestimmen kann – z.B. mit einem Computeralgebrasystem oder mit dem folgenden Satz (aus Kapitel ...).

Wir verwenden diesen Satz, um die Umkehrabbildung zur Abbildung aus Beispiel 1 erneut zu bestimmen.

Geg.: $\alpha: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} 1 & -2 \\ 2 & 1 \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$

Ges.: $\alpha^{-1}: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \dots$, so dass $\alpha^{-1} \circ \alpha: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$ gilt

Wir bestimmen die inverse Matrix zur Abbildungsmatrix $A = \begin{pmatrix} 1 & -2 \\ 2 & 1 \end{pmatrix}$:

$A^{-1} = \displaystyle{\frac{1}{1 \cdot 1 - (-2) \cdot 2}} \begin{pmatrix} 1 & 2 \\ -2 & 1 \end{pmatrix} = \displaystyle{\frac{1}{5}} \begin{pmatrix} 1 & 2 \\ -2 & 1 \end{pmatrix} = \begin{pmatrix} 0.2 & 0.4 \\ -0.4 & 0.2 \end{pmatrix}$

Es gilt also:

$\alpha^{-1}: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} 0.2 & 0.4 \\ -0.4 & 0.2 \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$

Zusammenfassung - Umkehrabbildung einer linearen Abbildung

Die (teils exemplarisch durchgeführten) durchgeführten Überlegungen lassen sich wie folgt verallgemeinern.

Bestimmung der Umkehrabbildung einer affinen Abbildung mit Hilfe der inversen Matrix

Wir starten mit einem Beispiel:

Geg.: $\alpha: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} 1 & -2 \\ 2 & 1 \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} + \begin{pmatrix} -8 \\ -4 \end{pmatrix}$

Ges.: $\alpha^{-1}: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \dots$, so dass $\alpha^{-1} \circ \alpha: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$ gilt

Beachte, dass die affine Abbildung im Beispiel hier aus der linearen Abbildung im Beispiel oben durch Hinzufügen eines Verschiebevektors hervorgeht. Im vorliegenden Fall ist es daher günstig, die Abbildung $\alpha$ in zwei Teilabbildungen $\alpha_1$ und $\alpha_2$ aufzuteilen:

$\alpha_1: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} 1 & -2 \\ 2 & 1 \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$

$\alpha_2: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} + \begin{pmatrix} -8 \\ -4 \end{pmatrix}$

Diese Aufteilung ist günstig, weil man die Umkehrabbildung $\alpha_1^{-1}$ bereits kennt und die Umkehrabbildung $\alpha_2^{-1}$ direkt angeben kann:

$\alpha_1^{-1}: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} 0.2 & 0.4 \\ -0.4 & 0.2 \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}$

$\alpha_2^{-1}: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} = \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} - \begin{pmatrix} -8 \\ -4 \end{pmatrix}$

Abbildung	Umkehrabbildung
Zuordnungsbeispiel: $\alpha: \begin{pmatrix} 8 \\ 0 \end{pmatrix} \stackrel{\alpha_1}{\longrightarrow} \begin{pmatrix} 8 \\ 16 \end{pmatrix} \stackrel{\alpha_2}{\longrightarrow} \begin{pmatrix} 0 \\ 12 \end{pmatrix}$	Zuordnungsbeispiele: $\alpha^{-1}: \begin{pmatrix} 0 \\ 12 \end{pmatrix} \stackrel{\alpha_2^{-1}}{\longrightarrow} \begin{pmatrix} 8 \\ 16 \end{pmatrix} \stackrel{\alpha_1^{-1}}{\longrightarrow} \begin{pmatrix} 8 \\ 0 \end{pmatrix}$
Vektorgleichung als allgemeine Zuordnungsvorschrift: $\begin{array}{llll} \alpha: & \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} \\ & \quad\downarrow \alpha_1 \\ & \begin{pmatrix} 1 & -2 \\ 2 & 1 \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} \\ & \quad\downarrow \alpha_2 \\ & \begin{pmatrix} 1 & -2 \\ 2 & 1 \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} + \begin{pmatrix} -8 \\ -4 \end{pmatrix} \end{array}$	Vektorgleichung als allgemeine Zuordnungsvorschrift: $\begin{array}{llll} \alpha^{-1}: & \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} \\ & \quad\downarrow \alpha_2^{-1} \\ & \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} - \begin{pmatrix} -8 \\ -4 \end{pmatrix} \\ & \quad\downarrow \alpha_1^{-1} \\ & \begin{pmatrix} 0.2 & 0.4 \\ -0.4 & 0.2 \end{pmatrix} \cdot \left[\begin{pmatrix} x_1 \\ x_2 \end{pmatrix} - \begin{pmatrix} -8 \\ -4 \end{pmatrix}\right] \end{array}$

Durch Umformen der Vektorgleichung erhält man folgende algebraische Darstellung von $\alpha^{-1}$:

$\begin{array}{llll} \alpha^{-1}: \begin{pmatrix} x_1' \\ x_2' \end{pmatrix} & = & \begin{pmatrix} 0.2 & 0.4 \\ -0.4 & 0.2 \end{pmatrix} \cdot \left[\begin{pmatrix} x_1 \\ x_2 \end{pmatrix} - \begin{pmatrix} -8 \\ -4 \end{pmatrix}\right] \\ & = & \begin{pmatrix} 0.2 & 0.4 \\ -0.4 & 0.2 \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} - \begin{pmatrix} 0.2 & 0.4 \\ -0.4 & 0.2 \end{pmatrix} \cdot \begin{pmatrix} -8 \\ -4 \end{pmatrix} \\ & = & \begin{pmatrix} 0.2 & 0.4 \\ -0.4 & 0.2 \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} - \begin{pmatrix} -3.2 \\ 2.4 \end{pmatrix} \\ & = & \begin{pmatrix} 0.2 & 0.4 \\ -0.4 & 0.2 \end{pmatrix} \cdot \begin{pmatrix} x_1 \\ x_2 \end{pmatrix} + \begin{pmatrix} 3.2 \\ -2.4 \end{pmatrix} \end{array}$

Die Überlegungen im Beispiel lassen sich direkt verallgemein. Betrachte eine affine Abbildung $\alpha: \vec{x}' = A \cdot \vec{x} + \vec{v}$ mit einer umkehrbaren Abbildungsmatrix $A$. Auch hier zerlegen wir $\alpha$ in zwei Teilabbildungen $\alpha_1$ und $\alpha_2$:

$\alpha: \vec{x} \stackrel{\alpha_1}{\longrightarrow} A \cdot \vec{x} \stackrel{\alpha_2}{\longrightarrow} A \cdot \vec{x} + \vec{v}$

Für $\alpha^{-1}$ gilt dann:

$\alpha^{-1}: \vec{x} \stackrel{\alpha_2^{-1}}{\longrightarrow} \vec{x} - \vec{v} \stackrel{\alpha_1^{-1}}{\longrightarrow} A^{-1} \cdot (\vec{x} - \vec{v})$

Eine Umformung zeigt dann, dass $\alpha^{-1}$ ebenfalls eine affine Abbildung ist.

$\alpha^{-1}: \vec{x}' = A^{-1} \cdot (\vec{x} - \vec{v}) = A^{-1} \cdot \vec{x} - A^{-1} \cdot \vec{v} = A^{-1} \cdot \vec{x} + (-A^{-1} \cdot \vec{v})$

Wir fassen das Ergebnis im folgenden Satz zusammen.