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