Definition (Arithmetic function)
An arithmetic function is defined as or as a function mapping the positive integers to some subset of the complex numbers.
Definition (Multiplicative)
An arithmetic function, , is said to be multiplicative if for all coprime (i.e. ).
Definition (Additive)
An arithmetic function is said to be additive if
Definition (Binary function)
The arithmetic function where, is the floor function. This function takes a natural number and tells us the number of digits of in its expansion in base .
Example
since the binary expansion of is .
This probably allows us to prove this theorem:
Theorem (b-ary representation theorem)
Fix a natural number . Every natural number can be uniquely written in base as
Definition (Positiver divisor counter function)
The arithmetic function counts the number of positive divisors of and is defined as where we recall by the Fundamental Theorem of Arithmetic that
Remark
is Multiplicative.
Definition (Euler’s totient function)
Euler’s function, an arithmetic function, finds the number of positive numbers less than and coprime to this function is defined as follows: where are the distinct prime numbers dividing . Consequently, the function is Multiplicative.
Allowing us to prove this theorem:
Theorem (Euler)
Let . If , (i.e. coprime to ) then
Theorem (1.22)
For a multiplicative function , we have where