Satz von Vidav-Palmer

Satz von Vidav-Palmer

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.

Inhaltsverzeichnis

Hermitesche Elemente

Es sei A eine komplexe Banachalgebra mit Einselement e. Für a\in A wird

V(A,a) := \{f(a); \, f\in A^', f(e) = 1 = \|f\| \} \subset \C

als numerischer Wertebereich des Elements a bezeichnet. Man nennt a hermitesch, wenn V(A,a)\subset \R und notiert als H(A) die Menge der hermiteschen Elemente. Man kann zeigen, dass H(A) ein reeller Banachraum ist und dass für ein a\in A folgende Aussagen äquivalent sind[1]:

  • a\in H(A) , das heißt a ist hermitesch.
  • \lim_{a\searrow 0} \frac{1}{\alpha}(\|1+\alpha a\| -1) \,=\, 0
  • \|\exp(i\alpha a)\| = 1 für alle reellen Zahlen α.

Zur Bildung von exp(iαa) ist zu beachten, dass die zugehörige Exponentialreihe in der Banachalgebra A konvergiert.

Nach einem Satz von A. M. Sinclair stimmt der Spektralradius eines hermiteschen Elements mit seiner Norm überein[2]. 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.

Formulierung des Satzes

Der Satz von Vidav-Palmer lautet[3][4]:

  • Sei A eine komplexe Banachalgebra mit Einselement und es gelte A=H(A)+i\cdot H(A). Dann definiert (x+iy)^*\,:=\, x-iy für x,y\in H(A) eine Involution, die A zu einer C*-Algebra macht.

Der ursprünglich von Vidav bewiesene Satz[5] enthielt die zusätzliche Voraussetzung, dass x^2\in H(A) für alle x\in H(A) 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 beweisen[6], die ursprünglich auf James Glimm und Richard Kadison zurückgeht:

  • Eine komplexe Banachalgebra A mit einer Involution * ist genau dann eine C*-Algebra, wenn  \|a^*a\| = \|a^*\|\|a\| für alle a\in A 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[7]. Die in obigem Satz gestellte Bedingung ist formal schwächer als die übliche C*-Bedingung  \|a^*a\| =\|a\|^2 für alle a\in A. Der Satz zeigt daher, dass durch die schwächere Bedingung keine neue Klasse von Banachalgebren begründet wird.

Einzelnachweise

  1. 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, §5, Lemma 2
  2. F. F. Bonsall, J. Duncan: Complete Normed Algebras. Springer-Verlag 1973, ISBN 3540063862, §10, Theorem 17
  3. F. F. Bonsall, J. Duncan: Complete Normed Algebras. Springer-Verlag 1973, ISBN 3540063862, §38, Theorem 14
  4. 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, §7, Theorem 2
  5. I. Vidav: Eine metrische Kennzeichnung der selbstadjungierten Operatoren, Mathematische Zeitschrift, Band 66 (1956), Seiten 121-128
  6. F. F. Bonsall, J. Duncan: Complete Normed Algebras. Springer-Verlag 1973, ISBN 3540063862, §38, Theorem 15
  7. B. J. Vowden: On the Gelfand-Naimark Theorem, J. London Math. Soc., Band 42 (1967), Seiten 725-731

Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Ivan Vidav — (* 17. Januar 1918 in Triest) ist ein slowenischer Mathematiker. Leben Vidav begann 1937 ein Mathematikstudium an der Universität Ljubljana und wurde 1941 mit der Dissertation Kleinovi teoremi v teoriji linearnih diferencialnih enaèb (deutsch:… …   Deutsch Wikipedia

  • Theodore W. Palmer — Theodore Windle Palmer (* 19. Oktober 1935 in Boston) ist ein US amerikanischer Mathematiker. Leben Theodore Palmer wurde 1966 mit der Dissertation Unbounded Normal Operators on Banach Spaces (deutsch: Unbeschränkte normale Operatoren auf… …   Deutsch Wikipedia

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   Deutsch Wikipedia

  • C*-Algebra — C* Algebren werden im mathematischen Teilgebiet der Funktionalanalysis untersucht. Es handelt sich um eine Abstraktion der beschränkten linearen Operatoren auf einem Hilbertraum, sie spielen daher in der mathematischen Beschreibung der… …   Deutsch Wikipedia

  • Numerischer Wertebereich — Der numerische Wertebereich (englisch: numerical range) ist ein Begriff aus dem mathematischen Teilgebiet der Funktionalanalysis. Einem stetigen linearen Operator oder allgemeiner einem Element einer Banachalgebra wird eine Menge des Grundkörpers …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”