Сделай Сам Свою Работу на 5

Математический способ мышления





Г. Вейль

(выступление на конференции, посвященной 200-летию Пенсильванского университета 17.09.1940 г.)

Источник сканирования: Вейль Г. МАТЕМАТИЧЕСКИЙ СПОСОБ МЫШЛЕНИЯ (под ред. Б.В. Бирюкова и А.Н. Паршина; пер. с англ. Ю.А. Данилова). — М.: Наука, 1989. —стр. 6—24; первоисточник: «Science», 1940, V. 92, P. 437—446;H. WeilGesammelteAbhandlungen — Berlin, 1968)

 

 

Под математическим способом мышления я понимаю, во-первых, особую форму рассуждений, посредством которых математика проникает в науки о внешнем мире — в физику, химию, биологию, экономику и т.д. и даже в наши размышления о повседневных делах и заботах, и, во-вторых, ту форму рассуждений, к которой прибегает в своей собственной области математик, будучи предоставленным самому себе. В процессе мышления мы пытаемся постичь разумом истину; наш разум стремится просветить себя, исходя из своего опыта. Поэтому, подобно самой истине и опыту, мышление по своему характеру есть нечто довольно однородное и универсальное. Влекомое глубочайшим внутренним светом, оно не сводится к набору механически применяемых правил и не может быть разделено водонепроницаемыми переборками на такие отсеки, как мышление историческое, философское, математическое и другое. Мы, математики, не ку-клукс-клан с неким тайным ритуалом мышления. Правда, существуют — скорее внешне — некоторые специфические особенности и различия; так, например, процедуры установления фактов в зале суда и в физической лаборатории заметно различаются. Тем не менее, вряд ли можно ожидать от меня, что математический способ мышления я опишу более ясно, чем, скажем, можно описать демократический образ жизни.



Движение за реформу преподавания математики, совершившее несколько десятилетий назад подлинный переворот в Германии1, где во главе него стоял великий математик Феликс Клейн, выдвинуло в качестве своего лозунга «функциональное мышление». Как провозгласили реформаторы, самое важное из того, чему должен научиться средний образованный человек, пройдя обучение математике, - это умение мыслить в терминах переменных и функций. Функция описывает зависимость одной переменной у от другой переменной х или, говоря более общо, отображает одно множество — область значений переменного элемента х — на другое (или то же самое) множество. Понятие функции, или отображения, — несомненно одно из самых фундаментальных понятий, и оно встречается в математике на каждом шагу как в теории, так и в приложениях.



Федеральный закон США о подоходном налоге устанавливает налог у в зависимости от дохода х; делает он это довольно неуклюже, «склеивая» одну за другой несколько линейных функций, каждая из которых действует в пределах своего интервала изменений дохода — группы налогоплательщиков по доходу. Археолог, который через пять тысяч лет обнаружит в раскопе наши декларации о доходах вместе с руинами инженерных сооружений и математическими книгами, вероятно, датирует их двумя столетиями раньше, наверняка отнеся ко временам до Галилея и Виета. Виет способствовал введению адекватной алгебраической символики, Галилей открыл квадратичный закон свободного падения тел, гласящий, что расстояние s, проходимое в пустоте свободно падающим телом, пропорционально квадрату времени t, истекшего с начала падения:

S = ½ g t2, (1)

где g — константа, имеющая одно и то же значение для любого тела в данном месте. Установив формулу (1), Галилей превратил закон природы, присущий реальному движению тел, в некоторую математическую функцию, построенную apriori, и это то, что физика стремится проделать с каждым явлением. Закон свободного падения тел «спроектирован» гораздо лучше, чем наши законы о налогах. Его «проект» создан самой Природой, которая составляет свои планы, тонко ощущая математическую простоту и гармонию. К тому же Природа, в отличие от законов о налогах на доходы и сверхприбыли, не ограничена требованием быть понятной юристам и членам торговой палаты.



С самого начала мы сталкиваемся со следующими характерными чертами любой математической процедуры: 1) наличием переменных, подобных t и s в формуле (1), допустимые значения которых принадлежат некоторой области (в случае свободного падения — области действительных чисел), вполне обозримой, поскольку своим происхождением она обязана нашему же построению; 2) представлением этих переменных с помощью знаков; 3) наличием функций или apriori построенных отображений области значений одной переменной t на область значений другой переменной s. Время есть независимая переменная «katexochen» [первое, что бросается в глаза — греч.].

При изучении функции необходимо следить за тем, чтобы независимая переменная пробегала всю область своих допустимых значений. Прежде чем подвергать проверке правильность любого предложения относительно зависимости между теми или иными величинами в природе, мы можем мысленно, еще до его сравнения с экспериментальными данными, проверить, покрывает ли оно всю область допустимых значений независимых переменных. Иногда неприемлемость предполагаемой зависимости сразу проявляется в некоторых простых предельных случаях. Лейбниц, сформулировав свой принцип непрерывности, учил нас рассматривать покой не как противоположность движения а как ею предельный случай. Исходя из непрерывности, Лейбниц сумел apriori опровергнуть предложенные Декартом законы соударения тел3. Мах дает следующую рекомендацию: «Составив определенное заключение на основании одного конкретного случая, надлежит постепенно и как можно шире модифицировать сопутствующие ему обстоятельства, стремясь, насколько это возможно, остаться при первоначальном заключении. Не существует иного способа, который с большей надежностью и меньшими умственными усилиями приводил бы к простейшему объяснению всех явлений природы»4. Большинство переменных, с которыми нам приходится иметь цело при анализе явлений природы, — непрерывные переменные, такие, как время, но хотя непрерывность интуитивно и подразумевается в слове «переменная», математическое понятие переменной отнюдь не ограничено непрерывным случаем. Наиболее важный пример дискретной переменной дает нам последовательность натуральных, или целых положительных, чисел 1, 2, 3, ... Так, число делителей любого целого числа и есть функция аргумента n.

В логике Аристотеля переход от единичного к общему совершается путем выявления у данного объекта определенных абстрактных свойств и отбрасывания остальных, так что два объекта подпадают под одно и то же понятие или принадлежат к одному и тому же роду, если оба они обладают выделенными свойствами (features). Такого рода описательная классификация, например, описание растений в ботанике и животных в зоологии, ориентирована на реально существующие объекты. Можно сказать, что Аристотель мыслит в терминах субстанции и акциденции, в то время как идея функции господствует при формировании математических понятий (concepts). Возьмем, например, понятие (notion) эллипса. Любой эллипс на плоскости ху есть множество Е точек (х, у), заданное квадратным уравнением

ax2 + 2bxy + су2 = 1,

коэффициенты а, b и с которого удовлетворяют условиям:a>0, с>0, ac2 – b2 >0,

Множество Е зависит от коэффициентов а, b, с мы получаем некоторую функцию Е(а, b, с), порождающую конкретный эллипс, если переменным коэффициентам а, Ь, с придадим определенные значения. Переход от конкретного эллипса к соответствующему общему понятию не требует отбрасывания каких-либо специфических различий, он совершается благодаря тому, что некоторые характеристики (в нашем примере они представлены коэффициентами) превращаются в переменные, область значений которых apriori обозрима (у нас она задана приведенными выше неравенствами). Таким образом, общее понятие распространяется скорее на все возможные, чем на все актуально существующие характеристики [ср. в этой связи статью: СassirerErnst. SubstaniibegriffmidFunktionsbegriff. — 1910 и мою критическую заметку: WеilH. PhilosophiederMathematikundNaturwissenschaft. — 1923. — S. 111; здесь речь идет о двух возможных способах образования понятий, первый из которых — «объемный», или «теретико-множественный» — восходит к Аристотелю («общее» получается путем собирания в одно множество всех частных случаев), а второй — восходящий к Платону — представляет собой обратный процесс от «общего» к «частному», например, платоновскую процедуру «диарезиса» (разделения надвое), или нисхождение от абстрактного задания переменных к их частной конкретизации — К.С.]5.

После этих предварительных замечаний относительно функционального мышления я перехожу теперь к более систематической аргументации. Математика снискала дурную славу из-за разреженного воздуха абстракций, в котором она живет. Скверная репутация заслужена математикой лишь наполовину. В самом деле, первая трудность, с которой сталкивается человек с улицы, когда его пытаются научить мыслить математически, состоит в том, что ему необходимо усвоить более прямой взгляд на вещи; его вера в слова должна быть поколеблена; ему необходимо научиться мыслить более конкретно и направленно. «Высота»— слово, имеющее вполне ясное значение, когда я спрашиваю, как высок потолок в этой комнате, — каково расстояние от пола до потолка. Значение этого слова становится все менее определенным, если мы станем применять его к относительной высоте горных вершин, расположенных на все более обширной территории. Его значение станет совсем зыбким и растворится в воздухе, если мы распространим его на весь земной шар, не подкрепив динамическим понятием потенциала. Потенциал более конкретен, чем высота, поскольку порожден распределением масс в земном шаре и зависит от этого распределения.

Слова — орудия опасные. Созданные для нашей повседневной жизни, они обладают привычным значением лишь при известных ограниченных обстоятельствах, но Пит и человек с улицы склонны распространять их на более широкие сферы, нимало не заботясь о том, сохраняют ли те при этом твердую опору в реальности или нет. Мы все не раз были свидетелями того, к каким тяжким последствиям приводит магия слов в сфере политики, где все слова имеют гораздо более расплывчатое значение и человеческие страсти нередко заглушают голос разума. Ученый обязан пробиваться сквозь туман абстрактных слов и достигать незыблемого скального основания реальности. Такого рода работа особенно тяжела, как мне кажется, в экономических науках, где и поныне требуется затрачивать большие усилия, чтобы жить в соответствии с этим принципом. Так обстоит или должно обстоять дело во всех науках, но физикам и математикам пришлось применять этот принцип к самым фундаментальным понятиям, где догматическое сопротивление особенно сильно, и поэтому следование этому принципу стало их второй натурой. Например, первый шаг в объяснении смысла теории относительности всегда сопряжен с необходимостью пошатнуть догматическую веру в незыблемость временных разграничении — прошлого, настоящего и будущего. Невозможно применять математику, пока слова затемняют реальность.

Я вновь обращаюсь к теории относительности как к иллюстрации первого важного шага, предшествующего математическому анализу, шага, совершаемому под девизом «мыслить конкретно». Первооснову таких слов, как прошлое, настоящее и будущее, относящихся к времени, мы усматриваем в том, что более осязаемо, чем время, а именно, в причинной структуре Универсума. События локализованы в пространстве и во времени; событие малой протяженности происходит в точке пространства-времени, или в мировой точке «здесь-теперь». Если ограничиться событиями на некоторой плоскости Е (рис. 1), то их развитие во времени – своего рода расписание - можно изобразить в виде трехмерной диаграммы с горизонтальной плоскостью Е и вертикальной осью t, по которой отложено время. Каждая мировая точка представлена на диаграмме точкой, движение тела небольших размеров — мировой линией, распространение света со скоростью с, испускаемого источником из мировой точки О, — прямым круговым конусом с вертикальной осью и вершиной в точке О (световым конусом). Активное будущее для данной мировой точки О (здесь-теперь) содержит все те события, на которые еще может повлиять то, что происходит в точке О, а ее пассивное прошлое содержит все те мировые точки, из которых можно воздействовать на точку О, послав ей сигнал. Лишь после этого можно сделать второй шаг — шаг абстракции, когда интуитивные представления заменяются чисто знаковой конструкцией.

 

 

Около месяца назад я и мальчик лет двенадцати по имени Пит отправились побродить в окрестностях горы Лонгз Пик в Национальном парке Роки Маунтин. Взглянув на вершину. Пит сообщил мне, что высоту ее недавно уточнили и она составляет 14255 футов вместо 14254 по прошлогодним измерениям. Я на миг приостановился, пытаясь понять, какой смысл вкладывает в эти слова Пит, а затем попытался просветить его с помощью чего-то вроде сократовского диалога. Но я не стал мучить своего юного друга, и те объяснения, от которых воздержался тогда, изложу вам сейчас. Когда говорят о высоте горной вершины, имеют в виду ее высоту над уровнем моря. Но у подножия горы Лонгз Пик никакого моря нет. Поэтому мы мысленно продолжаем уровень моря под сушей континентов. Но как построить идеальную замкнутую поверхность — геоид, — совпадающую на части земного шара с поверхностью океанов? Если бы океаническая поверхность имела строго сферическую форму, то ответ был бы прост. В действительности, однако, ничего этого нет. И здесь нам на помощь приходит динамика. С точки зрения динамики поверхность моря — это поверхность постоянного потенциала φ=φ0; говоря более точно, φ означает гравитационный потенциал Земли, и, следовательно, разность значений φ в двух точках Р и Р' равна работе, которую необходимо совершить над телом единичной массы, чтобы переместить его из точки Р в точку Р . Именно поэтому геоид разумнее всего задать динамическим уравнением φ=φ0. Если это постоянное значение потенциала φ соответствует нулевой высоте над уровнем моря, то любую другую высоту естественно определить, указав соответствующее ей значение гравитационного потенциала φ. Тогда вершину Р естественно назвать более высокой, чем вершина Р', если при перемещении из Р в Р' достигается выигрыш в энергии. Геометрическое понятие высоты заменяется динамическим понятием потенциала или энергии. Даже для такого опытного альпиниста, как Пит, этот аспект, наверное, наиболее важен: чем выше вершина, тем больше — ceterisparibus[при прочих равных условиях — лат.]6 — механических усилий требует восхождение на нее. Как показывает более тщательное рассмотрение, потенциал почти во всех отношениях более точно отвечает существу дела. Например, барометрический метод измерения высоты основан на том, что при заданной постоянной температуре потенциал пропорционален логарифму атмосферного давления, какова бы ни была природа гравитационного поля. Следовательно, атмосферное давление, вообще говоря, позволяет измерять потенциал, а не высоту. Ни у кого из тех, кто знает, что Земля круглая и вертикальное направление не является внутренним геометрическим свойством пространства, а определяется направлением силы тяжести, не вызовет удивления необходимость отказа от геометрического понятия высоты в пользу более конкретного динамического понятия потенциала. Разумеется, связь с геометрией существует: если область пространства настолько мала, что силу тяжести в ней везде можно считать постоянной, то направление вертикали фиксировано и разности потенциалов, пропорциональные paзностям высот, измеренным в этом «здесь-теперь», не могут изменить что-либо, лежащее вне активного будущего; все события, о которых и «здесь-теперь» могу узнать либо из прямых наблюдений, либо из любых других сообщений, с необходимостью принадлежат пассивному прошлому. Слова «прошлое» и «будущее» получают при этом причинную интерпретацию и выражают нечто весьма реальное и важное — причинную структуру мира.

Новое открытие, положенное в основу теории относительности, состоит в том, что ни один эффект не может распространяться быстрее света. Следовательно, если мы раньше считали, что граница между активным будущим и пассивным прошлым представляет собой сечение, которое определяется настоящим, — горизонтальную плоскость t = 0, проходящую через мировую точку О, то Эйнштейн научил нас, что активное будущее ограничено световым конусом, обращенным раструбом вперед, а пассивное прошлое — его продолжением назад. Активное будущее отделено от пассивного прошлого частью мира, заключенной между этими конусами, и с этой частью мира я, находясь «здесь-теперь», не имею никакой причинной связи. В этом новом понимании причинной структуры Вселенной заключено важное положительное содержание теории относительности. Обсуждая различные интерпретации простого вопроса, являются ли два человека, скажем, Билл на Земле и Боб на Сириусе, современниками и означает ли это, что Билл может послать сигнал Бобу, или что Боб — послать сигнал Биллу, или же что Билл может установить связь с Бобом, послав ему сигнал, и получить ответ и т.д., мне нередко удавалось приучить своего слушателя мыслить в терминах причинной, а не более привычной временной структуры. Тем не менее, как только я начинал говорить о том, что причинная структура не означает разбиение на горизонтальные слои t = const, но что активное будущее и пассивное прошлое имеют вид конусов, разделенных зазором, так часть аудитории лишь с трудом могла уловить, к чему я клоню, Однако каждый добросовестный слушатель мог бы задать мне вопрос: «Вот Вы чертите на доске некоторую фигуру и используете наглядные образы; как далеко простирается используемая Вами аналогия и какая голая истина стоит за ней?». Авторы научно-популярных книг и журналисты, когда им приходится иметь дело с физикой, позволяют себе прибегать к различным сравнениям; беда, однако, состоит в том, что они оставляют читателя в неведении относительно того, насколько точно их остроумные аналогии передают суть дела; поэтому они чаще сбивают читателя с толку, чем проясняют вопрос. В нашем случае нельзя не признать, что наш чертеж — не более, чем наглядный образ, «картинка». Впрочем, контуры реальности проступят на ней, как только мы заменим интуитивное пространство, в котором построены наши чертежи, конструкцией, состоящей из одних знаков «Тогда слова о том, что наш мир представляет собой четырехмерный континуум, из фигурального оборота речи превращаются в утверждение, которое а буквальном смысле является истинным. Делая второй шаг, математик обращается к абстракции, и это именно тот пункт, где неспециалист чаще всего перестает понимать его: интуитивная картина должна уступить место знаковой конструкции. «Своими геометрическими, а позднее чисто символьными конструкциями, — говорит Андреас Шпайзер, — математика стряхивает оковы языка, и тот, кто знает, какой гигантский труд вкладывается в этот процесс, и знаком с его неизменно повторяющимися поразительными успехами, не может не ощутить, что математика наших дней в своей сфере интеллектуального мира более эффективна, чем современные языки в их жалком состоянии и даже музыка в своих областях»7. Большую часть времени, отведенного для моего выступления сегодня, я хочу затратить на то, чтобы попытаться дать вам представление о том, что такое магия знаковой конструкции.

Для этого мне придется начать с самого простого и в то же время в известном смысле наиболее глубокого примера: с натуральных, или целых положительных, чисел, при помощи которых мы пересчитываем предметы. Знаками, которые мы будем здесь использовать, служат штрихи, наносимые один за другим. Пересчитываемые предметы могут исчезнуть — «испариться, растаять, обратиться в росу» [Архимед, Сочинения]8, но запись об их числе мы сохраним. Более того, с помощью вполне конструктивной процедуры мы можем определить, какое из двух чисел, изображенных с помощью этих знаков, больше; для этого каждому знаку из одного набора ставится в соответствие партнер из другого набора, и так штрих за штрихом. Такое сравнение позволяет обнаружить различия, которые мы не в состоянии установить прямым наблюдением, в большинстве случаев не позволяющим отличить друг от друга даже такие небольшие числа, как 21 и 22. Мы настолько привыкли к чудесам, творимым числовой символикой, что перестали удивляться. Но все это — не более чем прелюдия к собственно математическому шагу. Решая вопрос о том, какие числа могут встретиться нам при подсчете реальных предметов, мы не полагаемся на случай, а порождаем открытую последовательность всех возможных чисел; ее первый член равен 1 (или 0), а каждый последующий получается прибавлением к любому уже построенному символу числа n еще одного штриха, что и позволяет совершить переход к следующему числу n'. Как я неоднократно говорил, существующее при этом проектируется на фундамент возможного, точнее, на многообразие возможного, развертывающееся путем итерации и простирающееся в бесконечность. Какое бы число nни было задано, мы всегда может перейти от него к следующему числу n'. «Последнего числа не существует» (Numbersgoon). Эта интуиция возможности «всегда увеличить на единицу» «открытой счетной бесконечности — лежит в основе всей математики. Именно она дает нам простейший пример того, что я назвал априорной обозримостью области изменения. В соответствии с процессом порождения целых чисел функции аргумента, пробегающего все целые числа n, должны быть определены с помощью так называемой полной индукции, и аналогичным образом следует доказывать утверждения, справедливые при всех п. Принцип умозаключения с помощью полной индукции состоит в следующем. Для доказательства того, что каждое число n обладает некоторым свойством V, достаточно удостовериться в правильности двух вещей — того, что:

1) 0 обладает этим свойством;

2) если n любое число, обладающее свойством V, то следующее за ним число n' также обладает свойством V.

Практически невозможно — и было бы бесполезно — выписывать в виде набора штрихов символ числа 1012, которое европейцы называют биллионом, а американцы — тысячей биллионов. Тем не менее мы говорим о расходах на нашу военную программу, превышающих 1012 центов, а астрономы имеют дело с еще большими числами, чем финансисты. В июльском номере журнала «Нью-Йоркер» была опубликована следующая карикатура. Муж и жена за завтраком просматривают газету. «Эндрью, сколько это будет — семьсот биллионов долларов?» Вопрос действительно глубокий и серьезный, милостливая государыня! Замечу, что, лишь проходя через бесконечность, мы можем придать некий смысл столь большим числам. 12 есть сокращенное обозначение для

' ' ' ' ' ' ' ' ' ' ' '

1012 = 10.10.10.10.10.10.10.10 10. 10. 10. 10

и его невозможно понять, не определив предварительно функцию 10. и для всех п, и для этого необходимо воспользоваться следующим определением с помощью полной индукции:

10 х 0 = 0,

10 х n' = (10·х n) ''''''''''.

Штрихи образуют явно выписанный символ числа 10, и, как и прежде, каждый штрих означает переход к следующему числу. Излюбленная тема индийской и, в частности буддийской, литературы представление гигантских чисел в изобретенной индийцами десятичной системе счисления, т.е. запись их путем комбинации сумм, степеней и произведений. Упомяну также сочинение Архимеда «Псаммит» («Исчисление песчинок»)9 и «тело «гуголплекс», упоминаемое в последней популярной книге профессора Казнера «Математика и воображение»10.

Наша концепция пространства, в известной мере аналогичная нашим представлениям о натуральных числах, основана на конструктивном задании всех возможных местоположений (places). Рассмотрим металлический диск, лежащий на плоскости Е. Различные местоположения на диске можно маркировать inconcrete, например, выцарапывая на поверхности диска крестики. Но если на плоскости Е проведены две оси координат и задана единица длины, то идеальная маркировка оказывается возможной па плоскости и вне диска путем указания численных значений двух координат рассматриваемого местоположения. Каждая координата принимает значения из построенной apriori области действительных чисел. Именно так поступают астрономы, использующие твердь земную как базу для измерения глубин мирового пространства. Какая замечательная сила воображения понадобилась грекам, чтобы впервые построить тени, которые отбрасывают освещаемые Солнцем Земля и Луна в космическое пространство, и тем самым объяснить солнечные и лунные затмения! Анализируя континуум, каковым является пространство, мы применим несколько более общий подход, чем измерение координат, и примем топологическую точку зрения, согласно которой два континуума, получающиеся один из другого путем непрерывной деформации, совпадают. Последующую часть моего рассказа можно рассматривать поэтому и как краткое введение в такой важный раздел математики, как топология.

Знаками, позволяющими локализовать точки на одномерном континууме прямой, служат действительные числа. Я предпочитаю рассматривать замкнутый одномерный континуум — окружность. Наиболее важное утверждение относительно континуума состоит в том, что он всегда допускает разбиение на части. Все точки континуума можно уловить, накинув на него сеть разбиения и измельчая ее ячейки путем повторения adinfinitum определенного процесса разбиения. Пусть S — какое-то разбиение окружности на некоторое число (например, на l) дуг. От разбиения S перейдем к разбиению S', произведя так называемое нормальное подразбиение: разделим каждую из дуг на две части. Тогда число дуг в разбиении S' будет равно 2l. Обходя окружность в определенном направлении (задав ориентацию), мы можем различать части дуг по тому порядку, в котором они нам встречаются, маркируя их с помощью 0 и 1; более подробно: если дуга обозначена символом α, то две ее части обозначаются через α0 и α1. Начнем с разбиения S0 окружности на две дуги + и — ; с точки зрения топологии каждая из них представляет собой клетку, т. е. эквивалентна отрезку. Повторяя процесс нормального подразбиения, мы приходим к разбиениям, S0', S0’’, .... следя за тем, чтобы измельчение дуг все время происходило по всей окружности. Если бы мы не отказались от использования метрических свойств, то можно было бы сказать, что при нормальном подразбиении каждая дуга делится на две равные части. Поскольку мы не вводим такого ограничения, данный процесс на самом деле содержит изрядную долю произвола. Тем не менее комбинаторная схема примыкания дуг, возникающих при очередном разбиении, и нескончаемого измельчения дуг вполне определенна и единственна. Только об этой символьной схеме и заботятся математики. В наших обозначениях дуги, возникающие при последовательных разбиениях, удается свести в единый каталог, присваивая им символы вида

+, 011010001.

Перед запятой ставится знак плюс или минус, а на каждом месте после запятой — знаки 0 или 1. Нетрудно видеть, что мы получаем хорошо известные двоичные (или десятичные) дроби. Точку на окружности ухватывает бесконечная последовательность дуг, возникающих при продолжающихся разбиениях, причем каждая дуга получается из предыдущей путем выбора одной из двух частей, на которые эта дуга была разделена при очередном нормальном разбиении; таким образом, точка окружности однозначно определяется бесконечной двоичной дробью.

Попытаемся теперь проделать нечто аналогичное с двумерными континуумами, например, с поверхностью сферы или тора. На рис. 2, 3 показано как накинуть

очень грубые сети на сферу и тор; одна из этих сетей состоит из двух, другая — из четырех ячеек: сфера разделена на верхнее и нижнее полушарие экватором, тор склеен из четырех прямоугольных лоскутов. Ячейки представляют собой двумерные клетки, или, кратко, 2-клетки, топологически эквивалентные круглому диску. Комбинаторное описание упрощается, если ввести вершины и ребра разбиения — 0-клетки и 1-клетки. Обозначим вершины и ребра произвольными знаками и на их языке для каждой 2-клетки составим перечень ограничивающих ее 1-клеток, а дня каждой 1-клетки перечень ограничивающих ее 0-клеток. Мы получим топологическую схему S0. В наших двух примерах эта схема выглядит следующим образом [стрелка «>» означает «ограничена»]:

Сфера A ? α, α´. A´ ? α, α´. Α ? α, α´. α´ ? a, a´

Top A > α, α, γ, δ. A´ ? α, α, γ´, δ´. B ? β, β, γ, δ. B´ ? β, β, γ´, δ´. α > c, d. α > c, d. α > c, d. β > c, d. γ >c, c. γ´ ? c, c. δ > d, d. δ´ ? d, d.

Исходя из этого разбиения, рассматриваемого как первоначальное, станем уменьшать ячейки при помощи итерации универсального процесса нормального подразбиения: в каждой 1-клетке α = аbвыберем точку, которая служит новой вершиной α и делит 1-клетку на два сегмента αа и αb; в каждой 2-клетке А выберем точку А и разрежем клетку на треугольники, соединив только что созданную вершину А со старыми и новыми вершинами на 1-клетках (эти клетки образуют границу 2-клетки) линиями, которые проходят внутри 2-клетки. По аналогии с элементарной геометрией обозначим треугольники и их стороны соответствующими вершинами. На рис. 4 изображен пятиугольник до и после разбиения.

Треугольник Аβс ограничен 1-клетками βс, Аβ, Ас; 1-клетка Ас ограничена вершинами А и с. В результате мы приходим к следующему чисто символьному описанию процесса, посредством которого из заданной топологической схемы S получается подвергнутая разбиению схема S’. Любой символ е2е1е0, составленный из символа 2-клетки е2, символа 1-клетки e1 и символа 0-клетки е0 из S (2-клетка е2 ограничена 1-клеткой e1 1-клетка е1 ограничена 0-клеткой е0), соответствует некоторой 2-клетке еґ2 разбиения S'. Эта 2-клетка еґ2 = е2е1е0 S’ разбиения составляет часть 2-клетки е2 разбиения S. Символы клеток разбиения S’, образующих границу любой клетки, получаются из ее символа при отбрасывании любой из входящих в нее букв. При итерации этого комбинаторного процесса, производимого над знаками, исходная схема S0 порождает последовательность вторичных схем S0, S0’’, S0’’ … Нам остается лишь придумать, как составить систематический каталог частей, возникающих при последовательных разбиениях. Любую точку нашего континуума ухватывает последовательность

е е’е’’…; (2)

начинается она с 2-клетки е схемы S0, а за клеткой е(n) схемы S(n) следует одна из 2-клеток e(n+1) схемы .S(n+1), на которую 2-клетка е(n) распадается при (n+1)-м разбиении. (Строго говоря, наше описание следовало бы немного изменить, чтобы по достоинству отразить непрерывность континуума, но для нас сейчас достаточно и упрощенного описания, которое приведено выше.) Мы твердо знаем, что не только каждую точку можно ухватить такого рода последовательностью (Евдокс), но и что произвольно построенная последовательность этого типа всегда ухватывает некоторую точку (Дедекинд, Кантор). Такие фундаментальные понятия, как предел, сходимость и непрерывность, возникли в русле этой математической конструкции.

Теперь мы подошли к решающему шагу математической абстракции: забудем о том, что означают наши символы. Математики имеют дело только с каталогом знаков; они ведут себя как человек в справочном отделе библиотеки, которого не интересует, какие книги или фрагменты интуитивно постигаемого многообразия запечатлены с помощью знаков каталога. Такой человек не обязательно ленив: есть немало операций, которые можно выполнить, работая только с символами и не обращаясь непосредственно к вещам, которые они обозначают. Так, заменяя точки их знаками (2), математик превращает исходное многообразие в знаковую конструкцию, которую мы будем называть топологическим пространством {S0}, потому что в ее основе лежит только схема S0.

Детали несущественны; важно лишь то, что коль скоро задана исходная конечная символьная схема S0, мы, следуя абсолютно жестким правилам знакового конструирования, переходим от S0 к S0’, от S0' к S0ґґ и т. д. Идея итерации, впервые встретившаяся нам при построении натуральных чисел, и на этот раз играет решающую роль. Реализация знаковой схемы для заданного многообразия, например, для сферы или тора, как схемы последовательных разбиений может произвольно варьировать в широких пределах, будучи ограничена лишь требованием: ячейки сети должны в конце концов всюду становиться бесконечно малыми. В этом пункте и тесно связанном с ним требовании, чтобы каждая 2-клетка была наделена топологической структурой круглого диска, я вынужден довольствоваться не вполне четкими формулировками. Но математиков интересует не применение схемы или каталога к тому или иному заданному многообразию, а только схема сама по себе, лишенная каких бы то ни было неясностей. Более того, как мы сейчас убедимся, даже для физики такого рода применение не представляет особого интереса. Проделанный нами путь от многообразия через разбиение к чистой символике продиктован исключительно эвристическими соображениями.

Тот же подход, оперирующий только со знаками, позволяет строить не только 1— , 2—, но и 3—, 4—, 5—, ... мерные многообразия. В общем случае n-мерная схема S0 состоит из символов, называемых 0-, 1-, 2-, ..., n-клетками, и каждой i-клетке еi (i= 1, 2, ..., n) ставит в соответствие некоторые (i — 1)-клетки, образующие, как принято говорить, границу клетки еi. Ясно, каким образом этот процесс нормального разбиения переносится на общий случай. Для локализации событий (всех возможных «здесь-теперь») допустимо воспользоваться некоторой 4-мерной схемой; физические величины, изменяющиеся в пространстве и времени, суть функции точки, пробегающей соответствующее знаково-сконструированное 4-мерное топологическое пространство''. В этом смысле наш мир есть не что иное, как 4-мерный континуум. Причинную структуру, о которой говорилось выше, необходимо построить в среде этого 4-мерного мира, т.е. из символов, образующих наше топологическое пространство. Мы умышленно избрали топологический подход, поскольку только он позволяет достичь широты, достаточной для того, чтобы мы могли охватить одновременно специальную и общую теорию относительности. Специальная теория относительности рассматривает причинную структуру как нечто геометрическое, жесткое, заданное раз и навсегда, в общей же теории относительности эта структура обретает гибкость и зависимость от вещества - так же, как, например, электромагнитное поле.

 








Не нашли, что искали? Воспользуйтесь поиском по сайту:



©2015 - 2024 stydopedia.ru Все материалы защищены законодательством РФ.