Una función multiplicativa en teoría de números es una función aritmética tal que para cualquier número coprimo y , se cumple lo siguiente:
y
.Cuando se cumple la primera condición, el requisito es equivalente al hecho de que la función no es idénticamente igual a cero.
Las funciones para las que se cumple la condición de multiplicatividad para todos los naturales se denominan completamente multiplicativas . Una función es completamente multiplicativa si y sólo si la relación se cumple para cualquier número natural .
Se dice que una función multiplicativa es fuertemente multiplicativa si:
para todos los primos y todos los naturales .
Ejemplos:
Del teorema fundamental de la aritmética se deduce que uno puede establecer arbitrariamente los valores de una función multiplicativa en números primos y sus potencias, y también determinar que todos los demás valores de la función resultante se determinan a partir de la propiedad de multiplicatividad.
El producto de cualquier función multiplicativa también es una función multiplicativa.
Si es una función multiplicativa, entonces la función
también será multiplicativo. Por el contrario, si la función definida por esta relación es multiplicativa, entonces la función original también es multiplicativa.
Además, si y son funciones multiplicativas, entonces su convolución de Dirichlet también será multiplicativa :