x, y, z

Просто, как дважды два четыре

Комментарии: 0
Дважды два четыре

Наверное, каждый хотя бы раз в жизни слышал это выражение. Действительно, что может быть проще? Однако я знавал преподавателя математического анализа, который, услыхав подобное, ехидно улыбался в усы и предлагал доказать этот факт. После этого у говорившего обычно случался когнитивный диссонанс.

И действительно, как же доказать, что $2 \times 2 = 4$?

Дисклеймер

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

Начнём с начала

Что такое натуральные числа? Четверо из пяти людей, встреченных на улице, ответят: «Это один, два, три и так далее». Более строгая формулировка этого ответа, которую я встретил в школьном учебнике, гласит: натуральные числа — это члены арифметической прогрессии, начинающейся с 1 и имеющей разность 1. Другое определение из учебника: это числа, которые используются для обозначения количества объектов.

До конца XIX века натуральные числа определялись примерно так, либо не определялись вообще, полагаясь чем-то самим собой разумеющимся. А потом началась перестройка: здание математики стали переносить на фундамент теории множеств, и вещи, которые ранее казались элементарными, внезапно потребовали строгого обоснования.

Аксиоматика Пеано

Товарищ Джузеппе Пеано, большой озорник и затейник (чего стоит хотя бы латино-сине-флексионе), создал очень простую и компактную аксиоматику натуральных чисел, используемую и поныне. Натуральные числа в его интерпретации похожи на структуру данных "односвязный список" — правда, бесконечный.

Итак, натуральные числа — это множество $\mathbb{N}$ с заданной на нём функцией следования $a \mapsto a'$, которые удовлетворяют следующим трём аксиомам:

1. Для каждого натурального числа $a$ существует единственное следующее за ним число $a'$.

Эта аксиома означает, что наш односвязный список бесконечен. Нет такого элемента, у которого в поле «next» записан null. Также это именно список, а не какое-нибудь бинарное дерево: у каждого элемента только один следующий.

2. Существует одно и только одно число, не следующее ни за каким другим. Это число называется единицей. Каждое из оставшихся чисел следует ровно за одним числом.

У списка должна быть голова, причём только одна. Список не должен зацикливаться (за третьим элементом не может следовать второй).

3. У множества натуральных чисел нет собственного подмножества, удовлетворяющего аксиомам 1-2.

Без этой аксиомы можно было бы, допустим, добавить к множеству натуральных чисел ещё одно число-уроборос, следующее за самим собой. Или ещё два числа, которые следуют друг за другом. Иначе говоря, аксиома 3 не допускает утечек памяти, которые могли бы возникнуть из-за изолированных кусков списка, до которых нельзя добраться по ссылкам, если идти от головы. Если из натуральных чисел можно что-то выкинуть — это не натуральные числа.

Сложение и умножение

Арифметические операции в аксиоматике Пеано определяются не менее интересно. Сложение описывается следующими двумя свойствами:

1. $(a + b)' = a + b'$
2. $a' = a + 1$

— а умножение — вот этими двумя:

1. $a \times b' = a \times b + a$
2. $a \times 1 = a$

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

$\mathbf{2 \times 2 = 4}$

Вооружившись знаниями, мы можем теперь перейти к доказательству. Однако сначала нужно понять две вещи: что такое $2$ и что такое $4$. Двойка следует за единицей, поэтому $2 = 1'$. Четвёрка следует за тройкой, которая, в свою очередь, следует за двойкой, которая, как я уже говорил, следует за единицей — поэтому $4=1'''$.

Итак, нам нужно доказать следующее: $1' \times 1' = 1'''$.

Сначала докажем, что дважды два — это два плюс два. Действительно,

$1' \times 1' = (1' \times 1) + 1'$ (первое свойство умножения)
$1' \times 1 = 1'$ (второе свойство умножения)
Следовательно, $1' \times 1' = 1' + 1'$.

Теперь докажем, что $2 + 2 = 4$.

$1' + 1' = (1' + 1)'$ (первое свойство сложения)
$1' + 1 = (1')' = 1''$ (второе свойство сложения)
Следовательно, $1' + 1' = (1'')' = 1'''$

Заключение

Всякая простая вещь, если вглядываться в неё пристально, через какое-то время перестаёт казаться простой. Натуральные числа и операции над ними — не исключение, а скорее яркий пример. Ещё более сложным и интересным образом в современной математике строятся множества целых, рациональных и действительных чисел. Но это тема совсем другого разговора.

Пост скриптум

Почему всё, написанное выше - чушь и демагогия.

Как известно, одна и та же теория может опираться на совершенно разные системы аксиом. У той же аксиоматики Пеано существует куча вариантов, отличающихся по формулировке, но принципиально схожих. Так как же вводится аксиоматика натуральных чисел в школе?

Это не произносится вслух (да школьники к тому моменту и не знают ещё страшных слов типа «множество» и «функция»), но по сути множество натуральных чисел в школе определяется как множество строк специальных символов, называемых цифрами. Строки должны быть конечными, непустыми и не должны начинаться с символа, называемого нулём.

Отношения равенства и неравенства, сложение, вычитание, умножение и деление — всё это определяется через операции над строками символов. Для строк из одного символа (т.е. для отдельных цифр) существуют специальные таблицы — таблицы сложения и умножения. Для более длинных строк специальные правила позволяют свести действия над ними к действиям над отдельными цифрами. Эти правила и таблицы и являются школьной аксиоматикой натуральных чисел.

В таком понимании натуральных чисел «$2 \times 2 = 4$» — часть аксиоматики, поскольку это тождество содержится в таблице умножения. Тогда, действительно, ничего проще быть не может. Но аксиоматику Пеано всё равно знать не вредно.

Sirion
Комментарии: 0