Магия математики. Как найти x и зачем это нужно

Множество, способное к объединению в пары, называется счетным. Степень бесконечности у него, как правило, невелика. Любое множество, величины которого можно перечислить, является счетным, так как первый его элемент есть пара к 1, второй – к 2 и т. д. Множество всех целых величин

… –3, –2, –1, 0, 1, 2, 3…

перечислить от меньшего значения к большему не получится просто потому, что нет никакого «стартового» наименьшего значения. Зато получится перечислить их вот так:

0, 1, –1, 2, –2, 3, –3…

Следовательно, множество всех целых является счетным, а число его элементов равно числу элементов в множестве положительных целых.

А что насчет множества положительных рациональных величин? Напомню: рациональными называются числа, имеющие форму m/n, где и m, и n суть положительные целые. Хотите – верьте, хотите – нет, но и это множество будет счетным. Перечислить его элементы можно следующим образом:

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

Отступление

А существуют ли вообще такие бесконечные множества, которые не являются счетными? Немецкий математик Георг Кантор (1845–1918) доказал, что все действительные величины, даже только те из них, что ограничены диапазоном от 0 до 1, образуют несчетное множество. Можно, конечно, попробовать перечислить их следующим образом:

0,1, 0,2…., 0,9, 0,01, 0,02…., 0,99, 0,001, 0,002…., 0,999…

и т. д. Но так мы никогда не выйдем за пределы величин с конечным количеством знаков. Число 1/3 = 0,333…, например, в нашем списке так и не встретится. Но, может, есть какой-нибудь другой, более эффективный способ перечисления? Кантор доказал, что его нет. Он пошел от обратного – предположил, что множество действительных величин является счетным. Он взял конкретный пример и начал с