Aproksimasi Diofantin

Aproksimasi Diofantin mengukur seberapa dekat bilangan irasional dapat didekati oleh pecahan; jawabannya sangat bergantung pada bilangan tersebut, memisahkan bilangan rasional, irasional aljabar, dan transendental.

Definition

Aproksimasi Diofantin adalah studi tentang seberapa baik bilangan real dapat didekati oleh bilangan rasional, yang dikuantifikasi oleh seberapa kecil perbedaan antara suatu bilangan dan pecahan relatif terhadap ukuran penyebut pecahan tersebut.

Scope

Topik ini mencakup teorema aproksimasi Dirichlet dan prinsip sarang merpati, pecahan berlanjut sebagai aproksimasi terbaik, ukuran irasionalitas suatu bilangan, teorema Liouville dan konstruksi bilangan Liouville (transendental), teorema Thue-Siegel-Roth tentang aproksimasi bilangan aljabar, dan aplikasi untuk membatasi solusi persamaan Diofantin serta untuk bukti transendensi.

Core questions

• Seberapa baik setiap bilangan irasional dapat didekati oleh bilangan rasional, sebagaimana dijamin oleh teorema Dirichlet?
• Mengapa konvergen pecahan berlanjut merupakan aproksimasi rasional terbaik?
• Bagaimana teorema Liouville membatasi kemampuan aproksimasi bilangan aljabar dan dengan demikian menunjukkan bilangan transendental?
• Batas yang lebih tajam apa yang diberlakukan oleh teorema Thue-Siegel-Roth, dan bagaimana batas tersebut membatasi solusi persamaan Diofantin?

Key theories

Teorema aproksimasi Dirichlet

Untuk setiap bilangan irasional, terdapat tak terhingga banyaknya pecahan yang mendekatinya hingga satu per kuadrat penyebutnya, sebuah batas yang dibuktikan oleh prinsip sarang merpati dan pada dasarnya dicapai oleh pecahan berlanjut.

Teorema Liouville dan transendensi

Bilangan aljabar tidak dapat didekati oleh bilangan rasional lebih cepat dari pangkat yang bergantung pada derajatnya; bilangan yang dapat didekati lebih cepat, seperti konstanta Liouville, haruslah transendental.

Teorema Thue-Siegel-Roth

Bilangan aljabar irasional tidak dapat didekati hingga eksponen yang secara esensial lebih besar dari dua; batas terbaik yang mungkin ini menyiratkan kefinitan solusi untuk kelas luas persamaan Diofantin.

Clinical relevance

Kualitas aproksimasi mengontrol stabilitas algoritma numerik yang melibatkan rasio irasional dan mendasari reduksi kisi (dasar serangan dan konstruksi dalam kriptografi kisi) serta desain urutan diskrepansi rendah yang digunakan dalam integrasi kuasi-Monte Carlo.

History

Aproksimasi pecahan berlanjut dipelajari oleh Euler dan Lagrange. Liouville mengkonstruksi bilangan transendental eksplisit pertama pada tahun 1844 menggunakan batas aproksimasinya; Thue, Siegel, dan akhirnya Roth pada tahun 1955 mempertajam batas untuk bilangan aljabar, sebuah hasil yang membuat Roth menerima Medali Fields.

Key figures

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

Frequently asked questions

Apa itu ukuran irasionalitas?

Ini mengukur seberapa dekat suatu bilangan dapat didekati oleh bilangan rasional: ukuran yang lebih besar berarti aproksimasi yang lebih baik mungkin terjadi. Bilangan rasional memiliki ukuran satu, irasional aljabar tepat dua (menurut Roth), dan bilangan Liouville memiliki ukuran tak terhingga.

Bagaimana aproksimasi membuktikan suatu bilangan adalah transendental?

Jika suatu bilangan dapat didekati oleh bilangan rasional lebih cepat dari batas Liouville yang diizinkan untuk bilangan aljabar mana pun, bilangan tersebut tidak dapat bersifat aljabar, sehingga harus transendental.