모든 것이 로그이다: 기반 없는 로그와 수학적 공변성 탐구

핵심 논제: 좌표가 없는 객체로서의 로그

로그는 근본적으로 곱셈 대수 표현을 덧셈 표현으로 변환하는 동형사상이다. 로그를 특정한 수치값이 아니라 "기반 없는" 기하학적 객체로 취급하면, 기반 선택(예: 비트를 위한 2진 로그, 나트를 위한 $e$ 로그)을 단위 선택이나 좌표계 선택으로 볼 수 있다. 이 관점은 벡터 공간의 차원부터 $p$-adic 평가에 이르기까지 다양한 수학적 연산이 실제로는 동일한 기본 로그 원시의 사례임을 드러낸다.

기반 없는 로그와 단위 변환

표준 표기법에서 $ log_b(x)$는 하나의 숫자이다. 그러나 $ log N$을 추상적인, 기반 없는 객체로 다루면, 표준 "기반이 있는" 로그는 두 개의 기반 없는 로그의 비율이 된다:

$$\log_2 N = \frac{\log N}{\log 2}$$

이 틀에서 $ log 2$는 단위 "비트"로 해석된다. 로그의 기반을 바꾸는 것은 단순한 대수적 조작이 아니라 킬로미터를 미터로 변환하는 것과 같은 단위 변환이다. 이는 기하학적 벡터(추상적인 변위)와 좌표 벡터(원점에 대한 숫자 튜플) 사이의 구분과 유사하다.

로그를 벡터와 투영으로 보기

기반 없는 로그와 기하학적 벡터 사이에는 강한 구조적 동등성이 있다. 벡터 $v$를 기준 벡터 $x$에 투영하여 좌표 $v_x$를 찾는 것처럼, 기반 없는 로그 $ log N$을 단위 $ log 2$에 투영하면 값 $ log_2 N$을 얻는다.

다른 분야에서의 로그 투영

표준 로그에는 직접적인 "편미분 연산자"가 없지만, 다른 수학 분야에서는 독립적으로 로그 투영을 고안했다:

• 수론: $p$-adic 평가 $ nu_p(n)$은 자연수의 로그 기반에서 $ log p$의 계수를 추출하며, 사실상 투영 역할을 한다.
• 복소해석: 정칙함수의 "소멸 차수" $ text{ord}a f(z)$는 로그 비율의 극한을 이용해 추출한다: $ lim{z \to a} \frac{\log f(z)}{\log(z-a)}$.

변환의 로그로서의 벡터

미분기하학에서 벡터는 종종 편미분 연산자로 표현된다. 변환 연산자 $T_v$는 벡터의 지수 형태로 나타낼 수 있다: $T_v = e^v$.

반대로, 벡터는 변환 연산자의 로그로 볼 수 있다: $v = \ln T_v$. "기반 없는" 접근법을 사용하면 $v = \frac{\log T_v}{\log T}$ 로 쓸 수 있는데, 여기서 $T$는 변환에 대한 일반적인 기반이다. 이는 평평한 공간에서 벡터 개념 자체가 곱셈적 변환 연산의 로그임을 시사한다.

차원을 로그로 보기

선형대수에서 차원 연산자 $\text{dim}_K V$는 로그와 정확히 같은 방식으로 동작한다. 다음과 같은 대응 관계가 성립한다:

• 직합 $\to$ 덧셈: $\text{dim}_K(U \oplus V) = \text{dim}_K U + \text{dim}_K V$
• 텐서곱 $\to$ 곱셈: $\text{dim}_K(U \otimes V) = \text{dim}_K U \times \text{dim}_K V$

이는 단순한 비유가 아니다. 유한체 위의 유한 차원 벡터 공간에 대해 차원은 실제로 공간의 원소 수를 체의 원소 수에 대한 로그와 동일하다: $\text{dim}K V = \log{|K|} |V|$.

종합 및 토론

숫자를 집합의 기수로, 연산을 집합론적 구성으로 보는 이러한 "집합화"는 많은 수학 표기법이 더 깊고 통합된 구조를 가리고 있음을 시사한다.

커뮤니티 관점

기술 동료들 사이의 논의는 이 일반화의 우아함과 위험성을 동시에 강조한다:

"여기서 기반 없는 로그는 단지 토르소이다! ... 토르소는 사전 선택을 필요로 하지 않고 이러한 것들을 논할 수 있게 해준다."

일부는 이것이 수학적 공변성을 바라보는 강력한 방법이라고 주장하는 반면, 다른 이들은 "매크로 수준의 과도한 일반화"에 대해 경고한다:

"모든 것이 하나의 큰 로그라고 말하는 것은 좋은 정신적 연습이지만, 차이를 너무 많이 평탄화시켜 개별 수학 도구의 실용성을 잃게 만든다."

궁극적으로 이 제안은 속성들을 절대값이 아니라 측정 간 관계로 정의하는 "공변" 수학 형식을 주장한다. 이는 현재 서로 다른 표기법에 묻혀 있는 중복성을 줄인다.