C*-algèbres

Une C*-algèbre est une algèbre d'opérateurs fermée sous l'adjoint et complète pour une norme satisfaisant une identité de compatibilité ; elle abstrait la structure algébrique des opérateurs bornés sur un espace de Hilbert.

Definition

Une C*-algèbre est une algèbre de Banach complexe munie d'une involution telle que la norme du produit d'un élément et de son adjoint est égale au carré de la norme de l'élément ; cette seule identité fait que l'algèbre abstraite se comporte comme des opérateurs sur un espace de Hilbert.

Scope

Ce sujet aborde les axiomes des algèbres de Banach et des C*-algèbres et l'identité C*, le spectre et la théorie de Gelfand des C*-algèbres commutatives en tant que fonctions continues sur un espace compact, le calcul fonctionnel continu, la positivité et les états, la construction de Gelfand-Naimark-Segal, le théorème de représentation de Gelfand-Naimark, et les algèbres de von Neumann en tant qu'algèbres d'opérateurs faiblement fermées.

Core questions

• Quels axiomes algébriques et analytiques capturent la structure des algèbres d'opérateurs ?
• Comment la théorie de Gelfand identifie-t-elle une C*-algèbre commutative avec des fonctions continues sur un espace ?
• Comment chaque C*-algèbre abstraite est-elle réalisée concrètement comme des opérateurs sur un espace de Hilbert ?
• Comment les états et la construction GNS relient-ils l'algèbre aux représentations ?

Key theories

Théorème de Gelfand-Naimark pour les algèbres commutatives

Toute C*-algèbre commutative unitaire est isométriquement isomorphe à l'algèbre des fonctions continues sur son spectre, un espace compact, transformant ainsi l'algèbre d'opérateurs commutative en théorie des fonctions ordinaire.

Construction de Gelfand-Naimark-Segal et théorème de représentation

Chaque état sur une C*-algèbre donne lieu à une représentation sur un espace de Hilbert, et l'ensemble de ces représentations montre que toute C*-algèbre est isométriquement isomorphe à une algèbre d'opérateurs fermée pour la norme, fondant ainsi la théorie abstraite.

Clinical relevance

Les C*-algèbres fournissent le cadre algébrique pour la théorie quantique et la mécanique statistique quantique, où les observables forment une algèbre et les états sont des fonctionnelles positives ; les algèbres de von Neumann classifient les symétries quantiques, et le sujet constitue le fondement analytique de la géométrie non commutative et des approches algébro-opératorielles de la physique.

History

Murray et von Neumann ont fondé la théorie des anneaux d'opérateurs, aujourd'hui appelés algèbres de von Neumann, dans une série d'articles à partir de 1936. Gelfand et Naimark ont axiomatisé les C*-algèbres et ont prouvé leur théorème de représentation en 1943, établissant ainsi le sujet abstrait.

Key figures

• Israel Gelfand
• Mark Naimark
• John von Neumann

Seminal works

• pedersen1989
• murphy1990

Frequently asked questions

Qu'exprime l'identité C* ?

L'identité selon laquelle la norme d'un élément multiplié par son adjoint est égale au carré de la norme de l'élément lie l'involution algébrique à la norme de manière si étroite que l'algèbre abstraite est contrainte de se comporter exactement comme des opérateurs sur un espace de Hilbert.

Pourquoi les C*-algèbres commutatives sont-elles simplement des algèbres de fonctions ?

La théorie de Gelfand montre qu'une C*-algèbre commutative est l'algèbre des fonctions continues sur son spectre, ainsi l'algèbre d'opérateurs commutative se réduit à la topologie classique et à la théorie des fonctions, tandis que la non-commutativité est la caractéristique véritablement quantique.