Lipschitz functions on topometric spaces

We study functions on topometric spaces which are both (metrically) Lipschitz and (topologically) continuous, using them in contexts where, in classical topology, ordinary continuous functions are used. We study the relations of such functions with topometric versions of classical separation axioms, namely, normality and complete regularity, as well as with completions of topometric spaces. We also recover a compact topometric space $X$ from the lattice of continuous $1$-Lipschitz functions on $X$, in analogy with the recovery of a compact topological space $X$ from the structure of (real or complex) functions on $X$.

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00524416
Author Ben Yaacov, Itaï
Maintainer CCSD
Last Updated May 14, 2026, 20:20 (UTC)
Created May 14, 2026, 20:20 (UTC)
Identifier hal-00524416
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Institut Camille Jordan (ICJ) ; École Centrale de Lyon (ECL) ; Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon) ; Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM) ; Université Jean Monnet (EPSCPE) (UJM EPE)-Université Jean Monnet (EPSCPE) (UJM EPE)-Centre National de la Recherche Scientifique (CNRS)
creator Ben Yaacov, Itaï
date 2013-05-14T00:00:00
harvest_object_id 9d52ca4d-1937-4836-9d57-452147c69e32
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2026-04-23T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1010.1600
set_spec type:UNDEFINED