Função multiplicativa
O conceito de função multiplicativa tem importância capital no desenvolvimento da teoria algébrica dos números, como o produto de Dirichlet, e na teoria analítica dos números, como nas séries de Dirichlet. Para avaliação de uma função multiplicativa basta conhecer seus valores em potências de primos.[1]
Definição
Uma função aritmética é uma função matemática cujo domínio de definição compreende os números inteiros positivos, isto é, os números naturais. Uma função aritmética não nula é chamada de multiplicativa se
para todo par m e n de primos relativos (tais que mdc(m,n) = 1).[2][Nota 1]
Uma função aritmética é denominada completamente multiplicativa quando a relação é válida para quaisquer naturais m e n. [2] Sendo este o caso, então, por exemplo, tem-se 2(n) = (n2).
Exemplos triviais
- A função (n) = 1 para todo número natural n, é uma função completamente multiplicativa. De fato, dados naturais a e b quaisquer, tem-se (ab) = 1 = 1 · 1 = (a)·(b).
- A função (n) = c para todo natural n, em que c é uma constante diferente da unidade, não é multiplicativa. Dessa maneira, verifica-se facilmente que (6) = c ≠ c2 = (2)·(3).
- A função identidade (n) = n é completamente multiplicativa, pois se n = ab, com a e b naturais quaisquer, então (n) = n = ab = (a)·(b).
Exemplos não triviais
- A função totiente de Euler (n) é uma função multiplicativa.[1][2] Entretanto não é uma função completamente multiplicativa: dado um primo p arbitrário, (p2) = p(p - 1) ≠ (p - 1)2 = (p)·(p).
- A função divisor k(n) também é função multiplicativa,[1][2] mas não é completamente multiplicativa já que, por exemplo, para um primo p constata-se que (p2) = 1 + p + p2 ≠ 1 + 2p + p2 = (1 + p)(1 + p) = (p)·(p).
- A função número de divisores D(n) é multiplicativa[2] (não poderia ser diferente, dado que D(n) = 0(n), que é multiplicativa conforme o exemplo anterior). É fácil ver que D(n) não é completamente multiplicativa: D(2) = 2, D(4) = 3 e D(2)·D(2) ≠ D(4).
Teoremas
Teorema 1
Se é uma função multiplicativa então também é uma função multiplicativa.
Demonstração[1]
Uma vez que todo divisor de mn pode ser expresso de modo único por meio do produto d1·d2, tal que d1|m e d2|n, com d1 e d2 relativamente primos, e como, por hipótese, é multiplicativa, segue que
Como aplicação do teorema, pode-se provar que a função é multiplicativa (a extensão da prova para k com k qualquer não é complexa): definindo como a função identidade, então (como já visto nos exemplos triviais acima) é multiplicativa e segundo o teorema é também multiplicativa a função
O caso 0(n) = (n) também é simples: toma-se (d) = 1 para todo divisor d de n e então
Teorema 2
Se é uma função completamente multiplicativa e monótona então existe tal que .
Demonstração[3]
Como é por hipótese monótona, suponha estritamente crescente (caso contrário, considere ). Seja Falhou a verificação gramatical (SVG (MathML pode ser ativado através de uma extensão do ''browser''): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "http://localhost:6011/pt.wikipedia.org/v1/":): {\displaystyle x = \log_2 f(2)} . Logo . Assim, para todo natural m tem-se
em que e são respectivamente a função chão e a função teto. Além disso, como
,
segue finalmente que
.
Notas e referências
Notas
- ↑ No texto Applied Abstract Algebra, a função é definida com domínio no conjunto dos números naturais e contradomínio no conjunto dos números complexos, porém o conceito pode ser generalizado para funções com domínio no conjunto dos números inteiros e contradomínio em qualquer grupo multiplicativo, como por exemplo um conjunto de matrizes.
Referências
- ↑ a b c d Santos, José P. de O.; Coleção Matemática Universitária: Introdução à Teoria dos Números, Rio de Janeiro: IMPA, 2006
- ↑ a b c d e Nikos Drakos e Ross Moore, Applied Abstract Algebra, Multiplicative Functions [em linha] Arquivado em 22 de setembro de 2010, no Wayback Machine.
- ↑ Martinez, Fabio B., et al; Projeto Euclides: Teoria dos Números - um passeio com primos e outros números familiares pelo mundo inteiro, Rio de Janeiro: IMPA, 2010
Ligações Externas
- [Multiplicative Function] (em inglês). Weisstein, Eric W. "Multiplicative Function." From MathWorld--A Wolfram Web Resource.
- [Completely Multiplicative Function] (em inglês). Weisstein, Eric W. "Completely Multiplicative Function." From MathWorld--A Wolfram Web Resource.
- [Multiplicative Number Theoretic Function] (em inglês). Weisstein, Eric W. "Multiplicative Number Theoretic Function." From MathWorld--A Wolfram Web Resource.
Portal da matemática