Когда мы пишем 0 + 0 + 0 + 0 +..., мощность складываемых нулей равна ******** ..., >то есть она такая же, как у натуральных чисел. Мы складываем счетное количество нулей! Сумма счетного количества нулей действительно равна нулю, поэтому континуум не может быть счетным.
Но у несчетных сумм свои правила, которые отличаются от правил счетных сумм, и интересно, что сумма несчетного количества нулей может быть больше нуля. Таким образом, как говорил Кантор, мы видим, что различие между счетностью и несчетностью имеет решающее значение в определении вещественных чисел и, следовательно, в исчислении. Но картина еще не завершена. Почему в заголовке статьи, в которой Кантор дает определение вещественным числам, упоминаются «тригонометрические ряды»? Что это такое и какую роль они сыграли в развитии научной мысли Кантора? Об этом — в следующей главе.
ГЛАВА 4
Бесконечные ординальные числа
В 1883 году Георг Кантор опубликовал статью «Основы общего учения о многообразиях», которая стала кульминацией его математического творчества. В ней он впервые дал определение множеству бесконечных чисел, которые назвал ординальными. Зерно идей, изложенных в этой работе, уже присутствовало в статье, которую Кантор написал десятью годами ранее, но для того чтобы полностью развить их, ему требовалось преодолеть интеллектуальные предубеждения своей эпохи.
В подходе к математике Георга Кантора и Рихарда Дедекинда было много общего. В частности, оба соглашались с необходимостью ввести в нее понятие множества. Но что это такое — «понятие теории множеств»?
В статье 1883 года, озаглавленной «Основы общего учения о многообразиях» с подзаголовком «Математически-философский опыт учения о бесконечном» и изданной Кантором самостоятельно в виде отдельной монографии (с «самыми удивительными, самыми неожиданными идеями»), он отмечал:
«Mannigfaltigkeitslehre [учение о многообразиях]. Этими словами я обозначаю одну чрезвычайно обширную дисциплину, которую до этого я пытался разработать лишь в специальной форме арифметического или геометрического учения о множествах. Под «многообразием» или «множеством» я понимаю вообще всякое многое, которое можно мыслить как единое, то есть всякую совокупность определенных элементов, которая может быть связана в одно целое с помощью некоторого закона».
«Множество», таким образом, — это синоним «группы», в том смысле, в котором мы обычно употребляем это слово. Данное определение сыграло важнейшую роль в развитии математики, установив, что множество — это объект, отличный по своей сути от своих составляющих. Несколько лет спустя британский логик Бертран Рассел (1872-1970) проиллюстрировал это различие словами: «Табун лошадей — не то же самое, что лошадь».
