Hàm nhân tính hoàn toàn

Trong lý thuyết số, hàm nhân tính hoàn toàn hay hàm nhân tính toàn bộ là một hàm số học giữ lại phép nhân giữa hai số bất kỳ. Nói cách khác, hàm số f định nghĩa trên tập số nguyên dương được gọi là nhân tính hoàn toàn nếu nó thỏa f(ab) = f(a)f(b) với mọi số nguyên dương a, b.

Nếu hàm số học f thỏa f(ab) = f(a)f(b) với mọi số nguyên dương a, b nguyên tố cùng nhau thì nó được gọi là hàm nhân tính. Ngoài ngữ cảnh lý thuyết số, thuật ngữ "hàm nhân tính" thường dùng để chỉ hàm nhân tính hoàn toàn.

Định nghĩa

[sửa | sửa mã nguồn]

Một hàm nhân tính hoàn toàn (hay hàm nhân tính toàn bộ) là một hàm số học (hàm số có tập xác định là tập số tự nhiên) f, sao cho

f(ab) = f(a)f(b)

với mọi số nguyên dương a, b.[1]

Trong trường hợp f(1) = 0 thì ta có f(a) = 0 với mọi số tự nhiên a. Nếu f(1) ≠ 0 thì do f(1) = (f(1))2, ta suy ra f(1) = 1.

Định nghĩa đại số

[sửa | sửa mã nguồn]

Định nghĩa trên có thể viết lại bằng ngôn ngữ của đại số trừu tượng: một hàm nhân tính hoàn toàn là một đẳng cấu từ monoid (Z+, ⋅) (tức là, tập số nguyên dưới phép nhân) vào một monoid khác.

Ví dụ đơn giản nhất của hàm nhân tính hoàn toàn (ngoài hàm f(a) = 0 với mọi a) là một đơn thức với hệ số bằng 1: hàm số f(a) = an với n là một số dương bất kỳ. Khi ấy

f(bc) = (bc)n = bncn = f(b)f(c),

Một số ví dụ không tầm thường khác là hàm Liouville, đặc trưng Dirichlet, ký hiệu Jacobiký hiệu Legendre.

Tính chất

[sửa | sửa mã nguồn]

Một hàm nhân tính hoàn toàn được xác định chỉ bởi giá trị của nó tại các số nguyên tố, một hệ quả từ định lý cơ bản của số học, phát biểu rằng mọi số tự nhiên đều có một và chỉ một phân tích ra thừa số nguyên tố. Cụ thể, nếu phân tích ra thừa số nguyên tố của nn = pa1
1
pa2
2
pak
k
thì

f(n) = f(p
1
)a
1

f(p
2
)a
2

f(p
k
)a
k

.

Trong khi tích chập Dirichlet của hai hàm nhân tính là một hàm nhân tính, tích chập Dirichlet của hai hàm nhân tính hoàn toàn không nhất thiết là nhân tính hoàn toàn.

Một hàm số f là nhân tính hoàn toàn khi và chỉ khi nghịch đảo Dirichlet của nó là μf, trong đó μhàm Möbius.[2]

Tính phân phối

[sửa | sửa mã nguồn]

Hàm nhân tính hoàn toàn cũng thỏa mãn một tính chất phân phối. Nếu f là nhân tính hoàn toàn thì

trong đó ký hiệu tích chập Dirichlettích tại từng điểm.[3] Một hệ quả của tính chất này là với mọi hàm nhân tính hoàn toàn f, ta có:

suy ra bằng cách thế g = h = 1, tức là hàm hằng với giá trị bằng 1. Ở đây τhàm ước số, trả về số ước của số nguyên dương n.

Chứng minh

[sửa | sửa mã nguồn]

Do f là hàm nhân tính hoàn toàn nên nếu d là ước của n thì

Như vậy ta có

Chuỗi Dirichlet

[sửa | sửa mã nguồn]

Hàm L của chuỗi Dirichlet nhân tính hoàn toàn thỏa

Tham khảo

[sửa | sửa mã nguồn]
  1. ^ Apostol, Tom (1976). Introduction to Analytic Number Theory. Springer. tr. 30. ISBN 0-387-90163-9.
  2. ^ Apostol, p. 36
  3. ^ Apostol pg. 49
Chúng tôi bán
Bài viết liên quan
Nhìn lại cú bắt tay vĩ đại giữa Apple và NVIDIA
Nhìn lại cú bắt tay vĩ đại giữa Apple và NVIDIA
Trong một ngày đầu năm 2000, hai gã khổng lồ công nghệ, Apple và NVIDIA, bước chân vào một cuộc hôn nhân đầy tham vọng và hứa hẹn
Nhân vật Suzune Horikita - Classroom of the Elite
Nhân vật Suzune Horikita - Classroom of the Elite
Nếu mình không thể làm gì, thì cứ đà này mình sẽ kéo cả lớp D liên lụy mất... Những kẻ mà mình xem là không cùng đẳng cấp và vô giá trị... Đến khi có chuyện thì mình không chỉ vô dụng mà lại còn dùng bạo lực ra giải quyết. Thật là ngớ ngẩn...
Mai Sơn Thất Quái và kế hoạch chu toàn của Dương Tiễn.
Mai Sơn Thất Quái và kế hoạch chu toàn của Dương Tiễn.
Tại True Ending của Black Myth: Wukong, chúng ta nhận được cú twist lớn nhất của game, hóa ra Dương Tiễn không phải phản diện mà trái lại, việc tiếp nhận Ý thức của Tôn Ngộ Không
Cậu ngày hôm nay là tất cả đáng yêu (phần 4)
Cậu ngày hôm nay là tất cả đáng yêu (phần 4)
Cậu ngày hôm nay là tất cả đáng yêu - 今天的她也是如此可爱. phần 4