Spectral values attained by C-star states

ID: spectral-values-attained-by-c-star-states

On the linear span of , define . Affine spectral mapping gives , making this well-defined with norm one and . A norm-preserving Hahn-Banach theorem extension to the whole C-star algebra remains unital; the norm characterization of a positive functional on a C-star algebra makes it a state on a C-star algebra attaining the spectral value.

New to topics? Read the docs here!