Bourbaki

Exercise 11, § 2

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

Spectral Theories, II, p. 307

We denote by L(G) the set of continuous representations of G in R\mathbf{R}. We call one-parameter subgroup of G the image of a continuous morphism of R\mathbf{R} into G.

a) The following conditions are equivalent :

(i) G is the union of one-parameter subgroups ;

(ii) every morphism of Z\mathbf{Z} into G extends to a continuous morphism of R\mathbf{R} into G;

(iii) every continuous morphism of G^\widehat{G} into R/Z\mathbf{R}/\mathbf{Z} is obtained by passing to the quotient from an element of L(G^)L(\widehat{G});

(iv) every unitary character of G^\widehat{G} is of the form eiλe^{i\lambda} where λ∈L(G^)\lambda \in L(\widehat{G}).

b) If G has a countable basis, the conditions of a) are equivalent to : G is isomorphic to Rn×TI\mathbf{R}^n\times \mathbf{T}^I where I is a countable set.

c) The union of the one-parameter subgroups of G is a dense subgroup in the neutral component of G. (Use exerc. 4.)

d) Let t↦χtt\mapsto \chi_t be a continuous mapping of [0,1][0,1] into G^\widehat{G} such that χ0\chi_0 is the trivial character. There exists a mapping t↦λtt\mapsto \lambda_t of [0,1][0,1] into L(G) such that λ0=0\lambda_0= 0, for every tt one has χt=\chi_t= exp(2iπλti\pi \lambda_t), and for every x∈Gx\in G, the mapping t↦λt(x)t\mapsto \lambda_t(x) is continuous.

e) The union of the one-parameter subgroups of G is also the union of the arcs of G which contain ee, an arc of G being the image of a continuous mapping of [0,1][0,1] into G. (Use d).)

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

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