Banach-Lamperti for Kurzweil-Henstock
Thierry De Pauw
TL;DR
This work provides a Banach-Lamperti-type characterization for isometries of the Kurzweil-Henstock function space by identifying surjective linear isometries with bi-$AC$ changes of variable. The authors develop a KH-change-of-variable theorem, embed the problem in an indefinite-integral and Banach-Stone framework, and show that surjective isometries have the explicit form $\mathbf{T}(\pmb{f}) = \pmb{[} \sigma \cdot (f \circ \phi) \cdot \phi' \pmb{]}$ with $\sigma \in \{-1,1\}$ and $\phi$ an increasing bi-$AC$ homeomorphism. They further illuminate the contrasts with Banach-Lamperti for $L_1$ spaces by working in the KH setting, where $\mathbf{KH}(I)$ is not Banach but barrelled, and provide a precise, invariant operator-theoretic description of KH isometries. The results establish a concrete variable-change mechanism for KH-integrable functions, with implications for the structure of KH-operator theory and related functional-analytic methods."
Abstract
We identify isometric isomorphisms of the space of Kurzweil-Henstock integrable functions as bi-absolutely-continuous changes of variable.
