✨Hàm số học

Trong lý thuyết số, hàm số học, hoặc hàm số lý thuyết số đối với hầu hết các tác giả nói đến bất kỳ hàm f (n) nào có miền là số nguyên dương và phạm vi của nó là một tập hợp con của tập số phức. Hardy & Wright bao gồm trong định nghĩa yêu cầu rằng một hàm số học cần "biểu thị một số tính chất số học".

Một ví dụ về hàm số học là hàm số ước có giá trị tại một số nguyên dương n bằng số ước số của n.

Có một lớp lớn hơn của các hàm lý thuyết số không phù hợp với định nghĩa trên, ví dụ các hàm đếm số nguyên tố. Bài viết này cung cấp các liên kết đến hàm của cả hai lớp này.

Nhiều hàm số được đề cập trong bài viết này có các mở rộng là chuỗi liên quan đến các tổng này; xem bài viết Tổng Ramanujan để biết ví dụ.

Hàm có tính chất nhân và cộng

Hàm số học a là

• cộng hoàn toàn nếu a (mn) = a (m) + a (n) cho tất cả các số tự nhiên m và n;
• nhân hoàn toàn nếu a (mn) = a (m)a (n) cho tất cả các số tự nhiên m và n;

Hai số nguyên m và n được gọi là số nguyên tố cùng nhau nếu ước số chung lớn nhất của chúng là 1; tức là, nếu không có số nguyên tố nào là ước số chung của cả hai.

Khi đó hàm số học a là có tính chất

• cộng nếu a (mn) = a (m) + a (n) cho tất cả các số tự nhiên nguyên tố cùng nhau m và n;
• nhân nếu a (mn) = a (m)a(n) cho tất cả các số tự nhiên nguyên tố cùng nhau m và n.

Ký hiệu

$\backslash sum\_p\; f(p)$  và  $\backslash prod\_p\; f(p)$  có nghĩa là tổng hoặc tích của tất cả các giá trị hàm trên các số nguyên tố:

: $\backslash sum\_p\; f(p)\; =\; f(2)\; +\; f(3)\; +\; f(5)\; +\; \backslash cdots$ : $\backslash prod\_p\; f(p)=\; f(2)f(3)f(5)\backslash cdots.$

Tương tự  $\backslash sum${p^k} f(p^k)  và  $\backslash prod${p^k} f(p^k)  có nghĩa là tổng hoặc tích trên tất cả các lũy thừa của các số nguyên tố với số mũ dương (do vậy không bao gồm 1):

: $\backslash sum\_\{p^k\}\; f(p^k)\; =\; \backslash sum$p\sum{k > 0} f(p^k) = f(2) + f(3) + f(4) +f(5) +f(7)+f(8)+f(9)+\cdots

$\backslash sum\_\{d\backslash mid\; n\}\; f(d)$  và  $\backslash prod\_\{d\backslash mid\; n\}\; f(d)$  có nghĩa là tổng hoặc tích trên tất cả các ước số dương của _n_, bao gồm 1 và _n_. Ví dụ: nếu _n_ = 12,

: $\backslash prod\_\{d\backslash mid\; 12\}\; f(d)\; =\; f(1)f(2)\; f(3)\; f(4)\; f(6)\; f(12).\backslash$

Các ký hiệu này có thể được kết hợp:  $\backslash sum${p\mid n} f(p)  và  $\backslash prod${p\mid n} f(p)  có nghĩa là tổng hoặc tích trên tất cả các ước nguyên tố của n. Ví dụ: nếu n = 18,

: $\backslash sum\_\{p\backslash mid\; 18\}\; f(p)\; =\; f(2)\; +\; f(3),\backslash$

và tương tự  $\backslash sum${p^k\mid n} f(p^k)  và  $\backslash prod${p^k\mid n} f(p^k)  có nghĩa là tổng hoặc tích trên tất cả các lũy thừa của số nguyên tố mà là ước số của n. Ví dụ: nếu n = 24,

: $\backslash prod\_\{p^k\backslash mid\; 24\}\; f(p^k)\; =\; f(2)\; f(3)\; f(4)\; f(8).\backslash$