dilettoТут нужно просто различать внутреннюю кривизну и внешнюю. И лучше говорить не об одномерном пространстве (окружность), которое вообще не имеет внутренней кривизны, а о двумерном пространстве.
Когда говорят о том, что "муравьи ползают по сфере, рисуют круги и треугольники, измеряют сумму углов и отношение окружности к диаметру" - это речь об измерении внутренней (гауссовой) кривизны поверхности. О ней-то всегда и говорят, когда рассуждают о кривизне нашего трехмерного пространства.
Возьмем лист бумаги и свернем его в цилиндр. Или в конус. Или согнем пополам. Или сделаем из него оригами. Изменилась ли внутренняя кривизна поверхности? Нет. Эти муравьи не смогут отличить оригами от плоского листа, используя все эти треугольники и круги. Лист бумаги остается внутренне плоским. А как сделать плоский лист бумаги внутренне искривленным? Вообще говоря, никак. Точнее, если он нерастяжим и несжимаем, то никак. Если же он немного тянется, то можно плотно наложить его, например, на сферу (немного растягивая и сжимая). Вот теперь он стал внутренне искривленным, это муравьи сразу заметят. Т.е. пока лист бумаги деформируется без сжатия и растяжения - это для муравьев проходит незаметно. Меняется только внешняя кривизна листа. Но как только он начинает сжиматься и растягиваться - появляется возможность изменить его внутреннюю кривизну.
Говорят, мы, муравьи, живем в плоском трехмерном пространстве. Может, это трехмерный цилиндр или конус? Или оригами? Тут мы как-бы представляем, что "наверху всего" должно быть какое-то плоское
-мерное пространство, в которое все это кривое безобразие более низкой размерности должно быть вложено. Но почему "на самом верху" должно быть именно плоское пространство? Оно что, самое "правильное"? Это вовсе не обязательно. Гораздо логичнее предположить, что мы уже "на самом верху", и это "самое верхнее пространство" искривлено.
Можно спросить "Да куда оно искривлено, если нет плоского пространства более высокой размерности?". А это непонимание есть как-раз результат наглядных картинок. Если исходить из них, то внутренняя кривизна без дополнительного измерения кажется невозможной. На самом же деле искривленная поверхность - это всего-лишь наглядный образ, позволяющий визуализировать внутреннюю кривизну, и использующий дополнительное измерение в целях визуализации. Только для наглядности. Не нужно проецировать ограничения этого образа в обратную сторону: внутреняя кривизна не связана с дополнительным измерением и не нуждается в нем. Только наглядная визуализация в этом нуждается.