Геометрия, динамика, вселенная
Шрифт:
При операциях в пространстве N измерений следует определить N координатных осей.
И наконец, еще одно преимущество аналитической геометрии. Она сильно упрощает представления о геометрических образах, заменяя их (зачастую весьма простыми) уравнениями. Например, в декартовых координатах уравнение прямой: y=ax+b (a, b=const); уравнение окружности: (x-a)**2+(y-b)**2=c**2 и т. д. Нетрудно описать, реализовать евклидово пространство в рамках аналитической геометрии.
Евклидово пространство можно определить как бесконечное, изотропное и однородное пространство. Любые две его точки полностью эквивалентны. Поместим в любой точке пространства три источника световых лучей, распространяющихся во взаимно перпендикулярных направлениях. Эти лучи образуют координатные оси Ox, Oy, Oz. Перенесем источники света вдоль одной из осей, например оси z. Новые оси O'x', O'y' будут параллельны Ox и Oy. Длины
Какова цена, которую следует уплатить за все преимущества аналитической геометрии? Используя ее методы, мы утрачиваем наглядность, привычную нам с детства. Аналитическая геометрия невольно порождает ностальгию по безвозвратно ушедшим школьным годам.
6. ГЕОМЕТРИЯ В ЦЕЛОМ И ГЕОМЕТРИЯ В МАЛОМ
Наши привычные представления о геометрических фигурах основаны на образе, вписанном, вложенном в евклидово пространство. Да и сама евклидова геометрия широко использует образы объемов или поверхностей, вложенных в евклидово пространство. Для общего представления о фигурах подобная картина вполне достаточна. Однако такие образные представления являются в некотором смысле атавизмом, оставшимся в наследие от убеждения в единственности евклидовой геометрии, понимаемой как ветвь математики. Как только сформировались идеи неевклидовой геометрии, возникла необходимость описания поверхностей-пространств любой размерности независимо от фона — пространства, куда вкладываются эти поверхности-пространства. Последние в такой постановке задачи выступают, как носители самостоятельной автономной геометрии, не связанные с осями координат, вписанными в глобальное евклидово пространство-фон.
Подобный подход был в прошлом столетии предложен К.Гауссом и Б.Риманом и является основой дифференциальной геометрии. Это сравнительно сложная математическая дисциплина, и мы здесь ограничимся качественными иллюстрациями основных ее идей, адресуя желающих познакомиться с ней детальнее к соответствующим учебникам и монографиям. [5]
Чтобы понять основные идеи геометрии поверхностей, обратимся вначале к привычным образам евклидовой плоскости двумерного пространства и двумерной сферы, рассматриваемой как автономное пространство. Известно, что основным свойством евклидова пространства является изотропия и однородность — полная эквивалентность его точек. Однако этого фундаментального свойства евклидова пространства недостаточно для его однозначного определения. Утверждение, что однородное и изотропное пространство есть пространство Евклида, не точно, поскольку этому свойству однородности и изотропии удовлетворяет также и сфера: все ее точки также эквивалентны относительно поворотов осей координат и их трансляции. Иначе говоря, глобальные относительно этих операций свойства обоих пространств одинаковы. Чтобы их количественно отличить, нужно ввести локальные характеристика, характеризующие различие плоского и сферического пространств. Иначе говоря, нужно определить величину, характеризующую кривизну сферической поверхности сравнительно с евклидовым пространством.
5
См., например: Рашевский П.К. Курс дифференциальной геометрии. М.: ГИТТЛ, 1956. Кроме того, дифференциальная геометрия на разных уровнях излагается во многих книгах, посвященных теории относительности.
В рамках глобальной неевклидовой геометрии (как мы отмечали ранее) отличие геометрии от евклидовой характеризуется отклонением суммы углов треугольника от или (что то же самое) отклонением от теоремы Пифагора. Рассмотрим теперь малые участки обеих пространств. Для них квадрат интервала ds**2 между двумя достаточно близкими точками представляется выражениями:
ds**2=dx**2 + dy**2 (плоскость) (1)
ds**2=r**2 sin**2 d FI + r**2 d FI**2 (сфера) (2)
r, , FI — соответственно радиус, полярный и азимутальные углы. Однако в косоугольных координатах квадрат интервала и плоскости имеет вид
s**2=dx**2 + dy**2 + 2 dx dy cos ALPHA
Хотя численное значение интервала остается неизменным (квадрат длины вектора — инвариант относительно замены системы координат),
С выражением (2) интервала на сфере дело обстоит совсем по-другому. Форму (2) никаким преобразованием координат нельзя свести к простому соотношению (1) на всей сфере одновременно. Такую процедуру можно проделать лишь локально, выбирая направление на маленьком участке сферы так, чтобы =/2. Однако при таком выборе система координат фиксируется применительно у этому участку сферы. Поэтому глобально для всей сферы соотношения (2) и (1) различаются, что и отражает неевклидовость сферы. Локально — в малом сферу можно аппроксимировать частью плоскости; глобально — в целом — невозможно.
Представление участка сферы плоскостью довольно тривиальная процедура. Любую малую окрестность достаточно гладкой поверхности можно в первом приближении аппроксимировать плоскостью по аналогии с тем, что отрезок ds непрерывной кривой, описываемой дифференцируемой функцией f(x), представляется в окрестности точки x отрезком прямой длины
ds={[f'(x)]**2+1}**(1/2) dx. (4)
Малый участок достаточно гладкой поверхности обладает следующими свойствами:
1. В малом однозначно определяется прямая — кратчайшее расстояние между двумя точками.
2. В малом определяется однозначно вектор и скалярное произведение двух векторов.
3. Скалярное произведение двух векторов однозначно определяет свойства пространства. Инвариантность скалярного произведения относительно вращений и трансляций определяет евклидово пространство, что и отражено в аналоге равенства (3):
ds**2=dx| dx|=dx|**2 + dx|**2 + 2 dx| dx| cos ALPHA (5)
1 2 1 2 1 2
Это рассуждение — геометрический аналог аналитического соотношения (4). Выбор интервала ds**2 в виде квадратичного выражения принципиален. Квадрат — наименьшая степень, при которой интервал сохраняет свою величину (инвариантен) относительно весьма широкого класса преобразований. В принципе можно было бы опираться на выражения интервалов через многочлены более высокой четной степени, однако, как оказалось, подобная усложненная геометрия практически современной физике не нужна.
Итак, в дифференциальной геометрии фундаментальную роль играет интервал и его инвариантность относительно широкого класса преобразований. Выражение (3) записывается обычно в следующей форме:
ds**2 = g|| dx| dx|, (6)
ik i k
где наличие общих индексов означает суммирование по всем возможным их значениям. Для двумерной поверхности i,k=1,2; для трехмерной — i,k = 1,2,3 и т. д.
Величины g|| образуют метрический тензор и
ik представляются квадратной таблицей (матрицей). Вследствие симметрии (g||=g||) метрический тензор в общем случае
ik ki характеризуется N(N+1)/2 компонентами.
Для пространства Евклида все компоненты метрического тензора можно привести к простейшему виду во всех точках пространства: g||=0, если i\=k; g||=1, если i=k. Это правило
ik ik верно лишь для пространства Евклида. Выражение (6) является алгебраическим представлением произвольной достаточно гладкой поверхности. Можно дать и наглядное, более геометрическое отображение ее свойств. Это отображение основано на упомянутом выше положении, доказанном еще Гауссом, о том, что в малом отклонение геометрии от евклидовой пропорционально некой величине, называемой кривизной. Несколько огрубленно можно сказать, что кривизна (количественная мера отклонения поверхности от евклидовой) оптимальная аппроксимация малого участка поверхности набором окружностей разных радиусов. Число этих окружностей растет с ростом размерности поверхности. Однако существуют симметричные поверхности — пространства, для которых кривизна характеризуется меньшим числом компонент. Так, для сферы кривизна R — однокомпонентная величина.
R~1/r**2, (7)
где R — радиус сферы.
На примере сферы становится ясным, что с уменьшением кривизны или увеличением размеров поверхность локально приближается к евклидову пространству. Такое приближение реализуется и в более общем случае, когда все компоненты кривизны уменьшаются.
Сфера не является единственной поверхностью с постоянной кривизной. Пример другой такой поверхности пространство Лобачевского, образованное вращением гиперболы. Существует, однако, существенная разница между сферой и пространством Лобачевского. Кривизна сферы положительна, кривизна пространства Лобачевского имеет отрицательный знак. Пространство Евклида — единственное, характеризуемое постоянной, но нулевой кривизной.