ПОСЛЕДСТВИЯ
На этом мы закончим разговор о статье 1874 года. Но в чем же заключались ее революционные последствия, которые Вейерштрасс посоветовал скрыть?
Вернемся к диагональному методу: с его помощью было доказано, что попытка установить взаимно однозначное соответствие между множествами простых и вещественных чисел окончится неудачей, так как всегда останутся вещественные числа без пары. Теперь вспомним пример с парами танцоров из предыдущей главы. Если бы нам заранее сказали, что вне зависимости от того, как сформируются пары, все равно останутся женщины без партнера, мы сразу заключили бы, что женщин больше, чем мужчин. Если в любом случае остаются вещественные числа без пары, это означает, что их больше, чем натуральных, но не в том смысле, что одно множество входит в другое, а в смысле их мощности. Кардинальное число (мощность) вещественных чисел («количество членов» в нем) больше, чем у натуральных чисел.
Целые, натуральные и рациональные числа обладают одинаковой мощностью, а «уровень бесконечности» вещественных чисел выше, чем натуральных. Их бесконечное множество «больше» бесконечного множества натуральных. Таким образом, Георг Кантор не только осмелился сравнить два бесконечных континуума — это возмутило бы и Аристотеля, и Галилея,— но и пришел к выводу, что некоторые бесконечности больше других. Иными словами, его доказательство касательно трансцендентных чисел таково: бесконечность множества вещественных чисел больше бесконечности алгебраических чисел, следовательно, должно быть бесконечное множество вещественных чисел, которые не являются алгебраическими, то есть бесконечные трансцендентные числа. В 1874 году эти идеи были настолько революционными, что Вейерштрасс посоветовал Кантору скрыть их. Но почему же тогда Кантор все-таки занялся ими? Из чистого противоречия?
АЛГЕБРАИЧЕСКИЕ ЧИСЛА
Число называется алгебраическим, если является решением уравнения типа a>nx>n + a>n-X1>n-1 + ... + a>X1 + a>0 = 0, где a>n, a>n-1,... ,a>0 — целые числа, а a>n ≠ 0. Например, 7/5 — алгебраическое число, так как является решением уравнения 5х - 7 = 0; еще один пример алгебраического числа — √3, которое является решением уравнения х>2 - 3 = 0. Это уравнение называется уравнением второй степени, так как наибольшая степень х в нем — х>2; уравнение, приведенное вначале, — уравнение первой степени (напомним, что x = x1). Мы можем доказать, что √3 является не только решением уравнения x
