Funktionalkalkül

Funktionalkalkül

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.

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)

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

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

  • Beschränkter Borel-Funktionalkalkül — Der beschränkte Borel Funktionalkalkül ist ein Hilfsmittel zur Untersuchung von von Neumann Algebren. Dieser Funktionalkalkül ist eine Erweiterung des aus der Theorie der C* Algebren bekannten stetigen Funktionalkalküls auf beschränkte Borel… …   Deutsch Wikipedia

  • Stetiger Funktionalkalkül — Der stetige Funktionalkalkül gehört zu den wichtigsten Grundlagen der mathematischen Theorie der C* Algebren. In der fortgeschrittenen Theorie sind die Anwendungen dieses Funktionalkalküls so selbstverständlich, dass sie oft nicht einmal erwähnt… …   Deutsch Wikipedia

  • Holomorpher Funktionalkalkül — Der holomorphe Funktionalkalkül ist eine grundlegende Methode aus der mathematischen Theorie der Banachalgebren. Grob gesprochen werden bei diesem Funktionalkalkül Elemente einer Banachalgebra in holomorphe Funktionen, die in einer Umgebung des… …   Deutsch Wikipedia

  • Unbeschränkter Borel-Funktionalkalkül — Der unbeschränkte Borel Funktionalalkül ist ein Instrument in der mathematischen Theorie der dicht definierten selbstadjungierten Operatoren. Er erlaubt eine „Einsetzung“ solcher Operatoren in Borelfunktionen, was unter anderem in der… …   Deutsch Wikipedia

  • Holomorpher Funktionalkalkül mehrerer Veränderlicher — Der holomorphe Funktionalkalkül mehrerer Veränderlicher wird in der Mathematik zur Untersuchung kommutativer Banachalgebren eingesetzt. Dieser Funktionalkalkül erlaubt die Anwendung einer holomorphen Funktion mehrerer Veränderlicher auf ein Tupel …   Deutsch Wikipedia

  • Spektraler Abbildungssatz — Funktionalkalküle sind ein wichtiges mathematisches Hilfsmittel zur Untersuchung von Banachalgebren. Ist ein komplexes Polynom und a ein Element einer Banachalgebra mit Einselement e, so kann man a in das Polynom p einsetzen, indem man setzt. Die …   Deutsch Wikipedia

  • Spektralsatz — Unter dem Begriff Spektralsatz versteht man verschiedene miteinander verwandte mathematische Aussagen aus der Linearen Algebra und der Funktionalanalysis. Die einfachste Variante macht eine Aussage über die Diagonalisierbarkeit einer bestimmten… …   Deutsch Wikipedia

  • Beschränkter Operator — Der Begriff Linearer Operator wurde in der Funktionalanalysis (einem Teilgebiet der Mathematik) eingeführt und ist synonym zum Begriff der linearen Abbildung. Eine lineare Abbildung ist eine strukturerhaltende Abbildung zwischen Vektorräumen über …   Deutsch Wikipedia

  • Bikommutantensatz — Eine von Neumann Algebra oder W* Algebra ist eine mathematische Struktur in der Funktionalanalysis. Inhaltsverzeichnis 1 Definition 2 Faktoren 3 Kommutative von Neumann Algebren 4 Eigenschaften 5 Literatur …   Deutsch Wikipedia

  • Faktor (von-Neumann-Algebra) — Eine von Neumann Algebra oder W* Algebra ist eine mathematische Struktur in der Funktionalanalysis. Inhaltsverzeichnis 1 Definition 2 Faktoren 3 Kommutative von Neumann Algebren 4 Eigenschaften 5 Literatur …   Deutsch Wikipedia

Share the article and excerpts

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