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-Funktionen. Diese Erweiterung des Funktionalkalküls ist in allgemeinen C*-Algebren nicht möglich, man muss sich dafür auf die kleinere Klasse der von-Neumann-Algebren einschränken.

Inhaltsverzeichnis

Konstruktion

Betrachtet man eine beschränkte, monoton wachsende Folge (fn)n stetiger reellwertiger Funktionen, die auf dem Spektrum eines normalen Elementes a einer von-Neumann-Algebra A \subset L(H) (H Hilbertraum) definiert sind, so ist der punktweise Limes f im allgemeinen nicht wieder stetig. In A ist die Folge (fn(a))n, wobei fn(a) mit dem stetigen Funktionalkalkül gebildet ist, eine beschränkte und monoton wachsende (zur Anordnung siehe Positiver Operator) Folge von selbstadjungierten Operatoren, von der man zeigen kann, dass sie in der starken Operatortopologie konvergiert. Da von-Neumann-Algebren genau die in der starken Operatortopologie abgeschlossenen Unter-C*-Algebren von L(H) mit Einselement sind, liegt dieser Grenzwert wieder in A.

Ist (gn)n eine weitere Folge stetiger reellwertiger Funktionen auf σ(a), die punktweise monoton gegen f konvergiert, so kann man zeigen, dass die Grenzwerte von (fn(a))n und (gn(a))n übereinstimmen. Daher liegt es nahe, diesen Grenzwert mit f(a) zu bezeichnen.

Ist die Grenzfunktion f sogar stetig, so liegt nach dem Satz von Dini gleichmäßige Konvergenz vor, und man erkennt, dass die gerade getroffene Festlegung mit dem stetigen Funktionalkalkül verträglich ist. Eine Fortführung dieser Ideen führt zum sogenannten beschränkten Borel-Funktionalkalkül (oder kurz Borelkalkül).

Der beschränkte Borelkalkül

Ist a ein normales Element einer von-Neumann-Algebra A \subset L(H) und bezeichnet {\mathcal B}(\sigma(a)) die Algebra der auf σ(a) definierten Borelfunktionen, so gilt:

  • Es gibt genau einen *-Homomorphismus \Phi_a:{\mathcal B}(\sigma(a)) \rightarrow A mit \Phi_a(1) \,=\, {\mathrm id}_H, \Phi_a({\mathrm id}_{\sigma(a)})\,=\,a und folgender Stetigkeitseigenschaft: Konvergiert die Folge (fn)n reellwertiger Funktionen punktweise monoton gegen f in {\mathcal B}(\sigma(a)), so ist Φa(f) das Supremum von \{\Phi_a(f_n); n\in {\mathbb N} \} in der von-Neumann-Algebra A.

Man verwendet die suggestive Schreibweise f(a) \,:=\, \Phi_a(f). Folgendes kann gezeigt werden:

  • Es gelten die Formeln (f+g)(a)\,=\,f(a)+g(a), (f\cdot g)(a)=f(a)\cdot g(a) für alle f,g\in {\mathcal B}(\sigma(a)).
  • Für jedes f\in {\mathcal B}(\sigma(a)) gilt f(a)^*=\overline{f}(a).
  • Ist f\in {\mathcal B}(\sigma(a)) und g\in {\mathcal B}(\sigma(f(a))), so gilt (g\circ f)(a) = g(f(a)).
  • \|f(a)\| \le \sup\{|f(z)|; z\in\sigma(a)\} für alle f\in {\mathcal B}(\sigma(a)).
  • Die Einschränkung auf die Algebra stetiger Funktionen ist der stetige Funktionalkalkül.

Ein spektraler Abbildungssatz kann nicht gelten, da das Bild des Spektrums unter einer Borelfunktion im Allgemeinen nicht wieder kompakt ist.

Dieser Funktionalkalkül beschränkter Borelfunktionen ist eng mit dem Spektralsatz verbunden. Ist etwa a selbstadjungiert, so ist (\chi_{(-\infty,\lambda]}|_{\sigma(a)})_{\lambda\in  {\mathbb R}} die zugehörige Spektralschar, wobei \chi_{(-\infty,\lambda]} die charakteristische Funktion bezeichnet.

Anwendungen

Als Anwendung sei nur erwähnt, dass dieser Funktionalkalkül zur Konstruktion sehr vieler Projektionen in von-Neumann-Algebren führt. Ist B\subset \sigma(a) eine Borelmenge und bezeichnet χB die zugehörige charakteristische Funktion, so gilt \chi_B^2 = \chi_B = \overline{\chi_B}. Daher ist \chi_B(a)^2 \,=\, \chi_B(a) \,=\, \chi_B(a)^*, das heißt χB(a) ist eine Orthogonalprojektion in A.

Da stetige Funktionen gleichmäßig durch einfache Funktionen approximiert werden können, sieht man mit Hilfe des Funktionalkalküls, dass jedes Element einer von-Neumann-Algebra ein Normlimes von Linearkombinationen von Orthogonalprojektionen aus A ist. In diesem Sinne gibt es in von-Neumann-Algebren also sehr viele Projektionen. Dadurch unterscheidet sich die von-Neumann-Theorie erheblich von der Theorie der C*-Algebren. Die C*-Algebra C([0,1]) der stetigen Funktionen auf dem Intervall [0,1] hat als einzige Projektionen die 0- und die 1-Funktion, und damit so wenig Projektionen wie möglich.

Diese Reichhaltigkeit an Projektionen ist einer der wesentlichen Ausgangspunkte der Theorie der von-Neumann-Algebren, so werden die Faktoren beispielsweise nach der Struktur ihrer Projektionsverbände klassifiziert.

Quellen


Wikimedia Foundation.

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

  • 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

  • Funktionalkalkül — 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 …   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

  • 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

  • Kommutante — 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

  • W*-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

  • Spektralschar — In der Mathematik, insbesondere in der Funktionalanalysis ist ein Spektralmaß eine Abbildung, die gewissen Teilmengen einer fest gewählten Menge orthogonale Projektionen eines Hilbertraumes zuordnet. Spektralmaße werden verwendet um Ergebnisse in …   Deutsch Wikipedia

Share the article and excerpts

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