Función aditiva

En teoría de números, unha función aditiva é unha función aritmética f(n) da variábel enteira positiva n tal que sempre que a e b son coprimos, a función aplicada ao produto ab é a suma dos valores da función aplicada a a e b:

$f(ab)=f(a)+f(b).$

Completamente aditiva

Unha función aditiva f(n) dise que é completamente aditiva sen se verifica $f(ab)=f(a)+f(b)$ para todos os enteiros positivos a e b, aínda que non sexan coprimos. Completamente aditiva tamén se usa neste sentido por analoxía coas funcións completamente multiplicativas. Se f é unha función completamente aditiva, entón f(1) = 0.

Toda función completamente aditiva é aditiva, mais non viceversa.

Exemplos

Exemplos de funcións aritméticas que son completamente aditivas:

• A restrición da función logarítmica a $\mathbb{N}.$
• A multiplicidade dun factor primo p en n, que é o maior expoñente m para o que p^m divide n.
• a₀(n), a suma de números primos que divide n contando a súa multiplicidade, ás veces chamada sopfr(n), a potencia de n ou o logaritmo enteiro de n Modelo:OEIS. Por exemplo:

a₀ (4) = 2 + 2 = 4.

a₀ (20) = a₀(2² · 5) = 2 + 2 + 5 = 9.

a₀ (27) = 3 + 3 + 3 = 9.

a₀ (144) = a₀ (2⁴ · 3 ² ) = a₀ (2⁴) + a₀ (3²) = 8 + 6 = 14.

a₀ (2000) = a₀ (2 ⁴ · 5 ³ ) = a₀ (2 ⁴ ) + a₀ (5 ³ ) = 8 + 15 = 23.

a₀ (2003) = 2003.

• A función Ω(n), definida como o número total de factores primos de n, contando múltiples factores múltiples veces, ás veces chamada "función Omega maiúsculo" Modelo:OEIS. Por exemplo;

Ω(1) = 0, xa que 1 non ten factores primos.

Ω(4) = 2.

Ω(16) = Ω(2·2·2·2) = 4.

Ω(20) = Ω(2·2·5) = 3.

Ω(27) = Ω(3·3·3) = 3.

Ω(144) = Ω(2⁴ · 3²) = Ω(2⁴) + Ω(3²) = 4 + 2 = 6.

Ω(2000) = Ω(2 ⁴ · 5 ³ ) = Ω(2⁴ ) + Ω(5³ ) = 4 + 3 = 7.

Ω(2001) = Ω(3·23·29)=3.

Ω(2002) = Ω(2·7·11·13)=3.

Ω(2003) = 1.

Exemplos de funcións aritméticas que son aditivas mais non completamente aditivas son:

• ω(n), definido como o número total de distintos factores primos de n Modelo:OEIS. Por exemplo:

ω(4) = 1.

ω(16) = ω(2⁴ ) = 1.

ω(20) = ω(2² · 5) = 2.

ω(27) = ω(3³ ) = 1.

ω(144) = ω(2⁴ · 3² ) = ω(2⁴ ) + ω(3² ) = 1 + 1 = 2.

ω(2000) = ω(2⁴ · 5³) = ω(2⁴ ) + ω(5³ ) = 1 + 1 = 2.

ω(2001) = 3.

ω(2002) = 4.

ω(2003) = 1.

• a₁(n), a suma dos distintos números primos que dividen a n, ás veces chamado sopf(n) Modelo:OEIS. Por exemplo:

a₁(1) = 0.

a₁(4) = 2.

a₁(20) = 2 + 5 = 7.

a₁(27) = 3.

a₁ (144) = a₁(2⁴ · 3²) = a₁(2⁴) + a₁(3²) = 2 + 3 = 5.

a₁ (2000) = a₁(2⁴ · 5³ ) = a₁(2⁴) + a₁(5³) = 2 + 5 = 7.

a₁(2001) = 55.

a₁(2002) = 33.

a₁(2003) = 2003.

Funcións multiplicativas

A partir de calquera función aditiva$f(n)$ é posíbel crear unha Modelo:Em relacionada $g(n),$ que é unha función coa propiedade que sempre que $a$ e $b$ son coprimos daquela:

$g(ab)=g(a)\times g(b).$

Un destes exemplos é $g(n)=2^{f(n)}.$ Así mesmo se $f(n)$ é completamente aditiva, daquela $g(n)=2^{f(n)}$ é completamente multiplicativa. De forma máis xeral, poderiamos considerar a función $g(n)=c^{f(n)}$, onde $c$ é unha constante real distinta de cero.

Véxase tamén

Bibliografía

• Janko Bračič, Kolobar aritmetičnih funkcij (Ring of arithmetical functions), (Obzornik mat, fiz. 49 (2002) 4, pp. 97–108) (MSC (2000) 11A25)
• Iwaniec and Kowalski, Analytic number theory, AMS (2004).

Outros artigos

• Función aritmética.
• Ecuación funcional.

Ligazóns externas

• Additive arithmetical functions and statistical independence Paul Erdős e Aurel Wiktker .