Topologies on \(\mathbb{R}{}^ n\) induced by smooth subsets (Q1186147)

The author deals with topologies on \(\mathbb{R}^ n\) which are nonstandard but which reduce to the standard topology on a geometrically significant class of subspaces of \(\mathbb{R}^ n\). He also is concerned with the relation of the homeomorphism groups under such topologies to the standard homeomorphism group. Whenever \({\mathcal S}\) is a collection of subsets of \(\mathbb{R}^ n\), then \({\mathcal T}_{\mathcal S}\) denotes the largest topology on \(\mathbb{R}^ n\) which restricts to the standard one on each element of \({\mathcal S}\) and \({\mathcal H}_{\mathcal S}\) denotes the associated homeomorphism group. It is proved that whenever \({\mathcal S}\) contains all \(C^ 1\) regular 1-manifolds then \({\mathcal T}_{\mathcal S}\) is standard. A notion of smooth set is defined and if \({\mathcal S}\) is the collection of smooth sets, one can conclude: (a) \({\mathcal T}_{\mathcal S}\) is strictly larger than the standard topology, and (b) \({\mathcal H}_{\mathcal S}\) is strictly smaller than the standard group. A method introduced by \textit{D. Curtis} and the reviewer [Topology Appl. 31, 159-168 (1989; Zbl 0693.54011)] is generalized to prove: (c) There is an injective function \(f:\mathbb{R}^ n \to \mathbb{R}^ n\) which is discontinuous at each point of a countable dense subset of \(\mathbb{R}^ n\) and whose restriction to each smooth subset of \(\mathbb{R}^ n\) is continuous.