Lý thuyết số cộng: Các cơ sở cổ điển - Graduate Texts in Mathematics

Khám phá lý thuyết số cộng tính và các cơ sở cổ điển. Tìm hiểu về cấu trúc số và các tính chất quan trọng trong lĩnh vực toán học này.

• Tác giả: Melvyn B. Nathanson
• Trường học: Lehman College of the City University of New York
• Chuyên ngành: Mathematics
• Đề tài: Additive Number Theory: The Classical Bases
• Loại tài liệu: Graduate Texts in Mathematics
• Năm xuất bản: 1996
• Địa điểm: New York

Mục lục chi tiết

• Preface
• Notation and conventions
• 1. Waring's problem
• 1.1. Polygonal numbers
• 1.2. Lagrange's theorem
• 1.3. Quadratic forms
• 1.4. Ternary quadratic forms
• 1.5. Sums of three squares
• 1.6. Thin sets of squares
• 1.7. The polygonal number theorem
• 2. Waring's problem for cubes
• 2.1. Sums of cubes
• 2.2. The Wieferich-Kempner theorem
• 2.3. Sums of two cubes
• 3. The Hilbert-Waring theorem
• 3.1. Polynomial identities and a conjecture of Hurwitz
• 3.2. Hermite polynomials and Hilbert's identity
• 3.3. A proof by induction
• 3.4. Easier Waring's problem
• 3.5. Weyl's inequality and Hua's lemma
• 5. The Hardy-Littlewood asymptotic formula
• 5.1. The circle method
• 5.2. Waring's problem for k
• 5.3. The Hardy-Littlewood decomposition
• 5.4. The minor arcs
• 5.5. The major arcs
• 5.6. The singular integral
• 5.7. The singular series
• 6. Elementary estimates for primes
• 6.4. Brun's method and twin primes
• 7. The Shnirel'man-Goldbach theorem
• 7.1. The Goldbach conjecture
• 7.2. The Selberg sieve
• 7.3. Applications of the sieve
• 7.4. Shnirel'man density
• 7.5. The Shnirel'man-Goldbach theorem
• 8. Sums of three primes
• 8.2. The singular series
• 8.3. Decomposition into major and minor arcs
• 8.4. The integral over the major arcs
• 8.5. An exponential sum over primes
• 8.6. Proof of the asymptotic formula
• 9. The linear sieve
• 9.2. Construction of a combinatorial sieve
• 9.4. The Jurkat-Richert theorem
• 9.5. Differential-difference equations
• 10. Primes and almost primes
• 10.3. Prolegomena to sieving
• 10.4. A lower bound for S(A, P, z)
• 10.5. An upper bound for S(Aq, P, z)
• 10.6. An upper bound for S(B, P, y)
• 10.7. A bilinear form inequality
• Appendix Arithmetic functions
• A.1. The ring of arithmetic functions
• A.2. Sums and integrals
• A.4. The divisor function
• A.5. The Euler φ-function
• A.6. The Mobius function
• Bibliography
• Index

Tóm tắt

I. Tổng Quan Về Lý Thuyết Số Cộng Nền Tảng Cổ Điển

Lý thuyết số cộng là một nhánh của lý thuyết số nghiên cứu về các tập hợp số nguyên và cách chúng cộng lại với nhau. Một trong những bài toán trung tâm của lý thuyết số cộng là xác định xem một tập hợp các số nguyên có phải là một cơ sở hay không, nghĩa là mọi số nguyên dương có thể được biểu diễn dưới dạng tổng của một số hữu hạn các phần tử trong tập hợp đó. Các cơ sở cổ điển trong lý thuyết số cộng bao gồm các số chính phương, lập phương, lũy thừa bậc cao hơn, các số đa giác và các số nguyên tố. Các câu hỏi cổ điển liên quan đến các cơ sở này là bài toán Waring và giả thuyết Goldbach.

Bài toán Waring là chứng minh rằng, với mọi k > 2, các lũy thừa bậc k không âm tạo thành một cơ sở hữu hạn. Chúng ta sẽ chứng minh một số kết quả liên quan đến bài toán Waring, bao gồm định lý Hilbert rằng mọi số nguyên không âm là tổng của một số hữu hạn các lũy thừa bậc k, và công thức tiệm cận Hardy-Littlewood cho số lượng biểu diễn của một số nguyên dưới dạng tổng của s lũy thừa bậc k dương.

Goldbach phỏng đoán rằng mọi số nguyên dương chẵn đều là tổng của tối đa hai số nguyên tố. Chúng ta sẽ chứng minh ba trong số các kết quả quan trọng nhất về giả thuyết Goldbach: Định lý Shnirel'man rằng các số nguyên tố là một cơ sở hữu hạn, định lý Vinogradov rằng mọi số lẻ đủ lớn là tổng của ba số nguyên tố và định lý Chen rằng mọi số chẵn đủ lớn là tổng của một số nguyên tố và một số là tích của tối đa hai số nguyên tố.

Nhiều bài toán chưa được giải quyết vẫn còn tồn tại. Giả thuyết Goldbach vẫn chưa được chứng minh. Không có bằng chứng nào về giả thuyết rằng mọi số nguyên đủ lớn là tổng của bốn lập phương không âm, cũng như không thể thu được một cận trên tốt cho số s nhỏ nhất của các lũy thừa bậc k không âm sao cho mọi số nguyên đủ lớn là tổng của s lũy thừa bậc k. Có thể là cả phương pháp đường tròn và phương pháp sàng đều không đủ mạnh để giải quyết những bài toán này và rằng những ý tưởng toán học hoàn toàn mới sẽ là cần thiết, nhưng chắc chắn sẽ không có tiến bộ nào nếu không hiểu các phương pháp cổ điển.

1.1. Định Nghĩa Cơ Bản Về Lý Thuyết Số Cộng

Lý thuyết số cộng, như tên gọi của nó, tập trung vào các tính chất cộng của tập hợp các số nguyên. Cụ thể, nó nghiên cứu liệu một tập hợp các số nguyên có thể tạo thành một cơ sở hay không. Theo định nghĩa, một tập hợp A các số nguyên không âm được gọi là một cơ sở cộng bậc h nếu mọi số nguyên không âm có thể được viết dưới dạng tổng của h (không nhất thiết khác nhau) các phần tử của A. Định lý Lagrange là một ví dụ điển hình: tập hợp các số chính phương là một cơ sở cộng bậc bốn. Việc nghiên cứu tính chất cơ sở là trọng tâm của lý thuyết số cộng, dẫn đến nhiều câu hỏi thú vị và đầy thách thức.

1.2. Các Bài Toán Cổ Điển Waring và Goldbach

Hai trong số những bài toán nổi tiếng nhất trong lý thuyết số cộng là bài toán Waring và giả thuyết Goldbach. Bài toán Waring đặt câu hỏi liệu với mỗi số nguyên k > 1, có tồn tại một số nguyên s sao cho mọi số nguyên dương đều có thể được biểu diễn dưới dạng tổng của s lũy thừa bậc k. Hilbert đã chứng minh rằng điều này là đúng. Giả thuyết Goldbach, ngược lại, phát biểu rằng mọi số nguyên chẵn lớn hơn 2 có thể được viết dưới dạng tổng của hai số nguyên tố. Mặc dù đã có nhiều tiến bộ, giả thuyết Goldbach vẫn chưa được chứng minh.

1.3. Công Cụ Nghiên Cứu Phương Pháp Đường Tròn và Sàng

Các công cụ chính được sử dụng trong lý thuyết số cộng để tấn công các bài toán như Waring và Goldbach là phương pháp đường tròn và phương pháp sàng. Phương pháp đường tròn, được phát triển bởi Hardy và Littlewood, sử dụng tích phân phức để ước tính số lượng biểu diễn của một số nguyên dưới dạng tổng của các phần tử từ một tập hợp nhất định. Phương pháp sàng, ngược lại, là một kỹ thuật tổ hợp được sử dụng để ước tính số lượng các số nguyên tố trong một tập hợp nhất định. Cả hai phương pháp đều có những ưu điểm và hạn chế riêng, và việc kết hợp chúng thường là cần thiết để đạt được những kết quả tốt nhất.

II. Bài Toán Waring Chứng Minh Hilbert và Tiệm Cận HL

Bài toán Waring là một trong những bài toán trung tâm của lý thuyết số cộng. Nó khẳng định rằng, với mọi số nguyên k > 1, tồn tại một số nguyên s sao cho mọi số nguyên dương đều có thể được biểu diễn dưới dạng tổng của s lũy thừa bậc k. Tức là, với mọi k, tồn tại g(k) sao cho mọi số nguyên dương n đều có thể viết dưới dạng: n = x₁ᵏ + x₂ᵏ + ... + x₉(ₖ)ᵏ, với x₁, x₂, ..., x₉(ₖ) là các số nguyên không âm. Hilbert đã chứng minh sự tồn tại của g(k), nhưng việc xác định giá trị chính xác của g(k) là một vấn đề khó khăn.

Trong quá trình nghiên cứu bài toán Waring, một công thức tiệm cận quan trọng đã được Hardy và Littlewood phát triển để ước tính số lượng biểu diễn của một số nguyên dưới dạng tổng của các lũy thừa. Công thức tiệm cận Hardy-Littlewood này cho phép chúng ta hiểu rõ hơn về cấu trúc cộng của tập hợp các lũy thừa.

2.1. Chứng Minh Hilbert Về Sự Tồn Tại g k

Chứng minh của Hilbert về sự tồn tại của g(k) là một bước đột phá lớn trong lý thuyết số cộng. Chứng minh gốc của Hilbert là phức tạp và khó hiểu. Các chứng minh sau này đã được đơn giản hóa đáng kể. Tuy nhiên, tất cả các chứng minh đều dựa trên các đồng nhất thức đa thức phức tạp và các kỹ thuật phân tích tinh vi. Việc hiểu rõ chứng minh Hilbert là nền tảng quan trọng để tiếp cận các vấn đề phức tạp hơn trong lý thuyết số cộng.

2.2. Công Thức Tiệm Cận Hardy Littlewood HL

Công thức tiệm cận Hardy-Littlewood cung cấp một cách tiếp cận mạnh mẽ để ước tính số lượng biểu diễn của một số nguyên dưới dạng tổng của s lũy thừa bậc k. Công thức này dựa trên phương pháp đường tròn, một kỹ thuật phân tích sử dụng tích phân phức để ước tính các tổng số học. Công thức HL có dạng phức tạp và liên quan đến các tích phân và chuỗi đặc biệt. Việc sử dụng thành thạo công thức HL đòi hỏi kiến thức vững chắc về phân tích phức và lý thuyết số.

2.3. Ứng Dụng của Waring Tổng Các Số Chính Phương

Một ứng dụng quan trọng của bài toán Waring là trong việc nghiên cứu tổng các số chính phương. Định lý Lagrange khẳng định rằng mọi số nguyên dương đều có thể được viết dưới dạng tổng của bốn số chính phương. Bài toán Waring cho phép chúng ta tổng quát hóa kết quả này cho các lũy thừa bậc cao hơn. Ví dụ, chúng ta có thể hỏi rằng liệu mọi số nguyên dương có thể được viết dưới dạng tổng của chín lập phương hay không. Việc nghiên cứu tổng các số chính phương và các lũy thừa bậc cao hơn là một lĩnh vực nghiên cứu tích cực trong lý thuyết số cộng.

III. Giả Thuyết Goldbach Định Lý Shnirel man và Vinogradov

Giả thuyết Goldbach là một trong những bài toán lâu đời nhất và nổi tiếng nhất trong lý thuyết số. Nó phát biểu rằng mọi số nguyên chẵn lớn hơn 2 có thể được viết dưới dạng tổng của hai số nguyên tố. Mặc dù có vẻ đơn giản, giả thuyết Goldbach vẫn chưa được chứng minh. Tuy nhiên, đã có những tiến bộ đáng kể trong việc tiếp cận bài toán này. Shnirel'man đã chứng minh rằng mọi số nguyên dương có thể được viết dưới dạng tổng của một số hữu hạn các số nguyên tố. Vinogradov đã chứng minh rằng mọi số lẻ đủ lớn có thể được viết dưới dạng tổng của ba số nguyên tố. Các kết quả này đánh dấu những cột mốc quan trọng trong việc giải quyết giả thuyết Goldbach.

3.1. Định Lý Shnirel man Số Nguyên Tố Là Cơ Sở Hữu Hạn

Định lý Shnirel'man chứng minh rằng tập hợp các số nguyên tố là một cơ sở hữu hạn. Điều này có nghĩa là tồn tại một số h sao cho mọi số nguyên dương đều có thể được viết dưới dạng tổng của h số nguyên tố. Mặc dù định lý Shnirel'man không trực tiếp giải quyết giả thuyết Goldbach, nó cung cấp một bằng chứng quan trọng về tính chất cộng của tập hợp các số nguyên tố. Chứng minh của Shnirel'man dựa trên một khái niệm về mật độ Shnirel'man, một thước đo về "độ dày" của một tập hợp các số nguyên.

3.2. Định Lý Vinogradov Tổng Ba Số Nguyên Tố

Định lý Vinogradov khẳng định rằng mọi số lẻ đủ lớn có thể được viết dưới dạng tổng của ba số nguyên tố. Đây là một kết quả mạnh mẽ hơn định lý Shnirel'man, vì nó cung cấp một cận trên tốt hơn về số lượng số nguyên tố cần thiết để biểu diễn một số nguyên dương. Chứng minh của Vinogradov dựa trên phương pháp đường tròn và các ước tính tinh vi về tổng mũ liên quan đến các số nguyên tố. Định lý Vinogradov đánh dấu một bước tiến lớn trong việc tiếp cận giả thuyết Goldbach.

3.3. Định Lý Chen Số Nguyên Tố Gần Như Nguyên Tố

Định lý Chen là một kết quả gần đúng đối với giả thuyết Goldbach. Nó khẳng định rằng mọi số chẵn đủ lớn có thể được viết dưới dạng tổng của một số nguyên tố và một số gần như nguyên tố. Một số gần như nguyên tố là một số có tối đa hai ước số nguyên tố. Định lý Chen là kết quả tốt nhất hiện tại liên quan đến giả thuyết Goldbach. Chứng minh của Chen dựa trên phương pháp sàng và các kỹ thuật tổ hợp phức tạp.

IV. Số Đa Giác Định Lý Gauss và Cauchy Về Tam Giác

Số đa giác là các số có thể được biểu diễn bằng các điểm được sắp xếp thành hình đa giác đều. Ví dụ, số tam giác là 1, 3, 6, 10, ...; số chính phương là 1, 4, 9, 16, ...; số ngũ giác là 1, 5, 12, 22, .... Các số đa giác có lịch sử lâu đời và đã được nghiên cứu bởi các nhà toán học Hy Lạp cổ đại. Gauss đã chứng minh rằng mọi số nguyên dương đều có thể được viết dưới dạng tổng của ba số tam giác. Cauchy đã tổng quát hóa kết quả này cho các số đa giác bậc cao hơn.

4.1. Định Lý Gauss Mọi Số Là Tổng Ba Tam Giác

Định lý Gauss, còn được gọi là Eureka! (Tôi đã tìm ra!), khẳng định rằng mọi số nguyên dương đều có thể được viết dưới dạng tổng của ba số tam giác. Đây là một kết quả đẹp và đáng ngạc nhiên. Chứng minh của Gauss dựa trên một số đồng nhất thức số học và các kỹ thuật phân tích đơn giản. Định lý Gauss là một ví dụ điển hình về vẻ đẹp và sự đơn giản của lý thuyết số.

4.2. Định Lý Cauchy Tổng Quát Cho Số Đa Giác

Cauchy đã tổng quát hóa định lý Gauss cho các số đa giác bậc cao hơn. Định lý Cauchy khẳng định rằng, với mọi số nguyên m > 2, tồn tại một số g(m) sao cho mọi số nguyên dương đều có thể được viết dưới dạng tổng của g(m) số đa giác bậc m. Chứng minh của Cauchy phức tạp hơn chứng minh của Gauss và dựa trên các kỹ thuật phân tích tinh vi hơn.

4.3. Ứng Dụng Của Số Đa Giác Tính Chất Cộng

Việc nghiên cứu số đa giác cung cấp những hiểu biết sâu sắc về tính chất cộng của tập hợp các số nguyên. Các định lý Gauss và Cauchy cho thấy rằng các số đa giác có khả năng "lấp đầy" tập hợp các số nguyên theo một cách nhất định. Việc hiểu rõ tính chất cộng của số đa giác là quan trọng để giải quyết các bài toán phức tạp hơn trong lý thuyết số cộng.

V. Sàng Tuyến Tính Xấp Xỉ Nguyên Tố và Gần Nguyên Tố

Phương pháp sàng là một kỹ thuật tổ hợp được sử dụng để ước tính số lượng các số nguyên tố trong một tập hợp nhất định. Sàng tuyến tính là một biến thể cụ thể của phương pháp sàng được sử dụng để tìm các ước lượng cho các số nguyên tố và các số gần nguyên tố. Phương pháp sàng tuyến tính đã được sử dụng để chứng minh nhiều kết quả quan trọng trong lý thuyết số, bao gồm định lý Chen về tổng của một số nguyên tố và một số gần nguyên tố.

5.1. Xây Dựng Sàng Tổ Hợp Ước Lượng Số Nguyên Tố

Việc xây dựng một sàng tổ hợp là bước quan trọng trong phương pháp sàng tuyến tính. Sàng tổ hợp là một công cụ được sử dụng để loại bỏ các số không phải là số nguyên tố khỏi một tập hợp nhất định. Bằng cách chọn cẩn thận các số được loại bỏ, chúng ta có thể ước tính số lượng các số nguyên tố còn lại trong tập hợp.

5.2. Định Lý Jurkat Richert Cận Trên và Cận Dưới

Định lý Jurkat-Richert cung cấp các cận trên và cận dưới cho số lượng các số nguyên tố trong một tập hợp nhất định, được sàng lọc bởi một sàng tuyến tính. Các cận này là rất quan trọng để chứng minh các kết quả về số nguyên tố và số gần nguyên tố. Định lý Jurkat-Richert là một trong những kết quả chính trong lý thuyết sàng.

5.3. Ứng Dụng Sàng Định Lý Chen Về Goldbach

Một ứng dụng quan trọng của phương pháp sàng tuyến tính là trong chứng minh của Chen về giả thuyết Goldbach. Chen đã sử dụng phương pháp sàng tuyến tính để chứng minh rằng mọi số chẵn đủ lớn có thể được viết dưới dạng tổng của một số nguyên tố và một số gần nguyên tố. Định lý Chen là kết quả tốt nhất hiện tại liên quan đến giả thuyết Goldbach.

VI. Các Hàm Số Học Kiến Thức Bổ Trợ Cần Thiết

Các hàm số học đóng vai trò quan trọng trong lý thuyết số cộng, cung cấp công cụ để phân tích cấu trúc của số nguyên và mối quan hệ giữa chúng. Các hàm như hàm chia, hàm Euler và hàm Möbius thường xuyên xuất hiện trong các chứng minh và tính toán.

6.1. Vòng Các Hàm Số Học Cấu Trúc Đại Số Quan Trọng

Tập hợp các hàm số học cùng với phép cộng và tích chập tạo thành một vòng. Cấu trúc đại số này cho phép chúng ta áp dụng các kỹ thuật từ đại số để nghiên cứu các tính chất của hàm số học. Việc hiểu rõ cấu trúc vòng của các hàm số học là rất quan trọng để tiếp cận các vấn đề phức tạp hơn trong lý thuyết số cộng.

6.2. Hàm Chia và Euler Ước Lượng và Tính Chất

Hàm chia d(n) đếm số lượng ước số của n. Hàm Euler φ(n) đếm số lượng các số nguyên dương nhỏ hơn n và nguyên tố cùng nhau với n. Cả hai hàm này đều có các tính chất quan trọng và được sử dụng rộng rãi trong lý thuyết số. Việc ước lượng chính xác các hàm chia và Euler là rất quan trọng trong nhiều ứng dụng.

6.3. Hàm Möbius Tính Chất và Ứng Dụng

Hàm Möbius μ(n) là một hàm số học quan trọng được định nghĩa dựa trên phân tích thừa số nguyên tố của n. Hàm Möbius có nhiều tính chất thú vị và được sử dụng trong công thức nghịch đảo Möbius, một công cụ mạnh mẽ để biến đổi các tổng số học.