В нестационарном случае понятие расстояния вообще становится малоосмысленным.
Есть такая точка зрения. Хотя в локальном смысле расстояния остаются определимыми именно в смысле той процедуры, о которой пишут ЛЛ (радаром). А это значит, что для заданной пространственно-подобной гиперповерхности можно опредилить расстояния, т.е. пространственную геометрию. Она выражается метрикой:

которую часто можно встретить в литературе.
Меня поражает, что топикстартер легко рассуждает о расстояниях (не только локальных, а и о длине окружности, например) в общем случае (т.е. и в нестационарном в том числе), но при этом внятного определения гиперповерхности, по которой проводятся измерения, добиться от него так и не удалось...
Скажите прямо какое. В Вашем посте я этого не вижу.
"Она существует только на цилиндре

, и то не на всём."
Это и я отметил, но это не оговорено в ЛЛ-2. Может Вы имеете что-то еще?
Во-первых, это не в Вашем посте, а во-вторых, это не условие на функцию

.