123 подписчика
5 уровней математической абстракции
Представь изображение очень плохого разрешения: вблизи видны лишь отдельные пиксели. Но стоит отдалиться — и, пусть не идеально, появляется целостная картинка.
С абстракцией происходит то же самое. Уходя не вглубь, а «наружу», мы попадаем в более крупные миры, где предыдущие оказываются частными случаями. Законы этих больших миров часто проще и удобнее для рассуждений.
Отсюда и парадокс математики: задачи, формулируемые в одну строку, требуют сотен страниц доказательств. Чтобы понять, почему так происходит, предлагаем посмотреть на историю математики как на движение через несколько уровней абстракции:
👟
1️⃣ уровень: визуализации
👟
Если нужно сложить 2 и 3, можно просто загнуть два пальца, а потом три и сосчитать, сколько пальцев мы загнули. Если пальцев не хватает, мы просто берём две кучки одинаковых предметов в нужном количестве, складываем их в одну кучу и пересчитываем.
Проблема очевидна: такие операции масштабируются плохо. Посчитать десятки ещё можно, сотни — уже трудно, тысячи — почти невозможно. Любая серьёзная операция превращается в изнурительное пересчитывание.
👟
2️⃣ уровень: нотации
👟
Когда появляются числовые символы и обозначения, вместо груды камней у нас возникает запись 2 + 5. Вместо угла — набор букв, которыми мы обозначили углы.
Операция, которая раньше занимала минуты или часы, теперь выполняется за секунды. Причём не потому, что мы стали «умнее», а потому что абстракция спрятала сложность внутрь правил.
Правила сложения с переносом разрядов вовсе не очевидны. Это математические теоремы. Но они настолько глубоко встроены в нотацию, что мы перестаём замечать их существование.
👟
3️⃣ уровень: переменные
👟
На этом этапе числа заменяются буквами. Теперь мы можем делать утверждения сразу про все числа, а не про отдельные примеры.
Становится возможным говорить о решениях уравнений, о системах, о зависимостях, и манипулировать ими чисто алгебраически, получать формулы, в которые подставляются необходимые нам в моменте значения.
Этот уровень абстракции нам знаком благодаря школьным программам. Он уже невероятно красивый и универсальный. Но по меркам современной математики всё ещё довольно низкий.
👟
4️⃣ уровень: структуры
👟
Теперь абстрагируемся не от чисел, а от самих числовых систем. Если нас интересует только операция сложения, зачем привязываться именно к целым числам?
Можно рассматривать любые объекты, где есть «сложение» и выполняются знакомые свойства. Так возникают, например, абелевы группы или матрицы. И целые числа — лишь один частный случай, а сама группа становится чем-то вроде «переменной», обозначающей целый класс возможных структур.
Главная сила этого шага — в фокусировке: мы сознательно оставляем только те свойства, которые действительно важны для доказательства, и отбрасываем всё лишнее. В результате утверждения начинают работать сразу для огромного множества объектов, а не для одного конкретного примера.
👟
5️⃣ уровень: категории
👟
Здесь уже можно смотреть не на отдельные структуры, а на всю вселенную структур и отображений между ними. Так появляется язык категорий: категория абелевых групп, категория топологических пространств и так далее.
Более того, можно изучать связи между самими категориями, переходя ещё на уровень выше. Именно на этом уровне возникает возможность видеть глубинные закономерности, которые полностью скрыты на «низких этажах».
Эдсгер Дейкстра, автор знаменитого алгоритма, названного его именем и используемого всеми современными навигаторам, однажды сказал:
⏩️Введение подходящих абстракций — это единственное наше умственное средство для организации и освоения сложности⏪️
Почему реальность математики устроена именно так — вряд ли кто-то когда-либо объяснит. Но факт остаётся фактом: без этого странного могущества абстракции большая часть современной математики была бы просто невозможна.
3 минуты
28 апреля