Unitäre Abbildung

Unitäre Abbildung

Als unitäre Abbildung (auch unitäre Transformation) bezeichnet man in der Mathematik eine bijektive lineare Abbildung, die längen- und winkelerhaltend ist. Beispiele hierfür sind Drehungen und Spiegelungen. Mathematisch bedeutet dies, dass eine unitäre Abbildung U:V\to W von einem unitären Vektorraum V auf einen anderen unitären Vektorraum W die Norm erhält, dass also für alle x\in V die Bedingung \|Ux\|_W=\|x\|_V gilt. Sie ist daher eine spezielle Form einer isometrischen Abbildung. Die Normerhaltung ist äquivalent zur Invarianz des Skalarprodukts, d. h. \langle Ux,Uy\rangle_W=\langle x,y\rangle für alle x,y\in V.

Inhaltsverzeichnis

Endlichdimensionale Vektorräume

Hauptartikel: Unitäre Matrix

Unitäre Abbildungen bezüglich des Standardskalarprodukts auf dem \mathbb{C}^n werden durch unitäre Matrizen beschrieben. Unitarität ist dort als

U^{-1} = \bar{U}^T

definiert, wobei \bar{U}^T die sogenannte adjungierte Matrix zu U ist, die durch Transposition (Vertauschen von Zeilen und Spalten) sowie komplexe Konjugation der Einträge von U entsteht.

Eine andere Charakterisierung ist die folgende: Eine Abbildung ist genau dann unitär, wenn sie

  • als Abbildung zwischen den zugrundeliegenden reellen Vektorräumen orthogonal ist (man beachte, dass die reelle Dimension der Vektorräume doppelt so groß ist wie ihre komplexe Dimension)
  • und mit der Multiplikation mit der imaginären Einheit i kommutiert.

Unendlichdimensionale Vektorräume

In unendlichdimensionalen Hilberträumen lassen sich lineare Abbildungen nicht durch Matrizen darstellen. Hier ist die Unitarität einer linearen Abbildung ϕ durch die Bedingung

ϕ * = ϕ − 1

definiert, wobei ϕ * die adjungierte Abbildung zu ϕ ist.

Darstellung mit selbstadjungierten Operatoren

Im zuletzt genannten Fall gilt aber folgende Darstellung mit selbstadjungierten Operatoren (Stonescher Satz):

Es sei \hat A ein selbstadjungierter Operator, welcher im Intervall s\in [s_0,s] nicht vom Parameter s abhänge. Dann ist die Operatorschar \hat U(s):=\exp\{ -{\rm i}\cdot (s-s_0)\cdot\hat A\,\} unitär. Auf diese Weise erhält man die Zeitentwicklungsoperatoren der Quantenmechanik; i ist dabei die imaginäre Einheit. Die Operatoren \hat U(s) können dabei auf dem ganzen Hilbertraum definiert werden, obwohl \hat A nur dicht-definiert sein muss.

Bei Parameterabhängigkeit von \hat A (in der Quantenmechanik z. B. bei expliziter Zeitabhängigkeit des Hamiltonoperators) gilt eine formal ähnliche Aussage (Dyson-Entwicklung):

Zunächst stellt man die Differentialgleichung \frac{{\rm d}\hat U}{{\rm d}s}=-{\rm i}\hat U(s) auf und löst sie iterativ durch folgende formale Reihe:

\hat U(s)=\sum\limits_{n=0}^\infty\,(-{\rm i})^n\,\int\limits_{s_0}^s{\rm d}s_1\hat A(s_1)\int\limits_{s_0}^{s_1}{\rm d}s_2\hat A(s_2)\, ...\,\int\limits_{s_0}^{s_{n-1}}{\rm d}s_n\hat A(s_n)\,\,.

Jetzt kann man durch Permutation der Argumente die oberen Integrationsgrenzen einheitlich auf den Wert s erhöhen (z. B. s_1\to s), wenn man die dadurch erfolgte Ausdehnung des Integrationsgebietes durch einen Faktor 1 / n! kompensiert und für die Einhaltung der Integrationsordnung sorgt (erstes Integrationsargument größer als das zweite, zweites größer als das dritte, u.s.w.). Auf diese Weise erhält man mit dem Dysonschen Integrationsordnungoperator {\mathcal T}_s die suggestive Formel, dass die folgende Operatorschar unitär ist:

\hat U(s) := {\mathcal T}_s\,\exp\left\{ {-\rm i}\cdot\int\limits_{s_0}^s{\rm d}s_1\hat A(s_1) \right\}

Beispiele

Zahlenbeispiel für den endlichdimensionalen Fall

Einfache Beispiele für unitäre Abbildungen sind die linearen Abbildungen A bzw. B

\mathbb{C}^2 \rightarrow \mathbb{C}^2,

die durch die Matrizen

A=\begin{pmatrix}0&1\\-1&0\end{pmatrix} bzw. B=\begin{pmatrix}\mathrm i&0\\0&\mathrm i\end{pmatrix}

gegeben sind. Explizit sind sie gegeben durch

A\begin{pmatrix}z_1\\z_2\end{pmatrix}=\begin{pmatrix}z_2\\-z_1\end{pmatrix} und B\begin{pmatrix}z_1\\z_2\end{pmatrix}=\begin{pmatrix}\mathrm iz_1\\\mathrm iz_2\end{pmatrix}.

Die Abbildungen erhalten die Norm

\sqrt{|z_1|^2+|z_2|^2}=\sqrt{|z_2|^2+|{-z_1}|^2}=\sqrt{|\mathrm iz_1|^2+|\mathrm iz_2|^2},

und die zugehörigen Matrizen sind unitär:

A^{-1}=\begin{pmatrix}0&-1\\1&0\end{pmatrix}=\bar A^T und B^{-1}=\begin{pmatrix}-\mathrm i&0\\0&-\mathrm i\end{pmatrix}=\bar B^T.

Beispiele für den unendlichdimensionalen Fall

  • Auf dem Hilbertraum L^2(\R) induzieren die Translationen
T_a\colon\R\to\R,\quad x\mapsto x+a
für beliebige a\in\R unitäre Operatoren
L^2(\R)\to L^2(\R),\quad f\mapsto f\circ T_a.

Literatur


Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • unitäre Abbildung — unitäre Abbildung,   eine lineare Abbildung A : U → V zwischen den unitären Räumen U und V mit der Eigenschaft em>Ax, Ayx …   Universal-Lexikon

  • unitäre Symmetrie — unitäre Symmetrie,   innere Symmetrie von Elementarteilchen, die aus der Invarianz gegenüber bestimmten unitären Transformationen (unitäre Abbildung) folgt und zur Klassifizierung der Hadronen und zur Beschreibung der fundamentalen… …   Universal-Lexikon

  • unitäre Transformation — unitäre Transformation,   unitäre Abbildung …   Universal-Lexikon

  • Unitäre Transformation — Als unitäre Abbildung (auch unitäre Transformation) bezeichnet man in der Mathematik eine bijektive lineare Abbildung, die längen und winkelerhaltend ist. Beispiele hierfür sind Drehungen und Spiegelungen. Mathematisch bedeutet dies, dass eine… …   Deutsch Wikipedia

  • Unitäre Gruppe — In der Mathematik bezeichnet die unitäre Gruppe U(H) über einem Hilbertraum H die Gruppe aller unitären komplex linearen Abbildungen über H. Unitäre Gruppen und ihre Untergruppen spielen eine zentrale Rolle in der Quantentheorie, wo sie zur… …   Deutsch Wikipedia

  • Orthogonale Abbildung — Die Orthogonalität bezeichnet: in der Mathematik das Konzept des Senkrechtstehens und des rechten Winkels (daher die Benennung orthogonal aus dem Griechischen für rechtwinklig); in der Informatik die freie Kombinierbarkeit unabhängiger Konzepte… …   Deutsch Wikipedia

  • Spezielle unitäre Gruppe — Die spezielle unitäre Gruppe SU(N) besteht aus den unitären NxN Matrizen mit komplexen Einträgen, deren Determinante 1 beträgt. Sie ist eine kompakte, einfache Lie Gruppe der Dimension N²−1, insbesondere auch eine differenzierbare… …   Deutsch Wikipedia

  • Unitarität — Als unitäre Abbildung (auch unitäre Transformation) bezeichnet man in der Mathematik eine bijektive lineare Abbildung, die längen und winkelerhaltend ist. Beispiele hierfür sind Drehungen und Spiegelungen. Mathematisch bedeutet dies, dass eine… …   Deutsch Wikipedia

  • Unitärer Operator — Als unitäre Abbildung (auch unitäre Transformation) bezeichnet man in der Mathematik eine bijektive lineare Abbildung, die längen und winkelerhaltend ist. Beispiele hierfür sind Drehungen und Spiegelungen. Mathematisch bedeutet dies, dass eine… …   Deutsch Wikipedia

  • Quantenschaltung — Mit Quantenschaltung wird in der Quanteninformatik ein abstraktes Modell für Quantencomputer bezeichnet. Die darin stattfindende Berechnung ist eine Folge von Quantengattern, welche reversible Transformationen auf dem quantenmechanischen… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”