Это было невероятно, и этот результат означал, что на любом, сколь угодно малом, отрезке содержится столько же точек, сколько во всей известной Вселенной. Внутри бесконечно малого оказалось заключено нечто бесконечно большое.
В действительности дело этим не ограничивается: также равно числу точек в произвольном гиперпространстве. Иными словами, если бы мы могли проникать в пространства высших измерений (четырех-, пятимерные пространства и т. д.), означало бы число точек, содержащихся в этих пространствах.
Трансцендентные числа
Вы увидели, что множества (натуральных чисел), (целых чисел) и (рациональных чисел) содержат одинаковое число элементов (то есть являются равномощными) — бесконечное число, обозначенное Кантором как . Множество вещественных чисел получается, если расширить множество рациональных чисел иррациональными. Возникает вопрос: существует ли столько иррациональных чисел, чтобы общее количество вещественных чисел равнялось ? Ответ на этот вопрос достаточно любопытен и не лишен таинственности. Однако чтобы понять его, сначала следует узнать о так называемых трансцендентных числах.
Уравнение одной переменной х степени п с рациональными коэффициентами — это равенство вида
Cnxn + Cn — 1xn — 1 +… + C1x + C0 = 0
Тому, кто не знаком с подобными выражениями, оно может показаться сложным, но это не так. В этом контексте уравнение — не более чем равенство, в левой части которого записаны слагаемые с неизвестным х, возведенным в некоторую степень и умноженным на некие числа (коэффициенты), а в правой части записан ноль. Решить уравнение означает найти такое значение х, при котором уравнение обращается в верное равенство. Например, в уравнении
х — 2 = 0
коэффициенты равны 1 и —2, а решением является х = 2.
Иррациональное число, например √2, является результатом решения уравнения вида
х2 — 2 = 0.
По определению, число х является алгебраическим, если оно выступает корнем (решением) алгебраического уравнения с целыми коэффициентами. Проясним некоторые понятия, чтобы сделать это определение более понятным. Алгебраическое уравнение представляет собой многочлен, приравненный к нулю, например
Зх2 + 5х — 1 = 0,
где 3, 5 и —1 — коэффициенты. Выражение
√3х5 - 5х2 = 0
также является уравнением, но его первый коэффициент не является целым числом, следовательно, это уравнение нельзя назвать алгебраическим.
Число 3 является алгебраическим, так как оно выступает решением уравнения
х — 3 = 0.
Очевидно, что любое рациональное число является алгебраическим, так как всегда можно записать алгебраическое уравнение, решением которого будет это число.
Как мы уже показали, √2 является решением уравнения х2 — 2 = 0, и, следовательно, это также алгебраическое число.
Если число не является алгебраическим, его называют трансцендентным. Этот термин, введенный Эйлером, происходит от латинского transcendere — «превосходить» и означает, что вычисление таких чисел в некотором роде выходит за рамки привычных математических операций. Доказать трансцендентность числа порой очень и очень непросто. Французский математик Жозеф Лиувилль (1809–1882) доказал существование трансцендентных чисел и открыл метод, позволяющий получить некоторые из них. Первым числом, которое удостоилось чести быть помещенным в список трансцендентных, стало L (число Лиувилля), определение которого слишком сложно, чтобы приводить его здесь. Записывается оно следующим образом:
L = 0,1100010000000000000000010000…
В 1873 году французский математик Шарль Эрмит (1822–1901), ученик Лиувилля, доказал, что е (основание натурального логарифма, приближенное значение которого равно 2,718281828459043235360287471352…) не является алгебраическим числом. Получить это доказательство было непросто — оно не далось самому Эйлеру.
Одно из самых известных чисел в истории математики — это число π («пи»), равное отношению длины окружности к ее диаметру. Доказательство трансцендентности е оказалось столь сложным, что Эрмит не решился взяться за аналогичное доказательство для числа π, о чем написал Карлу Вильгельму Борхардту (1817–1880): «Я не осмелился приступить к доказательству трансцендентности числа π. Если кто-то другой попытается это сделать, не будет человека счастливее меня, но поверьте мне, любезный друг, что это доказательство потребует немалых усилий».
Трансцендентность числа π была доказана Линдеманом лишь несколько лет спустя, в 1882 году. Это открытие стало важной вехой в истории математики, так как означало невозможность решения задачи о квадратуре круга.
Сегодня доказано, что трансцендентными являются числа e, π, eπ, 2√2, sin(1), ln2, ln3/ln2 и некоторые другие, однако до сих пор остается открытым вопрос о трансцендентности таких чисел, как еc, ππ и πc.
Шарль Эрмит на фотографии 1887 года. Этот французский математик доказал, что число е не является алгебраическим.
Известно, например, что по меньшей мере одно из двух чисел (возможно, оба сразу) πc и π+с является трансцендентным, но доказать трансцендентность каждого их них по отдельности до сих пор не удалось. Трансцендентные числа — редкие создания, обнаружить их непросто. Это наводит на мысль о том, что таких чисел немного, но в действительности это совершенно не так: их много, очень много, бесконечно много и даже больше.
Бесконечное множество вещественных чисел содержит рациональные числа, которые являются алгебраическими, и иррациональные числа, часть которых является трансцендентными. Однако трансцендентных чисел больше, чем алгебраических.
Кантор, обнаружив подлинную гениальность (полученные результаты изумили его самого), сформулировал простое доказательство того, что существует бесконечно много трансцендентных чисел. С одной стороны, известно, что множество вещественных чисел не является счетным. С другой стороны, множество алгебраических чисел является счетным. Из этих двух утверждений следует, что существуют числа, которые не являются алгебраическими. Более того, Кантор доказал, что множество этих чисел не является счетным.
Вывод: множество вещественных чисел так велико именно благодаря трансцендентным числам.
Трансфинитные числа
Арифметика трансфинитных чисел отличается от арифметики конечных чисел.
Георг Кантор
Как мы показали в предыдущем разделе, если дано множество А = {а, Ь, с, d}, можно образовать ряд его подмножеств
{а}, {Ь}, {с}, {d}, {а, b), {а, с}, {a, d}, {Ь, с}, {Ь, d}, {с, d}, {а, Ь, с}, {а, Ь, d}, {а, с, d}, {Ь, с, d},
которые будут так называемыми собственными подмножествами А. Кроме них, подмножествами А также являются само множество А и пустое множество, обозначаемое символом 0 и не содержащее никаких элементов. Считается, что пустое множество является подмножеством любого множества, и эти два множества (исходное и пустое) считаются несобственными подмножествами. Добавив к вышеприведенному списку собственных подмножеств эти два множества, мы получим полный перечень всех подмножеств А:
, {а}, {Ь}, {с}, {d}, {а, Ь}, {а, с}, {а, d}, {b, с}, {b, d}, {с, d}, {а, Ь, с}, {а, b, d}, {а, с, d}, {Ь, с, d}, {а, Ь, с, d}, —
итого 16 подмножеств.
Заметим, что 24 = 16, таким образом, число подмножеств А равно 2 в степени, равной числу элементов А. Нетрудно доказать, что это соотношение справедливо для всех множеств. Таким образом, для любого множества, содержащего n элементов, число его подмножеств будет равно 2n.
Множество, образованное всеми подмножествами А, называется множеством-степенью A и обозначается . Кантор доказал, что для любого множества его множество-степень больше, чем само множество, то есть оно содержит больше элементов, или, если быть математически корректными, его кардинальное число больше, чем у исходного множества. Будем обозначать кардинальное число А как |А|.
