Função divisor
Em matemática, especialmente na teoria dos números e na teoria analítica dos números, uma função divisor, algumas vezes chamada função soma dos divisores, é uma função aritmética que associa a cada número natural n a soma das k-ésimas potências de seus divisores, onde k é um número complexo (na teoria dos números clássica o expoente é geralmente um número inteiro). Quando o expoente k é nulo, a função retorna a contagem de divisores positivos de n. Denotada pela letra grega
(sigma), ela está presente em várias relações, incluindo a função zeta de Riemann e a série de Eisenstein de uma forma modular.
Definição [editar]
Uma função divisor é definida como a regra que associa a uma variável n (natural) a soma das k-ésimas potências (complexas) dos divisores d (naturais) de n. Dessa forma, tem-se a expressão:
As notações d(n), ν(n) and τ(n) também são utilizadas para denotar σ0(n), ou a função número-de-divisores1 2 (sequência [[OEIS:{{{1}}}|{{{1}}}]] na OEIS). Dessa maneira, se o expoente é igual a zero, então
Quando o expoente k é igual a 1, a função é chamada função sigma ou função soma-dos-divisores,3 4 e o índice "1" é geralmente omitido, de forma que
A função que associa a um natural n a soma de seus divisores próprios (positivos e menores do que n) é denotada por s(n). Portanto s(n) = σ(n) − n .
Exemplo [editar]
Apesar da maneira aparentemente simples de definir a função, o cálculo do seu valor pode ser trabalhoso, conforme seja grande o valor de n (necessário conhecer seus divisores) ou se tome expoentes complexos.
Como exemplo simples, podemos ver que σ0(30) fornece o número de divisores inteiros positivos de 30:
Por outro lado, σ(30) é a soma dos divisores de 30:
Da definição segue claramente que σ(1) = 1. Além disso, se p é um número primo então σ(p) = 1 + p, pois apenas 1 e p são divisores; de outra forma, se um natural n é um número composto, tem-se evidentemente σ(n) > 1 + n, pois existe pelo menos mais um divisor além de 1 e de n.
Referências
- ↑ Long (1972, p. 46)
- ↑ Pettofrezzo & Byrkit (1970, p. 63)
- ↑ Long (1972, p. 46)
- ↑ Pettofrezzo & Byrkit (1970, p. 58)




