Математика. Утрата определенности.

Таким образом, введя актуально бесконечные множества, Кантор выступил против традиционных представлений о бесконечности, разделяемых великими математиками прошлого. Свою позицию Кантор пытался аргументировать ссылкой на то, что потенциальная бесконечность в действительности зависит от логически предшествующей ей актуальной бесконечности. Кантор указывал также на то, что десятичные разложения иррациональных чисел, например числа √2, представляют собой актуально бесконечные множества, поскольку любой конечный отрезок такого разложения дает лишь конечное приближение к иррациональному числу. Сознавая, сколь резко он расходится во взглядах со своими предшественниками, Кантор с горечью признался в 1883 г.: «Я оказался в своего рода оппозиции к общепринятым взглядам на математическую бесконечность и к нередко отстаиваемым суждениям о природе числа».

В 1873 г. Кантор не только занялся изучением бесконечных множеств как «готовых» (т.е. реально существующих) сущностей, но и поставил задачу классифицировать актуально бесконечные множества ([15]*, [53]). Введенные Кантором определения позволяли сравнивать два актуально бесконечных множества и устанавливать, содержат ли они одинаковое, «число элементов» или нет. Основная идея Кантора сводилась к установлению взаимно-однозначного соответствия между множествами. Так, 5 книгам и 5 шарам можно сопоставить одно и то же число 5 потому, что книги и шары можно разбить на пары, каждая из которых содержит по одной, и только одной книге, и по одному, и только одному, шару. Аналогичное разбиение на пары Кантор применил, устанавливая взаимно-однозначное соответствие между элементами бесконечных множеств. Например, взаимно-однозначное соответствие между положительными целыми числами и четными числами можно установить, объединив те и другие в пары:

1 2 3 4 5 …,

2 4 6 8 10 …

Каждому целому числу при этом соответствует ровно одно четное число (равное удвоенному целому), а каждому четному числу соответствует ровно одно целое число (равное половине четного). Следовательно, в каждом из двух бесконечных множеств — множестве целых чисел и множестве четных чисел — элементов столько же, сколько в другом множестве. Установленное соответствие (то, что все множество целых чисел можно поставить во взаимно-однозначное соответствие с частью этого множества) казалось неразумным предшественникам Кантора{99} и заставляло их отвергать все попытки рассмотрения бесконечных множеств. Но это не испугало Кантора. С присущей ему проницательностью он понял, что бесконечные множества могут подчиняться новым законам, не применимым к конечным совокупностям или множествам, подобно тому как, например, кватернионы подчиняются законам, не применимым к вещественным числам. И Кантор определил бесконечное множество как такое множество, которое можно поставить во взаимно-однозначное соответствие со своим собственным (т.е. отличным от всего множества) подмножеством.

Идея взаимно-однозначного соответствия привела Кантора к неожиданному результату: он показал, что можно установить взаимно-однозначное соответствие между точками прямой и точками плоскости (и даже точками n-

мерного пространства). По поводу этого результата он писал в 1877 г. своему другу Рихарду Дедекинду: «Я вижу это, но не могу в это поверить». Тем не менее Кантор поверил в правильность полученного им результата и, следуя принципу взаимно-однозначного соответствия, установил для бесконечных множеств отношение эквивалентности, или равенства («равномощности» двух множеств).

Кантор выяснил также, в каком смысле следует понимать, что одно бесконечное множество больше другого{100}: если множество A

можно поставить во взаимно-однозначное соответствие с частью или собственным подмножеством множества B, а множество B невозможно поставить во взаимно-однозначное соответствие с множеством A

или собственным подмножеством множества A, то множество B по определению больше множества A. Это определение по существу обобщает на бесконечные множества то, что непосредственно очевидно в случае конечных множеств. Если у нас имеется 5 шаров и 7 книг, то между шарами и частью книг можно установить взаимно-однозначное соответствие, но невозможно установить взаимно-однозначное соответствие между всеми книгами и всеми шарами или частью шаров. Используя свои определения равенства и неравенства бесконечных множеств, Кантор сумел получить поистине удивительный результат: множество целых чисел равно («равномощно») множеству рациональных чисел (всех положительных и отрицательных целых чисел и дробей), но меньше множества всех вещественных (рациональных и иррациональных) чисел.