अंकगणितीय गतिशीलता: Difference between revisions
(Created page with "अंकगणितीय गतिशीलता<ref>{{cite book|first=Joseph H. | last=Silverman | title=गतिशील प्रणालियों का अं...") |
No edit summary |
||
Line 1: | Line 1: | ||
अंकगणितीय गतिशीलता<ref>{{cite book|first=Joseph H. | last=Silverman | title=गतिशील प्रणालियों का अंकगणित| publisher=Springer | year=2007 | isbn=978-0-387-69903-5 | series=Graduate Texts in Mathematics | volume=241 | mr=2316407 | doi=10.1007/978-0-387-69904-2 | location=New York}}</ref> | अंकगणितीय गतिशीलता<ref>{{cite book|first=Joseph H. | last=Silverman | title=गतिशील प्रणालियों का अंकगणित| publisher=Springer | year=2007 | isbn=978-0-387-69903-5 | series=Graduate Texts in Mathematics | volume=241 | mr=2316407 | doi=10.1007/978-0-387-69904-2 | location=New York}}</ref> ऐसा क्षेत्र है जो गणित के दो क्षेत्रों, गतिशील प्रणालियों और [[संख्या सिद्धांत]] को जोड़ता है। प्रेरणा का हिस्सा [[जटिल गतिशीलता]] से आता है, [[जटिल विमान]] या अन्य जटिल बीजगणितीय किस्मों के स्व-मानचित्रों के [[पुनरावृत्त फ़ंक्शन]] का अध्ययन। अंकगणितीय गतिशीलता [[पूर्णांक बिंदु]], [[तर्कसंगत बिंदु]], पी-एडिक संख्या के संख्या-सैद्धांतिक गुणों का अध्ययन है|{{mvar|p}}-किसी [[बहुपद]] या परिमेय फलन के बार-बार प्रयोग के अंतर्गत आदिक, या बीजगणितीय बिंदु। मौलिक लक्ष्य अंतर्निहित ज्यामितीय संरचनाओं के संदर्भ में अंकगणितीय गुणों का वर्णन करना है। | ||
वैश्विक अंकगणितीय गतिशीलता असतत गतिशील प्रणालियों की सेटिंग में शास्त्रीय [[डायोफैंटाइन ज्यामिति]] के एनालॉग्स का अध्ययन है, जबकि स्थानीय अंकगणितीय गतिशीलता, जिसे पी-एडिक गतिशीलता भी कहा जाता है | पी-एडिक या गैर-आर्किमिडीयन गतिशीलता, जटिल गतिशीलता का | वैश्विक अंकगणितीय गतिशीलता असतत गतिशील प्रणालियों की सेटिंग में शास्त्रीय [[डायोफैंटाइन ज्यामिति]] के एनालॉग्स का अध्ययन है, जबकि स्थानीय अंकगणितीय गतिशीलता, जिसे पी-एडिक गतिशीलता भी कहा जाता है | पी-एडिक या गैर-आर्किमिडीयन गतिशीलता, जटिल गतिशीलता का एनालॉग है जिसमें जटिल संख्याओं को प्रतिस्थापित करता है {{math|'''C'''}} ए द्वारा {{mvar|p}}-एडिक फ़ील्ड जैसे {{math|'''Q'''<sub>''p''</sub>}} या {{math|'''C'''<sub>''p''</sub>}} और अराजक व्यवहार और [[ फ़तौ सेट ]] और [[जूलिया सेट]] का अध्ययन करता है। | ||
निम्नलिखित तालिका डायोफैंटाइन समीकरणों, विशेष रूप से एबेलियन किस्मों और गतिशील प्रणालियों के बीच | निम्नलिखित तालिका डायोफैंटाइन समीकरणों, विशेष रूप से एबेलियन किस्मों और गतिशील प्रणालियों के बीच मोटे पत्राचार का वर्णन करती है: | ||
{| class="wikitable" | {| class="wikitable" | ||
Line 16: | Line 16: | ||
|} | |} | ||
== असतत गतिशीलता से परिभाषाएँ और संकेतन == | |||
==असतत गतिशीलता से परिभाषाएँ और संकेतन== | होने देना {{mvar|S}} सेट हो और चलो {{math|''F'' : ''S'' → ''S''}} से नक्शा हो {{mvar|S}} खुद को। की पुनरावृत्ति {{mvar|F}} अपने आप से {{mvar|n}} बार दर्शाया गया है | ||
होने देना {{mvar|S}} | |||
:<math>F^{(n)} = F \circ F \circ \cdots \circ F. </math> | :<math>F^{(n)} = F \circ F \circ \cdots \circ F. </math> | ||
बिंदु {{math|''P'' ∈ ''S''}} आवधिक है यदि {{math|''F''<sup>(''n'')</sup>(''P'') {{=}} ''P''}} कुछ के लिए {{math|''n'' ≥ 1}}. | |||
यदि बात पूर्व-आवधिक है {{math|''F''<sup>(''k'')</sup>(''P'')}} कुछ के लिए आवधिक है {{math|''k'' ≥ 1}}. | यदि बात पूर्व-आवधिक है {{math|''F''<sup>(''k'')</sup>(''P'')}} कुछ के लिए आवधिक है {{math|''k'' ≥ 1}}. | ||
Line 32: | Line 31: | ||
==पूर्वआवधिक बिंदुओं की संख्या सैद्धांतिक गुण== | ==पूर्वआवधिक बिंदुओं की संख्या सैद्धांतिक गुण== | ||
{{see also|Uniform boundedness conjecture for torsion points|Uniform boundedness conjecture for rational points}} | {{see also|Uniform boundedness conjecture for torsion points|Uniform boundedness conjecture for rational points}} | ||
होने देना {{math|''F''(''x'')}} गुणांक के साथ कम से कम दो डिग्री का | होने देना {{math|''F''(''x'')}} गुणांक के साथ कम से कम दो डिग्री का तर्कसंगत कार्य बनें {{math|'''Q'''}}. [[डगलस नॉर्थकॉट]] का प्रमेय<ref>{{cite journal | first=Douglas Geoffrey | last=Northcott | title=बीजगणितीय विविधता पर आवधिक बिंदु| journal= [[Annals of Mathematics]] | volume=51 | pages=167–177 | doi=10.2307/1969504 | year=1950 | mr=0034607 | issue=1| jstor=1969504 }}</ref> ऐसा कहते हैं {{mvar|F}} में केवल सीमित संख्या में ही अनेक हैं {{math|'''Q'''}}-तर्कसंगत पूर्वआवधिक बिंदु, यानी, {{mvar|F}} में केवल सीमित रूप से कई पूर्व-आवधिक बिंदु हैं {{math|'''P'''<sup>1</sup>('''Q''')}}. प्रीपेरियोडिक बिंदुओं के लिए समान सीमा अनुमान<ref>{{cite journal | first1=Patrick | last1=Morton | first2=Joseph H. | last2=Silverman | title=तर्कसंगत कार्यों के तर्कसंगत आवधिक बिंदु| journal= [[International Mathematics Research Notices]] | volume=1994 | pages=97–110 | year=1994 | issue=2 | doi=10.1155/S1073792894000127 | mr=1264933| doi-access=free }}</ref> पैट्रिक मॉर्टन और जोसेफ एच. सिल्वरमैन का कहना है कि प्रीपेरियोडिक बिंदुओं की संख्या {{mvar|F}} में {{math|'''P'''<sup>1</sup>('''Q''')}} स्थिरांक से घिरा है जो केवल की डिग्री पर निर्भर करता है {{mvar|F}}. | ||
अधिक सामान्यतः, चलो {{math|''F'' : '''P'''<sup>''N''</sup> → '''P'''<sup>''N''</sup>}} | अधिक सामान्यतः, चलो {{math|''F'' : '''P'''<sup>''N''</sup> → '''P'''<sup>''N''</sup>}} संख्या क्षेत्र पर परिभाषित कम से कम दो डिग्री की रूपवाद हो {{mvar|K}}. नॉर्थकॉट प्रमेय ऐसा कहता है {{mvar|F}} में केवल सीमित रूप से कई पूर्व-आवधिक बिंदु हैं | ||
{{math|'''P'''<sup>''N''</sup>(''K'')}}, और सामान्य समान सीमा अनुमान कहता है कि प्रीपेरियोडिक बिंदुओं की संख्या | {{math|'''P'''<sup>''N''</sup>(''K'')}}, और सामान्य समान सीमा अनुमान कहता है कि प्रीपेरियोडिक बिंदुओं की संख्या | ||
{{math|'''P'''<sup>''N''</sup>(''K'')}} को केवल के संदर्भ में सीमित किया जा सकता है {{mvar|N}}, की डिग्री {{mvar|F}}, और की डिग्री {{mvar|K}} ऊपर {{math|'''Q'''}}. | {{math|'''P'''<sup>''N''</sup>(''K'')}} को केवल के संदर्भ में सीमित किया जा सकता है {{mvar|N}}, की डिग्री {{mvar|F}}, और की डिग्री {{mvar|K}} ऊपर {{math|'''Q'''}}. | ||
Line 40: | Line 39: | ||
समान सीमा अनुमान द्विघात बहुपदों के लिए भी ज्ञात नहीं है {{math|''F<sub>c</sub>''(''x'') {{=}} ''x''<sup>2</sup> + ''c''}} तर्कसंगत संख्याओं पर {{math|'''Q'''}}. इस मामले में पता चला है कि {{math|''F<sub>c</sub>''(''x'')}} अवधि चार के आवधिक बिंदु नहीं हो सकते,<ref>{{cite journal | first=Patrick | last=Morton | title=द्विघात मानचित्रों के आवर्त बिंदुओं के अंकगणितीय गुण| journal= [[Acta Arithmetica]] | volume=62 | issue=4 | pages=343–372 | year=1992 | mr=1199627| doi=10.4064/aa-62-4-343-372 | doi-access=free }}</ref> पाँच,<ref>{{cite journal | first1=Eugene V. | last1=Flynn | first2=Bjorn | last2=Poonen | first3=Edward F. | last3=Schaefer | title=Cycles of quadratic polynomials and rational points on a genus-2 curve | journal= [[Duke Mathematical Journal]] | volume=90 | issue=3 | pages=435–463 | year=1997 | mr=1480542 | doi=10.1215/S0012-7094-97-09011-6| arxiv=math/9508211 | s2cid=15169450 }}</ref> या छह,<ref>{{cite journal | first=Michael | last=Stoll | arxiv=0803.2836 | title=Rational 6-cycles under iteration of quadratic polynomials | year=2008 | journal= [[LMS Journal of Computation and Mathematics]] | volume=11 | doi=10.1112/S1461157000000644 | mr=2465796 | pages=367–380| bibcode=2008arXiv0803.2836S | s2cid=14082110 }}</ref> हालाँकि अवधि छह का परिणाम [[बिर्च स्विनर्टन-डायर अनुमान]] की वैधता पर निर्भर है|बिर्च और स्विनर्टन-डायर का अनुमान। [[मैं बिजुरान गया]] ने यह अनुमान लगाया है {{math|''F<sub>c</sub>''(''x'')}} किसी भी अवधि के तर्कसंगत आवधिक बिंदु तीन से अधिक बड़े नहीं हो सकते।<ref>{{cite journal | first=Bjorn | last=Poonen | title= The classification of rational preperiodic points of quadratic polynomials over {{math|'''Q'''}}: a refined conjecture | journal= [[Mathematische Zeitschrift]] | volume=228 | issue=1 | pages=11–29 | year=1998 | mr=1617987 | doi=10.1007/PL00004405| s2cid=118160396 }}</ref> | समान सीमा अनुमान द्विघात बहुपदों के लिए भी ज्ञात नहीं है {{math|''F<sub>c</sub>''(''x'') {{=}} ''x''<sup>2</sup> + ''c''}} तर्कसंगत संख्याओं पर {{math|'''Q'''}}. इस मामले में पता चला है कि {{math|''F<sub>c</sub>''(''x'')}} अवधि चार के आवधिक बिंदु नहीं हो सकते,<ref>{{cite journal | first=Patrick | last=Morton | title=द्विघात मानचित्रों के आवर्त बिंदुओं के अंकगणितीय गुण| journal= [[Acta Arithmetica]] | volume=62 | issue=4 | pages=343–372 | year=1992 | mr=1199627| doi=10.4064/aa-62-4-343-372 | doi-access=free }}</ref> पाँच,<ref>{{cite journal | first1=Eugene V. | last1=Flynn | first2=Bjorn | last2=Poonen | first3=Edward F. | last3=Schaefer | title=Cycles of quadratic polynomials and rational points on a genus-2 curve | journal= [[Duke Mathematical Journal]] | volume=90 | issue=3 | pages=435–463 | year=1997 | mr=1480542 | doi=10.1215/S0012-7094-97-09011-6| arxiv=math/9508211 | s2cid=15169450 }}</ref> या छह,<ref>{{cite journal | first=Michael | last=Stoll | arxiv=0803.2836 | title=Rational 6-cycles under iteration of quadratic polynomials | year=2008 | journal= [[LMS Journal of Computation and Mathematics]] | volume=11 | doi=10.1112/S1461157000000644 | mr=2465796 | pages=367–380| bibcode=2008arXiv0803.2836S | s2cid=14082110 }}</ref> हालाँकि अवधि छह का परिणाम [[बिर्च स्विनर्टन-डायर अनुमान]] की वैधता पर निर्भर है|बिर्च और स्विनर्टन-डायर का अनुमान। [[मैं बिजुरान गया]] ने यह अनुमान लगाया है {{math|''F<sub>c</sub>''(''x'')}} किसी भी अवधि के तर्कसंगत आवधिक बिंदु तीन से अधिक बड़े नहीं हो सकते।<ref>{{cite journal | first=Bjorn | last=Poonen | title= The classification of rational preperiodic points of quadratic polynomials over {{math|'''Q'''}}: a refined conjecture | journal= [[Mathematische Zeitschrift]] | volume=228 | issue=1 | pages=11–29 | year=1998 | mr=1617987 | doi=10.1007/PL00004405| s2cid=118160396 }}</ref> | ||
== कक्षाओं में पूर्णांक बिंदु == | |||
तर्कसंगत मानचित्र की कक्षा में अनंत संख्या में पूर्णांक हो सकते हैं। उदाहरण के लिए, यदि {{math|''F''(''x'')}} पूर्णांक गुणांकों वाला बहुपद है और यदि {{mvar|a}} पूर्णांक है, तो यह स्पष्ट है कि संपूर्ण कक्षा {{math|''O''<sub>''F''</sub>(''a'')}} पूर्णांकों से मिलकर बनता है। इसी प्रकार, यदि {{math|''F''(''x'')}} तर्कसंगत मानचित्र और कुछ पुनरावृत्त है {{math|''F''<sup>(''n'')</sup>(''x'')}} पूर्णांक गुणांक वाला बहुपद है, फिर प्रत्येक {{mvar|n}}-कक्षा में प्रवेश पूर्णांक है। इस घटना का उदाहरण मानचित्र है {{math|''F''(''x'') {{=}} ''x<sup>−d</sup>''}}, जिसका दूसरा पुनरावृत्त बहुपद है। यह पता चला है कि यह मात्र तरीका है जिससे कक्षा में अनंत संख्या में पूर्णांक हो सकते हैं। | |||
:प्रमेय.<ref>{{cite journal | first=Joseph H. | last=Silverman | title= पूर्णांक बिंदु, डायोफैंटाइन सन्निकटन, और तर्कसंगत मानचित्रों की पुनरावृत्ति| journal= [[Duke Mathematical Journal]] | volume=71 | issue=3 | pages=793–829 | year=1993 | mr=1240603 | doi=10.1215/S0012-7094-93-07129-3}}</ref> होने देना {{math|''F''(''x'') ∈ '''Q'''(''x'')}} कम से कम दो डिग्री का तर्कसंगत कार्य हो, और मान लें कि कोई पुनरावृत्त नहीं है<ref>An elementary theorem says that if {{math|''F''(''x'') ∈ '''C'''(''x'')}} and if some iterate of {{mvar|F}} is a polynomial, then already the second iterate is a polynomial.</ref> का {{mvar|F}} बहुपद है. होने देना {{math|''a'' ∈ '''Q'''}}. फिर परिक्रमा {{math|''O''<sub>''F''</sub>(''a'')}} में केवल सीमित संख्या में पूर्णांक होते हैं। | |||
:प्रमेय.<ref>{{cite journal | first=Joseph H. | last=Silverman | title= पूर्णांक बिंदु, डायोफैंटाइन सन्निकटन, और तर्कसंगत मानचित्रों की पुनरावृत्ति| journal= [[Duke Mathematical Journal]] | volume=71 | issue=3 | pages=793–829 | year=1993 | mr=1240603 | doi=10.1215/S0012-7094-93-07129-3}}</ref> होने देना {{math|''F''(''x'') ∈ '''Q'''(''x'')}} कम से कम दो डिग्री का | |||
==उपवर्गों पर स्थित गतिशील रूप से परिभाषित बिंदु== | ==उपवर्गों पर स्थित गतिशील रूप से परिभाषित बिंदु== | ||
[[ एस के बाद कोई झांग नहीं ]] के कारण सामान्य अनुमान हैं<ref>{{cite encyclopedia | first=Shou-Wu | last=Zhang | chapter=Distributions in algebraic dynamics | title=Differential Geometry: A Tribute to Professor S.-S. Chern | series=Surveys in Differential Geometry | volume=10 | publisher=International Press | location=Somerville, MA | year=2006 | pages=381–430 | mr=2408228 | doi=10.4310/SDG.2005.v10.n1.a9 | isbn=978-1-57146-116-2 | editor-first=Shing Tung | editor-last=Yau| doi-access=free }}</ref> | [[ एस के बाद कोई झांग नहीं ]] के कारण सामान्य अनुमान हैं<ref>{{cite encyclopedia | first=Shou-Wu | last=Zhang | chapter=Distributions in algebraic dynamics | title=Differential Geometry: A Tribute to Professor S.-S. Chern | series=Surveys in Differential Geometry | volume=10 | publisher=International Press | location=Somerville, MA | year=2006 | pages=381–430 | mr=2408228 | doi=10.4310/SDG.2005.v10.n1.a9 | isbn=978-1-57146-116-2 | editor-first=Shing Tung | editor-last=Yau| doi-access=free }}</ref> | ||
और अन्य उन उप-किस्मों से संबंधित हैं जिनमें अनंत रूप से कई आवधिक बिंदु होते हैं या जो अनंत रूप से कई बिंदुओं में | और अन्य उन उप-किस्मों से संबंधित हैं जिनमें अनंत रूप से कई आवधिक बिंदु होते हैं या जो अनंत रूप से कई बिंदुओं में कक्षा को काटते हैं। ये क्रमशः, मैनिन-ममफोर्ड अनुमान|मैनिन-ममफोर्ड अनुमान, [[मिशेल रेनॉड]] द्वारा सिद्ध, और फाल्टिंग्स प्रमेय|मोर्डेल-लैंग अनुमान, [[गर्ड फाल्टिंग्स]] द्वारा सिद्ध, के गतिशील एनालॉग हैं। निम्नलिखित अनुमान इस मामले में सामान्य सिद्धांत को दर्शाते हैं कि उपविविधता वक्र है। | ||
:अनुमान. होने देना {{math|''F'' : '''P'''<sup>''N''</sup> → '''P'''<sup>''N''</sup>}} | :अनुमान. होने देना {{math|''F'' : '''P'''<sup>''N''</sup> → '''P'''<sup>''N''</sup>}} रूपवाद हो और चलो {{math|''C'' ⊂ '''P'''<sup>''N''</sup>}} अपरिवर्तनीय बीजगणितीय वक्र बनें। मान लीजिए कि कोई बात है {{math|''P'' ∈ '''P'''<sup>''N''</sup>}} ऐसा है कि {{mvar|C}} कक्षा में अपरिमित रूप से कई बिंदु होते हैं {{math|''O<sub>F</sub>''(''P'')}}. तब {{mvar|C}} के लिए आवधिक है {{mvar|F}} इस अर्थ में कि कुछ पुनरावृति है {{math|''F''<sup>(''k'')</sup>}} का {{mvar|F}} वह मानचित्र {{mvar|C}} खुद को। | ||
==पी-एडिक गतिशीलता== | ==पी-एडिक गतिशीलता== | ||
पी-एडिक गतिशीलता का क्षेत्र|{{mvar|p}}-एडिक (या नॉनआर्किमिडीयन) गतिकी | पी-एडिक गतिशीलता का क्षेत्र|{{mvar|p}}-एडिक (या नॉनआर्किमिडीयन) गतिकी क्षेत्र पर शास्त्रीय गतिशील प्रश्नों का अध्ययन है {{mvar|K}} जो गैर-आर्किमिडीयन निरपेक्ष मान के संबंध में पूर्ण है। ऐसे फ़ील्ड के उदाहरण हैं फ़ील्ड {{mvar|p}}-आदि तर्क {{math|'''Q'''<sub>''p''</sub>}} और इसके बीजगणितीय समापन का पूरा होना {{math|'''C'''<sub>''p''</sub>}}. मीट्रिक चालू है {{mvar|K}} और समसामयिकता की मानक परिभाषा तर्कसंगत मानचित्र के फतौ सेट और जूलिया सेट की सामान्य परिभाषा की ओर ले जाती है {{math|''F''(''x'') ∈ ''K''(''x'')}}. जटिल और गैर-आर्किमिडीयन सिद्धांतों के बीच कई समानताएं हैं, लेकिन कई अंतर भी हैं। उल्लेखनीय अंतर यह है कि गैर-आर्किमिडीयन सेटिंग में, फ़तौ सेट हमेशा खाली नहीं होता है, लेकिन जूलिया सेट खाली हो सकता है। यह सम्मिश्र संख्याओं पर सत्य के विपरीत है। नॉनआर्किमिडीयन गतिकी को बर्कोविच अंतरिक्ष तक विस्तारित किया गया है,<ref>{{cite book | first1=Robert | last1=Rumely | author1-link=Robert Rumely | first2=Matthew | last2=Baker | arxiv=math/0407433 | title=बर्कोविच प्रक्षेप्य रेखा पर संभावित सिद्धांत और गतिशीलता| year=2010 | series=Mathematical Surveys and Monographs | volume=159 | publisher=American Mathematical Society | location=Providence, RI | isbn=978-0-8218-4924-8 | doi=10.1090/surv/159 | mr=2599526}}</ref> जो कॉम्पैक्ट कनेक्टेड स्पेस है जिसमें पूरी तरह से डिस्कनेक्ट किया गया गैर-स्थानीय रूप से कॉम्पैक्ट फ़ील्ड शामिल है {{math|'''C'''<sub>''p''</sub>}}. | ||
==सामान्यीकरण== | ==सामान्यीकरण== | ||
जिसमें अंकगणितीय गतिशीलता के प्राकृतिक सामान्यीकरण हैं {{math|'''Q'''}} और {{math|'''Q'''<sub>''p''</sub>}} को संख्या फ़ील्ड और उनके द्वारा प्रतिस्थापित किया जाता है {{mvar|p}}-आदिक पूर्णताएँ। | जिसमें अंकगणितीय गतिशीलता के प्राकृतिक सामान्यीकरण हैं {{math|'''Q'''}} और {{math|'''Q'''<sub>''p''</sub>}} को संख्या फ़ील्ड और उनके द्वारा प्रतिस्थापित किया जाता है {{mvar|p}}-आदिक पूर्णताएँ। अन्य प्राकृतिक सामान्यीकरण स्व-मानचित्रों को प्रतिस्थापित करना है {{math|'''P'''<sup>1</sup>}} या {{math|'''P'''<sup>''N''</sup>}} स्व-मानचित्रों के साथ (आकारिकी) {{math|''V'' → ''V''}} अन्य एफ़िन या प्रोजेक्टिव किस्म का। | ||
==अन्य क्षेत्र जिनमें संख्या सिद्धांत और गतिकी परस्पर क्रिया करते हैं== | ==अन्य क्षेत्र जिनमें संख्या सिद्धांत और गतिकी परस्पर क्रिया करते हैं== | ||
Line 70: | Line 68: | ||
* संख्या-सैद्धांतिक पुनरावृत्ति समस्याएं जिनका वर्णन किस्मों पर तर्कसंगत मानचित्रों द्वारा नहीं किया जाता है, उदाहरण के लिए, [[कोलाट्ज़ समस्या]]। | * संख्या-सैद्धांतिक पुनरावृत्ति समस्याएं जिनका वर्णन किस्मों पर तर्कसंगत मानचित्रों द्वारा नहीं किया जाता है, उदाहरण के लिए, [[कोलाट्ज़ समस्या]]। | ||
* वास्तविक संख्याओं के स्पष्ट अंकगणितीय विस्तार पर आधारित गतिशील प्रणालियों की प्रतीकात्मक कोडिंग।<ref>{{cite encyclopedia | last=Sidorov | first=Nikita | chapter=Arithmetic dynamics | zbl=1051.37007 | editor1-last=Bezuglyi | editor1-first=Sergey | editor2-last=Kolyada | editor2-first=Sergiy | title=Topics in dynamics and ergodic theory. Survey papers and mini-courses presented at the international conference and US-Ukrainian workshop on dynamical systems and ergodic theory, Katsiveli, Ukraine, August 21–30, 2000 | location=Cambridge | publisher=[[Cambridge University Press]] | isbn=0-521-53365-1 | series=Lond. Math. Soc. Lect. Note Ser. | volume=310 | pages=145–189 | year=2003 | mr=2052279| doi=10.1017/CBO9780511546716.010 | s2cid=15482676 }}</ref> | * वास्तविक संख्याओं के स्पष्ट अंकगणितीय विस्तार पर आधारित गतिशील प्रणालियों की प्रतीकात्मक कोडिंग।<ref>{{cite encyclopedia | last=Sidorov | first=Nikita | chapter=Arithmetic dynamics | zbl=1051.37007 | editor1-last=Bezuglyi | editor1-first=Sergey | editor2-last=Kolyada | editor2-first=Sergiy | title=Topics in dynamics and ergodic theory. Survey papers and mini-courses presented at the international conference and US-Ukrainian workshop on dynamical systems and ergodic theory, Katsiveli, Ukraine, August 21–30, 2000 | location=Cambridge | publisher=[[Cambridge University Press]] | isbn=0-521-53365-1 | series=Lond. Math. Soc. Lect. Note Ser. | volume=310 | pages=145–189 | year=2003 | mr=2052279| doi=10.1017/CBO9780511546716.010 | s2cid=15482676 }}</ref> | ||
[http://www.math.brown.edu/~jhs/ADSBIB.pdf अंकगणितीय गतिशीलता संदर्भ सूची] अंकगणितीय गतिशील विषयों की | [http://www.math.brown.edu/~jhs/ADSBIB.pdf अंकगणितीय गतिशीलता संदर्भ सूची] अंकगणितीय गतिशील विषयों की विस्तृत श्रृंखला को कवर करने वाले लेखों और पुस्तकों की विस्तृत सूची देती है। | ||
==यह भी देखें== | ==यह भी देखें== |
Revision as of 18:40, 25 July 2023
अंकगणितीय गतिशीलता[1] ऐसा क्षेत्र है जो गणित के दो क्षेत्रों, गतिशील प्रणालियों और संख्या सिद्धांत को जोड़ता है। प्रेरणा का हिस्सा जटिल गतिशीलता से आता है, जटिल विमान या अन्य जटिल बीजगणितीय किस्मों के स्व-मानचित्रों के पुनरावृत्त फ़ंक्शन का अध्ययन। अंकगणितीय गतिशीलता पूर्णांक बिंदु, तर्कसंगत बिंदु, पी-एडिक संख्या के संख्या-सैद्धांतिक गुणों का अध्ययन है|p-किसी बहुपद या परिमेय फलन के बार-बार प्रयोग के अंतर्गत आदिक, या बीजगणितीय बिंदु। मौलिक लक्ष्य अंतर्निहित ज्यामितीय संरचनाओं के संदर्भ में अंकगणितीय गुणों का वर्णन करना है।
वैश्विक अंकगणितीय गतिशीलता असतत गतिशील प्रणालियों की सेटिंग में शास्त्रीय डायोफैंटाइन ज्यामिति के एनालॉग्स का अध्ययन है, जबकि स्थानीय अंकगणितीय गतिशीलता, जिसे पी-एडिक गतिशीलता भी कहा जाता है | पी-एडिक या गैर-आर्किमिडीयन गतिशीलता, जटिल गतिशीलता का एनालॉग है जिसमें जटिल संख्याओं को प्रतिस्थापित करता है C ए द्वारा p-एडिक फ़ील्ड जैसे Qp या Cp और अराजक व्यवहार और फ़तौ सेट और जूलिया सेट का अध्ययन करता है।
निम्नलिखित तालिका डायोफैंटाइन समीकरणों, विशेष रूप से एबेलियन किस्मों और गतिशील प्रणालियों के बीच मोटे पत्राचार का वर्णन करती है:
Diophantine equations | Dynamical systems |
---|---|
Rational and integer points on a variety | Rational and integer points in an orbit |
Points of finite order on an abelian variety | Preperiodic points of a rational function |
असतत गतिशीलता से परिभाषाएँ और संकेतन
होने देना S सेट हो और चलो F : S → S से नक्शा हो S खुद को। की पुनरावृत्ति F अपने आप से n बार दर्शाया गया है
बिंदु P ∈ S आवधिक है यदि F(n)(P) = P कुछ के लिए n ≥ 1.
यदि बात पूर्व-आवधिक है F(k)(P) कुछ के लिए आवधिक है k ≥ 1.
(आगे) की कक्षा P सेट है
इस प्रकार P प्रीपेरियोडिक है यदि और केवल यदि इसकी कक्षा है OF(P) परिमित है.
पूर्वआवधिक बिंदुओं की संख्या सैद्धांतिक गुण
होने देना F(x) गुणांक के साथ कम से कम दो डिग्री का तर्कसंगत कार्य बनें Q. डगलस नॉर्थकॉट का प्रमेय[2] ऐसा कहते हैं F में केवल सीमित संख्या में ही अनेक हैं Q-तर्कसंगत पूर्वआवधिक बिंदु, यानी, F में केवल सीमित रूप से कई पूर्व-आवधिक बिंदु हैं P1(Q). प्रीपेरियोडिक बिंदुओं के लिए समान सीमा अनुमान[3] पैट्रिक मॉर्टन और जोसेफ एच. सिल्वरमैन का कहना है कि प्रीपेरियोडिक बिंदुओं की संख्या F में P1(Q) स्थिरांक से घिरा है जो केवल की डिग्री पर निर्भर करता है F.
अधिक सामान्यतः, चलो F : PN → PN संख्या क्षेत्र पर परिभाषित कम से कम दो डिग्री की रूपवाद हो K. नॉर्थकॉट प्रमेय ऐसा कहता है F में केवल सीमित रूप से कई पूर्व-आवधिक बिंदु हैं PN(K), और सामान्य समान सीमा अनुमान कहता है कि प्रीपेरियोडिक बिंदुओं की संख्या PN(K) को केवल के संदर्भ में सीमित किया जा सकता है N, की डिग्री F, और की डिग्री K ऊपर Q.
समान सीमा अनुमान द्विघात बहुपदों के लिए भी ज्ञात नहीं है Fc(x) = x2 + c तर्कसंगत संख्याओं पर Q. इस मामले में पता चला है कि Fc(x) अवधि चार के आवधिक बिंदु नहीं हो सकते,[4] पाँच,[5] या छह,[6] हालाँकि अवधि छह का परिणाम बिर्च स्विनर्टन-डायर अनुमान की वैधता पर निर्भर है|बिर्च और स्विनर्टन-डायर का अनुमान। मैं बिजुरान गया ने यह अनुमान लगाया है Fc(x) किसी भी अवधि के तर्कसंगत आवधिक बिंदु तीन से अधिक बड़े नहीं हो सकते।[7]
कक्षाओं में पूर्णांक बिंदु
तर्कसंगत मानचित्र की कक्षा में अनंत संख्या में पूर्णांक हो सकते हैं। उदाहरण के लिए, यदि F(x) पूर्णांक गुणांकों वाला बहुपद है और यदि a पूर्णांक है, तो यह स्पष्ट है कि संपूर्ण कक्षा OF(a) पूर्णांकों से मिलकर बनता है। इसी प्रकार, यदि F(x) तर्कसंगत मानचित्र और कुछ पुनरावृत्त है F(n)(x) पूर्णांक गुणांक वाला बहुपद है, फिर प्रत्येक n-कक्षा में प्रवेश पूर्णांक है। इस घटना का उदाहरण मानचित्र है F(x) = x−d, जिसका दूसरा पुनरावृत्त बहुपद है। यह पता चला है कि यह मात्र तरीका है जिससे कक्षा में अनंत संख्या में पूर्णांक हो सकते हैं।
- प्रमेय.[8] होने देना F(x) ∈ Q(x) कम से कम दो डिग्री का तर्कसंगत कार्य हो, और मान लें कि कोई पुनरावृत्त नहीं है[9] का F बहुपद है. होने देना a ∈ Q. फिर परिक्रमा OF(a) में केवल सीमित संख्या में पूर्णांक होते हैं।
उपवर्गों पर स्थित गतिशील रूप से परिभाषित बिंदु
एस के बाद कोई झांग नहीं के कारण सामान्य अनुमान हैं[10] और अन्य उन उप-किस्मों से संबंधित हैं जिनमें अनंत रूप से कई आवधिक बिंदु होते हैं या जो अनंत रूप से कई बिंदुओं में कक्षा को काटते हैं। ये क्रमशः, मैनिन-ममफोर्ड अनुमान|मैनिन-ममफोर्ड अनुमान, मिशेल रेनॉड द्वारा सिद्ध, और फाल्टिंग्स प्रमेय|मोर्डेल-लैंग अनुमान, गर्ड फाल्टिंग्स द्वारा सिद्ध, के गतिशील एनालॉग हैं। निम्नलिखित अनुमान इस मामले में सामान्य सिद्धांत को दर्शाते हैं कि उपविविधता वक्र है।
- अनुमान. होने देना F : PN → PN रूपवाद हो और चलो C ⊂ PN अपरिवर्तनीय बीजगणितीय वक्र बनें। मान लीजिए कि कोई बात है P ∈ PN ऐसा है कि C कक्षा में अपरिमित रूप से कई बिंदु होते हैं OF(P). तब C के लिए आवधिक है F इस अर्थ में कि कुछ पुनरावृति है F(k) का F वह मानचित्र C खुद को।
पी-एडिक गतिशीलता
पी-एडिक गतिशीलता का क्षेत्र|p-एडिक (या नॉनआर्किमिडीयन) गतिकी क्षेत्र पर शास्त्रीय गतिशील प्रश्नों का अध्ययन है K जो गैर-आर्किमिडीयन निरपेक्ष मान के संबंध में पूर्ण है। ऐसे फ़ील्ड के उदाहरण हैं फ़ील्ड p-आदि तर्क Qp और इसके बीजगणितीय समापन का पूरा होना Cp. मीट्रिक चालू है K और समसामयिकता की मानक परिभाषा तर्कसंगत मानचित्र के फतौ सेट और जूलिया सेट की सामान्य परिभाषा की ओर ले जाती है F(x) ∈ K(x). जटिल और गैर-आर्किमिडीयन सिद्धांतों के बीच कई समानताएं हैं, लेकिन कई अंतर भी हैं। उल्लेखनीय अंतर यह है कि गैर-आर्किमिडीयन सेटिंग में, फ़तौ सेट हमेशा खाली नहीं होता है, लेकिन जूलिया सेट खाली हो सकता है। यह सम्मिश्र संख्याओं पर सत्य के विपरीत है। नॉनआर्किमिडीयन गतिकी को बर्कोविच अंतरिक्ष तक विस्तारित किया गया है,[11] जो कॉम्पैक्ट कनेक्टेड स्पेस है जिसमें पूरी तरह से डिस्कनेक्ट किया गया गैर-स्थानीय रूप से कॉम्पैक्ट फ़ील्ड शामिल है Cp.
सामान्यीकरण
जिसमें अंकगणितीय गतिशीलता के प्राकृतिक सामान्यीकरण हैं Q और Qp को संख्या फ़ील्ड और उनके द्वारा प्रतिस्थापित किया जाता है p-आदिक पूर्णताएँ। अन्य प्राकृतिक सामान्यीकरण स्व-मानचित्रों को प्रतिस्थापित करना है P1 या PN स्व-मानचित्रों के साथ (आकारिकी) V → V अन्य एफ़िन या प्रोजेक्टिव किस्म का।
अन्य क्षेत्र जिनमें संख्या सिद्धांत और गतिकी परस्पर क्रिया करते हैं
संख्या सैद्धांतिक प्रकृति की कई अन्य समस्याएं हैं जो गतिशील प्रणालियों की सेटिंग में दिखाई देती हैं, जिनमें शामिल हैं:
- परिमित क्षेत्रों पर गतिशीलता।
- वैश्विक क्षेत्र पर गतिशीलता जैसे C(x).
- औपचारिक और की पुनरावृत्ति p-एडिक पावर श्रृंखला।
- झूठ समूहों पर गतिशीलता।
- गतिशील रूप से परिभाषित मॉड्यूलि रिक्त स्थान के अंकगणितीय गुण।
- समान वितरण[12] और अपरिवर्तनीय माप (गणित), विशेष रूप से पर p-आदिक स्थान.
- ड्रिनफेल्ड मॉड्यूल पर गतिशीलता।
- संख्या-सैद्धांतिक पुनरावृत्ति समस्याएं जिनका वर्णन किस्मों पर तर्कसंगत मानचित्रों द्वारा नहीं किया जाता है, उदाहरण के लिए, कोलाट्ज़ समस्या।
- वास्तविक संख्याओं के स्पष्ट अंकगणितीय विस्तार पर आधारित गतिशील प्रणालियों की प्रतीकात्मक कोडिंग।[13]
अंकगणितीय गतिशीलता संदर्भ सूची अंकगणितीय गतिशील विषयों की विस्तृत श्रृंखला को कवर करने वाले लेखों और पुस्तकों की विस्तृत सूची देती है।
यह भी देखें
- अंकगणित ज्यामिति
- अंकगणित टोपोलॉजी
- कॉम्बिनेटरिक्स और डायनेमिक सिस्टम
नोट्स और संदर्भ
- ↑ Silverman, Joseph H. (2007). गतिशील प्रणालियों का अंकगणित. Graduate Texts in Mathematics. Vol. 241. New York: Springer. doi:10.1007/978-0-387-69904-2. ISBN 978-0-387-69903-5. MR 2316407.
- ↑ Northcott, Douglas Geoffrey (1950). "बीजगणितीय विविधता पर आवधिक बिंदु". Annals of Mathematics. 51 (1): 167–177. doi:10.2307/1969504. JSTOR 1969504. MR 0034607.
- ↑ Morton, Patrick; Silverman, Joseph H. (1994). "तर्कसंगत कार्यों के तर्कसंगत आवधिक बिंदु". International Mathematics Research Notices. 1994 (2): 97–110. doi:10.1155/S1073792894000127. MR 1264933.
- ↑ Morton, Patrick (1992). "द्विघात मानचित्रों के आवर्त बिंदुओं के अंकगणितीय गुण". Acta Arithmetica. 62 (4): 343–372. doi:10.4064/aa-62-4-343-372. MR 1199627.
- ↑ Flynn, Eugene V.; Poonen, Bjorn; Schaefer, Edward F. (1997). "Cycles of quadratic polynomials and rational points on a genus-2 curve". Duke Mathematical Journal. 90 (3): 435–463. arXiv:math/9508211. doi:10.1215/S0012-7094-97-09011-6. MR 1480542. S2CID 15169450.
- ↑ Stoll, Michael (2008). "Rational 6-cycles under iteration of quadratic polynomials". LMS Journal of Computation and Mathematics. 11: 367–380. arXiv:0803.2836. Bibcode:2008arXiv0803.2836S. doi:10.1112/S1461157000000644. MR 2465796. S2CID 14082110.
- ↑ Poonen, Bjorn (1998). "The classification of rational preperiodic points of quadratic polynomials over Q: a refined conjecture". Mathematische Zeitschrift. 228 (1): 11–29. doi:10.1007/PL00004405. MR 1617987. S2CID 118160396.
- ↑ Silverman, Joseph H. (1993). "पूर्णांक बिंदु, डायोफैंटाइन सन्निकटन, और तर्कसंगत मानचित्रों की पुनरावृत्ति". Duke Mathematical Journal. 71 (3): 793–829. doi:10.1215/S0012-7094-93-07129-3. MR 1240603.
- ↑ An elementary theorem says that if F(x) ∈ C(x) and if some iterate of F is a polynomial, then already the second iterate is a polynomial.
- ↑ Zhang, Shou-Wu (2006). "Distributions in algebraic dynamics". In Yau, Shing Tung (ed.). Differential Geometry: A Tribute to Professor S.-S. Chern. Surveys in Differential Geometry. Vol. 10. Somerville, MA: International Press. pp. 381–430. doi:10.4310/SDG.2005.v10.n1.a9. ISBN 978-1-57146-116-2. MR 2408228.
- ↑ Rumely, Robert; Baker, Matthew (2010). बर्कोविच प्रक्षेप्य रेखा पर संभावित सिद्धांत और गतिशीलता. Mathematical Surveys and Monographs. Vol. 159. Providence, RI: American Mathematical Society. arXiv:math/0407433. doi:10.1090/surv/159. ISBN 978-0-8218-4924-8. MR 2599526.
- ↑ Granville, Andrew; Rudnick, Zeév, eds. (2007). संख्या सिद्धांत में समान वितरण, एक परिचय. NATO Science Series II: Mathematics, Physics and Chemistry. Vol. 237. Dordrecht: Springer Netherlands. doi:10.1007/978-1-4020-5404-4. ISBN 978-1-4020-5403-7. MR 2290490.
- ↑ Sidorov, Nikita (2003). "Arithmetic dynamics". In Bezuglyi, Sergey; Kolyada, Sergiy (eds.). Topics in dynamics and ergodic theory. Survey papers and mini-courses presented at the international conference and US-Ukrainian workshop on dynamical systems and ergodic theory, Katsiveli, Ukraine, August 21–30, 2000. Lond. Math. Soc. Lect. Note Ser. Vol. 310. Cambridge: Cambridge University Press. pp. 145–189. doi:10.1017/CBO9780511546716.010. ISBN 0-521-53365-1. MR 2052279. S2CID 15482676. Zbl 1051.37007.
अग्रिम पठन
- Lecture Notes on Arithmetic Dynamics Arizona Winter School, March 13–17, 2010, Joseph H. Silverman
- Chapter 15 of A first course in dynamics: with a panorama of recent developments, Boris Hasselblatt, A. B. Katok, Cambridge University Press, 2003, ISBN 978-0-521-58750-1
बाहरी संबंध
- The Arithmetic of Dynamical Systems home page
- Arithmetic dynamics bibliography
- Analysis and dynamics on the Berkovich projective line
- Book review of Joseph H. Silverman's "The Arithmetic of Dynamical Systems", reviewed by Robert L. Benedetto