Бесчисленное поддается подсчету. Кантор. Бесконечность в математике

Однако отношения с Миттаг-Леффлером не продлились долго. В 1884 году тот убедил Кантора отозвать одну из статей, будучи уверенным в том, что действует в пользу автора. Миттаг-Леффлер понимал, что статья, озаглавленная «Принципы теории порядковых типов», слишком умозрительна, ей недостает ясных и четких результатов, и она может навредить репутации теории множеств. Он ответил Кантору, что тот написал слишком много, но так и не предъявил конкретных результатов, а это может дискредитировать теорию, и в этом случае потребуется еще сто лет, прежде чем на его идеи вновь обратят внимание. Кантор плохо воспринял совет Миттаг-Леффлера, посчитав, что тот намекает, будто ему надо подождать еще сто лет с публикацией своих идей: 

«Если верить Миттаг-Леффлеру, мне придется ждать до 1984 года, что кажется слишком строгим требованием! [...] Разумеется, я и знать больше ничего не желаю об Acta Mathematical.» 

Кантор написал это в 1885 году, прекратил всякое общение с Миттаг-Леффлером и больше не отправил в Acta Mathematica ни одной статьи. «Принципы теории порядковых типов» так и не были опубликованы. Ученый переживал один из самых тяжелых периодов своей жизни. Потеряв Дедекинда, в глазах которого, как считал Кантор, его оклеветали, не имея возможности создать исследовательский центр в Галле или попасть в желанные университеты Берлина или Геттингена, в мае 1884 года он впал в депрессию. Ему потребовалось немало времени, чтобы выйти из нее. Его математическое творчество, так ярко раскрывшееся в «Основах общего учения о многообразиях» 1883 года, угасло вплоть до 1890-х годов. В этот переходный период Кантор опубликовал несколько статей, в которых с переменным успехом исследовал философские последствия и возможные применения в физике своей теории бесконечности. Он также увлекся идеей о том, что произведения Шекспира были на самом деле написаны Фрэнсисом Бэконом. Эта теория появилась во второй половине XVIII века, и хотя большинство ученых считают ее абсурдной, даже сегодня у нее есть сторонники. Кантор потратил много денег на приобретение старинных изданий Шекспира и написал три монографии по этой теме.

ТРИГОНОМЕТРИЧЕСКИЕ РЯДЫ

Но вернемся к самому блестящему периоду в карьере Кантора, к статье «Основы общего учения о многообразиях» 1883 года. История ее создания началась еще в 1869 году, когда Георг Кантор приехал в Галле и в качестве темы исследования Эдуард Гейне предложил ему задачу, связанную с тригонометрическими рядами Фурье. Что такое тригонометрический ряд? Представим себе закрепленную сверху пружину, к нижнему концу которой подвешен определенный груз. Исходное положение пружины на рисунке 1 обозначено буквой А. Теперь потянем груз вниз, пока не достигнем положения ss, и отпустим его. Пружина расширится и сожмется, пройдя через точки С, Д Е и F, а также через все промежуточные. Предположим, что перед нами идеальная ситуация, и пружина никогда не перестанет двигаться и всегда будет возвращаться в положение максимального сжатия (D на рисунке 1) и максимального растягивания (В и F). Если мы соединим последовательные положения пружины кривой линией, то получим математическое описание ее движения (см. рисунок 2). Заметим, что поскольку груз несколько раз проходит через одни и те же точки, график повторяется.

ГЁСТА МИТТАГ-ЛЕФФЛЕР

Магнус Гёста Миттаг-Леффлер родился в Стокгольме (Швеция) 16 марта 1846 года. Его талант проявился уже в ранней юности; у него было много интересов, среди которых — наука и литература. В1865 году он записался в Уппсальский университет (опять же в Швеции), намереваясь стать государственным чиновником, но вскоре перешел на математический факультет и в 1872 году защитил докторскую диссертацию. Миттаг-Леффлер внес большой вклад в область исчисления, в аналитическую геометрию, теорию вероятностей, теорию функций; он был членом почти всех математических обществ Европы и получил несколько званий почетного доктора наук в таких университетах, как Оксфордский, Кембриджский, Болонский и университет Осло. В 1882 году он основал журнал Acta Mathematica, который курировал до самой смерти 7 июля 1927 года. Журнал издается до сих пор.

В таком случае его называют периодическим. В XVIII веке математики обратили внимание на то, что очень многие физические явления — например, связанные с распространением звука или тепла — могут быть описаны при помощи периодических графиков. Они также заметили, что иногда эти графики оказываются прерывистыми, то есть в них наблюдаются резкие скачки. Например, на рисунке 3 представлен график, состоящий из последовательности косых линий. Чтобы изобразить его, мы должны отметить «скачок» от верхнего края каждой линии к нижнему краю следующей. Этот график описывает не физическое движение, а интенсивность звукового сигнала; горизонтальная линия обозначает нулевую интенсивность или тишину. Рассмотрим, как можно интерпретировать график при этих условиях. В начале — тишина, а затем появляется звуковой сигнал, который постепенно увеличивает интенсивность (это видно по тому, как возрастает первая косая линия); звук достигает своей максимальной интенсивности, а затем наступает тишина, но тут же опять начинает увеличиваться интенсивность звука, как в предыдущий раз, и снова достигает максимального уровня (мы видим, что вторая косая линия такая же, как первая). Опять наступает тишина, а затем повторяется та же схема, снова и снова.

РИС.1

РИС. 2

РИС. 3

В начале XIX века французский математик Жозеф Фурье (1768-1830) разработал метод, который позволил ему записать любой график как сумму особых, при этом очень простых кривых, которые математически выражаются при помощи функций, названных тригонометрическими. Эти суммы, в свою очередь, обычно предполагают бесконечное (потенциально) количество кривых, и, так как в математике бесконечные суммы обычно называют рядами, этот метод сегодня известен как разложение на тригонометрические ряды, или ряды Фурье. Благодаря ему Фурье смог успешно изучить большое количество физических явлений, и он по-прежнему остается важным инструментом во многих областях математики, физики и инженерного дела.

ПАРАДОКС

Каков результат операции 1-1 + 1-1 + 1-..., которая продолжается бесконечно? Немецкий математик Готфрид Вильгельм фон Лейбниц (1646-1716) утверждал, что результатом этого «бесконечного вычисления» будет 1/2. Рассмотрим ход его рассуждений. Обозначим результат буквой S. Следовательно,

1-1 + 1-1 + 1-...=S

1-(1-1 + 1-1-...)=S.

Портрет Готфрида Вильгельма фон Лейбница, музей герцога Антона Ульриха в Брауншвейге (Германия), около 1700 года.

Поэтому результат выражения в скобках также будет равен S. Таким образом, получается, что 1 - S = S, откуда можно вывести, что S равно 1/2. Но мы можем сгруппировать члены выражения и по-другому:

1-1 + 1-1 + 1-.. . = (1-1)+(1-1)+(1-1)+... = 0 + 0 + 0+.. . = 0.

В этом случае мы получим 0. Или же мы можем сгруппировать так:

1-1 + 1-1 + 1-... = 1-(1-1)-(1-1)-... = 1-0-0-... = 1,

и результат будет равен 1. Какой же результат правильный: 1/2,0 или 1? Такие парадоксы мучили математиков на протяжении десятков лет, пока наконец в XIX веке не были выведены правила оперирования бесконечных сложений и вычитаний. На самом деле выражение 1-1+1-1+1-... не имеет никакого результата. Другими словами, предполагаемый результат на самом деле не существует. Рассуждения Лейбница неверны именно потому, что числа S нет.

ЕДИНСТВЕННОЕ РАЗЛОЖЕНИЕ

В 1860-е годы в Галле Эдуард Гейне решил проверить, всегда ли будет одинаковым разложение такого периодического графика, как ряд Фурье. Другими словами, Гейне хотел узнать, может ли один периодический график быть записан в виде двух разных тригонометрических рядов.

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

Кантор занялся этой задачей и в 1870 году получил первый результат: разложение будет единственным только при условии, что скачки распределены определенным образом, то есть отвечают особым требованиям. Точки графика имеют две координаты — абсциссу и ординату. Именно абсциссы должны выполнять эти условия. Однако Кантору было непросто выразить их конкретным, точным и изящным способом. Разумеется, он хорошо понимал, что это за условия, но не находил ясных и понятных слов для их описания.

ПРОИЗВОДНЫЕ МНОЖЕСТВА