请输入您要查询的字词:

 

单词 CalgebraHomomorphismsPreserveContinuousFunctionalCalculus
释义

C*-algebra homomorphisms preserve continuous functional calculus


Let us setup some notation first: Let 𝒜 be a unital C*-algebraPlanetmathPlanetmath (http://planetmath.org/CAlgebra) and z a normal element of 𝒜. Then

  • σ(z) denotes the spectrum of z.

  • C(σ(z)) denotes the C*-algebra of continuous functionsMathworldPlanetmathPlanetmath σ(z).

  • If fC(σ(z)) then f(z) is the element of 𝒜 given by the continuous functional calculus.

TheoremMathworldPlanetmath - Let 𝒜, be unital C*-algebras (http://planetmath.org/CAlgebra) and Φ:𝒜 a *-homomorphismPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath. Let x be a normal element in 𝒜. If fC(σ(x)) then

Φ(f(x))=f(Φ(x))

Proof: The identity elementsMathworldPlanetmath of 𝒜 and will be both denoted by e and it will be clear from the context which one we are referring to.

First, we need to check that f(Φ(x)) is a well-defined element of , i.e. that σ(Φ(x))σ(x). This is clear since, if x-λe is invertiblePlanetmathPlanetmathPlanetmath for some λ, then Φ(x)-λe=Φ(x-λe) is also invertible.

Let {pn} be sequence of polynomials in C(σ(x)) converging uniformly to f. Then we have that

  • Φ(pn(x))Φ(f(x)), by the continuity of Φ (see this entry (http://planetmath.org/HomomorphismsOfCAlgebrasAreContinuous)) and the continuity of the continuous functional calculus mapping.

  • pn(Φ(x))f(Φ(x)), by the continuity of the continuous functional calculus mapping.

It is easily checked that Φ(pn(x))=pn(Φ(x)) (since Φ is an homomorphism). Hence we conclude that Φ(f(x))=f(Φ(x)) as intended.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 6:14:11