Satz, wonach jede kommutative unitäre C*-Algebra A *-isomorph zur Algebra C(X) der stetigen komplexwertigen Funktionen auf einem kompakten Hausdorff-Raum X (dem Raum der Charaktere bzw. maximalen Ideale von A) ist; die Gelfand-Transformation liefert diese Isomorphie und etabliert eine Dualität zwischen kommutativen unitären C*-Algebren und kompakten Hausdorff-Räumen.

Prinzip

Algebraische Elemente als Funktionen auf dem Raum maximaler Ideale auffassen: Das Spektrum einer kommutativen C*-Algebra trägt die Topologie, die Charaktere stetig macht, sodass die Gelfand-Transformation ein *-Isomorphismus wird; die involutive Norm und Vollständigkeit kodieren die topologische Struktur.

Demonstration

Für A = C(X) mit X kompakt-Hausdorff entsprechen die maximalen Ideale den Punkten von X und die Gelfand-Transformation ist Evaluation; umgekehrt konstruiert man für eine kommutative unitäre C*-Algebra A den Raum der nichttrivialen *-Homomorphismen A → C und zeigt, dass f ↦ (χ ↦ χ(f)) ein *-Isomorphismus auf C(Δ(A)) ist.

Fehlanwendung

Die Aussage auf nichtkommutative C*-Algebren, nicht unitäre Banach-*-Algebren oder auf Algebren ohne C*-Identität anzuwenden führt zu falschen Schlüssen; den Raum der maximalen Ideale ohne seine Gelfand-Topologie als bloße Menge zu behandeln vernachlässigt Stetigkeitsfragen.

Konsequenz

Es entsteht eine genaue Brücke zwischen Topologie und Algebra: topologische Fragen über kompakte Hausdorff-Räume lassen sich algebraisch formulieren und umgekehrt, was Funktionalkalkül, Klassifikationsergebnisse für kommutative C*-Algebren und spektrale Analysen innerhalb der Algebra ermöglicht.

Umkehrung

Lässt man die Kommutativität fallen, erhält man Operatoralgebren ohne klassisches Punktespektrum; man gelangt zur nichtkommutativen Geometrie, in der Algebren die Rolle von "Funktionen" auf virtuellen nichtkommutativen Räumen übernehmen und punktbasierte Intuition versagt.

Abgrenzung

Gilt nur für kommutative, unitäre C*-Algebren; nicht direkt anwendbar auf nicht unitäre Algebren ohne Adjoinierung, auf allgemeine Banach-Algebren ohne C*-Eigenschaft oder auf Algebren über anderen Körpern ohne geeignetes Adjungiertensystem.

Semantische Spannung

Spannung zwischen der Auffassung des Spektrums als konkreter Menge von geometrischen Punkten und als idealtheoretischem bzw. darstellungstheoretischem Objekt (maximale Ideale versus Klassen irreduzibler Darstellungen) sowie zwischen algebraischen Eigenschaften und feineren topologischen Invarianten.

Synthese

Der Gelfand–Naimark-Satz identifiziert kommutative unitäre C*-Algebren mit Algebren stetiger Funktionen auf kompakten Hausdorff-Räumen mittels der Gelfand-Transformation und stellt eine Dualität her, die algebraische Struktur in Topologie übersetzt und umgekehrt.