Invariance of domain in \(o\)-minimal structures (Q2773306)

The main theorem proved in this short paper is the invariance of domain in an arbitrary \(o\)-minimal structure.NEWLINENEWLINENEWLINETheorem. Let \(\Omega_1\) be an open definable subset of \(\mathbb{R}^n\) and let \(f: \Omega_1 \to \Omega_2\) be a definable homeomorphism onto a definable set \(\Omega_2 \subset \mathbb{R}^n\). Then \(\Omega_2\) is open in \(\mathbb{R}^n\). NEWLINENEWLINENEWLINEThe proof does not involve algebraic topology, depending on basic facts about cells and cell decompositions, most of which can be found in \textit{Lou van den Dries}' book on `Tame Topology and minimal Structures' [London Mathematical Society Lecture Notes Series, 248. Cambridge Univ. Press (1998; Zbl 0953.03045)].