Funktionalkalkül
Funktionalkalküle sind ein wichtiges mathematisches Hilfsmittel zur Untersuchung von Banachalgebren. Im Rahmen der Operatortheorie ist hier insbesondere die Banachalgebra der beschränkten linearen Operatoren von Interesse. Zur Behandlung von unbeschränkten linearen Operatoren werden verallgemeinerte Funktionalkalküle betrachtet, bei denen zwar grundlegende algebraische Strukturen verlorengehen, die aber dennoch ein effektives Werkzeug zum Rechnen mit unbeschränkten Operatoren zur Verfügung stellen.
Ist ein komplexes Polynom und ein Element einer -Banachalgebra mit Einselement , so kann man in das Polynom einsetzen, indem man setzt. Die Grundidee der Funktionalkalküle besteht darin, dieses Einsetzen in Polynome auf größere Klassen von Funktionen auszudehnen. Für beliebige -Banachalgebren mit Einselement kann ein Element in holomorphe Funktionen, die in einer Umgebung des Spektrums von definiert sind, eingesetzt werden. Für noch größere Funktionsklassen, etwa stetige oder messbare Funktionen, die auf dem Spektrum von 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
[Bearbeiten | Quelltext bearbeiten]Elemente einer -Banachalgebra mit Einselement können, wie in der Einleitung erwähnt, direkt in Polynome eingesetzt werden. Sind Polynome, so gilt
.
Man beachte die unterschiedlichen Rollen des Pluszeichens; auf der linken Seite werden Polynome addiert, auf der rechten Seite Elemente einer Banachalgebra. Entsprechend gilt
,
.
Bezeichnet das Spektrum von , so gilt der spektrale Abbildungssatz
.
Auf der linken Seite dieser Formel steht das Spektrum des Banachalgebren-Elementes , auf der rechten Seite steht das Bild des Spektrums von unter der Polynom-Abbildung . 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 -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 in Polynome als Abbildung
.
Dann ist ein Algebren-Homomorphismus, der sogenannte Einsetzungshomomorphismus von , und es gilt sowie . Hat man umgekehrt einen solchen Homomorphismus von einer größeren Funktionsklasse in die Banachalgebra und ist eine Funktion dieser Klasse, so kann man die Einsetzung von in die Funktion durch die Formel definieren.
Funktionalkalküle
[Bearbeiten | Quelltext bearbeiten]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 kommutative 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
Weblinks
[Bearbeiten | Quelltext bearbeiten]- Functional calculus (Encyclopedia of Mathematics)
Quellen
[Bearbeiten | Quelltext bearbeiten]- 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)