अंकगणितीय गतिशीलता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 17: Line 17:


== असतत गतिशीलता से परिभाषाएँ और संकेतन ==
== असतत गतिशीलता से परिभाषाएँ और संकेतन ==
होने देना {{mvar|S}} सेट हो और चलो {{math|''F'' : ''S'' → ''S''}} से  नक्शा हो {{mvar|S}} खुद को। की पुनरावृत्ति {{mvar|F}} अपने आप से {{mvar|n}} बार दर्शाया गया है
मान लीजिए {{mvar|S}} समुच्चय है और मान लीजिए {{math|''F'' : ''S'' → ''S''}}, {{mvar|S}} से स्वयं का मानचित्र है। {{mvar|F}} की स्वयं के साथ {{mvar|n}} बार पुनरावृत्ति को दर्शाया गया है:


:<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|''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}}के लिए आवर्त है तो बिंदु पूर्वआवधिक है।


(आगे) की कक्षा {{mvar|P}} सेट है
{{mvar|P}} की (आगे की) कक्षा निर्धारित है:


:<math>O_F(P) = \left \{ P, F(P), F^{(2)}(P), F^{(3)}(P), \cdots\right\}.</math>
:<math>O_F(P) = \left \{ P, F(P), F^{(2)}(P), F^{(3)}(P), \cdots\right\}.</math>
इस प्रकार {{mvar|P}} प्रीपेरियोडिक है यदि और केवल यदि इसकी कक्षा है {{math|''O<sub>F</sub>''(''P'')}} परिमित है.
इस प्रकार {{mvar|P}} पूर्वआवधिक है यदि और केवल इसकी कक्षा {{math|''O<sub>F</sub>''(''P'')}} परिमित है।


==पूर्वआवधिक बिंदुओं की संख्या सैद्धांतिक गुण==
==पूर्वआवधिक बिंदुओं की संख्या सैद्धांतिक गुण==
{{see also|Uniform boundedness conjecture for torsion points|Uniform boundedness conjecture for rational points}}
{{see also|टोशन बिंदुओं के लिए समान सीमा अनुमान|तर्कसंगत बिंदुओं के लिए समान सीमा अनुमान}}
होने देना {{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>}} संख्या क्षेत्र पर परिभाषित कम से कम दो डिग्री की  रूपवाद हो {{mvar|K}}. नॉर्थकॉट प्रमेय ऐसा कहता है {{mvar|F}} में केवल सीमित रूप से कई पूर्व-आवधिक बिंदु हैं
मान लीजिए कि {{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> का कहना है कि {{math|'''P'''<sup>1</sup>('''Q''')}} में {{mvar|F}} के पूर्वआवधिक बिंदुओं की संख्या स्थिरांक से बंधी है जो केवल {{mvar|F}} की डिग्री पर निर्भर करती है।
{{math|'''P'''<sup>''N''</sup>(''K'')}}, और सामान्य समान सीमा अनुमान कहता है कि प्रीपेरियोडिक बिंदुओं की संख्या
{{math|'''P'''<sup>''N''</sup>(''K'')}} को केवल के संदर्भ में सीमित किया जा सकता है {{mvar|N}}, की डिग्री {{mvar|F}}, और की डिग्री {{mvar|K}} ऊपर {{math|'''Q'''}}.


समान सीमा अनुमान द्विघात बहुपदों के लिए भी ज्ञात नहीं है {{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'' : '''P'''<sup>''N''</sup> → '''P'''<sup>''N''</sup>}}  संख्या क्षेत्र {{mvar|K}} पर परिभाषित कम से कम दो डिग्री का रूपवाद है। नॉर्थकॉट प्रमेय का कहना है कि {{mvar|F}} के निकट {{math|'''P'''<sup>''N''</sup>(''K'')}} में केवल सीमित रूप से कई पूर्व-आवधिक बिंदु हैं, और सामान्य समान सीमा अनुमान कहता है कि {{math|'''P'''<sup>''N''</sup>(''K'')}} में पूर्व-आवधिक बिंदुओं की संख्या पूर्ण रूप से {{mvar|N}}, {{mvar|F}} की डिग्री और {{math|'''Q'''}} पर {{mvar|K}} की डिग्री के संदर्भ में सीमित हो सकती है।
 
समरूप सीमा अनुमान परिमेय संख्या {{math|'''Q'''}} पर द्विघात बहुपद {{math|''F<sub>c</sub>''(''x'') {{=}} ''x''<sup>2</sup> + ''c''}} के लिए भी ज्ञात नहीं है। इस स्थिति में यह ज्ञात है कि {{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>''}}, जिसका दूसरा पुनरावृत्त बहुपद है। यह पता चला है कि यह मात्र तरीका है जिससे कक्षा में अनंत संख्या में पूर्णांक हो सकते हैं।
तर्कसंगत मानचित्र की कक्षा में अनंत संख्या में पूर्णांक हो सकते हैं। उदाहरण के लिए, यदि {{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'')}} कम से कम दो डिग्री वाला परिमेय फलन है, और मान लें कि {{mvar|F}} का कोई पुनरावृत्त बहुपद नहीं है।<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> मान लीजिए {{math|''a'' ∈ '''Q'''}} है। तब कक्षा {{math|''O''<sub>''F''</sub>(''a'')}} में केवल सीमित संख्या में पूर्णांक होते हैं।


==उपवर्गों पर स्थित गतिशील रूप से परिभाषित बिंदु==
==उपवर्गों पर स्थित गतिशील रूप से परिभाषित बिंदु==
Line 51: Line 50:


==पी-एडिक गतिशीलता==
==पी-एडिक गतिशीलता==
पी-एडिक गतिशीलता का क्षेत्र|{{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>}}.
पी-एडिक गतिशीलता का क्षेत्र|{{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>}}.


==सामान्यीकरण==
==सामान्यीकरण==
Line 57: Line 56:


==अन्य क्षेत्र जिनमें संख्या सिद्धांत और गतिकी परस्पर क्रिया करते हैं==
==अन्य क्षेत्र जिनमें संख्या सिद्धांत और गतिकी परस्पर क्रिया करते हैं==
संख्या सैद्धांतिक प्रकृति की कई अन्य समस्याएं हैं जो गतिशील प्रणालियों की सेटिंग में दिखाई देती हैं, जिनमें शामिल हैं:
संख्या सैद्धांतिक प्रकृति की कई अन्य समस्याएं हैं जो गतिशील प्रणालियों की सेटिंग में दिखाई देती हैं, जिनमें सम्मिलित हैं:


* [[परिमित क्षेत्र]]ों पर गतिशीलता।
* [[परिमित क्षेत्र]]ों पर गतिशीलता।

Revision as of 10:18, 26 July 2023

अंकगणितीय गतिशीलता[1] ऐसा क्षेत्र है जो गणित के दो क्षेत्रों, गतिशील प्रणालियों और संख्या सिद्धांत को जोड़ता है। प्रेरणा का समिष्ट गतिशीलता से आता है, समिष्ट तल या अन्य समिष्ट बीजगणितीय विविधता के स्व-मानचित्रों की पुनरावृत्ति का अध्ययन है। अंकगणितीय गतिशीलता बहुपद या परिमेय फलन के बार-बार प्रयोग के अंतर्गत पूर्णांक, तर्कसंगत, p-एडिक, या बीजगणितीय बिंदुओं की संख्या-सैद्धांतिक गुणों का अध्ययन है। मौलिक लक्ष्य अंतर्निहित ज्यामितीय संरचनाओं के संदर्भ में अंकगणितीय गुणों का वर्णन करना है।

वैश्विक अंकगणितीय गतिशीलता असतत गतिशील प्रणालियों की सेटिंग में शास्त्रीय डायोफैंटाइन ज्यामिति के एनालॉग्स का अध्ययन है, जबकि स्थानीय अंकगणितीय गतिशीलता, जिसे p-एडिक या गैर-आर्किमिडीयन गतिशीलता भी कहा जाता है, समिष्ट गतिशीलता का एनालॉग है जिसमें कोई समिष्ट संख्या C को Qp या Cp जैसे p-एडिक क्षेत्र द्वारा प्रतिस्थापित करता है और अराजक व्यवहार और फ़तौ और जूलिया सेट का अध्ययन करता है।

निम्नलिखित तालिका डायोफैंटाइन समीकरणों, विशेष रूप से एबेलियन विविधता और गतिशील प्रणालियों के मध्य रफ पत्राचार का वर्णन करती है:

डायोफैंटाइन समीकरण गतिशील प्रणालियाँ
विविधता पर तर्कसंगत और पूर्णांक बिंदु कक्षा में तर्कसंगत और पूर्णांक बिंदु
एबेलियन विविधता पर सीमित क्रम के बिंदु तर्कसंगत फलन के पूर्व-आवधिक बिंदु

असतत गतिशीलता से परिभाषाएँ और संकेतन

मान लीजिए S समुच्चय है और मान लीजिए F : SS, S से स्वयं का मानचित्र है। F की स्वयं के साथ n बार पुनरावृत्ति को दर्शाया गया है:

बिंदु PS आवर्त है यदि 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] का कहना है कि P1(Q) में F के पूर्वआवधिक बिंदुओं की संख्या स्थिरांक से बंधी है जो केवल F की डिग्री पर निर्भर करती है।

सामान्यतः, मान लीजिए कि F : PNPN संख्या क्षेत्र K पर परिभाषित कम से कम दो डिग्री का रूपवाद है। नॉर्थकॉट प्रमेय का कहना है कि F के निकट PN(K) में केवल सीमित रूप से कई पूर्व-आवधिक बिंदु हैं, और सामान्य समान सीमा अनुमान कहता है कि PN(K) में पूर्व-आवधिक बिंदुओं की संख्या पूर्ण रूप से N, F की डिग्री और Q पर K की डिग्री के संदर्भ में सीमित हो सकती है।

समरूप सीमा अनुमान परिमेय संख्या Q पर द्विघात बहुपद Fc(x) = x2 + c के लिए भी ज्ञात नहीं है। इस स्थिति में यह ज्ञात है कि 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) कम से कम दो डिग्री वाला परिमेय फलन है, और मान लें कि F का कोई पुनरावृत्त बहुपद नहीं है।[9] मान लीजिए aQ है। तब कक्षा OF(a) में केवल सीमित संख्या में पूर्णांक होते हैं।

उपवर्गों पर स्थित गतिशील रूप से परिभाषित बिंदु

एस के बाद कोई झांग नहीं के कारण सामान्य अनुमान हैं[10] और अन्य उन उप-किस्मों से संबंधित हैं जिनमें अनंत रूप से कई आवधिक बिंदु होते हैं या जो अनंत रूप से कई बिंदुओं में कक्षा को काटते हैं। ये क्रमशः, मैनिन-ममफोर्ड अनुमान|मैनिन-ममफोर्ड अनुमान, मिशेल रेनॉड द्वारा सिद्ध, और फाल्टिंग्स प्रमेय|मोर्डेल-लैंग अनुमान, गर्ड फाल्टिंग्स द्वारा सिद्ध, के गतिशील एनालॉग हैं। निम्नलिखित अनुमान इस मामले में सामान्य सिद्धांत को दर्शाते हैं कि उपविविधता वक्र है।

अनुमान. होने देना F : PNPN रूपवाद हो और चलो CPN अपरिवर्तनीय बीजगणितीय वक्र बनें। मान लीजिए कि कोई बात है PPN ऐसा है कि 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 स्व-मानचित्रों के साथ (आकारिकी) VV अन्य एफ़िन या प्रोजेक्टिव किस्म का।

अन्य क्षेत्र जिनमें संख्या सिद्धांत और गतिकी परस्पर क्रिया करते हैं

संख्या सैद्धांतिक प्रकृति की कई अन्य समस्याएं हैं जो गतिशील प्रणालियों की सेटिंग में दिखाई देती हैं, जिनमें सम्मिलित हैं:

  • परिमित क्षेत्रों पर गतिशीलता।
  • वैश्विक क्षेत्र पर गतिशीलता जैसे C(x).
  • औपचारिक और की पुनरावृत्ति p-एडिक पावर श्रृंखला।
  • झूठ समूहों पर गतिशीलता।
  • गतिशील रूप से परिभाषित मॉड्यूलि रिक्त स्थान के अंकगणितीय गुण।
  • समान वितरण[12] और अपरिवर्तनीय माप (गणित), विशेष रूप से पर p-आदिक स्थान.
  • ड्रिनफेल्ड मॉड्यूल पर गतिशीलता।
  • संख्या-सैद्धांतिक पुनरावृत्ति समस्याएं जिनका वर्णन किस्मों पर तर्कसंगत मानचित्रों द्वारा नहीं किया जाता है, उदाहरण के लिए, कोलाट्ज़ समस्या
  • वास्तविक संख्याओं के स्पष्ट अंकगणितीय विस्तार पर आधारित गतिशील प्रणालियों की प्रतीकात्मक कोडिंग।[13]

अंकगणितीय गतिशीलता संदर्भ सूची अंकगणितीय गतिशील विषयों की विस्तृत श्रृंखला को कवर करने वाले लेखों और पुस्तकों की विस्तृत सूची देती है।

यह भी देखें

नोट्स और संदर्भ

  1. 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.
  2. Northcott, Douglas Geoffrey (1950). "बीजगणितीय विविधता पर आवधिक बिंदु". Annals of Mathematics. 51 (1): 167–177. doi:10.2307/1969504. JSTOR 1969504. MR 0034607.
  3. Morton, Patrick; Silverman, Joseph H. (1994). "तर्कसंगत कार्यों के तर्कसंगत आवधिक बिंदु". International Mathematics Research Notices. 1994 (2): 97–110. doi:10.1155/S1073792894000127. MR 1264933.
  4. Morton, Patrick (1992). "द्विघात मानचित्रों के आवर्त बिंदुओं के अंकगणितीय गुण". Acta Arithmetica. 62 (4): 343–372. doi:10.4064/aa-62-4-343-372. MR 1199627.
  5. 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.
  6. 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.
  7. 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.
  8. Silverman, Joseph H. (1993). "पूर्णांक बिंदु, डायोफैंटाइन सन्निकटन, और तर्कसंगत मानचित्रों की पुनरावृत्ति". Duke Mathematical Journal. 71 (3): 793–829. doi:10.1215/S0012-7094-93-07129-3. MR 1240603.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.

अग्रिम पठन


बाहरी संबंध