Геометрия, динамика, вселенная
Шрифт:
И еще одно замечание. Ранее отмечалось, что характеристика неевклидовости двумерных плоскостей отклонение суммы углов треугольника от . Говоря о проведении треугольника на произвольной поверхности, мы молчаливо подразумевали возможность единственного проведения прямых на поверхности в смысле Евклида (прямая — кратчайшее расстояние). Однако в общем случае между двумя точками поверхности можно провести несколько кратчайших расстояний. Эта неоднозначность устраняется, если выбирается достаточно малый участок поверхности.
Отметим (ввиду важности утверждения) снова, что в
Последние рассуждения прямо относились к двумерным поверхностям. Однако в рамках аналитической или дифференциальной геометрии, когда свойства пространств определяются числами (координатами или величинами компонент метрического тензора или кривизны), можно с равным успехом проводить анализ поверхностей любой целочисленной размерности. Методы аналитической и дифференциальной геометрии позволяют представить геометрические фигуры в безликих арифметических терминах, и нет нужды «воображать» сами поверхности.
Возможность оперировать с поверхностями (пространствами) произвольной размерности исключительно важна для понимания свойств и характеристик физического пространства (об этом речь пойдет в следующих главах).
В заключение еще одно замечание. Утверждение, что локально поверхность эквивалентна евклидову пространству, означает, что в любой точке интервал можно привести к виду
N
— ds**2 = > dx|**2 (8)
— i
i=1
Такие поверхности называются римановыми и обладают свойством ds**2 > 0 (положительно определенная матрица).
Теория относительности внесла коррективы в это определение. Эта теория выдвинула идею нового типа пространств — пространств Минковского когда интервал ds**2 может иметь оба знака (ds**2 >= 0 или ds**2 <= 0), метрика таких пространств называется индефинитной, а сами пространства псевдоевклидовыми.
Метрика псевдоевклидовых пространств размерности N имеет вид:
N| N|
1 2
– — ds**2 = > dx|**2 — > dx|**2 (9)
— i — k
i=1 k=1
причем N|+N|=N. Обобщением псевдоевклидова пространства
1 2 является псевдориманово пространство, которое локально представляется псевдоевклидовой метрикой.
7. РАССЛОЕННЫЕ ПРОСТРАНСТВА
Уже упоминалось ранее, что точка иногда определяется как геометрический объект, не имеющий протяженности. Поэтому напрашивался вывод, что точка в таком понимании не имеет структуры. Однако критический
Вначале казалось, что этой новой ветви математики уготована участь многих ее разделов: служить красивой абстракцией, не связанной с физической реальностью. Основания для подобных прогнозов были. Фундаментальное понятие точки у расслоенных пространств отличалось от интуитивного образа бесструктурной точки. Однако эволюция физики, и в первую очередь квантовой теории поля, физики элементарных частиц и космологии, привела к сближению представлений о точках в физике и расслоенных пространствах. Постепенно начал вырисовываться абрис синтеза фундаментальной физики и геометрии на базе расслоенных пространств. По нашему мнению, можно высказать и более сильное утверждение: существует «истинное» физическое пространство, которое реализуется в терминах расслоенных пространств.
Если такая несколько претенциозная формулировка выглядит экстремистской, то более ограниченное утверждение: объединенная теория взаимодействий допускает геометрическую интерпретацию на базы расслоенных пространств — кажется бесспорным. Необходимость такого заключения оказалась для физики несколько неожиданной. Даже творцы теории элементарных частиц оказались неподготовленными к вторжению математики расслоенных пространств в физику. В этом аспекте характерен диалог физика Ч.Янга с одним из основоположников геометрии расслоенных пространств Ш.Черном.
Янг: «Это (расслоенные пространства. — И.Р.) приводит в трепет и изумление, поскольку вы, математики, выдумали эти понятия из ничего».
Черн: «Нет, нет! Эти понятия вовсе не выдуманы. Они существуют на самом деле».'
– -----------------------------' Янг Ч. Эйнштейн и физика второй половины XX века // УФН. 1980. Т.132. С.174. О расслоенных пространствах см. также ст.: Даниэль С., Виалле М. Геометрический подход к калибровочным теориям типа Янга — Миллса // УФН, 1982. Т.136. С. 377–420; Бернстейн Г., Филлипс Э. Расслоения и квантовая теория // УФН. 1982. Т.136. С. 665–692.
– -----------------------------
Этот диалог весьма примечателен. Математики часто строят конструкции, кажущиеся физикам абстрактными, не связанными с физическими ценностями. Разные подходы математиков и физиков приводят к недооценке адекватности некоторых «абстрактных» математических методов физическим проблемам. В результате эти методы заново переоткрываются физиками. Пожалуй, классический пример подобной ситуации переоткрытие В.Гейзенбергом в 1925 г. матричного исчисления, которое он использовал для создания квантовой механики. Лишь после бесед с М.Борном он узнал, что теория матриц — хорошо разработанный раздел математики практически не используемый физиками.