Gelfand-Transformation

Gelfand-Transformation

Die Gelfand-Transformation (nach Israel Gelfand) ist das wichtigste Instrument in der Theorie der kommutativen Banach-Algebren. Sie bildet eine kommutative \mathbb C-Banachalgebra A in eine Algebra stetiger Funktionen ab. Jedem a aus A wird eine stetige Funktion \hat{a}:X\mapsto {\mathbb C} zugeordnet, wobei X ein geeigneter lokalkompakter Hausdorff-Raum ist. Die Zuordnung a\mapsto \hat{a} ist dabei ein stetiger Algebren-Homomorphismus.

Inhaltsverzeichnis

Motivation, Gelfand-Raum

Betrachtet man eine kommutative \mathbb C-Banachalgebra A nur als normierten Raum mit Dualraum A' und Bidualraum A'' = (A')', so lassen sich die Elemente von A folgendermaßen auf stetige Funktionen abbilden: Man ordne jedem a die Funktion \hat{a}:A'\rightarrow{\mathbb C}, \hat{a}(\phi) := \phi(a) zu. Dabei handelt es sich um die bekannte isometrische Einbettung von A in den Bidualraum, denn jedes \hat{a} ist ein Element aus A''. Jedes \hat{a} ist auch stetig. Dabei erweist sich die Normtopologie als unnötig stark. Aus diesem Grunde betrachtet man auf A' die schwach-*-Topologie, diese ist gerade definiert als die gröbste Topologie, die alle Abbildungen \hat{a} stetig macht.

Wenden wir uns wieder der Algebra A zu, so müssen wir feststellen, dass die Zuordnung a\mapsto\hat{a} kein Homomorphismus ist; sie ist nicht multiplikativ, d.h. es gilt nicht \widehat{ab} = \hat{a}\hat{b}. Dazu müsste nämlich \widehat{ab}(\phi) = \hat{a}(\phi)\hat{b}(\phi) und damit ϕ(ab) = ϕ(a)ϕ(b) für alle \phi\in A' gelten, aber ein lineares Funktional ist in der Regel nicht multiplikativ. Diese Beobachtung gibt aber einen Hinweis, wie man einen Homomorphismus der gewünschten Art konstruieren kann. Man verwendet statt ganz A' nur die multiplikativen Funktionale in A', und genau das ist die Gelfand-Transformation.

Wir setzen daher X_A := \{\phi\in A'; \phi\, {\rm multiplikativ}, \phi \not= 0\}. Diese Menge nennt man das Spektrum (Gelfand-Spektrum) von A oder auch den Gelfand-Raum von A. Man beachte, dass der Nullhomomorphismus herausgenommen wurde. Es gibt Banach-Algebren mit leerem Spektrum, z.B. eine Banachalgebra A mit der Nullmultiplikation, d.h. a\cdot b=0 für alle a,b\in A. Ist aber X_A \not= \emptyset, so kann man zeigen, dass XA mit der relativen schwach-*-Topologie ein lokalkompakter Hausdorff-Raum ist. Nach obigen Ausführungen ist

{\mathcal G}:A\rightarrow C_0(X_A),\, a\mapsto \hat{a},\, \hat{a}(\phi) = \phi(a)

ein stetiger Homomorphismus mit Norm \le 1. CO(XA) ist dabei die Algebra der stetigen, komplexwertigen Funktionen auf XA, die im Unendlichen verschwinden. Dieser Homomorphismus heißt Gelfand-Transformation, \hat{a} nennt man die Gelfand-Transformierte von a.

Beispiel C0(Z)

Sei Z ein lokalkompakter Hausdorffraum und A = C0(Z), so ist A bereits eine Algebra von der Art, auf die die Gelfand-Transformation abbildet. Um die Gelfand-Transformation für diesen Fall zu bestimmen, müssen wir uns einen Überblick über die multiplikativen Funktionale auf A verschaffen. Ist z\in Z, so ist die Punktauswertung \delta_z:A\rightarrow {\mathbb C},\, \delta_z(f) := f(z) offenbar ein multiplikatives Funktional, und man kann zeigen, dass dies bereits alle sind, d.h. dass X_A = \{\delta_z; z\in Z\} gilt. Z kann also mittels der Abbildung z\mapsto \delta_z mit XA identifiziert werden, zumindest als Menge. Man kann zeigen, dass diese Abbildung sogar ein Homöomorphismus ist, so dass man Z und XA auch als topologische Räume identifizieren kann. In diesem Fall ist also {\mathcal G}:A\rightarrow C_0(X_A) = C_0(Z) nichts weiter als die Identität. Für A = C0(Z) bietet die Gelfand-Transformation nichts Neues.

Beispiel L1(R)

Der Banachraum A = L^1({\mathbb R}) ist mit der Faltung als Multiplikation und der 1-Norm eine kommutative {\mathbb C}-Banachalgebra. Für f,g\in L^1({\mathbb R}) gilt dabei

f*g(t) := \int_{-\infty}^\infty f(s)g(t-s)ds
 \|f\|_1 = \int_{-\infty}^\infty |f(s)|ds

Wie sehen die multiplikativen Funktionale auf A aus? Die Punktauswertungen des C0(Z)-Beispiels kommen nicht in Frage, denn für L1-Funktionen ist der Funktionswert an einer Stelle gar nicht definiert. Man kann zeigen, dass für z\in {\mathbb R} durch

\phi_z(f) := \int_{-\infty}^\infty f(t)e^{-itz}dt

ein multiplikatives Funktional auf A = L^1({\mathbb R}) erklärt ist, und dass umgekehrt jedes multiplikative Funktional von dieser Form ist. Es gilt also X_A = \{\phi_z; z\in{\mathbb R}\} und man kann weiter zeigen, dass die Abbildung z\mapsto \phi_z ein Homöomorphismus von {\mathbb R} auf XA ist. Identifiziert man daher {\mathbb R} und XA mittels dieser Abbildung, so hat die Gelfand-Transformation die Gestalt:

{\mathcal G}: L^1({\mathbb R}) \rightarrow C_0({\mathbb R}),\, f\mapsto\hat{f},\, \hat{f}(z) = \int_{-\infty}^\infty f(t)e^{-itz}dt.

Die Gelfand-Transformation erweist sich damit als eine Abstraktion der Fourier-Transformation.

Beispiel 'holomorphe Fortsetzung'

Es sei Z die Kreislinie \{z\in {\mathbb C}; |z|=1\}. Dann ist C0(Z) eine kommutative Banachalgebra mit 1. Sei A die Diskalgebra, das heißt die Unteralgebra aller Funktionen, die eine holomorphe Fortsetzung ins Innere \{z\in {\mathbb C}; |z|<1\} besitzen. Mit ein wenig Funktionentheorie (Maximumprinzip) zeigt man, dass A eine Unter-Banachalgebra von C0(Z) ist. Wie sehen die multiplikativen Funktionale auf A aus? Zunächst sind die Punktauswertungen δz, | z | = 1, die ja schon multiplikative Funktionale auf C0(Z) sind, natürlich auch multiplikative Funktionale auf A. Es gibt aber weitere. Da die holomorphe Fortsetzung einer Funktion ins Innere eindeutig ist, sind auch alle Punktauswertungen δz, | z | < 1, multiplikative Funktionale auf A. Man zeigt, dass X_A = \{\delta_z; |z| \le 1\} und dass man XA mittels z\mapsto \delta_z auch topologisch mit der Kreisfläche K = \{z\in{\mathbb C}; |z| \le 1\} identifizieren kann. In diesem Beispiel ist daher

{\mathcal G}: A\rightarrow C_0(K),\, f\mapsto \hat{f},\, \hat{f} = holomorphe Fortsetzung von f,

d.h. die Gelfand-Transformation spielt hier die Rolle eines Fortsetzungsoperators.

Bedeutung

Die Gelfand-Transformation kann in ihrer Bedeutung nicht überschätzt werden. Schon die obigen Beispiele vermitteln einen Eindruck der Vielfalt ihrer Anwendungsmöglichkeiten.

Ist A eine kommutative C*-Algebra, so ist die Gelfand-Transformation der isometrische Isomorphismus aus dem Satz von Gelfand-Neumark für kommutative C*-Algebren. Das ist der Ausgangspunkt der Spektraltheorie.

Das L^1({\mathbb R})-Beispiel verallgemeinert sich auf lokalkompakte, abelsche Gruppen G. Der Gelfand-Raum von L1(G) wird mit \hat{G} bezeichnet und kann wieder mit einer Gruppen-Struktur versehen werden. Man nennt \hat{G} dann die Dualgruppe von G. Das ist der Ausgangspunkt der abstrakten harmonischen Analyse.

Die Stone-Čech-Kompaktifizierung eines vollständigen, regulären Hausdorff-Raums X kann als Anwendung der Gelfand-Transformation auf die kommutative C*-Algebra Cb(X) der stetigen und beschränkten Funktionen auf X erhalten werden.

Der Kern der Gelfand-Transformation ist im Falle einer kommutativen Banachalgebra das Jacobson-Radikal, insbesondere ist das Jacobson-Radikal stets abgeschlossen. Hier zeigt sich wieder, wie algebraische und topologische Begriffe in der Theorie der Banachalgebren ineinandergreifen.

Literatur

  • R.V. Kadison, J. R. Ringrose: Fundamentals of the Theory of Operator Algebras, 1983
  • M. Takesaki: Theory of Operator Algebras I (Springer 1979, 2002)

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

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

  • Gelfand — ist der Familienname folgender Personen: Alan Gelfand (* 1963), US amerikanischer Skateboarder Boris Gelfand (* 1968), weißrussisch israelischer Schachmeister Israel Moissejewitsch Gelfand (1913–2009), sowjetisch ukrainischer Mathematiker… …   Deutsch Wikipedia

  • Gelfand-Spektrum — Banach Algebra berührt die Spezialgebiete Mathematik Topologie Abstrakte Algebra Lineare Algebra Funktionalanalysis ist Spezialfall von Abels …   Deutsch Wikipedia

  • Israel Gelfand — Israel Moissejewitsch Gelfand (russisch Израиль Моисеевич Гельфанд; * 20. Augustjul./ 2. September 1913greg. in Krasni Okny im Bezirk Odessa, Russisches Reich heute Ukraine) ist ein sowjetischer Mathematiker. Inhaltsverzeichnis 1 …   Deutsch Wikipedia

  • Israel Moissejewitsch Gelfand — (russisch Израиль Моисеевич Гельфанд; * 20. Augustjul./ 2. September 1913greg. in Krasni Okny im Bezirk Odessa, Russisches Kaiserreich, heute Ukraine; † 5. Oktober 2009 in New Brunswick, New Jersey) war ein sowjetischer… …   Deutsch Wikipedia

  • Banach-Algebra — berührt die Spezialgebiete Mathematik Topologie Abstrakte Algebra Lineare Algebra Funktionalanalysis ist Spezialfall von Abels …   Deutsch Wikipedia

  • Satz von Pontrjagin — Die Pontrjagin Dualität (nach Lew Semjonowitsch Pontrjagin) ist ein mathematischer Begriff aus der harmonischen Analyse. Einer lokalkompakten abelschen Gruppe wird eine weitere lokalkompakte abelsche Gruppe als Dualgrupe zugeordnet, derart dass… …   Deutsch Wikipedia

  • Harmonische Analyse — Die abstrakte harmonische Analyse ist die Theorie der lokalkompakten Gruppen. Der Name rührt daher, dass es auf beliebigen lokalkompakten Gruppen ein zum Lebesgue Maß auf den reellen Zahlen analoges Maß gibt, das sogenannte Haar Maß. Bezüglich… …   Deutsch Wikipedia

  • Banachalgebra — Banachalgebren (nach Stefan Banach) sind mathematische Objekte der Funktionalanalysis, die einige bekannte Funktionenräume und Operatorenalgebren anhand wesentlicher gemeinsamer Eigenschaften verallgemeinern, z. B. Räume stetiger oder… …   Deutsch Wikipedia

  • Pontrjagin-Dualität — Die Pontrjagin Dualität (nach Lew Semjonowitsch Pontrjagin) ist ein mathematischer Begriff aus der harmonischen Analyse. Einer lokalkompakten abelschen Gruppe wird eine weitere lokalkompakte abelsche Gruppe als Dualgruppe zugeordnet, derart dass… …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

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