Unitärer Operator

Ein unitärer Operator ist in der Mathematik ein bijektiver linearer Operator zwischen zwei Hilberträumen, der das Skalarprodukt erhält. Unitäre Operatoren sind damit spezielle orthogonale oder unitäre Abbildungen und stets normerhaltend, abstandserhaltend. beschränkt und normal. Der inverse Operator eines unitären Operators ist gleich seinem adjungierten Operator. Die Eigenwerte eines unitären Operators in einem Hilbertraum haben alle den Betrag eins. Unitäre Operatoren zwischen endlichdimensionalen Vektorräumen gleicher Dimension können nach Wahl je einer Orthonormalbasis durch unitäre Matrizen dargestellt werden. Wichtige Beispiele für unitäre Operatoren zwischen unendlichdimensionalen Funktionenräumen sind die Fouriertransformation und die Zeitentwicklungsoperatoren der Quantenmechanik.

Definition

Ein unitärer Operator ist ein bijektiver linearer Operator $T \colon V \to W$ zwischen zwei Hilberträumen $(V, \langle \cdot, \cdot \rangle_V)$ und $(W, \langle \cdot, \cdot \rangle_W)$ , sodass

$\langle Tu, Tv \rangle_W = \langle u, v \rangle_V$

für alle Vektoren $u, v \in V$ gilt. Ein unitärer Operator ist demnach ein Isomorphismus zwischen zwei Hilberträumen, der das Skalarprodukt erhält. Ein unitärer Operator zwischen zwei reellen Hilberträumen wird gelegentlich auch als orthogonaler Operator bezeichnet.

Eigenschaften

Im Folgenden werden die Zusätze V, W bei den Skalarprodukten weggelassen, da durch das Argument klar wird, um welchen Raum es sich jeweils handelt.

Grundeigenschaften

Jeder unitäre Operator stellt eine unitäre Abbildung (im reellen Fall orthogonale Abbildung) dar. Die Linearität folgt daher bereits aus der Erhaltung des Skalarprodukts und muss demnach nicht separat gefordert werden. Ein unitärer Operator erhält weiterhin die Skalarproduktnorm eines Vektors, das heißt, es gilt

$\| T v \| = \sqrt{\langle Tv, Tv \rangle} = \sqrt{\langle v, v \rangle} = \| v \|$ ,

und damit auch den Abstand zweier Vektoren. Die Abbildung stellt somit eine Isometrie dar und die beiden Räume und sind daher isometrisch isomorph. Die Eigenwerte eines unitären Operators $T \colon V \to V$ haben alle den Betrag eins. Allgemeiner liegt das Spektrum eines unitären Operators im Rand des Einheitskreises.

Operatornorm

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

$\| T \| = \sup_{\| v \| = 1} \| T v \| = \sup_{\| v \| = 1} \| v \| = 1$ .

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

Inverse

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

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

denn es gilt

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

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

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

Normalität

Aufgrund der Übereinstimmung von Inverser und Adjungierter ist ein unitärer Operator stets normal, das heißt

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

Für unitäre Operatoren auf komplexen Hilberträumen und selbstadjungierte unitäre Operatoren auf reellen Hilberträumen gilt damit der Spektralsatz.

Basistransformation

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

$\langle T v_i, T v_j \rangle = \langle v_i, v_j \rangle = \delta_{ij}$ .

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

$\begin{align} \langle T u, T v \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 T v_i, {\textstyle \sum_j} \mu_j T v_j \big\rangle = {\textstyle \sum_i} {\textstyle \sum_j} \lambda_i \bar\mu_j \big\langle T v_i, T v_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{align}$

Siehe auch

Basierend auf einem Artikel in:

Wikipedia.de