{"id":"arxiv/2606.30952","url":"https://arxiv.org/abs/2606.30952","tags":["math.FA"],"score":0,"title":"Surjective isometries on the positive parts of the unit spheres of some function spaces","domain":"math.FA","source":"arxiv","authors":["Yuta Enami","Daisuke Hirota","Hironao Koshimizu","Min-Ruei Lin"],"reviews":0,"subject":"math.FA","summary":"We consider the space $C^1[0, 1]$ of continuously differentiable functions on the closed unit interval $[0, 1]$ and the space $\\operatorname{Lip}[0, 1]$ of Lipschitz continuous functions on $[0, 1]$, equipped with the norms \\begin{align*} \\|f\\|_{σ, p} = \\begin{cases} \\sqrt[p]{|f(0)|^p + \\|f'\\|_\\infty^p} & (1 \\le p < \\infty), \\\\ \\max\\{\\, |f(0)|, \\|f'\\|_\\infty \\,\\} & (p = \\infty). \\end{cases} \\end{align*} We show that every surjective isometry on the positive part of the unit sphere extends to a surjective complex-linear isometry on the entire space. As a corollary, every such isometry also…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-29","reactions":{}}