Supongamos que Φ es un álgebra de homomorphism de un unital C*-álgebra en otro unital C*-álgebra. Cómo probar que si ‖Φ(x)‖≤‖x‖∥Φ(x)∥≤∥x∥ todos los xx, ΦΦ es una C*-homomophism? En otras palabras: Cómo probar que ΦΦ conserva involuciones? Este es un ejercicio de Kehe de Zhu "Una introducción a las álgebras de operadores".
Respuesta
¿Demasiados anuncios?Debido a Φ(1)=1Φ(1)=1 se sigue que Φ(x−1)=Φ(x)−1Φ(x−1)=Φ(x)−1 por cada invertible xx en el dominio. En particular, si uu es unitaria, entonces Φ(u)Φ(u) Φ(u∗)Φ(u∗) son inversos el uno del otro con la norma en la mayoría de las 11. Si usted se da por descontado que los C∗C∗-álgebras de se ∗∗-isomorfo a C∗C∗-álgebras de operadores en el espacio de Hilbert, esto demuestra que Φ(u)Φ(u) es unitaria y Φ(u∗)=Φ(u)∗Φ(u∗)=Φ(u)∗. (Si T∈B(H)T∈B(H) es invertible y ‖Tx‖≠‖x‖∥Tx∥≠∥x∥ algunos xx, entonces cualquiera de las TT o T−1T−1 tiene norma mayor que 11.)
Debido a ΦΦ conserva involuciones en el unitaria de elementos y C∗C∗-álgebras son atravesados por sus unitaria de elementos, ΦΦ preserva de involuciones.
Agregado: Sin recurrir a la representación en el espacio de Hilbert, pero (implícitamente) el uso de Gelfand de la teoría o de otros medios de conocimiento sobre los elementos positivos en C∗C∗-álgebras, aquí está la prueba de que si ‖x‖=‖x−1‖=1∥x∥=∥x−1∥=1 xx es unitaria.
Tenga en cuenta que σ(x∗x)−1=σ((x∗x)−1)=σ(x−1(x−1)∗)σ(x∗x)−1=σ((x∗x)−1)=σ(x−1(x−1)∗). Debido a x∗xx∗x x−1(x−1)∗x−1(x−1)∗ son positivos con la norma 11, tienen espectro contenida en (0,1](0,1]. Por lo tanto σ(x∗x)={1}σ(x∗x)={1}, lo que implica x∗x=1x∗x=1.