3.4 DarstellungenDefinition 3.4.1. Eine Darstellung einer C ∗ -Algebra A ist ein Paar ( , π), bestehend aus einem Hilbertraum <strong>und</strong>einem ∗ -Homomorphismus π von A in L( ).Eine Darstellung ( , π) von A heißt treu (faithful), wenn ker π = {0}. Ist ( , π) eine treue Darstellung, so ist Aisometrisch ∗ -isomorph zu einer C ∗ -Unteralgebra von L( ). Für jede C ∗ -Algebra A istπ : A −→ L( ), a → 0eine Darstellung; die sogenannte ”triviale” Darstellung. Der ”triviale” Teil einer Darstellung wird durch den Unterraum 0 := {x ∈ : π(a)x = 0 ∀a ∈ A}von charakterisiert. Darstellungen mit 0 = {0} heißen nicht-entartet. Schließlich nennen wir eine Darstellung( , π) von A zyklisch, wenn es einen Vektor x ∈ gibt, so dass die Menge {π(a)x : a ∈ A} dicht in liegt. DerVektor x heißt dann auch (topologisch) zyklisch.Lemma 3.4.2. Zyklische Darstellungen sind nicht entartet.Beweis. Sei π(a)y = 0 für alle a ∈ A <strong>und</strong> x ∈ sei ein zyklischer Vektor für ( , π). Dann gibt es eine Folge (a n ) ⊆ A,so dass lim π(a n )x = y. Weiter sei (u t ) t∈T eine approximative Eins in A. Für alle n ∈ <strong>und</strong> t ∈ T gilt dann y ≤≤ y − π(an )x + π(an )x − π(u t a n )x + π(ut a n )x − π(u t )y y − π(an )x + ‖π‖ an − u t a n ‖x‖ + π(ut ) π(an )x − y ≤ 2 y − π(an )x + an − u t a n ‖x‖ .Für vorgegebenes ɛ > 0 wählen wir ein n, so dass y − π(an )x < ɛ/4 <strong>und</strong> dann ein t so, dass an − u t a n 0, d.h. y = 0.Ist ( 1 , π 1 ) eine Darstellung von A <strong>und</strong> 2 ein weiterer Hilbertraum, für den ein unitärer Operator U von 1 auf 2 existiert, so ist ( 2 , π 2 ) mitɛ2‖x‖ .π 2 (a) = Uπ 1 (a)U ∗ ∀a ∈ A (3.4.9)eine weitere Darstellung von A. Zwei Darstellungen ( 1 , π 1 ), ( 2 , π 2 ) von A heißen unitär äquivalent, wenn es einenunitären Opterator U : 1 −→ 2 gibt, so dass (3.4.9) erfüllt ist. Unitär äquivalente Darstellungen werden in derRegel nicht voneinander unterschieden.3.5 Die GNS-KonstruktionDie folgende Konstruktion geht auf Gelfand/Naimark (1943) <strong>und</strong> Segal (1947) zurück.Satz 3.5.1. Sei A eine C ∗ -Algebra <strong>und</strong> f ein positives Funktional auf A. Dann gibt es eine zyklische Darstellung( f , π f ) mit einem zyklischen Vektor ξ f ∈ f , so dass ξf 2= f <strong>und</strong>f (a) = 〈π f (a)ξ f , ξ f 〉 ffür alle a ∈ ADiese Darstellung ist eindeutig bis auf unitäre Äquivalenzen.Beweis. Im ersten Schritt zeigen wir, dass die MengeJ f := {j ∈ A : f (j ∗ j) = 0}ein Linksideal von A ist. Seien j, k ∈ J f . Dann ist (j + k) ∗ (j + k) = j ∗ j + k ∗ k + j ∗ k + k ∗ j. Nach Definition ist f (j ∗ j) =f (k ∗ k) = 0. Mit Cauchy-Schwarz folgt weiter f (j ∗ k) 2 ≤ f (j ∗ j)f (k ∗ k) = 0, d.h. f (j ∗ k) = 045
<strong>und</strong> analog f (k ∗ j) = 0. Also ist f ((j + k) ∗ (j + k)) = 0, d.h. j + k ∈ J f . Weiter ist für jedes a ∈ A : a ∗ a ≤ ‖a ∗ a‖ e (hierist e das Einselement in Ã), <strong>und</strong> nach Satz 3.1.4(ii) ist j ∗ a ∗ a j ≤ ‖a ∗ a‖ j ∗ j für alle j ∈ J f .Da f positiv ist, folgt0 ≤ f ((a j) ∗ (a j)) = f (j ∗ a ∗ a j) ≤ f ( a ∗ a j ∗ j) ≤ ‖a‖ 2 f (j ∗ j) = 0,d.h. es ist a j ∈ J f für alle j ∈ J f .Bilden wir den (linearen) Faktorraum A/J f , dessen Elemente die Nebenklassen x a := a + J f der Elemente aus A sind.Auf A/J f definieren wir〈x a , x b 〉 := f (b ∗ a) ∀a, b ∈ A (3.5.10)Wir zeigen im nächsten Schritt, dass diese Definition korrekt ist <strong>und</strong> eine positiv-definite Sesquiliniarform auf A/J fliefert.Seien a, b ∈ A <strong>und</strong> j, k ∈ J f , dann istf ((b + k) ∗ (a + j)) = f (b ∗ a) + f (b ∗ j) + f (k ∗ a) + f (k ∗ j).Mit Cauchy-Schwarz sieht man wie oben, dass die letzten drei Summanden verschwinden. Also istf ((b + k) ∗ (a + j)) = f (b ∗ a),die rechte Seite von (3.5.10) <strong>und</strong> damit von der konkreten Wahl der Repräsentanten der Nebenklassen x a , x b unabhängig.Die Sesquilinearität von (3.5.10) ist nun offensichtlich, ebenso wie die positive Definitheit: aus f (a ∗ a) = 0 folgt nämlichlaut Definition a ∈ J f d.h. x a = 0. Wegen der Positivität von f ist schließlich f (a ∗ a) ≥ 0∀a ∈ A.Sei f die Vervollständigung von A/J f bezüglich der durch das Skalarprodukt (3.5.10) definierte Norm. f wird aufnatürliche Weise zu einem Hilbertraum, dessen Skalarprodukt wir mit 〈·, ·〉 oder 〈·, ·〉 fbezeichnen.Erklären wir nun für jedes a ∈ A einen Operator π f (a) auf dem dichten Teilraum A/J f von f durch π f (a)x b := x ab .Für jedes j ∈ J f ist offenbar x a(b+j) = x ab+a j = x ab . Damit ist die Definition korrekt <strong>und</strong> sie liefert einen linearenOperator auf A/J f . Weiter ist πf (a)x 2b = 〈xab , x ab 〉 = f (b ∗ a ∗ ab) ≤ a ∗ a f (b ∗ b) = ‖a‖ 2 A x 2b fd.h. π f (a) ist auf A/J f stetig <strong>und</strong> πf (a) ≤ ‖a‖. Wir können daher πf (a) stetig zu einem auf ganz f definiertenOperator fortsetzen, den wir wieder mit π f (a) bezeichnen. Die so erklärte Abbildung π f : A −→ L( f ) ist ein∗ -Homomorphismus. Es ist nämlichπ f (a)π f (b)x c = x a(bc) = x (ab)c = π f (ab)x c ∀a, b, c ∈ A.Also stimmen π f (a)π f (b) <strong>und</strong> π f (ab) auf einem dichten Teilraum von f überein, woraus die Multiplikativität vonfolgt. Die Symmetrie erhält man ähnlich aus der für alle a, b, c ∈ A gültigen Identitätπ f〈π f (a)x b , x c 〉 = 〈x ab , x c 〉 = f (c ∗ ab) = f ((a ∗ c) ∗ b)= 〈x b , x a ∗ c〉 = 〈x b , π f (a ∗ )x c 〉,woraus π f (a) ∗ = π f (a ∗ ) folgt.Also ist ( f , π f ) eine Darstellung von A. Wir zeigen nun, dass diese zyklisch ist. Sei (u t ) t∈T approximative Eins inA. Für alle s < t ist xut − x 2us = f ((ut − u s ) 2 ) ≤ f (u t − u s ),<strong>und</strong> wegen limt∈Tf (u t ) = f (Satz 3.3.4) konvergiert das Netz (xut ) t∈T in f . Sein Grenzwert sei ξ f . Für jedes a ∈ Aist dannπ f (a)ξ f = limt∈Tπ f (a)x ut = limt∈Tx aut = x a (3.5.11)(Stetigkeit des Operators π f (a) ∈ L( f ) sowie des kanonischen Homomorphismus a → x a ). Da die Menge {x a } a∈Adicht in f liegt, ist ξ f ein zyklischer Vektor <strong>und</strong> (H f , π f ) zyklische Darstellung von A. Schließlich ist für alle a ∈ A〈π f (a ∗ a)ξ f , ξ f 〉 = 〈π f (a)ξ f , π f (a)ξ f 〉 (3.5.11)= 〈x a , x a 〉 = f (a ∗ a),46