Skip to main content
4 of 4
edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

Picking a representative in a continuous way

I'm hoping for some ideas/pointers here. I'm experimenting with a Livschitz theorem for functions on a locally compact Abelian group, where the periodic orbit sums take values in a closed subgroup.

If $G$ is a locally compact Abelian group (second countable) and $H$ is a closed subgroup then $G$ and $H$ inherit a natural translation-invariant metric. You can use this to induce a translation-invariant metric on $G/H$.

Does there exist a neighbourhood $N$ of the identity in $G/H$ and a continuous map $f\colon G/H\to G$ such that $f(x)\in x$ for all $x\in N$?

EDITED to incorporate simplifying suggestion of Emil Jerabek and correction of Mark Schwarzmann.

Anthony Quas
  • 23.2k
  • 5
  • 63
  • 98