डायोफैंटाइन सन्निकटन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 85: Line 85:
{{main|थू-सीगल-रोथ प्रमेय}}
{{main|थू-सीगल-रोथ प्रमेय}}


शताब्दी से भी अधिक समय में, लिउविल के प्रमेय को उत्तम बनाने के लिए कई प्रयास किए गए: बाउंड का हर सुधार हमें यह साबित करने में सक्षम बनाता है कि अधिक संख्याएं ट्रान्सेंडैंटल हैं। मुख्य सुधार {{harvs|first=एक्सल|last=थ्यू|authorlink=एक्सल थ्यू|year=1909|txt}}, {{harvs|frst=Carl Ludwig|last=सीगल|authorlink=Carl Ludwig Siegel|year=1921|txt}}, {{harvs|first=फ्रीमैन|last=डायसन|authorlink=फ्रीमैन डायसन|year=1947|txt}}, और {{harvs|first=क्लॉस|last=रोथ|authorlink=क्लॉस रोथ|year=1955|txt}} के कारण हैं, जो अंत में थू-सीगल-रोथ प्रमेय के लिए अग्रणी है: यदि {{math|''x''}} तर्कहीन बीजगणितीय संख्या है और {{math|''ε''}} a (छोटा) धनात्मक वास्तविक संख्या, तो वहाँ एक धनात्मक स्थिरांक {{math|''c''(''x'', ''ε'')}} उपस्थित है जैसे कि
शताब्दी से भी अधिक समय में, लिउविल के प्रमेय को उत्तम बनाने के लिए कई प्रयास किए गए: बाउंड का हर सुधार हमें यह प्रमाणित करने में सक्षम बनाता है कि अधिक संख्याएं ट्रान्सेंडैंटल हैं। मुख्य सुधार {{harvs|first=एक्सल|last=थ्यू|authorlink=एक्सल थ्यू|year=1909|txt}}, {{harvs|frst=Carl Ludwig|last=सीगल|authorlink=Carl Ludwig Siegel|year=1921|txt}}, {{harvs|first=फ्रीमैन|last=डायसन|authorlink=फ्रीमैन डायसन|year=1947|txt}}, और {{harvs|first=क्लॉस|last=रोथ|authorlink=क्लॉस रोथ|year=1955|txt}} के कारण हैं, जो अंत में थू-सीगल-रोथ प्रमेय के लिए अग्रणी है: यदि {{math|''x''}} तर्कहीन बीजगणितीय संख्या है और {{math|''ε''}} a (छोटा) धनात्मक वास्तविक संख्या, तो वहाँ एक धनात्मक स्थिरांक {{math|''c''(''x'', ''ε'')}} उपस्थित है जैसे कि
:<math>
:<math>
     \left| x- \frac{p}{q} \right|>\frac{c(x, \varepsilon)}{q^{2+\varepsilon}}
     \left| x- \frac{p}{q} \right|>\frac{c(x, \varepsilon)}{q^{2+\varepsilon}}
Line 95: Line 95:
=== बीजगणितीय संख्याओं का युगपत सन्निकटन ===
=== बीजगणितीय संख्याओं का युगपत सन्निकटन ===
{{main|सबस्पेस प्रमेय}}
{{main|सबस्पेस प्रमेय}}
इसके बाद, वोल्फगैंग एम. श्मिट ने साथ सन्निकटन के मामले में इसे सामान्यीकृत किया, यह साबित करते हुए कि: यदि {{math|''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>}} बीजगणितीय संख्याएँ हैं जैसे कि {{math|1, ''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>}} परिमेय संख्याओं पर [[ रैखिक स्वतंत्रता |रैखिक स्वतंत्रता]] हैं और {{math|''ε''}} कोई भी दी हुई धनात्मक वास्तविक संख्या है, तो केवल परिमित संख्या में अनेक परिमेय {{math|''n''}}-टुपल्स {{math|(''p''<sub>1</sub>/''q'', ..., ''p''<sub>''n''</sub>/''q'')}} संख्याएँ होती हैं जैसे कि
इसके बाद, वोल्फगैंग एम. श्मिट ने साथ सन्निकटन के मामले में इसे सामान्यीकृत किया, यह प्रमाणित करते हुए कि: यदि {{math|''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>}} बीजगणितीय संख्याएँ हैं जैसे कि {{math|1, ''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>}} परिमेय संख्याओं पर [[ रैखिक स्वतंत्रता |रैखिक स्वतंत्रता]] हैं और {{math|''ε''}} कोई भी दी हुई धनात्मक वास्तविक संख्या है, तो केवल परिमित संख्या में अनेक परिमेय {{math|''n''}}-टुपल्स {{math|(''p''<sub>1</sub>/''q'', ..., ''p''<sub>''n''</sub>/''q'')}} संख्याएँ होती हैं जैसे कि
:<math>\left|x_i - \frac{p_i}{q}\right| < q^{-(1 + 1/n + \varepsilon)},\quad i = 1, \ldots, n.</math>
:<math>\left|x_i - \frac{p_i}{q}\right| < q^{-(1 + 1/n + \varepsilon)},\quad i = 1, \ldots, n.</math>
फिर से यह परिणाम इस अर्थ में इष्टतम है कि कोई घातांक से {{math|''ε''}} नहीं हटा सकता है।
फिर से यह परिणाम इस अर्थ में इष्टतम है कि कोई घातांक से {{math|''ε''}} नहीं हटा सकता है।
Line 112: Line 112:


=== सामान्य ऊपरी सीमा ===
=== सामान्य ऊपरी सीमा ===
{{main | Hurwitz's theorem (number theory)}}
{{main |हर्विट्ज़ प्रमेय (संख्या सिद्धांत)}}
डायोफैंटाइन सन्निकटन के लिए ऊपरी सीमा के बारे में पहला महत्वपूर्ण परिणाम डिरिचलेट का सन्निकटन प्रमेय है, जिसका अर्थ है कि, प्रत्येक अपरिमेय संख्या के लिए {{math|''α''}}, अपरिमित रूप से अनेक भिन्न हैं <math>\tfrac{p}{q}\;</math> जैसे कि
 
डायोफैंटाइन सन्निकटन के लिए ऊपरी सीमा के बारे में पहला महत्वपूर्ण परिणाम डिरिचलेट का सन्निकटन प्रमेय है, जिसका अर्थ है कि, प्रत्येक अपरिमेय संख्या {{math|''α''}} के लिए, अपरिमित रूप से अनेक भिन्न <math>\tfrac{p}{q}\;</math> हैं जैसे कि
: <math>\left|\alpha-\frac{p}{q}\right| < \frac{1}{q^2}\,.</math>
: <math>\left|\alpha-\frac{p}{q}\right| < \frac{1}{q^2}\,.</math>
इसका तात्पर्य यह है कि कोई दमन नहीं कर सकता {{math|''ε''}} थू-सीगल-रोथ प्रमेय के कथन में।
इसका तात्पर्य यह है कि थू-सीगल-रोथ प्रमेय के कथन में {{math|''ε''}} को दबाया नहीं जा सकता है।


[[ एडॉल्फ हर्विट्ज़ | एडॉल्फ हर्विट्ज़]] (1891)<ref>{{harvnb|Hurwitz|1891|p=279}}</ref> इस परिणाम को मजबूत किया, यह साबित करते हुए कि प्रत्येक अपरिमेय संख्या के लिए {{math|''α''}}, अपरिमित रूप से अनेक भिन्न हैं <math>\tfrac{p}{q}\;</math> जैसे कि
[[ एडॉल्फ हर्विट्ज़ | एडॉल्फ हर्विट्ज़]] (1891)<ref>{{harvnb|Hurwitz|1891|p=279}}</ref> इस परिणाम को शक्तिशाली किया, यह प्रमाणित करते हुए कि प्रत्येक अपरिमेय संख्या {{math|''α''}} के लिए, अपरिमित रूप से अनेक भिन्न <math>\tfrac{p}{q}\;</math> हैं जैसे कि
: <math>\left|\alpha-\frac{p}{q}\right| < \frac{1}{\sqrt{5}q^2}\,.</math>
: <math>\left|\alpha-\frac{p}{q}\right| < \frac{1}{\sqrt{5}q^2}\,.</math>
इसलिए, <math>\frac{1}{\sqrt{5}\, q^2}</math> किसी भी अपरिमेय संख्या के डायोफैंटाइन सन्निकटन के लिए ऊपरी सीमा है।
इसलिए, <math>\frac{1}{\sqrt{5}\, q^2}</math> किसी भी अपरिमेय संख्या के डायोफैंटाइन सन्निकटन के लिए ऊपरी सीमा है।
कुछ अपरिमेय संख्याओं को छोड़े बिना इस परिणाम में स्थिरांक में और सुधार नहीं किया जा सकता है (नीचे देखें)।
कुछ अपरिमेय संख्याओं को छोड़े बिना इस परिणाम में स्थिरांक में और सुधार नहीं किया जा सकता है (नीचे देखें)।


एमिल बोरेल (1903)<ref>{{harvnb|Perron|1913|loc=Chapter 2, Theorem 15}}</ref> दिखाया कि, वास्तव में, कोई अपरिमेय संख्या दी गई है {{math|''α''}}, और के लगातार तीन अभिसरण दिए हैं {{math|''α''}}, कम से कम किसी को हर्विट्ज़ के प्रमेय में दी गई असमानता को पूरा करना चाहिए।
एमिल बोरेल (1903)<ref>{{harvnb|Perron|1913|loc=Chapter 2, Theorem 15}}</ref> दिखाया कि, वास्तव में, कोई अपरिमेय संख्या {{math|''α''}} दी गई है, और {{math|''α''}} के लगातार तीन अभिसरण दिए हैं, कम से कम किसी को हर्विट्ज़ के प्रमेय में दी गई असमानता को पूरा करना चाहिए।


=== समतुल्य वास्तविक संख्या ===
=== समतुल्य वास्तविक संख्या ===
Line 128: Line 130:
परिभाषा: दो वास्तविक संख्याएँ <math>x,y</math> समतुल्य कहलाते हैं<ref>{{harvnb|Hurwitz|1891|p=284}}</ref><ref>{{harvnb|Hardy|Wright|1979|loc=Chapter 10.11}}</ref> यदि पूर्णांक हैं <math>a,b,c,d\;</math> साथ <math>ad-bc = \pm 1\;</math> जैसे कि:
परिभाषा: दो वास्तविक संख्याएँ <math>x,y</math> समतुल्य कहलाते हैं<ref>{{harvnb|Hurwitz|1891|p=284}}</ref><ref>{{harvnb|Hardy|Wright|1979|loc=Chapter 10.11}}</ref> यदि पूर्णांक हैं <math>a,b,c,d\;</math> साथ <math>ad-bc = \pm 1\;</math> जैसे कि:
:<math>y = \frac{ax+b}{cx+d}\, .</math>
:<math>y = \frac{ax+b}{cx+d}\, .</math>
तो समतुल्यता को वास्तविक संख्याओं पर पूर्णांक मोबियस परिवर्तन या [[ मॉड्यूलर समूह |मॉड्यूलर समूह]] के सदस्य द्वारा परिभाषित किया गया है <math>\text{SL}_2^{\pm}(\Z)</math>, पूर्णांकों पर व्युत्क्रमणीय 2 × 2 आव्यूहों का समुच्चय। प्रत्येक परिमेय संख्या 0 के बराबर है; इस प्रकार परिमेय संख्याएँ इस संबंध के लिए [[ तुल्यता वर्ग |तुल्यता वर्ग]] हैं।
तो तुल्यता को वास्तविक संख्याओं पर एक पूर्णांक मोबियस परिवर्तन द्वारा परिभाषित किया गया है, या [[ मॉड्यूलर समूह |मॉड्यूलर समूह]] <math>\text{SL}_2^{\pm}(\Z)</math> के एक सदस्य द्वारा, पूर्णांकों पर व्युत्क्रमणीय 2 × 2 आव्यूहों के समुच्चय द्वारा परिभाषित किया गया है। प्रत्येक परिमेय संख्या 0 के बराबर है; इस प्रकार परिमेय संख्याएँ इस संबंध के लिए एक [[ तुल्यता वर्ग |तुल्यता वर्ग]] हैं।


तुल्यता को नियमित रूप से निरंतर अंश प्रतिनिधित्व पर पढ़ा जा सकता है, जैसा कि [[ जोसेफ अल्फ्रेड सेरेट |जोसेफ अल्फ्रेड सेरेट]] के निम्नलिखित प्रमेय द्वारा दिखाया गया है:
तुल्यता को नियमित रूप से निरंतर अंश प्रतिनिधित्व पर पढ़ा जा सकता है, जैसा कि [[ जोसेफ अल्फ्रेड सेरेट |जोसेफ अल्फ्रेड सेरेट]] के निम्नलिखित प्रमेय द्वारा दिखाया गया है:


प्रमेय: दो अपरिमेय संख्याएँ ''x'' और ''y'' समतुल्य हैं यदि और केवल यदि दो धनात्मक पूर्णांक ''h'' और ''k'' उपस्थित हैं, जैसे कि ''x'' का नियमित निरंतर अंश निरूपण ' और 'वाई'
प्रमेय: दो अपरिमेय संख्याएँ ''x'' और ''y'' समतुल्य हैं यदि और केवल यदि दो धनात्मक पूर्णांक ''h'' और ''k'' उपस्थित हैं, जैसे कि ''x'' और 'y' का नियमित निरंतर अंश निरूपण '  
:<math>\begin{align}
:<math>\begin{align}
   x &= [u_0; u_1, u_2, \ldots]\, , \\
   x &= [u_0; u_1, u_2, \ldots]\, , \\
Line 139: Line 141:
संतुष्ट करना
संतुष्ट करना
:<math>u_{h+i} = v_{k+i}</math>
:<math>u_{h+i} = v_{k+i}</math>
प्रत्येक गैर ऋणात्मक पूर्णांक के लिए i.<ref>See {{harvnb|Perron|1929|loc=Chapter 2, Theorem 23, p. 63}}</ref>
प्रत्येक गैर ऋणात्मक पूर्णांक i के लिए.<ref>See {{harvnb|Perron|1929|loc=Chapter 2, Theorem 23, p. 63}}</ref>
 
इस प्रकार, परिमित प्रारंभिक अनुक्रम को छोड़कर, समतुल्य संख्याओं में ही निरंतर अंश का प्रतिनिधित्व होता है।
इस प्रकार, परिमित प्रारंभिक अनुक्रम को छोड़कर, समतुल्य संख्याओं में ही निरंतर अंश का प्रतिनिधित्व होता है।


Line 145: Line 148:


=== लैग्रेंज स्पेक्ट्रम ===
=== लैग्रेंज स्पेक्ट्रम ===
{{main|Markov spectrum}}
{{main|मार्कोव स्पेक्ट्रम}}
जैसा कि ऊपर कहा गया है, बोरेल के प्रमेय में स्थिरांक में सुधार नहीं हो सकता है, जैसा कि 1891 में एडॉल्फ हर्विट्ज द्वारा दिखाया गया था।<ref>{{harvnb|Hardy|Wright|1979|p=164}}</ref>
जैसा कि ऊपर कहा गया है, बोरेल के प्रमेय में स्थिरांक में सुधार नहीं हो सकता है, जैसा कि 1891 में एडॉल्फ हर्विट्ज द्वारा दिखाया गया था।<ref>{{harvnb|Hardy|Wright|1979|p=164}}</ref>
होने देना <math>\phi = \tfrac{1+\sqrt{5}}{2}</math> [[ सुनहरा अनुपात |सुनहरा अनुपात]] हो।
होने देना <math>\phi = \tfrac{1+\sqrt{5}}{2}</math> [[ सुनहरा अनुपात |सुनहरा अनुपात]] हो।
फिर किसी भी वास्तविक स्थिरांक c के साथ <math>c > \sqrt{5}\;</math> परिमेय संख्याओं की केवल परिमित संख्या होती है {{math|''p''/''q''}} जैसे कि
 
फिर किसी भी वास्तविक स्थिरांक c के साथ <math>c > \sqrt{5}\;</math> परिमेय संख्याओं की केवल परिमित संख्या {{math|''p''/''q''}} होती है जैसे कि
:<math>\left|\phi-\frac{p}{q}\right| < \frac{1}{c\, q^2}.</math>
:<math>\left|\phi-\frac{p}{q}\right| < \frac{1}{c\, q^2}.</math>
इसलिए सुधार केवल तभी प्राप्त किया जा सकता है, यदि संख्याएँ जो इसके समतुल्य हों <math>\phi</math> निष्कासित हैं। ज्यादा ठीक:<ref>{{harvnb|Cassels|1957|p=11}}</ref><ref>{{harvnb|Hurwitz|1891}}</ref>
इसलिए सुधार केवल तभी प्राप्त किया जा सकता है, जब <math>\phi</math> के समतुल्य संख्याओं को हटा दिया जाए। अधिक स्पष्ट रूप से:<ref>{{harvnb|Cassels|1957|p=11}}</ref><ref>{{harvnb|Hurwitz|1891}}</ref> प्रत्येक अपरिमेय संख्या <math>\alpha</math> के लिए, जो <math>\phi</math> के समकक्ष नहीं है , अनंत अनेक भिन्न <math>\tfrac{p}{q}\;</math>हैं जैसे कि
प्रत्येक अपरिमेय संख्या के लिए <math>\alpha</math>है, जो इसके समकक्ष नहीं है <math>\phi</math>, अनंत अनेक भिन्न हैं <math>\tfrac{p}{q}\;</math> जैसे कि


: <math>\left|\alpha-\frac{p}{q}\right| < \frac{1}{\sqrt{8} q^2}.</math>
: <math>\left|\alpha-\frac{p}{q}\right| < \frac{1}{\sqrt{8} q^2}.</math>
क्रमिक बहिष्करण द्वारा - अगले को समतुल्य संख्याओं को बाहर करना चाहिए <math>\sqrt 2</math> - तुल्यता के अधिक से अधिक वर्गों में, निचली सीमा को और बढ़ाया जा सकता है।
क्रमिक बहिष्करण द्वारा - अगले को समतुल्य संख्याओं को बाहर करना चाहिए <math>\sqrt 2</math> - तुल्यता के अधिक से अधिक वर्गों में, निचली सीमा को और बढ़ाया जा सकता है।
इस तरह से उत्पन्न होने वाले मान लैग्रेंज संख्याएं हैं, जो [[ मार्कोव स्पेक्ट्रम |मार्कोव स्पेक्ट्रम]] का हिस्सा हैं।
 
इस प्रकार से उत्पन्न होने वाले मान लैग्रेंज संख्याएं हैं, जो [[ मार्कोव स्पेक्ट्रम |मार्कोव स्पेक्ट्रम]] का भाग हैं।
 
वे संख्या 3 पर अभिसरण करते हैं और [[ मार्कोव संख्या |मार्कोव संख्या]] से संबंधित हैं।<ref>{{harvnb|Cassels|1957|p=18}}</ref><ref>See [http://www.math.jussieu.fr/~miw/articles/pdf/IntroductionDiophantineMethods.pdf Michel Waldschmidt: ''Introduction to Diophantine methods irrationality and transcendence''] {{Webarchive|url=https://web.archive.org/web/20120209111526/http://www.math.jussieu.fr/~miw/articles/pdf/IntroductionDiophantineMethods.pdf |date=2012-02-09 }}, pp 24–26.</ref>
वे संख्या 3 पर अभिसरण करते हैं और [[ मार्कोव संख्या |मार्कोव संख्या]] से संबंधित हैं।<ref>{{harvnb|Cassels|1957|p=18}}</ref><ref>See [http://www.math.jussieu.fr/~miw/articles/pdf/IntroductionDiophantineMethods.pdf Michel Waldschmidt: ''Introduction to Diophantine methods irrationality and transcendence''] {{Webarchive|url=https://web.archive.org/web/20120209111526/http://www.math.jussieu.fr/~miw/articles/pdf/IntroductionDiophantineMethods.pdf |date=2012-02-09 }}, pp 24–26.</ref>




== मीट्रिक डायोफैंटाइन सन्निकटन और विस्तार पर खिनचिन की प्रमेय == <!-- [[Khinchin's theorem on Diophantine approximations]] links here -->
 
होने देना <math>\psi</math> धनात्मक पूर्णांकों (यानी, धनात्मक अनुक्रम) पर धनात्मक वास्तविक-मूल्यवान कार्य हो जैसे कि <math>q \psi(q)</math> नहीं बढ़ रहा है। वास्तविक संख्या x (आवश्यक रूप से बीजगणितीय नहीं) कहलाती है <math>\psi</math>-अनुमानित यदि वहाँ असीम रूप से कई परिमेय संख्याएँ p/q उपस्थित हैं जैसे कि
== मीट्रिक डायोफैंटाइन सन्निकटन और विस्तार पर खिनचिन की प्रमेय ==
मान लीजिये <math>\psi</math> धनात्मक पूर्णांकों (यानी, धनात्मक अनुक्रम) पर धनात्मक वास्तविक-मूल्यवान कार्य हो जैसे कि <math>q \psi(q)</math> नहीं बढ़ रहा है। एक वास्तविक संख्या x (आवश्यक रूप से बीजगणितीय नहीं) को <math>\psi</math>-अनुमानित कहा जाता है यदि वहाँ असीम रूप से कई परिमेय संख्याएँ p/q उपस्थित हैं जैसे कि


:<math>\left| x- \frac{p}{q} \right| < \frac{\psi(q)}{|q|}.</math>
:<math>\left| x- \frac{p}{q} \right| < \frac{\psi(q)}{|q|}.</math>
[[ अलेक्सांद्र खींचीं | अलेक्सांद्र खींचीं]] ने 1926 में साबित कर दिया कि यदि श्रृंखला <math display="inline">\sum_{q} \psi(q) </math> विचलन करता है, तो लगभग हर वास्तविक संख्या (लेबेस्ग माप के अर्थ में) है <math>\psi</math>-अनुमानित, और यदि श्रृंखला अभिसरण करती है, तो लगभग हर वास्तविक संख्या नहीं होती है <math>\psi</math>-अनुमानित। इस प्रमेय और इसके संबंधियों के आसपास के विचारों के चक्र को मीट्रिक डायोफैंटाइन सन्निकटन या डायोफैंटाइन सन्निकटन के मीट्रिक सिद्धांत ([[ डायोफैंटाइन ज्यामिति | डायोफैंटाइन ज्यामिति]] में ऊंचाई मैट्रिक्स के साथ भ्रमित नहीं होना) या मीट्रिक संख्या सिद्धांत के रूप में जाना जाता है।
[[ अलेक्सांद्र खींचीं |अलेक्सांद्र खींचीं]] ने 1926 में प्रमाणित कर दिया कि यदि श्रृंखला <math display="inline">\sum_{q} \psi(q) </math> विचलन करता है, तो लगभग हर वास्तविक संख्या (लेबेस्ग माप के अर्थ में) <math>\psi</math>-अनुमानित, होती है और यदि श्रृंखला अभिसरण करती है, तो लगभग हर वास्तविक संख्या <math>\psi</math>-अनुमानित नहीं होती है। इस प्रमेय और इसके संबंधियों के आसपास के विचारों के चक्र को मीट्रिक डायोफैंटाइन सन्निकटन या डायोफैंटाइन सन्निकटन के मीट्रिक सिद्धांत ([[ डायोफैंटाइन ज्यामिति | डायोफैंटाइन ज्यामिति]] में ऊंचाई मैट्रिक्स के साथ भ्रमित नहीं होना) या मीट्रिक संख्या सिद्धांत के रूप में जाना जाता है।
 
{{harvtxt|डफिन|शेफ़र|1941}} ने खिनचिन के परिणाम का सामान्यीकरण प्रमाणित हुआ, और जिसे अब डफिन-शेफ़र अनुमान के रूप में जाना जाता है, वह सामान्य रूप से खिनचिन के द्विभाजन के अनुरूप है, अनिवार्य रूप से घटते हुए अनुक्रम <math>\psi</math> के लिए प्रस्तुत किया था। {{harvtxt|बेरेसनेविच|वेलानी|2006}} ने प्रमाणित किया कि डफिन-शेफ़र अनुमान का हॉसडॉर्फ माप एनालॉग मूल डफ़िन-शेफ़र अनुमान के बराबर है, जो प्राथमिक कमजोर है।


{{harvtxt|Duffin|Schaeffer|1941}} खिनचिन के परिणाम का सामान्यीकरण साबित हुआ, और जिसे अब डफिन-शेफ़र अनुमान के रूप में जाना जाता है, वह सामान्य रूप से खिनचिन के द्विभाजन के अनुरूप है, जरूरी नहीं कि कम हो, अनुक्रम <math>\psi</math> . {{harvtxt|Beresnevich|Velani|2006}} ने साबित किया कि डफिन-शेफ़र अनुमान का हॉसडॉर्फ माप एनालॉग मूल डफ़िन-शेफ़र अनुमान के बराबर है, जो प्राथमिक कमजोर है।
जुलाई 2019 में, [[ दिमित्रिस कौकुलोपोलोस |दिमित्रिस कौकुलोपोलोस]] और जेम्स मेनार्ड (गणितज्ञ) ने अनुमान के प्रमाण की घोषणा की।<ref>{{cite arXiv |first1=D. |last1=Koukoulopoulos |first2=J. |last2=Maynard |title=On the Duffin–Schaeffer conjecture |year=2019 |class=math.NT |eprint=1907.04593 }}</ref><ref>{{cite journal |last=Sloman |first=Leila |year=2019 |title=New Proof Solves 80-Year-Old Irrational Number Problem |journal=[[Scientific American]] |url=https://www.scientificamerican.com/article/new-proof-solves-80-year-old-irrational-number-problem/ }}</ref>
जुलाई 2019 में, [[ दिमित्रिस कौकुलोपोलोस |दिमित्रिस कौकुलोपोलोस]] और जेम्स मेनार्ड (गणितज्ञ) ने अनुमान के प्रमाण की घोषणा की।<ref>{{cite arXiv |first1=D. |last1=Koukoulopoulos |first2=J. |last2=Maynard |title=On the Duffin–Schaeffer conjecture |year=2019 |class=math.NT |eprint=1907.04593 }}</ref><ref>{{cite journal |last=Sloman |first=Leila |year=2019 |title=New Proof Solves 80-Year-Old Irrational Number Problem |journal=[[Scientific American]] |url=https://www.scientificamerican.com/article/new-proof-solves-80-year-old-irrational-number-problem/ }}</ref>




=== असाधारण सेटों का हौसडॉर्फ आयाम ===
=== असाधारण सेटों का हौसडॉर्फ आयाम ===


समारोह का महत्वपूर्ण उदाहरण <math>\psi</math> जिस पर खिनचिन की प्रमेय लागू की जा सकती है वह फलन है <math>\psi_c(q) = q^{-c}</math>, जहां c > 1 वास्तविक संख्या है। इस फलन के लिए, प्रासंगिक श्रृंखला अभिसरण करती है और इसलिए खिनचिन की प्रमेय हमें बताती है कि लगभग हर बिंदु नहीं है <math>\psi_c</math>-अनुमानित। इस प्रकार, संख्याओं का समूह जो हैं <math>\psi_c</math>-approximable Lebesgue माप शून्य की वास्तविक रेखा का सबसेट बनाता है। जर्निक-बेसिकोविच प्रमेय, वोजटेक जर्निक के कारण | वी। जार्निक और अब्राम समोइलोविच बेसिकोविच|ए. एस. बेसिकोविच, कहते हैं कि इस सेट का [[ हॉसडॉर्फ आयाम |हॉसडॉर्फ आयाम]] बराबर है <math>1/c</math>.<ref>{{harvnb|Bernik|Beresnevich|Götze|Kukso|2013|p=24}}</ref> विशेष रूप से, संख्याओं का समूह जो हैं <math>\psi_c</math>-कुछ के लिए अनुमानित <math>c > 1</math> (बहुत अच्छी तरह से अनुमानित संख्याओं के सेट के रूप में जाना जाता है) हॉसडॉर्फ का आयाम है, जबकि संख्याओं का सेट जो हैं <math>\psi_c</math>- सभी के लिए अनुमानित <math>c > 1</math> ([[ लिउविल संख्या ]]ओं के समुच्चय के रूप में जाना जाता है) का हौसडॉर्फ आयाम शून्य है।
फलन <math>\psi</math> का महत्वपूर्ण उदाहरण जिस पर खिनचिन की प्रमेय प्रायुक्त की जा सकती है वह फलन <math>\psi_c(q) = q^{-c}</math> है, जहां c > 1 वास्तविक संख्या है। इस फलन के लिए, प्रासंगिक श्रृंखला अभिसरण करती है और इसलिए खिनचिन की प्रमेय हमें बताती है कि लगभग हर बिंदु <math>\psi_c</math>-अनुमानित नहीं है। इस प्रकार, संख्याओं का समूह जो <math>\psi_c</math>-अनुमानित है, लेबेस्गु माप शून्य की वास्तविक रेखा का सबसेट बनाता है। वी. जर्निक और ए.एस. बेसिकोविच के कारण जर्निक-बेसिकोविच प्रमेय कहता है कि इस सेट का [[ हॉसडॉर्फ आयाम |हॉसडॉर्फ आयाम]] <math>1/c</math> के बराबर है।<ref>{{harvnb|Bernik|Beresnevich|Götze|Kukso|2013|p=24}}</ref> विशेष रूप से, संख्याओं का समूह जो हैं <math>\psi_c</math>-कुछ के लिए अनुमानित <math>c > 1</math> (बहुत अच्छी तरह से अनुमानित संख्याओं के सेट के रूप में जाना जाता है) हॉसडॉर्फ का आयाम है, जबकि संख्याओं का सेट जो हैं <math>\psi_c</math>- सभी के लिए अनुमानित <math>c > 1</math> ([[ लिउविल संख्या ]]ओं के समुच्चय के रूप में जाना जाता है) का हौसडॉर्फ आयाम शून्य है।


अन्य महत्वपूर्ण उदाहरण कार्य है <math>\psi_\varepsilon(q) = \varepsilon q^{-1}</math>, कहाँ पे <math>\varepsilon > 0</math> वास्तविक संख्या है। इस फलन के लिए, संबंधित श्रृंखला अलग-अलग होती है और इसलिए खिनचिन की प्रमेय हमें बताती है कि लगभग हर संख्या है <math>\psi_\varepsilon</math>-अनुमानित। यह कहने के समान है कि ऐसी प्रत्येक संख्या अच्छी तरह से सन्निकट है, जहाँ संख्या को अच्छी तरह से सन्निकट कहा जाता है यदि यह बुरी तरह सन्निकट नहीं है। तो जार्निक-बेसिकोविच प्रमेय का उपयुक्त एनालॉग बुरी तरह अनुमानित संख्याओं के सेट के हौसडॉर्फ आयाम से संबंधित होना चाहिए। और वास्तव में, वी. जार्निक ने साबित किया कि इस सेट का हॉसडॉर्फ आयाम के बराबर है। इस परिणाम में वोल्फगैंग एम. श्मिट | डब्ल्यू द्वारा सुधार किया गया था। एम. श्मिट, जिन्होंने दिखाया कि बुरी तरह अनुमानित संख्याओं का सेट असम्पीडित है, जिसका अर्थ है कि यदि <math>f_1,f_2,\ldots</math> Lipschitz continuity#Lipschitz manifolds|bi-Lipschitz मैप्स का क्रम है, फिर संख्याओं का सेट x जिसके लिए <math>f_1(x),f_2(x),\ldots</math> हॉसडॉर्फ आयाम के साथ सभी बुरी तरह से अनुमानित हैं। श्मिट ने जर्निक के प्रमेय को उच्च आयामों के लिए सामान्यीकृत किया, महत्वपूर्ण उपलब्धि क्योंकि जार्निक का तर्क अनिवार्य रूप से एक-आयामी है, जो निरंतर अंशों के उपकरण पर निर्भर करता है।
अन्य महत्वपूर्ण उदाहरण फलन <math>\psi_\varepsilon(q) = \varepsilon q^{-1}</math>हैं, जहाँ <math>\varepsilon > 0</math> वास्तविक संख्या है। इस फलन के लिए, संबंधित श्रृंखला अलग-अलग होती है और इसलिए खिनचिन की प्रमेय हमें बताती है कि लगभग हर संख्या <math>\psi_\varepsilon</math>-अनुमानित है। यह कहने के समान है कि ऐसी प्रत्येक संख्या अच्छी प्रकार से सन्निकट है, जहाँ संख्या को अच्छी तरह से सन्निकट कहा जाता है यदि यह बुरी तरह सन्निकट नहीं है। तो जार्निक-बेसिकोविच प्रमेय का उपयुक्त एनालॉग बुरी तरह अनुमानित संख्याओं के सेट के हौसडॉर्फ आयाम से संबंधित होना चाहिए। और वास्तव में, वी. जार्निक ने प्रमाणित किया कि इस सेट का हॉसडॉर्फ आयाम के बराबर है। इस परिणाम में डब्ल्यू. एम. श्मिट द्वारा सुधार किया गया था। जिन्होंने दिखाया कि बुरी तरह अनुमानित संख्याओं का सेट असम्पीडित है, जिसका अर्थ है कि यदि <math>f_1,f_2,\ldots</math> द्वि-लिप्सचिट्ज़ माप का एक क्रम है,, फिर संख्याओं का सेट x जिसके लिए <math>f_1(x),f_2(x),\ldots</math> हॉसडॉर्फ आयाम के साथ सभी बुरी तरह से अनुमानित हैं। श्मिट ने जर्निक के प्रमेय को उच्च आयामों के लिए सामान्यीकृत किया, महत्वपूर्ण उपलब्धि क्योंकि जार्निक का तर्क अनिवार्य रूप से एक-आयामी है, जो निरंतर अंशों के उपकरण पर निर्भर करता है।


== समान वितरण ==
== समान वितरण ==
अन्य विषय जिसने गहन विकास देखा है वह है समवितरित अनुक्रम का सिद्धांत। अनुक्रम लें ए<sub>1</sub>, एक<sub>2</sub>, ... वास्तविक संख्याओं का और उनके भिन्नात्मक भागों पर विचार करें। यही है, अधिक संक्षेप में, अनुक्रम को देखें <math>\mathbb{R}/\mathbb{Z}</math>, जो वृत्त है। सर्कल पर किसी भी अंतराल I के लिए हम अनुक्रम के उन तत्वों के अनुपात को देखते हैं जो इसमें निहित हैं, कुछ पूर्णांक एन तक, और इसकी तुलना I द्वारा व्याप्त परिधि के अनुपात से करें। समान वितरण का अर्थ है कि सीमा में, N के रूप में बढ़ता है, अंतराल पर हिट का अनुपात 'अपेक्षित' मान की ओर जाता है। [[ हरमन वेइल |हरमन वेइल]] ने वेइल की कसौटी साबित की, जिसमें दिखाया गया है कि यह अनुक्रम से बनने वाली घातीय रकम के लिए सीमा के बराबर था। इससे पता चला कि डायोफैंटाइन सन्निकटन परिणाम घातीय योगों में रद्दीकरण की सामान्य समस्या से निकटता से संबंधित थे, जो कि त्रुटि शब्दों की सीमा में पूरे [[ विश्लेषणात्मक संख्या सिद्धांत |विश्लेषणात्मक संख्या सिद्धांत]] में होता है।
अन्य विषय जिसने गहन विकास देखा है वह है समान वितरण मोड 1 का सिद्धांत हैं। वास्तविक संख्याओं का अनुक्रम a1, a2, ... लें और उनके भिन्नात्मक भागों पर विचार करें। अर्थात्, अधिक संक्षेप में, अनुक्रम को <math>\mathbb{R}/\mathbb{Z}</math> में देखें, जो एक वृत्त है। सर्कल पर किसी भी अंतराल I के लिए हम अनुक्रम के उन तत्वों के अनुपात को देखते हैं जो इसमें निहित हैं, कुछ पूर्णांक एन तक, और इसकी तुलना I द्वारा व्याप्त परिधि के अनुपात से करें। समान वितरण का अर्थ है कि सीमा में, N के रूप में बढ़ता है, अंतराल पर हिट का अनुपात 'अपेक्षित' मान की ओर जाता है। [[ हरमन वेइल |हरमन वेइल]] ने वेइल की कसौटी प्रमाणित की, जिसमें दिखाया गया है कि यह अनुक्रम से बनने वाली घातीय रकम के लिए सीमा के बराबर था। इससे पता चला कि डायोफैंटाइन सन्निकटन परिणाम घातीय योगों में निरस्तीकरण की सामान्य समस्या से निकटता से संबंधित थे, जो कि त्रुटि शब्दों की सीमा में पूरे [[ विश्लेषणात्मक संख्या सिद्धांत |विश्लेषणात्मक संख्या सिद्धांत]] में होता है।


एकसमान वितरण से संबंधित वितरण की अनियमितताओं का विषय है, जो संयोजक प्रकृति का है।
एकसमान वितरण से संबंधित वितरण की अनियमितताओं का विषय है, जो संयोजक प्रकृति का है।
Line 182: Line 191:
== अनसुलझी समस्याएं ==
== अनसुलझी समस्याएं ==
डायोफैंटाइन सन्निकटन में अभी भी सरल रूप से बताई गई अनसुलझी समस्याएं शेष हैं, उदाहरण के लिए [[ लिटिलवुड अनुमान |लिटिलवुड अनुमान]] और [[ अकेला धावक अनुमान |अकेला धावक अनुमान]] ।
डायोफैंटाइन सन्निकटन में अभी भी सरल रूप से बताई गई अनसुलझी समस्याएं शेष हैं, उदाहरण के लिए [[ लिटिलवुड अनुमान |लिटिलवुड अनुमान]] और [[ अकेला धावक अनुमान |अकेला धावक अनुमान]] ।
यह भी अज्ञात है कि उनके निरंतर अंश विस्तार में असीमित गुणांक वाले बीजगणितीय संख्याएं हैं या नहीं।
यह भी अज्ञात है कि उनके निरंतर अंश विस्तार में असीमित गुणांक वाले बीजगणितीय संख्याएं हैं या नहीं।


== हालिया घटनाक्रम ==
== नवीनतम घटनाक्रम ==
क्योटो (1990) में [[ अंतर्राष्ट्रीय गणितीय कांग्रेस |अंतर्राष्ट्रीय गणितीय कांग्रेस]] में अपने पूर्ण संबोधन में, [[ ग्रिगोरी मार्गुलिस |ग्रिगोरी मार्गुलिस]] ने [[ एर्गोडिक सिद्धांत |एर्गोडिक सिद्धांत]] में निहित व्यापक कार्यक्रम की रूपरेखा तैयार की, जो सेमीसिम्पल लाइ समूहों के उपसमूहों के कार्यों के गतिशील और एर्गोडिक गुणों का उपयोग करके संख्या-सिद्धांत संबंधी परिणामों को साबित करने की अनुमति देता है। डी. क्लेनबॉक, जी. मार्गुलिस और उनके सहयोगियों के काम ने डायोफैंटाइन सन्निकटन में शास्त्रीय समस्याओं के लिए इस उपन्यास दृष्टिकोण की धात का प्रदर्शन किया। इसकी उल्लेखनीय सफलताओं में मार्गुलिस द्वारा दशकों पुराने [[ ओपेनहेम अनुमान |ओपेनहेम अनुमान]] का प्रमाण है, दानी और मार्गुलिस और एस्किन-मार्गुलिस-मोज़ेस द्वारा बाद के विस्तार के साथ, और क्लेनबॉक और मार्गुलिस द्वारा मैनिफोल्ड्स पर डायोफैंटाइन सन्निकटन में बेकर और स्प्रिंदज़ुक अनुमानों का प्रमाण। मीट्रिक डायोफैंटाइन सन्निकटन में अलेक्जेंडर खिनचिन के उपरोक्त परिणामों के विभिन्न सामान्यीकरण भी इस ढांचे के भीतर प्राप्त किए गए हैं।
क्योटो (1990) में [[ अंतर्राष्ट्रीय गणितीय कांग्रेस |अंतर्राष्ट्रीय गणितीय कांग्रेस]] में अपने पूर्ण संबोधन में, [[ ग्रिगोरी मार्गुलिस |ग्रिगोरी मार्गुलिस]] ने [[ एर्गोडिक सिद्धांत |एर्गोडिक सिद्धांत]] में निहित व्यापक कार्यक्रम की रूपरेखा तैयार की, जो सेमीसिम्पल लाइ समूहों के उपसमूहों के कार्यों के गतिशील और एर्गोडिक गुणों का उपयोग करके संख्या-सिद्धांत संबंधी परिणामों को प्रमाणित करने की अनुमति देता है। डी. क्लेनबॉक, जी. मार्गुलिस और उनके सहयोगियों के काम ने डायोफैंटाइन सन्निकटन में शास्त्रीय समस्याओं के लिए इस उपन्यास दृष्टिकोण की धात का प्रदर्शन किया। इसकी उल्लेखनीय सफलताओं में मार्गुलिस द्वारा दशकों पुराने ओपेनहेम अनुमान का प्रमाण है, जिसमें बाद में दानी और मार्गुलिस और एस्किन मार्गुलिस मोजेस द्वारा विस्तार किया गया है, और क्लेनबॉक और मार्गुलिस द्वारा मैनिफोल्ड्स पर डायोफैंटाइन सन्निकटन में बेकर और स्पिंडज़ुक अनुमानों का प्रमाण है। मीट्रिक डायोफैंटाइन सन्निकटन में अलेक्जेंडर खिनचिन के उपरोक्त परिणामों के विभिन्न सामान्यीकरण भी इस संरचना के अन्दर प्राप्त किए गए हैं।


== यह भी देखें ==
== यह भी देखें ==
Line 249: Line 259:
* {{springer|title=Diophantine approximations|id=p/d032600}}
* {{springer|title=Diophantine approximations|id=p/d032600}}


{{DEFAULTSORT:Diophantine Approximation}}[[Category:डायोफैंटाइन सन्निकटन | ]]
{{DEFAULTSORT:Diophantine Approximation}}
 


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Diophantine Approximation]]
[[Category:Created On 06/01/2023]]
[[Category:CS1 Deutsch-language sources (de)|Diophantine Approximation]]
[[Category:Created On 06/01/2023|Diophantine Approximation]]
[[Category:Lua-based templates|Diophantine Approximation]]
[[Category:Machine Translated Page|Diophantine Approximation]]
[[Category:Pages with maths render errors|Diophantine Approximation]]
[[Category:Pages with script errors|Diophantine Approximation]]
[[Category:Templates Vigyan Ready|Diophantine Approximation]]
[[Category:Templates that add a tracking category|Diophantine Approximation]]
[[Category:Templates that generate short descriptions|Diophantine Approximation]]
[[Category:Templates using TemplateData|Diophantine Approximation]]
[[Category:Webarchive template wayback links]]
[[Category:डायोफैंटाइन सन्निकटन| ]]

Latest revision as of 13:23, 1 May 2023

Best rational approximants for π (green circle), e (blue diamond), ϕ (pink oblong), (√3)/2 (grey hexagon), 1/√2 (red octagon) and 1/√3 (orange triangle) calculated from their continued fraction expansions, plotted as slopes y/x with errors from their true values (black dashes)  

संख्या सिद्धांत में, डायोफैंटाइन सन्निकटन का अध्ययन परिमेय संख्याओं द्वारा वास्तविक संख्याओं के सन्निकटन से संबंधित है। इसका नाम अलेक्जेंड्रिया के डायोफैंटस के नाम पर रखा गया है।

पहली समस्या यह जानने की थी कि परिमेय संख्याओं द्वारा वास्तविक संख्या का कितना अच्छा अनुमान लगाया जा सकता है। इस समस्या के लिए, परिमेय संख्या a/b वास्तविक संख्या α का अच्छा सन्निकटन है यदि a/b और α के बीच के अंतर का निरपेक्ष मान कम नहीं हो सकता है यदि a/b को छोटे भाजक के साथ किसी अन्य परिमेय संख्या से बदल दिया जाए। ऐसी समस्या को 18वीं शताब्दी के समय निरंतर अंशों के माध्यम से समाधान किया गया था।

किसी दिए गए नंबर के सर्वश्रेष्ठ अनुमानों को जानने के बाद, क्षेत्र की मुख्य समस्या उपरोक्त अंतर की स्पष्ट ऊपरी और निचली सीमाओं को ढूंढना है, जो भाजक के कार्य के रूप में व्यक्त की जाती है। ऐसा प्रतीत होता है कि ये सीमाएं अनुमानित होने वाली वास्तविक संख्याओं की प्रकृति पर निर्भर करती हैं: किसी अन्य परिमेय संख्या द्वारा परिमेय संख्या के सन्निकटन के लिए निचली सीमा बीजगणितीय संख्याओं के लिए निचली सीमा से बड़ी होती है, जो स्वयं सभी वास्तविक संख्या के लिये निम्न सीमा से बड़ी होती है। इस प्रकार वास्तविक संख्या जो बीजगणितीय संख्याओं की सीमा से उत्तम अनुमानित हो सकती है, निश्चित रूप से ट्रान्सेंडैंटल संख्या है।

इस ज्ञान ने 1844 में जोसेफ लिउविल को पहली स्पष्ट ट्रान्सेंडैंटल संख्या का उत्पादन करने में सक्षम बनाया। बाद में π और e (गणितीय स्थिरांक) के अनुभवातीत होने के प्रमाण इसी प्रकार की विधि से प्राप्त किए गए थे।

डायोफैंटाइन सन्निकटन और अनुवांशिक संख्या सिद्धांत बहुत निकटतम क्षेत्र हैं जो कई प्रमेयों और विधियों को साझा करते हैं। डायोफैंटाइन सन्निकटनों का भी डायोफैंटाइन समीकरणों के अध्ययन में महत्वपूर्ण अनुप्रयोग हैं।

2022 फील्ड मेडल जेम्स मेनार्ड (गणितज्ञ) को डायोफैंटाइन सन्निकटन पर उनके कार्य के लिए प्रदान किया गया था।

वास्तविक संख्या का सर्वश्रेष्ठ डायोफैंटाइन सन्निकटन

एक वास्तविक संख्या α को देखते हुए, α के सर्वश्रेष्ठ डायोफैंटाइन सन्निकटन को परिभाषित करने के दो तरीके हैं। पहली परिभाषा के लिए,[1] परिमेय संख्याp/q α का सबसे अच्छा डायोफैंटाइन सन्निकटन है यदि

p/q से भिन्न प्रत्येक परिमेय संख्या p'/q' के लिए जैसे कि 0 < q′ ≤ q

दूसरी परिभाषा के लिए,[2][3] उपरोक्त असमानता द्वारा प्रतिस्थापित किया गया है

दूसरी परिभाषा के लिए सर्वश्रेष्ठ सन्निकटन भी पहले के लिए एक सर्वश्रेष्ठ सन्निकटन है, किन्तु इसका विलोम सामान्य रूप से सत्य नहीं है।[4]

निरंतर अंशों का सिद्धांत हमें वास्तविक संख्या के सर्वश्रेष्ठ अनुमानों की गणना करने की अनुमति देता है: दूसरी परिभाषा के लिए, वे नियमित निरंतर अंश के रूप में इसकी अभिव्यक्ति के अभिसरण (निरंतर अंश) हैं।[3][4][5] पहली परिभाषा के लिए, निरंतर भिन्न अर्धअभिसरण पर भी विचार करना होगा।[1]

उदाहरण के लिए, स्थिरांक e = 2.718281828459045235... का (नियमित) निरंतर अंश प्रतिनिधित्व है

दूसरी परिभाषा के लिए इसके सर्वश्रेष्ठ सन्निकटन हैं

जबकि, पहली परिभाषा के लिए, वे हैं


सन्निकटन की शुद्धता का माप

एक परिमेय संख्या p/q द्वारा वास्तविक संख्या α के डायोफैंटाइन सन्निकटन की शुद्धता का स्पष्ट माप है, चूंकि, इस मात्रा को हमेशा p और q के निरपेक्ष मूल्यों को बढ़ाकर स्वैच्छिक विधि से छोटा किया जा सकता है; इस प्रकार सन्निकटन की शुद्धता का अनुमान सामान्यतः इस मात्रा की तुलना भाजक q के कुछ फलन φ से की जाती है, सामान्यतः इसकी एक ऋणात्मक धात होती है।

ऐसी तुलना के लिए, किसी को शुद्धता की ऊपरी सीमा या निचली सीमा की आवश्यकता हो सकती है। निचली सीमा को सामान्यतः प्रमेय द्वारा वर्णित किया जाता है जैसे प्रत्येक तत्व के लिए α वास्तविक संख्याओं के कुछ सबसेट और प्रत्येक परिमेय संख्या का p/q, अपने पास है। कुछ स्थितियों में, प्रत्येक परिमेय संख्या को उनकी परिमित संख्या को छोड़कर सभी परिमेय संख्याओं द्वारा प्रतिस्थापित किया जा सकता है, जो α पर निर्भर करते हुए φ को किसी स्थिरांक से गुणा करने के बराबर है।

ऊपरी सीमा के लिए, किसी को यह ध्यान रखना होगा कि अभिसरण द्वारा प्रदान किए गए सभी सर्वश्रेष्ठ डायोफैंटाइन अनुमानों में वांछित शुद्धता नहीं हो सकती है। इसलिए, प्रमेय हर तत्व के लिए रूप लेते हैं α वास्तविक संख्याओं के कुछ उपसमुच्चय में अपरिमित रूप से अनेक परिमेय संख्याएँ p/q होती हैं p/q जैसे कि .

बुरी तरह अनुमानित संख्या

बुरी तरह अनुमानित संख्या x है जिसके लिए धनात्मक स्थिरांक c है जैसे कि सभी तर्कसंगत p/q के लिए हमारे पास है

बुरी तरह अनुमानित संख्याएं ठीक वही हैं जो प्रतिबंधित आंशिक भागफल के साथ हैं।[6]

समतुल्य रूप से, संख्या बुरी तरह से सन्निकट है यदि और केवल यदि उसका मार्कोव स्थिरांक परिबद्ध है।

डायोफैंटाइन सन्निकटन के लिए निचली सीमा

अन्य परिमेय द्वारा परिमेय का सन्निकटन

तर्कसंगत संख्या द्वारा स्पष्ट रूप से और पूरी तरह से अनुमानित किया जा सकता है प्रत्येक धनात्मक पूर्णांक i के लिए.

यदि अपने पास

क्योंकि धनात्मक पूर्णांक है और इस प्रकार 1 से कम नहीं है। इस प्रकार सन्निकटन की शुद्धता अपरिमेय संख्याओं के सापेक्ष खराब है (अगले खंड देखें)।

यह टिप्पणी की जा सकती है कि पूर्ववर्ती प्रमाण कबूतर सिद्धांत के प्रकार का उपयोग करता है: गैर-ऋणात्मक पूर्णांक जो 0 नहीं है, वह 1 से छोटा नहीं है। यह स्पष्ट रूप से तुच्छ टिप्पणी डायोफैंटाइन सन्निकटन के लिए निचली सीमा के लगभग हर प्रमाण में उपयोग की जाती है, यहां तक ​​कि सबसे परिष्कृत वाले भी होते है।

संक्षेप में, परिमेय संख्या अपने आप में पूरी तरह से अनुमानित है, किन्तु किसी अन्य परिमेय संख्या द्वारा बुरी तरह अनुमानित है।

बीजगणितीय संख्याओं का सन्निकटन, लिउविल का परिणाम

1840 के दशक में, जोसेफ लिउविल ने बीजगणितीय संख्याओं के सन्निकटन के लिए पहली निचली सीमा प्राप्त की: यदि x परिमेय संख्याओं पर घात n की अपरिमेय बीजगणितीय संख्या है, तो स्थिरांक उपस्थित होता है c(x) > 0 जैसे कि

सभी पूर्णांकों p और q के लिए है जहाँ q > 0.

इस परिणाम ने उन्हें ट्रान्सेंडैंटल संख्या, लिउविल स्थिरांक का पहला सिद्ध उदाहरण प्रस्तुत करने की अनुमति दी

जो लिउविल के प्रमेय को संतुष्ट नहीं करता है, जो भी डिग्री n चुना गया है।

डायोफैंटाइन सन्निकटन और अनुवांशिक संख्या सिद्धांत के बीच यह लिंक आज भी जारी है। कई प्रमाण विधियों को दो क्षेत्रों के बीच साझा किया जाता है।

बीजगणितीय संख्याओं का सन्निकटन, थू-सीगल-रोथ प्रमेय

शताब्दी से भी अधिक समय में, लिउविल के प्रमेय को उत्तम बनाने के लिए कई प्रयास किए गए: बाउंड का हर सुधार हमें यह प्रमाणित करने में सक्षम बनाता है कि अधिक संख्याएं ट्रान्सेंडैंटल हैं। मुख्य सुधार एक्सल थ्यू (1909), सीगल (1921), फ्रीमैन डायसन (1947), और क्लॉस रोथ (1955) के कारण हैं, जो अंत में थू-सीगल-रोथ प्रमेय के लिए अग्रणी है: यदि x तर्कहीन बीजगणितीय संख्या है और ε a (छोटा) धनात्मक वास्तविक संख्या, तो वहाँ एक धनात्मक स्थिरांक c(x, ε) उपस्थित है जैसे कि

प्रत्येक पूर्णांक p और q के लिए धारण करता है जैसे कि q > 0.

कुछ अर्थों में, यह परिणाम इष्टतम है, क्योंकि प्रमेय ε = 0 के साथ गलत होगा। यह नीचे वर्णित ऊपरी सीमा का तत्काल परिणाम है।

बीजगणितीय संख्याओं का युगपत सन्निकटन

इसके बाद, वोल्फगैंग एम. श्मिट ने साथ सन्निकटन के मामले में इसे सामान्यीकृत किया, यह प्रमाणित करते हुए कि: यदि x1, ..., xn बीजगणितीय संख्याएँ हैं जैसे कि 1, x1, ..., xn परिमेय संख्याओं पर रैखिक स्वतंत्रता हैं और ε कोई भी दी हुई धनात्मक वास्तविक संख्या है, तो केवल परिमित संख्या में अनेक परिमेय n-टुपल्स (p1/q, ..., pn/q) संख्याएँ होती हैं जैसे कि

फिर से यह परिणाम इस अर्थ में इष्टतम है कि कोई घातांक से ε नहीं हटा सकता है।

प्रभावी सीमा

सभी पिछली निचली सीमाएँ संख्या सिद्धांत में प्रभावी परिणाम नहीं हैं, इस अर्थ में कि प्रमाण कथनों में निहित स्थिरांक की गणना करने का कोई तरीका प्रदान नहीं करते हैं। इसका मतलब यह है कि संबंधित डायोफैंटाइन समीकरणों के समाधान के आकार पर सीमा प्राप्त करने के लिए परिणाम या उनके प्रमाण का उपयोग नहीं किया जा सकता है। चूंकि, इन विधियों और परिणामों का उपयोग अक्सर ऐसे समीकरणों के समाधानों की संख्या को सीमित करने के लिए किया जा सकता है।

फिर भी, फेल्डमैन द्वारा बेकर के प्रमेय का परिशोधन प्रभावी सीमा प्रदान करता है: यदि x परिमेय संख्याओं पर डिग्री n की बीजगणितीय संख्या है, तो प्रभावी रूप से संगणनीय स्थिरांक c(x) > 0 और 0 < d(x) < n ऐसे उपस्थित हैं वह

सभी परिमेय पूर्णांकों के लिए धारण करता है।

हालाँकि, बेकर के प्रमेय के प्रत्येक प्रभावी संस्करण के लिए, स्थिरांक d और 1/c इतने बड़े हैं कि इस प्रभावी परिणाम का व्यवहार में उपयोग नहीं किया जा सकता है।

डायोफैंटाइन सन्निकटन के लिए ऊपरी सीमा

सामान्य ऊपरी सीमा

डायोफैंटाइन सन्निकटन के लिए ऊपरी सीमा के बारे में पहला महत्वपूर्ण परिणाम डिरिचलेट का सन्निकटन प्रमेय है, जिसका अर्थ है कि, प्रत्येक अपरिमेय संख्या α के लिए, अपरिमित रूप से अनेक भिन्न हैं जैसे कि

इसका तात्पर्य यह है कि थू-सीगल-रोथ प्रमेय के कथन में ε को दबाया नहीं जा सकता है।

एडॉल्फ हर्विट्ज़ (1891)[7] इस परिणाम को शक्तिशाली किया, यह प्रमाणित करते हुए कि प्रत्येक अपरिमेय संख्या α के लिए, अपरिमित रूप से अनेक भिन्न हैं जैसे कि

इसलिए, किसी भी अपरिमेय संख्या के डायोफैंटाइन सन्निकटन के लिए ऊपरी सीमा है।

कुछ अपरिमेय संख्याओं को छोड़े बिना इस परिणाम में स्थिरांक में और सुधार नहीं किया जा सकता है (नीचे देखें)।

एमिल बोरेल (1903)[8] दिखाया कि, वास्तव में, कोई अपरिमेय संख्या α दी गई है, और α के लगातार तीन अभिसरण दिए हैं, कम से कम किसी को हर्विट्ज़ के प्रमेय में दी गई असमानता को पूरा करना चाहिए।

समतुल्य वास्तविक संख्या

परिभाषा: दो वास्तविक संख्याएँ समतुल्य कहलाते हैं[9][10] यदि पूर्णांक हैं साथ जैसे कि:

तो तुल्यता को वास्तविक संख्याओं पर एक पूर्णांक मोबियस परिवर्तन द्वारा परिभाषित किया गया है, या मॉड्यूलर समूह के एक सदस्य द्वारा, पूर्णांकों पर व्युत्क्रमणीय 2 × 2 आव्यूहों के समुच्चय द्वारा परिभाषित किया गया है। प्रत्येक परिमेय संख्या 0 के बराबर है; इस प्रकार परिमेय संख्याएँ इस संबंध के लिए एक तुल्यता वर्ग हैं।

तुल्यता को नियमित रूप से निरंतर अंश प्रतिनिधित्व पर पढ़ा जा सकता है, जैसा कि जोसेफ अल्फ्रेड सेरेट के निम्नलिखित प्रमेय द्वारा दिखाया गया है:

प्रमेय: दो अपरिमेय संख्याएँ x और y समतुल्य हैं यदि और केवल यदि दो धनात्मक पूर्णांक h और k उपस्थित हैं, जैसे कि x और 'y' का नियमित निरंतर अंश निरूपण '

संतुष्ट करना

प्रत्येक गैर ऋणात्मक पूर्णांक i के लिए.[11]

इस प्रकार, परिमित प्रारंभिक अनुक्रम को छोड़कर, समतुल्य संख्याओं में ही निरंतर अंश का प्रतिनिधित्व होता है।

समतुल्य संख्याएं ही डिग्री के अनुमानित हैं, इस अर्थ में कि उनके पास समान मार्कोव स्थिरांक है।

लैग्रेंज स्पेक्ट्रम

जैसा कि ऊपर कहा गया है, बोरेल के प्रमेय में स्थिरांक में सुधार नहीं हो सकता है, जैसा कि 1891 में एडॉल्फ हर्विट्ज द्वारा दिखाया गया था।[12]

होने देना सुनहरा अनुपात हो।

फिर किसी भी वास्तविक स्थिरांक c के साथ परिमेय संख्याओं की केवल परिमित संख्या p/q होती है जैसे कि

इसलिए सुधार केवल तभी प्राप्त किया जा सकता है, जब के समतुल्य संख्याओं को हटा दिया जाए। अधिक स्पष्ट रूप से:[13][14] प्रत्येक अपरिमेय संख्या के लिए, जो के समकक्ष नहीं है , अनंत अनेक भिन्न हैं जैसे कि

क्रमिक बहिष्करण द्वारा - अगले को समतुल्य संख्याओं को बाहर करना चाहिए - तुल्यता के अधिक से अधिक वर्गों में, निचली सीमा को और बढ़ाया जा सकता है।

इस प्रकार से उत्पन्न होने वाले मान लैग्रेंज संख्याएं हैं, जो मार्कोव स्पेक्ट्रम का भाग हैं।

वे संख्या 3 पर अभिसरण करते हैं और मार्कोव संख्या से संबंधित हैं।[15][16]


मीट्रिक डायोफैंटाइन सन्निकटन और विस्तार पर खिनचिन की प्रमेय

मान लीजिये धनात्मक पूर्णांकों (यानी, धनात्मक अनुक्रम) पर धनात्मक वास्तविक-मूल्यवान कार्य हो जैसे कि नहीं बढ़ रहा है। एक वास्तविक संख्या x (आवश्यक रूप से बीजगणितीय नहीं) को -अनुमानित कहा जाता है यदि वहाँ असीम रूप से कई परिमेय संख्याएँ p/q उपस्थित हैं जैसे कि

अलेक्सांद्र खींचीं ने 1926 में प्रमाणित कर दिया कि यदि श्रृंखला विचलन करता है, तो लगभग हर वास्तविक संख्या (लेबेस्ग माप के अर्थ में) -अनुमानित, होती है और यदि श्रृंखला अभिसरण करती है, तो लगभग हर वास्तविक संख्या -अनुमानित नहीं होती है। इस प्रमेय और इसके संबंधियों के आसपास के विचारों के चक्र को मीट्रिक डायोफैंटाइन सन्निकटन या डायोफैंटाइन सन्निकटन के मीट्रिक सिद्धांत ( डायोफैंटाइन ज्यामिति में ऊंचाई मैट्रिक्स के साथ भ्रमित नहीं होना) या मीट्रिक संख्या सिद्धांत के रूप में जाना जाता है।

डफिन & शेफ़र (1941) ने खिनचिन के परिणाम का सामान्यीकरण प्रमाणित हुआ, और जिसे अब डफिन-शेफ़र अनुमान के रूप में जाना जाता है, वह सामान्य रूप से खिनचिन के द्विभाजन के अनुरूप है, अनिवार्य रूप से घटते हुए अनुक्रम के लिए प्रस्तुत किया था। बेरेसनेविच & वेलानी (2006) ने प्रमाणित किया कि डफिन-शेफ़र अनुमान का हॉसडॉर्फ माप एनालॉग मूल डफ़िन-शेफ़र अनुमान के बराबर है, जो प्राथमिक कमजोर है।

जुलाई 2019 में, दिमित्रिस कौकुलोपोलोस और जेम्स मेनार्ड (गणितज्ञ) ने अनुमान के प्रमाण की घोषणा की।[17][18]


असाधारण सेटों का हौसडॉर्फ आयाम

फलन का महत्वपूर्ण उदाहरण जिस पर खिनचिन की प्रमेय प्रायुक्त की जा सकती है वह फलन है, जहां c > 1 वास्तविक संख्या है। इस फलन के लिए, प्रासंगिक श्रृंखला अभिसरण करती है और इसलिए खिनचिन की प्रमेय हमें बताती है कि लगभग हर बिंदु -अनुमानित नहीं है। इस प्रकार, संख्याओं का समूह जो -अनुमानित है, लेबेस्गु माप शून्य की वास्तविक रेखा का सबसेट बनाता है। वी. जर्निक और ए.एस. बेसिकोविच के कारण जर्निक-बेसिकोविच प्रमेय कहता है कि इस सेट का हॉसडॉर्फ आयाम के बराबर है।[19] विशेष रूप से, संख्याओं का समूह जो हैं -कुछ के लिए अनुमानित (बहुत अच्छी तरह से अनुमानित संख्याओं के सेट के रूप में जाना जाता है) हॉसडॉर्फ का आयाम है, जबकि संख्याओं का सेट जो हैं - सभी के लिए अनुमानित (लिउविल संख्या ओं के समुच्चय के रूप में जाना जाता है) का हौसडॉर्फ आयाम शून्य है।

अन्य महत्वपूर्ण उदाहरण फलन हैं, जहाँ वास्तविक संख्या है। इस फलन के लिए, संबंधित श्रृंखला अलग-अलग होती है और इसलिए खिनचिन की प्रमेय हमें बताती है कि लगभग हर संख्या -अनुमानित है। यह कहने के समान है कि ऐसी प्रत्येक संख्या अच्छी प्रकार से सन्निकट है, जहाँ संख्या को अच्छी तरह से सन्निकट कहा जाता है यदि यह बुरी तरह सन्निकट नहीं है। तो जार्निक-बेसिकोविच प्रमेय का उपयुक्त एनालॉग बुरी तरह अनुमानित संख्याओं के सेट के हौसडॉर्फ आयाम से संबंधित होना चाहिए। और वास्तव में, वी. जार्निक ने प्रमाणित किया कि इस सेट का हॉसडॉर्फ आयाम के बराबर है। इस परिणाम में डब्ल्यू. एम. श्मिट द्वारा सुधार किया गया था। जिन्होंने दिखाया कि बुरी तरह अनुमानित संख्याओं का सेट असम्पीडित है, जिसका अर्थ है कि यदि द्वि-लिप्सचिट्ज़ माप का एक क्रम है,, फिर संख्याओं का सेट x जिसके लिए हॉसडॉर्फ आयाम के साथ सभी बुरी तरह से अनुमानित हैं। श्मिट ने जर्निक के प्रमेय को उच्च आयामों के लिए सामान्यीकृत किया, महत्वपूर्ण उपलब्धि क्योंकि जार्निक का तर्क अनिवार्य रूप से एक-आयामी है, जो निरंतर अंशों के उपकरण पर निर्भर करता है।

समान वितरण

अन्य विषय जिसने गहन विकास देखा है वह है समान वितरण मोड 1 का सिद्धांत हैं। वास्तविक संख्याओं का अनुक्रम a1, a2, ... लें और उनके भिन्नात्मक भागों पर विचार करें। अर्थात्, अधिक संक्षेप में, अनुक्रम को में देखें, जो एक वृत्त है। सर्कल पर किसी भी अंतराल I के लिए हम अनुक्रम के उन तत्वों के अनुपात को देखते हैं जो इसमें निहित हैं, कुछ पूर्णांक एन तक, और इसकी तुलना I द्वारा व्याप्त परिधि के अनुपात से करें। समान वितरण का अर्थ है कि सीमा में, N के रूप में बढ़ता है, अंतराल पर हिट का अनुपात 'अपेक्षित' मान की ओर जाता है। हरमन वेइल ने वेइल की कसौटी प्रमाणित की, जिसमें दिखाया गया है कि यह अनुक्रम से बनने वाली घातीय रकम के लिए सीमा के बराबर था। इससे पता चला कि डायोफैंटाइन सन्निकटन परिणाम घातीय योगों में निरस्तीकरण की सामान्य समस्या से निकटता से संबंधित थे, जो कि त्रुटि शब्दों की सीमा में पूरे विश्लेषणात्मक संख्या सिद्धांत में होता है।

एकसमान वितरण से संबंधित वितरण की अनियमितताओं का विषय है, जो संयोजक प्रकृति का है।

अनसुलझी समस्याएं

डायोफैंटाइन सन्निकटन में अभी भी सरल रूप से बताई गई अनसुलझी समस्याएं शेष हैं, उदाहरण के लिए लिटिलवुड अनुमान और अकेला धावक अनुमान

यह भी अज्ञात है कि उनके निरंतर अंश विस्तार में असीमित गुणांक वाले बीजगणितीय संख्याएं हैं या नहीं।

नवीनतम घटनाक्रम

क्योटो (1990) में अंतर्राष्ट्रीय गणितीय कांग्रेस में अपने पूर्ण संबोधन में, ग्रिगोरी मार्गुलिस ने एर्गोडिक सिद्धांत में निहित व्यापक कार्यक्रम की रूपरेखा तैयार की, जो सेमीसिम्पल लाइ समूहों के उपसमूहों के कार्यों के गतिशील और एर्गोडिक गुणों का उपयोग करके संख्या-सिद्धांत संबंधी परिणामों को प्रमाणित करने की अनुमति देता है। डी. क्लेनबॉक, जी. मार्गुलिस और उनके सहयोगियों के काम ने डायोफैंटाइन सन्निकटन में शास्त्रीय समस्याओं के लिए इस उपन्यास दृष्टिकोण की धात का प्रदर्शन किया। इसकी उल्लेखनीय सफलताओं में मार्गुलिस द्वारा दशकों पुराने ओपेनहेम अनुमान का प्रमाण है, जिसमें बाद में दानी और मार्गुलिस और एस्किन मार्गुलिस मोजेस द्वारा विस्तार किया गया है, और क्लेनबॉक और मार्गुलिस द्वारा मैनिफोल्ड्स पर डायोफैंटाइन सन्निकटन में बेकर और स्पिंडज़ुक अनुमानों का प्रमाण है। मीट्रिक डायोफैंटाइन सन्निकटन में अलेक्जेंडर खिनचिन के उपरोक्त परिणामों के विभिन्न सामान्यीकरण भी इस संरचना के अन्दर प्राप्त किए गए हैं।

यह भी देखें

टिप्पणियाँ

  1. 1.0 1.1 Khinchin 1997, p. 21
  2. Cassels 1957, p. 2
  3. 3.0 3.1 Lang 1995, p. 9
  4. 4.0 4.1 Khinchin 1997, p. 24
  5. Cassels 1957, pp. 5–8
  6. Bugeaud 2012, p. 245
  7. Hurwitz 1891, p. 279
  8. Perron 1913, Chapter 2, Theorem 15
  9. Hurwitz 1891, p. 284
  10. Hardy & Wright 1979, Chapter 10.11
  11. See Perron 1929, Chapter 2, Theorem 23, p. 63
  12. Hardy & Wright 1979, p. 164
  13. Cassels 1957, p. 11
  14. Hurwitz 1891
  15. Cassels 1957, p. 18
  16. See Michel Waldschmidt: Introduction to Diophantine methods irrationality and transcendence Archived 2012-02-09 at the Wayback Machine, pp 24–26.
  17. Koukoulopoulos, D.; Maynard, J. (2019). "On the Duffin–Schaeffer conjecture". arXiv:1907.04593 [math.NT].
  18. Sloman, Leila (2019). "New Proof Solves 80-Year-Old Irrational Number Problem". Scientific American.
  19. Bernik et al. 2013, p. 24


संदर्भ


बाहरी कड़ियाँ