Stetiger Funktionalkalkül

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 werden. Man kann ohne Übertreibung sagen, dass der stetige Funktionalkalkül, der auch in den grundlegenden Sätzen von Gelfand-Neumark steckt, den Unterschied zwischen C*-Algebren und allgemeinen Banachalgebren, in denen man lediglich einen holomorphen Funktionalkalkül hat, ausmacht.

Inhaltsverzeichnis

Motivation

Will man einen Funktionalkalkül für stetige Funktionen auf dem Spektrum σ(a) eines Banachalgebren-Elementes a\in A konstruieren, so liegt es nahe, die stetigen Funktionen gemäß dem weierstraßschen Approximationssatz durch Polynome zu approximieren, das Element in diese Polynome einzusetzen und zu zeigen, dass dadurch ein Element in A approxomiert wird. Um stetige Funktionen auf \sigma(a)\subset \mathbb C zu approximieren, benötigt man Polynome in zwei Variablen, oder, was auf dasselbe hinausläuft, Polynome in z und \overline{z}, wobei \overline{z} die komplexe Konjugation bezeichnet. Hat man ein solches Polynom p(z,\overline{z}) und setzt man a an Stelle von z, so ist zunächst nicht klar, was an die Stelle von \overline{z} gesetzt werden soll. Weil z\mapsto \overline{z} eine Involution auf den komplexen Zahlen ist, betrachtet man Banachalgebren mit einer Involution * und setzt a * an die Stelle von \overline{z}. Da der Poynomring {\mathbb C}[z,\overline{z}] kommutativ ist, muss man sich, um einen Homomorphismus {\mathbb C}[z,\overline{z}]\rightarrow A zu erhalten, auf Banachalgebren-Elemente mit a * a = aa * einschränken, solche Elemente nennt man normal. Ist nun (p_n(z,\overline{z}))_n eine Folge von Polynomen, die auf σ(a) gleichmäßig gegen eine stetige Funktion konvergiert, so ist noch sicherzustellen, dass die Folge (pn(a,a * ))n in A gegen einen Grenzwert, den man dann f(a) nennen könnte, strebt. Eine eingehende Analyse dieses Konvergenzproblems zeigt, dass man sich auf C*-Algebren zurückziehen muss. Diese Überlegungen führen zum sogenannten stetigen Funktionalkalkül.

Der stetige Funktionalkalkül

  • Sei a ein normales Element der C*-Algrebra A mit Einselement e und sei {\mathcal C}(\sigma(a)) die Algebra der stetigen Funktionen auf σ(a). Dann gibt es genau einen *-Homomorphismus \Phi_a:{\mathcal C}(\sigma(a))\rightarrow A mit \Phi_a(1) \,=\, e und \Phi_a(z) \,=\, a.
  • Φa ist ein isometrischer Isomorphismus auf die von a erzeugte Unter-C*-Algebra.

Üblicher Weise setzt man suggestiv f(a) \,:=\, \Phi_a(f). Dann kann man folgendes beweisen:

  • 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 C}(\sigma(a)).
  • Für jedes f\in {\mathcal C}(\sigma(a)) gilt f(a)^*=\overline{f}(a).
  • Sind f\in {\mathcal C}(\sigma(a)) und g\in {\mathcal C}(\sigma(f(a))), so gilt (g\circ f)(a) = g(f(a)).
  • Es gilt der spektrale Abbildungssatz: \sigma(f(a)) \,=\, f(\sigma(a)) für alle f\in C(\sigma(a)).

Man kann sich also vorstellen, die Banachalgebren-Elemente tatsächlich in stetige Funktionen einzusetzen; die naheliegenden algebraischen Operationen verhalten sich wie erwartet.

Die Forderung nach einem Einselement ist keine wesentliche Einschränkung. Man kann nötigenfalls ein Einselement adjungieren und in der so vergrößerten C*-Algebra A1 arbeiten. Ist dann a\in A und f\in {\mathcal C}(\sigma(a)) mit f(0)\,=\,0 (falls 0\in \sigma(a)), so gilt f(a)\in A.

Anwendung

Die folgende Anwendung ist ein typisches und sehr einfaches Beispiel der zahlreichen Anwendungen des stetigen Funktionalkalküls in der Theorie der C*-Algebren:

Sei a ein normales Element einer C*-Algebra. Dann sind äquivalent:

  • a ist positiv, d.h. \sigma(a)\subset [0,\infty).
  • Es gibt ein selbstadjungiertes Element b mit a\,=\,b^2.

Ist a positiv, so ist die Einschränkung der Wurzelfunktion x\mapsto \sqrt{x} auf σ(a) stetig, und man kann mittels Funktionalkalkül b=w(a)\in A bilden. Da w nur reelle Werte annimmt, ist w=\overline{w}, woraus b = b * folgt, und offenbar ist b^2 = (w(a))^2 \,=\, (w^2)(a) = z(a) = a.

Ist umgekehrt a = b2 mit selbstadjungiertem b, so ist a = b^2 = b^*b = \overline{z}(b)\cdot z(b) = (\overline{z}\cdot z)(b) = |z|^2(b) = q(b), wobei q(z): = | z | 2, und aus dem spektralen Abbildungssatz folgt \sigma(a)=\sigma(q(b))=q(\sigma(b)) \subset [0,\infty).

Quellen


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

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

  • 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

  • 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

  • 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

  • Reidsche Ungleichung — Die reidsche Ungleichung ist eine mathematische Ungleichung aus dem Bereich der Operatorentheorie auf Hilberträumen. Sie wurde 1951 von William Thomas Reid bewiesen. Formulierung Seien H ein Hilbertraum und A,B stetige lineare Operatoren auf H,… …   Deutsch Wikipedia

  • Normierte Algebra — Der mathematische Begriff normierte Algebra bezeichnet eine bestimmte algebraische Struktur, auf der zusätzlich eine verträgliche Norm erklärt ist. Inhaltsverzeichnis 1 Definition 2 Beispiele 3 Eigenschaften 4 An …   Deutsch Wikipedia

Share the article and excerpts

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