Teorema de Gelfand-Naimark

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar

En matemáticas, el teorema de Gelfand-Naimark establece que una C*-álgebra arbitraria A es isométricamente *-isomorfa a una C*-subálgebra de operadores acotados en una Espacio de Hilbert. Este resultado fue probado por Israel Gelfand y Mark Naimark en 1943 y fue un punto significativo en el desarrollo de la teoría de las C*-álgebras ya que estableció la posibilidad de considerar una C*-álgebra como una entidad algebraica abstracta sin referencia a realizaciones particulares. como un álgebra de operadores.

Detalles

La representación Gelfand-Naimark π es la suma directa de las representaciones πf de A donde f oscila sobre el conjunto de estados puros de A y πf es la representación irreducible asociada a f por la construcción GNS. Así, la representación de Gelfand-Naimark actúa sobre la suma directa de Hilbert de los espacios de Hilbert Hf por

π π ()x)[⨁ ⨁ fHf]=⨁ ⨁ fπ π f()x)Hf.{displaystyle pi (x)[bigoplus _{f} H_{f}=bigoplus _{f}pi _{f}(x) H_{f}.

π(x) es un operador lineal acotado ya que es la suma directa de una familia de operadores, cada uno con norma ≤ ||x||.

Teorema. La representación de Gelfand-Naimark de un álgebra C* es una representación * isométrica.

Basta con mostrar que el mapa π es inyectivo, ya que para *-morfismos de C*-álgebras inyectivo implica isométrico. Sea x un elemento distinto de cero de A. Por el teorema de extensión de Kerin para funcionales lineales positivos, existe un estado f en A tal que f(z) ≥ 0 para todo z no negativo en A y f(−x* x) < 0. Considere la representación GNS πf con el vector cíclico ξ. Desde

0,end{aligned}}}" xmlns="http://www.w3.org/1998/Math/MathML">.. π π f()x).. .. 2=.. π π f()x).. ▪ ▪ π π f()x).. .. =.. .. ▪ ▪ π π f()xAlternativa Alternativa )π π f()x).. .. =.. .. ▪ ▪ π π f()xAlternativa Alternativa x).. .. =f()xAlternativa Alternativa x)■0,{f} {f}f} {f}f}m]cH00}mcH00}mcH00}m2}cH00}cH00}cH00}cH0}cH0}mcH0cH00}cH00cH0cH00cH0cH00}cH00}cH00}cH00cH00cH00}cH00cH0cH00}cH00}cH00}cH00}cH009cH00}cH00}cH00}cH00}cH00}cH00}cH00}cH00}cH00}cH00cH00}cH00}cH00}cH00}cH00}cH00}cH0cH0cH00}cH0cH0,end{aligned}}" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/fd899623394b6032df1195d15b69ce29136865ad" style="vertical-align: -3.338ex; width:52.027ex; height:7.843ex;"/>

se sigue que πf (x) ≠ 0, entonces π (x) ≠ 0, entonces π es inyectiva.

La construcción de la representación de Gelfand-Naimark depende únicamente de la construcción GNS y, por lo tanto, es significativa para cualquier *-álgebra A de Banach que tenga una identidad aproximada. En general (cuando A no es un C*-álgebra) no será una representación fiel. El cierre de la imagen de π(A) será un álgebra C* de operadores llamada álgebra envolvente C* de A. De manera equivalente, podemos definir el Álgebra envolvente C* de la siguiente manera: defina una función de valor real en A mediante

.. x.. CAlternativa Alternativa =Supff()xAlternativa Alternativa x){displaystyle "Princex" {C} {fn}=fnK} ¿Qué?

como f varía sobre los estados puros de A. Esta es una semi-norma, a la que nos referimos como la C* semi-norma de A. El conjunto I de elementos de A cuya seminorma es 0 forma un ideal de dos colas en A cerrado por involución. Así, el espacio vectorial cociente A / I es un álgebra involutiva y la norma

.. ⋅ ⋅ .. CAlternativa Alternativa {displaystylefncdotcdot {C}

factores a través de una norma en A / I, que a excepción de la integridad, es una norma C* en A / I (a veces se denominan normas pre-C*). Tomando la terminación de A / I en relación con esta norma pre-C* se produce un C*-álgebra B.

Por el teorema de Krein-Milman se puede demostrar sin demasiada dificultad que para x un elemento del *-álgebra de Banach A que tiene una identidad aproximada:

Supf▪ ▪ Estado⁡ ⁡ ()A)f()xAlternativa Alternativa x)=Supf▪ ▪ PurreState⁡ ⁡ ()A)f()xAlternativa Alternativa x).{displaystyle sup _{fin operatorname {State} (A)}f(x^{*}x)=sup _{fin operatorname {PureState} (A)}f(x^{*}x). }

Se deduce que una forma equivalente para la norma C* en A es tomar el supremo anterior sobre todos los estados.

La construcción universal también se utiliza para definir C*-álgebras universales de isometrías.

Remark. La representación Gelfand o el isomorfismo Gelfand para un álgebra C* conmutativa con unidad A{displaystyle A} es un isométrico *-isomorfismo de A{displaystyle A} al álgebra de funciones continuas de valor complejo en el espacio de las funciones lineales multiplicativas, que en el caso comunicativo son precisamente los estados puros, de A con la débil* topología.

Contenido relacionado

Ciencias formales

La ciencia formal es una rama de la ciencia que estudia las disciplinas del lenguaje formal relacionadas con los sistemas formales, como la lógica, las...

ArXiv

arXiv fue posible gracias al formato de archivo TeX compacto, que permitió que los artículos científicos se transmitieran fácilmente a través de Internet...

Teoría de la decisión

La teoría de la decisión es el estudio de las elecciones de un agente. La teoría de la decisión se puede dividir en dos ramas: la teoría de la...

John William Strutt, tercer barón Rayleigh

John William Strutt, tercer barón de Rayleigh, OM, PC, PRS fue un matemático británico y físico que hizo amplias contribuciones a la ciencia. Pasó toda...

Heinz von Foerster

Heinz von Foerster fue un científico austríaco-estadounidense que combinaba física y filosofía, y ampliamente atribuido como el creador de la cibernética...
Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save