Читать «100 великих научных открытий» онлайн - страница 230

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

Кроме того, Кантор подметил, что бесконечные целые числа очень похожи на ту точку в плоской системе координат, которая очень сильно отдалена от обычных точек с конечными значениями. Эти числа так же далеки от конечных, только, в отличие от точки, их много — целый ряд! И не найдется среди них ни пары одинаковых, а стоят они, выстроившись в определенной последовательности, подчиненной строгим законам. Потому-то их множество нельзя назвать потенциальным — оно актуальное, и его можно разделить на классы: в первом классе сидят конечные значения, во втором — бесконечные одного рода, в третьем — бесконечные другого рода и т. д.

И что интересно, каждый ряд, каждое множество, хоть конечное, хоть бесконечное, отличается определенной мощностью, которая измеряется по количеству элементов множества. Но если с конечными рядами все более-менее понятно: посчитал все числа, и готово, — то с бесконечными возникают некоторые трудности. Просто посчитать его элементы не получится! Поэтому Кантор предложил использовать метод сопоставления: если каждому элементу одного множества можно подобрать пару в другом множестве, то эти ряды одинаково мощные. Если же в одном множестве наберется элементов только на часть другого множества (то есть после того, как множества разобьются на пары, во втором останутся одинокие элементы), значит, второе явно мощнее. И чем больше классов в ряду, тем выше его мощность. (Кстати, расчеты ученого показали нечто фантастическое: множества точек на прямом отрезке и на периметре квадрата имеют равную мощность, каким бы коротким ни был отрезок и каким бы большим ни казался квадрат.)

А как насчет сложения самих чисел? Вычислить сумму элементов конечного ряда — не хитрость, но можно найти ее и в бесконечном ряду. Там все зависит от последовательности элементов: скажем, странные ряды вроде (1 + 1 ‒ 1 + 1…) и (1 + 2 ‒ 3 + 4…) суммируются по среднему арифметическому начальных элементов. А привычный (1 + 2 + 3…) заставит проделать несколько сложных операций и выдаст в итоге ‒¹⁄₁₂.

Все эти наблюдения позволили Кантору ввести понятие упорядоченного множества, где все элементы расположены в обозначенном заранее порядке, за первым, начальным числом следует второе, определенное изначально, и такой же последователь прикреплен к каждому элементу. Если множество упорядочить, то числа в нем будут подчиняться законам, общим абсолютно для всех целых чисел, и с ними можно будет выполнять те же операции. Что касается внутренней сути актуальных бесконечных множеств, то, по мнению ученого, они имеют двойную связь с реальностью. С одной стороны, множества связаны с миром идей в нашей голове: мы сами приписываем числам какие-то свойства, распределяем на категории, придумываем с ними разные действия. С другой стороны, числовые множества отображают разнообразные процессы и взаимоотношения внешнего мира (взятьхотя бы графики функций), к тому же материальные объекты объединяются с рядами чисел понятием мощности.