Bourbaki

Definition 1

Tag 02HQ, permanent. Cite it as [Bourbaki, Tag 02HQ].

Théories spectrales, chapter II, § 1. Transformation de Fourier

A continuous homomorphism of G into the multiplicative group U\mathbf{U} of complex numbers of modulus 1 is called a unitary character of G.

In other words, a unitary character is a continuous complex-valued function χ\chi on G such that:

χ(xy)=χ(x)χ(y),∣χ(x)∣=1(x,y∈G) \chi (xy) =\chi (x)\chi (y),|\chi (x)|= 1(x, y\in G)

In this chapter, we shall often say simply "character" instead of "unitary character".

Let E be a Hilbert space of dimension 1, and let χ\chi be a unitary character of G. The mapping which to x∈Gx\in G associates the homothety of ratio χ(x)\chi (x) in E is a continuous isometric linear representation of G in E. Conversely, every bounded continuous linear representation of G in E is obtained by this process, and in particular is unitary.

It is immediate that the product of two unitary characters, the inverse of a unitary character, and the constant function equal to 1 are unitary characters. Hence the set G^\widehat{G} of unitary characters of G is a group for multiplication. This group is commutative. On the other hand, the mapping (χ1,χ2)↦χ1χ2−1=χ1χ‾2(\chi_1, \chi_2)\mapsto \chi_1\chi^{-1}_2=\chi_1\overline{\chi}_2 is continuous for the topology of compact convergence, and G^\widehat{G} endowed with the topology of compact convergence is a topological group (TG, X, p. 6, Corollary 2 and Remark 1).

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4, gpt-5-6-mini, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.