Induced Hausdorff metrics on quotient spaces

TL;DR

This paper introduces and studies induced Hausdorff metrics on quotient spaces formed by group actions, demonstrating that under certain conditions, the intrinsic metric on these spaces is a $C^0$-Finsler metric.

Contribution

It defines the induced Hausdorff metric on quotient spaces and proves that, for Lie groups acting smoothly by isometries, the intrinsic metric is a $C^0$-Finsler metric.

Findings

The induced Hausdorff metric on $G/H_X$ is well-defined.

The intrinsic metric $ ilde{d}_X$ on $G/H_X$ is a $C^0$-Finsler metric under specified conditions.

Abstract

Let $G$ be a group, $(M,d)$ be a metric space, $X$ be a compact subspace of $M$ and $\varphi:G\times M \rightarrow M$ be a left action by homeomorphisms of $G$ on $M$. Denote $gp=f(g,p)$. The isotropy subgroup of $G$ with respect to $X$ is defined by $H_X=\{g\in G; gX=X\}$. In this work we define the induced Hausdorff metric on $G/H_X$ by $d_X(gH_X,hH_X)=d_H(gX,hX)$, where $d_H$ is the Hausdorff distance on $M$. Let $\hat d_X$ be the intrinsic metric induced by $d_X$. In this work we study the geometry of $(G/H_X,d_X)$ and $(G/H_X,\hat d_X)$. In particular, we prove that if $G$ is a Lie group, $M$ is a differentiable manifold endowed with a metric $d$ which is locally Lipschitz equivalent to a Finsler metric, $X$ is a compact subset of $M$ and $\varphi:G \times M \rightarrow M$ is a smooth left action by isometries of $G$ on $M$, then $(G/H_X,\hat d_X)$ is $C^0$-Finsler.