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 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 on G such that:
In this chapter, we shall often say simply "character" instead of "unitary character".
Let E be a Hilbert space of dimension 1, and let be a unitary character of G. The mapping which to associates the homothety of ratio 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 of unitary characters of G is a group for multiplication. This group is commutative. On the other hand, the mapping is continuous for the topology of compact convergence, and 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.