По следам бесконечности - [20]

Но теория множеств, развитая Кантором, по существу, имеет дело с актуальной бесконечностью. С этой целью Кантор обобщил понятие обычного числа до понятия трансфинитного числа. Он сделал попытку создать математический аппарат для описания актуально бесконечных множеств.

Например, первое трансфинитное число ω Кантор определяет как наименьшее из всех чисел, больших любого натурального числа. При этом он использовал одно из определений предела: Т является пределом {а_n}, если Т наименьшее из чисел, больших каждого из а_n. Последующие трансфинитные числа получаются из ω путем прибавления единицы: ω + 1, ω + 2, ω + 3… Трансфинитное число следующего, второго класса ω2 есть наименьшее из всех чисел, больших чисел вида ω + n и т. д.

Счетные множества имеют мощность первого числового класса. Следующая мощность может быть приписана всем числам второго класса и т. д. Так строится шкала последовательно увеличивающихся мощностей бесконечных множеств.

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

Главной отличительной особенностью теории Кантора явилось то обстоятельство, что бесконечные множества рассматривались в ней в завершенном виде как совокупность бесконечного числа всех содержащихся в них элементов.

«Эта бесконечность элементов, — писал советский академик Н. Лузин, — „схваченная“ вместе в одно целое данным характеристическим свойством, является тем самым уже данной вся целиком, уже сформированной и неизменной и, следовательно, как бы уже неподвижной и замкнутой в себе».

Георгу Кантору удалось достичь блестящих результатов и решить ряд очень важных задач, имевших первостепенное значение для развития математической науки.

Но, пожалуй, одной из самых замечательных особенностей новой теории множеств явилась ее небывалая общность. Операции с множествами и подмножествами не накладывают абсолютно никаких ограничений на характер объектов, составляющих эти множества. Они могут быть одушевленными или неодушевленными, маленькими или большими, реальными или воображаемыми. Это обстоятельство привело к тому, что понятия теории множеств стали в одни ряд с наиболее общими понятиями логики.

А в одном пункте теория множеств даже ушла вперед: ведь ее понятия относятся к бесконечным классам объектов, в то время как даже самые общие понятия формальной логики относятся к конечным классам. При этом оказывались нарушенными обычные нормы мышления. Потеряло прежний универсальный смысл утверждение «целое больше своей части». Для трансфинитных чисел операция сложения оказалась зависимой от порядка слагаемых.

После работ Кантора операции с бесконечными множествами стали проводиться как если бы все их элементы находились в нашем распоряжении. Бесконечное в самом деле приобрело актуальный характер.

Смелые идеи Кантора, вступившие в противоречие с многовековыми традициями, господствовавшими в математике, идеи, которые приводили к неожиданным и парадоксальным результатам, встретили серьезную оппозицию в лице многих ученых того времени, хотя ни один значительный математик не выступил в печати с отрицанием теории множеств или ее отдельных положений.

Предубеждение к повой теории в какой-то мере объяснялось еще тем, что Кантор, будучи глубоко верующим католиком, придавал своим статьям откровенно выраженную теологическую форму.

Так, он, например, пытался проводить параллель между свойствами бесконечных множеств и библейскими представлениями о боге.

И все же большинство так или иначе сознавали необходимость теории множеств для самых разнообразных областей математики, В частности, с неизменным вниманием относился к исследованиям Кантора его бывший учитель — один из крупнейших математиков того времени немецкий ученый Вейерштрасс. Когда в 1874 году Кантор доказал несчетность множества действительных чисел, заключенных на отрезке, Вейерштрасс убедил его опубликовать полученный результат и сделал все, чтобы работа Кантора была напечатана в самом распространенном математическом периодическом издании того времени «Журнале чистой и прикладной математики».

В августе 1897 года в Цюрихе состоялся первый Международный конгресс математиков, на котором присутствовало около 250 ученых из 16 стран. В первый же день на пленарном заседании выступал А. Гурвиц с докладом по теории так называемых аналитических функций. Все его выступление было пронизано теоретико-множественными идеями.

Теории множеств посвятил свой доклад также известный французский математик Ж. Адамар.

Это было официальным признанием теории.

Третий кризис

Казалось, все говорило о том, что теперь шествие теории множеств будет победным. Стремительно росло число публикуемых работ. Чуть ли не поголовно увлекались новой теорией молодые математики и студенты. Наконец получил глубокое и всестороннее обоснование анализ бесконечно малых.