C*-Algebren

Eine C*-Algebra ist eine Operatorenalgebra, die bezüglich der Adjunktion abgeschlossen und bezüglich einer Norm vollständig ist, welche eine Kompatibilitätsidentität erfüllt; sie abstrahiert die algebraische Struktur beschränkter Operatoren auf einem Hilbertraum.

Definition

Eine C*-Algebra ist eine komplexe Banach-Algebra, die mit einer Involution ausgestattet ist, sodass die Norm des Produkts eines Elements und seines Adjungierten dem Quadrat der Norm des Elements entspricht; diese einzelne Identität bewirkt, dass sich die abstrakte Algebra wie Operatoren auf einem Hilbertraum verhält.

Scope

Dieses Thema behandelt die Axiome der Banach- und C*-Algebren und die C*-Identität, das Spektrum und die Gelfand-Theorie kommutativer C*-Algebren als stetige Funktionen auf einem kompakten Raum, den stetigen Funktionalkalkül, Positivität und Zustände, die Gelfand-Naimark-Segal-Konstruktion, den Gelfand-Naimark-Darstellungssatz und von Neumann-Algebren als schwach abgeschlossene Operatorenalgebren.

Core questions

• Welche algebraischen und analytischen Axiome erfassen die Struktur von Operatorenalgebren?
• Wie identifiziert die Gelfand-Theorie eine kommutative C*-Algebra mit stetigen Funktionen auf einem Raum?
• Wie wird jede abstrakte C*-Algebra konkret als Operatoren auf einem Hilbertraum realisiert?
• Wie verbinden Zustände und die GNS-Konstruktion Algebra mit Darstellungen?

Key theories

Gelfand-Naimark-Theorem für kommutative Algebren

Jede kommutative C*-Algebra mit Einselement ist isometrisch isomorph zur Algebra der stetigen Funktionen auf ihrem Spektrum, einem kompakten Raum, wodurch kommutative Operatorenalgebra in die gewöhnliche Funktionentheorie überführt wird.

Gelfand-Naimark-Segal-Konstruktion und Darstellungssatz

Jeder Zustand auf einer C*-Algebra liefert eine Darstellung auf einem Hilbertraum, und zusammen zeigen diese, dass jede C*-Algebra isometrisch isomorph zu einer normabgeschlossenen Operatorenalgebra ist, was die abstrakte Theorie begründet.

Clinical relevance

C*-Algebren bilden den algebraischen Rahmen für die Quantentheorie und die Quantenstatistik, wobei Observablen eine Algebra bilden und Zustände positive Funktionale sind; von Neumann-Algebren klassifizieren Quantensymmetrien, und das Thema ist die analytische Grundlage der nichtkommutativen Geometrie und operatoralgebraischer Ansätze in der Physik.

History

Murray und von Neumann begründeten die Theorie der Operatorringe, heute von Neumann-Algebren, in einer Reihe von Arbeiten ab 1936. Gelfand und Naimark axiomatisierten C*-Algebren und bewiesen ihren Darstellungssatz 1943, womit sie das abstrakte Fachgebiet etablierten.

Key figures

• Israel Gelfand
• Mark Naimark
• John von Neumann

Seminal works

• pedersen1989
• murphy1990

Frequently asked questions

Was drückt die C*-Identität aus?

Die Identität, dass die Norm eines Elements multipliziert mit seinem Adjungierten dem Quadrat der Norm des Elements entspricht, verknüpft die algebraische Involution so eng mit der Norm, dass die abstrakte Algebra gezwungen ist, sich genau wie Operatoren auf einem Hilbertraum zu verhalten.

Warum sind kommutative C*-Algebren lediglich Funktionenalgebren?

Die Gelfand-Theorie zeigt, dass eine kommutative C*-Algebra die Algebra der stetigen Funktionen auf ihrem Spektrum ist, sodass die kommutative Operatorenalgebra auf klassische Topologie und Funktionentheorie reduziert wird, während Nichtkommutativität das genuin quantenmechanische Merkmal ist.