Topologies on R^ n induced by smooth subsets

Continuity and differentiation questions (26B05) Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10) Maps and general types of topological spaces defined by maps (54C99)

Review text

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.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Topologies on \(\mathbb{R}{}^ n\) induced by smooth subsets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1186147)