# Ähnlichkeit (Matrix)

In dem mathematischen Teilgebiet lineare Algebra ist Ähnlichkeit eine Äquivalenzrelation auf der Klasse der quadratischen Matrizen. Ähnliche Matrizen beschreiben dieselbe lineare Selbstabbildung (Endomorphismus) bei Verwendung unterschiedlicher Basen.

## Definition: Ähnlichkeit Matrix

Zwei $n$-dimensionale quadratische Matrizen $A,B\in K^{n\times n}$ über dem Körper $\mathbb {K}$ heißen zueinander ähnlich, wenn es eine reguläre Matrix $S\in K^{n\times n}$ gibt, sodass
    $B=S^{-1}AS$
oder äquivalent
    $SB=AS$
gilt.

## Definitions Ähnlichkeitsabbildung

Sei $\mathbb {K}$ ein Körper. Die Abbildung
    $f:Mat(n\times n,\mathbb {K} )\to Mat(n\times n,\mathbb {K} ),\qquad A\mapsto B=S^{-1}AS$
heißt Ähnlichkeitsabbildung oder Ähnlichkeitstransformation. Ist eine Matrix einer Diagonalmatrix ähnlich, so heißt sie diagonalisierbar; ist sie einer oberen Dreiecksmatrix ähnlich, so heißt sie trigonalisierbar.

## Beispiel

Die beiden reellen Matrizen
    $A={\begin{pmatrix}-3&2\\-1&0\end{pmatrix}}$ und $B={\begin{pmatrix}2&3\\-4&-5\end{pmatrix}}$
sind zueinander ähnlich, denn mit der regulären Matrix
    $S={\begin{pmatrix}2&1\\3&2\end{pmatrix}}$
gilt $S^{-1}AS$

### Berechnung

    $S^{-1}AS={\begin{pmatrix}2&-1\\-3&2\end{pmatrix}}\cdot {\begin{pmatrix}-3&2\\-1&0\end{pmatrix}}\cdot {\begin{pmatrix}2&1\\3&2\end{pmatrix}}={\begin{pmatrix}2&-1\\-3&2\end{pmatrix}}\cdot {\begin{pmatrix}0&1\\-2&-1\end{pmatrix}}={\begin{pmatrix}2&3\\-4&-5\end{pmatrix}}=B$.
Die Matrix $S$ ist dabei nicht eindeutig bestimmt, denn auch jedes Vielfache $cS$ mit $c\neq 0$ erfüllt diese Identität.

## Eigenschaften
### Charakteristisches Polynom

Zwei zueinander ähnliche Matrizen $A,B\in K^{n\times n}$ haben das gleiche charakteristische Polynom, denn es gilt mit der Kommutativität der Einheitsmatrix $I\in K^{n\times n}$, dem Determinantenproduktsatz und der Determinante der Inversen
    ${\begin{aligned}\chi _{B}(\lambda )&=\det(\lambda I-B)=\det(\lambda I-S^{-1}AS)=\det(S^{-1}\lambda IS-S^{-1}AS)=\\&=\det(S^{-1}(\lambda I-A)S)=\det(S^{-1})\det(\lambda I-A)\det(S)=\det(\lambda I-A)=\chi _{A}(\lambda ).\end{aligned}}$

### Eigenwerte

Daher haben zueinander ähnliche Matrizen
* die gleichen Eigenwerte (aber nicht notwendigerweise die gleichen Eigenvektoren),
* die gleiche Determinante und
* die gleiche Spur.
Außerdem haben zueinander ähnliche Matrizen
* den gleichen Rang,
* das gleiche Minimalpolynom und
* die gleiche jordansche Normalform.

### Charakterisierung

Zwei komplexe Matrizen sind genau dann zueinander ähnlich, wenn sie (bis auf die Reihenfolge der Jordanblöcke) die gleiche jordansche Normalform haben.
Allgemein sind nach dem Lemma von Frobenius zwei Matrizen $A$ und $B$ genau dann zueinander ähnlich, wenn sie die gleiche Frobenius-Normalform besitzen. Das ist genau dann der Fall, wenn ihre charakteristischen Matrizen $xI-A$ und $xI-B$ die gleiche Smith-Normalform aufweisen.

### Äquivalenzklassen

Die Ähnlichkeit von Matrizen ist eine Äquivalenzrelation, also reflexiv, symmetrisch und transitiv. Man schreibt
    $A\sim B$,
wenn $A$ und $B$ zueinander ähnlich sind, und notiert die zu einer Matrix $A\in K^{n\times n}$ zugehörige Äquivalenzklasse durch
    $[A]=\{B\in K^{n\times n}\mid B\sim A\}$.
Zum Beispiel besteht die Äquivalenzklasse der zu einem Vielfachen $cI$ mit $c\in K$ der Einheitsmatrix $I\in K^{n\times n}$ ähnlichen Matrizen aus genau einem Element $\left[cI\right]=\{cI\}$, denn $S^{-1}(cI)S=cI$ für alle regulären Matrizen $S\in K^{n\times n}$.
Die Ähnlichkeit von Matrizen ist ein Spezialfall der allgemeiner definierten Äquivalenz auf der Klasse der $(m\times n)$-Matrizen.

## Berechnung der Transformationsmatrix
### Vorgehensweise

Sind zwei zueinander ähnliche Matrizen $A,B\in K^{n\times n}$ gegeben, so lässt sich eine Matrix $S$, mit der $B=S^{-1}AS$ gilt, folgendermaßen ermitteln. Zunächst werden die beiden Matrizen $A$ und $B$ in die gleiche Frobenius-Normalform (oder, falls möglich, die gleiche Jordan-Normalform) $F\in K^{n\times n}$ überführt. Sind die beiden hierzu verwendeten Ähnlichkeitstransformationen
    $F=G^{-1}AG$ und $F=H^{-1}BH$
mit regulären Matrizen $G,H\in K^{n\times n}$, so folgt daraus durch Gleichsetzen
    $B=HG^{-1}AGH^{-1}=\left(GH^{-1}\right)^{-1}A\left(GH^{-1}\right)$.
Die gesuchte Transformationsmatrix ist demnach
    $S=GH^{-1}$.

### Beispiel

Seien die beiden $(2\times 2)$-Matrizen $A$ und $B$ wie im obigen Beispiel gegeben. Die charakteristischen Polynome der beiden Matrizen ergeben sich zu
    $\chi _{A}(\lambda )=\det(\lambda I-A)=(\lambda +3)\lambda +2=(\lambda +2)(\lambda +1)$
und
    $\chi _{B}(\lambda )=\det(\lambda I-B)=(\lambda -2)(\lambda +5)+12=(\lambda +2)(\lambda +1)$.
Die beiden charakteristischen Polynome stimmen also überein, wobei die Eigenwerte $\lambda _{1}=-2$ und $\lambda _{2}=-1$ sind. Weil das charakteristische Polynom vollständig in reelle Linearfaktoren zerfällt, lässt sich zu beiden Matrizen die gleiche Jordan-Normalform aufstellen, die in diesem Fall die Diagonalgestalt
    $F={\begin{pmatrix}-2&0\\0&-1\end{pmatrix}}$
hat. Die Transformationsmatrizen in die Jordan-Normalform haben dabei die Form $G=(v_{1}\mid v_{2})$ und $H=(w_{1}\mid w_{2})$, wobei $v_{1},w_{1}$ jeweils Eigenvektoren zum Eigenwert $\lambda _{1}=-2$ und $v_{2},w_{2}$ jeweils Eigenvektoren zum Eigenwert $\lambda _{2}=-1$ sind. Für $A$ ergeben sich zwei Eigenvektoren durch Lösung von $(-2I-A)v_{1}=0$ und $(-I-A)v_{2}=0$ als
    $v_{1}={\begin{pmatrix}2\\1\end{pmatrix}}$ und $v_{2}={\begin{pmatrix}1\\1\end{pmatrix}}$.
Entsprechend ergeben sich für $B$ zwei Eigenvektoren durch Lösung von $(2I+B)w_{1}=0$ und $(I+B)w_{2}=0$ als
    $w_{1}={\begin{pmatrix}3\\-4\end{pmatrix}}$ und $w_{2}={\begin{pmatrix}1\\-1\end{pmatrix}}$.
Die beiden Transformationsmatrizen in die Jordan-Normalform $F$ sind demnach
    $G={\begin{pmatrix}2&1\\1&1\end{pmatrix}}$ und $H={\begin{pmatrix}3&1\\-4&-1\end{pmatrix}}$,
und die gesuchte Ähnlichkeitstransformationsmatrix ist damit
    $S=GH^{-1}={\begin{pmatrix}2&1\\1&1\end{pmatrix}}\cdot {\begin{pmatrix}-1&-1\\4&3\end{pmatrix}}={\begin{pmatrix}2&1\\3&2\end{pmatrix}}$.