В поисках бесконечности

Если взять отрезок или окружность, то их можно разбить на сколь угодно малые части так, что каждая точка принадлежит не более чем двум кусочкам (рис. 33). При этом надо брать кусочки вместе с их границами (то есть конечными точками). Квадрат уже так разбить нельзя. На первый взгляд кажется, что при разбиении квадрата на куски всегда будут точки, принадлежащие четырем частям (рис. 34, а). Но если уложить части так, как кладут кирпичи на стройке, то удается добиться, чтобы каждая точка принадлежала не более чем трем различным частям (рис. 34, б). Точно так же у куба есть разбиение на маленькие параллелепипеды, при котором каждая точка принадлежит не более чем четырем параллелепипедам.

Рис. 34

Именно это свойство и принял Урысои за новое определение размерности. Фигура называется имеющей размерность n, если ее можно разбить на сколь угодно малые замкнутые части так, чтобы ни одна точка не принадлежала n+2 различным частям, но при любом достаточно мелком разбиении найдутся точки, принадлежащие n+1 различным частям.

Используя это определение размерности, Урысон доказал, что размерность квадрата равна 2, куба — 3 и т. д. А потом он показал, что это определение равносильно первоначально данному.

Построенная Урысоном теория размерности произвела глубокое впечатление на весь математический мир. Об этом ярко говорит следующий эпизод. Во время заграничной командировки Урысон сделал доклад о своих результатах в Геттингене. До прихода нацистов к власти Геттингенский университет был одним из основных математических центров. После доклада руководитель геттингенской математической школы знаменитый Давид Гильберт сказал, что эти результаты надо опубликовать в журнале "Mathematische Annalen" — одном из главных математических журналов того времени. Через несколько месяцев Урысон снова делал доклад в Геттингене и Гильберт спросил у своего помощника по журналу, напечатана ли уже работа Урысона. Тот ответил, что работа рецензируется. "Но я же ясно сказал, что ее надо не рецензировать, а печатать!" — воскликнул Гильберт. После столь недвусмысленного заявления статья была немедленно напечатана.

В течение трех лет продолжалась не имеющая равных по глубине и напряженности научная деятельность Урысона (за это время он опубликовал несколько десятков научных работ). Трагический случай оборвал его жизнь — он утонул 17 августа 1924 г., купаясь во время шторма в Бискайском заливе. За день до смерти он закончил очередную научную работу.

После смерти П. С. Урысона остались многочисленные черновики и наброски неопубликованных результатов. Его ближайший друг (и соавтор по многим работам) Павел Сергеевич Александров, отложив на некоторое время свои исследования, подготовил эти работы к печати, сделав тем самым и эти результаты Урысона достоянием всех математиков. В настоящее время теория размерности стала важной главой математики.

Глава 4. В поисках абсолюта

Новые осложнения.

Успехи, достигнутые в исследовании функций и линий при помощи теории множеств, сделали ее полноправным членом семьи математических наук. Это признание было зафиксировано на состоявшемся в 1897 г. Первом Международном конгрессе математиков, проходившем в швейцарском городе Цюрихе. В докладах виднейших специалистов по математическому анализу А. Гурвица[97] и Ж. Адамара[98] были показаны самые разнообразные применения множеств, вскрыта их связь с общей теорией так называемых аналитических функций. На проведенном через три года Втором Международном математическом конгрессе Давид Гильберт поставил среди 23 важнейших нерешенных проблем математики и вопросы, связанные с теорией множеств. Высоко оценил работы Кантора в своем выступлении на том же конгрессе Анри Пуанкаре. Говоря о роли интуиции и логики в математике, он сказал, что в теории множеств математика обрела совершенно прочный и надежный фундамент и теперь в математике остаются только натуральные числа и конечные или бесконечные системы таких чисел. По его мнению, математика стала полностью арифметизированной и в ней, наконец, достигнута абсолютная строгость.

При такой оценке теории множеств, данной ведущими учеными того времени, неудивительно, что на ее создателя Георга Кантора дождем посыпались академические награды — он был избран почетным членом Лондонского королевского общества, членом-корреспондентом Института науки, литературы и искусства в Венеции, почетным доктором математики университета в Христиании (ныне Осло) и т. д.