C*-Álgebras

Uma C*-álgebra é uma álgebra de operadores fechada sob o adjunto e completa em uma norma que satisfaz uma identidade de compatibilidade; ela abstrai a estrutura algébrica de operadores limitados em um espaço de Hilbert.

Definition

Uma C*-álgebra é uma álgebra de Banach complexa equipada com uma involução tal que a norma do produto de um elemento e seu adjunto é igual ao quadrado da norma do elemento; esta única identidade faz com que a álgebra abstrata se comporte como operadores em um espaço de Hilbert.

Scope

Este tópico abrange os axiomas de Banach e C*-álgebra e a identidade C*, o espectro e a teoria de Gelfand de C*-álgebras comutativas como funções contínuas em um espaço compacto, o cálculo funcional contínuo, positividade e estados, a construção de Gelfand-Naimark-Segal, o teorema de representação de Gelfand-Naimark e as álgebras de von Neumann como álgebras de operadores fracamente fechadas.

Core questions

• Quais axiomas algébricos e analíticos capturam a estrutura das álgebras de operadores?
• Como a teoria de Gelfand identifica uma C*-álgebra comutativa com funções contínuas em um espaço?
• Como cada C*-álgebra abstrata é realizada concretamente como operadores em um espaço de Hilbert?
• Como os estados e a construção GNS conectam a álgebra às representações?

Key theories

Teorema de Gelfand-Naimark para álgebras comutativas

Toda C*-álgebra comutativa com unidade é isometricamente isomórfica à álgebra de funções contínuas em seu espectro, um espaço compacto, transformando a álgebra de operadores comutativa em teoria de funções ordinária.

Construção de Gelfand-Naimark-Segal e teorema de representação

Todo estado em uma C*-álgebra produz uma representação em um espaço de Hilbert, e juntos estes mostram que qualquer C*-álgebra é isometricamente isomórfica a uma álgebra de operadores fechada pela norma, fundamentando a teoria abstrata.

Clinical relevance

As C*-álgebras fornecem a estrutura algébrica para a teoria quântica e a mecânica estatística quântica, onde os observáveis formam uma álgebra e os estados são funcionais positivos; as álgebras de von Neumann classificam as simetrias quânticas, e o assunto é o fundamento analítico da geometria não comutativa e das abordagens algébricas de operadores à física.

History

Murray e von Neumann fundaram a teoria dos anéis de operadores, agora álgebras de von Neumann, em uma série de artigos a partir de 1936. Gelfand e Naimark axiomatizaram as C*-álgebras e provaram seu teorema de representação em 1943, estabelecendo o assunto abstrato.

Key figures

• Israel Gelfand
• Mark Naimark
• John von Neumann

Seminal works

• pedersen1989
• murphy1990

Frequently asked questions

O que a identidade C*-expressa?

A identidade de que a norma de um elemento vezes seu adjunto é igual ao quadrado da norma do elemento liga a involução algébrica à norma tão fortemente que a álgebra abstrata é forçada a se comportar exatamente como operadores em um espaço de Hilbert.

Por que as C*-álgebras comutativas são apenas álgebras de funções?

A teoria de Gelfand mostra que uma C*-álgebra comutativa é a álgebra de funções contínuas em seu espectro, então a álgebra de operadores comutativa se reduz à topologia clássica e à teoria de funções, enquanto a não comutatividade é a característica genuinamente quântica.