Guest
Новичок
|
    
хотелось бы услышать комментарии на вот этут вот заметку: внешняя ссылка удалена
на всякий случай процитирую:
Для начала хотелось бы напомнить классическое доказательство бесконечности ряда натуральных чисел:
Предположим, что мы нашли конец, значит среди всех чисел можно найти максимальное, прибавить к нему 1 и получить новое натуральное число, которое находится за установленной нами границей. далее формулируем индукционный переход: для любого конечного множества натуральных чисел можно найти натуральное число, которое не будет входить в это множество.
и делаем вывод, что множество натуральных чисел не является конечным или, что то же самое, является бесконечным.
Теперь перейдём собственно к Кантору... суть его "доказательства" сводится к следующему: пусть мы пересчитали все вещественные числа, тогда, мы можем выписать их в ряд:
0: 0.abc...
1: 0.def...
2: 0.ghi...
...
, а потом используя диагональный метод составить новое число, где первая цифра не равна первой цифре первого числа, вторая - второй второго и так далее.
Далее мы делаем финт ушами - предельный переход - и получаем число, которого нет в нашем списке, из чего делаем вывад о том, что множество вещественных чисел мощнее множества натуральных. Подумать только - одна бесконечность больше другой бесконечности на целый 1 элемент! ^_^ (Всем, кто не согласен с моими рассуждениями, советую крепко задуматься над последним предложением.)
Что мешает нам полученное число тут же добавить, например, в начало списка? А ничего! (надеюсь все согласны, что "бесконечность+1=бесконечность"?) Да, после этого можно повторить процедуру и найти ещё одно число. Ничего не напоминает? Та же самая схема, что и в случае доказательства бесконечности множества натуральных чисел, но вот вывод из этого Кантором сделан неверный. Фактически он доказывает бесконечность множества вещественных чисел, ибо диагональный метод всего-лишь позволяет по конечному множеству вещественных чисел найти вещественное число, которое в это множество не входит (вспоминаем индукционный переход в доказательстве бесконечности ряда натуральных чисел). На бесконечном же множестве диагональный метод будет бесконечно искать, но так и не найдёт неучтённое число. Точно также мы можем прибавлять единицу бесконечное число раз в поиске последнего натурального числа, но так никогла его и не найти.
|
Форум
счётность континуума
