Bourbaki

Exercise 14, § 3

General Topology, X, p. 50

Let Γ\Gamma be the group of homeomorphisms of the numerical plane R2\mathbf{R}^2, endowed with the topology of simple convergence. Now prove that the mapping (u,v)↦v∘u(u, v) \mapsto v \circ u from Γ×Γ\Gamma \times \Gamma into Γ\Gamma is not continuous. (On the one hand consider a sequence of homeomorphisms (vn)(v_n) such that vnv_n leaves invariant every point (x,y)(x, y) for which yy does not belong to the interval [1/(n+1),1/n][1/(n+1), 1/n], and that the restriction of vnv_n to the right y=2/(2n+1)y = 2/(2n+1) is the translation (x,y)↦(x+1,y)(x, y) \mapsto (x+1, y); on the other hand, consider the sequence (un)(u_n) of translations

(x,y)↦(x,y+22n+1). (x, y) \mapsto \left( x, y + \frac{2}{2n+1} \right).

Solution

No solution has been written yet.

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.