C*-álgebra
En matemáticas, específicamente en análisis funcional , un álgebra C ∗ (pronunciada "C-estrella") es un álgebra de Banach junto con una involución que satisface las propiedades del adjunto . Un caso particular es el de un álgebra A compleja de operadores lineales continuos sobre un espacio de Hilbert complejo con dos propiedades adicionales:
Otra clase importante de álgebras C* que no son de Hilbert incluye el álgebra de funciones continuas de valores complejos en X que desaparecen en el infinito, donde X es un espacio de Hausdorff localmente compacto .
Las álgebras C* se consideraron por primera vez principalmente por su uso en la mecánica cuántica para modelar álgebras de observables físicos . Esta línea de investigación se inició con la mecánica de matrices de Werner Heisenberg y de una forma más desarrollada matemáticamente con Pascual Jordan alrededor de 1933. Posteriormente, John von Neumann intentó establecer un marco general para estas álgebras, que culminó en una serie de artículos sobre anillos de operadores. Estos documentos consideraron una clase especial de C*-álgebras que ahora se conocen como álgebras de von Neumann .
Alrededor de 1943, el trabajo de Israel Gelfand y Mark Naimark produjo una caracterización abstracta de C*-álgebras sin referencia a operadores en un espacio de Hilbert.
Las C*-álgebras son ahora una herramienta importante en la teoría de las representaciones unitarias de grupos localmente compactos y también se utilizan en formulaciones algebraicas de la mecánica cuántica. Otra área activa de investigación es el programa para obtener clasificación, o para determinar el grado de clasificación posible, para C*-álgebras nucleares simples separables .
Comenzamos con la caracterización abstracta de C*-álgebras dada en el artículo de 1943 de Gelfand y Naimark.