Bourbaki

Exercise 6, § 3

General Topology, V, p. 17

Bourbaki marks this one as harder than the rest.

Let GG be a topological group satisfying the following conditions: (LRI)(\mathrm{LR}_I) GG is separated and locally connected. (LRII)(\mathrm{LR}_{II}) There exists a connected neighbourhood UU of the identity element ee of GG such that the complement of ee with respect to UU is not connected.

Under these conditions, prove that GG is a topological group locally isomorphic to R\mathbf{R}. (We shall first prove that, for every connected neighbourhood VV of ee in GG contained in UU, V∩C{e}V \cap C\{e\} is not connected, that ee is adherent to every connected component of V∩C{e}V \cap C\{e\}, and that this set has exactly two connected components by reasoning as in Exercise 4. Then take the connected neighbourhood VV sufficiently small and define on VV a structure of a totally ordered set, such that T0(V)\mathscr{T}_0(V) is less fine than the topology induced on VV by that of GG, and such that prop. 2 of V, p. 9 is applicable to the set EE of the elements ≥e\geq e of VV.)

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.