И еще одну опасность предстояло избежать автору пройти между Сциллой и Харибдой научно-популярной книги найти в излагаемом материале верное сочетание, необходимую пропорцию между устоявшимся, уже вошедшим в обиход и новым, только появившимся, остромодным.
Непрофессионалу, возможно, трудно представить себе, насколько физики (как, вероятно, и представители других наук) подвержены моде.
Так, 1980 — 1982 гг. прошли под лозунгом: «Даешь распад протона». Строились огромные установки, вкладывались большие средства, а эта «проклятая» частица все еще не хочет распадаться. Автор далек здесь от иронии: обнаружение распада протона стало бы эпохой в физике, но увы…
В 1983 г. были модны многомерные теории Калуца-Клейна.
В 1984 — 1985 гг. стали популярны «супертеории», основанные на таких понятиях, как «супергравитация», «суперсимметрия», «суперпространство», «суперструны» и т. д.
Как подтверждение суперсимметрии оптимисты трактуют буквально с неба снизошедшее излучение двойной звезды Syg-X3. Пессимисты же более осторожны в своих выводах.
При создании книги мы воспользовались рекомендацией А.К.Толстого: «О том, что очень близко, мы лучше умолчим». Чтобы оценить все эти «супертеории», нужна некоторая временн`ая перспектива, да и сделать их изложение простым достаточно сложно. Поэтому автор сосредоточил свое внимание на многомерных теориях, благо прошло уже достаточно времени (несколько лет) с тех пор, как они оказались в центре внимания. Впрочем, чтобы не прослыть суперретроградом, автор не мог порой удержаться от использования терминов с приставкой «супер».
Трактовать современные представления о пространстве, не упоминая классические их образы — пространства Минковского и Римана, равносильно постройке большого здания на песке. Казалось необходимым кратко напомнить их свойства. Это, возможно, придало книге некоторую архаичность.
Как видно из предисловия, поводов для замечаний предостаточно. Автор будет благодарен читателям за деловое обсуждение затронутых им вопросов.
ГЛАВА 1. Г Е О М Е Т Р И Я
1. ЭМПИРИЧЕСКАЯ ГЕОМЕТРИЯ
Основы эмпирической геометрии, как науки о непосредственно наблюдаемом пространстве были заложены в глубокой древности: в Египте, Вавилоне и Греции. Итоги многовековых размышлений о количественных соотношениях между видимыми, непосредственно наблюдаемыми объектами были подведены в III в. до н. э. Евклидом. В течение почти 2.5 тысячелетий евклидова геометрия является одним из столпов школьной математики. практически в неизменной форме она дошла до нашего времени. Случай этот уникален. почти забыта физика Аристотеля, о математическом анализе Архимеда вспоминают лишь историки математики. Школьная же геометрия базируется на геометрии Евклида. Разница в основном лишь в методике изложения.
В чем причины поразительной живучести евклидовой геометрии? На наш взгляд, ответ на этот вопрос многозначен. Во-первых, она хорошо отображает простейшие количественные отношения форм реальных объектов, во-вторых, евклидову геометрию характеризует поражающая логичность и методическая завершенность, наконец, евклидова геометрия является превосходной основой для воспитания логического мышления на общедоступных примерах, имеющих широкие практические приложения.
Поучительно подробнее разобрать приведенные аргументы.
Геометрия (как указывает ее название) родилась из практических задач — измерения площадей земельных участков. Например, простейший вопрос об отношении площадей круга и квадрата нельзя решить без помощи геометрии (в рамках элементарной математики). Именно задачи о сравнении площадей земельных участков очень часто приходилось решать древним геометрам.
Отметим, что актуальность решения подобных задач сохраняется и поныне. Можно с уверенностью сказать, что читатель сталкивается с вопросом о длинах, площадях и объемах различных предметов. Основные понятия геометрии Евклида прочно вошли в нашу жизнь. Образы точки (например, в письме), плоскости (стены комнат) и объемов)дома, в которых мы живем) — наша повседневная действительность.
Евклид (точнее, его геометрия) в достаточно общем виде решил одну из важнейших практических проблем: количественного сравнения реальных объектов с разными формами. Созданная им геометрия была облечена в столь безукоризненную изящную форму, что актуальная для современности проблема «практического внедрения» была решена без задержек.
Несомненно, что «живучести» геометрии Евклида и ее быстрому «внедрению» способствовала ее адекватность кинематике абсолютно твердых тел. Неизменность их формы при перемещениях оптимально описывается в рамках евклидовой геометрии.
Подчеркнем далее, что вместе с геометрией Евклида в математику пришла абстракция. Для геометрии (по крайней мере в ее привычной формулировке) безразлично, сравниваются ли, например, объемы однородных предметов (двух комнат) или различных (например, гаража и автомашины). Геометрия как часть математики отвлекается от сущности объекта исследования. И в этой особенности имеются как сильные, так и слабые стороны.
Сила традиционной геометрии — в ее общности, универсальности. Слабость — в абстрагировании, создающем предпосылки для размытия основополагающих понятий геометрии, размытия, затрудняющего их сопоставление с реальными объектами, явлениями или процессами. До определенного времени этому обстоятельству не придавали серьезного значения, однако, когда наступила пора подвергнуть геометрию критическому переосмысливанию, высветилась эта слабая сторона геометрии. Возникла парадоксальная ситуация: самая точная и, по-видимому, самая наглядная наука — геометрия базируется на понятиях, не поддающихся точным определениям. Чтобы оправдать такое сильное утверждение, полезно напомнить некоторые «школьные» истины.
Учитель, начиная обучение геометрии, произносит слова: «Точка — объект, лишенный протяженности, линия — объект, характеризуемый длиной, но лишенный ширины» — и затем иллюстрирует эти определения, отмечая мелом на доске точку и проводя линию. Однако, размеры такой точки ~ 1 мм, ширина линии также ~ 1 мм — символ точечности? Это утверждение в значительной степени базируется на авторитете учителя.
Если постараться, можно, используя тонкое перо, свести размеры «точки» или «ширины» линии до ~0.1 мм, но и эта величина не соответствует геометрическому определению точки или линии.
Опираясь на весьма тонкие оптические методы, можно уменьшить размеры точки до 10**-10 см. Данные о рассеянии некоторых элементарных частиц свидетельствуют, что их размеры ~<10**-16 см. Однако и в этом случае не исчезает «проклятый» вопрос: можно ли объекты, характеризуемые столь малыми величинами, полагать «точками»?
Те же трудности возникают при попытках эмпирически воспроизвести другое основное понятие геометрии — прямую линию. Обычно полагают, что эталоном прямой является луч света, распространяющийся в пустом пространстве. Однако в соответствии с основными принципами оптики и квантовой механики ширина пучка света по порядку величины равна длине волны λ, а это значение невозможно свести к нулю.
Но главная проблема, пожалуй, не в конечности величины λ. Положение о прямолинейности распространения света в пустоте (даже в пренебрежении значением λ) само является лишь постулатом, требующим независимого доказательства. В нашем распоряжении нет априорно идеальной линейки, которая позволила бы проверить прямолинейность распространения светового луча. Следовательно, это утверждение имеет лишь полуинтуитивное обоснование, основанное на том эмпирическом факте, что в нашем распоряжении нет других методов, позволивших прочертить абсолютно прямую линию между двумя точками. Однако даже это свойство света не гарантирует его прямолинейность. Допустим, что пространство имеет форму сферы. Кратчайшее расстояние на сфере — отрезок большого круга, отнюдь не тождественный прямой. Поэтому утверждение: световой луч прочерчивает прямую эквивалентно тезису: наше пространство плоское, евклидово. А этот тезис сам нуждается в эмпирическом образовании.
К этому вопросу мы далее будем неоднократно возвращаться.
2. ГЕОМЕТРИЯ КАК ФИЗИКО-МАТЕМАТИЧЕСКАЯ ДИСЦИПЛИНА
До конца 20-х годов прошлого столетия евклидова геометрия казалась незыблемой и единственной теорией пространства.
В 1829 г. Н.И.Лобачевский опубликовал статью «О началах геометрии». В этой статье, так же как и в письмо молодого венгерского математика Я.Больяи, переданном К.Гауссу, утверждалось, что возможно построение непротиворечивой геометрии, не содержащей известный пятый постулат евклидовой геометрии. Этот постулат, гласящий, что через точку, лежащую вне данной прямой, можно провести одну и только одну прямую, параллельную данной, казался наиболее уязвимым (или наименее очевидным) априорным требованием евклидовой геометрии. Однако попытки вывести его из других аксиом оканчивались всегда неудачей. Поэтому был выбран другой путь — построение геометрии, основанной на всех аксиомах и постулатах Евклида, но в которой был заменен пятый постулат о параллельных: через одну точку можно провести либо бесконечное множество прямых, параллельных данной, либо ни одной.
