Abstract:There have been many parallel streams of research studying order isomorphisms of some specific sets $\mathcal{G}$ of functions from a set $\mathcal{X}$ to $\mathbb{R}\cup\{\pm\infty\}$, such as the sets of convex or Lipschitz functions. We provide in this article a unified abstract approach inspired by $c$-convex functions. Our results are obtained highlighting the role of inf and sup-irreducible elements of $\mathcal{G}$ and the usefulness of characterizing them, to subsequently derive the structure of order isomorphisms, and in particular of those commuting with the addition of scalars. We show that in many cases all these isomorphisms $J:\mathcal{G}\to\mathcal{G}$ are of the form $Jf=g+f\circ \phi$ for a translation $g:\mathcal{X}\to\mathbb{R}$ and a bijective reparametrization $\phi:\mathcal{X}\to \mathcal{X}$. Given a reference anti-isomorphism, this characterization then allows to recover all the other anti-isomorphisms. We apply our theory to the sets of $c$-convex functions on compact Hausdorff spaces, to the set of lower semicontinuous (convex) functions on a Hausdorff topological vector space and to 1-Lipschitz functions of complete metric spaces. The latter application is obtained using properties of the horoboundary of a metric space.

A well-quasi-order for continuous functions

Order isomorphisms of sup-stable function spaces: continuous, Lipschitz, c-convex, and beyond

A note on continuous functions on metric spaces

Continuous 2-colorings and topological dynamics

Quasiorders for a characterization of iso-dense spaces

Uniform Approximation of Continuous Functions by Nontrivial Simple Functions

Computable classifications of continuous, transducer, and regular functions

Weakly and Strongly Reversible Spaces

Order continuous of monotone set function and convergence of measurable functions sequence

On well quasi orders of free monoids

Continuous Domains for Function Spaces Using Spectral Compactification

Quasiorders on topological categories

On small analytic relations

The quasi-metrizability of hyperspaces

Discrete stopping times in the lattice of continuous functions

On uniformly continuous surjections between $C_p$-spaces over metrizable spaces

About discrete subgroups of full groups of measure preserving equivalence relations

Definable separability and second-countability in o-minimal structures

Rings of almost everywhere defined functions

Compactness and Symmetric Well Orders

Sequential discontinuity and first-order problems