Eine Algebra über einem Ring oder Körper, ausgestattet mit einer Topologie, sodass die algebraischen Operationen (Addition, Multiplikation und Skalarmultiplikation) als stetige Abbildungen vorliegen.

Prinzip

Algebraische Struktur und Topologie müssen kompatibel sein: die Stetigkeit der Operationen ordnet algebraisches Verhalten durch topologische Beschränkungen und ermöglicht analytische Argumente an algebraischen Objekten.

Demonstration

Die Algebra C(X) der stetigen reell- oder komplexwertigen Funktionen auf einem kompakten Raum X mit punktweiser Addition und Multiplikation und der Supremumsnorm ist eine topologische Algebra (tatsächlich eine Banach-Algebra), in der Addition und Multiplikation stetig sind.

Fehlanwendung

Jede mit einer beliebigen Topologie versehene Algebra als topologische Algebra zu behandeln, ohne die Stetigkeit der Operationen zu prüfen, oder fälschlich aus der bloßen Existenz einer Topologie Vollständigkeit oder Normierbarkeit zu folgern.

Konsequenz

Sind Topologie und algebraische Operationen kompatibel, lassen sich Methoden aus Analysis und Topologie — Spektraltheorie, Komplettierung, Stetigkeitsargumente — auf algebraische Fragen und Darstellungen anwenden.

Umkehrung

Die rein algebraische Auffassung, bei der die Topologie weggelassen wird: eine Algebra, betrachtet nur hinsichtlich algebraischer Homomorphismen und Ideale ohne Stetigkeitsanforderungen.

Abgrenzung

Erfordert eine explizite Topologie und die Stetigkeit jeder algebraischen Operation; schließt rein algebraische Objekte mit einer nicht-kompatiblen Topologie aus. In der Analysis wird oft Hausdorff- oder lokal-konvexe Struktur angenommen, dies ist jedoch nicht Teil der formalen Definition.

Semantische Spannung

Überlappungen mit Banach-Algebren und topologischen Ringen: Banach-Algebren verlangen eine Norm und Vollständigkeit, während topologische Ringe die Skalarmultiplikation eventuell nicht stetig machen; welche topologischen Voraussetzungen gelten müssen, ist häufig umstritten.

Synthese

Eine topologische Algebra ist eine Algebra, deren Operationen eine gegebene Topologie respektieren und so die Wechselwirkung zwischen algebraischer Struktur und topologischen/analytischen Methoden ermöglichen.