Vryjdfkk

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 integrierbarer Funktionen oder Algebren stetiger linearer Operatoren auf Banachräumen.

Eine Banachalgebra ist ein Vektorraum, in dem zusätzlich auch eine Multiplikation und eine Norm so definiert sind, dass gewisse Verträglichkeitsbedingungen erfüllt sind.

Definition |

Ein Vektorraum (A,+){displaystyle ({mathcal {A}},+)} über dem Körper K=R{displaystyle mathbb {K} =mathbb {R} } oder C{displaystyle mathbb {C} } der reellen oder komplexen Zahlen mit einer Norm ‖⋅‖{displaystyle left|cdot right|} und einem Produkt ∘:A×A→A{displaystyle circ colon {mathcal {A}}times {mathcal {A}}to {mathcal {A}}} ist eine Banachalgebra, wenn gilt:

• 
  (A,+,‖⋅‖){displaystyle ({mathcal {A}},+,left|cdot right|)} ist ein Banachraum, also ein vollständiger normierter Vektorraum,


• 
  (A,+,∘){displaystyle ({mathcal {A}},+,circ )} ist eine assoziative K{displaystyle mathbb {K} }-Algebra,


• 
  ‖A∘B‖≤‖A‖⋅‖B‖{displaystyle |Acirc B|leq |A|cdot |B|} für alle A,B∈A{displaystyle A,Bin {mathcal {A}}}, d. h. die Norm ist submultiplikativ.

Wie auch in der Algebra allgemein üblich wird das Symbol für das Produkt gern weggelassen, nur im Falle der Faltung wird oft das Symbol ∗{displaystyle *} oder ⋆{displaystyle star } verwendet.
Verlangt man von (A,+,‖⋅‖){displaystyle ({mathcal {A}},+,left|cdot right|)} nur, dass es sich um einen normierten Raum handelt, das heißt, man verzichtet auf die Vollständigkeit, so erhält man den allgemeineren Begriff der normierten Algebra.

Spezielle Klassen von Banachalgebren |

Banach-*-Algebra oder involutive Banachalgebra |

Eine Banach-*-Algebra A{displaystyle {mathcal {A}}} (über C{displaystyle mathbb {C} }) ist eine Banachalgebra über C{displaystyle mathbb {C} } zusammen mit einer Involution ∗:A→A,a↦a∗{displaystyle ^{*}colon {mathcal {A}}to {mathcal {A}},,amapsto a^{*}}, so dass

In anderen Worten, eine Banach-*-Algebra ist eine Banachalgebra und zugleich eine *-Algebra mit einer isometrischen Involution. Manche Autoren lassen die Bedingung der Isometrie fort und sprechen dann gegebenenfalls von einer Banach-*-Algebra mit isometrischer Involution. Die meisten in natürlicher Weise auftretenden Involutionen auf Banachalgebren sind allerdings isometrisch.

C*-Algebren und Von-Neumann-Algebren |

Die Banachalgebra B(H){displaystyle B(H)} der stetigen linearen Operatoren über einem Hilbertraum H{displaystyle H} motiviert die folgende Definition:
Eine Banachalgebra A{displaystyle {mathcal {A}}}, auf der zusätzlich eine semilineare antimultiplikative Involution ∗:A→A,x↦x∗{displaystyle *colon {mathcal {A}}to {mathcal {A}},xmapsto x^{*}} gegeben ist, heißt C*-Algebra, wenn die sogenannte C*-Bedingung erfüllt ist:

• 
  ‖x∗x‖=‖x‖2{displaystyle |x^{*}x|=|x|^{2}} für alle x∈A{displaystyle xin {mathcal {A}}}
  

Solche Banachalgebren lassen sich auf Hilberträumen darstellen. Sind diese dann in einer gewissen Topologie in der Operatorenalgebra über dem Hilbertraum abgeschlossen, so nennt man sie Von-Neumann-Algebren.

Beispiele |

• Jeder Banachraum wird mit der Null-Multiplikation, d. h. xy{displaystyle xy}=0 für alle Elemente x,y{displaystyle x,y} des Banachraums, zu einer Banachalgebra.

• Sei K{displaystyle K} ein kompakter Raum und C(K){displaystyle {mathcal {C}}(K)} der Raum der stetigen Funktionen f:K→C{displaystyle fcolon Kto mathbb {C} }. Mit den punktweisen Operationen und der durch f∗(x):=f(x)¯{displaystyle f^{*}(x):={overline {f(x)}}} (komplexe Konjugation) definierten Involution und der Supremumsnorm ‖f‖:=supx∈K|f(x)|{displaystyle |f|:=sup _{xin K}|f(x)|} wird C(K){displaystyle {mathcal {C}}(K)} zu einer kommutativen C^*-Algebra. Ebenso lassen sich der Raum der beschränkten komplexwertigen Funktionen auf einem topologischen Raum (was mittels der Stone-Čech-Kompaktifizierung gleichwertig ist) oder allgemeiner der Raum der C₀-Funktionen, der stetigen Funktionen auf einem lokalkompakten Raum, die im Unendlichen verschwinden, betrachten.

• Sei D{displaystyle D} der Einheitskreis in C{displaystyle mathbb {C} }. Es sei A(D){displaystyle A(D)} die Algebra mit stetigen Funktionen f:D→C{displaystyle fcolon Dto mathbb {C} }, die im Inneren von D holomorph sind. Mit den punktweisen Operationen und der durch f∗(z):=f(z¯)¯{displaystyle f^{*}(z):={overline {f({overline {z}})}}} (komplexe Konjugation) definierten Involution und der Supremumsnorm wird A(D){displaystyle A(D)} zu einer kommutativen Banach-*-Algebra, die keine C^*-Algebra ist. Diese Banachalgebra nennt man auch die Diskalgebra.

• Ist V{displaystyle V} ein Banachraum, so ist die Algebra B(V){displaystyle B(V)} der stetigen, linearen Operatoren auf V{displaystyle V} eine Banachalgebra, die im Falle dim⁡V>1{displaystyle dim V>1} nicht kommutativ ist. Ist V{displaystyle V} ein Hilbertraum, so ist B(V){displaystyle B(V)} eine C^*-Algebra.

• Die Spurklasse und die Hilbert-Schmidt-Klasse, oder allgemeiner die Schatten-Klassen, sind Beispiele für nicht-kommutative Banach-*-Algebren, die keine C^*-Algebren sind.

• In der harmonischen Analyse werden die Banach-*-Algebren L1(G){displaystyle L^{1}(G)}, das heißt die Faltungsalgebren über einer lokalkompakten Gruppe G{displaystyle G} betrachtet.

• 
  H*-Algebren sind involutive Banachalgebren, die gleichzeitig Hilberträume sind, zusammen mit einer Zusatzbedingung, die die Involution mit der Hilbertraumstruktur verknüpft.

Grundlagen |

Es werden einige Grundlagen der Theorie der Banachalgebren besprochen, die ein Zusammenspiel zwischen algebraischen und topologischen Eigenschaften zeigen.

Das Einselement |

Viele der oben genannten Beispiele sind Banachalgebren ohne ein Einselement.
Wird dennoch ein Einselement benötigt, so kann man eines adjungieren.
In vielen Fällen gibt es in diesen Banachalgebren Approximationen der Eins; dies ist ein topologisches Konstrukt, das oft einen Ersatz für das fehlende Einselement darstellt.
Das gilt insbesondere für C*-Algebren und die Gruppenalgebren L1(G){displaystyle L^{1}(G)}.

Die Gruppe der invertierbaren Elemente |

Ist A{displaystyle A} eine Banachalgebra mit Einselement 1, so ist die Gruppe A×{displaystyle A^{times }} der invertierbaren Elemente offen. Ist nämlich b∈A{displaystyle bin A} invertierbar und a∈A{displaystyle ain A} mit ‖a−b‖<1‖b−1‖{displaystyle |a-b|<{tfrac {1}{|b^{-1}|}}}, so ist auch a{displaystyle a} invertierbar, denn leicht überlegt man sich, dass b−1∑n=0∞((b−a)b−1)n{displaystyle textstyle b^{-1}sum _{n=0}^{infty }((b-a)b^{-1})^{n}} konvergiert und das Inverse zu a{displaystyle a} ist. Ferner ist das Invertieren a↦a−1{displaystyle amapsto a^{-1}} als Abbildung auf der Gruppe der invertierbaren Elemente stetig. Daher ist A×{displaystyle A^{times }} eine topologische Gruppe.

Das Spektrum |

In der linearen Algebra spielt die Menge der Eigenwerte einer Matrix eine wichtige Rolle bei der Untersuchung der Matrizen, d. h. der Elemente der Banachalgebra B(Kn){displaystyle B({mathbb {K} }^{n})}.
Dies verallgemeinert sich zum Begriff des Spektrums:

Sei A{displaystyle A} eine C{displaystyle mathbb {C} }-Banachalgebra mit Einselement.
Für a∈A{displaystyle ain A} ist das Spektrum von a{displaystyle a}, σ(a):={λ∈C:a−λ⋅1∉A×}{displaystyle sigma (a):={lambda in {mathbb {C} }:a-lambda cdot 1notin A^{times }}}, kompakt und nach dem Satz von Gelfand-Mazur nicht leer. Für den Spektralradius r(a):=sup{|λ∣λ∈σ(a)}{displaystyle r(a):=sup{|lambda mid lambda in sigma (a)}} gilt die Formel r(a)=limn→∞‖an‖1/n{displaystyle textstyle r(a)=lim _{nto infty }|a^{n}|^{1/n}}.
Diese Formel ist erstaunlich, da der Spektralradius eine rein algebraische Größe ist, die lediglich den Begriff der Invertierbarkeit verwendet, die rechte Seite der Spektralradiusformel hingegen ist durch die Norm der Banachalgebra gegeben.

Für den Rest dieses Abschnitts sei A{displaystyle A} kommutativ mit Einselement. Die Menge XA{displaystyle X_{A}} aller multiplikativen Funktionale A→C{displaystyle Ato mathbb {C} } bezeichnet man als das Spektrum von A{displaystyle A}, oder nach Gelfand auch als Gelfand-Spektrum oder Gelfand-Raum von A{displaystyle A}. Das Spektrum von A{displaystyle A} ist ein kompakter Raum und die Gelfand-Transformation vermittelt einen Homomorphismus A→C(XA){displaystyle Arightarrow C(X_{A})} von A{displaystyle A} in die Banachalgebra der stetigen komplexwertigen Funktionen auf XA{displaystyle X_{A}}. Jedem Element a∈A{displaystyle ain A} wird so eine stetige Funktion a^:XA→C{displaystyle {hat {a}}colon X_{A}to mathbb {C} } zugeordnet, wobei a^(φ)=φ(a){displaystyle {hat {a}}(varphi )=varphi (a)}. Das Spektrum eines Elementes a∈A{displaystyle ain A} und das Spektrum der Algebra hängen dann über die Formel σ(a)=a^(XA){displaystyle sigma (a)={hat {a}}(X_{A})} zusammen. Das ist im Artikel über die Gelfand-Transformation ausgeführt.

Maximale Ideale |

Sei A{displaystyle A} eine kommutative C{displaystyle mathbb {C} }-Banachalgebra mit Einselement.
Ist φ∈XA{displaystyle varphi in X_{A}}, so ist ker⁡(φ)⊂A{displaystyle ker(varphi )subset A} ein maximales Ideal (mit Kodimension 1).
Ist umgekehrt M⊂A{displaystyle Msubset A} ein maximales Ideal, so ist der Abschluss M¯{displaystyle {overline {M}}} wegen der Offenheit der Gruppe der invertierbaren Elemente ein echtes Ideal, also muss M¯=M{displaystyle {overline {M}}=M} gelten.
Dann ist die Quotientenalgebra A/M{displaystyle A/M} eine Banachalgebra, die ein Körper ist, und dieser muss nach dem Satz von Gelfand-Mazur isomorph zu C{displaystyle mathbb {C} } sein. Daher ist die Quotientenabbildung A→A/M≅C{displaystyle Arightarrow A/Mcong mathbb {C} } ein multiplikatives Funktional mit Kern M{displaystyle M}.
Bezeichnet man also die Menge der maximalen Ideale mit Max⁡(A){displaystyle operatorname {Max} (A)}, so hat man eine bijektive Abbildung:

XA→Max⁡(A),φ↦ker⁡(φ){displaystyle X_{A}to operatorname {Max} (A),,,,varphi mapsto ker(varphi )}

Es besteht damit eine bijektive Beziehung zwischen der Teilmenge XA{displaystyle X_{A}} des Dualraums und der rein algebraisch definierten Menge der maximalen Ideale.

Anwendungen |

• Anwendung finden Banachalgebren u. a. in der Operatorentheorie, wie sie z. B. in der Quantenfeldtheorie benutzt wird.


• Ferner gibt es die Erweiterung zu Von-Neumann-Algebren und Hilbert-Moduln und der abstrakten K- und KK-Theorie, welche auch als nichtkommutative Geometrie bezeichnet wird.


• Zur Untersuchung lokalkompakter Gruppen zieht man in der harmonischen Analyse die Banachalgebren L1(G){displaystyle L^{1}(G)} und die Gruppen-C*-Algebren C∗(G){displaystyle C^{*}(G)} heran.

Literatur |

• 
  F. F. Bonsall, J. Duncan: Complete Normed Algebras (= Ergebnisse der Mathematik und ihrer Grenzgebiete. NF Bd. 80). Springer, Berlin u. a. 1973, ISBN 3-540-06386-2.


• 
  Richard V. Kadison, John R. Ringrose: Fundamentals of the Theory of Operator Algebras. Special Topics.Academic Press, New York NY u. a.;
  
  
  
  • Band 1: Elementary Theory (= Pure and applied mathematics. Vol. 100, 1). 1983, ISBN 0-12-393301-3;
  
  
  • Band 2: Advanced Theory (= Pure and applied mathematics. Vol. 100, 2). 1986, ISBN 0-12-393302-1.
  
  
  
  


• Masamichi Takesaki: Theory of Operator Algebras I. Springer, Berlin 1979, ISBN 3-540-90391-7 (2nd printing of the 1st edition. (= Encyclopaedia of Mathematical Sciences. Vol. 124 = Encyclopaedia of Mathematical Sciences. Operator Algebras and Non-Commutative Geometry. Vol. 5). Springer, New York u. a. 2002, ISBN 3-540-42248-X).