डायोफैंटाइन सन्निकटन

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 फील्ड मेडल जेम्स मेनार्ड (गणितज्ञ) को डायोफैंटाइन सन्निकटन पर उनके कार्य के लिए प्रदान किया गया था।

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

Main article: निरंतर अंश § सर्वश्रेष्ठ तर्कसंगत सन्निकटन

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

$\left|\alpha -{\frac {p}{q}}\right|<\left|\alpha -{\frac {p'}{q'}}\right|,$

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

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

$\left|q\alpha -p\right|<\left|q^{\prime }\alpha -p^{\prime }\right|.$

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

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

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

$[2;1,2,1,1,4,1,1,6,1,1,8,1,\ldots \;].$

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

$3,{\tfrac {8}{3}},{\tfrac {11}{4}},{\tfrac {19}{7}},{\tfrac {87}{32}},\ldots \,,$

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

$3,{\tfrac {5}{2}},{\tfrac {8}{3}},{\tfrac {11}{4}},{\tfrac {19}{7}},{\tfrac {49}{18}},{\tfrac {68}{25}},{\tfrac {87}{32}},{\tfrac {106}{39}},\ldots \,.$

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

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

ऐसी तुलना के लिए, किसी को शुद्धता की ऊपरी सीमा या निचली सीमा की आवश्यकता हो सकती है। निचली सीमा को सामान्यतः प्रमेय द्वारा वर्णित किया जाता है जैसे प्रत्येक तत्व के लिए α वास्तविक संख्याओं के कुछ सबसेट और प्रत्येक परिमेय संख्या का p/q, अपने पास ${\textstyle \left|\alpha -{\frac {p}{q}}\right|>\phi (q)}$ है। कुछ स्थितियों में, प्रत्येक परिमेय संख्या को उनकी परिमित संख्या को छोड़कर सभी परिमेय संख्याओं द्वारा प्रतिस्थापित किया जा सकता है, जो α पर निर्भर करते हुए φ को किसी स्थिरांक से गुणा करने के बराबर है।

ऊपरी सीमा के लिए, किसी को यह ध्यान रखना होगा कि अभिसरण द्वारा प्रदान किए गए सभी सर्वश्रेष्ठ डायोफैंटाइन अनुमानों में वांछित शुद्धता नहीं हो सकती है। इसलिए, प्रमेय हर तत्व के लिए रूप लेते हैं α वास्तविक संख्याओं के कुछ उपसमुच्चय में अपरिमित रूप से अनेक परिमेय संख्याएँ p/q होती हैं p/q जैसे कि ${\textstyle \left|\alpha -{\frac {p}{q}}\right|<\phi (q)}$ .

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

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

$\left|{x-{\frac {p}{q}}}\right|>{\frac {c}{q^{2}}}\ .$

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

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

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

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

तर्कसंगत संख्या ${\textstyle \alpha ={\frac {a}{b}}}$ द्वारा स्पष्ट रूप से और पूरी तरह से अनुमानित ${\textstyle {\frac {p_{i}}{q_{i}}}={\frac {i\,a}{i\,b}}}$ किया जा सकता है प्रत्येक धनात्मक पूर्णांक i के लिए.

यदि ${\textstyle {\frac {p}{q}}\not =\alpha ={\frac {a}{b}}\,,}$ अपने पास

$\left|{\frac {a}{b}}-{\frac {p}{q}}\right|=\left|{\frac {aq-bp}{bq}}\right|\geq {\frac {1}{bq}},$

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

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

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

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

Main article: लिउविल संख्या

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

$\left|x-{\frac {p}{q}}\right|>{\frac {c(x)}{q^{n}}}$

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

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

$\sum _{j=1}^{\infty }10^{-j!}=0.110001000000000000000001000\ldots \,,$

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

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

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

Main article: थू-सीगल-रोथ प्रमेय

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

$\left|x-{\frac {p}{q}}\right|>{\frac {c(x,\varepsilon )}{q^{2+\varepsilon }}}$

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

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

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

Main article: सबस्पेस प्रमेय

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

$\left|x_{i}-{\frac {p_{i}}{q}}\right|<q^{-(1+1/n+\varepsilon )},\quad i=1,\ldots ,n.$

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

प्रभावी सीमा

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

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

$\left|x-{\frac {p}{q}}\right|>{\frac {c(x)}{|q|^{d(x)}}}$

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

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

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

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

Main article: हर्विट्ज़ प्रमेय (संख्या सिद्धांत)

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

$\left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{q^{2}}}\,.$

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

एडॉल्फ हर्विट्ज़ (1891) इस परिणाम को शक्तिशाली किया, यह प्रमाणित करते हुए कि प्रत्येक अपरिमेय संख्या α के लिए, अपरिमित रूप से अनेक भिन्न ${\tfrac {p}{q}}\;$ हैं जैसे कि

$\left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{{\sqrt {5}}q^{2}}}\,.$

इसलिए, ${\frac {1}{{\sqrt {5}}\,q^{2}}}$ किसी भी अपरिमेय संख्या के डायोफैंटाइन सन्निकटन के लिए ऊपरी सीमा है।

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

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

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

परिभाषा: दो वास्तविक संख्याएँ $x,y$ समतुल्य कहलाते हैं यदि पूर्णांक हैं $a,b,c,d\;$ साथ $ad-bc=\pm 1\;$ जैसे कि:

$y={\frac {ax+b}{cx+d}}\,.$

तो तुल्यता को वास्तविक संख्याओं पर एक पूर्णांक मोबियस परिवर्तन द्वारा परिभाषित किया गया है, या मॉड्यूलर समूह ${\text{SL}}_{2}^{\pm }(\mathbb {Z} )$ के एक सदस्य द्वारा, पूर्णांकों पर व्युत्क्रमणीय 2 × 2 आव्यूहों के समुच्चय द्वारा परिभाषित किया गया है। प्रत्येक परिमेय संख्या 0 के बराबर है; इस प्रकार परिमेय संख्याएँ इस संबंध के लिए एक तुल्यता वर्ग हैं।

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

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

${\begin{aligned}x&=[u_{0};u_{1},u_{2},\ldots ]\,,\\y&=[v_{0};v_{1},v_{2},\ldots ]\,,\end{aligned}}$

संतुष्ट करना

$u_{h+i}=v_{k+i}$

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

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

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

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

Main article: मार्कोव स्पेक्ट्रम

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

होने देना $\phi ={\tfrac {1+{\sqrt {5}}}{2}}$ सुनहरा अनुपात हो।

फिर किसी भी वास्तविक स्थिरांक c के साथ $c>{\sqrt {5}}\;$ परिमेय संख्याओं की केवल परिमित संख्या p/q होती है जैसे कि

$\left|\phi -{\frac {p}{q}}\right|<{\frac {1}{c\,q^{2}}}.$

इसलिए सुधार केवल तभी प्राप्त किया जा सकता है, जब $\phi$ के समतुल्य संख्याओं को हटा दिया जाए। अधिक स्पष्ट रूप से: प्रत्येक अपरिमेय संख्या $\alpha$ के लिए, जो $\phi$ के समकक्ष नहीं है , अनंत अनेक भिन्न ${\tfrac {p}{q}}\;$हैं जैसे कि

$\left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{{\sqrt {8}}q^{2}}}.$

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

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

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

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

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

$\left|x-{\frac {p}{q}}\right|<{\frac {\psi (q)}{|q|}}.$

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

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

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

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

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

अन्य महत्वपूर्ण उदाहरण फलन $\psi _{\varepsilon }(q)=\varepsilon q^{-1}$हैं, जहाँ $\varepsilon >0$ वास्तविक संख्या है। इस फलन के लिए, संबंधित श्रृंखला अलग-अलग होती है और इसलिए खिनचिन की प्रमेय हमें बताती है कि लगभग हर संख्या $\psi _{\varepsilon }$-अनुमानित है। यह कहने के समान है कि ऐसी प्रत्येक संख्या अच्छी प्रकार से सन्निकट है, जहाँ संख्या को अच्छी तरह से सन्निकट कहा जाता है यदि यह बुरी तरह सन्निकट नहीं है। तो जार्निक-बेसिकोविच प्रमेय का उपयुक्त एनालॉग बुरी तरह अनुमानित संख्याओं के सेट के हौसडॉर्फ आयाम से संबंधित होना चाहिए। और वास्तव में, वी. जार्निक ने प्रमाणित किया कि इस सेट का हॉसडॉर्फ आयाम के बराबर है। इस परिणाम में डब्ल्यू. एम. श्मिट द्वारा सुधार किया गया था। जिन्होंने दिखाया कि बुरी तरह अनुमानित संख्याओं का सेट असम्पीडित है, जिसका अर्थ है कि यदि $f_{1},f_{2},\ldots$ द्वि-लिप्सचिट्ज़ माप का एक क्रम है,, फिर संख्याओं का सेट x जिसके लिए $f_{1}(x),f_{2}(x),\ldots$ हॉसडॉर्फ आयाम के साथ सभी बुरी तरह से अनुमानित हैं। श्मिट ने जर्निक के प्रमेय को उच्च आयामों के लिए सामान्यीकृत किया, महत्वपूर्ण उपलब्धि क्योंकि जार्निक का तर्क अनिवार्य रूप से एक-आयामी है, जो निरंतर अंशों के उपकरण पर निर्भर करता है।

समान वितरण

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

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

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

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

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

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

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

यह भी देखें

• डेवनपोर्ट-श्मिट प्रमेय
• डफिन-शेफ़र अनुमान
• हेइलब्रोन सेट
• कम विसंगति अनुक्रम

संदर्भ

• 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]