Multiplicative Function
산술함수 f에 대하여 f가 multiplicative하다는 것은 다음을 나타낸다.
\[f(mn) = f(m) f(n), \quad \mathrm{whenever \ } (m,n)=1 \]
모든 수에 대해 함수값이 0인 경우는 예외로 한다.
completely multiplicative는 (m,n)=1이라는 조건을 무시해도 성립할 때를 말한다.
이런 성질을 생각하면 좋은 이유는 산술의 기본정리에 의해 어떤 자연수에 대해 standard prime factorization이 유일하게 존재하는데, multiplicative를 이용하면 더 작은 단위의 곱으로 나타낼 수 있기 때문이다. 거기에 completely multiplicative면 그것보다도 더 작게 쪼개서 생각할 수 있다.
theorem. f가 multiplicative function일 때 \(F(n) = \sum _{d|n} f(d) \)도 multiplicative function이다.
\[F(m)F(n)=F(mn) \quad \mathrm{whenever } (m,n)=1 \]
위 식을 보이면 된다.
\[ F(m)F(n) = \sum _{d_1 | m} f(d_1) \sum _{d_2 |n} f(d_2) \]
여기서 이런 보조정리를 생각해줄 수 있다.
\[ \mathrm{ if \ }(m,n)=1 \; m,n \in \mathbb{N}, \quad \forall d|mn, \quad \exists ! d_1,d_2\quad \mathrm{such that} \quad d_1|m, \; d_2|n , \; d=d_1d_2\]
주어진 식들만으로 접근하기는 어려워보이기 때문에
\[ m = p_1 ^{a_1} p_2 ^{a_2} \cdots p_s ^{a_s} , \quad n = q_1 ^{b_1} q_2 ^{b_2} \cdots q_t ^{b_t} \]
를 standard factorization form으로 놓았을 때 (m,n)=1이므로 모든 m의 소인수와 n의 소인수가 다르다. 따라서 mn의 standard factorization form은
\[ mn = p_1 ^{a_1} p_2 ^{a_2} \cdots p_s ^{a_s} q_1 ^{b_1} q_2 ^{b_2} \cdots q_t ^{b_t} \]
그렇다면 mn의 약수 d도 저 소인수들의 곱으로 나타난다. \(d_1 | m , \; d_2 | n \)이므로 \(d_1\)은 m의 소인수들로 이루어지고 \(d_2\)는 n의 소인수들로 이루어지는데 \(d_1 d_2 = d\)이므로 \(d_1 , \; d_2\)는 유일하게 존재한다.
보조정리에 의해 \(d_1 ,d_2\)의 곱과 mn의 약수 \(d\)는 일대일대응되므로
\[ F(m)F(n) = \sum _{d_1 | m} f(d_1) \sum _{d_2 |n} f(d_2) = \sum _{d_1 d_2 |mn } f(d_1) f(d_2) = \sum _{d|mn} f( d) = F(mn) \]