Calkin-Algebra

aus Wikipedia, der freien Enzyklopädie

In der Mathematik ist die Calkin-Algebra (nach J. W. Calkin) eine spezielle Banachalgebra, die einem Banachraum zugeordnet ist. In der Calkin-Algebra kann man Eigenschaften stetiger linearer Operatoren vereinfacht betrachten, indem Operatoren, deren Differenz kompakt ist, identifiziert werden. So kommt man zu Klassifikationssätzen für normale Operatoren modulo kompakter Operatoren.

Inhaltsverzeichnis 1 Definition 2 Fredholm-Operatoren 3 C*-Algebra 4 Anwendungen 5 Literatur

[Bearbeiten] Definition

Sei E ein Banachraum. Dann ist die Banachalgebra K(E) der kompakten Operatoren auf E ein zweiseitiges, abgeschlossenen Ideal in der Algebra B(E) aller beschränkten linearen Operatoren auf E. Dann ist die Quotienten-Algebra B(E) / K(E) mit der Quotientennorm wieder eine Banachalgebra, die sogenannte Calkin-Algebra von E. sei die Quotientenabbildung.

[Bearbeiten] Fredholm-Operatoren

Fredholm-Operatoren lassen sich mittels der Calkin-Algebra charakterisieren. Der Satz von F. V. Atkinson besagt, dass für folgende Aussagen äquivalent sind:

• T ist ein Fredholm-Operator.
• π_E(T) ist invertierbar in B(E) / K(E).

Eine wichtige Folgerung ist, dass die Menge der Fredholm-Operatoren eine offene Menge in B(E) ist, denn sie ist nach diesem Satz das Urbild der offenen Menge der invertierbaren Elemente in B(E) / K(E) unter der stetigen Abbildung π.

[Bearbeiten] C*-Algebra

Ist H ein Hilbertraum, so ist B(H) / K(H) als Quotient einer C^*-Algebra wieder eine C^*-Algebra. Für den Rest dieses Abschnitts sei H separabel. Dann ist die Calkin-Algebra B(H) / K(H) einfach, d.h. sie besitzt keine zweiseitigen, abgeschlossen Ideale außer {0} und B(H) / K(H) selbst, denn ist ein maximales zweiseitiges Ideal. Weiter besitzt die Calkin-Algebra (siehe Kontinuum (Mathematik)) viele paarweise orthogonale Projektionen. Die Calkin-Algebra besitzt keine von 0 verschiedenen nicht-separablen Darstellungen, d.h. ist ein *-Homomorphismus, so ist der Hilbertraum entweder der Nullraum oder nicht-separabel.

[Bearbeiten] Anwendungen

Bezüglich der Klassifikation normaler Operatoren ergeben sich erhebliche Vereinfachungen, wenn man Begriffe modulo kompakter Operatoren verwendet, solche Begriffe haben in der Regel den Zusatz wesentlich. Im folgenden sei H wieder ein separabler Hilbertraum.

Das wesentliche Spektrum σ_e(T) eines Operators ist definiert als das Spektrum ohne die isolierten Punkte endlicher Vielfachheit (Vielfachheit bedeutet Dimension des zugehörigen Eigenraums). Das wesentliche Spektrum von T ist genau das bzgl. der Calkin-Algebra berechnete gewöhnliche Spektrum von π(T).

Man nennt zwei Operatoren T₁ und T₂ unitär äquivalent modulo K(H), falls es einen unitären Operator gibt, so dass U ^* T₁U − T₂ kompakt ist. Das bedeutet, dass π(T₁) und π(T₂) in der Calkin-Algebra unitär äquivalent sind, wobei die unitäre Transformation so gewählt werden kann, dass sie ein unitäres Urbild in B(H) hat.

Es gilt nun der folgende Satz von H. Weyl, J. von Neumann und I. D. Berg: Für zwei normale Operatoren sind äquivalent:

• T₁ und T₂ sind unitär äquivalent modulo K(H).
• σ_e(T₁) = σ_e(T₂).

Zusatz: Ist kompakt, so gibt es einen normalen Operator mit σ_e(T) = X.

Der nächste Schritt besteht darin, den Begriff der Normalität nur noch modulo kompakter Operatoren zu betrachten. Man nennt einen Operator wesentlich normal, wenn sein Bild π(T) in der Calkin-Algebra normal ist. Auch für diese Operatoren gelingt eine Klassifikation modulo K(H), wie der folgende Satz von L. G. Brown, R. G. Douglas und P. A. Fillmore zeigt. Für zwei wesentlich normale Operatoren sind äquivalent:

• T₁ und T₂ sind unitär äquivalent modulo K(H).
• σ_e(T₁) = σ_e(T₂) = :X und für alle gilt ind(T₁ − λ1_H) = ind(T₂ − λ1_H).

Dabei steht ind für den Fredholm-Index, man beachte, dass dieser für die im Satz angegebenen Operatoren nach obigem Satz von Atkinson definiert ist.

[Bearbeiten] Literatur

• F. V. Atkinson: The normal solvability of linear equations in normed spaces, Mat. Sb. 28 (70), 3-14 (1951)
• I. D. Berg: An Extension of the Weyl-von Neumann theorem to normal operators, Trans. American Mathematical Society 160, 365-371 (1971)
• J. W. Calkin: Two-sided ideals and congruences in the ring of bounded operators in Hilbert space, Annals of Mathematics 42, 839-873 (1941)
• R. G. Douglas: C*-Algebra Extensions and K-Homology, Princeton University Press (1980)