У интуиции есть своя логика. Гёдель. Теоремы о неполноте (Пиньейро) - страница 11

РИС. 1

РИС. 2

Функция на рисунке 1 — это результат сложения бесконечного количества волн, изменяющих различными способами основную волну на рисунке 2. Например, мы можем сжать или растянуть ее вертикально или горизонтально. На рисунках 3 и 4 показано, соответственно, вертикальное растяжение волны с рисунка 2 и ее сжатие.

РИС.З

РИС. 4

На рисунке 5 показано горизонтальное сжатие волны с рисунка 2. Волны также могут перемещаться по вертикали или горизонтали: на рисунке 6 показана волна с рисунка 2, смещенная горизонтально.

РИС. 5

РИС. 6

Единица — особый случай, который по техническим причинам рассматривается отдельно: это число не является ни простым, ни произведением простых, хотя причины этого отделения неважны для нашего обсуждения. Например: 12 = 2 х 2 x 3; 9 = 3 x 3; 15 = 3 x 5. Есть ли другой способ записать число 12 как произведение простых чисел? Или вариант 2 х 2 х 3 единственно возможный? Ответ заключается в том, что, не учитывая таких тривиальных вариаций, как изменение порядка чисел или группировки 2 х 2 в виде 2², единственная форма записи 12 в виде произведения простых чисел — это 2 х х 2 х 3, и это верно для всех остальных натуральных чисел.

Разложение на простые числа всегда единственное, и эта единственность создает более сильную связь между числами и их простыми множителями. Благодаря этому свойства разложения (или факторизации) на простые числа становятся сильнее.

Эдуард Гейне задался вопросом, существует ли подобная связь между периодической функцией и элементарными волнами. Единственное ли это разложение, как это установлено для разложения на простые числа? В 1860-х годах Гейне удалось доказать, что некоторые типы периодических функций (например, не имеющие скачков, то есть непрерывные) можно разложить на элементарные волны единственным образом. Однако он не нашел общего доказательства для всех возможных ситуаций, а также не смог доказать единственности в случае, когда в каждом периоде у функции бесконечное (теоретически) число разрывов. Так что когда Кантор приехал в Галле в 1870 году, Гейне предложил ему поработать над этим вопросом: всегда ли периодическую функцию можно разложить единственным образом, даже если количество разрывов в каждом периоде может неограниченно расти?

Кантор принялся изучать проблему и в 1871 году получил первый результат: разложение периодической функции является единственным, даже когда количество разрывов неограниченно растет, если только эти скачки распределяются определенным образом. То есть для гарантии единственности точки появления скачков должны удовлетворять некоторым специфическим условиям. Но ученый столкнулся со сложностями при выражении этих требований точно и элегантно. Он явно имел интуитивную догадку о том, какие особенности хотел выразить, но у него не получалось ясно сформулировать это.