Парадоксы и апории
Парадокс Галилея
Парадокс о том, что натуральных чисел и их квадратов можно установить взаимно-однозначное соответствие.
Краткое введение
Парадокс Галилея показывает необычные свойства бесконечных множеств. С одной стороны, квадратов натуральных чисел меньше, чем всех натуральных чисел, потому что не каждое число является квадратом. С другой — каждому натуральному числу соответствует ровно один квадрат, что позволяет говорить об одинаковом количестве элементов в бесконечном смысле.
Развернутое чтение
Парадокс Галилея — один из ранних примеров размышления о странностях бесконечности. Он связан с вопросом: можно ли сказать, что натуральных чисел столько же, сколько их квадратов? Интуиция конечных множеств подсказывает: квадратов меньше, потому что они составляют только часть всех чисел.
Галилей обращает внимание на два рассуждения. Первое: среди натуральных чисел есть квадраты — 1, 4, 9, 16 — и есть числа, которые квадратами не являются. Следовательно, множество всех натуральных чисел как будто больше множества квадратов. Это соответствует обычной евклидовой интуиции: целое больше своей части.
Второе рассуждение показывает обратное. Каждому натуральному числу можно сопоставить его квадрат: 1 соответствует 1, 2 соответствует 4, 3 соответствует 9, 4 соответствует 16. И наоборот, у каждого точного квадрата есть натуральный корень. Значит, между числами и квадратами можно установить взаимно-однозначное соответствие.
Для конечных множеств такая ситуация невозможна. Если одна группа является собственной частью другой, она обязательно содержит меньше элементов. Но бесконечные множества ведут себя иначе: собственная часть бесконечного множества может иметь ту же мощность, что и всё множество. Именно это и делает парадокс Галилея таким важным.
Сам Галилей сделал осторожный вывод: понятия «больше», «меньше» и «равно» в привычном количественном смысле применимы к конечным множествам, но с бесконечными требуют особой осторожности. Он ещё не обладал языком теории множеств, но очень точно почувствовал проблему.
В XIX веке Георг Кантор создал теорию бесконечных множеств и ввёл понятие мощности. В этой перспективе второе рассуждение Галилея оказалось плодотворным: множество натуральных чисел и множество квадратов натуральных чисел имеют одинаковую счётную мощность, несмотря на то что одно является собственной частью другого.
Парадокс важен не только для математики, но и для философии. Он показывает, что разум не может без проверки переносить правила конечного опыта на бесконечность. Бесконечное не является просто очень большим конечным; оно требует иных понятий и иной дисциплины мышления.
Интеллектуальная ценность парадокса Галилея в том, что он открывает переход от интуитивной арифметики к строгому анализу бесконечного. Он учит: иногда противоречит не сама математика, а наши привычки думать о бесконечности как о растянутом варианте конечного.
Бесконечность начинается там, где часть может оказаться равной целому, не переставая быть частью.
Источник материала: Словарь интеллигента