Der Satz von Russo-Dye, benannt nach Bernard Russo (* 1939) und Henry Abel Dye, ist ein Satz aus der mathematischen Theorie der C*-Algebren aus dem Jahre 1966.B. Russo.; H. A. Dye, A Note on Unitary Operators in C*-Algebras, Duke Mathematical Journal Band 33,2 (1966), Seiten 413–416 Der Beweis konnte von Laurence Terrell Gardner erheblich vereinfacht werden. L. T. Gardner: An elementary proof of the Russo–Dye theorem, Proc. Amer. Math. Soc. Band 90,1 (1984), Seite 171 In einer C*-Algebra mit Einselement gibt es sehr viele unitäre Elemente, und zwar so viele, dass der Abschluss ihrer konvexen Hülle schon die ganze Einheitskugel ausfüllt.
Formulierung des Satzes In einer C*-Algebra mit Einselement ist die Einheitskugel gleich dem Normabschluss der konvexen Hülle der unitären Elemente.K. R. Davidson: C*-Algebras by Example, American Mathematical Society (1996), ISBN 0-821-80599-1, Theorem I.8.4
Bemerkungen Ein unitäres Element einer C*-Algebra mit Einselement 1 ist ein Element mit . Aus der definierenden C*-Eigenschaft folgt , so dass unitäre Elemente auf dem Rand der Einheitskugel liegen. Daher ist der Normabschluss der konvexen Hülle der unitären Elemente sicher in der Einheitskugel enthalten; die umgekehrte Inklusion ist der nicht-triviale Teil des Satzes von Russo-Dye. Der im unten angegebenen Lehrbuch von K. R. Davidson wiedergegebene Beweis zeigt sogar, dass die konvexe Hülle der unitären Elemente (ohne Abschlussbildung) das Innere der Einheitskugel umfasst, was eine stärkere Aussage ist.
In jeder komplexen Banachalgebra mit Einselement 1 und ist dieses Einselement ein Extremalpunkt der Einheitskugel.F. F. Bonsall, J. Duncan: Numerical Ranges of Operators on Normed Spaces and of Elements of Normed Algebras, Cambridge University Press (1971), ISBN 0-521-07988-8, Kapitel 1, §4, Theorem 5 Da die Multiplikation mit einem unitären Element eine isometrische Isomorphie ist, sind auch alle unitären Elemente Extremalpunkte der Einheitskugel. Daher folgt sofort die schwächere Aussage In einer C*-Algebra mit Einselement ist die Einheitskugel gleich dem Normabschluss der konvexen Hülle der Extremalpunkte. Es gilt also die Aussage des Satzes von Krein-Milman, man beachte aber, dass die Einheitskugel in einer unendlichdimensionalen C*-Algebra nicht normkompakt ist, das heißt, der Satz von Russo-Dye ist keine Folgerung aus dem Satz von Krein-Milman.
Neben den unitären Elementen gibt es noch weitere Extremalpunkte. Man kann zeigen, dass die Extremalpunkte einer C*-Algebra mit Einselement 1 genau die partiellen Isometrien mit sind.R.V. Kadison, J. R. Ringrose: Fundamentals of the Theory of Operator Algebras II, Academic Press (1983), ISBN 0-1239-3302-1, Theorem 7.3.1 Damit ist die Aussage des Satzes von Russo-Dye sogar stärker als diejenige des Satzes von Krein-Milman, denn man benötigt gar nicht alle Extremalpunkte, die unitären Elemente sind ausreichend. Man kommt sogar mit noch weniger aus, wie Theodore W. Palmer 1968 gezeigt hatT. W. Palmer: Characterizations of C*-algebras, Bull. Amer. Math. Soc., Band 74 (1968), Seiten 538–540: In einer C*-Algebra mit Einselement ist die Einheitskugel gleich dem Normabschluss der konvexen Hülle der Elemente der Form , wobei alle selbstadjungierten Elemente durchläuft. Der stetige Funktionalkalkül zeigt, dass die Elemente der Form unitär sind, und es gibt Beispiele unitärer Elemente, die nicht von dieser Form sind.
Einzelnachweise
Kategorie:Funktionalanalysis Russo-Dye, Satz von