Bourbaki

Exercise 15, § 3

General Topology, X, p. 50

a) Let XX be a uniform space, S\mathfrak{S} a set of parts of XX, Γ\Gamma the group of homeomorphisms of XX, u0u_0 an element of Γ\Gamma. Suppose that for every A∈SA \in \mathfrak{S} there exist a set B∈SB \in \mathfrak{S} and an entourage VV of XX such that: α)\alpha) u0−1u_0^{-1} is uniformly continuous in V(A)V(A); β)\beta) the relations u∈Γu \in \Gamma and (u0(x),u(x))∈V(u_0(x), u(x)) \in V for all x∈Bx \in B imply A⊂u(B)A \subset u(B). Under these conditions, prove that the mapping u↦u−1u \mapsto u^{-1} (defined in Γ\Gamma) is continuous at the point u0u_0 for the topology of S\mathfrak{S}-convergence on Γ\Gamma.

b) Prove that the condition β)\beta) can be replaced by the following: β′)\beta') there exists a connected set C⊂XC \subset X such that V(A)⊂CV(A) \subset C and that V(C)V(C) is contained in the interior of u0(B)u_0(B) (prove that β′\beta' implies β\beta), by reasoning by contradiction.

Solution

No solution has been written yet.

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