U(1)

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 Beschreibung von Symmetrien der Wellenfunktion dienen.

Eigenschaften

Im allgemeinen Fall ist die unitäre Gruppe mit der Supremumsnorm eine Banach-Liegruppe. 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 H der Dimension n ist eine reelle Lie-Gruppe der Dimension n² 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 n bilden die unitären Matrizen mit Determinante 1 eine mit SU(n) bezeichnete Untergruppe von U(n), die spezielle unitäre Gruppe.

Beispiel

Die einfachste unitäre Gruppe ist U(1), 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_α, die jeweils eine gegebene komplexe Zahl mit einem Phasenfaktor e^iα multiplizieren, wobei α eine reelle Zahl ist:

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

Die Abbildung u_α beschreibt eine Drehung der komplexen Zahlenebene um den Winkel α. 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 n ist $\{z\cdot 1_n;\,z\in \C,\,|z|=1\}$, wobei 1_n die n-dimensionale Einheitsmatrix sei, und daher isomorph zu U(1)