Projektion (Lineare Algebra)

Die lineare Abbildung T ist die Projektion entlang k auf m. Alle Punkte im Bild m (z. B. w) werden von T auf sich selbst (z. B. Tw) abgebildet.

In der Mathematik ist eine Projektion oder ein Projektor eine spezielle lineare Abbildung (Endomorphismus) über einem Vektorraum V {\displaystyle V} , die alle Vektoren in ihrem Bild (ein Unterraum von V {\displaystyle V} ) unverändert lässt.

Bei geeigneter Wahl einer Basis von V {\displaystyle V} setzt die Projektion einige Komponenten eines Vektors auf null und behält die übrigen bei. Damit ist auch anschaulich die Bezeichnung Projektion gerechtfertigt, wie etwa bei der Abbildung eines Hauses in einem zweidimensionalen Grundriss.

Definition

Sei V {\displaystyle V} ein Vektorraum. Ein Vektorraum-Endomorphismus P : V V {\displaystyle P\colon V\to V} heißt Projektion, falls er idempotent ist, also wenn P P = P {\displaystyle P\circ P=P} gilt.

Eigenschaften

Eine Projektion kann nur die Zahlen 0 und 1 als Eigenwert haben. Die Eigenräume sind

  • ker P {\displaystyle \ker P} (Kern von P {\displaystyle P} ) zum Eigenwert 0 und
  • im P {\displaystyle \operatorname {im} P} (Bild von P {\displaystyle P} ) zum Eigenwert 1.

Der gesamte Raum ist die direkte Summe dieser beiden Untervektorräume:

V = ker P im P {\displaystyle V=\ker P\oplus \operatorname {im} P}

Die Abbildung P {\displaystyle P} ist anschaulich gesprochen eine Parallelprojektion auf im P {\displaystyle \operatorname {im} P} entlang ker P {\displaystyle \ker P} .

Ist P {\displaystyle P} eine Projektion, so ist auch id P {\displaystyle \operatorname {id} -P} eine Projektion, und es gilt:

ker P = im ( id P ) {\displaystyle \ker P=\operatorname {im} (\operatorname {id} -P)}
im P = ker ( id P ) {\displaystyle \operatorname {im} P=\ker(\operatorname {id} -P)}

Projektionen und Komplemente

Ist V {\displaystyle V} ein Vektorraum und U {\displaystyle U} ein Unterraum, so gibt es im Allgemeinen viele Projektionen auf U {\displaystyle U} , d. h. Projektionen, deren Bild U {\displaystyle U} ist. Ist P {\displaystyle P} eine Projektion mit Bild U {\displaystyle U} , so ist ker P {\displaystyle \ker P} ein Komplement zu U {\displaystyle U} in V {\displaystyle V} .

Ist umgekehrt W {\displaystyle W} ein Komplement von U {\displaystyle U} in V {\displaystyle V} , also V = U W {\displaystyle V=U\oplus W} , so lässt sich jedes v V {\displaystyle v\in V} als Summe v = u + w {\displaystyle v=u+w} mit eindeutig bestimmten u U {\displaystyle u\in U} und w W {\displaystyle w\in W} darstellen. Der Endomorphismus von V {\displaystyle V} , der jedem v {\displaystyle v} das zugehörige u {\displaystyle u} zuordnet, ist eine Projektion mit Bild U {\displaystyle U} und Kern W {\displaystyle W} . Projektionen und Zerlegungen in komplementäre Unterräume entsprechen einander also.

Orthogonale Projektion

Orthogonale Zerlegung eines Vektors v {\displaystyle v} in einen Teil P ( v ) = u {\displaystyle P(v)=u} in einer Ebene U {\displaystyle U} und einen Teil v P ( v ) = u {\displaystyle v-P(v)=u^{\perp }} im orthogonalen Komplement U {\displaystyle U^{\perp }} der Ebene
Hauptartikel: Orthogonalprojektion

Ist V {\displaystyle V} ein endlichdimensionaler reeller oder komplexer Vektorraum mit einem Skalarprodukt, so gibt es zu jedem Untervektorraum U {\displaystyle U} die Projektion entlang des orthogonalen Komplements von U {\displaystyle U} , die „Orthogonalprojektion auf U {\displaystyle U} “ genannt wird. Sie ist die eindeutig bestimmte lineare Abbildung P : V V {\displaystyle P\colon V\to V} mit der Eigenschaft, dass für alle v V {\displaystyle v\in V}

  • P ( v ) U {\displaystyle P(v)\in U} und
  • v P ( v ) U {\displaystyle v-P(v)\perp U}

gilt.

Ist V {\displaystyle V} ein unendlichdimensionaler Hilbertraum, so gilt diese Aussage mit dem Projektionssatz entsprechend auch für abgeschlossene Untervektorräume U {\displaystyle U} . In diesem Fall kann P {\displaystyle P} stetig gewählt werden.

Beispiele

Als einfache Beispiele lassen sich für jeden Vektorraum V {\displaystyle V} die Identität I d : v v {\displaystyle Id:v\mapsto v} und die Abbildung N : v 0 {\displaystyle N\colon v\mapsto 0} für v V {\displaystyle v\in V} als triviale Projektionen angeben (die sich durch die Einheits- bzw. Nullmatrix darstellen lassen).

Es sei P {\displaystyle P} die Abbildung der Ebene R 2 {\displaystyle \mathbb {R} ^{2}} in sich, die durch die Matrix

P = ( 1 0 0 0 ) {\displaystyle P={\begin{pmatrix}1&0\\0&0\end{pmatrix}}}

beschrieben ist. Sie projiziert einen Vektor ( x y ) {\displaystyle {\tbinom {x}{y}}} auf ( x 0 ) {\displaystyle {\tbinom {x}{0}}} , also orthogonal auf die x-Achse. Der Eigenraum zum Eigenwert 0 {\displaystyle 0} , also der Kern, wird von ( 0 1 ) {\displaystyle {\tbinom {0}{1}}} , der Eigenraum zum Eigenwert 1 {\displaystyle 1} , also das Bild, wird von ( 1 0 ) {\displaystyle {\tbinom {1}{0}}} aufgespannt. Der Projektor id P {\displaystyle \operatorname {id} -P} ist die orthogonale Projektion auf die y-Achse.

Dagegen ist beispielsweise die durch die Matrix

P = ( 1 1 0 0 ) {\displaystyle P={\begin{pmatrix}1&-1\\0&0\end{pmatrix}}}

beschriebene Abbildung der Ebene zwar wegen P 2 = P {\displaystyle P^{2}=P} ebenfalls eine Projektion, allerdings keine orthogonale Projektion. Ihr Bild ist wiederum die x-Achse, ihr Kern ist jedoch die Gerade mit der Gleichung y = x {\displaystyle y=x} .

Anwendung

In der Quantenmechanik spricht man im Zusammenhang mit dem Messprozess von einer Projektion des Zustandsvektors ψ, wobei die präzise Interpretation im Folgenden beschrieben wird:

  • Als Messergebnis kommt nur einer der i. A. unendlich vielen sog. Eigenwerte der betrachteten Observablen infrage (d. h. des zugeordneten selbstadjungierten Operators im Zustandsraum des Systems, dem sog. Hilbertraum). Die Auswahl erfolgt zufällig (Kopenhagener Interpretation) mit einer gewissen Wahrscheinlichkeit, die hier nicht benötigt wird.
  • Die Berechnung der Wahrscheinlichkeit für einen Eigenwert (Messergebnis) erfolgt u. a. mithilfe der Projektion auf dessen Eigenraum.

Die Gesamtheit der so erhaltenen Projektionsoperatoren ist, bei gegebener Messgröße, „vollständig“ und ergibt die sog. Spektraldarstellung der Observablen.

Quellen

  • Gerd Fischer: Lineare Algebra. Vieweg-Verlag, ISBN 3-528-03217-0.
  • Dirk Werner: Funktionalanalysis. 6., korrigierte Auflage, Springer-Verlag, Berlin 2007, ISBN 978-3-540-72533-6, Seite 161.