乗法的関数の定義と性質

乗法的関数の定義
乗法的関数の積
乗法的関数の約数にわたる和

乗法的関数の定義

今回から整数論的関数を扱います。
まず最初に 乗法的関数 を次のように定義します。

【定義D1】正の整数

a, b

について

(a, b) = 1 ⟹ f (a b) = f (a) f (b)

が成り立つような関数を乗法的関数（multiplcative function）と定義する。

たとえば $f (n) = n$ は乗法的関数です。なぜなら $f (a) = a, f (b) = b$ より
$f (a b) = a b = f (a) f (b)$
が成り立つからです（この例では $(a, b) = 1$ に限らず $f (a b) = f (a) f (b)$ が常に成り立ちます）。しかし $f (n) = n + 1$ の場合、
$\begin{aligned} f (a b) = a b + 1 \\ f (a) f (b) = (a + 1) (b + 1) = a b + a + b + 1 \end{aligned}$
すなわち $f (a b) \neq f (a) f (b)$ となるので乗法的関数ではありません。

乗法的関数の積

乗法的関数同士の積をつくると乗法的関数なるというのが次の定理です。

【定理D1】

f (n), g (n)

が乗法的関数であるときは、

h (n) = f (n) g (n)

も乗法的関数となる。

[証明] $f (n), g (n)$ が乗法的関数なので
$\begin{aligned} f (a b) & = f (a) f (b) \\ g (a b) & = g (a) g (b) \end{aligned}$
が成り立ちます。したがって
$\begin{aligned} h (a b) & = f (a b) g (a b) \\ = f (a) f (b) g (a) g (b) \\ = {f (a) g (a)} {f (b) g (b)} = h (a) h (b) \end{aligned}$
となるので、 $h (n) = f (n) g (n)$ は乗法的関数です。（証明終）

乗法的関数の約数にわたる和

乗法的関数の約数にわたる和が乗法的関数になる、というのが以下の定理です。

【定理D2】

f (n)

が乗法的関数であるならば

g (n) = \sum_{d | n} f (d)

もまた乗法的関数となる。ただし

\sum_{d | n}

は

n

の全ての約数について和をとることを意味する。

少し見慣れない記号が出てきましたが、たとえば $n$ の約数が $d_{1}, d_{2}, d_{3}$ だとすると、
$g (n) = f (d_{1}) + f (d_{2}) + f (d_{3})$
が乗法的関数となるということを述べています。

[証明] $(a, b) = 1$ となるような $a, b$ を用いて $n = a b$ のように分解すると、
$\begin{aligned} g (n) & = \sum_{d | n} f (d) \\ = \sum_{d_{a} | a, d_{b} | b} f (d_{a} d_{b}) \\ = \sum_{d_{a} | a, d_{b} | b} f (d_{a}) f (d_{b}) \\ = \sum_{d_{a} | a} f (d_{a}) \sum_{d_{b} | b} f (d_{b}) = g (a) g (b) \end{aligned}$
となって、 $g (n)$ が乗法的関数であることが示されました。（証明終）

【次の講座】≫ 約数関数の定義