C*-álgebra
En matemáticas, especialmente en análisis funcional, una C*-álgebra (pronunciado "C estrella álgebra") es un álgebra de Banach con una involución satisfaciendo propiedades similares a las de los operadores adjuntos. Un caso particular es el de un álgebra compleja de operadores lineales continuos sobre un espacio de Hilbert junto a dos propiedades adicionales:
- es un subespacio cerrado de en la topología generada por la norma de operadores.
- es cerrada bajo la operación de adjunción de operadores, esto es, si entonces .
Otra clase importante de C*-álgebra corresponde al álgebra de funciones continuas que se desvanecen en el infinito, donde es un espacio de Hausdorff localmente compacto (comúnmente este espacio es denotado como ).
Las álgebras C*-álgebras se consideraron en un principio por su uso en mecánica cuántica. Esta línea de investigación comenzó con los estudios de Werner Heisenberg en mecánica matricial y en una forma más rigurosa por Pascual Jordan en 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 artículos consideraron una clase especial de C*-álgebras que ahora se conocen como álgebras de von Neumann.
En 1943 el trabajo de Israel Gelfand y Mark Naimark[1] produjo una caracterización abstracta de C*-álgebras sin hacer referencia a operadores en un espacio de Hilbert.
Las C*-álgebras son ahora una herramienta importante en la teoría de representaciones unitarias de grupos localmente compactos, y también se utilizan en formulaciones algebraicas de mecánica cuántica.
Caracterización Abstracta
[editar]La descripción expuesta aquí corresponde a la caracterización dada en el trabajo Gelfand y Naimark en 1943.[1] Una C*-álgebra es un álgebra de Banach sobre el cuerpo de los números complejos, en conjunto con una función llamada involución que tiene las siguientes propiedades para todo y :
- Involutiva: .
- Antilineal: , .
- Contravariante: .
- Satisface la C* identidad: .
Si un álgebra de Banach satisface las condiciones 1, 2 y 3 la llamamos simplemente *-álgebra.
Importante: Existen referencias que llaman a la condición 4 como B* identidad mientras que la C* identidad es considerada como para todo . Sin embargo estas dos condiciones son equivalentes y esto ha causado que los términos "B* identidad" o "B*-álgebras" hayan sido dejados de usar con el tiempo.
Un poco de historia: desde la B* identidad hasta la C* identidad
[editar]El término B*-álgebra fue introducido por C. E. Rickart en 1946 para describir *-álgebras de Banach que satisfacen la condición:
- for all para todo en la B*-álgebra (B* condición).
Esta condición automáticamente implica que la *-involución es isométrica, esto es, . Por lo tanto, , y así una B*-álgebra es también una C*-álgebra. Así mismo, la C* condición implica la B* condición. Esto es no trivial, y puede ser probado sin usar la condición .[2] Por estas razones, el término B*-álgebra es raramente usado actualmente y ha sido reemplazado por el término 'C*-álgebra'.
El término C*-álgebra fue introducido por I. E Segal en 1947 para describir sub álgebras cerradas (bajo la norma operatorial) de (espacio de operadores acotados sobre el espacio de Hilbert ). La letra 'C' proviene por la palabra closed (cerrado en inglés).[3][4] En su artículo Segal define una C*-álgebra como un "álgebra uniformemente cerrada de operadores acotados y autoadjuntos sobre un espacio de Hilbert".[5]
Estructura de las C*-álgebras
[editar]Las c*-álgebras tienen una gran cantidad de propiedad que son técnicamente convenientes. Algunas de estas propiedades pueden ser establecidas usan el cálculo funcional continuo o por reducción a C*-álgebras conmutativas. En el último caso, podemos usar el hecho de que la estructura de éstas está completamente determinada por el isomorfismo de Gelfand.
*-Homomorfismos
[editar]Una función lineal continua entre C*-álgebras y se llama un *-homomorfismo si para todo se tiene:
- .
- .
Tal función es automáticamente continua. Si es biyectiva, entonces su inversa es también un *-homorfismo y se llama un *-isomorfismo, luego y se dicen *-isomorfos. En ese caso, y son para todos los propósitos prácticamente iguales; se diferencian solamente en la notación de sus elementos. La estructura de una C*-álgebra fuerza cualesquiera *-homomorfismos a ser contractivos;[6] y un *-homomorfismo es inyectivo si y solamente si es isométrico.
Elementos auto adjuntos
[editar]Elementos auto adjuntos son aquellos de la forma . El conjunto de elementos de una C*-álgebra de la forma forman un cono convexo cerrado. Elementos de este cono son llamados no-negativos (o a veces positivos, incluso si esta terminología entra en conflicto con los elementos de ).
Ejemplos de C*-álgebras
[editar]Álgebra de Operadores
[editar]Como mencionamos, el ejemplo motivante de una C*-álgebra es el álgebra de los operadores lineales continuos definidos en un espacio de Hilbert complejo . Definimos la involución de la siguiente manera: para cada operador en definimos como el operador adjunto de . Este ejemplo es fundamental ya que cada C*-álgebra es *-isomorfa a una subálgebra cerrada de tal álgebra de operadores para un espacio de Hilbert conveniente (Teorema de Gelfand-Naimark).
En particular, el álgebra de matrices sobre se convierte en una C*-álgebra si utilizamos la norma de operador viendo a la matriz como un operador lineal del espacio .
C*-álgebras conmutativas
[editar]Un ejemplo de una C*-álgebra conmutativa es el álgebra de todas las funciones continuas complejo-valoradas definidas en un compacto de Hausdorff . Aquí la norma de una función es el supremo de su valor absoluto, y la operación estrella es la conjugación compleja. Cada C*-álgebra conmutativa con elemento unidad es *-isomorfa a una tal álgebra usando la representación de Gelfand.
Si uno parte de un espacio localmente compacto de Hausdorff y considera las funciones continuas complejo-valoradas en que se anulan en el infinito (definido en el artículo sobre la compacidad local), entonces éstas forman una C*-álgebra conmutativa ; si no es compacto, entonces no tiene elemento unidad. Una vez más la representación de Gelfand demuestra que cada C*-álgebra conmutativa es *-isomorfa a una álgebra de la forma .
Álgebras de von Neumann
[editar]Las álgebras de von Neumann, conocidas como W*-álgebras antes de los años 60, son una clase especial de C*-álgebras. Se les requiere ser cerradas en una topología que es más débil que la topología de la norma. Su estudio es una rama en sí misma de las matemáticas, aparte de las C*-álgebras.
Espectro de elementos en una C*-álgebra
[editar]Del mismo modo que para los operadores en un espacio de Hilbert, es posible definir el espectro de los elementos de una C*-álgebra. El espectro de un elemento ( es una C*-álgebra unitaria con unidad ) está definido como
,
en donde "invertible en " significa la existencia de un elemento tal que . Como se restringe a la invertibilidad en usualmente se escribe a este subconjunto de como (por ejemplo si es un C*-álgebra que contiene entonces es claro que ).
El espectro de cualquier elemento es un subconjunto cerrado de la bola cerrada en de radio y centro , de modo que es un conjunto compacto. Más aún, el espectro de todo elemento es no vacío y satisface la fórmula del radio espectral:
.
Para todo elemento normal, la norma de es igual a su radio espectral:
Esto se aplica en particular para todo autoadjunto, por ejemplo para , donde la norma de es el cuadrado de aquella de . De este modo la estructura algebraica determina la norma (y por lo tanto la topología). Es esta propiedad la responsable de que los *-morfismos son automáticamente continuos (particularmente aquellos inyectivos serán isometrías).
El cálculo funcional continuo
[editar]Si es un elemento normal de una C*-álgebra (es decir, conmuta con su adjunto), entonces existe un *-isomorfismo isométrico entre el álgebra de las funciones continuas sobre el espectro de y la sub-C*-álgebra de generada por y . Dicho de otra forma, para toda función continua sobre , podemos definir de manera única, como un elemento de . Este cálculo funcional extiende el cálculo funcional polinomial, además (Teorema Espectral).[7]
La construcción GNS
[editar]Gracias a Gelfand, Naimark y Segal existe la construcción de un isomorfismo *-isométrico (o también llamada una representación fiel) entre toda C*-álgebra, y una subálgebra cerrada del álgebra de operadores sobre un cierto espacio de Hilbert (el cual se construye al mismo tiempo que el isomorfismo). De este modo la teoría de las C*-álgebras puede trasladarse a la teoría de los operadores sobre un espacio de Hilbert.
C*-álgebras y la teoría cuántica de campos
[editar]En teoría cuántica de campos, se describe típicamente un conjunto físico con una C*-álgebra con elemento unidad ; los elementos auto-adjuntos de (elementos tales que con ) se interpretan como observables, las cantidades medibles, del sistema. Un estado del sistema se define como una funcional positiva en , una función -lineal con para todo , tal que . El valor esperado del observable , si el sistema está en el estado , es entonces .
Véase también
[editar]- Teoría Espectral
- Física local cuántica
- Álgebra
- Álgebra asociativa
- *-álgebra
- Álgebras de Banach
- Álgebras de Von Neumann
Enlaces externos
[editar]- (en inglés) Pierre de la Harpe y Vaughan Jones, An Introduction to C*-Algebras Archivado el 11 de noviembre de 2021 en Wayback Machine.
- Averson, William (1976). An Invitation to C*-algebras. Springer. p. 108. ISBN 978-0-387-90176-3.
Referencias
[editar]- ↑ a b I. M. Gelfand, M. A. Naimark (1943). «On the imbedding of normed rings into the ring of operators on a Hilbert space». Matematicheskii Sbornik 12 (2): 197-217.
- ↑ Doran y Belfi, 1986, pp. 5–6, Google Books.
- ↑ Doran y Belfi, 1986, p. 6, Google Books.
- ↑ Segal, 1947
- ↑ Segal, 1947, p. 75
- ↑ Jacques Dixmier, Les C*-algèbres et leurs représentations, Gauthier-Villars, 1964, rééd. J. Gabay, 1996 ISBN 978-2-87647-013-2 (en francés).
- ↑ E. Fricain, Analyse fonctionnelle et théorie des opérateurs (en francés), Université de Lille-1 (2009-2010).