Calkin-Algebra

aus Wikipedia, der freien Enzyklopädie

In der Mathematik ist die Calkin-Algebra (nach John Williams 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.

Definition

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} ein Banachraum. Dann ist die Banachalgebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K(E)} der kompakten Operatoren auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} ein zweiseitiges, abgeschlossenes Ideal in der Algebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B(E)} aller beschränkten linearen Operatoren auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} . Dann ist die Quotienten-Algebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B(E)/K(E)} mit der Quotientennorm wieder eine Banachalgebra, die Calkin-Algebra von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E} . Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi \colon B(E) \rightarrow B(E)/K(E)} sei die Quotientenabbildung.[1]

Fredholm-Operatoren

Fredholm-Operatoren lassen sich mittels der Calkin-Algebra charakterisieren. Der Satz von F. V. Atkinson besagt, dass für einen beschränkten linearen Operator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T\in B(E)} folgende Aussagen äquivalent sind:[2]

  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T} ist ein Fredholm-Operator.
  • Es gibt einen Operator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S\in B(E)} , so dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{id}_E-ST} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{id}_E-TS} kompakt sind.
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi_E(T)} ist invertierbar in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B(E)/K(E)} .

Eine wichtige Folgerung ist, dass die Menge der Fredholm-Operatoren eine offene Menge in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B(E)} ist, denn sie ist nach diesem Satz das Urbild der offenen Menge der invertierbaren Elemente in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B(E)/K(E)} unter der stetigen Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi} .

C*-Algebra

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} ein Hilbertraum, so ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B(H)/K(H)} als Quotient einer C*-Algebra wieder eine C*-Algebra. Für den Rest dieses Abschnitts sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} separabel und unendlich-dimensional. Dann ist die Calkin-Algebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B(H)/K(H)} einfach, d. h., sie besitzt keine zweiseitigen, abgeschlossenen Ideale außer Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{0\}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B(H)/K(H)} selbst, denn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K(H)\subset B(H)} ist ein maximales zweiseitiges Ideal. Weiter besitzt die Calkin-Algebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2^{\aleph_0}} (siehe Kontinuum (Mathematik)) paarweise orthogonale Projektionen. Die Calkin-Algebra besitzt keine von 0 verschiedenen nicht-separablen Darstellungen, d. h., ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi: B(H)/K(H)\rightarrow B(\tilde{H})} ein *-Homomorphismus, so ist der Hilbertraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tilde{H}} entweder der Nullvektorraum oder nicht-separabel.

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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma_e(T)} eines Operators Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T\in B(H)} ist definiert als das Spektrum ohne die isolierten Punkte endlicher Vielfachheit (Vielfachheit bedeutet Dimension des zugehörigen Eigenraums). Das wesentliche Spektrum eines normalen Operators T ist genau das bzgl. der Calkin-Algebra berechnete gewöhnliche Spektrum von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi(T)} .

Man nennt zwei Operatoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_1} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_2} unitär äquivalent modulo K(H), falls es einen unitären Operator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U\in B(H)} gibt, so dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U^* T_1 U - T_2} kompakt ist. Das bedeutet, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi(T_1)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi(T_2)} 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B(H)} hat.

Es gilt nun der folgende Satz von Hermann Weyl, John von Neumann und I. D. Berg: Für zwei normale Operatoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_1,T_2 \in B(H)} sind äquivalent:[3]

  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_1} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_2} sind unitär äquivalent modulo K(H).
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma_e(T_1) = \sigma_e(T_2)} .

Zusatz: Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset \not= X \subset {\mathbb C}} kompakt, so gibt es einen normalen Operator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T \in B(H)} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma_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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T \in B(H)} wesentlich normal, wenn sein Bild Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi(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 (BDF-Theorie). Für zwei wesentlich normale Operatoren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_1,T_2 \in B(H)} sind äquivalent:[4]

  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_1} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T_2} sind unitär äquivalent modulo K(H).
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sigma_e(T_1) = \sigma_e(T_2) =: X} und für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lambda \in {\mathbb C}\setminus X} gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{index}(T_1-\lambda 1_H) = \mathrm{index}(T_2-\lambda 1_H)} .

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

Automorphismen auf der Calkin-Algebra

Im Rahmen der oben erwähnten BDF-Theorie stellten die Autoren 1977 die Frage, ob alle *-Automorphismen auf der Calkin-Algebra inner sind, das heißt ob es zu jedem solchen Automorphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi} einen unitären Operator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle u\in B(H)/K(H)} gibt mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi(a) = uau^*} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a\in B(H)/K(H)} . *-Automorphismen, die nicht von dieser Form sind, nennt man äußere *-Automorphismen. Die Frage lautet also, ob es auf der Calkin-Algebra äußere *-Automorphismen gibt.[5]

Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B(H)} ist bekannt, dass jeder *-Automorphismus inner ist. Der Beweis benutzt, dass ein *-Automorphismus Operatoren mit eindimensionalem Bild wieder auf solche abbilden muss und konstruiert daraus einen unitären Operator, macht also wesentlich von kompakten Operatoren Gebrauch. Aber genau diese hat man in der Calkin-Algebra ja nicht mehr zur Verfügung, so dass sich der Beweis nicht übertragen lässt. Das Problem der Existenz äußerer *-Automorphismen war lange offengeblieben, bis es in den Jahren 2007 und 2011 eine überraschende Lösung gefunden hat. Dieses Problem hat sich als unabhängig erwiesen, das heißt die Axiome der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom, kurz ZFC, lassen keine Entscheidung dieser Frage zu.

Zunächst haben N. C. Phillips und N. Weaver gezeigt, dass unter der zusätzlichen Annahme der Kontinuumshypothese die Existenz äußerer Automorphismen folgt. Da die Kontinuumshypothese zu ZFC konsistent ist, wie K. Gödel mit dem Modell der konstruktiblen Mengen bereits 1938 nachgewiesen hatte, ist also auch die Existenz äußerer *-Automorphismen zu ZFC konsistent.[6]

Damit ist ein Beweis, dass alle *-Automorphismen inner sind, nicht mehr möglich, es war aber nicht ausgeschlossen, dass es einen Beweis der Existenz äußerer *-Automorphismen auf Basis der ZFC-Axiome, der die Kontinuumshypothese nicht benutzt, geben könnte. Dass auch das nicht der Fall ist, hat I. Farah im Jahre 2011 gezeigt. Nimmt man zu ZFC das Open-Coloring-Axiom hinzu, so sind alle *-Automorphismen auf der Calkin-Algebra inner.[7] Da das Open-Coloring-Axiom ebenfalls zu ZFC konsistent ist, wie S. Todorcevic 1989 gezeigt hatte, kann man in ZFC die Existenz äußerer *-Automorphismen auf der Calkin-Algebra auch nicht widerlegen, das heißt die Existenz äußerer *-Automorphismen auf der Calkin-Algebra ist insgesamt unabhängig von ZFC.

Einzelnachweise

  1. ↑ J. W. Calkin: Two-sided ideals and congruences in the ring of bounded operators in Hilbert space. In: Annals of Mathematics. 42, 839–873 (1941)
  2. ↑ F. V. Atkinson: The normal solvability of linear equations in normed spaces. In: Mat. Sb. 28 (70), 3–14 (1951)
  3. ↑ I. D. Berg: An Extension of the Weyl-von Neumann theorem to normal operators. In: Trans. American Mathematical Society. 160, 365–371 (1971)
  4. ↑ R. G. Douglas: C*-Algebra Extensions and K-Homology. Princeton University Press 1980
  5. ↑ L. G. Brown, R. G. Douglas, P. A. Fillmore: Extensions of C*-algebras and K-Homology, Annals of Mathematics (1977), Band 105, Seiten 265–324, Seite 270 vor Def. 1.7
  6. ↑ N. C. Phillips, N. Weaver: The Calkin algebra has outer automorphisms, Duke Mathematical Journal (2007), Band 139, Seiten 185–202
  7. ↑ I. Farah: All automorphisms of the Calkin algebra are inner, Annals of Mathematics (2011), Band 173 Seiten 619–661
Abgerufen von „https://de.wikiup.org/index.php?title=Calkin-Algebra&oldid=195015310“