Let AA be a . Its character space, denoted Δ(A)\Delta(A) or A^\widehat A, is the set of all χ:A→C\chi:A\to\mathbb C, equipped with the inherited from A∗A^*. Equivalently, it is the weakest topology making every evaluation map χ↦χ(a)\chi\mapsto\chi(a) continuous for a∈Aa\in A. The space Δ(A)\Delta(A) is and . For nonzero AA, it is compact exactly when AA is unital. No topology is chosen independently of the algebra. This construction is intrinsic.

Topological structure

All characters have norm one. For a nonunital algebra, adjoining the zero functional compactifies Δ(A)\Delta(A) inside the weak-star compact dual unit ball; this compactification agrees with the character space of the , with the new character as the . These facts explain why local compactness, rather than compactness, is the natural general setting.

Function-algebra model

If A=C0(X)A=C_0(X) for a locally compact Hausdorff space XX, the map

x⟼χx,χx(f)=f(x),x\longmapsto\chi_x,\qquad \chi_x(f)=f(x),

is a homeomorphism X≅Δ(A)X\cong\Delta(A). Under this identification, the topology reconstructed from evaluation of algebra elements is exactly the original topology of XX.

Related spectra

The character space is not the σA(a)\sigma_A(a) of a single element. For commutative AA, the map χ↦ker⁡χ\chi\mapsto\ker\chi identifies Δ(A)\Delta(A) with the . For a noncommutative C∗C^*-algebra, characters may be absent and do not recover the algebra, so Δ(A)\Delta(A) is not a substitute for its primitive ideal space.

References
  1. Gerard J. Murphy, C∗C^*-Algebras and Operator Theory, Academic Press, 1990. DOI record. Relevant: the chapter on characters, the Gelfand topology, and commutative C∗C^*-algebras.
  2. Gert K. Pedersen, C∗C^*-Algebras and Their Automorphism Groups, 2nd ed., Academic Press, 2018. DOI record. Relevant: the introductory treatment of commutative C∗C^*-algebras and their spectra.