Abstract:We study the properties of topological spaces $(X,\tau)$, where $X$ is a definable set in an o-minimal structure and the topology $\tau$ on $X$ has a basis that is (uniformly) definable. Examples of such spaces include the canonical euclidean topology on definable sets, definable order topologies, definable quotient spaces and definable metric spaces. We use o-minimality to undertake their study in topological terms, focussing here in particular on spaces of dimension one. We present several results, given in terms of piecewise decompositions and existence of definable embeddings and homeomorphisms, for various classes of spaces that are described in terms of classical separation axioms and definable analogues of properties such as separability, compactness and metrizability. For example, we prove that all Hausdorff one-dimensional definable topologies are piecewise the euclidean, discrete, or upper or lower limit topology; we give a characterization of all one-dimensional, regular, Hausdorff definable topologies in terms of spaces that have a lexicographic ordering or a topology generalizing the Alexandrov double of the euclidean topology; and we show that, if the underlying structure expands an ordered field, then any one-dimensional Hausdorff definable topology that is piecewise euclidean is definably homeomorphic to a euclidean space. As applications of these results, we prove definable versions of several open conjectures from set-theoretic topology, due to Gruenhage and Fremlin, on the existence of a 3-element basis for regular, Hausdorff topologies and on the nature of perfectly normal, compact, Hausdorff spaces; we obtain universality results for some classes of Hausdorff and regular topologies; and we characterize when certain metrizable definable topologies admit a definable metric.

One point compactification and Lipschitz normally embedded definable subsets

Stereographic compactification and affine bi-Lipschitz homeomorphisms

Local versus global Lipschitz geometry

Isometries of Lipschitz-free Banach spaces

The SECQ, Linear Regularity, and the Strong CHIP for an Infinite System of Closed Convex Sets in Normed Linear Spaces.

Lipschitz Functions on Unions and Quotients of Metric Spaces

Isometries of Lipschitz‐free Banach spaces

Embeddings of infinite-dimensional spaces in the sets of norm-attaining Lipschitz functions

Approximation and zero set of definable functions in a definably complete locally o-minimal structure

Slicely countably determined points in Banach spaces

Testing Lipschitz non normally embedded complex spaces

Quality of non-compactness for Sobolev Embedding with one point non-compactness

One-dimensional definable topological spaces in o-minimal structures

Lipschitz normally embedded sets do not need to have Lipschitz normally embedded medial axis

Weak compactness in Lipschitz-free spaces over superreflexive spaces

Lipschitz images and dimensions

Remarks on Lipschitz geometry on globally conic singular manifolds

Linear structures of norm-attaining Lipschitz functions and their complements

A note about dual representations of group actions on Lipschitz-free spaces

On closed definable subsets in Hensel minimal structures