# On the set of optimal homeomorphisms for the natural pseudo-distance associated with the Lie group S^1

## TL;DR

This paper investigates the set of optimal homeomorphisms for the natural pseudo-distance on the circle group S^1, establishing conditions for optimality and finiteness of the set under certain conditions.

## Contribution

It extends the study of natural pseudo-distance to Lie groups, specifically analyzing optimal homeomorphisms on S^1 and providing conditions for their finiteness.

## Key findings

- Conditions for a homeomorphism to be optimal.
- Finiteness of the set of optimal homeomorphisms under certain conditions.
- First step towards extending pseudo-distance analysis to Lie groups.

## Abstract

If $\varphi$ and $\psi$ are two continuous real-valued functions defined on a compact topological space $X$ and $G$ is a subgroup of the group of all homeomorphisms of $X$ onto itself, the natural pseudo-distance $d_G(\varphi,\psi)$ is defined as the infimum of $\mathcal{L}(g)=\|\varphi-\psi \circ g \|_\infty$, as $g$ varies in $G$. In this paper, we make a first step towards extending the study of this concept to the case of Lie groups, by assuming $X=G=S^1$. In particular, we study the set of the optimal homeomorphisms for $d_G$, i.e. the elements $\rho_\alpha$ of $S^1$ such that $\mathcal{L}(\rho_\alpha)$ is equal to $d_G(\varphi,\psi)$. As our main results, we give conditions that a homeomorphism has to meet in order to be optimal, and we prove that the set of the optimal homeomorphisms is finite under suitable conditions.