積性函數

在非數論的領域，積性函數指有對於任何a,b都有性質f(ab)=f(a)f(b)的函數。

而本條目只討論在數論中的積性函數。對於正整數n的一個算術函數f(n)，當中f(1)=1且當a,b互質，f(ab)=f(a)f(b)，在數論上就稱它為積性函數。若某算術函數f(n)符合f(1)=1，且就算a,b不互質，f(ab)=f(a)f(b)，稱它為完全積性的。

[编辑] 例子

φ(n) －歐拉φ函數，計算與n互質的正整數之數目
μ(n) －默比烏斯函數，關於非平方數的質因子數目
gcd(n,k) －最大公因數，當k固定的情況
d(n) －n的正因數數目
σ(n) －n的所有正因數之和
σ_k(n): 因數函數，n的所有正因數的k次冪之和，當中k可為任何複數。在特例中有：
- $σ 0$ (n) = d(n) 及
- $σ 1$ (n) = $σ$ (n)
1(n) －不變的函數，定義為 1(n)=1 （完全積性）
Id(n) －單位函數，定義為 Id(n)=n （完全積性）
Id_k(n) －冪函數，對於任何複數、實數k，定義為Id_k(n) = n^k （完全積性）
- Id₀(n) = 1(n) 及
- Id₁(n) = Id(n)
ε(n) －定義為：若n = 1，ε(n)=1；若n > 1，ε(n)=0。有時稱為「對於狄利克雷迴旋的乘法單位」（完全積性）
(n/p) －勒讓德符號，p是固定質數（完全積性）
λ(n) －劉維爾函數，關於能整除n的質因子的數目
γ(n)，定義為γ(n)=(-1)^ω(n)，在此加性函數ω(n)是不同能整除n的質數的數目
所有狄利克雷特性均是完全積性的