Lineare Abbildung
aus Wikipedia, der freien Enzyklopädie
Die lineare Abbildung (auch linearer Operator) ist ein Begriff aus dem mathematischen Teilgebiet der linearen Algebra. Man bezeichnet damit eine Funktion zwischen zwei Vektorräumen, bei der es unerheblich ist, ob man zwei Vektoren zuerst addiert und dann deren Summe abbildet oder zuerst die Vektoren abbildet und dann die Summe der Bilder bildet. Gleiches gilt für die Multiplikation mit einem Skalar (z.B. einer reellen Zahl).
Das abgebildete Beispiel einer Spiegelung an der Y-Achse verdeutlicht dies. Der Vektor ist die Summe der Vektoren und und sein Bild der Vektor . Man erhält aber auch, wenn man die Bilder und der Vektoren und addiert.
Bei dieser Eigenschaft spricht man davon, dass eine lineare Abbildung mit den Vektorraum-Verknüpfungen Vektoraddition und skalarer Multiplikation verträglich ist. Es handelt sich somit bei der linearen Abbildung um einen Homomorphismus zwischen Vektorräumen.
In der Funktionalanalysis, bei der Betrachtung unendlichdimensionaler Vektorräume, die eine Topologie tragen, spricht man meist von linearen Operatoren statt von linearen Abbildungen. Formal gesehen sind die Begriffe synonym. Bei unendlichdimensionalen Vektorräumen ist jedoch die Frage der Stetigkeit bedeutsam, während Stetigkeit immer vorliegt bei linearen Abbildungen zwischen endlich-dimensionalen reellen Vektorräumen (jeweils mit der Euklidischen Norm) oder allgemeiner zwischen endlich-dimensionalen hausdorffschen topologischen Vektorräumen.
Inhaltsverzeichnis |
[Bearbeiten] Formale Definition
Seien V und W Vektorräume über einem gemeinsamen Grundkörper K. Eine Abbildung heißt lineare Abbildung, wenn für alle und die folgenden Bedingungen gelten:
- f ist homogen:
- f ist additiv:
Nimmt man einen zweiten Skalar hinzu, kann man die zwei obigen Bedingungen durch eine einzige ersetzen:
Eine andere, gleichwertige Bedingung ist die Forderung, dass der Graph der Abbildung f ein Untervektorraum der Summe der Vektorräume V und W ist.
[Bearbeiten] Eigenschaften
Eine lineare Abbildung zwischen den Vektorräumen V und W bildet den Nullvektor von V auf den Nullvektor von W ab:
- f(0) = 0
Dies folgt direkt aus der Additivität der linearen Abbildung: f(0) = f(0 − 0) = f(0) − f(0) = 0.
[Bearbeiten] Diagonalisierbarkeit
Eine lineare Abbildung heißt diagonalisierbar, wenn eine Basis B von V existiert, sodass die Darstellungsmatrix eine Diagonalmatrix ist.
[Bearbeiten] Bild und Kern
Zwei bei der Betrachtung linearer Abbildungen wichtige Mengen sind das Bild und der Kern einer linearen Abbildung . Das Bild der Abbildung ist die Menge der Vektoren aus W, die f tatsächlich annimmt. Sie bilden einen Untervektorraum von W. Der Kern der Abbildung ist die Menge der Vektoren aus V, die durch f auf den Nullvektor von W abgebildet werden. Sie bilden einen Untervektorraum von V. Ist f injektiv, dann enthält der Kern nur den Nullvektor.
Bild und Kern stehen über den Dimensionssatz in Bezug. Dieser sagt aus, dass die Dimension von V gleich der Summe der Dimensionen des Bildes und des Kerns ist:
[Bearbeiten] Darstellungsmatrix
Die Artikel Lineare Abbildung#Darstellungsmatrix und Abbildungsmatrix überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Die Diskussion über diese Überschneidungen findet hier statt. Bitte äußere dich dort, bevor du den Baustein entfernst. HeikoTheissen 09:34, 28. Sep 2006 (CEST) |
Jede lineare Abbildung kann durch eine Matrix dargestellt werden. Deren Einträge hängen neben der Abbildung f nur von je einer frei wählbaren Basis von V und von W ab. Man bezeichnet sie als Darstellungsmatrix oder BfA.
Wenn die Standardbasis des m-dimensionalen Spaltenraums ist, ergibt sich die Darstellungsmatrix, indem man die Bilder der Basisvektoren von V als Spalten einer Matrix auffasst:
Im allgemeinen Fall müssen, um die Einträge aji der Darstellungsmatrix zu ermitteln, die Bilder als Linearkombinationen der Basisvektoren von W dargestellt werden:
(Siehe auch Matrix.)
Im Gegenzug legt auch jede Matrix eine lineare Abbildung fest:
Die Linearität der Abbildung f lässt sich an Hand der Lineariät von A zeigen.
[Bearbeiten] Existenz
Um zu beweisen, dass die Darstellungsmatrix wirklich die lineare Abbildung f repräsentiert, führt man die Matrizenmultiplikation aus:
[Bearbeiten] Eindeutigkeit
Auch die Eindeutigkeit der Darstellungsmatrix lässt sich auf einfache Weise zeigen. Sind A und B zwei Darstellungsmatrizen der linearen Abbildung f, so gilt
Setzt man in diese Gleichung einen beliebigen Basisvektor von V ein, erhält man
Da die Bilder der Basisvektoren jedoch gerade die Spalten der Darstellungsmatrizen A und B sind, sind beide Matrizen identisch und es gibt somit nur eine Darstellungsmatrix der Abbildung f.
[Bearbeiten] Spezialfälle
- Monomorphismus
- Ein Monomorphismus zwischen Vektorräumen ist eine lineare Abbildung , die injektiv ist. Dies trifft genau dann zu, wenn die Spaltenvektoren der Darstellungsmatrix linear unabhängig sind.
- Epimorphismus
- Ein Epimorphismus zwischen Vektorräumen ist eine lineare Abbildung , die surjektiv ist. Dies trifft genau dann zu, wenn die Spaltenvektoren der Darstellungsmatrix eine Erzeugendensystem von W bilden.
- Isomorphismus
- Ein Isomorphismus zwischen Vektorräumen ist eine lineare Abbildung , die bijektiv ist. Dies trifft genau dann zu, wenn die Spaltenvektoren der Darstellungsmatrix eine Basis von W bilden. Die beiden Räume V und W bezeichnet man dann als isomorph.
- Endomorphismus
- Ein Endomorphismus zwischen Vektorräumen ist eine lineare Abbildung bei der die Räume V und W gleich sind: . Die Darstellungsmatrix dieser Abbildung ist eine quadratische Matrix.
- Automorphismus
- Ein Automorphismus zwischen Vektorräumen ist eine bijektive lineare Abbildung bei der die Räume V und W gleich sind. Er ist also sowohl ein Isomorphismus als auch ein Endomorphismus. Die Darstellungsmatrix dieser Abbildung ist eine reguläre Matrix.
[Bearbeiten] Vektorraum der linearen Abbildungen
Die linearen Abbildungen bilden zusammen mit dem Grundkörper K einen Vektorraum. Das bedeutet, dass die Addition von zwei Operatoren A und B wieder eine lineare Abbildung ist:
ebenso wie die Multiplikation eines Operators mit einem Skalar :
[Bearbeiten] Algebra der linearen Abbildungen
Betrachten wir die Menge der linearen Selbstabbildungen auf einem Vektorraum. Diese bilden – wie wir schon wissen – selber wieder einen Vektorraum. Aber wir haben noch mehr Struktur. Mit der Verkettung von Abbildungen bilden sie eine assoziative Algebra.
[Bearbeiten] Verallgemeinerung
Eine lineare Abbildung ist ein Spezialfall einer affinen Abbildung.
[Bearbeiten] Literatur
- Detlef Wille: Repetitorium der Linearen Algebra Teil 1. 4. Auflage. Binomi, Springe 2003, ISBN 3-923923-40-6