Der Satz von Vidav-Palmer, benannt nach Ivan Vidav und Theodore W. Palmer, ist ein mathematischer Satz aus dem Teilgebiet der Funktionalanalysis. Er charakterisiert die C*-Algebren unter den Banachalgebren und ermöglicht als Korollar eine weitere Charakterisierung unter allen Banach-*-Algebren, was zu einer Abschwächung der üblichen C*-Bedingung führt. Wesentliches Hilfsmittel ist die Verallgemeinerung des Begriffs des selbstadjungierten Elementes zum Begriff des hermiteschen Elements (s. u.) mit Hilfe des numerischen Wertebereichs.
Hermitesche Elemente Es sei eine komplexe Banachalgebra mit Einselement . Für wird
als numerischer Wertebereich des Elements bezeichnet. Man nennt hermitesch, wenn und notiert als die Menge der hermiteschen Elemente. Man kann zeigen, dass ein reeller Banachraum ist und dass für ein folgende Aussagen äquivalent sindF. 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, §5, Lemma 2:
, das heißt ist hermitesch.
für alle reellen Zahlen .
Zur Bildung von ist zu beachten, dass die zugehörige Exponentialreihe in der Banachalgebra konvergiert.
Nach einem Satz von A. M. Sinclair stimmt der Spektralradius eines hermiteschen Elements mit seiner Norm überein.F. F. Bonsall, J. Duncan: Complete Normed Algebras. Springer-Verlag 1973, ISBN 3540063862, §10, Theorem 17 Daraus ergibt sich, dass die konvexe Hülle des Spektrums mit dem numerischen Wertebereich übereinstimmt. Letzteres ist auch als Vidavs Lemma bekannt und wurde zuvor von Vidav ohne den erwähnten Satz von Sinclair bewiesen. Beide Beweise verwenden funktionentheoretische Hilfsmittel, insbesondere den Satz von Phragmén-Lindelöf.Benannt nach Lars Phragmén und Ernst Leonard Lindelöf.
Formulierung des Satzes Der Satz von Vidav-Palmer lautetF. F. Bonsall, J. Duncan: Complete Normed Algebras. Springer-Verlag 1973, ISBN 3540063862, §38, Theorem 14F. 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, §7, Theorem 2:
Sei eine komplexe Banachalgebra mit Einselement und es gelte . Dann definiert für eine Involution, die zu einer C*-Algebra macht.
Der ursprünglich von Vidav bewiesene SatzI. Vidav: Eine metrische Kennzeichnung der selbstadjungierten Operatoren, Mathematische Zeitschrift, Band 66 (1956), Seiten 121–128 enthielt die zusätzliche Voraussetzung, dass für alle gelten muss; von Palmer wurde gezeigt, dass diese entbehrlich ist.
Folgerung Mit dem Satz von Vidav-Palmer lässt sich folgende Charakterisierung der C*-Algebren beweisenF. F. Bonsall, J. Duncan: Complete Normed Algebras. Springer-Verlag 1973, ISBN 3540063862, §38, Theorem 15, die ursprünglich auf James Glimm und Richard Kadison zurückgeht:
Eine komplexe Banachalgebra mit einer Involution * ist genau dann eine C*-Algebra, wenn für alle gilt.
Der Satz von Vidav-Palmer liefert dieses Ergebnis eigentlich nur für Banachalgebren mit Einselement, die Version ohne Einselement geht auf B. J. Vowden zurück.B. J. Vowden: On the Gelfand-Naimark Theorem, J. London Math. Soc., Band 42 (1967), Seiten 725–731 Die in obigem Satz gestellte Bedingung ist formal schwächer als die übliche C*-Bedingung für alle . Der Satz zeigt daher, dass durch die schwächere Bedingung keine neue Klasse von Banachalgebren begründet wird.
Einzelnachweise
Kategorie:Funktionalanalysis Vidav-Palmer, Satz von