Логарифмы везде: как логи скрывают единицы и геометрию
Александр Кричевский предлагает новый способ думать о логарифмах через понятие «безосновательного логарифма», log N как абстрактного объекта без привязки к основанию. Обычный логарифм по основанию b, это просто отношение log_b N = (log N) / (log b), в котором (log 2) действует как единица «биты», а (log e) как единица «натуралы». Это прямой аналог вектора, который остаётся абстрактным пока его не выбрана координатная система, но вектор может быть выражен в разных единицах (метры, километры) пока точка измерения зафиксирована.
Это объяснение ожидалось в числовых расширениях, p-адическое нормирование в теории чисел как раз извлекает коэффициент log p из логарифма натурального числа, а в комплексном анализе порядок обнуления мероморфной функции вычисляется через лимит лог-отношения. Везде скрывается одна и та же структура: логарифмы действуют как векторы, которые требуют выбора «происхождения» (основания) перед тем как стать числом. Различие между точкой и смещением в векторной алгебре прямо соответствует различию между безосновательным логарифмом и логарифмом с фиксированным основанием.
Ключевые факты
- Безосновательный логарифм log N, это абстрактный объект, он становится числом только если поделить его на другой логарифм, что фиксирует основание (единицу).
- Это то же самое что вектор в геометрии, который не зависит от координатной системы пока его компоненты не взяты в конкретном базисе.
- Смена основания логарифма, это то же самое что перевод вектора из одних единиц в другие, математически это всегда деление двух «базисных» логарифмов.
- P-адическое нормирование в теории чисел и порядок полюсов в комплексном анализе, оба извлекают коэффициент из логарифма, действуя как проекции вектора.
- Логарифмы не имеют аналога частных производных (не может быть «частичного логарифма»), в отличие от векторов, где это естественно, что ограничивает их алгебраическую структуру.
Ред. Главная улика в пользу аналогии тут же её и ограничивает: у логарифмов нет частных производных, так что «вектор» получается с подрезанными крыльями.
Почему это важно
Обычно математику преподают через прагматичный lens: вот формула, вот как её применять. Это эссе добирается до геометрии. Когда математика подлинна, она показывает одни и те же паттерны в разных местах. Здесь вектора и логарифмы подчиняются одной логике, что даёт инсайт. Человеку, который понимает, что такое абстрактный вектор и его смена базиса, логарифмы становятся яснее. И наоборот. Это важно для того, кто хочет глубоко понимать математику, а не просто считать.
Ред. Красивая мысль, что одна структура проступает в разных местах, ценна ровно до момента, когда от неё попросят новую теорему. Инсайт это не доказательство.
Кому это важно
Математикам и физикам, которые хотят глубже разобраться в логарифмах и их связи с другими структурами. Студентам продвинутых курсов линейной алгебры, дифференциальной геометрии или комплексного анализа, которые видят логарифмы в разных контекстах и хотят понять логическую нить. Компьютерным учёным, которые работают с логарифмами в информационной теории (bits, nats) и хотят не просто запомнить формулы, но понять их происхождение.
Ред. Список читателей сам себя сокращает: комплексный анализ, p-адические числа, смена базиса. Для всех остальных «безосновательный логарифм» останется красивым словосочетанием.
Как это применить
Если ты напишешь логарифм без основания, то есть log N, и будешь думать про него как про вектор, то смена основания становится просто делением двух таких объектов. Это даёт интуицию, когда ты вводишь новую единицу или преобразуешь между логарифмами с разными основаниями в контексте информационной теории. В коде или физических вычислениях это может помочь избежать ошибок в преобразовании единиц. Также можно заимствовать язык векторов когда говоришь про логарифмы: «базис», «компонента», «проекция».
Ред. Применение честно сводится к «думать иначе» и «реже путать биты с натами». Полезно, но это интуиция, а не инструмент, который что-то посчитает за вас.
Можно ли доверять
Кричевский опубликовал статью как личное эссе, но идеи математически строгие и можно проверить. Связь с p-адическим нормированием и порядком полюсов, это классические объекты в математике. Автор не изобрёл ничего нового, он переинтерпретировал известные объекты через новую линзу (безосновательные логарифмы). Это вид переоформулировки, который математики оценивают если он проясняет структуру.
Ред. Автор сам ничего не изобрёл, он переупаковал известные объекты. Математики такое ценят, если становится яснее, и забывают, если нет. Тут, похоже, становится.
Риски и подводные камни
Эссе написано для читателя со знаниями комплексного анализа и теории чисел. Без них видимо будет скучно. Также это скорее всего не даст практический результат в дневной работе если ты инженер. Но для кого-то в фундаментальной науке это может перестроить понимание. Риск в том что это просто красивая интерпретация без новых результатов, она не доказывает новые теоремы о логарифмах, она переиспользует старые.
Ред. Риск назван прямо в самом тексте: это переинтерпретация без новых результатов. Изящная линза, сквозь которую видно ровно то, что и так доказали другие.
«Логарифмы действуют примерно как мультипликативные векторы, в смысле что они определены относительно происхождения, выбора основания»
— Alexander Kritchevsky, 'Everything Is Logarithms'