Álgebras C*

Un álgebra C* es un álgebra de operadores cerrada bajo el adjunto y completa en una norma que satisface una identidad de compatibilidad; abstrae la estructura algebraica de los operadores acotados en un espacio de Hilbert.

Definition

Un álgebra C* es un álgebra de Banach compleja equipada con una involución tal que la norma del producto de un elemento y su adjunto es igual al cuadrado de la norma del elemento; esta única identidad hace que el álgebra abstracta se comporte como operadores en un espacio de Hilbert.

Scope

Este tema cubre los axiomas de Banach y de álgebra C* y la identidad C*, el espectro y la teoría de Gelfand de las álgebras C* conmutativas como funciones continuas en un espacio compacto, el cálculo funcional continuo, la positividad y los estados, la construcción de Gelfand-Naimark-Segal, el teorema de representación de Gelfand-Naimark y las álgebras de von Neumann como álgebras de operadores débilmente cerradas.

Core questions

• ¿Qué axiomas algebraicos y analíticos capturan la estructura de las álgebras de operadores?
• ¿Cómo identifica la teoría de Gelfand un álgebra C* conmutativa con funciones continuas en un espacio?
• ¿Cómo se realiza cada álgebra C* abstracta concretamente como operadores en un espacio de Hilbert?
• ¿Cómo conectan los estados y la construcción GNS el álgebra con las representaciones?

Key theories

Teorema de Gelfand-Naimark para álgebras conmutativas

Toda álgebra C* conmutativa con unidad es isométricamente isomorfa al álgebra de funciones continuas en su espectro, un espacio compacto, convirtiendo el álgebra de operadores conmutativa en la teoría de funciones ordinaria.

Construcción de Gelfand-Naimark-Segal y teorema de representación

Cada estado en un álgebra C* produce una representación en un espacio de Hilbert, y juntos estos demuestran que cualquier álgebra C* es isométricamente isomorfa a un álgebra de operadores cerrada en norma, fundamentando la teoría abstracta.

Clinical relevance

Las álgebras C* proporcionan el marco algebraico para la teoría cuántica y la mecánica estadística cuántica, donde los observables forman un álgebra y los estados son funcionales positivos; las álgebras de von Neumann clasifican las simetrías cuánticas, y el tema es el fundamento analítico de la geometría no conmutativa y los enfoques de la física basados en álgebras de operadores.

History

Murray y von Neumann fundaron la teoría de los anillos de operadores, ahora álgebras de von Neumann, en una serie de artículos a partir de 1936. Gelfand y Naimark axiomatizaron las álgebras C* y demostraron su teorema de representación en 1943, estableciendo la materia abstracta.

Key figures

• Israel Gelfand
• Mark Naimark
• John von Neumann

Seminal works

• pedersen1989
• murphy1990

Frequently asked questions

¿Qué expresa la identidad C*?

La identidad de que la norma de un elemento multiplicada por su adjunto es igual al cuadrado de la norma del elemento vincula la involución algebraica a la norma de forma tan estrecha que el álgebra abstracta se ve obligada a comportarse exactamente como los operadores en un espacio de Hilbert.

¿Por qué las álgebras C* conmutativas son simplemente álgebras de funciones?

La teoría de Gelfand muestra que un álgebra C* conmutativa es el álgebra de funciones continuas en su espectro, por lo que el álgebra de operadores conmutativa se reduce a la topología clásica y la teoría de funciones, mientras que la no conmutatividad es la característica genuinamente cuántica.