Проблема бесконечности принадлежит к числу «вечных» проблем науки, привлекающих пристальное внимание математиков, естествоиспытателей и философов.
Пограничный характер проблемы бесконечности, необходимость ее разработки общими усилиями представителей естествознания, математики и философии уже подчеркивался автором[355]. Однако и сейчас существуют точки зрения о том, что проблема относится всецело к компетенции естественных наук либо, наоборот, «исключительно» или хотя бы «прежде всего» к компетенции философии (см., например[356]). Не столь важно, по какому «ведомству» — естественнонаучному или философскому — числить проблему, гораздо важнее, чтобы она разрабатывалась на современном научном уровне; а это возможно только при участии представителей разных отраслей математики, физики, астрономии, философии. Иными словами, не следует стремиться к тому, чтобы пограничная проблема была предметом пограничного конфликта.
В современной науке проблема бесконечности стала чрезвычайно многогранной. Бурное развитие математики за последние сто лет привело к открытию ряда новых, чрезвычайно интересных аспектов бесконечного, а успехи космологии показывают, что они имеют реальные прообразы в природе. Легче всего заниматься бесконечностью, если обо всем этом ничего не знать: невинность рождает отвагу. Многогранность проблемы рождает также соблазн расчленить бесконечность на разные, мало связанные бесконечности-омонимы (философскую, космологическую, ряд математических). Если учесть еще, что термин «Вселенная» только в физико-математических науках применяется в пяти — шести разных значениях, то оказывается возможным придавать самый различный смысл словосочетанию «бесконечность Вселенной».
По-видимому, не было сделано попыток классификации типов бесконечности или хотя бы составления их перечня. Предлагаемый ниже обзор, вероятно, также не является исчерпывающим.
Выдвигаемая на обсуждение симпозиума точка зрения в известном смысле противоположна очерченной выше. Делается попытка найти единство в многообразии, трактовать различные аспекты бесконечности в математике, физике, астрономии и философии как различные отражения одной и той же реальности — реальной бесконечности реальной Вселенной.
2.1. Практическая бесконечность отличается тем, что а) является исторически первым и логическим простейшим представлением о бесконечности; б) несмотря на это чаще всего и вполне успешно применяется во всех физических приложениях математики, кроме, разве, космологических; в) вместе с тем имеет меньше всего отношения к бесконечности в более строгом ее понимании.
Практически-бесконечное означает «достаточно большое (малое, близкое, далекое)». Что считать здесь доста-точным, это всецело зависит от конкретных условий рассматриваемой задачи. Бесконечно большими в этом смысле могут быть и расстояния в 1013, и в 10-13 см (первое в астрономии, второе — в физике элементарных частиц). С точки зрения математика (во всяком случае, представителя классической математики), первая величина ничуть не ближе к бесконечно большому, чем вторая, а вторая представляет бесконечно малую ничуть не в большей мере, чем первая.
Несмотря на кажущуюся примитивность понятия практической (физической) бесконечности, уже в связи с ним могут быть поставлены некоторые далеко идущие вопросы.
2.1.1. Уже здесь мы сталкиваемся с противоречивостью бесконечного, с необходимостью рассматривать взаимоисключающие противоположности в их нераздельном единстве.
Математика не допускает замены бесконечного каким бы то ни было конечным, сколь бы велико (мало) ни было последнее, поскольку они суть взаимоисключающие противоположности. Физика же делает такую замену буквально на каждом шагу, и получающиеся при этом результаты неизменно оказываются правильными. Этим демонстрируется весьма убедительным образом если не тождество, то единство противоположностей.
Можно задаться вопросом о том, какова физическая или общекосмологическая подоплека того, что это оказывается возможным, что здесь практический разум в силах преодолеть антиномию чистого разума?
Формальная сторона вопроса очевидна: замена бесконечного конечным возможна потому, что результаты, которыми интересуется физика, являются приближенными (хотя и «сколь-угодно» точными). Речь идет не об этом. Можно представить себе такое устройство Вселенной, при котором полем на «достаточно большом» расстоянии от источника нельзя было бы пренебречь в силу, например, слишком тесного расположения источников (идеализация: «начинка» Вселенной — совершенная сплошная среда). Возможно, что этот случай в какой-то мере реализуется даже в нашей Вселенной — в области очень малых пространственно-временных масштабов (и, соответственно, очень энергичных взаимодействий). Область применимости понятия практической бесконечности так или иначе ограничена также «сверху», в космологических масштабах.
Забегая вперед, можно высказать утверждение об ограниченной, в принципе, применимости и более полных (совершенных, строгих) понятий бесконечности.
2.1.2. Поскольку в определенных пространственно-временных масштабах оказывается возможным пользоваться вместо бесконечного достаточно большим или достаточно малым конечным, встает вопрос, не следует ли попытаться и в математике перекинуть некий мост через пропасть, отделяющую бесконечное от конечного?
Интересную попытку такого рода мы находим, например, у Бореля[357] в связи с проблемой вероятности и достоверности в тех случаях, когда в игру вступают числа «сверхастрономические». Проблема, которая, по-видимому, еще очень далека от решения, состоит в следующем: не должна ли математика быть «исправлена» в том смысле, чтобы такие «сверхастрономические» числа можно было бы считать не конечными, а бесконечными? В этом случае практическая бесконечность стала бы разновидностью, аспектом математической бесконечности.
2.1.3. Для первобытного человека не только Вселенная, но и наша планета по своей пространственной протяженности была бесконечной в смысле практической бесконечности. По-видимому, можно утверждать, что в этом смысле Вселенная должна считаться бесконечной сейчас и должна будет считаться на протяжении всей истории человечества.
2.2. Бесконечность как безграничность. Практическая бесконечность есть выход за определенную границу, определенный предел. Следующей ступенью абстракции является понимание бесконечности в качестве процесса или результата выхода за любой предел (в сторону увеличения или уменьшения). Этот шаг к следующей ступени был очень трудным и исторически, и логически. Это не только качественный скачок, но и подлинный прыжок в бездну. Мудрость греческих геометров, возможно, заключалась именно в том, что они, по выражению одного историка математики, «всегда останавливались перед этой бездной бесконечного». В апориях Зенона эта эпоха оставила будущим поколениям предостережение об опасностях бездны. Тем не менее, потребности познания заставили ринуться в бездну, и сразу же оказалось, что предостережения были вполне основательными. Характерно хотя бы то, что благодаря проблеме бесконечности к началу XVIII века стало модным выражение: «непостижимые загадки математики»!
Здесь не место останавливаться на всех перипетиях разрешения этих загадок, хотя они сами по себе представляют, возможно, одну из самых волнующих страниц истории человеческой мысли. Сейчас, ретроспективно, нам иногда даже трудно по-настоящему понять, в чем заключались сами трудности. Нам, например, нелегко представить себе, что долгое время после Ньютона и Лейбница бесконечно малые величины, бесконечно близкие точки на кривой и т. п. рассматривались в качестве некоего наличного бытия: сейчас мы начинаем изучение этих вещей, вооруженные с самого начала понятием предела, которое в истории математики явилось результатом мучительных исканий, получивших ответ лишь в начале XIX века в гениальных работах Коши. На место бытия стало становление, на место результата — процесс. Затем эти подходы причудливо чередовались, и сейчас, умудренные опытом прошлого, мы должны быть готовы признать, что бесконечность — это и бытие, и становление. В том или ином аспекте бесконечного превалирует то или другое (в бесконечности как безграничности — становление).
В геометрии понимание бесконечности как пространственной безграничности доминировало до Римана, в космо-логии — до Эйнштейна, в философии — даже до наших дней (хотя попытка его преодоления была предпринята еще Гегелем примерно в одно время с Риманом).
В геометрии (и, как следствие, в космологии) такое понимание бесконечности было тесно связано с восходящим по крайней мере к Евклиду пониманием пространства как чисто количественной категории, как протяженности (в философской литературе с таким пониманием пространства можно встретиться по сей день). На этой основе еще в античное время делались попытки доказать бесконечность Вселенной (строго говоря — безграничность пространства) чисто логическим путем. Из любой точки пространства можно протянуть жезл (бросить копье), затем из достигнутой точки повторить это, и так все вновь и вновь, нигде не натыкаясь на границу[358]. Гегель выразил это так: мир нигде не заколочен досками. Он считал бесконечность пространства примером «дурной» бесконечности (бесконечности как отрицания конечности, бесконечности бесконечного прогресса): «Сначала ставят границу, затем переступают ее, и так до бесконечности»2.
В этих рассуждениях предполагалось, что таким путем можно пройти сколь-угодно большое расстояние. Теперь мы знаем, что это не обязательно так. Проблема аналогична той, которая вызывала споры до путешествия Магеллана. Можно ли, плывя строго в определенном направлении, скажем, на запад, тем не менее оказаться в конце концов в исходной точке, вернувшись в нее с востока и покрыв при этом конечное расстояние? Сейчас положительный ответ столь же очевиден, сколь очевиден был отрицательный ответ лет пятьсот тому назад. Не обстоит ли дело так же при движении (протягивании жезла, бросании копья) в пространстве, не окажемся ли мы в результате движения строго в одном определенном направлении в конце концов в исходной точке, вернувшись в нее с противоположной стороны и пройдя конечное расстояние в пространстве?
Эта чудовищная, с точки зрения здравого смысла, т. е. привычных представлений, постановка вопроса стала естественной с созданием метрической геометрии Риманом.
2.3. Метрическая бесконечность. Это основное для современной (релятивистской) космологии понимание бесконечности. Это не «очень большое» древних и «сколь-угодно большое» дорелятивистской физики и математики, а понятие бесконечности, связанное с приписыванием пространству или пространству-времени наряду с чисто количественной характеристикой также некоей внутренней, качественной определенности (метрических свойств и важнейшего из них — кривизны).
Отсутствие у пространства каких бы то ни было границ еще не означает, что в нем имеется сколь-угодно большое расстояние (площадь, объем). Движение в таком пространстве в строго определенном направлении не обязательно будет удалять от исходной точки, но, в силу внутренней кривизны пространства, может завершиться возвращением в исходную точку с противоположной стороны. Безграничность пространства не означает его бесконечности.
С точки зрения нашей темы существенны следующие обстоятельства.
2.3.1. В своих предыдущих аспектах бесконечность выступала в качестве чисто количественного понятия; при этом пространство имело также только количественную определенность, а изучающая пространственные отношения наука — геометрия, как и математика в целом, могла трактоваться как наука о количественных отношениях. Одна область пространства могла отличаться от другой только количественно, числом содержащихся в ней кубических метров (или иных единиц объема), числом единиц длины по различным направлениям (осям). В метрической геометрии положение деликатнее. Пространство имеет внутреннюю, качественную определенность. Одна область пространства отличается от другой не только количественно (протяженностью), но и качественно (метрикой, кривизной). Вместе с тем геометрия и вся математика перестает быть наукой о количественных отношениях. В дальнейшем, особенно благодаря топологии («качественной геометрии»), эта тенденция усиливается, в математику отчетливо проникает категория меры в диалектическом смысле, в смысле единства количества и качества.
Метрическая бесконечность не может рассматриваться как количественное понятие, здесь бесконечность тесно связывается с философской категорией меры. К этому обстоятельству мы еще вернемся.
2.3.2. В современной космологии наибольшее значение имеют простейшие (однородные изотропные) модели. Это определяется тем, что такие модели (модели Фридмана), во-первых, оказались достаточными, чтобы предсказать наиболее грандиозное явление природы, известное естествознанию XX века, — расширение Метагалактики; во-вторых, сравнение других, более сложных моделей с нашей частью Вселенной находится пока за пределами экспериментальных возможностей; в-третьих, в этих моделях структурные и иные отношения, естественно, относительно просты и в каком-то смысле даже наглядны, — в частности, пространство-время естественным образом расщепляется на единое «мировое» время и однородное пространство, в связи с чем возможна традиционная постановка вопроса о бесконечности в пространстве и времени.
Кривизна здесь однозначно определяет свойства конечности или бесконечности пространства: если кривизна положительна, то пространство конечно, если она отрицательна или равна нулю, то пространство бесконечно. Этим же определяется характер зависимости метрики от времени, т. е. характер эволюции модели. В первом случае кривизна со временем уменьшается, все расстояния увеличиваются, пространство расширяется; затем этот процесс замедляется и сменяется обратным (осциллирующая модель). Во втором случае расширение продолжается неограниченно (расширяющаяся модель). Современные наблюдательные данные, как известно, недостаточно точны для того, чтобы сделать сколько-нибудь уверенный выбор между моделями.
На протяжении нескольких десятилетий эти упрощенные космологические модели в очень многих случаях, даже, как правило, истолковывались в качестве вполне адекватных моделей Вселенной, а метрическая бесконечность — как просто бесконечность, бесконечность вообще. Отсюда делался вывод, что вопрос о конечности или бесконечности Вселенной будет окончательно решен чуть ли не в ближайшие десятилетия, как только данные астрономических наблюдений станут несколько обширнее и точнее.
В зависимости от этого решается и вопрос о конечности или бесконечности времени. Если модели рассматриваются в качестве схематических моделей нашей Метагалактики, то начало расширения есть просто некий момент Т на шкале времени; если же истолковывать модели как модели Вселенной, то говорить о времени до начала расширения в сколько-нибудь разумном физическом смысле (на современном уровне наших знаний) почти невозможно, и начало расширения есть в каком-то смысле «начало времени». Таков смысл распространенного термина «возраст Вселенной». Недоразумения усугубляются еще тем, что термином «Вселенная» пользуются то в прямом смысле, то в смысле «Метагалактика».
2.3.3. Однородные изотропные модели, несмотря на то, что они позволили предсказать важнейшую черту нашей области Вселенной — ее нестационарность, — все же представляют далеко идущую идеализацию действительности. Было бы, вероятно, просто наивно надеяться, что из всех возможностей, допускаемых уравнениями тяготения, природа использует именно ту, которая нравится нам из-за ее математической простоты. История науки предостерегает нас от таких утешительных иллюзий.
Вместе с тем разрушается иллюзия, будто нам (наконец-то!) удалось перебросить мостик через бездну бесконечности. Полуклассическая постановка вопроса, которая используется в простейших моделях, допускающих суще-ствование и единственность физически преимущественной системы отсчета и связанное с этим однозначное расщепление пространства-времени на пространство и время, в общем случае оказывается невозможной.
В работах А.Л. Зельманова[359] показана относительность пространственной и временной конечности-бесконечности, зависимость этих свойств пространства и времени от системы отсчета. Объем пространства может быть конечен в одной системе отсчета и бесконечен в другой. Это же относится и к длительности процессов. Пространственновременной каркас модели, оба сечения которого (и пространственное, и временное) бесконечны, может составлять лишь часть другого каркаса, притом с конечным пространством. Привычная интерпретация такой ситуации означала бы, что бесконечное есть часть конечного.
Классическая (дорелятивистская) постановка вопроса о бесконечности Вселенной включала следующие основные положения: а) бесконечность есть неограниченная протяженность; б) бесконечность Вселенной есть ее бесконечность в пространстве и времени; в) бесконечность и конечность — полностью взаимоисключающие понятия. Релятивистская космология заставляет отказаться от всех этих положений классической постановки вопроса. Бесконечность и конечность оказываются не только взаимоисключающими, но связанными диалектическим единством понятиями. Инвариантный, абсолютный смысл имеет только вопрос о конечности или бесконечности Вселенной в пространстве-времени, но не в пространстве и времени. При этом конечность и бесконечность следует рассматривать как некое внутреннее свойство континуума, его меру, а не только количественную характеристику.
Общий итог релятивистской космологии в интересующем нас вопросе формулируется так: в пространстве-времени Вселенная метрически бесконечна.
2.4. Топологическая бесконечность. В плане возрастающей общности геометрических идей (по Эрлангенской программе Клейна, сейчас следовало бы рассмотреть постановку проблемы бесконечности в аффинной и проективной геометрии. Однако имея в виду интересующий нас космологический аспект проблемы, такое рассмотрение, по-видимому, без ущерба для дела можно опустить и перейти сразу к наиболее общему, с точки зрения геометрии, аспекту вопроса — топологическому.
Метрические свойства многообразия сохраняются при его деформациях, оставляющих неизменными расстояния и углы. В наглядном случае двумерного многообразия (поверхности) такие деформации представляют собой всевозможные изгибы без растяжений и разрывов поверхности. Топологические свойства сохраняются при более значительных деформациях, таких, которые оставляют неизменными лишь связность поверхности, т. е., грубо говоря, его свойство состоять из одного или нескольких кусков. Поверхность можно любым образом изгибать, растягивать и сжимать, но без разрывов и склеиваний краев. (В общем случае трех- или многомерного пространства отсутствие разрывов означает непрерывность преобразования пространства, а отсутствие склеиваний — взаимную однозначность такого преобразования, то обстоятельство, что каждой точке недеформированного преобразования соответствует лишь одна точка деформированного и наоборот). Метрическое пространство есть частный случай топологического (всякое метрическое пространство есть и топологическое пространство, но существуют такие топологические пространства, которые не могут быть метризованы — понятие расстояния в них неприменимо).
Познание топологических свойств пространственно-временного континуума Вселенной, вероятно, явится одной из наиболее фундаментальных задач космологии недалекого будущего. Пока же здесь сделаны лишь первые шаги, и каждый из них связан с преодолением очень больших трудностей.
2.4.1. Выше (2.3.2) говорилось о том, что кривизна определяет свойство конечности или бесконечности пространства постоянной кривизны однозначно. Теперь пора уточнить, что это так только в случае односвязного пространства, в общем же случае по локальным свойствам пространства, определяемым метрикой, еще нельзя судить о его глобальных свойствах. Метрика на плоскости и на поверхности цилиндра — в точности одна и та же (евклидова), но на поверхности цилиндра существуют конечные расстояния, возвращающие кратчайшим путем в исходную точку. Топологически эти две поверхности различны (не гомеоморфны), ибо деформация, при которой из плоской полосы получается поверхность цилиндра, включает склеивание краев, т. е. нарушает требование взаимной однозначности соответствующих точек.
Роль топологических свойств пространства для релятивистской космологии в принципе известна очень давно. Когда Эйнштейн предложил исторически первую релятивистскую космологическую модель — статическую модель с пространством постоянной положительной кривизны, — он трактовал это пространство как «сферическое». Но Клейн тогда же показал, что это пространство можно трактовать и как «эллиптическое». Объем последнего вдвое больше объема «сферического» пространства. Но все же пространства постоянной положительной кривизны конечны (замкнуты). Однако отрицательная или равная нулю постоянная кривизна, т. е. случай, когда локально пространство имеет свойства бесконечного (открытого) пространства, еще не позволяет сделать вывод о том, что оно действительно бесконечно, ибо среди топологически различных типов таких пространств известны и замкнутые формы. Таким образом, локальные и глобальные свойства пространства могут быть не только различны, но даже противоположны (в тех пределах, в которых конечность и бесконечность могут противопоставляться друг другу).
Вообще в топологии простое противопоставление конечного (замкнутого) и бесконечного (открытого) становится еще менее обоснованным, чем в метрической геометрии, их взаимоотношения становятся еще более сложными.
Следовательно, существуют по крайней мере две очень серьезные причины, в силу которых нельзя утверждать, что уточнение данных о кривизне метагалактического пространства позволит решить вопрос о том, конечна или бесконечна Вселенная. Во-первых, как уже говорилось выше (2.3.2), это было бы верно только в том случае, если бы мы могли быть уверены в том, что в природе реализуется наиболее удобная возможность — простейший случай пространства постоянной кривизны. Во-вторых, как мы видим сейчас, даже в этом случае все могла бы испортить каверзная топология.
2.4.2. Трудности, которые стоят на пути познания топологических свойств пространственно-временного континуума, можно (довольно условно, разумеется) разделить на две группы: математические и физические трудности. Начнем с первой группы.
Космология заинтересована в классификации возможных пространств (в математическом смысле) по их топологическим типам. Эта задача решена исчерпывающим образом только для двумерных пространств (поверхностей), во всяком случае, для замкнутых поверхностей. Задача изыскания всех топологических типов многообразий трех и большего числа измерений, по словам такого знатока топологии, как акад. П.С. Александров, «до настоящего времени остается безнадежно трудной».
Что касается наиболее важного для космологии вопроса о топологических свойствах пространства-времени (псевдориманова многообразия), то здесь, естественно, положение еще сложнее и, вероятно, таит в себе немало сюрпризов. Намек на то, что эти сюрпризы могут быть весьма разительного свойства, содержится в проблеме пространственных форм Клиффорда — Клейна, или локально евклидовых пространств[360]. Если рассматривать их в качестве подпространств римановых (псевдоримановых) пространств, то возникает возможность замкнутых во времени «миров», грубо говоря, возможность «путешествия в свое собственное прошлое», обращения направления времени вспять в результате перемещения в пространстве[361]. В какой мере и в каком смысле физически реализуема такая математическая возможность, это пока далеко не ясно, но ее существование, во всяком случае, является лишним предостережением против чрезмерно оптимистической оценки наших современных знаний о бесконечности.
Насколько я могу судить, те частные, но очень интересные результаты, которые получены в области топологии космологических моделей, получались двумя путями (или их сочетанием). Первый путь — это нахождение систем отсчета, наиболее подходящих к характеру задачи (подходящих с точки зрения тех или иных физических или математических критериев), и исследование свойств пространства или пространства-времени найденных систем отсчета. В качестве примера использования физических критериев можно указать на вакуольную модель Эйнштейна и Страуса[362] или известную абсолютно вращающуюся модель Геделя[363], которую считают важнейшим достижением теоретической космологии после Эйнштейна и Фридмана[364]. Пример использования математических критериев — ряд работ последних лет о внутреннем решении Шварцшильда (см., например5); к этим работам придется вновь обратиться в 2.4.4. Второй путь — это выяснение топологии данного многообразия путем его погружения в евклидово многообразие большего числа измерений. Так, например, пространство-время простейших (однородных изотропных) моделей может быть вложено в пятимерное евклидово многообразие; в силу равноправия пространственных координат можно ограничиться одной из них и тогда получаются чрезвычайно наглядные «диаграммы Робертсона[365]». В некоторых более сложных случаях четырехмерное пространство-время «не помещается» в пятимерное евклидово многообразие, и приходится прибегать к шестимерному[366]. Но и тогда можно получить довольно наглядные диаграммы в виде трех- и двухмерных проекций интересующего нас сечения многообразия.
Сочетая указанные пути, по-видимому, можно продвинуться довольно далеко в выяснении топологических типов физического пространства-времени.
2.4.3. Кривизна метагалактического пространства, если она вообще существует, т. е. отлична от нуля, столь мала, что не может быть и речи об определении ее с помощью, например, астрономической триангуляции. Она вычисляется весьма косвенным путем, исходя из предсказываемой теорией связи метрики пространства с теми или иными наблюдательными данными внегалактической астрономии, причем получение последних находится на самом пределе возможности даже крупнейших современных инструментов. Но принципиальная сторона вопроса ясна: возможность наблюдательной проверки метрических свойств пространства следует из релятивистской теории тяготения, связывающей метрическую геометрию с физикой.
Вопрос о наблюдательной проверке топологических свойств пространства, а тем более, пространства-времени, намного сложнее, ибо не существует физической теории, которая связывала бы эти свойства с каким-либо конкретным физическим «агентом» — полем, типом взаимодействия и т. п. Поэтому здесь связь с опытом носит еще более опосредованный характер, чем в случае метрических свойств. Можно, например, искать наблюдательного подтверждения тех решений уравнений тяготения, которые связаны с «необычной» топологией; если такое подтверждение обнаруживается, то это может рассматриваться как косвенное свидетельство в пользу существования у реального пространства именно таких топологических свойств.
На одном из примеров такого рода стоит остановиться подробнее из-за его принципиального значения для проблемы бесконечности и ее связи с гравитацией.
В течение ряда лет делались попытки устранить сингулярности из космологических решений уравнений Эйнштейна или, по крайней мере, выяснить, насколько тесно они связаны с самими уравнениями. Сейчас эту трудную задачу можно, видимо, считать решенной.
Общий случай произвольного распределения материи не приводит к появлению физической особенности и связанной с нею ограниченности времени, о которой шла речь в 2.3.2. Этот вывод относится и к важному, с точки зрения астрономических приложений, случаю пространственной сферической симметрии2. Однако история науки любит парадоксы, и почти одновременно с устранением недостатка теории стало выясняться, что это, возможно, вовсе и не недостаток, а плодотворная черта теории: реальные гравитационные процессы действительно могут иметь исходным или завершающим пунктом состояние материи со сверх-ядерной плотностью, взрывной деформацией пространства и вырожденной метрикой. Открытие «сверхзвезд»3 повлекло за собой очень интенсивное изучение таких процессов — гравитационного коллапса и антиколлапса. Можно даже говорить о зарождении на стыке астрофизики, космологии и космогонии новой научной дисциплины — релятивистской астрофизики.
Длительное время считалось, что существование сингулярной сферы Шварцшильда устанавливает предел геометрических размеров тела заданной массы, так что при гравитационном сжатии плотность вещества не может превзойти определенное конечное значение (см., напр.[367]). Вместе с тем подчеркивалось[368], что при очень высоких плотностях вещества уравнения Эйнштейна теряют силу. Начиная с известной работы Оппенгеймера и Волкова, постепенно росла уверенность, что при определенных условиях возможно катастрофическое сжатие гравитирующих масс «в точку» и взрывное расширение из «точки», что при этом выход энергии может на два порядка превышать выход при термоядерных реакциях, и, наконец, что «сверхзвезды», возможно, являются образцом таких процессов. Похоже, что границы Метагалактики также находятся внутри сферы Шварцшильда и космологическое расширение может интерпретироваться как антиколлапс Метагалактики[369].
Эта новейшая гравитационная экзотика существенна для нашей темы. Она показывает необходимость учета возможной неевклидовости топологии в космологии и даже в явлениях обычного астрофизического масштаба.
Она показывает также, что не только метрика, но и, вероятно, топология хотя бы частично может быть поставлена в зависимость от гравитации. Это открывает возможность физического, наблюдательного подхода к топологической структуре пространства-времени.
Процессы коллапса-антиколлапса существенно асимметричны по отношению к отражению времени (времени-подобной координаты). В этом можно было бы искать объ-яснение направленности времени, сказав, что «стрела времени» в нашей Метагалактике определяется ее расширением. В сжимающихся (коллапсирующих) метагалактиках направление течения времени является обратным, таким образом, можно было бы утверждать, что гравитация определяет не только метрику (шкалу, ритм) времени, но и такое глубоко топологическое его свойство, как ориентируемость.
Упоминавшаяся выше вакуольная модель показала, что свойства пространства-времени данной системы могут быть в высокой степени автономными, независимыми от метрики пространства и течения времени в окружающем мировом субстрате, каким бы он ни был. Рассматриваемый сейчас круг явлений сильно укрепляет этот вывод. Процессы, которые не могут завершиться в шкале времени (бесконечной!) внешнего наблюдателя, в собственном времени системы требуют лишь конечного времени. Мыслим такой вывод: длительность существования любых составных частей Вселенной конечна, но существуют и такие части, в которых само время ограничено (с одной или с обеих сторон). Это существенно иметь в виду, например, когда выдвигается постулат вечности Вселенной. Он имеет совершенно четкий смысл в рамках классической физики с его единым для всей Вселенной мировым абсолютным временем. На современном уровне наших знаний мы должны считаться, во всяком случае, с тем, что время, о котором идет речь в постулате вечности Вселенной, совсем не то время, которым мы пользуемся, назначая свидание, и даже не то, ритм которого определяется расширением нашей Метагалактики. Оно, в принципе, не только может отличаться по ритму, но и быть, например, обратным по направлению (своеобразный вариант флуктуационной гипотезы!) или еще хуже — ортогональным к нашему времени или замкнутым. Обо всем этом мы сейчас попросту не можем судить.
Пространственный аспект автономности не менее интересен. Пространство системы (например, Метагалактики), находящейся «под гравитационным радиусом», замкнуто. Формально, с точки зрения математической, это означает, что никакая информация наружу и извне проникать не может — вне системы попросту ничего не существует, в том числе нет и пространства, пространство системы есть все пространство, и само понятие «внешнего» по отношению к нему лишено всякого смысла (именно такова, например, обычная трактовка понятия замкнутости Вселенной). Реальность оказывается «хитрее», замкнутость сложнее.
Существенна история замкнутой системы. Если система оказалась «внутри» сферы Шварцшильда в результате сжатия, то никакие сигналы, никакая информация ее покинуть не могут, пространство системы для них замкнуто. Тем не менее, внешний наблюдатель (в пространстве-времени окружающего космологического субстрата) может обнаружить существование системы, ушедшей под гравитационный радиус по создаваемому ею гравитационному полю. Если система еще не вышла из-под гравитационного радиуса, т. е. это состояние есть результат предшествовавшего расширения, то наружу может проникать любая информация, но зато не может поступать никакая информация извне. В первом случае система замкнута как источник информации, во втором — как ее приемник. Случай, когда система была бы замкнута в обоих смыслах, неизвестен.
Для того чтобы отличать такую замкнутость от строгой, математической, которая, возможно, вообще не реализуется в природе, ее следовало бы называть квазизамкнутостью или физической замкнутостью. Тогда мы имели бы здесь один из тех «типовых» случаев взаимоотношения между физическим и математическим, когда последнее является идеализацией первого: математическая замкнутость есть идеализация, предельный случай физического. Физическая замкнутость, в свою очередь, есть обобщение термодинамической, которая может рассматриваться в качестве частного случая физической замкнутости.
Уже из того, что топология таит в себе по крайней мере формальную возможность замкнутости времени, видна ее связь с проблемой причинности и еще шире — закономерности и случайности. С другой стороны, связь с этой про-блемой просвечивает в том обстоятельстве, что физическую замкнутость можно интерпретировать в понятиях термодинамики и теории информации, для которых объединяющим является понятие энтропии, а связь энтропии с указанной проблемой общеизвестна. В следующем разделе эта гипотеза будет продвинута несколько дальше.
В заключение стоит отметить еще одну экзотическую особенность пространства-времени при шварцшильдовских плотностях вещества. Характерная черта найденных до сих пор систем отсчета, описывающих и внутренние, и внешние области, т. е. таких, в которых может быть представлен процесс ухода системы под гравитационный радиус или выхода из-под него, это то, что временная и одна из пространственных координат (радиальная) меняются ролями. Если бы мы хотели выразить это обстоятельство в привычных понятиях пространства и времени, нам пришлось бы сказать, что здесь происходит превращение пространства во время и времени в пространство! Независимость и различие пространства и времени, которым нередко пытаются дать даже философское обоснование, несомненно имеют место, но только для явлений определенных классов и масштабов; в общем же случае необходимо исходить из нераздельного единства пространственно-временного континуума, его метрических и топологических свойств.
2.5. Экстенсивная и интенсивная бесконечность. Еще мыслители античной эпохи пришли к выводу, что пространство может быть бесконечным не только «вширь» (экстенсивная бесконечность) но и «вглубь», в смысле бесконечной делимости (интенсивная бесконечность). Занимал их, кстати, главным образом этот второй аспект бесконечности, в котором были обнаружены апории, приковывающие вновь и вновь внимание математиков и философов вот уже более двух тысячелетий.
Считалось, что космологию интересует экстенсивная бесконечность. Сейчас этого утверждать уже нельзя. Есть явления (рассмотренные в предыдущем разделе), где она сталкивается с проблемами интенсивной бесконечности и даже с обоими аспектами сразу. Возможно, что именно на пути к бесконечно малому будет в конце концов получен тот синтез представлений квантовой теории и общей теории относительности, который является вожделенной целью теоретической физики.
Психологически кажется естественным ожидать, что расстояние, отделяющее 10-13 см от нуля, преодолеть несравненно легче, чем расстояние, отделяющее 1027 см от бесконечности. Ведь последнее расстояние бесконечно велико, а первое практически бесконечно мало. Но опыт последних десятилетий научил нас иному: экспериментальные средства, с помощью которых можно сократить на порядок «путь, оставшийся до нуля», обходятся еще дороже, чем средства, увеличивающие на порядок путь, ведущий к бесконечности. Стоимость тех и других выражается уже почти «астрономическими» цифрами и имеет тенденцию быстро расти. Таким образом, мы убеждаемся очень наглядно в том, что раньше было ясно лишь умозрительно: для научного познания непройденный еще «к нулю» путь в 10-13 см ничуть не короче, чем бесконечно длинный путь, ведущий в экстенсивную бесконечность. Ни тот, ни другой не будут исчерпаны всем будущим развитием науки за сколь-угодно большой конечный срок (при все убыстряющихся темпах развития науки!).
Важнейшая, имманентная черта, общая интенсивной и экстенсивной бесконечности, — неисчерпаемость. Чрезвычайно важно подчеркнуть, что речь не идет только о практической, технической или познавательной неисчерпаемости. Все это только следствия или формы проявления качественной неисчерпаемости, присущей бесконечности. Опыт физики и астрономии свидетельствует о том, что каждый раз при существенном изменении пространственновременных масштабов явлений, становящихся доступными для исследования, обнаруживаются качественно иные свойства, черты, закономерности; эти качественно различающиеся ступени или уровни как при движении в сторону больших, так и меньших масштабов, по-видимому, несчет-ны, не могут быть исчерпаны — не просто практически, но и принципиально, в возможности, в потенции.
Выдвигались (и выдвигаются) гипотезы, которые в психологическом аспекте могут быть квалифицированы как оптимистические, вселяющие утешительную надежду, что при движении в одну из сторон (меньшего или большего) или в обоих направлениях лестница качеств или, точнее, мер, поскольку качество оказывается тесно связанным с количеством, будет исчерпана, что существует определенная граница (снизу или сверху, либо и снизу, и сверху) «потоку бесконечного». Назовем такие гипотезы гипотезами конечности.
Для экстенсивной бесконечности примеры приводились выше. Это, например, идея замены бесконечного в математике очень большим, но конечным (в числовом выражении — «сверхастрономическим» числом), а в космологии — идея пространственно конечной Вселенной. Можно упомянуть еще точку зрения Гильберта, согласно которой бесконечность есть лишь идея (правда, очень плодотворная), но она нигде не реализуется.
Упомянем об аналогичных гипотезах в отношении интенсивной бесконечности (интенсивной конечности). В теории элементарных частиц предположение об интенсивной бесконечности пространства и времени влечет (на современном уровне наших знаний) за собой вывод об экстенсивной бесконечности энергии, массы, заряда, что считается неудовлетворительным не только в вычислительном, но и в принципиальном отношении. Для преодоления этой трудности выдвигаются различные варианты гипотезы о дискретности пространства и времени, о том, что не существует интервалов меньше определенной малой, но конечной протяженности. Еще более радикальной является гипотеза конечного (на взгляд докладчика, лучше сказать, счетного) континуума: пространство состоит из большого, но конечного числа точек.
Разумеется, как и в случае концепции конечной Вселенной, было бы совершенно неверно сводить причины появления таких гипотез к психологической, эстетической или идеологической области. Причина их появления прежде всего та, что они дают определенный эффект в физике, позволяют преодолеть или обойти определенные трудности, возникающие в ходе развития физических наук.
Надежда получить некое окончательное решение проблем пространственно-временного континуума с помощью гипотез конечности вряд ли оправдана. В этом отношении очень поучительна история релятивистской космологии.
Как известно, Эйнштейн надеялся вывести из своей теории тяготения однозначный вывод о пространственной конечности Вселенной. Но уже через несколько лет после появления этой теории A.A. Фридман показал, что она допускает как конечность, так и бесконечность Вселенной. В свете исследований последнего десятилетия стало ясно, что положение еще намного «хуже»: если бы даже и удалось доказать пространственную конечность (замкнутость), например, Метагалактики, то это вовсе не означало бы, что Вселенная сводится к Метагалактике. В физических приложениях, как мы видели, не только метрическая, но даже и топологическая замкнутость пространства далеко не абсолютна. Она означает всего лишь весьма сильную автономность данной физической системы. Если и «сверхзвезды», и Метагалактика суть антиколлапсирующие системы, то может существовать целая иерархия (в принципе, даже бесконечная иерархия!) замкнутых пространств.
Аналогичное положение может существовать и в микрофизике, словом, пространство может оказаться замкнутым не только сверху, но и снизу, в направлении бесконечно малого, но это также, вероятно, окажется не абсолютной, а относительной, физической замкнутостью.
Отсюда вместе с тем следует и полная правомерность изучения того, что могут дать гипотезы (постулаты) конечности в космологии и микрофизике. Это важно не только с точки зрения непосредственных физических приложений (релятивистская астрофизика), но и в интересах самой проблемы бесконечности. В силу «сопряженности» конечно-сти и бесконечности познание бесконечности предполагает выяснение смысла и пределов применимости понятия конечного (замкнутого).
В области очень малых пространственно-временных масштабов, как и в области очень больших, свойства континуума могут очень радикально отличаться от привычных. Не только метрические соотношения могут быть иными, сами метрические понятия могут оказаться ограниченно или вовсе неприменимыми (неметризуемое топологическое пространство). Мало этого. Если, например, пространство микромира, начиная с каких-то масштабов, дискретно, то придется считаться с нарушением такого фундаментального топологического инварианта, как размерность пространства (число его измерений): дискретное пространство не трехмерно, а нульмерно. Если бы на основе каких-либо априорных соображений или нашего предыдущего опыта можно было предсказать, какие из известных свойств пространства-времени сохранятся в ультрамикроскопических масштабах (например, топологическое свойство — непрерывность), то можно было бы сэкономить миллиарды на строительстве ускорителей. К сожалению, это не так. Источником всех знаний, в том числе и философских, является опыт. На основе нового опыта нам много-много раз придется пересматривать наши представления о пространстве и времени, в том числе и философские представления. В соответствии с известным положением Энгельса, это придется делать «с каждым крупным открытием естествознания» в этой области.
2.6. Теоретико-множественная бесконечность. По современным представлениям топологические свойства пространства-времени — это наиболее общие его свойства, сохраняющиеся при наиболее глубоких деформациях (преобразованиях). Более общих геометрических свойств мы сейчас не знаем. И все же, возможен еще более общий, — так сказать, общематематический подход к проблеме. Поскольку всю современную математику проникают понятия и методы теории множеств, такой подход является теоретико-множественным.
Но в современной математике топология и теория множеств настолько переплетаются между собой и с другими разделами математики, что определить точные границы их компетенции затруднительно. Столь же трудно провести грань между геометрией и остальной математикой. По словам акад. А.Н. Колмогорова, «вся та часть математики, в которой играет роль непрерывность, грозит сделаться геометрией, так как множество любых математических объектов (например, функций), в котором могут быть установлены топологические соотношения, может быть объявлена пространством. Таким образом, вместе с геометризацией всей непрерывной математики намечается исчезновение геометрии как самостоятельной и до известной степени противоположной всей остальной математике науки».
«Заметим здесь, — продолжает А.Н. Колмогоров, — что развитие общих геометрических идей в значительной мере задерживалось философскими спорами о природе пространства… Зато только после окончательного установления понятия абстрактного математического пространства приобрел ясный смысл и вопрос об устройстве физического пространства. Теперь вопрос этот ставится в такой форме: какое из многочисленных могущих быть построенными абстрактных математических пространств отражает с точностью, соответствующей нашим экспериментальным возможностям, строение физического пространства? Ответ на этот вопрос, естественно, может эволюционировать с ростом наших знаний»[370].
Что существенно нового вносит теория множеств в решение проблемы бесконечности?
Следует прежде всего подчеркнуть тесную связь теории множеств с этой проблемой. Сама теория возникла из стремления решить именно эту проблему. Можно сказать вместе с Э. Кольманом, что, «когда математики сделали серьезную попытку преодолеть затруднения и противоречия, вызванные в математике понятием бесконечности, они создали теорию множеств»[371].
Теория множеств устранила те противоречия, для устранения которых она была создана, но отнюдь не противоречия вообще. На место устраненных противоречий встали новые, более глубокие, но они относятся не столько к сфере математики, сколько метаматематики, в частности, к проблемам оснований математики и математической логики).
Чтобы не отходить от основного — космологического — стержня доклада, целесообразно ограничиться перечислением лишь тех новых аспектов в понимании бесконечного, которые существенны для дальнейшего изложения.
Теория множеств позволяет охватить с единой точки зрения все рассмотренные до сих пор аспекты бесконечности. В частности, она разрешила те «непостижимые загадки математики», которые были упомянуты выше и связаны, прежде всего, с понятием предела в анализе. Как замечает Г. Вейль, «все грандиозное здание анализа приобрело несокрушимую крепость, оказываясь прочно заложенным и строго обоснованным во всех своих частях. Понятия анализа приобретают точность, а доказательства — безупречную последовательность»[372].
Теория множеств впервые в истории науки доказала возможность дать положительное определение бесконечности. До этого бесконечность могла определяться лишь отрицательным образом — как то, что не есть конечное, как выход за всякое конечное и т. п. Конечное, однако, само есть отрицание бесконечного. Получается порочный круг. Теоретико-множественное понимание бесконечности не связано с установлением и снятием какого-либо предела. Определяющая черта бесконечного множества, отличающая его от конечного, это то, что в нем существует подмножество, эквивалентное (равномощное) самому множеству. Я рискну сформулировать это так: для бесконечности существует такое качество, которое снимает в нем количественные различия. Таким образом, бесконечность не просто связана с категорией меры, что отчетливо видно уже на примере рассмотренных выше менее общих типов бесконечности, она порождает свою особую, специфическую меру. Существование «меры вещей» обнаруживается в том, что изменение количества только до определенной границы остается безразличным для качества. Но количество, развитое до предела и за всякий предел, теряет свое значение, переходит в чистое качество, но качество, не свойственное ни одной конечной вещи. Можно было бы сказать, что это есть качество, полученное в результате неограниченных чисто количественных изменений, но изюминка ситуации ведь заключается в том, что в теории множеств бесконечность не есть процесс или результат процесса, а нечто существующее, так сказать, изначально и в готовом виде. Мера здесь выступает как «статическое» единство качества и количества, но качественная определенность выражена столь ярко, что стирается значение количественной. Такое понимание бесконечности резко расходится не только с античным (бесконечность — определенное очень большое количество), но и вообще с господствующим и поныне представлением, согласно которому бесконечность есть количественное понятие.
Теория множеств снимает противоположность конечного и бесконечного. Для нее не существует никакой принципиальной разницы между конечными и бесконечными множествами. Элементы множества задаются указанием их свойства, качества. Сказать: «такое-то множество» или «такое-то свойство» — это одно и то же, и не имеет никакого значения, присуще это свойство одному объекту или таких объектов бесконечно много.
Однако теория множеств одновременно резко усиливает противоположность конечного и бесконечного. Они, если угодно, пребывают на разных логических основах. Поскольку бесконечное множество эквивалентно своему под-множеству, то бесконечность явно нарушает аксиому Евклида (и самого «здравого смысла»!) «целое больше части».
Диалектичность теоретико-множественного понимания бесконечности этим отнюдь не ограничивается. Выше было подчеркнуто, что в теории множеств бесконечность есть качественное понятие. Но вместе с тем теория множеств впервые позволила по-настоящему, строго количественно различать разные бесконечности (понятие кардинального числа), более того, выяснила, что сам ряд мощностей бесконечных множеств бесконечен! Однако логика (арифметика) трансфинитных чисел отлична от обычной, так что возврата к чисто количественной бесконечности нет.
2.7. Актуальная и потенциальная бесконечность. В основе теории множеств лежит представление о существовании актуальной бесконечности. Выше это понятие неявно использовалось, разумеется. Но в силу его существенного значения для нашей темы на нем стоит остановиться особо.
До появления теории множеств математическая и философская мысль по существу не могла одолеть апории Зенона, доказывавшие невозможность актуальной (интенсивной, но фактически также и экстенсивной) бесконечности. Космологическая (экстенсивная) форма апории «Ахилл» отчетливо сформулирована в первой антиномии чистого разума Канта.
Всеобщее убеждение в невозможности актуальной бесконечности нашло выражение в известном изречении infinitum actu non datur — действительная (актуальная) бесконечность не дана (не существует). Против актуальной бесконечности высказывались философы такого калибра, как Аристотель, и математики такого калибра, как Гаусс. Многие современники Кантора во главе с Кронекером считали его настоящим еретиком. Против придания бесконечности какого бы то ни было реального значения решительно возражал виднейший математик Гильберт.
Но в сочетании слов «бесконечность Вселенной» бесконечность предполагается актуальной. Вселенная либо актуально бесконечна, либо она вообще не бесконечна. Это обстоятельство очень четко выражено в случае метрической бесконечности в однородных изотропных моделях. Если в некий произвольный момент времени пространство конечно, то оно всегда было и будет конечным, и обратно. Конечное пространство не может стать бесконечным, бесконечное — конечным, его свойство быть конечным или бесконечным есть инвариант эволюции.
Однако это вовсе не означает, что потенциальная бесконечность не имеет отношения к космологии. Заслуга теории множеств заключается, кроме всего прочего, в том, что она, в сущности, показала неразрывную связь актуальной и потенциальной бесконечности. Математики хотели ограничиться признанием одной лишь потенциальной бесконечности. Но как показал Кантор, потенциальная бесконечность фактически предполагает актуальную. Если теория множеств и вместе с нею актуальная бесконечность в конце концов получили всеобщее признание, то это потому, что теория оказалась мощнейшим математическим инструментом, притом универсальным. К казавшейся совершенно еретической точке зрения о том, что бесконечность может рассматриваться не как процесс, который не может быть завершен, а как нечто данное, законченное, постепенно привыкли. Но актуальная бесконечность вовсе не устранила потенциальную. Не только потенциальная бесконечность предполагает актуальную, но, по крайней мере, в известной степени и наоборот, актуальная предполагает потенциальную. Действительное, наименьшее из трансфинитных чисел, алеф нуль, через которое определяются остальные, — это мощность множества натурального ряда чисел. Таким образом, то, что мыслится как завершенное, независимое от какого бы то ни было процесса, определяется здесь через процесс, который не может быть завершен.
Из этого, между прочим, видно, что и то решение проблем бесконечности, которое дается теорией множеств, не может быть окончательным. Обратимся опять к тонкому знатоку глубоких проблем математики Г. Вейлю. «В системе математики, — пишет он, — имеются два обнаженных пункта, в которых она, может быть, соприкасается со сферой непостижимого. Это именно принцип построения ряда натуральных чисел и понятие континуума. Все остальное… представляет собой задачу формальной логики, не таящую уже в себе никаких трудностей и загадок… Теория множеств надеется и в этих двух пунктах возвести прочную плотину и запрудить поток бесконечного, грозящий затопить в своем течении наш дух[373]». Такая плотина еще не возведена и похоже, что не может быть возведена средствами теории множеств в существующем виде.
Каков, однако, прообраз потенциальной бесконечности в космологии? В общем виде ответ на этот вопрос, видимо, может быть примерно таков. Понятие актуальной бесконечности в математике идеализирует действительное положение вещей в том смысле, что рассматривает их как некую готовую, заданную, устойчивую совокупность. Но релятивистская космология установила нестационарность Вселенной (ее составных частей). Поэтому свойства Вселенной, в том числе и пространственно-временные, представляют устойчивое в изменении, и могут существовать лишь как результат многообразных процессов, нарушающих устойчивость. Потенциальная бесконечность является отражением этой стороны дела.
2.8. Метаматематическая бесконечность. Этим намеренно неоднозначным термином я хочу привлечь внимание к возможности дальнейшего обобщения понятия бесконечности в различных направлениях, которые по-разному выводят за пределы представлений, существующих в современной математике.
Во-первых, мыслимы обобщения основного для современной релятивистской космологии аспекта бесконечности — метрического — и усложнение основного понятия метрической геометрии — понятия кривизны. Одно из простейших предположений этого рода — наличие у пространства или пространства-времени второй кривизны (спиральности).
Во-вторых, не исключена возможность дальнейшего обобщения самой геометрии в смысле обнаружения у пространства-времени свойств, еще более устойчивых, чем топологические. При этом может претерпеть изменение и наиболее общее в геометрии понимание бесконечности — топологическое.
В-третьих, возможны изменения, которые явились бы метаматематическими в буквальном значении этого слова, т. е. выводящими за теоретико-множественные основы современной математики. Не только вся релятивистская теория тяготения, из которой исходит современная космология, но и теория поля вообще и вся теоретическая физика в целом строится на том самом теоретико-множественном понимании континуума, которое, по словам Вейля, является одним из двух обнаженных пунктов современной математики. Центральный пункт этого понимания — представление о точечном множестве, множестве, в котором можно с помощью понятия предельных точек подмножеств ввести понятие непрерывности. Представление об пространственно-временном континууме как реализации математического континуума (актуально бесконечного) может подвергнуться ревизии в различных направлениях, мыслимо, например, что макроскопическая непрерывность (пространства, времени, движения, существования частиц) имеет статистический характер, что в основе ее лежит дискретность пространства, времени, траектории, самого бытия частиц.
Выше (2.4.3) уже говорилось о связи между проблемами топологии и причинности (случайности). Связь эта, по-видимому, идет еще дальше, проникая в теоретико-множественное понимание континуума. Современная математика, возможно, нащупывает эту связь в исследованиях, связанных с мерой множества (в смысле Лебега). Послед-няя представляет собой интересный пример меры в общем (философском) смысле; в то же время она позволяет оперировать с такими множествами (абстрактными пространствами), которые плохо поддаются иным подходам; вместе с тем она является одним из центральных понятий в современной теории вероятностей, т. е. в науке о случайном (наука — отнюдь не враг случайностей!).
И все же наибольший «практический» интерес представляют не те метаматематические аспекты бесконечности, которые связаны с буквальным пониманием этого прилагательного, а с более распространенным, включающим в метаматематику те разделы математики, для которых еще не найдено (и, возможно, не будет найдено) место в старых, классических ее разделах (теория информации, теория игр, конечная, или дискретная математика, математическая логика и т. д.). Особенно важен логический аспект проблемы бесконечности и, соответственно, изучение этой проблемы средствами математической логики. Несмотря на то, что этот аспект весьма важен и для космологии, ему, по-видимому, уделялось очень немного внимания. Это является следствием характерной для нашего времени дифференциации науки, малой осведомленности специалистов о действительном положении дел за пределами узкой области своих интересов. Физики часто склонны думать, что вся сложность проблемы бесконечности Вселенной в том, что наблюдательные данные пока слишком ненадежны, что же касается математической, тем более — логической стороны дела, то, слава богу, здесь все ясно. Математики, наоборот, склонны думать, что хоть в физике (космологии) все достаточно ясно, поскольку все решается наблюдением, экспериментом. Специалисты по логике, возможно, полагают, что трудности есть и в математике, и в физике, но не логического порядка.
Между тем, пикантность ситуации состоит прежде всего в том, что в утверждениях типа «Космология доказывает, что Вселенная бесконечна (конечна)» чаще всего остается совершенно неясным, что понимается под космологи-ей, под доказательством, под Вселенной и под бесконечностью. Действительно, уже одно обилие прилагательных (астрономическая, физическая, наблюдательная, теоретическая и т. п. космология) свидетельствует о том, что применяющие их авторы сознают неопределенность термина «космология»; обычно, однако, эти прилагательные тоже ничего не проясняют, кроме желания автора подчеркнуть независимость своих построений от философии (и, возможно, логики). «Доказывает» в данном контексте тоже может совершенно ничего не доказывать, ибо из многовековой истории, попыток доказать пятый постулат Евклида хорошо известно, насколько призрачными становятся даже геометрические доказательства, стоит им только соприкоснуться с бесконечным. «Вселенная» в одной только физико-математической литературе употребляется в пяти-шести существенно различных значениях, причем на протяжении одной страницы или даже одной фразы может происходить переход к другому значению. Наконец, как мы видели, существует по крайней мере десяток разных типов «бесконечности». Во всем утверждении «Космология доказывает, что Вселенная бесконечна (конечна)» остается единственное недвусмысленное слово — служебное слово «что». Этот пример достаточно красноречиво говорит о необходимости хотя бы минимального уточнения логического статута основных понятий, связанных с бесконечностью.
Специально вопрос о логическом статуте бесконечности в релятивистской космологии исследует Э.М. Чудинов. Полученные им результаты, если я правильно их понимаю, могут быть резюмированы так. Бесконечность не выводима, не доказуема и не опровержима. Всякое доказательство бесконечности чего бы то ни было с самого начала предполагает существование чего-то бесконечного. При этом, разумеется, очень важно, чтобы в посылке не фигурировала та же самая бесконечность (тот же тип бесконечности), что и в выводе. Но, в конечном счете, утверждение о бесконечности всегда носит аксиоматический характер. Таково положение в классической математике. Но поскольку реляти-вистская космология использует именно такое понятие бесконечности — метрическое, являющееся частным случаем теоретико-множественного, — все это относится и к космологической бесконечности.
Эти выводы очень важны, и к ним придется вернуться В § 4.
Состояние проблемы бесконечности в космологии определяется в любую заданную эпоху тремя обстоятельствами. Первое — это состояние проблемы в математике. Вследствие этого космология до середины прошлого века могла оперировать только понятием бесконечности как неограниченной протяженности. Второе — это физическая теория, связывающая свойства пространства-времени с физическими свойствами материи. Поскольку до Эйнштейна свойства пространства-времени считались независимыми от свойств материи, космология продолжала оперировать этим пониманием бесконечности вплоть до 1916 года. Можно было высказывать лишь догадки о том, что метрика и топология физического пространства могут быть неевклидовыми (Риман, Клиффорд, Клейн и др.). Третье — это возможность сравнивать космологические построения с данными наблюдений, т. е. сравнивать предсказания физической теории и через нее соответствующий математический эталон бесконечности с реальностью. Даже самая волнующая космологическая гипотеза не будет приниматься всерьез, пока не выясняются возможности ее наблюдательной проверки. Так было с теорией Фридмана до начала 30-х годов, и по этой же причине топология в космологии до сих пор мало популярна, хотя в принципе ее значение известно в течение полувека.
И все же то, что мы узнали о топологических свойствах пространства-времени за последнее десятилетие, уже требует принципиальных изменений в постановке космологической проблемы. Проблема ставилась так. В первом при-ближении свойства изученной части Метагалактики можно считать такими, что законно пользоваться понятием универсального для всей этой области («мирового») времени и однородного изотропного пространства. В этом случае по локальным свойствам пространства — по метрике — можно установить, конечно оно или бесконечно. Поскольку метрические свойства пространства (ее кривизну) можно установить по данным астрономических наблюдений, эти данные, если они достаточно точны, являются решением проблемы, Если, например, кривизна положительна, то пространство Метагалактики замкнуто, и Метагалактика и есть Вселенная.
В результате исследований, выполненных за последнее десятилетие, сейчас следует признать, что все намного сложнее. Замкнутость космической системы есть физическая замкнутость, из нее ни в какой мере не следует, что помимо такой системы ничего не существует. Сейчас известно около десятка «сверхзвезд», и каждая из них может иметь свое физически замкнутое пространство и свой собственный ритм времени, не связанный с ритмом времени в остальных частях Метагалактики. Так же может обстоять дело с самой Метагалактикой в ее отношениях с окружающей средой.
Поэтому мы должны разделить проблему бесконечности в космологии на две существенно различные части, две проблемы. Первая проблема — это проблема конечности или бесконечности конкретных космических систем, в частности, Метагалактики. Это чисто физическая проблема, относящаяся к компетенции релятивистский астрофизики и релятивистской космологии. Она может ставиться и решаться обычным, «стандартным» образом, т. е. так, как это обычно и делалось до сих пор, с той, однако, поправкой, что топологическая сторона вопроса приобретает почти решающее значение.
Вторая проблема или вторая часть проблемы — это несравненно более сложная проблема бесконечности Вселенной. Это пограничная проблема естествознания и философии. Она может решаться только общими усилиями физики, астрономии, математики и философии и не может решаться ни одной из этих наук в отдельности. Процесс решения этой проблемы не может состоять из конечного числа этапов и завершиться за конечное время возможного существования любой из цивилизаций (включая земную). Но этим не уменьшается научное и мировоззренческое значение тех частных и попутных результатов, которые получаются в ходе решения проблемы.
Если бы мы даже могли каким-то образом узнать решение, соответствующее уровню знаний, скажем, середины XXI века (не говоря уже об «окончательном» решении), от этого не было бы никакой пользы. Учитывая темп развития науки, мы смогли бы воспользоваться этим решением наверное не в большей мере, чем первобытный человек смог бы воспользоваться найденным в лесу реактивным самолетом.
Содержание понятия бесконечности изменялось очень мало на протяжении двух тысячелетий — от античности до XVII и даже XIX века. Но за последние сто, пятьдесят и десять лет оно претерпело весьма существенные изменения. Экстраполяция на ближайшее будущее позволяет предсказать, что в ближайшие полтора десятка лет будет сделано больше научных открытий, чем за всю предыдущую историю человечества. Вполне естественно ожидать, что за этот срок и понятие бесконечности в математике, космологии и, будем надеяться, философии претерпит новые достаточно существенные изменения.
4.1. Природа понятия бесконечности. Все сказанное выше вряд ли оставляет место для сомнения в том, что бесконечность — понятие математическое. Оно проникает всю математику. Более того, можно, как это делает Вейль, определить саму математику как науку о бесконечном[374].
Космология использует это же математическое понятие бесконечности. Но как обстоит дело с философией?
К ответу на этот вопрос целесообразно подойти несколько кружным путем.
4.2. Беглый исторический экскурс в философию бесконечного. Нет сомнения, что в течение очень длительного времени философы (Анаксагор, Зенон, школа Демокрита, Аристотель, Августин и др.) вносили больший вклад в решение проблемы бесконечности, чем математики. Начало «современному» этапу в развитии учения о бесконечном положили независимо друг от друга математики (Риман, Кантор) и философы-диалектики (Гегель, Энгельс). Однако с этого времени прогресс в математике был непрерывным и все ускоряющимся, тогда как в философии, по-видимому, не появилось ничего существенно нового. Возник все увеличивающийся разрыв.
Заслугой Гегеля было то, что он ясно почувствовал неполноту современного ему понятия бесконечности, бесконечности как отрицания конечности, как неограниченности. Он называл такую бесконечность «дурной» (неразумной) и противопоставлял ей истинную (разумную) бесконечность. Приводимые Гегелем примеры истинно бесконечного (окружность, уравнение кривой) в ретроспективной оценке следует признать неудачными, но сама постановка вопроса была правильной и предвосхищала последующее развитие математики. Астрономия «достойна изумления не вследствие такой (неразумной — Г.Н.) количественной бесконечности, а, напротив, вследствие тех отношений меры и законов, которые разум познает в этих предметах и которые суть разумное бесконечное в противоположность указанной неразумной бесконечности[375]». Разумное бесконечное, в отличие от неразумного, должно быть «положительным и наличным», т. е., как мы сказали бы сейчас, актуальным, а не потенциальным.
Эта программа была реализована Риманом и особенно Кантором, которые, видимо, ничего не знали об этой программе. В теории множеств бесконечное определяется не через «дурной прогресс», а именно через закон, свойство, которые делают элементы бесконечного множества таковыми; и благодаря этому, как уже подчеркивалось, бесконечность приобретает черты особого качества и меры. Бесконечность здесь, далее, не есть процесс или прогресс, вообще нечто потенциальное, отрицание конечного, вы-хождение за него, а в полном соответствии с требованием Гегеля — «положительное и наличное».
В ретроспективной оценке ясно, что работы Римана и Кантора составили эпоху в истории математики и человеческой мысли вообще. Но такие работы, как правило, остаются незамеченными современниками. Не приходится особенно удивляться, что они остались неизвестными Энгельсу, коль скоро даже среди специалистов-математиков они либо не привлекали особого внимания (работы Римана), либо вызывали резкие протесты (работы Кантора). В работах Энгельса, как и Гегеля, отражается доримановское состояние проблемы бесконечности, неудовлетворенность этим состоянием и обусловленные диалектическим методом прозорливые мысли, выводящие за пределы тогдашнего состояния проблемы.
В «Анти-Дюринге» и «Диалектике природы» Энгельс применяет термин бесконечность в четырех значениях, причем не всегда легко уловить, какое именно значение имеется в виду в том или ином отрывке.
1) Вслед за Гегелем Энгельс считает пространство и время чисто количественными категориями[376], их бесконечность — образцом дурной бесконечности[377], истинную бесконечность видит в процессе природы и истории[378].
В соответствии с этим и доримановыми математическими представлениями Энгельс определяет бесконечность пространства и времени как их неограниченную протяженность: «Вечность во времени, бесконечность в пространстве, — как это ясно с первого же взгляда и соответствует прямому смыслу этих слов, — состоят в том, что тут нет конца ни в какую сторону, — ни вперед, ни назад, ни вверх, ни вниз, ни вправо, ни влево[379]».
2) В ряде мест[380] речь идет о практической бесконечности.
3) В рамках гносеологической проблемы Энгельс применяет термин «бесконечность» в некоем переносном значении, в качестве эквивалента абсолютности, всеобщности, завершенности, закона[381], с точки зрения «бесконечности интеллектуального мира[382]».
4) Наконец, бесконечность в значении реальной бесконечности[383], отражением которой является математическая бесконечность.
В обстановке догматизма и буквоедства, причины которых хорошо известны, положениям Энгельса было придано в нашей философской литературе значение, обратно пропорциональное их действительному значению: определение, сводящее бесконечность к безграничности, которое уже в момент написания не вполне соответствовало уровню науки, а к нашему времени просто безнадежно устарело, было канонизировано и до самого последнего времени определяло постановку вопроса в учебниках, энциклопедиях, справочниках, монографиях; напротив, положению о реальной бесконечности и связанному с ним диалектическому анализу, которое и сегодня, несмотря на годы бурного развития математики и космологии, звучит по-современному, не было уделено почти никакого внимания. Энгельс, например, сумел увидеть в бесконечности «непреодолимую качественную противоположность» тогда, когда ее было увидеть очень трудно[384], а наши философы 90 лет спустя, когда качественную определенность бесконечности при мало-мальски тщательном анализе ситуации трудно не увидеть, продолжают интерпретировать бесконечность в математике как чисто количественную.
В 50-60-е годы XX века пионерами в философской разработке проблемы бесконечности явились В.И. Свидерский[385] и С.Т. Мелюхин[386]. Трактовка проблемы в этих работах была заметно выше среднего уровня, но сам этот уровень был крайне невысоким. Эти и последующие работы никак не могли заполнить образовавшийся между точными науками и философией разрыв, который к тому времени стал колоссальным. В соответствии с общепринятым стилем тех лет авторы исходили из философских положений Гегеля и Энгельса, а математический и естественнонаучный материал (крайне ограниченный) привлекали для иллюстрации соответствующих философских положений, причем сам материал, сами факты оценивались с точки зрения их философской приемлемости или неприемлемости. Неприемлемым фактам «давался отпор». Авторов, конечно, за это нельзя было бы упрекнуть, если бы эти тенденции не были продолжены в значительно более поздних работах[387].
В книге[388] сперва дается философское доказательство бесконечности пространства, а затем уже ставится вопрос о том, какие из выводов космологии должны быть приняты и какие — отвергнуты. «Рассмотрим… каким образом может быть доказано положение о бесконечности пространства… Логичнее всего, на наш взгляд, выводить ее из бесконечности самой материи». Каково же доказательство бесконечности материи? Коль скоро невозможно выйти за пределы материи, то нельзя говорить о ее ограниченности, из чего следует (!), что материя бесконечна… Само определение предела уже означает выход за него и переход к более обширной области. Поскольку эту операцию (мысленную! — Г.Н.) можно повторять неограниченно, то отсюда следует, что пространство бесконечно»[389].
Постановка вопроса близка к той, которая имеется у В.И. Свидерского: «Если мы говорим о бесконечности материи, материального мира и т. д., мы подразумеваем, что отсутствует предел материи»[390].
В обоих случаях бесконечность рассматривается как неограниченность, отсутствие предела, выход за предел. Самое существенное, что дала наука за последние сто лет, — то, что бесконечность не сводится к неограниченности, — осталось вне внимания авторов. Отсюда и односторонняя оценка современной космологии. Под заголовком «Антинаучность исходных принципов и выводов современных релятивистских космологических теорий» В.И. Свидерский доказывает «метафизический, искусственный и откровенно поповский характер» всей релятивистской космологии[391]. Такие оценки в свое время были у нас почти общепринятыми, но в 1956 году это был уже явный анахронизм.
Гегель был в определенной мере прав, когда называл тогдашнюю математическую бесконечность «дурной». Работы В.И. Свидерского проникнуты тенденцией оценивать таким же образом все богатство современной математической бесконечности, чтобы вместо нее развить совсем другое, истинное, философское понятие бесконечности: «О бесконечности в материальном мире можно говорить лишь в смысле абсолютного характера движения и развития материи…»[392]; «решение вопроса о бесконечности пространства и времени следует искать лишь на основе понятий абсолютности и относительности их»[393]. Почему абсолютность или, скажем, всеобщность, первичность, субстанциональность вдруг нужно называть еще и бесконечностью, это так и остается неясным. Отражает ли философское представление о бесконечности ту же самую объективную реальность, что и философское? По Свидерскому получается, что нет, что совершенно разные вещи лишь имеют одинаковое имя. Этот разрыв еще больше подчеркивается своеобразным применением термина «реальная бесконечность». Под нею подразумевается отнюдь не то объективное, что приближенно отражается и математикой, и философией, а само философское отражение в его отличии от математического, которое, якобы, не только не истинно, но и не имеет дела с реальной бесконечностью!
Но то, что было более или менее верно полтораста лет тому назад, во времена Гегеля, перестало быть верным после того, как математика давно и с лихвой выполнила программу Гегеля, когда она стала опережать философию, находящуюся все еще в плену доримановых (1854 г.) представлений, примерно на сто лет. Именно философы канонизировали «дурную» бесконечность, а потом стали искать некоего натурфилософского решения проблемы, отважно игнорируя огромную работу, проведенную «по другому ведомству».
Все наши знания, в том числе и философские, имеют опытное происхождение. Свой «опытный материал» современная философия должна черпать не столько из старых текстов, сколько из нового опыта конкретных наук. Философские представления о бесконечности должны складываться на основе обобщения математических и космологических представлений о ней. Те и другие подвержены непрерывному изменению, развитию, углублению.
4.3. О месте бесконечности в системе категорий. Представляется, что из беглого очерка типов бесконечности (§ 2) достаточно ясно видно, что из всех философских категорий бесконечность естественнее всего связывается с количеством, качеством и особенно — мерой. Это было гениально подмечено еще Гегелем. В свете нашего современного, несравненно более богатого опыта, связь стала гораздо очевиднее и конкретнее по форме.
На мой взгляд, философская разработка проблемы бесконечности и должна прежде всего состоять в конкретном анализе того, как в аспектах бесконечности проявляется мера и какие изменения в связи с этим может претерпеть сама категория меры в философии.
Развертывание бесконечности — развертывание меры. В этом суть.
В.И. Свидерский, как мы видели, сделал упор на другом. Видимо, под влиянием Спинозы, Гегеля и Энгельса он воспринял тезис о бесконечном как абсолютном, перенес его из сферы гносеологического в онтологическую и сделал исходным пунктом учения о конечном и бесконечном. В связи с этим мера начинает играть подсобную роль: бесконечность есть мера как проявления, реализации абсолютного в относительном, так и выражения абсолютного относительным. Разумеется, исследование связи бесконечности с абсолютным и относительным не бесполезно; автора этого доклада, например, именно этот подход окончательно убедил в своей малоперспективности.
4.4. О философском и естественнонаучном доказательстве бесконечности Вселенной. Одним из основных тезисов В.И. Свидерского, который он неизменно повторяет с 1956 года, является тезис об определенном что ли превосходстве философии над естествознанием. «Доказательство методами естествознания как конечности, так и бесконечности материального мира в пространстве и времени невозможно в принципе»[394]. Правда, в недавней статье — льщу себя надеждой, что не без влияния критики[395] — этот тезис смягчен: «Окончательное доказательство методами естествознания как конечности, так и конечности материального мира в пространстве и времени невозможно в принципе». Однако такая поправка мало что спасает. Никакое доказательство бесконечности по самой сути вещей не может быть окончательным — процесс познания бесконечности по необходимости бесконечен. Если же имеется в виду, что философия, в отличие от естествознания, имеющимися у нее сейчас средствами может дать окончательное доказательство бесконечности Вселенной, то это означало бы допущение априорного знания в философии.
Раньше утверждалось, что проблема бесконечности составляет компетенцию исключительно философии, а не конкретных наук; сейчас смягчено и это положение: «проблема составляет компетенцию прежде всего философии[396]». Думаю, что из всего изложенного выше следует, что она не относится к компетенции философии и «прежде всего», а есть пограничная проблема математики, естествознания и философии.
Еще более важный вопрос, однако, заключается в следующем: возможно ли вообще доказательство бесконечности Вселенной какими бы то ни было методами, все равно, естественнонаучными или философскими? Если в слово «доказательство» вкладывается обычный смысл (логическое доказательство), то по причинам, приведенным в 2.8, на этот вопрос следует ответить отрицательно. Поэтому нет смысла продолжать спор о методах доказательства.
Далеко не все можно доказать. Вывод всегда следует из каких-то посылок, которые, в свою очередь, выводятся из других посылок и т. д. Бесконечный регресс попыток невозможен, что-то должно приниматься без доказательства, в качестве аксиом (постулатов). Критерием при этом является «очевидность», но этот критерий в ходе познания изменяется, иногда очень кардинально. Изюминка ситуации в отношении данной проблемы состоит, однако, в том, что аксиомой в доказательствах бесконечности всегда является та или иная аксиома бесконечности же. В этом смысле бесконечность недоказуема.
О доказательстве бесконечности можно говорить лишь в некоем переносном смысле, в смысле неизменного апостериорного подтверждения постулата бесконечности. Ситуация вполне аналогична, например, постулату материальности мира. Последняя, как говорит Энгельс, если и доказывается, то только длинным и трудным развитии-ем философии и естествознания. Можно было бы, конечно, зачислить такого рода доказательства в разряд логических — индуктивных доказательств через простое перечисление при отсутствии противоречащего случая, — но вряд ли это стоит делать, поскольку убедительность их при этом не возрастает, а уменьшается, ибо известно, что эти доказательства становятся тем более зыбкими, чем большей общностью обладает доказываемый тезис.
Несколько отвлекаясь в сторону, замечу, что в том обстоятельстве, что великое множество вещей не имеет «окончательных» доказательств или вообще недоказуемо строго, нет ничего плохого. Это надежное средство против застоя и окостенения мысли, против прекращения прогресса, это очень плохо лишь для всех видов самодовольного догматизма и авторитаризма, чуждого духу диалектики.
4.5. Современная постановка проблемы бесконечности. Вопрос о методах доказательства бесконечности Вселен-ной не только в значительной мере беспредметен, но и не соответствует больше нашему уровню знаний. В свете нашего нового опыта сама постановка проблемы, видимо, должна быть коренным образом изменена.
Извечная постановка проблемы, унаследованная также и в релятивистской космологии, и в философии, состоит в следующем. Имеется определенное понятие бесконечности, эталон бесконечности; спрашивается, соответствует ли Вселенная этому эталону.
Такая постановка вопроса была вполне естественной до тех пор, пока можно было считать, что эталон, которым мы располагаем, является единственно возможным и потому — окончательным. Поскольку на протяжении двух с лишним тысяч лет эталон оставался неизменным, было естественно считать, что так оно и есть. Но на протяжении последнего столетия мы наблюдаем быстрое изменение эталона, замену одних эталонов другими. Задолго до того, как удается в должной мере сравнить реальность с действующим в данное время эталоном (например, метрическим), выясняется его недостаточность, появляются более совершенные эталоны.
В этой обстановке традиционная постановка вопроса становится неестественной, естественно поставить проблему наоборот. Проблема бесконечности состоит не в том, насколько Вселенная соответствует нашему понятию бесконечности, а наоборот, в том, насколько наши быстро изменяющиеся представления о бесконечности соответствуют Вселенной. Если трудно отказаться от привычного вопроса о «доказательствах», то можно было бы сказать примерно так. То обстоятельство, что мы в физико-математических науках «жить не можем без бесконечности», сталкиваемся с нею на каждом шагу, притом так, что она выступает во все новых и новых аспектах, свидетельствует о том, что у Вселенной есть некое свойство, некая черта, некая особенность — такая, что мы не можем ее познавать, не прибегая к понятию бесконечности; это свойство (черту, особенность, атрибут) можно назвать реальной бесконечностью, бесконечностью Вселенной и видеть в наших развивающихся представлениях о бесконечности отражение реальной бесконечности.
4.6. Качественная бесконечность. Бесконечность и неисчерпаемость. В заключение я хотел бы поставить еще один вопрос, не принадлежащий, видимо, к числу легких.
По традиции пространственно-временную и вообще математическую бесконечность рассматривают как количественную бесконечность. Наряду с нею приходится считаться с чем-то таким, что называют либо качественной бесконечностью Вселенной, либо неисчерпаемостью ее свойств, либо качественной неисчерпаемостью. Встает вопрос о взаимоотношении этих двух характеристик.
Выше было подчеркнуто, что «обычная» бесконечность ни в коем случае не является только количественной, она столь же качественна, как и количественна. Но это еще не есть решение вопроса. Истинная бесконечность — качественное многообразие, включающее в себя бесконечность пространства и времени. На современном научном уровне эта точка зрения наиболее подробно развита в работе А.Л.Зельманова: «Бесконечность материального мира есть его бесконечное многообразие, реализующееся в пространстве и во времени»[397]; «один из самых существенных аспектов бесконечности материального мира связан с проблемой конечности и бесконечности пространства и времени»[398].
У докладчика нет вполне определенной, сложившейся точки зрения по этому вопросу. Аргументация Зельманова и других авторов представляется довольно убедительной. Тем не менее докладчик считает своим долгом указать на возможность и иной постановки вопроса.
Дело в том, что бесконечность включает в качестве существенной черты или следствия неисчерпаемость. Я не уверен, что верно и обратное утверждение, поэтому был бы готов скорее включить неисчерпаемость (многообразие) в бесконечность, чем бесконечность в многообразие.
Еще античные мыслители, в частности, школы Демокрита, считали, что в бесконечности и вечности все, что возможно, должно и существовать. С точки зрения А.Л. Зель-манова также представляется плодотворной «идея, согласно которой во Вселенной осуществляется все многообразие физических условий и явлений, допускаемых основными физическими законами»[399]. Предпосылкой или условием осуществимости неисчерпаемого многообразия является пространственно-временная бесконечность Вселенной.
Март 1965 года
Примечания редактора (В. В. Казютинский)
* Симпозиум по проблеме бесконечности Вселенной в современной космологии состоялся в мае 1965 г. (Москва). Статья печатается по тексту препринта, представленного автором на симпозиум.
В статье упоминается устаревший термин «сверхзвезда». Речь идет о квазарах.
1. Что такое Вселенная? Антиномия Канта
Чтобы говорить о таком свойстве мира, как его пространственная или временная протяжённость, надо предварительно договориться об определениях. Что такое для нас «мир»? И что такое для нас пространство и время? Ни одно из этих понятий к настоящему времени не может считаться прояснённым в достаточной степени.
«Мир», «Вселенная», «природа» употребляются как синонимы, а что это такое? Если считать, что кроме природы нет ничего, т. е. нет никаких внеприродных сил и содержаний, то такое воззрение можно назвать «природоверием»[400]. Если придерживаться этого взгляда, то сам вопрос «что такое природа?» нельзя будет даже поставить. Слово «природа» будет означать «всё», «всё на свете», «всё, что есть», а большей бессмыслицы и придумать невозможно. Всякое определение есть ограничение, а «всё, что есть» не допускает ограничений. Вот и подумайте, что такое «вся Вселенная» или «Вселенная в целом». Известный космолог А.Л. Зельманов попробовал подумать. «Вся Вселенная, пишет он[401], означает все области Вселенной безотноситель-но к ней и друг к другу». Вселенная определяется, как видим, через Вселенную (да ещё безотносительно к ней самой). «Вселенная в целом, читаем далее, есть Вселенная, рассматриваемая как единый объект, безотносительно к его частям[402]». Но о подобном «едином» рассуждал ещё Платон[403]: оно всегда тождественно себе, не имеет «иного», не допускает частей (множественности) и не допускает, следовательно, познания.
О познании Вселенной можно говорить, лишь рассматривая её в третьем смысле, на котором и акцентирует внимание Зельманов. Это третье определение — «Вселенная как целое». Это есть «Вселенная, рассматриваемая в её отношении к любым своим частям, и все её части, рассматриваемые в их отношении к ней (к целому)». В результате А.Л. Зельманов принимает следующее определение для науки, изучающей Вселенную: «Космология есть физическое учение о Вселенной как целом, включающее в себя теорию всего охваченного астрономическими наблюдениями мира как части Вселенной».
Однако понятие «Вселенная как целое» имело бы смысл, если бы мы уточнили, что такое «Вселенная по отношению к своим частям», а именно по отношению к охваченной наблюдениями её части. Здесь мы сталкиваемся с проблемой экстраполябельности[404]: правомерно ли судить о Вселенной как целом, основываясь на сведениях, получаемых лишь об одной её части — той, что охвачена нашими наблюдениями? Много ли «охватывают» астрономические наблюдения? Аномалии в видимых движениях галактик давно уже убедили астрономов в существовании «скрытой», т. е. ненаблюдаемой («тёмной») материи, причём теперь уже установлено, что в основном (на 96 %) Вселенная именно ненаблюдаема. Можно ли на основе наблюдений предполагать, что Вселенная везде такая же, как её «ойкумена», т. е. наблюдаемая её часть?
С другой стороны, проблема экстраполябельности имеет философский аспект. Отвлечённое познание, или познание в понятиях, всегда основано на экстраполябельности. Мы всегда экстраполируем уже готовые понятия на всё новое и новое, прежде для нас неизведанное. Ведь познать нечто новое в понятии — это значит уловить в новом для нас общее с тем, что уже знакомо нам и подведено под уже известное нам понятие. Это и называется познаваемостью мира — когда нам почему-то позволяется открывать в новом, незнакомом, общее с уже знакомым. Всегда ли нам это позволяется? Мы не можем априори утверждать, что всегда, т. е. что мир до конца познаваем. Но в той мере, в какой это позволяется, объект познания х есть заданный нам предмет внешнего опыта, иначе мы не могли бы сравнить его со знакомым. «Предметное познание» (термин, введённый С.Л. Франком), выражающееся в суждениях типа <а есть А», предусматривает знание того предмета х, на которое направлена наша познающая мысль, и потому оно попадает в ловушку известного сократовского парадокса: если я хочу что-то узнать, то я уже должен знать то, что я хочу узнать. Потому что, если бы я этого не знал, то как же я узнал бы искомое? Ведь чтобы узнать, я должен знать то, что я ищу.
Этот парадокс Сократа, выражающий его неизменную иронию к человеческому знанию, присутствует во всех феноменологических теориях современной физики, а их методологические истоки ведут к И. Канту. Именно Кант впервые обосновал предметное знание — как знание, основанное на естественной причинности («сплошная связь всех явлений в контексте природы есть непреложный закон[405]»). Объяснение нового через уже известное — это то, что мы называем естественной каузальностью. Она и лежит в основе природоверия, которое означает, что у природы нет окон, т. е. она есть нечто целое, в себе замкнутое. Если Вселенную возможно рассматривать как нечто целое, то это потому, что все явления в ней взаимообусловлены универсальной естественной каузальной связью[406]. Уничтожьте эту универсальную «сплошную связь», и во Вселенной появятся окна, которые ведут в неизвестность. Оттого Кант так тщательно отделял физическое естествознание от метафизики; он закрыл для физики «окна», ведущие в мир свободы.
Чтобы избежать ловушки сократовского парадокса, мы должны знать, что такое объект х, называемый «Вселенной в целом»; только тогда можно говорить про его пространственно-временные свойства. Казалось бы, природоверие позволяет легко достичь цели — определить «Вселенную как целое». Поскольку естественная каузальность относится только к сфере феноменов («явлений опыта»), нам остаётся понимать «Вселенную как целое» так, как И. Кант понимал «мир» — как совокупность всех явлений, данных нам в опыте чувственных созерцаний[407]. Это видно из того, что «физическая космология», имеющая предметом «Вселенную как целое», полностью принимает все принципы кантианского трансцендентального «мира»: она основана на экстраполябельности от наблюдаемого, любые же наблюдения, любой физический эксперимент апеллируют к чувствам (физический прибор — не что иное, как усовершенствование наших органов чувств). Итак, примем установку Канта: мир нам дан в наших чувственных созерцаниях. Но дан — это не значит познан. Является ли он каким-то определённым, завершённым понятием? Иными словами, удалось ли Канту определение искомого объекта х, «Вселенной как целого»?
Не случайно кантианскую философию природы я назвал термином Кл. Льюиса — «природоверием»: она есть именно вера, а не знание. Её нельзя обосновать, находясь в сфере опыта, т. е. не привлекая метафизику. Когда мы говорим: «вне этого ничего нет», то такое утверждение предельно далеко от какого бы то ни было «опыта» и не поддаётся проверке. Послушаем мнение датского философа X. Гёфдинга по поводу кантианского определения «мира». Он замечает, что «понятие это никогда не может быть завершено. Ничто, данное нам в опыте, не является абсолютно законченным; к имеющимся данным опыта постоянно присоединяются новые, требующие для своего определения новых понятий… Мы стремимся все данные нам целостности объединить в одной, высшей; и как бы далеко мы ни продолжали эту работу, перед нами будет все снова и снова вставать тот же самый вопрос… Таким образом, понятие “мира” есть в сущности ложное понятие[408]».
Что ж, Гёфдинг прав: если бы так определяемый «мир» не был ложным понятием, то Канту не удалась бы его антиномия бесконечности мира в пространстве и во времени. На мой взгляд, космологическая антиномия была придумана Кантом именно для того, чтобы показать ложность определяемого им «мира». Кант хорошо видел, что его «мир» можно уподобить понятию «четвероугольная окружность». Про неё можно одинаково утверждать, что она кругла и что она не кругла. То и другое будет и истинно, и ложно. Кант ставит вопрос: конечен ли этот его «мир» или бесконечен? И также: имеет ли он начало во времени? При доказательстве антитезиса антиномии о времени он пишет: «Допустим, что мир имеет начало во времени…». Тогда, продолжает он, «должно было существовать время, в котором мира не было…[409]». (Аналогичное рассуждение проводится относительно существования «мира» в пространстве). Кант доказывает неразрешимость своей антиномии приведением к абсурду, ибо приходится «принять эти две бессмыслицы — наличие пустого пространства вне мира и пустого времени до мира[410]». Но тут Канту можно задать вопрос: а почему пространство и время, существующие без всякого «мира», бессмысленны? Чтобы утверждать это, нужно было бы предварительно дать определения пространства и времени вне зависимости от понятия «мир», т. е. от самого «опыта». Но вы нигде не найдёте у Канта этих определений, потому что в области метафизики, по Канту, теряют смысл и время, и пространство, и причинность. Поэтому пространство и время у него — существующие в нашем рассудке непонятные «формы» организации нашего непонятного «опыта», формы, необходимые для осуществления предметного познания. А кто сказал, что этот его «мир» познаваем? Никто не сказал, просто Канту так хочется. Про то, как оперирует Кант с понятиями времени и пространства, А.Ф. Лосев2 выразился следующим образом. В своём критицизме, говорит он, Кант не отнёсся критически именно к этим понятиям — времени и пространства, а навязал им такую роль формы чувственной интуиции, чтобы они могли производить синтетические суждения a priori. Кант верит в познаваемость мира — и потому ему абсолютно необходимы синтетические априорные суждения. И вместе с тем мир для него не есть мир действительный, мир вещей. Представьте себе: Кант верит в познаваемость «мира», про который с одинаковой достоверностью можно утверждать и его познаваемость, и его непознаваемость.
И. Кант попытался дискредитировать метафизику с помощью своих неразрешимых антиномий, в которых не мо-жет быть снято противоречие между тезисом и антитезисом. Кант хотел показать, что мышление, оторванное от образов чувственных созерцаний, неизбежно приводит разум к спору с самим собой, к собственным противоречиям. На мой взгляд, наоборот, противоречия лежат не в природе разума — они возникают, когда мы категории разума прилагаем к «действительности», т. е. к миру собственного чувственного опыта. Ложен не разум — ложна действительность.
Гегель утверждал постулат тождества разума и действительности во спасение классического рационализма, задолго до него провозгласившего тождество бытия и мышления: «порядок идей тождественен порядку вещей» (Спиноза). Против этого принципа и выступил Кант, который назвал его «трансцендентальной иллюзией разума». Этот «синдром» разума заключается в том, что он может иллюзорно принимать собственный продукт за объективное бытие. Кант подверг сомнению не самое бытие, а наивное представление рационалистов о том, что мир объектов познания есть бытие и бытие есть мир объектов. Сила и плодотворность кантовской критики состояла именно в том, что он противопоставил друг другу бытие и сознание, тогда как Гегель отождествил их («всё действительное разумно», «всё разумное действительно»).
И. Кант покушался на рационализм в его главной претензии на познаваемость бытия: разум не может даже определить, что такое бытие; его познавательная функция (предметное познание) относится только к миру чувственно постигаемых феноменов. Можно ли было с этим смириться? Рационализм боготворил всемогущество человеческого познания, а Кант, наоборот, предупреждал, что именно наше познание нас и обманывает. Всё, что мы можем познать предметным знанием, — это лишь тени, отбрасываемые вещами на наше сознание, причём это наше познание не может дать нам какого-либо представления, сколь малую часть предметной реальности выражают отбрасываемые ею тени. Эта кантианская критика до сих пор не опровергнута. Её пытались лишь обойти, используя неопределимость самого разума. (Гегель приписал разуму свойство бытия, Фихте — способность творить бытие).
Но, как бы Кант ни отгораживал физику от метафизики, с XX века стало ясно, что демаркационной линии между физикой и метафизикой более не существует. И привело к такому убеждению само развитие физики: ноумены (в виде геометрических пространств) уже давно стали объектами физики[411]. Методология «предметного знания» исчерпала себя; природоверие рухнуло: в изучаемом физикой мире появились «окна» в мир свободы. Появилась возможность говорить о свободе в природном мире2, той свободе «в природе вещей», о которой ещё в древности говорил Эпикур. Вместе с предметным познанием обнаружил свою неосновательность принцип экстраполябельности: нельзя от «видимого» идти к «невидимому», потому что «невидимое» составляет сам предмет физического знания. Изменился принцип построения теории. Нельзя восходить к теории от фактов: этот позитивистский «принцип индуктивизма» был в пух и прах раскритикован К. Поппером, показавшим, что в этом случае теория оказывается нефалъсифицируемой — само сопоставление теории с фактами приобретает характер банальности (тавтологии). Подлинная физическая теория строится на метафизических постулатах, и только благодаря этому проверка теории с помощью эксперимента и наблюдений оказывается по-настоящему доказательной.
Теперь ясно, что нельзя довольствоваться кантианским определением «мира». «Вселенную как целое» мы должны рассматривать в антикантианском духе — как то, что было запрещено «Критикой чистого разума», а именно: как бытие, как ноумен. Только на этом пути можно дать не зависящие от «опыта» определения пространства и времени и поставить вопрос о конечности и бесконечности Вселенной. Для кантианского «мира» этот вопрос нельзя было корректно ставить, и это отметил Н. Бердяев[412]: «Так как этот мир не есть вещь в себе, ноумен, то он не существует ни как бесконечное, ни как конечное целое… Мир явлений не дан, как целокупное… Именно в нём-то и нельзя преодолеть антиномии».
Предмет космологии должен быть метафизическим: он находится по сторону «демаркационной линии». «Вселенная как целое» не формируется из наблюдений, это — объект чисто умозрительный. (Из предыдущего ясно, что только в этом случае имеет смысл наблюдательная проверка космологических моделей, строящихся как ноумены)[413].
Такого рода понимание предмета космологии несовместимо с философским позитивизмом. Его может принять только философия, которая избирает своим предметом бытие. В XX веке некоторые философы так и определяют философию — как «культуру размышления о возможности помыслить начало бытия». «Разум не может называться разумом, если он лишён стремления обосновать изначальное начало, замкнуть его на себя[414]».
Не углубляясь далее в философский вопрос о соотношении мышления и бытия, посмотрим на космологию сегодняшнего дня в её классическом, общепризнанном варианте — на фридмановские модели однородной и изотропной Вселенной. Они строились на чисто умозрительном (метафизическом) пути, как решения чисто умозрительно полученных уравнений гравитационного поля, вне какой-либо связи с наблюдениями. Никакой индукции от фактов к теории, никакого «предметного познания». И даже принцип однородности и изотропии формулировался не как принцип экстраполябельности (от наблюдений — к ненаблюдаемому), а чисто умозрительно. (Фридман не знал, конечно, ни о какой скрытой материи, но в силу умозрительного характера моделей ему не нужно было о ней знать: в гравитационных моделях и тёмная, и светящаяся материя проявляют себя совершенно одинаково).
В этих умозрительных моделях удалось, наконец, разобраться с тем, что понимается под временем. Релятивистская физика покончила с понятием тотальной причинности, характерной для предметного познания. Каузальная связь оказалась невозможной между событиями, разделёнными пространственноподобным интервалом; физическая причинность осуществляется только с помощью сигналов, распространяющихся по временноподобным линиям. Новое, геометрическое определение причинности дало возможность геометризовать время: его измерение теперь сводилось к измерению пространственных длин. В областях же акаузальности время как физическая величина отсутствует. Вне границ светового конуса сама временноподобная координата t (или х° = ct) становится мнимой, ибо становится мнимым 4-мерный интервал между двумя мировыми точками: для любой точки пространства Δs2 = с2t2 < 0. Мнимость «времени» означает, что оно перестает определять физическую причинность, а значит, утрачивает физический смысл. Это видно хотя бы из того, что в области комплексных чисел утрачивает смысл главное характеристическое свойство времени — его направленность, так как для комплексных чисел нельзя определить упорядоченность типа больше — меньше. (Попытки некоторых теоретиков, вроде С. Хокинга, ликвидировать космологическую сингулярность — возникновение Вселенной из точки — переходом к мнимому времени противоречат, по нашему мнению, сути физической причинности, установленной теорией относительности).
Таким образом, понятие «геометрическое время» имеет смысл лишь тогда, когда есть вещество, распространяющееся с подсветовой скоростью. Время только тогда возникло, когда в процессе Большого взрыва, после стадии инфляции, возникли первые элементарные частицы. Этот момент есть точка отсчета геометрического времени, для которого никакого «до того» не существует. «До того» не было никакой физической причинности; Вселенная, следовательно, не могла возникнуть причиннъш образом, т. е. во времени[415].
Понятие геометрического времени дало ВОЗМОЖНОСТЬ определить, что такое означает объём (конечный или бесконечный) трёхмерного пространства космологической модели. Выяснилось, что это понятие имеет смысл не во всех системах отсчёта, допустимых в общей теории относительности (ОТО). Сама система отсчёта (как физический объект, в отличие от системы координат) в ОТО определяется именно как совокупность (конгруэнция) линий времени, или мировых линий, вдоль которых изменяется только временноподобная координата х°. Чёткое определение пространства данной системы отсчёта было дано А.Л. Зельмановым. Пространство в ОТО определяется не абсолютно, а лишь как «пространство в данный момент времени», или пространственное сечение (t = const) в 4-мерном мире Эйнштейна, а оно в разных системах отсчёта по-разному ориентировано относительно линий времени. Пространство имеет смысл (т. е. однозначно определено) лишь в том случае, если оно голономно, а это значит: в любой мировой точке пространственные сечения ортогональны линиям времени. (Тогда для всего 4-мерного мира существует однозначно определённое время, так и называемое — мировым временем). А.Л. Зельманов получил инвариантное (в пределах данной системы отсчёта, т. е. «хронометрически инвариантное») условие голономности пространства данной системы отсчёта.
В общем случае анизотропной неоднородной Вселенной понятие пространства не имеет однозначного смысла. Так, если система отсчёта сопутствует вращающейся материи, то её пространство не может быть голономным. (В такой системе отсчёта теряет смысл также понятие единого геометрического времени, потому что отсутствует единый способ синхронизации событий). В случае же фридмановских моделей всегда существует (сопутствующая веществу) система отсчёта с голономным пространством, и можно ставить вопрос о величине его объёма, решаемый вычислением тройного интеграла по пространственным координатам[416].
Известно, что космология Фридмана не даёт однозначного ответа на вопрос о конечности или бесконечности пространства: она допускает как замкнутые модели (при k = +1, где k — параметр пространственной кривизны), так и открытые (при k = 0 и k = -1). Причём конечность и бесконечность пространства рассматриваются как взаимоисключающие возможности. Таким образом, космология никак не разрешала вопрос, конечна или бесконечна Вселенная в пространстве. Но, как замечает А.Л. Зельманов, это происходило только потому, что сам вопрос о конечности и бесконечности пространства решался по отношению к одной, физически преимущественной системе отсчёта — сопутствующей веществу. Тем самым обходился вопрос о возможной зависимости конечности или бесконечности пространства от движения системы отсчёта. Между тем, в теории относительности инвариантны, то есть независимы от выбора движения системы отсчёта, лишь свойства 4-мерного мира, но не его расщепление на пространство и время. «В таком случае, — спрашивает А.Л. Зельманов, — не может ли зависимость свойств рассматриваемых порознь пространства и времени от движения системы отсчёта простираться так далеко, чтобы затрагивать конечность или бесконечность пространства?[417]».
Чтобы получить ответ, надо было рассмотреть вопрос в чистом виде, т. е. отрешиться от привилегированных систем отсчёта — избавиться от сопутствия их материи, а проще всего — совсем изгнать из фридмановских моделей материю. ОТО допускает такие модели (называемые пустыми), ибо в ней искривленное пространство-время может существовать автономно, без порождающей кривизну материи. Для таких моделей А.Л. Зельманов и получил свой замечательный результат[418]: бесконечное пространство одной системы отсчёта может оказаться конечным с точки зрения другой системы отсчёта, движущейся относительно неё. Наиболее выразительным этот результат оказался для 4-мерных миров де Ситтера — пустых миров при Λ > О (Λ — космологическая постоянная; это космическое поле сейчас считается ответственным за наблюдаемое ускорение расширения Вселенной). А.Л. Зельманов рассмотрел три типа таких миров, 4-мерная метрика которых задана в системах отсчёта Ланцоша («мир Ланцоша»), Леметра и Робертсона (миры Леметра и Робертсона). Каждый из миров Леметра и Робертсона в своей системе обладает бесконечным пространством. Но из координатной связи этих миров с миром Ланцоша следует, что эти миры составляют лишь часть мира Ланцоша, в системе которого они, однако, имеют конечные пространства.
Для случая непустых фридмановских моделей результат А.Л. Зельманова принципиально остаётся тем же, поскольку для них сохраняется понятие пространства. Ставить же вопрос о конечности и бесконечности пространства анизотропной неоднородной Вселенной, вообще говоря, невозможно, потому что теряет смысл сам объект, пространство. Вывод таков: в тех случаях, когда пространственный объём Вселенной существует как понятие, то его конечность или бесконечность относительна, т. е. зависит от наблюдателя.
Зависимость рассматриваемых по отдельности пространства и времени от движения системы отсчёта естественным образом порождает и другой вопрос: не простирается ли она столь далеко, чтобы затрагивать конечность и бесконечность времени? И в этом случае вопрос также имеет смысл лишь там, где само понятие времени имеет смысл. Так как Вселенная как целое не могла возникнуть во времени (геометрическом), вопрос можно ставить лишь для отдельных её объектов (подсистем). Для отдельного объекта всегда можно ввести преимущественную сопутствующую ему систему отсчёта, геометрическое время которой называется собственным временем объекта. И тут оказалось, что существуют (в геометрическом времени) объекты, для которых время протекания одного и того же процесса в одной системе отсчёта конечно, а в другой — бесконечно. Объект такого рода был теоретически предсказан в работе Оппенгеймера и Снайдера ещё в 1939 году[419]. Это сфера из идеальной жидкости, неограниченно сжимающаяся (коллапсирующая) под действием собственных гравитационных сил. Неограниченное сжатие приводит к тому, что эта сфера за конечный промежуток собственного времени достигает размеров собственного гравитационного радиуса (rg) и, переходя далее внутрь сферы этого радиуса («сингулярной сферы Шварцшильда»), сжимается до точечного состояния. Вместе с тем, в статической системе отсчёта внешнего наблюдателя одно лишь время приближения этой сферы к гравитационному радиусу бесконечно. Таким образом, в бесконечное время статической системы отсчёта укладывается лишь часть процесса сжатия сферы. Моменту достижения радиуса r = rg отвечает время t = ∞ внешнего наблюдателя. Никаких логических противоречий в этом нет: это — относительность хода геометрического времени в своём крайнем выражении.
Таким образом, с точки зрения удалённого наблюдателя, гравитационный коллапс приводит к возникновению как бы навек «застывшего» тела, от которого не приходят в окружающее пространство никакие сигналы. Оно «застыло» не потому, что находится в равновесии (ибо равновесия нет), но потому, что, с точки зрения внешнего наблюдателя, на сингулярной сфере «застыло» (остановилось) время. Действительно, в системе отсчёта внешнего наблюдателя собственное время наблюдателя, пересекающего сингулярную сферу Шварцшильда, выражается величиной
τ = ∫√g00dt = ∫√(1 — r/rg)dt
откуда видно, что на сингулярной сфере (r = rg) собственное время обращается в нуль.
Предсказание описанного Оппенгеймером и Снайдером объекта, как видим, опять было чисто умозрительным, т. е. никак не было продиктовано предметным познанием. Ни в каком предшествующем знании не могло быть объекта такого рода, потому что он должен был быть невидимым: световой сигнал не может выйти вовне из-под сингулярной сферы. Но опять-таки модель строилась на чисто гравитационном взаимодействии, а в нём в равной степени участвуют как видимые, так и невидимые тела. В 30-х годах прошлого века едва появились только первые наблюдательные догадки о возможном существовании скрытых масс, оказывающих гравитационное действие на движение наблюдаемых небесных тел. И лишь впоследствии, когда выяснилось, что звёзды достаточно больших масс действительно могут сжиматься неограниченно, рассматриваемым гипотетическим объектам был присвоен статус реальности — как одного вида тёмной материи, получившего название чёрная дыра, или коллапсар[420].
Идея относительности бесконечности закономерно пришла на смену антиномии Канта, когда методология физики в XX веке решительно отказалась от позитивистского предметного знания и перешла на почву онтологии. В отличие от антиномии Канта, отнесённость бесконечности к наблюдателю не означает противоречия для разума в области чисто метафизического мышления. Разум не приходит к противоречию с самим собой, если мир понимать не опытно, а онтологически.
В соответствии с дорелятивистским представлением, мир не может быть мыслимым вне пространства: «миропонимание — это пространствопонимание» (П.А. Флоренский). ОТО демонстрирует, что это не так; она заменяет «мир пространства» на мир пространства-времени. Мир пространства-времени ОТО — это основной абсолют теории, так как его свойства инвариантны относительно выбора наблюдателя. В платоновской терминологии, он есть эйдос, тогда как отдельно взятые пространство и время — это тени, отбрасываемые им на человеческое сознание. Платон ведь тоже (в своём символе Пещеры) рассматривал эмпирически данный нам мир как царство теней, отбрасываемых на нас подлинной реальностью.
Возникает вопрос о природе этих «теней» — пространства и времени. Как и чем они порождаются?
Уже Платон, который впервые ввёл в античную науку понятие геометрического пространства, не придавал этому пространству какого-либо субстанциального значения. У него пространство не относится к миру вечных идей, но не относится и к миру «природы» — вечно движущемуся, воспринимаемому «посредством мнения, соединённого с ощущением». Его восприятие Платон уподобляет сновидению: оно «не находится ни на земле, ни на небесах, будто бы не существует[421]». В XIX веке Георг Кантор попытался построить другие «небеса», в которых нашлось место для геометрических пространств. Это было исчисление бесконечностей Г. Кантора, который решил сделать бесконечность научным (математическим) понятием, расширив для этой цели само понимание математики. Г. Кантор поставил перед собой задачу, которую не смогли решить пифагорейцы, — построить мир на основе чисел, только под числами он понимал нечто более общее: не только конечные числа, но и трансфиниты. Для этого требовалось сложить актуальную бесконечность из более элементарных множеств, допускавших интуитивное постижение.
Попытка не удалась не только Кантору, но и ни одному из крупнейших математиков XX века, которые пытались разрешить загадку континуума, «уничтожив» в его описании актуальную бесконечность. Все их усилия кончались крахом: актуальная бесконечность не хочет покидать континуум. Не меньшее разочарование испытывали и физики, видя, до какой степени затруднительно обосновать непрерывность в описании природы. Именно в этом смысле Э. Шредингер высказался о том, что все попытки использования старого, привычного понятия континуума для описания свойств микромира оказались тщетными и окончились провалом. Причину Шредингер видел в том, что этот старый привычный континуум вдруг оказался пугающе сложным и концептуально непонятным. По его словам, само понятие дискретности в мире элементарных частиц было навязано физикам против их воли. Оно возникло как средство спасения от тайны континуума — как «контрзаклинание против злого духа, требующего изгнания[422]».
Удивительно, что именно эта грандиозная неудача смогла, наконец, раскрыть глаза математиков и философов на тайну континуума. Ибо утверждение «континуум построить нельзя» означало, что континуум не существует как нечто статическое, завершённое, фиксируемое как понятие. В силу этого оно ускользает от «научного» (т. е. «предметного») познания. В настоящее время его даже принято считать внематематическим понятием[423].
«Изгнание злого духа» привело Шредингера к чисто феноменологической интерпретации квантовой механики — интерпретации, которая вошла в русло общей неопозитивистской трактовки физики XX века. Она оправдывает отказ от онтологии в физике, от физической истины; она означает приспособление к фактам опыта, принятие «истины факта».
Подавляющее большинство математиков XX века (школы логицистов, интуиционистов, формалистов) также отвергло метафизическую идею актуальной бесконечности. Математика предпочла пойти по кантианскому пути, оставшись при одной феноменологии. Однако средство, избранное для изгнания метафизики, оказалось убийственным для самой классической математики: без идеи актуальной бесконечности огромное количество истинных формул математики оказались не выводимыми, да и само понятие «доказательство» утратило строгий смысл.
Неизбежна ли такая позиция? В поисках реальности мы расширяем наше понимание физики — тогда не следует ли для осмысления бесконечности ещё более расширить понимание математики?
Из всех философов математики, пожалуй, один лишь А.Ф. Лосев остался верен идее актуальной бесконечности, «той бесконечности, которая свою идею содержит сама в себе, а не вне себя…[424]». При этом Лосев понимает континуум диалектически, не как нечто раз и навсегда ставшее, а в плане становления — «алогического становления, данного как актуальная бесконечность». Континуум как незавершённое, живое понятие, требовал иного (не математического в прежнем смысле) подхода к описанию множества.
Оказалось, что без учёта качества (свойства нематематического) теряет смысл канторово понимание принадлежности к множеству по предикату. Сказать, что континуум есть «множество точек», в прежнем смысле, уже нельзя (именно такое представление о континууме порождает связанные с ним парадоксы теории множеств). Наиболее соответствующее ему философское понятие — лейбницева монада, как динамическое (самодвижущееся) единство. Континуум — неделимая монада, наделённая внутренним движением, а это есть нечто, не доступное логическому анализу. Описание её с помощью логической процедуры бесконечной потенциальной делимости приводит к противоречию в форме апорий движения Зенона. Апории разрешаются только при полном отказе от классического понимания континуума как бесконечно делимого бесконечного количества точек, а в этом случае теряет смысл и классическое (аристотелево) понимание движения.
Не случайно математический аппарат физики микромира отторгает от себя прежний континуум как (непрерывное) множество вещественных чисел. Он оперирует полем комплексных чисел, для которых исчезает привычное понятие количества, с типичным свойством больше — меньше. Это значит, в микромире утрачивается классическое понятие упорядоченности. Упорядоченность перестаёт быть однозначной, той, которая в классической (неквантовой) физике обозначается как геометрическое время. Утрата порядка означает утрату классической причинности, т. е. исчезает сама возможность предметного знания.
Расширение понятия порядка приводит к новым, неканторовским типам бесконечностей. Это бесконечности не количества, а порядка, причём бесконечности завершённые, актуальные. Они возникают как бесконечности процесса, который, однако, оказывается возможным превратить объект, в идею (в платоновском смысле), если удаётся замкнуть процесс на себя. Это замыкание процесса С.А. Векшенов называет «фундаментальным враще-нием[425]». Новая, неканторова структура континуума требует видоизменения существующей физической парадигмы.
Поскольку в микромире утрачивают смысл и классическое (геометрическое) время, и классическое пространство, возникает идея, пришедшая в голову ещё Б. Риману, а потом высказывавшаяся также Г. Вейлем, Дж. Уилером, Р. Пенроузом и др.: а являются ли вообще макроскопически понимаемые пространство и время чем-то изначальным, первичным? Нельзя ли эти платоновские «тени» вывести из чего-то более первоначального, фундаментального? Как в классической, так и в релятивистской парадигмах пространство и время играют роль «арены», на которой развёртываются физические взаимодействия. Эта «арена» априори задана, без всякой попытки её вывода или обоснования. Между тем, П.К. Рашевский пишет: «Возможно, что и сам четырёхмерный континуум с его геометрическими свойствами окажется в конечном счёте образованием, имеющим статистический характер и возникающим на основе большого числа простейших физических взаимодействий элементарных частиц?»[426]. Когда писались эти слова, Уилером уже развивалась идея «предгеометрии», согласно которой классические пространство и время возникают в результате своеобразного наложения (суммирования) огромного количества факторов, присущих микрообъектам и, как теперь выяснилось, требующих новой, неканторовской структуры множества.
Оказалось, что эта неканторовская структура не реализуема ни в одной из двух развитых к настоящему времени физических парадигм: ни в геометрической (эйнштейновской), ни в теоретико-полевой. Та и другая требуют уже заданной пространственно-временной «арены». Например, в теории суперструн, претендующей сейчас на универсаль-ность описания взаимодействий, струны колеблются в изначально предположенном пространстве-времени. Может ли, однако, эта теория претендовать на статус Окончательной Теории («Теории Всего»), если она не даёт объяснения природы этой постулируемой ею «арены» — пространства-времени? Развитие этой теории в применении к космологии привело к концепции бран-мира — «Вселенной на бране». В ней Вселенная представлена (3+1) — мерной D-браной, погружённой в 11-мерное пространство с 7 компактифицированными размерностями. Однако все 11 измерений этой теории — это те же геометрические (пространственные или временные) размерности, взятые из классической ОТО. Специалисты по теории струн сами понимают это и ставят вопрос: «Что есть пространство и время на самом деле и нельзя ли без них обойтись?.. Мы должны позволить теории струн создавать её собственную пространственновременную арену, начиная с конфигурации, в которой пространство и время отсутствуют». Но сказать «пространство и время отсутствуют» — значит отказаться от самих принципов и геометрической, и теоретико-полевой парадигм. Первые же шаги в этом направлении привели к отказу от обычной геометрии — замене её на некоммутативную геометрию, в которой декартовы координаты заменяются на некоммутирующие матрицы. В ней мы лишены возможности определить физическое пространство нашей Вселенной и ставить вопрос о его конечности и бесконечности. Надо искать другую физическую парадигму, которая восстановила бы воспринимаемые нашим сознанием пространство и время.
В настоящее время на роль предгеометрии претендует новая, реляционная парадигма, ведущая начало от идей дальнодействия и развиваемая в работах Ю.С. Владимирова[427]. В ней фундаментальной (первичной) является бинарная структура комплексных отношений, из которой формируются макроскопические пространство и время. Объекты этой структуры — не «события» (как в геометрической парадигме) и не «состояния» (как в полевой парадигме), а процессы, т. е. динамические объекты (монады). Это отражает интуицию иного типа времени, отличного от геометрического.
Этот тип времени в применении к космологии нами уже рассматривался[428] и назван бергсоновым временем.
Все уравнения современных теорий физических полей и релятивистской механики содержат геометрическое время и инварианты относительно смены его знака (замены t на — t). Это обеспечивает возможность операции временного обращения. Геометрическое время — это время детерминизма, время предсказуемости; в этом времени прошлое и будущее симметричны. Это есть время без «стрелы времени».
Для объяснения нашей психологической стрелы времени надо, видимо, искать какое-то другое время, само по себе необратимое, и только для него некий процесс можно определять как необратимый. Такое время нашлось в новой, «неклассической» метафизике, оно связано с именем А. Бергсона[429]. Это есть время, не измеряемое внешним отношением равенства, но само в себе содержащее свой принцип тождества. Такое время не является внешним по отношению к материальным объектам, но связано с их свойствами, с их сущностью, с «природой, вещей». Такие процессы невозможно вычленить из природной ситуации и придать им тем самым геометрический характер. Это делает процесс необратимым и рождает «стрелу времени».
Такое время — не априорная форма познания, а уникальный факт нашего сознания, постигаемый вообще не мышлением, а нашим внутренним опытом. Это время рождается не пространством, оно самодостаточно и называется длительностью (la durée, вместо le temps). В этом времени не выделены отдельные моменты, оно неделимо и целостно, а потому неизмеряемо.
Бергсоново время-длительность можно назвать естественным временем. Это время не упорядоченных систем, а случайных процессов. Следовательно, это есть время беспричинности, время свободы, время Эпикура. Можно предполагать, что «стрела времени», чуждая времени геометрическому. реализуется в естественном времени. Возникает трудная задача — дать этой «стреле» физическое обоснование.
Физическое обоснование даёт уже релятивистская космология. Основной её вывод тот, что Вселенная не может находиться в устойчивом состоянии. Неустойчивость приводит к необратимости. Необратимость рождает космологическую стрелу времени. Сама эта космологическая стрела говорит о том, что реальная Вселенная живет в естественном времени. Современная космология возрождает представление древних греков о Космосе как живом организме. И. Пригожин замечает, что Вселенная возникла не только в неустойчивом, но и в неравновесном состоянии. Оба эти факта рождают стрелу времени. Большой взрыв — это необратимый фазовый переход из состояния квантового вакуума к состоянию вещества. Этот переход рождает время, и это время — однонаправленное. (Впрочем, Пригожин фетишизирует время настолько, что считает его существовавшим уже до возникновения Вселенной. В этом я с ним не согласен). Этим определяется также универсальность стрелы времени: она едина для всей Вселенной.
Принимая во внимание результаты Пригожина, я могу сказать то, чего не сказал сам Пригожин: время возникло из неравновесности, так же как и стрела времени порождена неравновесным процессом возникновения материи. В момент образования материи Вселенная должна была находиться в неравновесном состоянии. Об этом свидетельствует факт нашего существования: мы существуем благодаря тому, что частицы и античастицы возникли не в одинаковых количествах, иначе это привело бы к всеобщей аннигиляции материи и к концу времени.
Как соединить в физике оба эти времени — время случайности и время упорядоченности?
Геометрическое время — время симметрии, время принципа относительности. Относительность означает некоторую степень однородности пространства. Между тем, существует одно физическое поле — единственное геометризованное, описание которого не опирается на однородность, описываемую клейновской (конечнопараметрической) группой симметрии, потому что в основе его описания лежит псевдориманово пространство-время. Это 4-мерное пространство в общем случае не допускает какой-либо степени однородности, а значит какой-либо симметрии. Гравитация исключает, вообще говоря, симметрию. Тогда рождается мысль, что сама эйнштейновская гравитация описывает реальность не в геометрическом времени, а в бергсоновском. Это подтверждается тем, что гравитация — и только она, как универсальное взаимодействие, — управляет эволюцией Вселенной. (От Вселенной нельзя изолироваться, тогда как геометрическое время — это время изолированных систем). Объединение же времён достигается с помощью особой конструкции, называемой расслоенным пространством. Искривленное пространство-время в каждой своей точке содержит «слой» (выемку) — плоское касательное пространство, как, например, сфера в каждой своей точке имеет касательную плоскость. Эта конструкция объединяет геометрическое и естествнное времена. Глобальное время в искривленном пространстве — бергсоновское; локальное в любом слое — геометрическое.
Ограничение одним лишь геометрическим временем привело бы нас лишь к плоскому пространству слоя. В нём всё осмысленно и все измеримо, но утверждать реальность в нём нельзя, ибо это пространство отделено от источников поля. «Реальность» (источники) не введены в нём в саму структуру поля, как это имеет место в ОТО. С другой стороны, если мы ограничимся только естественным временем, игнорируя локальные пространства слоев, мы лишим себя связи с измерительной ситуацией, т. е. с опытом. Лишь полная конструкция, соединяющая в себе оба времени, дает полноту реальности, причем познаваемой с помощью опыта. Так два времени вместе обнаруживают для нас постигаемую природную реальность.
Стрела времени, гравитация и свобода в природе оказываются неразделимыми понятиями. Стрела времени осуществляется через универсальное гравитационное поле (недаром свобода у Эпикура тоже обусловлена гравитацией).
* * *
Как видим, прежнее понимание реальности пространства и времени, а также аспекта их конечности и бесконечности претерпело существенное изменение, причём вызвало это изменение развитие самой физики и основанной на ней космологии. «Реальность» зависит от господствующей на данный момент физической парадигмы и формируемой ею теории: какова теория, такова и реальность[430]. Возможно, развитие физики приведёт к тому, что пространство и время утратят статус фундаментальности, что, вероятно, и предвидел Платон, относя их к «теням» или «грёзам». Весьма вероятно, что миропонимание в дальнейшем будет обходиться без «пространствопонимания» и «времяпонимания».