Diyofant Yaklaşımı
Diyofant yaklaşımı, irrasyonel sayıların kesirlerle ne kadar yakından yaklaşılabileceğini ölçmektedir; bu durum, rasyonel, cebirsel irrasyonel ve transandantal sayıları birbirinden ayırarak, sayının kendisine hassas bir şekilde bağlıdır.
Tanım
Diyofant yaklaşımı, gerçek sayıların rasyonel sayılarla ne kadar iyi yaklaşılabileceğinin incelenmesidir; bu durum, bir sayı ile bir kesir arasındaki farkın, kesrin paydasının büyüklüğüne göre ne kadar küçük olabileceği ile nicelendirilmektedir.
Kapsam
Bu konu, Dirichlet yaklaşım teoremi ve güvercin yuvası ilkesi, en iyi yaklaşımlar olarak sürekli kesirler, bir sayının irrasyonellik ölçüsü, Liouville teoremi ve Liouville (transandantal) sayılarının inşası, cebirsel sayıların yaklaşımı üzerine Thue-Siegel-Roth teoremi ile Diyofant denklemlerinin çözümlerini sınırlamaya ve transandantalite kanıtlarına yönelik uygulamalarını kapsamaktadır.
Temel sorular
- Dirichlet teoremi tarafından garanti edildiği üzere, her irrasyonel sayı rasyonellerle ne kadar iyi yaklaştırılabilir?
- Sürekli kesir yakınsakları neden en iyi rasyonel yaklaşımlardır?
- Liouville teoremi, cebirsel sayıların yaklaştırılabilirliğini nasıl sınırlar ve böylece transandantal sayıları nasıl ortaya koyar?
- Thue-Siegel-Roth teoremi hangi daha keskin sınırı getirir ve Diyofant denklemlerinin çözümlerini nasıl sınırlar?
Temel kuramlar
- Dirichlet yaklaşım teoremi
- Herhangi bir irrasyonel sayı için, onu paydanın karesinin bir bölü kadar bir hata payıyla yaklaştıran sonsuz sayıda kesir bulunmaktadır; bu, güvercin yuvası ilkesiyle kanıtlanmış ve esasen sürekli kesirlerle elde edilen bir sınırdır.
- Liouville teoremi ve transandantalite
- Cebirsel sayılar, derecelerine bağlı bir kuvvetten daha hızlı bir şekilde rasyonellerle yaklaştırılamaz; Liouville sabiti gibi daha hızlı yaklaştırılabilen sayılar transandantal olmak zorundadır.
- Thue-Siegel-Roth teoremi
- Bir irrasyonel cebirsel sayı, esasen ikiden büyük bir üsse kadar yaklaştırılamaz; bu mümkün olan en iyi sınır, geniş Diyofant denklem sınıfları için çözümlerin sonluluğunu ima etmektedir.
Klinik önem
Yaklaşım kalitesi, irrasyonel oranlar içeren sayısal algoritmaların kararlılığını kontrol etmekte ve kafes indirgemesinin (kafes kriptografisinde saldırıların ve yapıların temeli) altında yatmaktadır; ayrıca yarı-Monte Carlo entegrasyonunda kullanılan düşük sapmalı dizilerin tasarımını desteklemektedir.
Tarihçe
Sürekli kesir yaklaşımları Euler ve Lagrange tarafından incelenmiştir. Liouville, 1844 yılında kendi yaklaşım sınırını kullanarak ilk açık transandantal sayıları inşa etmiştir; Thue, Siegel ve son olarak Roth, 1955 yılında cebirsel sayılar için bu sınırı keskinleştirmiş, bu sonuçla Roth, Fields Madalyası'nı almıştır.
Öne çıkan isimler
- Peter Gustav Lejeune Dirichlet
- Joseph Liouville
- Axel Thue
- Klaus Roth
İlgili konular
Sıkça sorulan sorular
- İrrasyonellik ölçüsü nedir?
- Bir sayının rasyonellerle ne kadar yakından yaklaştırılabileceğini nicelendirir: daha büyük bir ölçü, daha iyi yaklaşımların mümkün olduğu anlamına gelir. Rasyonellerin ölçüsü birdir, cebirsel irrasyonellerin tam olarak ikidir (Roth'a göre) ve Liouville sayılarının sonsuz ölçüsü vardır.
- Yaklaşım, bir sayının transandantal olduğunu nasıl kanıtlar?
- Eğer bir sayı, rasyonellerle, Liouville'in herhangi bir cebirsel sayı için izin verdiğinden daha hızlı yaklaştırılabilirse, cebirsel olamaz, dolayısıyla transandantal olmak zorundadır.