Существуют ли нетривиальные сжимающие отображения окружности в себя?
Метрика на окружности - длина меньшей дуги. Тривиальными считаются отображения всей окружности в одну точку. "Сжимающие отображения" - это которые из теоремы Пикара о сжимающих отображениях.
Тут нужно какое-то остроумное рассуждение, да?
Если таких не бывает, то, я так понимаю, выкинув из окружности одну точку, получим неполное пространство, в котором все равно верна теорема Пикара
