Nghịch đảo Mobius

Trương Phước Nhân, 08/09/2017

 1 neáu d  p1 p2 ... pr vôùi pi phaân bieät
r


Hàm Mobius μ  d    1 neáu d  1
 0 trong caùc tröôøng hôïp coøn laïi

1 neáu n  1
Kết quả 1:  μ  d   0 neáu n  1
d |n 
Chứng minh :
Với n  1 , do 1 chỉ có một ước duy nhất là 1 nên  μ  d  μ 1  1
d |1

Với n  1 , số nguyên n có dạng n  p p ... p α1

1
α2
2
αm
m với pi là các số nguyên tố phân biệt.
i  m
 
m

 μ d    μ pi1 pi2 ... pir    1    1    0

I
Khi đó :
d |n i1 ,i2 ,..,ir 1,2,...,m I 1,2,..., m i 0  i
n
Kết quả 2: Nếu các ánh xạ f , g :  thỏa mãn f  n    g  d  thì g  n    μ  d  f  
d |n d |n d 
Chứng minh :
n n

d |n
μ d  f     μ   f d 
 d  d |n  d 
n
  μ   g  d ' 
d |n  d  d '|d
n
  g  d ' 
μ 
d '|n d :d '|d vaø d |n  d 

  g  d '  μ  m 
d '|n n
m|
d'

n
Sử dụng kết quả 1) ta suy ra  μ  m   0 tại hầu hết các ước d ' ngoại trừ d '  n ,  μ  d  f  d   g  n 
n d |n
m|
d'

n
Kết quả 3: Nếu các ánh xạ f , g :  thỏa mãn f  n    μ  d  g   thì g  n    f  d 
d |n d  d |n

Chứng minh :
d 
 f  d    μ  d  g  d ' 
d |n d |n d '|d

d 
  μ   g  d '
d |n d '|d  d '
d 
  g  d ' 
μ 
d '|n d :d '|d vaø d |n  d ' 

  g  d '  μ  m 
d '|n n
m|
d'

Sử dụng kết quả 1) ta suy ra  μ  m   0 tại hầu hết các ước d ' ngoại trừ d '  n ,  f  d   g  n 
n d |n
m|
d'

Kết quả 4: n     d  , trong đó  là phi hàm Euler.

d |n

 1  1   1 
Chứng minh : Ta đã chứng minh được rằng   n   n 1  1   ... 1   với n  p1α1 p2α2 ... pmαm
 p1  p2   pn 
Thực hiện khai triển vế phải của biểu thức tính   n  và sử dụng định nghĩa của hàm số Mobius :

m
n n n n n
  n  n      ...   1   μ d 
m

i 1 pi i  j pi p j i  j  k pi p j pk p1 p2 ... pm d |n d
Áp dụng kết quả 3) ta suy ra được rằng: n     d 
d |n

Tài liệu tham khảo :

[1]. Bài giảng Algebraic Combinatorics của Lionel Levine , 15/02/2011
[2]. Melvyn B. Nathanson, Additive Number Theory – Inverse Problems and the Geometry of Sumsets ,First
Edition.
[3]. Trương Phước Nhân, Phi hàm Euler, 07/09/2017