„Unitärer Operator“ – Versionsunterschied

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
[gesichtete Version][gesichtete Version]
Inhalt gelöscht Inhalt hinzugefügt
K link
Zeile 1: Zeile 1:
Ein '''unitärer Operator''' ist in der [[Mathematik]] ein [[Bijektive Funktion|bijektiver]] [[linearer Operator]] zwischen zwei [[Hilbertraum|Hilberträumen]], der das [[Skalarprodukt]] erhält. Unitäre Operatoren sind stets [[Norm (Mathematik)|normerhaltend]], [[Isometrie|abstandserhaltend]], [[Beschränkter Operator|beschränkt]] und [[Normaler Operator|normal]]. Der [[Inverse Funktion|inverse Operator]] eines unitären Operators ist gleich seinem [[Adjungierter Operator|adjungierten Operator]] und seine [[Eigenwert]]e besitzen alle den [[Betragsfunktion|Betrag]] eins. Wichtige Beispiele für unitäre Operatoren sind die [[Fouriertransformation]] und die [[Zeitentwicklungsoperator]]en der [[Quantenmechanik]].
#WEITERLEITUNG [[Unitäre Abbildung#Unitäre Operatoren]]

== Definition ==

Ein unitärer Operator ist ein [[Bijektive Funktion|bijektiver]] [[linearer Operator]] <math>T \colon V \to W</math> zwischen zwei [[Hilbertraum|Hilberträumen]] <math>(V, \langle \cdot, \cdot \rangle_V)</math> und <math>(W, \langle \cdot, \cdot \rangle_W)</math>, sodass

:<math>\langle Tu, Tv \rangle_W = \langle u, v \rangle_V</math>

für alle Vektoren <math>u, v \in V</math> gilt. Eine unitärer Operator erhält demnach das [[Skalarprodukt]] zweier Vektoren. Ein unitärer Operator zwischen zwei reellen Hilberträumen wird gelegentlich auch als ''orthogonaler Operator'' bezeichnet.

== Eigenschaften ==

Im Folgenden werden die Zusätze <math>V, W</math> 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. Ein unitärer Operator erhält damit die [[Skalarproduktnorm]] eines Vektors, das heißt es gilt

:<math>\| T v \| = \sqrt{\langle Tv, Tv \rangle} = \sqrt{\langle v, v \rangle} = \| v \|</math>

und damit auch den [[Abstand]] zweier Vektoren, das heißt

:<math>d(T u,T v) = \| Tu - Tv \| = \| u - v \| = d(u,v)</math>.

Die beiden Räume <math>V</math> und <math>W</math> sind damit stets [[Isometrische Isomorphie|isometrisch isomorph]]. Die Eigenwerte eines unitären Operators haben alle den [[Betragsfunktion|Betrag]] eins.

=== Operatornorm ===

Für die [[Operatornorm]] eines unitären Operators <math>T</math> gilt aufgrund der Normerhaltung

:<math>\| T \| = \sup_{\| v \| = 1} \| T v \| = \sup_{\| v \| = 1} \| v \| = 1</math>.

Ein unitärer Operator ist demnach immer [[Beschränkter Operator|beschränkt]] und damit [[Stetigkeit|stetig]].

=== Normalität ===

Der [[Inverse Abbildung|inverse Operator]] <math>T^{-1}</math> eines unitären Operators <math>T</math> ist gleich seinem [[Adjungierter Operator|adjungierten Operator]] <math>T^{\ast}</math>, also

:<math>T^{-1} = T^{\ast}</math>,

denn es gilt

:<math>\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</math>.

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

:<math>\langle T u, T v \rangle = \langle u, T^{\ast} T v \rangle = \langle u, T^{-1} T v \rangle = \langle u, v \rangle</math>.

Damit ist ein unitärer Operator stets [[Normaler Operator|normal]], wobei

:<math>T^{\ast} T = T T^{\ast} = I</math>

gilt. Für unitäre Operatoren zwischen komplexen Hilberträumen und [[Selbstadjungierter Operator|selbstadjungierte]] unitäre Operatoren zwischen reellen Hilberträumen gilt der [[Spektralsatz]].

=== Basistransformation ===

Ist <math>T</math> ein unitärer Operator und ist <math>( v_i )_{i \in I}</math> eine [[Hilbertbasis]] (ein vollständiges Orthonormalsystem) von <math>V</math>, dann ist <math>( T v_i )_{i \in I}</math> eine Hilbertbasis von <math>W</math>, denn es gilt

:<math>\langle T v_i, T v_j \rangle = \langle v_i, v_j \rangle = \delta_{ij}</math>.

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

:<math>\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}</math>

== Siehe auch ==
* [[Hilbert-Schmidt-Operator]]

== Literatur ==
* {{Literatur|Autor=Hans Wilhelm Alt|Titel=Lineare Funktionalanalysis: Eine anwendungsorientierte Einführung|Auflage=5.|Jahr=2008|Verlag=Springer|ISBN=3-540-34186-2}}
* {{Literatur|Autor=Dirk Werner|Titel=Funktionalanalysis|Verlag=Springer|Auflage=5.|Jahr=2005|ISBN=3-540-21381-3}}

== Weblinks ==
* {{EoM|Autor=V.I. Sobolev|Titel=Unitary operator|Url=http://www.encyclopediaofmath.org/index.php/Unitary_operator}}
* {{MathWorld|title=Unitary|id=Unitary}}
* {{PlanetMath|author=asteroid|title=Unitary|id=unitary}}

{{SORTIERUNG:Unitarer Operator}}
[[Kategorie:Funktionalanalysis]]

Version vom 6. Mai 2014, 10:54 Uhr

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 stets normerhaltend, abstandserhaltend, beschränkt und normal. Der inverse Operator eines unitären Operators ist gleich seinem adjungierten Operator und seine Eigenwerte besitzen alle den Betrag eins. Wichtige Beispiele für unitäre Operatoren sind die Fouriertransformation und die Zeitentwicklungsoperatoren der Quantenmechanik.

Definition

Ein unitärer Operator ist ein bijektiver linearer Operator zwischen zwei Hilberträumen und , sodass

für alle Vektoren gilt. Eine unitärer Operator erhält demnach das Skalarprodukt zweier Vektoren. Ein unitärer Operator zwischen zwei reellen Hilberträumen wird gelegentlich auch als orthogonaler Operator bezeichnet.

Eigenschaften

Im Folgenden werden die Zusätze 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. Ein unitärer Operator erhält damit die Skalarproduktnorm eines Vektors, das heißt es gilt

und damit auch den Abstand zweier Vektoren, das heißt

.

Die beiden Räume und sind damit stets isometrisch isomorph. Die Eigenwerte eines unitären Operators haben alle den Betrag eins.

Operatornorm

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

.

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

Normalität

Der inverse Operator eines unitären Operators ist gleich seinem adjungierten Operator , also

,

denn es gilt

.

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

.

Damit ist ein unitärer Operator stets normal, wobei

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

Basistransformation

Ist ein unitärer Operator und ist eine Hilbertbasis (ein vollständiges Orthonormalsystem) von , dann ist eine Hilbertbasis von , denn es gilt

.

Sind umgekehrt und Hilbertbasen von und und ist linear, so folgt daraus die Unitarität von , denn man erhält

Siehe auch

Literatur

  • Hans Wilhelm Alt: Lineare Funktionalanalysis: Eine anwendungsorientierte Einführung. 5. Auflage. Springer, 2008, ISBN 3-540-34186-2.
  • Dirk Werner: Funktionalanalysis. 5. Auflage. Springer, 2005, ISBN 3-540-21381-3.

Weblinks