डायोफैंटाइन सन्निकटन: Difference between revisions
No edit summary |
No edit summary |
||
| Line 10: | Line 10: | ||
इस ज्ञान ने 1844 में [[ जोसेफ लिउविल ]] को पहली स्पष्ट ट्रान्सेंडैंटल संख्या का उत्पादन करने में सक्षम बनाया। बाद में {{pi}} और [[ ई (गणितीय स्थिरांक) |e (गणितीय स्थिरांक)]] के अनुभवातीत होने के प्रमाण इसी प्रकार की विधि से प्राप्त किए गए थे। | इस ज्ञान ने 1844 में [[ जोसेफ लिउविल ]] को पहली स्पष्ट ट्रान्सेंडैंटल संख्या का उत्पादन करने में सक्षम बनाया। बाद में {{pi}} और [[ ई (गणितीय स्थिरांक) |e (गणितीय स्थिरांक)]] के अनुभवातीत होने के प्रमाण इसी प्रकार की विधि से प्राप्त किए गए थे। | ||
डायोफैंटाइन सन्निकटन और अनुवांशिक संख्या सिद्धांत बहुत | डायोफैंटाइन सन्निकटन और अनुवांशिक संख्या सिद्धांत बहुत निकटतम क्षेत्र हैं जो कई प्रमेयों और विधियों को साझा करते हैं। डायोफैंटाइन सन्निकटनों का भी [[ डायोफैंटाइन समीकरण | डायोफैंटाइन समीकरणों]] के अध्ययन में महत्वपूर्ण अनुप्रयोग हैं। | ||
2022 [[ फील्ड मेडल ]] [[ जेम्स मेनार्ड (गणितज्ञ) ]] को डायोफैंटाइन सन्निकटन पर उनके कार्य के लिए प्रदान किया गया था। | 2022 [[ फील्ड मेडल ]] [[ जेम्स मेनार्ड (गणितज्ञ) ]] को डायोफैंटाइन सन्निकटन पर उनके कार्य के लिए प्रदान किया गया था। | ||
== वास्तविक संख्या का सर्वश्रेष्ठ डायोफैंटाइन सन्निकटन == | == वास्तविक संख्या का सर्वश्रेष्ठ डायोफैंटाइन सन्निकटन == | ||
{{main| | {{main|निरंतर अंश#सर्वश्रेष्ठ तर्कसंगत सन्निकटन}} | ||
वास्तविक संख्या | |||
एक वास्तविक संख्या {{math|''α''}} को देखते हुए, {{math|''α''}} के सर्वश्रेष्ठ डायोफैंटाइन सन्निकटन को परिभाषित करने के दो तरीके हैं। पहली परिभाषा के लिए,<ref name="Khinchin 1997 p.21">{{harvnb|Khinchin|1997|p=21}}</ref> परिमेय संख्या{{math|''p''/''q''}} {{math|''α''}} का सबसे अच्छा डायोफैंटाइन सन्निकटन है यदि | |||
:<math>\left|\alpha -\frac{p}{q}\right | < \left|\alpha -\frac{p'}{q'}\right |,</math> | :<math>\left|\alpha -\frac{p}{q}\right | < \left|\alpha -\frac{p'}{q'}\right |,</math> | ||
{{math|''p''/''q''}} से भिन्न प्रत्येक परिमेय संख्या {{math|''p'''/''q' ''}} के लिए जैसे कि {{math|0 < ''q''′ ≤ ''q''}}। | |||
दूसरी परिभाषा के लिए,<ref>{{harvnb|Cassels|1957|p=2}}</ref><ref name=Lang9>{{harvnb|Lang|1995|p=9}}</ref> उपरोक्त असमानता द्वारा प्रतिस्थापित किया गया है | दूसरी परिभाषा के लिए,<ref>{{harvnb|Cassels|1957|p=2}}</ref><ref name=Lang9>{{harvnb|Lang|1995|p=9}}</ref> उपरोक्त असमानता द्वारा प्रतिस्थापित किया गया है | ||
:<math>\left|q\alpha -p\right| < \left|q^\prime\alpha - p^\prime\right|.</math> | :<math>\left|q\alpha -p\right| < \left|q^\prime\alpha - p^\prime\right|.</math> | ||
दूसरी परिभाषा के लिए सर्वश्रेष्ठ सन्निकटन भी पहले के लिए सर्वश्रेष्ठ सन्निकटन है, | दूसरी परिभाषा के लिए सर्वश्रेष्ठ सन्निकटन भी पहले के लिए एक सर्वश्रेष्ठ सन्निकटन है, किन्तु इसका विलोम सामान्य रूप से सत्य नहीं है।<ref name=Khinchin24>{{harvnb|Khinchin|1997|p=24}}</ref> | ||
निरंतर अंशों का सिद्धांत हमें वास्तविक संख्या के सर्वश्रेष्ठ अनुमानों की गणना करने की अनुमति देता है: दूसरी परिभाषा के लिए, वे नियमित निरंतर अंश के रूप में इसकी अभिव्यक्ति के [[ अभिसरण (निरंतर अंश) ]] हैं।<ref name=Lang9/><ref name=Khinchin24/><ref>{{harvnb|Cassels|1957|pp=5–8}}</ref> पहली परिभाषा के लिए, निरंतर भिन्न | |||
निरंतर अंशों का सिद्धांत हमें वास्तविक संख्या के सर्वश्रेष्ठ अनुमानों की गणना करने की अनुमति देता है: दूसरी परिभाषा के लिए, वे नियमित निरंतर अंश के रूप में इसकी अभिव्यक्ति के [[ अभिसरण (निरंतर अंश) | अभिसरण (निरंतर अंश)]] हैं।<ref name="Lang9" /><ref name="Khinchin24" /><ref>{{harvnb|Cassels|1957|pp=5–8}}</ref> पहली परिभाषा के लिए, निरंतर भिन्न अर्धअभिसरण पर भी विचार करना होगा।<ref name="Khinchin 1997 p.21" /> | |||
उदाहरण के लिए, स्थिरांक e = 2.718281828459045235... का (नियमित) निरंतर अंश प्रतिनिधित्व है | उदाहरण के लिए, स्थिरांक e = 2.718281828459045235... का (नियमित) निरंतर अंश प्रतिनिधित्व है | ||
| Line 35: | Line 37: | ||
== सन्निकटन की | == सन्निकटन की शुद्धता का माप == | ||
एक परिमेय संख्या {{math|''p''/''q''}} द्वारा वास्तविक संख्या {{math|''α''}} के डायोफैंटाइन सन्निकटन की शुद्धता का स्पष्ट माप <math display="inline">\left|\alpha - \frac{p}{q}\right|</math> है, चूंकि, इस मात्रा को हमेशा {{math|''p''}} और {{math|''q''}} के निरपेक्ष मूल्यों को बढ़ाकर स्वैच्छिक विधि से छोटा किया जा सकता है; इस प्रकार सन्निकटन की शुद्धता का अनुमान सामान्यतः इस मात्रा की तुलना भाजक {{math|''q''}} के कुछ फलन {{math|''φ''}} से की जाती है, सामान्यतः इसकी एक ऋणात्मक धात होती है। | |||
ऐसी तुलना के लिए, किसी को | ऐसी तुलना के लिए, किसी को शुद्धता की ऊपरी सीमा या निचली सीमा की आवश्यकता हो सकती है। निचली सीमा को सामान्यतः प्रमेय द्वारा वर्णित किया जाता है जैसे प्रत्येक तत्व के लिए {{math|''α''}} वास्तविक संख्याओं के कुछ सबसेट और प्रत्येक परिमेय संख्या का {{math|''p''/''q''}}, अपने पास <math display="inline">\left|\alpha - \frac{p}{q}\right|>\phi(q)</math> है। कुछ स्थितियों में, प्रत्येक परिमेय संख्या को उनकी परिमित संख्या को छोड़कर सभी परिमेय संख्याओं द्वारा प्रतिस्थापित किया जा सकता है, जो {{math|''α''}} पर निर्भर करते हुए {{math|''φ''}} को किसी स्थिरांक से गुणा करने के बराबर है। | ||
ऊपरी सीमा के लिए, किसी को यह ध्यान रखना होगा कि अभिसरण द्वारा प्रदान किए गए सभी सर्वश्रेष्ठ डायोफैंटाइन अनुमानों में वांछित | ऊपरी सीमा के लिए, किसी को यह ध्यान रखना होगा कि अभिसरण द्वारा प्रदान किए गए सभी सर्वश्रेष्ठ डायोफैंटाइन अनुमानों में वांछित शुद्धता नहीं हो सकती है। इसलिए, प्रमेय हर तत्व के लिए रूप लेते हैं {{math|''α''}} वास्तविक संख्याओं के कुछ उपसमुच्चय में अपरिमित रूप से अनेक परिमेय संख्याएँ {{math|''p''/''q''}} होती हैं {{math|''p''/''q''}} जैसे कि <math display="inline">\left|\alpha - \frac{p}{q}\right|<\phi(q)</math> . | ||
=== बुरी तरह अनुमानित संख्या === | === बुरी तरह अनुमानित संख्या === | ||
बुरी तरह अनुमानित संख्या ''x'' है जिसके लिए | '''बुरी तरह अनुमानित संख्या''' ''x'' है जिसके लिए धनात्मक स्थिरांक ''c'' है जैसे कि सभी तर्कसंगत ''p''/''q'' के लिए हमारे पास है | ||
:<math>\left|{ x - \frac{p}{q} }\right| > \frac{c}{q^2} \ . </math> | :<math>\left|{ x - \frac{p}{q} }\right| > \frac{c}{q^2} \ . </math> | ||
बुरी तरह अनुमानित संख्याएं ठीक वही हैं जो [[ प्रतिबंधित आंशिक भागफल ]] के साथ हैं।<ref name=Bug245>{{harvnb|Bugeaud|2012|p=245}}</ref> | बुरी तरह अनुमानित संख्याएं ठीक वही हैं जो [[ प्रतिबंधित आंशिक भागफल ]] के साथ हैं।<ref name=Bug245>{{harvnb|Bugeaud|2012|p=245}}</ref> | ||
समतुल्य रूप से, संख्या बुरी तरह से सन्निकट है यदि और केवल यदि उसका [[ मार्कोव स्थिरांक ]] परिबद्ध है। | |||
समतुल्य रूप से, संख्या बुरी तरह से सन्निकट है यदि और केवल यदि उसका [[ मार्कोव स्थिरांक | मार्कोव स्थिरांक]] परिबद्ध है। | |||
== डायोफैंटाइन सन्निकटन के लिए निचली सीमा == | == डायोफैंटाइन सन्निकटन के लिए निचली सीमा == | ||
=== अन्य परिमेय द्वारा परिमेय का सन्निकटन === | === अन्य परिमेय द्वारा परिमेय का सन्निकटन === | ||
तर्कसंगत संख्या <math display="inline">\alpha =\frac{a}{b}</math> द्वारा स्पष्ट रूप से और पूरी तरह से अनुमानित | तर्कसंगत संख्या <math display="inline">\alpha =\frac{a}{b}</math> द्वारा स्पष्ट रूप से और पूरी तरह से अनुमानित <math display="inline">\frac{p_i}{q_i} = \frac{i\,a}{i \,b}</math> किया जा सकता है प्रत्येक धनात्मक पूर्णांक i के लिए. | ||
यदि <math display="inline">\frac{p}{q} \not= \alpha = \frac{a}{b}\,,</math> अपने पास | यदि <math display="inline">\frac{p}{q} \not= \alpha = \frac{a}{b}\,,</math> अपने पास | ||
:<math>\left|\frac{a}{b} - \frac{p}{q}\right| = \left|\frac{aq - bp}{bq}\right| \ge \frac{1}{bq},</math> | :<math>\left|\frac{a}{b} - \frac{p}{q}\right| = \left|\frac{aq - bp}{bq}\right| \ge \frac{1}{bq},</math> | ||
क्योंकि <math>|aq - bp|</math> | क्योंकि <math>|aq - bp|</math> धनात्मक पूर्णांक है और इस प्रकार 1 से कम नहीं है। इस प्रकार सन्निकटन की शुद्धता अपरिमेय संख्याओं के सापेक्ष खराब है (अगले खंड देखें)। | ||
यह टिप्पणी की जा सकती है कि पूर्ववर्ती | यह टिप्पणी की जा सकती है कि पूर्ववर्ती प्रमाण कबूतर सिद्धांत के प्रकार का उपयोग करता है: गैर-ऋणात्मक पूर्णांक जो 0 नहीं है, वह 1 से छोटा नहीं है। यह स्पष्ट रूप से तुच्छ टिप्पणी डायोफैंटाइन सन्निकटन के लिए निचली सीमा के लगभग हर प्रमाण में उपयोग की जाती है, यहां तक कि सबसे परिष्कृत वाले भी होते है। | ||
संक्षेप में, परिमेय संख्या अपने आप में पूरी तरह से अनुमानित है, | संक्षेप में, परिमेय संख्या अपने आप में पूरी तरह से अनुमानित है, किन्तु किसी अन्य परिमेय संख्या द्वारा बुरी तरह अनुमानित है। | ||
=== बीजगणितीय संख्याओं का सन्निकटन, लिउविल का परिणाम === | === बीजगणितीय संख्याओं का सन्निकटन, लिउविल का परिणाम === | ||
{{main| | {{main|लिउविल संख्या}} | ||
1840 के दशक में, जोसेफ लिउविल ने बीजगणितीय संख्याओं के सन्निकटन के लिए पहली निचली सीमा प्राप्त की: यदि x परिमेय संख्याओं पर घात n की अपरिमेय बीजगणितीय संख्या है, तो स्थिरांक | |||
1840 के दशक में, जोसेफ लिउविल ने बीजगणितीय संख्याओं के सन्निकटन के लिए पहली निचली सीमा प्राप्त की: यदि x परिमेय संख्याओं पर घात n की अपरिमेय बीजगणितीय संख्या है, तो स्थिरांक उपस्थित होता है {{nowrap|''c''(''x'') > 0}} जैसे कि | |||
:<math> \left| x- \frac{p}{q} \right| > \frac{c(x)}{q^n}</math> | :<math> \left| x- \frac{p}{q} \right| > \frac{c(x)}{q^n}</math> | ||
| Line 74: | Line 78: | ||
\sum_{j=1}^\infty 10^{-j!} = 0.110001000000000000000001000\ldots\,, | \sum_{j=1}^\infty 10^{-j!} = 0.110001000000000000000001000\ldots\,, | ||
</math> | </math> | ||
जो | जो लिउविल के प्रमेय को संतुष्ट नहीं करता है, जो भी डिग्री n चुना गया है। | ||
डायोफैंटाइन सन्निकटन और अनुवांशिक संख्या सिद्धांत के बीच यह लिंक आज भी जारी है। कई | डायोफैंटाइन सन्निकटन और अनुवांशिक संख्या सिद्धांत के बीच यह लिंक आज भी जारी है। कई प्रमाण विधियों को दो क्षेत्रों के बीच साझा किया जाता है। | ||
=== बीजगणितीय संख्याओं का सन्निकटन, थू-सीगल-रोथ प्रमेय === | === बीजगणितीय संख्याओं का सन्निकटन, थू-सीगल-रोथ प्रमेय === | ||
{{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'', ''ε'')}} उपस्थित है जैसे कि | |||
:<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}} | ||
</math> | </math> | ||
प्रत्येक पूर्णांक | प्रत्येक पूर्णांक {{math|''p''}} और {{math|''q''}} के लिए धारण करता है जैसे कि {{math|''q'' > 0}}. | ||
कुछ अर्थों में, यह परिणाम इष्टतम है, क्योंकि प्रमेय ε = 0 के साथ गलत होगा। यह नीचे वर्णित ऊपरी सीमा का तत्काल परिणाम है। | कुछ अर्थों में, यह परिणाम इष्टतम है, क्योंकि प्रमेय ε = 0 के साथ गलत होगा। यह नीचे वर्णित ऊपरी सीमा का तत्काल परिणाम है। | ||
=== बीजगणितीय संख्याओं का युगपत सन्निकटन === | === बीजगणितीय संख्याओं का युगपत सन्निकटन === | ||
{{main| | {{main|सबस्पेस प्रमेय}} | ||
इसके बाद, वोल्फगैंग एम. श्मिट ने साथ सन्निकटन के मामले में इसे सामान्यीकृत किया, यह साबित करते हुए कि: यदि {{math|''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>}} बीजगणितीय संख्याएँ हैं जैसे कि {{math|1, ''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>}} परिमेय संख्याओं पर [[ रैखिक स्वतंत्रता ]] हैं और {{math|''ε''}} कोई भी दी हुई धनात्मक वास्तविक संख्या है, तो केवल परिमित संख्या में अनेक परिमेय | इसके बाद, वोल्फगैंग एम. श्मिट ने साथ सन्निकटन के मामले में इसे सामान्यीकृत किया, यह साबित करते हुए कि: यदि {{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|''ε''}} नहीं हटा सकता है। | ||
=== प्रभावी सीमा === | === प्रभावी सीमा === | ||
सभी पिछली निचली सीमाएँ [[ संख्या सिद्धांत में प्रभावी परिणाम ]] नहीं हैं, इस अर्थ में कि प्रमाण कथनों में निहित स्थिरांक की गणना करने का कोई तरीका प्रदान नहीं करते हैं। इसका मतलब यह है कि संबंधित डायोफैंटाइन समीकरणों के समाधान के आकार पर सीमा प्राप्त करने के लिए परिणाम या उनके प्रमाण का उपयोग नहीं किया जा सकता है। | सभी पिछली निचली सीमाएँ [[ संख्या सिद्धांत में प्रभावी परिणाम ]] नहीं हैं, इस अर्थ में कि प्रमाण कथनों में निहित स्थिरांक की गणना करने का कोई तरीका प्रदान नहीं करते हैं। इसका मतलब यह है कि संबंधित डायोफैंटाइन समीकरणों के समाधान के आकार पर सीमा प्राप्त करने के लिए परिणाम या उनके प्रमाण का उपयोग नहीं किया जा सकता है। चूंकि, इन विधियों और परिणामों का उपयोग अक्सर ऐसे समीकरणों के समाधानों की संख्या को सीमित करने के लिए किया जा सकता है। | ||
फिर भी, फेल्डमैन द्वारा बेकर के प्रमेय का परिशोधन प्रभावी सीमा प्रदान करता है: यदि x परिमेय संख्याओं पर डिग्री n की बीजगणितीय संख्या है, तो प्रभावी रूप से संगणनीय स्थिरांक c(x) > 0 और 0 < d(x) < n ऐसे | फिर भी, फेल्डमैन द्वारा बेकर के प्रमेय का परिशोधन प्रभावी सीमा प्रदान करता है: यदि x परिमेय संख्याओं पर डिग्री n की बीजगणितीय संख्या है, तो प्रभावी रूप से संगणनीय स्थिरांक c(x) > 0 और 0 < d(x) < n ऐसे उपस्थित हैं वह | ||
:<math>\left| x- \frac{p}{q} \right|>\frac{c(x)}{|q|^{d(x)}} </math> | :<math>\left| x- \frac{p}{q} \right|>\frac{c(x)}{|q|^{d(x)}} </math> | ||
| Line 108: | Line 113: | ||
=== सामान्य ऊपरी सीमा === | === सामान्य ऊपरी सीमा === | ||
{{main | Hurwitz's theorem (number theory)}} | {{main | Hurwitz's theorem (number theory)}} | ||
डायोफैंटाइन सन्निकटन के लिए ऊपरी सीमा के बारे में पहला महत्वपूर्ण परिणाम डिरिचलेट का सन्निकटन प्रमेय है, जिसका अर्थ है कि, प्रत्येक अपरिमेय संख्या के लिए {{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> किसी भी अपरिमेय संख्या के डायोफैंटाइन सन्निकटन के लिए ऊपरी सीमा है। | ||
| Line 121: | Line 126: | ||
=== समतुल्य वास्तविक संख्या === | === समतुल्य वास्तविक संख्या === | ||
परिभाषा: दो वास्तविक संख्याएँ <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 के बराबर है; इस प्रकार परिमेय संख्याएँ इस संबंध के लिए [[ तुल्यता वर्ग ]] हैं। | ||
| Line 127: | Line 132: | ||
तुल्यता को नियमित रूप से निरंतर अंश प्रतिनिधित्व पर पढ़ा जा सकता है, जैसा कि [[ जोसेफ अल्फ्रेड सेरेट ]] के निम्नलिखित प्रमेय द्वारा दिखाया गया है: | तुल्यता को नियमित रूप से निरंतर अंश प्रतिनिधित्व पर पढ़ा जा सकता है, जैसा कि [[ जोसेफ अल्फ्रेड सेरेट ]] के निम्नलिखित प्रमेय द्वारा दिखाया गया है: | ||
प्रमेय: दो अपरिमेय संख्याएँ ''x'' और ''y'' समतुल्य हैं यदि और केवल यदि दो धनात्मक पूर्णांक ''h'' और ''k'' | प्रमेय: दो अपरिमेय संख्याएँ ''x'' और ''y'' समतुल्य हैं यदि और केवल यदि दो धनात्मक पूर्णांक ''h'' और ''k'' उपस्थित हैं, जैसे कि ''x'' का नियमित निरंतर अंश निरूपण ' और 'वाई' | ||
:<math>\begin{align} | :<math>\begin{align} | ||
x &= [u_0; u_1, u_2, \ldots]\, , \\ | x &= [u_0; u_1, u_2, \ldots]\, , \\ | ||
| Line 143: | Line 148: | ||
जैसा कि ऊपर कहा गया है, बोरेल के प्रमेय में स्थिरांक में सुधार नहीं हो सकता है, जैसा कि 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> | ||
| Line 155: | Line 160: | ||
== मीट्रिक डायोफैंटाइन सन्निकटन और विस्तार पर खिनचिन की प्रमेय == <!-- [[Khinchin's theorem on Diophantine approximations]] links here --> | == मीट्रिक डायोफैंटाइन सन्निकटन और विस्तार पर खिनचिन की प्रमेय == <!-- [[Khinchin's theorem on Diophantine approximations]] links here --> | ||
होने देना <math>\psi</math> | होने देना <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> | ||
| Line 180: | Line 185: | ||
== हालिया घटनाक्रम == | == हालिया घटनाक्रम == | ||
क्योटो (1990) में [[ अंतर्राष्ट्रीय गणितीय कांग्रेस ]] में अपने पूर्ण संबोधन में, [[ ग्रिगोरी मार्गुलिस ]] ने [[ एर्गोडिक सिद्धांत ]] में निहित व्यापक कार्यक्रम की रूपरेखा तैयार की, जो सेमीसिम्पल लाइ समूहों के उपसमूहों के कार्यों के गतिशील और एर्गोडिक गुणों का उपयोग करके संख्या-सिद्धांत संबंधी परिणामों को साबित करने की अनुमति देता है। डी. क्लेनबॉक, जी. मार्गुलिस और उनके सहयोगियों के काम ने डायोफैंटाइन सन्निकटन में शास्त्रीय समस्याओं के लिए इस उपन्यास दृष्टिकोण की | क्योटो (1990) में [[ अंतर्राष्ट्रीय गणितीय कांग्रेस ]] में अपने पूर्ण संबोधन में, [[ ग्रिगोरी मार्गुलिस ]] ने [[ एर्गोडिक सिद्धांत ]] में निहित व्यापक कार्यक्रम की रूपरेखा तैयार की, जो सेमीसिम्पल लाइ समूहों के उपसमूहों के कार्यों के गतिशील और एर्गोडिक गुणों का उपयोग करके संख्या-सिद्धांत संबंधी परिणामों को साबित करने की अनुमति देता है। डी. क्लेनबॉक, जी. मार्गुलिस और उनके सहयोगियों के काम ने डायोफैंटाइन सन्निकटन में शास्त्रीय समस्याओं के लिए इस उपन्यास दृष्टिकोण की धात का प्रदर्शन किया। इसकी उल्लेखनीय सफलताओं में मार्गुलिस द्वारा दशकों पुराने [[ ओपेनहेम अनुमान ]] का प्रमाण है, दानी और मार्गुलिस और एस्किन-मार्गुलिस-मोज़ेस द्वारा बाद के विस्तार के साथ, और क्लेनबॉक और मार्गुलिस द्वारा मैनिफोल्ड्स पर डायोफैंटाइन सन्निकटन में बेकर और स्प्रिंदज़ुक अनुमानों का प्रमाण। मीट्रिक डायोफैंटाइन सन्निकटन में अलेक्जेंडर खिनचिन के उपरोक्त परिणामों के विभिन्न सामान्यीकरण भी इस ढांचे के भीतर प्राप्त किए गए हैं। | ||
== यह भी देखें == | == यह भी देखें == | ||
Revision as of 14:12, 26 April 2023
संख्या सिद्धांत में, डायोफैंटाइन सन्निकटन का अध्ययन परिमेय संख्याओं द्वारा वास्तविक संख्याओं के सन्निकटन से संबंधित है। इसका नाम अलेक्जेंड्रिया के डायोफैंटस के नाम पर रखा गया है।
पहली समस्या यह जानने की थी कि परिमेय संख्याओं द्वारा वास्तविक संख्या का कितना अच्छा अनुमान लगाया जा सकता है। इस समस्या के लिए, परिमेय संख्या 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 का नियमित निरंतर अंश निरूपण ' और 'वाई'
संतुष्ट करना
प्रत्येक गैर ऋणात्मक पूर्णांक के लिए i.[11] इस प्रकार, परिमित प्रारंभिक अनुक्रम को छोड़कर, समतुल्य संख्याओं में ही निरंतर अंश का प्रतिनिधित्व होता है।
समतुल्य संख्याएं ही डिग्री के अनुमानित हैं, इस अर्थ में कि उनके पास समान मार्कोव स्थिरांक है।
लैग्रेंज स्पेक्ट्रम
जैसा कि ऊपर कहा गया है, बोरेल के प्रमेय में स्थिरांक में सुधार नहीं हो सकता है, जैसा कि 1891 में एडॉल्फ हर्विट्ज द्वारा दिखाया गया था।[12] होने देना सुनहरा अनुपात हो। फिर किसी भी वास्तविक स्थिरांक c के साथ परिमेय संख्याओं की केवल परिमित संख्या होती है p/q जैसे कि
इसलिए सुधार केवल तभी प्राप्त किया जा सकता है, यदि संख्याएँ जो इसके समतुल्य हों निष्कासित हैं। ज्यादा ठीक:[13][14] प्रत्येक अपरिमेय संख्या के लिए है, जो इसके समकक्ष नहीं है , अनंत अनेक भिन्न हैं जैसे कि
क्रमिक बहिष्करण द्वारा - अगले को समतुल्य संख्याओं को बाहर करना चाहिए - तुल्यता के अधिक से अधिक वर्गों में, निचली सीमा को और बढ़ाया जा सकता है। इस तरह से उत्पन्न होने वाले मान लैग्रेंज संख्याएं हैं, जो मार्कोव स्पेक्ट्रम का हिस्सा हैं। वे संख्या 3 पर अभिसरण करते हैं और मार्कोव संख्या से संबंधित हैं।[15][16]
मीट्रिक डायोफैंटाइन सन्निकटन और विस्तार पर खिनचिन की प्रमेय
होने देना धनात्मक पूर्णांकों (यानी, धनात्मक अनुक्रम) पर धनात्मक वास्तविक-मूल्यवान कार्य हो जैसे कि नहीं बढ़ रहा है। वास्तविक संख्या x (आवश्यक रूप से बीजगणितीय नहीं) कहलाती है -अनुमानित यदि वहाँ असीम रूप से कई परिमेय संख्याएँ p/q उपस्थित हैं जैसे कि
अलेक्सांद्र खींचीं ने 1926 में साबित कर दिया कि यदि श्रृंखला विचलन करता है, तो लगभग हर वास्तविक संख्या (लेबेस्ग माप के अर्थ में) है -अनुमानित, और यदि श्रृंखला अभिसरण करती है, तो लगभग हर वास्तविक संख्या नहीं होती है -अनुमानित। इस प्रमेय और इसके संबंधियों के आसपास के विचारों के चक्र को मीट्रिक डायोफैंटाइन सन्निकटन या डायोफैंटाइन सन्निकटन के मीट्रिक सिद्धांत (डायोफैंटाइन ज्यामिति में ऊंचाई मैट्रिक्स के साथ भ्रमित नहीं होना) या मीट्रिक संख्या सिद्धांत के रूप में जाना जाता है।
Duffin & Schaeffer (1941) खिनचिन के परिणाम का सामान्यीकरण साबित हुआ, और जिसे अब डफिन-शेफ़र अनुमान के रूप में जाना जाता है, वह सामान्य रूप से खिनचिन के द्विभाजन के अनुरूप है, जरूरी नहीं कि कम हो, अनुक्रम . Beresnevich & Velani (2006) ने साबित किया कि डफिन-शेफ़र अनुमान का हॉसडॉर्फ माप एनालॉग मूल डफ़िन-शेफ़र अनुमान के बराबर है, जो प्राथमिक कमजोर है। जुलाई 2019 में, दिमित्रिस कौकुलोपोलोस और जेम्स मेनार्ड (गणितज्ञ) ने अनुमान के प्रमाण की घोषणा की।[17][18]
असाधारण सेटों का हौसडॉर्फ आयाम
समारोह का महत्वपूर्ण उदाहरण जिस पर खिनचिन की प्रमेय लागू की जा सकती है वह फलन है , जहां c > 1 वास्तविक संख्या है। इस फलन के लिए, प्रासंगिक श्रृंखला अभिसरण करती है और इसलिए खिनचिन की प्रमेय हमें बताती है कि लगभग हर बिंदु नहीं है -अनुमानित। इस प्रकार, संख्याओं का समूह जो हैं -approximable Lebesgue माप शून्य की वास्तविक रेखा का सबसेट बनाता है। जर्निक-बेसिकोविच प्रमेय, वोजटेक जर्निक के कारण | वी। जार्निक और अब्राम समोइलोविच बेसिकोविच|ए. एस. बेसिकोविच, कहते हैं कि इस सेट का हॉसडॉर्फ आयाम बराबर है .[19] विशेष रूप से, संख्याओं का समूह जो हैं -कुछ के लिए अनुमानित (बहुत अच्छी तरह से अनुमानित संख्याओं के सेट के रूप में जाना जाता है) हॉसडॉर्फ का आयाम है, जबकि संख्याओं का सेट जो हैं - सभी के लिए अनुमानित (लिउविल संख्या ओं के समुच्चय के रूप में जाना जाता है) का हौसडॉर्फ आयाम शून्य है।
अन्य महत्वपूर्ण उदाहरण कार्य है , कहाँ पे वास्तविक संख्या है। इस फलन के लिए, संबंधित श्रृंखला अलग-अलग होती है और इसलिए खिनचिन की प्रमेय हमें बताती है कि लगभग हर संख्या है -अनुमानित। यह कहने के समान है कि ऐसी प्रत्येक संख्या अच्छी तरह से सन्निकट है, जहाँ संख्या को अच्छी तरह से सन्निकट कहा जाता है यदि यह बुरी तरह सन्निकट नहीं है। तो जार्निक-बेसिकोविच प्रमेय का उपयुक्त एनालॉग बुरी तरह अनुमानित संख्याओं के सेट के हौसडॉर्फ आयाम से संबंधित होना चाहिए। और वास्तव में, वी. जार्निक ने साबित किया कि इस सेट का हॉसडॉर्फ आयाम के बराबर है। इस परिणाम में वोल्फगैंग एम. श्मिट | डब्ल्यू द्वारा सुधार किया गया था। एम. श्मिट, जिन्होंने दिखाया कि बुरी तरह अनुमानित संख्याओं का सेट असम्पीडित है, जिसका अर्थ है कि यदि Lipschitz continuity#Lipschitz manifolds|bi-Lipschitz मैप्स का क्रम है, फिर संख्याओं का सेट x जिसके लिए हॉसडॉर्फ आयाम के साथ सभी बुरी तरह से अनुमानित हैं। श्मिट ने जर्निक के प्रमेय को उच्च आयामों के लिए सामान्यीकृत किया, महत्वपूर्ण उपलब्धि क्योंकि जार्निक का तर्क अनिवार्य रूप से एक-आयामी है, जो निरंतर अंशों के उपकरण पर निर्भर करता है।
समान वितरण
अन्य विषय जिसने गहन विकास देखा है वह है समवितरित अनुक्रम का सिद्धांत। अनुक्रम लें ए1, एक2, ... वास्तविक संख्याओं का और उनके भिन्नात्मक भागों पर विचार करें। यही है, अधिक संक्षेप में, अनुक्रम को देखें , जो वृत्त है। सर्कल पर किसी भी अंतराल I के लिए हम अनुक्रम के उन तत्वों के अनुपात को देखते हैं जो इसमें निहित हैं, कुछ पूर्णांक एन तक, और इसकी तुलना I द्वारा व्याप्त परिधि के अनुपात से करें। समान वितरण का अर्थ है कि सीमा में, N के रूप में बढ़ता है, अंतराल पर हिट का अनुपात 'अपेक्षित' मान की ओर जाता है। हरमन वेइल ने वेइल की कसौटी साबित की, जिसमें दिखाया गया है कि यह अनुक्रम से बनने वाली घातीय रकम के लिए सीमा के बराबर था। इससे पता चला कि डायोफैंटाइन सन्निकटन परिणाम घातीय योगों में रद्दीकरण की सामान्य समस्या से निकटता से संबंधित थे, जो कि त्रुटि शब्दों की सीमा में पूरे विश्लेषणात्मक संख्या सिद्धांत में होता है।
एकसमान वितरण से संबंधित वितरण की अनियमितताओं का विषय है, जो संयोजक प्रकृति का है।
अनसुलझी समस्याएं
डायोफैंटाइन सन्निकटन में अभी भी सरल रूप से बताई गई अनसुलझी समस्याएं शेष हैं, उदाहरण के लिए लिटिलवुड अनुमान और अकेला धावक अनुमान । यह भी अज्ञात है कि उनके निरंतर अंश विस्तार में असीमित गुणांक वाले बीजगणितीय संख्याएं हैं या नहीं।
हालिया घटनाक्रम
क्योटो (1990) में अंतर्राष्ट्रीय गणितीय कांग्रेस में अपने पूर्ण संबोधन में, ग्रिगोरी मार्गुलिस ने एर्गोडिक सिद्धांत में निहित व्यापक कार्यक्रम की रूपरेखा तैयार की, जो सेमीसिम्पल लाइ समूहों के उपसमूहों के कार्यों के गतिशील और एर्गोडिक गुणों का उपयोग करके संख्या-सिद्धांत संबंधी परिणामों को साबित करने की अनुमति देता है। डी. क्लेनबॉक, जी. मार्गुलिस और उनके सहयोगियों के काम ने डायोफैंटाइन सन्निकटन में शास्त्रीय समस्याओं के लिए इस उपन्यास दृष्टिकोण की धात का प्रदर्शन किया। इसकी उल्लेखनीय सफलताओं में मार्गुलिस द्वारा दशकों पुराने ओपेनहेम अनुमान का प्रमाण है, दानी और मार्गुलिस और एस्किन-मार्गुलिस-मोज़ेस द्वारा बाद के विस्तार के साथ, और क्लेनबॉक और मार्गुलिस द्वारा मैनिफोल्ड्स पर डायोफैंटाइन सन्निकटन में बेकर और स्प्रिंदज़ुक अनुमानों का प्रमाण। मीट्रिक डायोफैंटाइन सन्निकटन में अलेक्जेंडर खिनचिन के उपरोक्त परिणामों के विभिन्न सामान्यीकरण भी इस ढांचे के भीतर प्राप्त किए गए हैं।
यह भी देखें
- डेवनपोर्ट-श्मिट प्रमेय
- डफिन-शेफ़र अनुमान
- हेइलब्रोन सेट
- कम विसंगति अनुक्रम
टिप्पणियाँ
- ↑ 1.0 1.1 Khinchin 1997, p. 21
- ↑ Cassels 1957, p. 2
- ↑ 3.0 3.1 Lang 1995, p. 9
- ↑ 4.0 4.1 Khinchin 1997, p. 24
- ↑ Cassels 1957, pp. 5–8
- ↑ Bugeaud 2012, p. 245
- ↑ Hurwitz 1891, p. 279
- ↑ Perron 1913, Chapter 2, Theorem 15
- ↑ Hurwitz 1891, p. 284
- ↑ Hardy & Wright 1979, Chapter 10.11
- ↑ See Perron 1929, Chapter 2, Theorem 23, p. 63
- ↑ Hardy & Wright 1979, p. 164
- ↑ Cassels 1957, p. 11
- ↑ Hurwitz 1891
- ↑ Cassels 1957, p. 18
- ↑ See Michel Waldschmidt: Introduction to Diophantine methods irrationality and transcendence Archived 2012-02-09 at the Wayback Machine, pp 24–26.
- ↑ Koukoulopoulos, D.; Maynard, J. (2019). "On the Duffin–Schaeffer conjecture". arXiv:1907.04593 [math.NT].
- ↑ Sloman, Leila (2019). "New Proof Solves 80-Year-Old Irrational Number Problem". Scientific American.
- ↑ Bernik et al. 2013, p. 24
संदर्भ
- Beresnevich, Victor; Velani, Sanju (2006). "A mass transference principle and the Duffin-Schaeffer conjecture for Hausdorff measures". Annals of Mathematics. 164 (3): 971–992. arXiv:math/0412141. doi:10.4007/annals.2006.164.971. S2CID 14475449. Zbl 1148.11033.
- Bernik, V.; Beresnevich, V.; Götze, F.; Kukso, O. (2013). "Distribution of algebraic numbers and metric theory of Diophantine approximation". In Eichelsbacher, Peter; Elsner, Guido; Kösters, Holger; Löwe, Matthias; Merkl, Franz; Rolles, Silke (eds.). Limit Theorems in Probability, Statistics and Number Theory: In Honor of Friedrich Götze. Springer Proceedings in Mathematics & Statistics. Vol. 42. Heidelberg: Springer. pp. 23–48. doi:10.1007/978-3-642-36068-8_2. MR 3079136. S2CID 55652124.
- Bugeaud, Yann (2012). Distribution modulo one and Diophantine approximation. Cambridge Tracts in Mathematics. Vol. 193. Cambridge: Cambridge University Press. ISBN 978-0-521-11169-0. Zbl 1260.11001.
- Cassels, J. W. S. (1957). An introduction to Diophantine approximation. Cambridge Tracts in Mathematics and Mathematical Physics. Vol. 45. Cambridge University Press.
- Duffin, R. J.; Schaeffer, A. C. (1941). "Khintchine's problem in metric diophantine approximation". Duke Mathematical Journal. 8 (2): 243–255. doi:10.1215/s0012-7094-41-00818-9. ISSN 0012-7094. Zbl 0025.11002.
- Dyson, Freeman J. (1947). "The approximation to algebraic numbers by rationals". Acta Mathematica. 79: 225–240. doi:10.1007/BF02404697. ISSN 0001-5962. MR 0023854. Zbl 0030.02101.
- Hardy, G. H.; Wright, E. M. (1979). An Introduction to the Theory of Numbers (5th ed.). Oxford University Press. ISBN 978-0-19-853170-8. MR 0568909.
- Hurwitz, A. (1891). "Ueber die angenäherte Darstellung der Irrationalzahlen durch rationale Brüche" [On the approximate representation of irrational numbers by rational fractions]. Mathematische Annalen (in Deutsch). 39 (2): 279–284. doi:10.1007/BF01206656. MR 1510702. S2CID 119535189.
- Khinchin, A. Ya. (1997) [1964]. Continued Fractions. Dover. ISBN 0-486-69630-8.
- Kleinbock, D. Y.; Margulis, G. A. (1998). "Flows on homogeneous spaces and Diophantine approximation on manifolds". Ann. Math. 148 (1): 339–360. arXiv:math/9810036. Bibcode:1998math.....10036K. doi:10.2307/120997. JSTOR 120997. MR 1652916. S2CID 8471125. Zbl 0922.11061.
- Lang, Serge (1995). Introduction to Diophantine Approximations (New expanded ed.). Springer-Verlag. ISBN 0-387-94456-7. Zbl 0826.11030.
- Margulis, G. A. (2002). "Diophantine approximation, lattices and flows on homogeneous spaces". In Wüstholz, Gisbert (ed.). A panorama of number theory or the view from Baker's garden. Cambridge: Cambridge University Press. pp. 280–310. ISBN 0-521-80799-9. MR 1975458.
- Perron, Oskar (1913). Die Lehre von den Kettenbrüchen [The Theory of Continued Fractions] (in Deutsch). Leipzig: B. G. Teubner.
- Perron, Oskar (1929). Die Lehre von den Kettenbrüchen [The Theory of Continued Fractions] (in Deutsch) (2nd ed.). Chelsea.
{{cite book}}: CS1 maint: location missing publisher (link) - Roth, Klaus Friedrich (1955). "Rational approximations to algebraic numbers". Mathematika. 2: 1–20, 168. doi:10.1112/S0025579300000644. ISSN 0025-5793. MR 0072182. Zbl 0064.28501.
- Schmidt, Wolfgang M. (1980). Diophantine approximation. Lecture Notes in Mathematics. Vol. 785 (1996 ed.). Berlin-Heidelberg-New York: Springer-Verlag. ISBN 3-540-09762-7. Zbl 0421.10019.
- Schmidt, Wolfgang M. (1996). Diophantine approximations and Diophantine equations. Lecture Notes in Mathematics. Vol. 1467 (2nd ed.). Springer-Verlag. ISBN 3-540-54058-X. Zbl 0754.11020.
- Siegel, Carl Ludwig (1921). "Approximation algebraischer Zahlen". Mathematische Zeitschrift. 10 (3): 173–213. doi:10.1007/BF01211608. ISSN 0025-5874. S2CID 119577458.
- Sprindzhuk, Vladimir G. (1979). Metric theory of Diophantine approximations. Scripta Series in Mathematics. Transl. from the Russian and ed. by Richard A. Silverman. With a foreword by Donald J. Newman. John Wiley & Sons. ISBN 0-470-26706-2. MR 0548467. Zbl 0482.10047.
- Thue, A. (1909). "Über Annäherungswerte algebraischer Zahlen". Journal für die reine und angewandte Mathematik. 1909 (135): 284–305. doi:10.1515/crll.1909.135.284. ISSN 0075-4102. S2CID 125903243.
बाहरी कड़ियाँ
- Diophantine Approximation: historical survey. From Introduction to Diophantine methods course by Michel Waldschmidt.
- "Diophantine approximations", Encyclopedia of Mathematics, EMS Press, 2001 [1994]