Bourbaki

Exercise 12, § 3

General Topology, III, 307

a) Let G′G' be a complete Hausdorff group; let G0G_0 be a dense subgroup of G′G', distinct from G′G'; and let G be the topological group obtained by giving G0G_0 the discrete topology. The identity mapping G→G0G \to G_0 is then a bijective continuous homomorphism, but its continuous extension G^→G^0\hat{G} \to \hat{G}_0 is not surjective.

\* b) Let G be the group Q2\mathbf{Q}^2, θ\theta an irrational number, u the continuous homomorphism (x,y)→x+θy(x, y) \to x + \theta y of G into R\mathbf{R}, and let G′=u(G)G' = u(G). Then u:G→G′u : G \to G' is bijective, but its continuous extension G^→G^′\hat{G} \to \hat{G}' is not injective.

c) From a) and b) construct an example of a bijective continuous homomorphism G→G′G \to G' of Hausdorff commutative groups whose continuous extension G^→G^′\hat{G} \to \hat{G}' is neither injective nor surjective *.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.