A characterization of spaces with discrete topological fundamental group

Original · EN

We offer a counterexample to a theorem in the literature and then repair the theorem as follows: The fundamental group of a locally path connected metric space inherits the discrete topology in a natural way if and only if the underlying space is semilocally simply connected.