Unitäre Gruppe

In der Mathematik bezeichnet die unitäre Gruppe U(H) über einem komplexen Hilbertraum die Gruppe aller unitären komplex linearen Abbildungen über . Unitäre Gruppen und ihre Untergruppen spielen eine zentrale Rolle in der Quantenphysik, wo sie zur Beschreibung von Symmetrien der Wellenfunktion dienen.

Eigenschaften

Im allgemeinen Fall ist die unitäre Gruppe mit der Supremumsnorm eine Banach-Lie-Gruppe. Man kann die unitäre Gruppe mit der schwachen Operator-Topologie versehen. Diese fällt, eingeschränkt auf die unitäre Gruppe, mit der starken Operator-Topologie zusammen. Für endlichdimensionale Hilberträume fallen die von der Supremumsnorm induzierte Topologie und die Operator-Topologie zusammen.

Die unitäre Gruppe über einem endlichdimensionalen Hilbertraum der Dimension ist eine reelle Lie-Gruppe der Dimension $n^{2}$ und wird mit U(n) bezeichnet. Die Gruppe U(n) ist eine Untergruppe der allgemeinen linearen Gruppe $\mathrm{GL}(n,\mathbb{C})$ und lässt sich konkret realisieren durch die Menge der unitären $n\times n$ Matrizen mit der Matrixmultiplikation als Gruppenoperation. Für gegebenes bilden die unitären Matrizen mit Determinante 1 eine mit SU(n) bezeichnete Untergruppe von U(n) , die spezielle unitäre Gruppe.

Beispiel

Die neben der trivialen Gruppe U(0) einfachste unitäre Gruppe ist U(1), die sogenannte Kreisgruppe, die Gruppe der linearen Abbildungen der komplexen Zahlen, die das Betragsquadrat unverändert lassen, mit der Verkettung als Gruppenoperation. Die Gruppe ist abelsch und lässt sich konkret realisieren durch die Menge der Funktionen $u_\alpha$ , die jeweils eine gegebene komplexe Zahl mit einem Phasenfaktor $e^{\mathrm{i} \alpha}$ multiplizieren, wobei $\alpha$ eine reelle Zahl ist:

$u_\alpha(z) = e^{\mathrm{i}\alpha} \; z$

Die Abbildung $u_\alpha$ beschreibt eine Drehung der komplexen Zahlenebene um den Winkel $\alpha$ . Diese Gruppe ist topologisch isomorph zur Gruppe $\{z\in \C;\,|z|=1\}$ mit der Multiplikation komplexer Zahlen als Gruppenoperation.

Das Zentrum von U(n) für beliebiges ist $\{z\cdot 1_n;\,z\in \C,\,|z|=1\}$ , wobei 1_n die n-dimensionale Einheitsmatrix sei, und daher isomorph zu U(1)

Basierend auf einem Artikel in:

Wikipedia.de