Uma Breve Introdução à Função de Möbius

Alan Goiana Maia¹, Bruno de Carvalho Lima²

Wanderley de Oliveira Pereira³
1
Universidade Estadual do Ceará, FAFIDAM, e-mail: alan.goiana@aluno.uece.br
2
Universidade Estadual do Ceará, FAFIDAM, e-mail: bruno.carvalho@aluno.uece.br
3
Universidade Estadual do Ceará, FAFIDAM, e-mail: wanderley.pereira@uece.br

RESUMO. As funções aritméticas são objetos de estudo da Teoria dos Números e têm como
característica principal o domínio como sendo o conjunto ℕ dos inteiros positivos e o contradomínio o
conjunto ℤ dos inteiros. Um exemplo especial desse tipo de função é a de Möbius, e sua nomenclatura
é atribuída ao matemático alemão August Ferdinand Möbius (1790-1868). Nesse estudo, um
importante resultado evidenciado sobre essa função, o fato dela ser multiplicativa. Além disso, também
discutimos nesse trabalho mais duas propriedades que envolvem tal função, no qual podemos destacar,
a soma dos valores funcionais aplicados nos divisores de um inteiro positivo e a fórmula de inversão de
Möbius, bem como a apresentação de exemplos que ilustram as definições e as propriedades discorridas
nesse trabalho.

Palavras-chaves: Função de Möbius. Divisores de um Inteiro. Função Aritmética

Multiplicativa.

1. INTRODUÇÃO

A Teoria dos Números é forma mais antiga e pura da matemática e as funções

aritméticas multiplicativas são objetos de estudo dessa ciência. A Função de Möbius é
atribuida ao matemático alemão August Ferdinand Möbius (1790-1868), natural de
Schulpforta, uma comunidade escolar na Saxónia. Seu pai era um professor de dança e sua
mãe Johanna Katharine Christiane (1756-1820) era descendente de Martinho Lutero de
sétima geração. Ele entrou inicialmente na Universidade de Leipzig cursando direito por
indicação de seus familiares, mas seis meses depois resolveu mudar de área e estudar física,
matemática e astronomia.
Interessados por essa área da matemática, a presente pesquisa justifica-se pela
necessidade de apresentar resultados importantes da Teoria Analítica dos Números aos
alunos dos semestres inicias do cursos de gradução em matemática. A realização deste
trabalho justifica-se pela necessidade de apresentar esta temática aos alunos dos semetres
inicias do curso de licenciatura em matemática, e objetiva definir a função de Möbius e
apresentar algumas proposições fundamentais relativa a ela. Mostraremos que a função de
Möbius é uma função aritmética mutiplicativa e em seguida provaremos que dado um inteiro
positivo, a soma dos valores funcionais aplicados nos diviores desse inteiro, tem como

Av. Dr. Silas Munguba, 1700 – Campus Itaperi - Fortaleza/CE – CEP: 60.714-903
Fone (85) 3101.9650 - E-mail: semana.universitaria@uece.br
Site www.uece.br
resultado 0 ou 1, respectivamente, quando o inteiro 𝑛 > 1 ou 𝑛 = 1.

2. METODOLOGIA

O trabalho desenvolvido nesta pesquisa é de natureza bibliográfica e foi efetuado

sobre um capítulo que consta no livro do Alencar Filho (1981) e na dissertação de mestrado
do PROFMAT de autoria de Santos (2016). Para alcançar os nossos objetivos, fizemos um
estudo sistemático utilizando como fonte principal o livro de Alencar Filho (1981).

3. RESULTADOS E DISCUSSÃO

Iniciamos a nossa apresentação definindo a função aritmética.

Definição 1.1: Uma função 𝑓 definida no conjuntos ℕ dos inteiros positivos com valores
funcionais no conjunto ℤ dos inteiros é denominada função aritmética, ou seja, 𝑓: ℕ ⟶ ℤ.

Um exemplo de função aritmética é a função número de divisores, representado por

𝑑(𝑛), onde esta associa a cada inteiro positivo um outro inteiro que corresponde a quantidade
de divisores desse inteiro inicial. Observe que o domínio dessa função é o conjunto dos
inteiros positivos e o contradomínio é o conjunto dos inteiros, isto é, 𝑑: ℕ ⟶ ℤ.
Outra definição importante é a de função aritmética multiplicativa.

Definição 1.2: Uma função aritmética 𝑓 é dita multiplicativa se para todo par de inteiros
positivos (𝑟, 𝑠) temos que 𝑓(𝑟 · 𝑠) = 𝑓(𝑟) · 𝑓(𝑠) tais que 𝑚𝑑𝑐(𝑟, 𝑠) = 1.

Por exemplo, a função identidade, ou seja, 𝑓(𝑛) = 𝑛 é uma função aritmética

multiplivativa, pois para 𝑛 = 𝑟 · 𝑠 tal que 𝑚𝑑𝑐(𝑟, 𝑠) = 1 temos que 𝑓(𝑟 · 𝑠) = 𝑟 · 𝑠. Note
que 𝑓(𝑟) = 𝑟 e 𝑓(𝑠) = 𝑠, daí 𝑓(𝑟 · 𝑠) = 𝑟 · 𝑠 = 𝑓(𝑟) · 𝑓(𝑠), o que justifica o desejado.
Agora, definimos a Função de Möbius.

Definição 1.3: A função aritmética 𝑢(𝑛) assim definida:

1, se 𝑛 = 1
2
𝑢(𝑛) = { 0, 𝑠𝑒 𝑝 |𝑛, em que p é primo
𝑟
(−1) , se 𝑛 = 𝑝1 · 𝑝2 ·…· 𝑝𝑟 , onde os pi são primos distintos

é denominada função de Möbius.

É importante destacar que a função de Möbius tem a capacidade de associar o conjunto

ℕ dos inteiros positivos a três possíveis valores inteiros, nos quais são −1, 0 e 1, ou seja, a
função 𝑢: ℕ ⟶ ℤ tem como imagem o conjunto 𝐼𝑚(𝑓) = {−1,0,1}. Assim, sendo 𝑛 = 1,
temos que 𝑢(1) = 1. Paralelamente, se 𝑛 = 12, obtemos que 𝑢(12) = 0, uma vez que 22 |12

Av. Dr. Silas Munguba, 1700 – Campus Itaperi - Fortaleza/CE – CEP: 60.714-903
Fone (85) 3101.9650 - E-mail: semana.universitaria@uece.br
Site www.uece.br
 e para 𝑛 = 66, tem-se 𝑢(66) = −1, pois 66 = 2 · 3 · 11 e nesse caso 𝑟 = 3.
Uma observação importante a se fazer sobre essa função é quando o inteiro positivo
𝑛 assume um número primo e uma potência de primo, em simbolos, temos 𝑛 = 𝑝 e 𝑛 = 𝑝𝑘 ,
onde 𝑝 é um primo qualquer e 𝑘 ≥ 2. Quando 𝑛 = 𝑝, 𝑢(𝑝) = −1, pois o inteiro positivo 𝑛
já está na sua decomposição de primos distintos. Por outro lado, se 𝑛 = 𝑝𝑘 , então 𝑢(𝑝𝑘 ) =
0, pois 𝑝2 é um divisor de 𝑝𝑘 .
Nesse sentido, obtemos o primeiro resultado relativo à função de Möbius.

Proposição 1.1: A função de Möbius é uma função aritmética multiplicativa.

Prova: Mostremos agora que a função da definição 1.3 é multiplicativa. Para isso devemos
analisar as três partes que define tal função. Seja 𝑛 = 𝑟 · 𝑠 tal que 𝑚𝑑𝑐(𝑟, 𝑠) = 1. Mantendo
𝑟 = 1 fixo e 𝑠 assumindo qualquer valor inteiro positivo, daí:

𝑢(𝑟 · 𝑠) = 𝑢(1 · 𝑠) = 𝑢(𝑠) · 1 = 𝑢(𝑠) · 𝑢(1) = 𝑢(𝑟) · 𝑢(𝑠) ⇒ 𝑢(𝑟 · 𝑠) = 𝑢(𝑟) · 𝑢(𝑠).

Para 𝑠 = 1 fixo e 𝑟 varivável, temos:

𝑢(𝑠 · 𝑟) = 𝑢(𝑠 · 1) = 𝑢(𝑠) · 1 = 𝑢(𝑠) · 𝑢(1) = 𝑢(𝑠) · 𝑢(𝑟) ⇒ 𝑢(𝑠 · 𝑟) = 𝑢(𝑠) · 𝑢(𝑟).

Agora vejamos o caso onde 𝑝2 |𝑟 ou 𝑝2 |𝑠, note também que 𝑝2 |𝑟 · 𝑠, assim obtemos:

𝑢(𝑟 · 𝑠) = 0 = 𝑢(𝑟) · 𝑢(𝑟), uma vez que 𝑢(𝑟) = 0 ou 𝑢(𝑠) = 0.

Por fim, vejamos o caso onde 𝑟 = 𝑝1 · 𝑝2 · … · 𝑝𝑤 e 𝑠 = 𝑞1 · 𝑞2 · … · 𝑞𝑧 , onde os 𝑝𝑖

e os 𝑞𝑗 , onde são primos distintos:

𝑢(𝑟 · 𝑠) = 𝑢(𝑝1 · … · 𝑝𝑤 · 𝑞1 · … · 𝑞𝑧 ) = (−1)𝑤+𝑧 = (−1)𝑤 · (−1) 𝑧 = 𝑢(𝑟) · 𝑢(𝑠).

O que prova o solicitado.

Outro resultado bastante importante envolvendo a função de Möbius e os divisores
de um inteiro positivo é dado pela proposição a seguir.

Proposição 1.2: Se 𝑛 é um inteiro positivo, então:

1, 𝑠𝑒 𝑛 = 1
∑ 𝑢(𝑑) = {
0, 𝑠𝑒 𝑛 > 1
𝑑|𝑛

Prova: Seja 𝑔 uma função aritmética assim definida:

Av. Dr. Silas Munguba, 1700 – Campus Itaperi - Fortaleza/CE – CEP: 60.714-903
Fone (85) 3101.9650 - E-mail: semana.universitaria@uece.br
Site www.uece.br
 𝑔(𝑛) = ∑ 𝑢(𝑑)
𝑑|𝑛

Pelo proposição 1.1 𝑢(𝑑) é multiplicativa, então mostra-se que 𝑔(𝑛) também é uma
função aritmética multiplicativa.
Note que para 𝑛 = 1, temos que 𝑔(1) = 1. Consideremos agora 𝑛 > 1. Se 𝑛 = 𝑝𝑘
ℎ ℎ ℎ
temos que 𝑔(𝑝𝑘 ) = 0. Se 𝑛 = 𝑝1 1 · 𝑝2 2 · … · 𝑝𝑘 𝑘 é a decomposição canônica, logo:

ℎ ℎ ℎ ℎ ℎ ℎ
𝑔(𝑛) = 𝑔(𝑝1 1 · 𝑝2 2 · . . .· 𝑝𝑘 𝑘 ) = 𝑔(𝑝1 1 ) · 𝑔(𝑝2 2 ) · … · 𝑔(𝑝𝑘 𝑘 ) = 0.

ℎ
Pois, cada fator 𝑔(𝑝𝑖 𝑖 ) = 0, onde 1 ≤ 𝑖 ≤ 𝑘. O que prova o desejado.

4. CONSIDERAÇÕES FINAIS

O objetivo primordial desse trabelho esteve em torno de apresentar aos discentes dos
semestres iniciais do curso de graduação em Matemática resultados importantes da Teoria
Analítica dos Números, em especial, a função de Möbius e suas propriedades. Além de
mostar também o conceito de função aritmética e a função artimética multiplicativa. Assim,
acreditamos que esse trabalho cumpriu o objetivo de dar uma breve introdução à função de
Möbius e incentivá-lo no prosseguimento dos estudos.

5. REFERÊNCIAS

ALENCAR FILHO, E. Teoria elementar dos números. São Paulo: Nobel, 1981.

SANTOS, Marcus Vinicio de Jesus. Transformação de Möbius. 2016. 48 f. Dissertação,

programa de pós-graduação em matemática em rede nacional - PROFMAT, UFS, São
Cistóvão-SE, 2016. Disponivel em: https://profmat-sbm.org.br/. Acesso em: 16 de jan.
2023.

Av. Dr. Silas Munguba, 1700 – Campus Itaperi - Fortaleza/CE – CEP: 60.714-903
Fone (85) 3101.9650 - E-mail: semana.universitaria@uece.br
Site www.uece.br