Spektraler Abbildungssatz

Funktionalkalküle sind ein wichtiges mathematisches Hilfsmittel zur Untersuchung von Banachalgebren.

Ist $p(z)=\lambda_nz^n+\ldots\lambda_1z+\lambda_0$ ein komplexes Polynom und a ein Element einer $\mathbb C$-Banachalgebra mit Einselement e, so kann man a in das Polynom p einsetzen, indem man $p(a)=\lambda_na^n+\ldots\lambda_1a+\lambda_0e$ setzt. Die Grundidee der Funktionalkalküle besteht darin, dieses Einsetzen in Polynome auf größere Klassen von Funktionen auszudehnen. Für beliebige $\mathbb C$-Banachalgebren A mit Einselement kann ein Element $a\in A$ in holomorphe Funktionen, die in einer Umgebung des Spektrums von a definiert sind, eingesetzt werden. Für noch größere Funktionsklassen, etwa stetige oder messbare Funktionen, die auf dem Spektrum von a erklärt sind, muss man sich auf spezielle Klassen von Banachalgebren beschränken, und zwar auf C^*-Algebren bzw. von-Neumann-Algebren. Dazu muss natürlich erklärt werden, was dieses Einsetzen in Funktionen überhaupt bedeuten soll.

Polynome

Elemente a einer $\mathbb C$-Banachalgebra A mit Einselement e können, wie in der Einleitung erwähnt, direkt in Polynome $p\in {\mathbb C}[z]$ eingesetzt werden. Sind $p,q\in {\mathbb C}[z]$ Polynome, so gilt

$(p+q)(a)\,=\,p(a)+q(a)$.

Man beachte die unterschiedlichen Rollen des Pluszeichens; auf der linken Seite werden Polynome addiert, auf der rechten Seite Elemente einer Banachalgebra. Entsprechend gilt

$(p\cdot q)(a)=p(a)\cdot q(a)$,

$(p\circ q)(a)=p(q(a))$.

Bezeichnet σ(a) das Spektrum von a, so gilt der spektrale Abbildungssatz

$\sigma(p(a)) \,=\, p(\sigma(a))$.

Auf der linken Seite dieser Formel steht das Spektrum des Banachalgebren-Elementes p(a), auf der rechten Seite steht das Bild des Spektrums von a unter der Polynom-Abbildung $p: \C \rightarrow \C$. Der Beweis des spektralen Abbildungssatzes benutzt wesentlich, dass nicht-konstante Polynome eine Nullstelle haben, d.h. es wird der Fundamentalsatz der Algebra verwendet. Dies erklärt die Einschränkung auf $\mathbb C$-Banachalgebren.

Diese Situation ist aus der linearen Algebra wohlbekannt. Bei der Untersuchung der Diagonalisierbarkeit oder der Jordanschen Normalform werden ebenfalls Banachalgebren-Elemente, nämlich quadratische Matrizen, in Polynome eingesetzt. Beispielsweise besagt der Satz von Cayley-Hamilton, dass man die Nullmatrix erhält, wenn man eine quadratische Matrix in ihr eigenes charakteristisches Polynom einsetzt.

Zur Ausdehnung des Einsetzens auf größere Funktionsklassen betrachten wir das Einsetzen von $a\in A$ in Polynome als Abbildung

$\Phi_a: {\mathbb C}[z] \rightarrow A,\,\, p\mapsto p(a)$.

Dann ist Φ_a ein Algebren-Homomorphismus, der sogenannte Einsetzungshomomorphismus, und es gilt Φ_a(1) = e sowie Φ_a(z) = a. Hat man umgekehrt einen solchen Homomorphismus Φ_a von einer größeren Funktionsklasse in die Banachalgebra A und ist f eine Funktion dieser Klasse, so kann man die Einsetzung von a in die Funktion f durch die Formel f(a): = Φ_a(f) definieren.

Funktionalkalküle

Die weitere Ausarbeitung der hier vorgestellten Ideen führt zu unterschiedlichen Funktionalkalkülen, die nach der verwendeten Funktionsklasse benannt sind. Als plausible Faustregel kann man sagen, dass mit größer werdenden Funktionsklassen die Situationen, in denen zugehörige Funktionalkalküle eingesetzt werden können, spezieller werden. Typische Anwendungsbeispiele werden in den Artikeln zu den einzelnen Funktionalkalkülen behandelt.

• holomorpher Funktionalkalkül für beliebige Banachalgebren
• holomorpher Funktionalkalkül mehrerer Veränderlicher für beliebige Banachalgebren
• stetiger Funktionalkalkül für C*-Algebren
• beschränkter Borel-Funktionalkalkül für von-Neumann-Algebren
• unbeschränkter Borel-Funktionalkalkül für dicht-definierte selbstadjungierte Operatoren

Quellen

• J. Dixmier, Les C*-algèbres et leurs représentations, Gauthier-Villars, 1969
• R.V. Kadison, J. R. Ringrose, Fundamentals of the Theory of Operator Algebras, 1983, ISBN 0123933013
• M. Takesaki, Theory of Operator Algebras I (Springer 1979, 2002)