Exercise 6, § 3
General Topology, V
Bourbaki marks this one as harder than the rest.
Let be a topological group which satisfies the following conditions: (LR_I) is Hausdorff and locally connected.
(LR_{II}) There exists a connected neighbourhood of the identity element of such that the complement of in is not connected. Show that, under these conditions, is locally isomorphic to . [Prove first that if is any connected neighbourhood of in contained in , then is not connected, that lies in the closure of every component of , and that has exactly two components, by reasoning as in Exercise 4. Then take the connected neighbourhood sufficiently small and define a linear ordering on such that is coarser than the topology induced on by the topology of , and such that Proposition 2 of § 2 applies to the set of elements of .]
Solution
No solution has been written yet.