Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces (Q2215622)

Given a quasi-metric space \((X,d)\), one may consider Lipschitz maps from \((X,d)\) to the set \(\overline{\mathbb R}_+\) of extended non-negative reals. When \(X\) is endowed with the \(d\)-Scott topology, a Lipschitz map does not need to be continuous. The paper is devoted to studying the topological properties of the space \(\mathcal L_\alpha(X,d)\) of \(\alpha\)-Lipschitz continuous maps (\(\alpha>0\)), with the topology inherited from the space of lower semicontinuous maps from \((X,d)\) to \((\overline{\mathbb R}_{+}, d_{\mathbb R})\) considered with the Scott topology of the pointwise ordering. The main result is that, for a continuous Yoneda-complete quasi-metric space \((X, d)\), the induced topology of \(\mathcal L_\alpha(X, d)\) coincides with the compact-open topology and the topology of pointwise convergence. Consequences about the stable compactness of these spaces are obtained. Finally, the paper focuses on the question of whether the topology on the space \(\mathcal L_{\infty}(X, d)\) of all Lipschitz continuous maps is determined by the subspace topologies on \(\mathcal L_{\alpha}(X, d)\), \(\alpha > 0\), showing this is the case if \((X, d)\) is Lipschitz regular. The author announces a series of forthcoming papers where the results will be applied to study Kantorovich-Rubinshteĭn-like quasi-metrics.