Том 18. Открытие без границ. Бесконечность в математике | страница 57
Но существуют примеры, когда это не так. Рассмотрим
n —> 2n
В соответствии с этим
1 —> 2
2 —> 4
3 —> 6
…
Иными словами, каждому натуральному числу соответствует четное число и, напротив, каждому четному числу соответствует натуральное число. Это означает, что кардинальность этих множеств одинакова, и утверждение «существует столько же натуральных чисел, сколько четных» вовсе не парадокс, хотя оно явно противоречит интуиции. Таким образом, альтернативное определение бесконечного множества звучит так: множество является бесконечным, если между этим множеством и какой-либо из его частей (каким-либо его собственным подмножеством) можно установить взаимно однозначное соответствие.
В этом случае парадокс, сформулированный Галилеем (см. главу 3), — это уже не парадокс, а констатация факта: множество натуральных чисел является бесконечным.
Путем аналогичных рассуждений можно доказать, что множество натуральных чисел
Кантор также сформулировал очень важное понятие счетного множества. По определению, множество А называется счетным, если можно установить взаимно однозначное соответствие между А и подмножеством
Когда мы заявляем, что места в зале кинотеатра пронумерованы, мы говорим о взаимно однозначном соответствии между подмножеством натуральных чисел и множеством кресел и сопоставляем каждому креслу число.
Мы уже показали, что множество целых чисел является счетным. Далее Кантор получил поистине удивительный результат: множество рациональных чисел