Unitäre Abbildung

Eine unitäre Abbildung oder unitäre Transformation ist in der Mathematik eine Abbildung zwischen zwei komplexen Skalarprodukträumen, die das Skalarprodukt erhält. Unitäre Abbildungen sind stets linear, injektiv, normerhaltend und abstandserhaltend. Die Eigenwerte einer unitären Abbildung besitzen alle den Betrag eins. Die bijektiven unitären Abbildungen eines Skalarproduktraums in sich bilden mit der Hintereinanderausführung als Verknüpfung eine Untergruppe der Automorphismengruppe des Raums.

Eine bijektive unitäre Abbildung zwischen zwei Hilberträumen wird auch unitärer Operator genannt. Jeder unitäre Operator ist beschränkt, normal und sein inverser Operator ist gleich seinem adjungierten Operator. Wichtige Beispiele für unitäre Operatoren sind die Fouriertransformation und die Zeitentwicklungsoperatoren der Quantenmechanik.

Die entsprechenden Gegenstücke bei reellen Skalarprodukträumen sind orthogonale Abbildungen und orthogonale Operatoren.

Definition

Eine Abbildung $f\colon V\to W$ zwischen zwei komplexen Skalarprodukträumen $(V,\langle \cdot ,\cdot \rangle _{V})$ und $(W,\langle \cdot ,\cdot \rangle _{W})$ heißt unitär, wenn für alle Vektoren $u,v\in V$

$\langle f(u),f(v)\rangle _{W}=\langle u,v\rangle _{V}$

gilt. Eine unitäre Abbildung ist demnach dadurch charakterisiert, dass sie das Skalarprodukt von Vektoren erhält. Insbesondere bildet eine unitäre Abbildung zueinander orthogonale Vektoren $v$ und $w$ (also Vektoren, deren Skalarprodukt null ist) auf zueinander orthogonale Vektoren $f(v)$ und $f(w)$ ab.

Beispiele

Die identische Abbildung

$f\colon V\to V,\,x\mapsto x$

ist trivialerweise unitär. Im Koordinatenraum $\mathbb {C} ^{n}$ sind unitäre Abbildungen gerade von der Form

$f\colon \mathbb {C} ^{n}\to \mathbb {C} ^{n},\,x\mapsto U\cdot x$,

wobei $U\in \mathbb {C} ^{n\times n}$ eine unitäre Matrix ist. Im Raum $\ell ^{2}$ der quadratisch summierbaren komplexen Zahlenfolgen stellt beispielsweise der Rechtsshift

$f\colon \ell ^{2}\rightarrow \ell ^{2},\,(a_{1},a_{2},a_{3},\ldots )\mapsto (0,a_{1},a_{2},a_{3},\ldots )$

eine unitäre Abbildung dar. Weitere wichtige unitäre Abbildungen sind Integraltransformationen der Form

$f\colon L^{2}(\mathbb {C} )\to L^{2}(\mathbb {C} ),\,g\mapsto \int _{\mathbb {C} }K(x,\cdot )\,g(x)~dx$

mit einem geeignet gewähltem Integralkern $K$. Ein wichtiges Beispiel hierfür ist die Fouriertransformation, deren Unitarität aus dem Satz von Plancherel folgt.

Eigenschaften

Im Folgenden sei das komplexe Skalarprodukt linear im ersten und semilinear im zweiten Argument. Die Zusätze $V,W$ werden dabei weggelassen, da durch das Argument klar wird, um welchen Raum es sich jeweils handelt.

Linearität

Eine unitäre Abbildung ist linear, das heißt für alle Vektoren $u,v\in V$ und Skalare $a,b\in \mathbb {C}$ gilt

$f(au+bv)=af(u)+bf(v)$.

Es gilt nämlich aufgrund der Bilinearität und der Symmetrie des Skalarprodukts

${\begin{aligned}&\langle f(u+v)-f(u)-f(v),f(u+v)-f(u)-f(v)\rangle =\\&=\langle f(u+v),f(u+v)\rangle -2\operatorname {Re} \langle f(u+v),f(u)\rangle -2\operatorname {Re} \langle f(u+v),f(v)\rangle +\langle f(u),f(u)\rangle +2\operatorname {Re} \langle f(u),f(v)\rangle +\langle f(v),f(v)\rangle =\\&=\langle u+v,u+v\rangle -2\operatorname {Re} \langle u+v,u\rangle -2\operatorname {Re} \langle u+v,v\rangle +\langle u,u\rangle +2\operatorname {Re} \langle u,v\rangle +\langle v,v\rangle =\\&=\langle u+v,u+v\rangle -2\langle u+v,u+v\rangle +\langle u+v,u+v\rangle =0\end{aligned}}$

sowie

${\begin{aligned}&\langle f(au)-af(u),f(au)-af(u)\rangle =\langle f(au),f(au)\rangle -2\operatorname {Re} \langle f(au),af(u)\rangle +\langle af(u),af(u)\rangle =\\&=\langle f(au),f(au)\rangle -2{\bar {a}}\operatorname {Re} \langle f(au),f(u)\rangle +|a|^{2}\langle f(u),f(u)\rangle =\langle au,au\rangle -2\langle au,au\rangle +\langle au,au\rangle =0.\end{aligned}}$

Aus der positiven Definitheit des Skalarprodukts folgt daraus dann die Additivität und die Homogenität der Abbildung.

Injektivität

Der Kern einer unitären Abbildung enthält nur den Nullvektor, denn für $v\in \operatorname {ker} f$ gilt

$\langle v,v\rangle =\langle f(v),f(v)\rangle =\langle 0,0\rangle =0$

und aus der positiven Definitheit des Skalarprodukts folgt daraus dann $v=0$. Eine unitäre Abbildung ist demnach stets injektiv. Sind $V$ und $W$ endlichdimensional mit der gleichen Dimension, dann gilt aufgrund des Rangsatzes

$\dim V=\dim \mathrm {ker} (f)+\dim \mathrm {im} (f)=\dim \mathrm {im} (f)$

und somit ist $f$ auch surjektiv und damit bijektiv. Unitäre Abbildungen zwischen unendlichdimensionalen Räumen müssen jedoch nicht notwendigerweise surjektiv sein; ein Beispiel hierfür ist der Rechtsshift.

Normerhaltung

Eine unitäre Abbildung erhält die Skalarproduktnorm eines Vektors, das heißt

$\|f(v)\|=\|v\|$,

denn es gilt

$\|f(v)\|^{2}=\langle f(v),f(v)\rangle =\langle v,v\rangle =\|v\|^{2}$.

Umgekehrt ist jede lineare Abbildung zwischen zwei komplexen Skalarprodukträumen, die die Skalarproduktnorm erhält, unitär. Es gilt nämlich aufgrund der Bilinearität und der Symmetrie des Skalarprodukts einerseits

$\|f(u+v)\|^{2}=\|u+v\|^{2}=\langle u+v,u+v\rangle =\langle u,u\rangle +2\operatorname {Re} \langle u,v\rangle +\langle v,v\rangle =\|u\|^{2}+2\operatorname {Re} \langle u,v\rangle +\|v\|^{2}$

und mit der Linearität der Abbildung andererseits

${\begin{aligned}\|f(u+v)\|^{2}&=\|f(u)+f(v)\|^{2}=\langle f(u)+f(v),f(u)+f(v)\rangle =\\&=\|f(u)\|^{2}+2\operatorname {Re} \langle f(u),f(v)\rangle +\|f(v)\|^{2}=\|u\|^{2}+2\operatorname {Re} \langle f(u),f(v)\rangle +\|v\|^{2}.\end{aligned}}$

Durch Gleichsetzen der beiden Gleichungen folgt daraus dann die Übereinstimmung der Realteile. Durch eine analoge Betrachtung von $f(u+iv)$ folgt auch die Übereinstimmung der Imaginärteile und damit die Unitarität der Abbildung.

Isometrie

Aufgrund der Normerhaltung und der Linearität erhält eine unitäre Abbildung auch den Abstand zweier Vektoren, denn für die von der Norm induzierte Metrik $d$ gilt

$d(f(u),f(v))=\|f(u)-f(v)\|=\|f(u-v)\|=\|u-v\|=d(u,v)$.

Eine unitäre Abbildung stellt damit eine Isometrie dar. Umgekehrt ist jede lineare Abbildung zwischen zwei Skalarprodukträumen, die Abstände erhält unitär. Aus der Polarisationsformel folgt nämlich

${\begin{aligned}4\langle f(u),f(v)\rangle &=\|f(u)+f(v)\|^{2}-\|f(u)-f(v)\|^{2}+i\|f(u)+if(v)\|^{2}-i\|f(u)-if(v)\|^{2}=\\&=\|u+v\|^{2}-\|u-v\|^{2}+i\|u+iv\|^{2}-i\|u-iv\|^{2}=4\langle u,v\rangle .\end{aligned}}$

Existiert eine bijektive unitäre Abbildung zwischen zwei Skalarprodukträumen, dann sind die beiden Räume isometrisch isomorph.

Eigenwerte

Ist $\lambda \in \mathbb {C}$ ein Eigenwert einer unitären Abbildung mit zugehörigem Eigenvektor $v$, so gilt

$\|v\|=\|f(v)\|=\|\lambda v\|=|\lambda |\,\|v\|$

und damit $|\lambda |=1$. Die Eigenwerte einer unitären Abbildung haben also alle den Betrag eins und sind demnach von der Form

$\lambda =e^{it}$

mit $t\in \mathbb {R}$.

Gruppeneigenschaften

Eine unitäre Abbildung $f\colon V\to V$ stellt einen Endomorphismus dar. Die Hintereinanderausführung $f\circ g$ zweier unitärer Endomorphismen ist wiederum unitär, denn es gilt

$\langle (f\circ g)(u),(f\circ g)(v)\rangle =\langle f(g(u)),f(g(v))\rangle =\langle g(u),g(v)\rangle =\langle u,v\rangle$.

Ist ein unitärer Endomorphismus bijektiv, dann ist seine Inverse $f^{-1}$ aufgrund von

$\langle f^{-1}(u),f^{-1}(v)\rangle =\langle f(f^{-1}(u)),f(f^{-1}(v))\rangle =\langle u,v\rangle$

ebenfalls unitär. Die bijektiven unitären Endomorphismen von $V$ bilden demnach eine Untergruppe der Automorphismengruppe $\mathrm {Aut} (V)$. Ist der Raum endlichdimensional mit der Dimension $n$, so ist diese Gruppe isomorph zur unitären Gruppe $\mathrm {U} (n)$.

Unitäre Operatoren

Eine bijektive unitäre Abbildung $T\colon V\to W$ zwischen zwei komplexen Hilberträumen wird auch als unitärer Operator bezeichnet.

Operatornorm

Für die Operatornorm eines unitären Operators $T$ gilt aufgrund der Normerhaltung

$\|T\|=\sup _{\|v\|=1}\|Tv\|=\sup _{\|v\|=1}\|v\|=1$.

Ein unitärer Operator ist demnach immer beschränkt und damit stetig.

Normalität

Der inverse Operator $T^{-1}$ eines unitären Operators $T$ ist gleich seinem adjungierten Operator $T^{\ast }$, also

$T^{-1}=T^{\ast }$,

denn es gilt

$\langle u,T^{\ast }v\rangle =\langle Tu,v\rangle =\langle Tu,TT^{-1}v\rangle =\langle u,T^{-1}v\rangle$.

Simmen umgekehrt Inverse und Adjungierte eines linearen Operators überein, dann ist dieser unitär, denn es gilt

$\langle Tu,Tv\rangle =\langle u,T^{\ast }Tv\rangle =\langle u,T^{-1}Tv\rangle =\langle u,v\rangle$.

Damit ist ein unitärer Operator stets normal, wobei

$T^{\ast }T=TT^{\ast }=I$

gilt. Für unitäre Operatoren gilt demach der Spektralsatz.

Basistransformation

Ist $T$ ein unitärer Operator und ist $(v_{i})_{i\in I}$ eine Hilbertbasis (ein vollständiges Orthonormalsystem) von $V$, dann ist $(Tv_{i})_{i\in I}$ eine Hilbertbasis von $W$, denn es gilt

$\langle Tv_{i},Tv_{j}\rangle =\langle v_{i},v_{j}\rangle =\delta _{ij}$.

Sind umgekehrt $(v_{i})_{i\in I}$ und $(Tv_{i})_{i\in I}$ Hilbertbasen von $V$ und $W$ und ist $T$ linear, so folgt daraus die Unitarität von $T$, denn man erhält

${\begin{aligned}\langle Tu,Tv\rangle &={\big \langle }T{\big (}{\textstyle \sum _{i}}\lambda _{i}v_{i}{\big )},T{\big (}{\textstyle \sum _{j}}\mu _{j}v_{j}{\big )}{\big \rangle }={\big \langle }{\textstyle \sum _{i}}\lambda _{i}Tv_{i},{\textstyle \sum _{j}}\mu _{j}Tv_{j}{\big \rangle }={\textstyle \sum _{i}}{\textstyle \sum _{j}}\lambda _{i}{\bar {\mu }}_{j}{\big \langle }Tv_{i},Tv_{j}{\big \rangle }=\\&={\textstyle \sum _{i}}{\textstyle \sum _{j}}\lambda _{i}{\bar {\mu }}_{j}\delta _{ij}={\textstyle \sum _{i}}{\textstyle \sum _{j}}\lambda _{i}{\bar {\mu }}_{j}\langle v_{i},v_{j}\rangle ={\big \langle }{\textstyle \sum _{i}}\lambda _{i}v_{i},{\textstyle \sum _{j}}\mu _{j}v_{j}{\big \rangle }=\langle u,v\rangle .\end{aligned}}$

Siehe auch

• Hilbert-Schmidt-Operator
• Orthogonalisierungsverfahren
• Orthogonalprojektion

Literatur

• Hans Wilhelm Alt: Lineare Funktionalanalysis: Eine anwendungsorientierte Einführung. 5. Auflage. Springer, 2008, ISBN 3-540-34186-2. 
• Ina Kersten: Analytische Geometrie und lineare Algebra. Band 1. Universitätsverlag Göttingen, 2005, ISBN 978-3-938616-26-0. 
• Hans-Joachim Kowalsky, Gerhard O. Michler: Lineare Algebra. de Gruyter, 2003, ISBN 978-3-11-017963-7. 
• Dietlinde Lau: Algebra und diskrete Mathematik. Band 1. Springer, 2011, ISBN 978-3-642-19443-6. 
• Dirk Werner: Funktionalanalysis. 5. Auflage. Springer, 2005, ISBN 3-540-21381-3. 

Weblinks

• A.L. Onishchik: Unitary transformation. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org). 
• Eric W. Weisstein: Unitary transformation. In: MathWorld (englisch).
• asteroid: Unitary. In: PlanetMath. (englisch)