Hilbertraum-Darstellung

Hilbertraum-Darstellungen sind eine wichtige mathematische Methode zur Untersuchung von Banach-*-Algebren, insbesondere C*-Algebren und Faltungsalgebren lokalkompakter Gruppen. Es handelt sich dabei um Darstellungen als Algebren von Operatoren auf Hilberträumen.

Gegenüber der allgemeinen in der Algebra betrachteten Darstellungstheorie liegen wegen der Hilbertraum-Struktur zusätzliche Strukturelemente vor. Da ist zunächst die Topologie des Hilbertraums, die auch auf dem Raum der stetigen linearen Operatoren eine Topologie erzeugt. Eine weitere wichtige Rolle spielt die Involution in der Algebra der stetigen linearen Operatoren auf einem Hilbertraum, die durch die Adjunktion gegeben ist.

Definitionen

Ist H ein Hilbertraum, so ist die Algebra L(H) der stetigen linearen Operatoren mit der Operatornorm eine C*-Algebra.

Ist A eine Banach-*-Algebra, so heißt jeder *-Homomorphismus \pi:A\rightarrow L(H) eine Darstellung von A auf H.

Jede Darstellung ist mit dieser Definition bereits eine Kontraktion bezüglich der Norm der Banach-*-Algebra und der Operatornorm auf L(H) und somit stetig.

Viele aus der algebraischen Darstellungstheorie bekannten Begriffsbildungen haben topologische Varianten, die im nächsten Abschnitt vorgestellt werden.

Weiterführende Begriffsbildungen

Eine Hilbertraum-Darstellung \pi heißt zyklisch, wenn es einen Vektor \xi \in H gibt, so dass \{\pi(a)\xi;\, a\in A\} \subset H dicht liegt.

Ein Unterraum U\subset H heißt invariant (bzgl. der Darstellung \pi ), falls \pi(a)U \subset U für alle a\in A. Ist U abgeschlossen, also selbst ein Hilbertraum, so ist \pi|_U:A\rightarrow L(U),\, \pi|_U(a):= \pi(a)|_U:U\rightarrow U wieder eine Hilbertraum-Darstellung, sie heißt die zu U gehörige Teildarstellung. Da wir es hier mit *-Homomorphismen zu tun haben, ist das orthogonale Komplement U^\perp ebenfalls invariant. Daher ist jedes \pi(a) die direkte Summe der Operatoren \pi(a)|_U\, und \pi(a)|_{U^\perp}. Dafür schreibt man kurz \pi = \pi|_U \oplus \pi|_{U^\perp}, man spricht dann auch von einer direkten Summe von Teildarstellungen. Abgeschlossene invariante Unterräume erlauben also die Zerlegung der Darstellung in Darstellungen auf kleineren Räumen.

Die kleinsten „Bausteine“ von Hilbertraum-Darstellungen auf H sind solche, die keine abgeschlossenen invarianten Teilräume außer \{0\} und H haben. Derartige Darstellungen nennt man topologisch irreduzibel.

Die Nulldarstellung ist der Nullhomomorphismus A\rightarrow L(H). Eine Darstellung heißt nicht-ausgeartet oder nicht-degeneriert, wenn es außer \{0\} keinen abgeschlossenen invarianten Unterraum gibt, so dass die Einschränkung darauf die Nulldarstellung ist. Jede Darstellung ist die direkte Summe aus zyklischen Teildarstellungen und einer Nulldarstellung. Eine nicht-degenerierte Darstellung ist demnach eine direkte Summe zyklischer Darstellungen und umgekehrt.

Zwei Darstellungen \pi_1:A\rightarrow L(H_1) und \pi_2:A\rightarrow L(H_2) heißen äquivalent, wenn es einen unitären Operator U: H_1\rightarrow H_2 gibt, so dass \pi_1(a)\,=\, U^*\pi_2(a)U für alle a\in A. Zwischen äquivalenten Darstellungen besteht praktisch kein Unterschied, es sind lediglich die Bezeichnungen für die Hilbertraumvektoren (vermöge U) ausgetauscht.

Es gibt sehr viele Darstellungen, zu jeder Kardinalzahl wenigstens eine, nämlich die Nulldarstellung auf einem Hilbertraum mit einer Basis dieser Kardinalität, und all diese Darstellungen sind paarweise nicht äquivalent. Man kann also nicht von der Menge der Äquivalenzklassen von Darstellungen sprechen. Bei irreduziblen Darstellungen, die in einem gewissen Sinne klein sind, ist das anders. Ist A eine C*-Algebra oder eine Gruppenalgebra, so bilden die Äquivalenzklassen irreduzibler Darstellungen eine Menge, die man \hat{A} schreibt und das Spektrum von A nennt.

Die Kerne irreduzibler Darstellungen sind Ideale, die man primitiv nennt. Es ist klar, dass äquivalente Darstellungen zum selben primitiven Ideal führen, die Umkehrung gilt nicht, wohl aber für postliminale C*-Algebren. Mit \mbox{Prim}(A) wird der Raum der primitiven Ideale bezeichnet. Man hat dann eine surjektive Abbildung \hat{A}\rightarrow \mbox{Prim}(A),\, [\pi] \mapsto \mbox{ker}(\pi). Weiter sind primitive Ideale Primideale. Daher trägt der Raum der primitiven Ideale die relative Zariski-Topologie. Die Initialtopologie bezüglich der Abbildung \hat{A}\rightarrow \mbox{Prim}(A) ist dann die üblicherweise auf dem Spektrum von A betrachtete Topologie.

Sätze über Darstellungen

GNS-Konstruktion

Hauptartikel: Zustand (Mathematik)

Ein Zustand auf einer Banach-*-Algebra A mit durch 1 beschränkter Approximation der Eins (e_i)_i ist ein stetiges lineares Funktional f:A\rightarrow \C mit \|f\|=1 und f(a^*a)\ge 0 für alle a\in A. Zu einem solchen Zustand kann wie folgt eine Darstellung konstruiert werden: Zum Zustand f setze N_f := \{x\in A: f(x^*x) = 0\} . Dann definiert die Formel  \langle x+N_f, y+N_f\rangle = f(y^*x) ein Skalarprodukt auf dem Quotientenraum  A/N_f . Die Vervollständigung bzgl. dieses Skalarproduktes ist ein Hilbertraum  H_f . Für jedes  a \in A lässt sich die Abbildung  x+N_f \mapsto ax+N_f zu einem stetigen linearen Operator  \pi_f(a) auf  H_f fortsetzen. Dann zeigt man, dass die so erklärte Abbildung  \pi_f: A \rightarrow L(H_f) eine zyklische Darstellung ist mit \pi_f(e_i) \rightarrow \mbox{id}_{H_f} bzgl. der starken Operatortopologie. Diese Konstruktion von \pi_f aus f nennt man nach Israel Gelfand, Mark Neumark und Irving Segal die GNS-Konstruktion (siehe auch Satz von Gelfand-Neumark), \pi_f heißt auch die GNS-Darstellung zum Zustand f.

Einhüllende C*-Algebra, einhüllende von-Neumann-Algebra

Sei A eine Banach-*-Algebra mit durch 1 beschränkter Approximation der Eins. Die direkte Summe aller GNS-Darstellungen \pi_f, wobei f die Menge aller Zustände durchläuft, heißt die universelle Darstellung \pi_u von A.

\pi_u ist eine nicht-degenerierte Darstellung auf dem Hilbertraum H_u := \bigoplus H_f. Im Falle von C*-Algebren und Gruppenalgebren ist die universelle Darstellung treu (das heißt injektiv). Der Abschluss von \pi_u(A) \subset L(H_u) bezüglich der Normtopologie heißt die einhüllende C*-Algebra von A. Der Abschluss von \pi_u(A) \subset L(H_u) bezüglich der schwachen Operatortopologie enthält den Operator \mbox{id}_{H_u} und heißt die einhüllende von-Neumann-Algebra von A. Die einhüllende von-Neumann-Algebra einer C*-Algebra kann mit ihrem Bidual, versehen mit dem Arens-Produkt, identifiziert werden.

Existenz irreduzibler Darstellungen, atomare Darstellung

Es ist a priori nicht klar, ob es im Falle von C*-Algebren oder Gruppenalgebren A überhaupt irreduzible Darstellungen gibt. In der Tat ist es aber so, dass es zu jedem 0 \not=a\in A eine irreduzible Darstellung \pi gibt mit \pi(a)\not= 0, wie man mittels der GNS-Konstruktion beweisen kann. Daraus folgt sofort, dass die direkte Summe {\displaystyle \textstyle \bigoplus _{[\pi ]\in {\hat {A}}}\pi } eine treue Darstellung ist. Diese spezielle Darstellung, die also zu jeder irreduziblen Darstellung genau eine dazu äquivalente Teildarstellung enthält, nennt man die atomare Darstellung.

Manche Klassen von C*-Algebren werden durch ihre irreduziblen Darstellungen charakterisiert:

Transitivitätssatz von Kadison

Eine Darstellung heißt algebraisch irreduzibel, wenn es außer \{0\} und H keine invarianten Unterräume, also auch keine nicht-abgeschlossenen, gibt. Algebraische Irreduzibilität ist demnach die stärkere Forderung; es gilt aber der Transitivitätssatz von Kadison, der mit Hilfe des Dichtheitssatzes von Kaplansky bewiesen werden kann:

Daraus ergibt sich sofort folgendes Korollar:

Es ist nur zu zeigen, dass topologisch irreduzible Darstellungen auch algebraisch irreduzibel sind, denn die Umkehrung ist klar. Ist U\subset H ein von \{0\} verschiedener invarianter Vektorraum, so gibt es ein von 0 verschiedenes \xi\in U. Ist \eta \in H beliebig, so gibt es nach dem Transitivitätssatz ein a\in A mit \pi(a)\xi = \eta. Da U invariant ist, folgt \eta\in U, also insgesamt U=H. Die einzigen invarianten Unterräume sind daher \{0\} und H, das heißt, es liegt algebraische Irreduzibilität vor.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 02.10. 2020