Phép xấp xỉ Diophantine

Phép xấp xỉ Diophantine đo lường mức độ gần đúng mà các số vô tỉ có thể được tiếp cận bằng các phân số; câu trả lời phụ thuộc một cách tinh tế vào từng số, phân biệt giữa số hữu tỉ, số vô tỉ đại số và số siêu việt.

Definition

Phép xấp xỉ Diophantine là nghiên cứu về mức độ tốt mà các số thực có thể được xấp xỉ bằng các số hữu tỉ, được định lượng bằng cách xác định độ nhỏ của sự khác biệt giữa một số và một phân số so với kích thước mẫu số của phân số đó.

Scope

Chủ đề này bao gồm định lý xấp xỉ của Dirichlet và nguyên lý chuồng bồ câu, phân số liên tục như các xấp xỉ tốt nhất, độ đo vô tỉ của một số, định lý Liouville và việc xây dựng các số Liouville (siêu việt), định lý Thue-Siegel-Roth về xấp xỉ các số đại số, và các ứng dụng trong việc giới hạn nghiệm của các phương trình Diophantine và trong các chứng minh siêu việt.

Core questions

• Mỗi số vô tỉ có thể được xấp xỉ tốt đến mức nào bằng các số hữu tỉ, như được đảm bảo bởi định lý Dirichlet?
• Tại sao các hội tụ của phân số liên tục lại là các xấp xỉ hữu tỉ tốt nhất?
• Định lý Liouville giới hạn khả năng xấp xỉ của các số đại số như thế nào và qua đó thể hiện các số siêu việt?
• Định lý Thue-Siegel-Roth đặt ra giới hạn sắc nét hơn nào, và nó giới hạn nghiệm của các phương trình Diophantine như thế nào?

Key theories

Định lý xấp xỉ của Dirichlet

Đối với bất kỳ số vô tỉ nào, có vô số phân số xấp xỉ nó trong phạm vi một phần bình phương của mẫu số, một giới hạn được chứng minh bằng nguyên lý chuồng bồ câu và về cơ bản đạt được bằng phân số liên tục.

Định lý Liouville và tính siêu việt

Các số đại số không thể được xấp xỉ bằng các số hữu tỉ nhanh hơn một lũy thừa phụ thuộc vào bậc của chúng; các số có thể xấp xỉ nhanh hơn, chẳng hạn như hằng số Liouville, phải là số siêu việt.

Định lý Thue-Siegel-Roth

Một số đại số vô tỉ không thể được xấp xỉ với một số mũ về cơ bản lớn hơn hai; giới hạn tốt nhất có thể này ngụ ý tính hữu hạn của các nghiệm cho các lớp rộng của phương trình Diophantine.

Clinical relevance

Chất lượng xấp xỉ kiểm soát sự ổn định của các thuật toán số liên quan đến tỉ lệ vô tỉ và là nền tảng của việc giảm lưới (cơ sở của các cuộc tấn công và xây dựng trong mật mã lưới) cũng như thiết kế các dãy có độ lệch thấp được sử dụng trong tích phân Monte Carlo bán ngẫu nhiên.

History

Các phép xấp xỉ phân số liên tục đã được Euler và Lagrange nghiên cứu. Liouville đã xây dựng các số siêu việt tường minh đầu tiên vào năm 1844 bằng cách sử dụng giới hạn xấp xỉ của ông; Thue, Siegel, và cuối cùng là Roth vào năm 1955 đã làm sắc nét giới hạn cho các số đại số, một kết quả mà Roth đã nhận được Huy chương Fields.

Key figures

• Peter Gustav Lejeune Dirichlet
• Joseph Liouville
• Axel Thue
• Klaus Roth

Frequently asked questions

Độ đo vô tỉ là gì?

Nó định lượng mức độ gần đúng mà một số có thể được xấp xỉ bằng các số hữu tỉ: độ đo lớn hơn có nghĩa là có thể có các xấp xỉ tốt hơn. Các số hữu tỉ có độ đo bằng một, các số vô tỉ đại số chính xác bằng hai (theo Roth), và các số Liouville có độ đo vô hạn.

Phép xấp xỉ chứng minh một số là siêu việt như thế nào?

Nếu một số có thể được xấp xỉ bằng các số hữu tỉ nhanh hơn giới hạn của Liouville cho phép đối với bất kỳ số đại số nào, thì nó không thể là số đại số, do đó nó phải là số siêu việt.