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

Когда мы пишем 0 + 0 + 0 + 0 +..., мощность складываемых нулей равна ******** ..., тоесть она такая же, как у натуральных чисел. Мы складываем счетное количество нулей! Сумма счетного количества нулей действительно равна нулю, поэтому континуум не может быть счетным.

Но у несчетных сумм свои правила, которые отличаются от правил счетных сумм, и интересно, что сумма несчетного количества нулей может быть больше нуля. Таким образом, как говорил Кантор, мы видим, что различие между счетностью и несчетностью имеет решающее значение в определении вещественных чисел и, следовательно, в исчислении. Но картина еще не завершена. Почему в заголовке статьи, в которой Кантор дает определение вещественным числам, упоминаются «тригонометрические ряды»? Что это такое и какую роль они сыграли в развитии научной мысли Кантора? Об этом — в следующей главе.

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

В подходе к математике Георга Кантора и Рихарда Дедекинда было много общего. В частности, оба соглашались с необходимостью ввести в нее понятие множества. Но что это такое — «понятие теории множеств»?

В статье 1883 года, озаглавленной «Основы общего учения о многообразиях» с подзаголовком «Математически-философский опыт учения о бесконечном» и изданной Кантором самостоятельно в виде отдельной монографии (с «самыми удивительными, самыми неожиданными идеями»), он отмечал:

«Mannigfaltigkeitslehre [учение о многообразиях]. Этими словами я обозначаю одну чрезвычайно обширную дисциплину, которую до этого я пытался разработать лишь в специальной форме арифметического или геометрического учения о множествах. Под «многообразием» или «множеством» я понимаю вообще всякое многое, которое можно мыслить как единое, то есть всякую совокупность определенных элементов, которая может быть связана в одно целое с помощью некоторого закона».

«Множество», таким образом, — это синоним «группы», в том смысле, в котором мы обычно употребляем это слово. Данное определение сыграло важнейшую роль в развитии математики, установив, что множество — это объект, отличный по своей сути от своих составляющих. Несколько лет спустя британский логик Бертран Рассел (1872-1970) проиллюстрировал это различие словами: «Табун лошадей — не то же самое, что лошадь».

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

Рихард Дедекинд в письме немецкому математику Феликсу Бернштейну, 1899 год

Так, множество всех рациональных чисел, которое обычно обозначается буквой Q, имеет особые характеристики. Они относятся только к Q в целом, но не к рациональным числам по отдельности, например счетность. В случае, когда мы говорим о Q как о совокупности актуально существующей, определение множества подразумевает, что мы должны принять идею актуальной бесконечности.

Мы можем совершать операции с числами — складывать или умножать — так же, как с множествами (например, объединять). Если есть два множества, их объединение даст другое множество, включающее в себя все объекты, из которых состоят эти два множества. Если мы возьмем множество натуральных чисел N, членами которого являются 0, 1,2, 3, ..., и множество отрицательных целых чисел Ν', то их объединением будет множество целых чисел, которое обычно обозначается буквой Ζ (первой буквой немецкого слова Zahl, «число») и содержит одновременно члены N и Ν'. В записи математическими символами это выглядело бы так: N U Ν’ = Ζ (см. рисунок).

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