(ds)^2

=

(dx)^2

+

(dy)^2

.

(7.5.1)

Если использовать на плоскости полярные координаты, то длина дуги задаётся соотношением:

(ds)^2

=

(dr)^2

+

r^2

(d)^2

.

(7.5.2)

Очевидно, что не имеет значения, какие символы мы используем для координат, и физика на плоскости должна быть одинакова независимо от того, используем мы декартовы координаты или полярные координаты для описания геометрии на плоскости. Это означает, что если мы находим, что описание длины дуги в некоторой системе, которую мы выбрали, корректно задаётся соотношением:

(ds)^2

=

y^2

(dx)^2

+

(dy)^2

.

(7.5.3)

нет глубокого смысла в том, что кажется, будто длина x меняется при изменении координаты y, поскольку простое координатное преобразование сохраняет декартово выражение для длины дуги (7.5.1).

Теперь рассмотрим более интересный случай. Представим себе, что мы - жуки, ползающие по полу, который, как мы всегда предполагали, замощён квадратными кафельными плитками, и всю нашу жизнь мы думали, что геометрия пола правильно задаётся подсчётом плиток и использованием евклидовского правила (7.5.1), что интервалы dx или dy соответствуют величине длины плитки. Но некоторые остроумные жуки начали проверять это, используя линейки, и после серии измерений пришли к результату, что измеренные длины дуг соответствуют количеству плиток следующим образом:

(ds)^2

=

(dx)^2+(dy)^2

1+ar^2

,

(7.5.4)

где r^2=x^2+y^2 Предположим, что эти остроумные жуки очень тщательно измеряли отношение длины окружности к величине радиуса круга, прикладывая свои линейки вдоль кривых с постоянным значением r и от центра круга вдоль одной из осей. Их результаты дали бы следующие значения:

Длина окружности

=

ds

=

2

0

r d

(1+ar^2)

=

2r

(1+ar^2)

,

Радиус круга

=

r

0

ds

y=0

=

r

0

dx

(1+ax^2)

=

b

arctg

r

b

=

R,

(7.5.5)

где b^2=1/a. Экспериментальный результат для отношения длины окружности к радиусу должен был бы давать в этом случае

1

R

2b tg(R/b)

1+tg^2(R/b)

=

2

sin(R/b)

(2R/b)

.

(7.5.6)

Это отношение становится равным 2 только в пределе, когда радиус окружности стремится к нулю. Именно это измеряемое соотношение и является существенным физическим результатом.

Эта частная модель, которую мы обсудили, имеет простую геометрическую интерпретацию, но мы снова подчёркиваем, что именно экспериментальные результаты очень важны и они полностью зависят от правильной формулы для длины дуги; и вовсе не имело бы значения, что мы не можем привести простую формулу геометрического смысла, который мы можем легко представить.

Мы можем сказать, что всё это время жуки живут на поверхности сферы, не зная этого. Теперь, когда мы предположили это, мы легко понимаем, почему наши измерения окружностей давали частный результат, приведённый в соотношении (7.5.6). Если сфера имеет радиус (b/2), то результат, данный соотношением (7.5.6), представляет отношение длины окружности круга к длине вдоль поверхности меридиана, как показано на рис. 7.5.

Рис. 7.5.

Наша предыдущая точка зрения на гравитацию может быть сравнима с той, которая могла бы проводится более консервативными жуками. Кафельные плитки являются ”реальными” квадратами, но линейки изменяются, если мы двигаем их от места к месту, поскольку имеется поле, которое может привести к этому эффекту. Наша более новая геометрическая точка зрения будет состоять в том, что мы не можем определять ”кафельные плитки”, как ”реальные” квадраты; мы живём в мире, который, вообще говоря, неевклидов, имеет кривизну, которая измеряется проведением подходящих экспериментов. Нет нужды думать о процессах, как происходящих в пространстве, которое есть истинно евклидово, так как нет ничего физического, что могло бы быть даже измерено в этом воображаемом пространстве. Кафельные плитки просто представляют нанесение координатных меток, и любое другое нанесение меток может быть также произведено, как и предыдущее.

7.6. Кривизна в двух и четырёх измерениях

Инвариантной величиной, которая характеризует геометрию способом, не зависящим от специального выбора системы координат, является кривизна. Очень просто представить себе смысл кривизны, когда мы рассматриваем двумерную поверхность: плоское неискривлённое пространство, такое как плоскость, или искривлённое пространство, такое как кривая поверхность. Хотя в нашей последующей работе нам понадобится работать с кривизной аналитически, сейчас следует немного поработать с двумерной геометрией, которую мы можем очень просто представить; определения кривизны в более высоких измерениях есть точные аналоги определения кривизны поверхности.

В общем случае длина дуги на двумерной поверхности задаётся соотношением

(ds)^2

=

g

(dx)^2

+

2g

dx

dy

+

g

(dy)^2

.

(7.6.1)

Хотя очевидно, что три функции gab включены в это выражение, инвариантная геометрия определяется только одной функцией координат; оказывается, что мы имеем определённую свободу в выборе координат, например, мы можем сделать их ортогональными; мы обладаем достаточной свободой для того, чтобы наложить два условия на функции gab, для этого у нас есть две функции, с помощью которых мы можем делать координатные преобразования. В частности, всегда можно выбрать координаты таким образом, что