Exercise 6, § 3
General Topology, V, p. 17
Bourbaki marks this one as harder than the rest.
Let be a topological group satisfying the following conditions: is separated and locally connected. There exists a connected neighbourhood of the identity element of such that the complement of with respect to is not connected.
Under these conditions, prove that is a topological group locally isomorphic to . (We shall first prove that, for every connected neighbourhood of in contained in , is not connected, that is adherent to every connected component of , and that this set has exactly two connected components by reasoning as in Exercise 4. Then take the connected neighbourhood sufficiently small and define on a structure of a totally ordered set, such that is less fine than the topology induced on by that of , and such that prop. 2 of V, p. 9 is applicable to the set of the elements of .)
Solution
No solution has been written yet.