उष्णकटिबंधीय ज्यामिति: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(13 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{short description|Skeletonized version of algebraic geometry}}
{{short description|Skeletonized version of algebraic geometry}}
[[index.php?title=File:Cubique_tropicale_min.svg|right|192x192px]]
 
{{Use dmy dates|date=August 2013}}
गणित में, उष्णकटिबंधीय ज्यामिति बहुपदों और उनके [[बीजगणितीय ज्यामिति]] गुणों का अध्ययन है जब जोड़ को न्यूनीकरण से बदल दिया जाता है और गुणन को साधारण जोड़ से बदल दिया जाता है:
गणित में, उष्णकटिबंधीय ज्यामिति बहुपदों और उनके [[बीजगणितीय ज्यामिति]] का अध्ययन है जब जोड़ को न्यूनीकरण से बदल दिया जाता है और गुणन को साधारण जोड़ से बदल दिया जाता है:


: <math>x \oplus y = \min\{x, y \},</math>
: <math>x \oplus y = \min\{x, y \},</math>
: <math>x \otimes y = x + y.</math>
: <math>x \otimes y = x + y.</math>
तो उदाहरण के लिए, शास्त्रीय बहुपद <math>x^3 + 2xy + y^4</math> बन जाएगा <math>\min\{x+x+x,\;  2+x+y,\;  y+y+y+y\}</math>. इस तरह के बहुपद और उनके समाधान में अनुकूलन समस्याओं में महत्वपूर्ण अनुप्रयोग हैं, उदाहरण के लिए ट्रेनों के नेटवर्क के लिए प्रस्थान समय को अनुकूलित करने की समस्या।
उदाहरण के लिए, क्लासिकल बहुपद <math>x^3 + 2xy + y^4</math> बन जाएगा <math>\min\{x+x+x,\;  2+x+y,\;  y+y+y+y\}</math>. इस तरह के बहुपद और उनके समाधान में अनुकूलन समस्याओं में महत्वपूर्ण अनुप्रयोग हैं, उदाहरण के लिए, ट्रेनों के नेटवर्क के लिए प्रस्थान समय को अनुकूलित करने की समस्या।


उष्णकटिबंधीय ज्यामिति बीजगणितीय ज्यामिति का एक प्रकार है जिसमें बहुपद रेखांकन टुकड़े-टुकड़े रैखिक मैनिफोल्ड मेश के समान होते हैं, और जिसमें संख्या एक क्षेत्र के बजाय [[उष्णकटिबंधीय सेमिरिंग]] से संबंधित होती है। क्योंकि शास्त्रीय और उष्णकटिबंधीय ज्यामिति निकट से संबंधित हैं, परिणाम और विधियों को उनके बीच परिवर्तित किया जा सकता है। बीजगणितीय किस्मों को एक उष्णकटिबंधीय समकक्ष के लिए मैप किया जा सकता है और चूंकि यह प्रक्रिया अभी भी मूल विविधता के बारे में कुछ ज्यामितीय जानकारी को बरकरार रखती है, इसका उपयोग उपकरण का उपयोग करके बीजगणितीय ज्यामिति से शास्त्रीय परिणामों को साबित करने और सामान्य बनाने में मदद के लिए किया जा सकता है। उष्णकटिबंधीय ज्यामिति का।<ref>{{Cite web|url=https://www.quantamagazine.org/tinkertoy-models-produce-new-geometric-insights-20180905/|title=Tinkertoy मॉडल नई ज्यामितीय अंतर्दृष्टि उत्पन्न करते हैं|last=Hartnett|first=Kevin|website=[[Quanta Magazine]]|access-date=2018-12-12}}</ref>
उष्णकटिबंधीय ज्यामिति एक प्रकार की बीजगणितीय ज्यामिति है जिसमें बहुपद रेखांकन टुकड़े-टुकड़े रेखीय जाल के समान होते हैं, और जिसमें संख्याएँ एक क्षेत्र के बजाय [[उष्णकटिबंधीय सेमिरिंग]] से संबंधित होती हैं। क्योंकि शास्त्रीय और उष्णकटिबंधीय ज्यामिति निकट से संबंधित हैं, परिणाम और विधियों को उनके बीच परिवर्तित किया जा सकता है। बीजगणितीय किस्मों को एक उष्णकटिबंधीय समकक्ष के लिए मैप किया जा सकता है और, चूंकि यह प्रक्रिया अभी भी मूल विविधता के बारे में कुछ ज्यामितीय जानकारी को बरकरार रखती है, इसका उपयोग बीजगणितीय ज्यामिति से शास्त्रीय परिणामों को साबित करने और सामान्य बनाने में मदद के लिए किया जा सकता है, जैसे ब्रिल-नोथेर प्रमेय, उष्णकटिबंधीय ज्यामिति से उपकरण का उपयोग करना है।<ref>{{Cite web|url=https://www.quantamagazine.org/tinkertoy-models-produce-new-geometric-insights-20180905/|title=Tinkertoy मॉडल नई ज्यामितीय अंतर्दृष्टि उत्पन्न करते हैं|last=Hartnett|first=Kevin|website=[[Quanta Magazine]]|access-date=2018-12-12}}</ref><!---
<!---
It a relatively new area in [[mathematics]], which might loosely be described as a [[piecewise linear manifold|piecewise linear]] or skeletonized version of [[algebraic geometry]], using the [[tropical semiring]] instead of a field.!--->
It a relatively new area in [[mathematics]], which might loosely be described as a [[piecewise linear manifold|piecewise linear]] or skeletonized version of [[algebraic geometry]], using the [[tropical semiring]] instead of a field.!--->


== इतिहास ==
== इतिहास ==
विभिन्न क्षेत्रों में काम कर रहे गणितज्ञों द्वारा एक ही अंकन का उपयोग करके उष्णकटिबंधीय विश्लेषण के मूल विचारों को स्वतंत्र रूप से विकसित किया गया था।<ref>See {{Cite book|last=Cuninghame-Green|first=Raymond A.| year=1979|title=Minimax algebra|journal=Lecture Notes in Economics and Mathematical Sciences|volume=166|publisher=Springer |isbn=978-3-540-09113-4 |postscript=none }} and references therein.</ref> उष्णकटिबंधीय ज्यामिति के केंद्रीय विचार पहले के कई कार्यों में विभिन्न रूपों में प्रकट हुए। उदाहरण के लिए, [[विक्टर पावलोविच मैस्लोव]] ने एकीकरण की प्रक्रिया का एक उष्णकटिबंधीय संस्करण पेश किया। उन्होंने यह भी देखा कि लीजेंड्रे परिवर्तन और हैमिल्टन-जैकोबी समीकरण के समाधान उष्णकटिबंधीय अर्थों में रैखिक संचालन हैं।<ref>{{Cite journal|last=Maslov|first=Victor|author-link=Victor Pavlovich Maslov|year=1987|title=अनुकूलन समस्याओं के लिए एक नए अध्यारोपण सिद्धांत पर|journal=[[Russian Mathematical Surveys]]|volume=42:3|issue=3|pages=43–54|bibcode=1987RuMaS..42...43M|doi=10.1070/RM1987v042n03ABEH001439}}</ref> हालाँकि, 1990 के दशक के उत्तरार्ध से ही सिद्धांत की मूल परिभाषाओं को समेकित करने का प्रयास किया गया है। यह [[मैक्सिम कोंटेसेविच]] के विचारों के साथ [[गणनात्मक ज्यामिति]] के लिए इसके अनुप्रयोग से प्रेरित था<ref>{{cite arXiv|last1=Kontsevich|first1=Maxim|author-link=Maxim Kontsevich|last2=Soibelman|first2=Yan|date=2000-11-07|title=होमोलॉजिकल मिरर समरूपता और टोरस फ़िब्रेशन|eprint=math/0011041}}</ref> और ग्रिगोरी मिखाल्किन द्वारा काम करता है<ref>{{cite journal|last=Mikhalkin|first=Grigory|date=2005|title=R<sup>2</sup> में परिगणनात्मक उष्णकटिबंधीय बीजगणितीय ज्यामिति|url=http://www.ams.org/journals/jams/2005-18-02/S0894-0347-05-00477-7/S0894-0347-05-00477-7.pdf |journal=[[Journal of the American Mathematical Society]] |volume=18 |issue=2 |pages=313–377|arxiv=math/0312530|doi=10.1090/S0894-0347-05-00477-7}}</ref> दूसरों के बीच में।
विभिन्न क्षेत्रों में काम कर रहे गणितज्ञों द्वारा एक ही अंकन का उपयोग करके उष्णकटिबंधीय विश्लेषण के मूल विचारों को स्वतंत्र रूप से विकसित किया गया था।<ref>See {{Cite book|last=Cuninghame-Green|first=Raymond A.| year=1979|title=Minimax algebra|journal=Lecture Notes in Economics and Mathematical Sciences|volume=166|publisher=Springer |isbn=978-3-540-09113-4 |postscript=none }} and references therein.</ref> उष्णकटिबंधीय ज्यामिति के केंद्रीय विचार पहले के कई कार्यों में विभिन्न रूपों में प्रकट हुए। उदाहरण के लिए, [[विक्टर पावलोविच मैस्लोव]] ने एकीकरण की प्रक्रिया का एक उष्णकटिबंधीय संस्करण पेश किया। उन्होंने यह भी देखा कि लीजेंड्रे परिवर्तन और हैमिल्टन-जैकोबी समीकरण के समाधान उष्णकटिबंधीय अर्थों में रैखिक संचालन हैं।<ref>{{Cite journal|last=Maslov|first=Victor|author-link=Victor Pavlovich Maslov|year=1987|title=अनुकूलन समस्याओं के लिए एक नए अध्यारोपण सिद्धांत पर|journal=[[Russian Mathematical Surveys]]|volume=42:3|issue=3|pages=43–54|bibcode=1987RuMaS..42...43M|doi=10.1070/RM1987v042n03ABEH001439}}</ref> हालाँकि, 1990 के दशक के उत्तरार्ध से ही सिद्धांत की मूल परिभाषाओं को समेकित करने का प्रयास किया गया है। यह गणितीय  [[गणनात्मक ज्यामिति]] के लिए अपने आवेदन से प्रेरित था, जिसमें [[मैक्सिम कोंटेसेविच]] <ref>{{cite arXiv|last1=Kontsevich|first1=Maxim|author-link=Maxim Kontsevich|last2=Soibelman|first2=Yan|date=2000-11-07|title=होमोलॉजिकल मिरर समरूपता और टोरस फ़िब्रेशन|eprint=math/0011041}}</ref> के विचार और ग्रिगोरी मिखाल्किन<ref>{{cite journal|last=Mikhalkin|first=Grigory|date=2005|title=R<sup>2</sup> में परिगणनात्मक उष्णकटिबंधीय बीजगणितीय ज्यामिति|url=http://www.ams.org/journals/jams/2005-18-02/S0894-0347-05-00477-7/S0894-0347-05-00477-7.pdf |journal=[[Journal of the American Mathematical Society]] |volume=18 |issue=2 |pages=313–377|arxiv=math/0312530|doi=10.1090/S0894-0347-05-00477-7}}</ref> के काम सम्मिलित थे।


विशेषण [[उष्णकटिबंधीय]] को फ्रांसीसी गणितज्ञों द्वारा [[हंगरी]] में जन्मे [[ब्राज़िल]] के कंप्यूटर वैज्ञानिक [[इमरे साइमन]] के सम्मान में गढ़ा गया था, जिन्होंने मैदान पर लिखा था। जीन-एरिक पिन ने इस सिक्के का श्रेय [[डोमिनिक पेरिन]] को दिया है,<ref name="Pin1998">{{cite book |last=Pin |first=Jean-Eric |chapter=Tropical semirings |editor-last=Gunawardena |editor-first=J. |title=अक्षमता|chapter-url=https://hal.archives-ouvertes.fr/hal-00113779/file/Tropical.pdf |publisher=[[Cambridge University Press]] |series=Publications of the Newton Institute |volume=11 |year=1998 |pages=50–69 |doi=10.1017/CBO9780511662508.004 |isbn=9780511662508}}</ref> जबकि साइमन स्वयं इस शब्द का श्रेय क्रिश्चियन चॉफ्रुट को देता है।<ref name="Simon1988">{{Cite book |doi = 10.1007/BFb0017135 |chapter = Recognizable sets with multiplicities in the tropical semiring |title = कंप्यूटर विज्ञान 1988 की गणितीय नींव|volume = 324 |pages = 107–120 |series = [[Lecture Notes in Computer Science]] |year = 1988 |last1 = Simon |first1 = Imre |isbn = 978-3-540-50110-7}}</ref>
विशेषण [[उष्णकटिबंधीय]] फ्रांसीसी गणितज्ञों द्वारा [[हंगरी]] में जन्मे [[ब्राज़िल]] के कंप्यूटर वैज्ञानिक [[इमरे साइमन]] के सम्मान में गढ़ा गया था, जिन्होंने मैदान पर लिखा था। जीन-एरिक पिन सिक्के का श्रेय [[डोमिनिक पेरिन]] को देते हैं,<ref name="Pin1998">{{cite book |last=Pin |first=Jean-Eric |chapter=Tropical semirings |editor-last=Gunawardena |editor-first=J. |title=अक्षमता|chapter-url=https://hal.archives-ouvertes.fr/hal-00113779/file/Tropical.pdf |publisher=[[Cambridge University Press]] |series=Publications of the Newton Institute |volume=11 |year=1998 |pages=50–69 |doi=10.1017/CBO9780511662508.004 |isbn=9780511662508}}</ref> जबकि साइमन स्वयं इस शब्द का श्रेय क्रिश्चियन चोफ्रूट को देते हैं।<ref name="Simon1988">{{Cite book |doi = 10.1007/BFb0017135 |chapter = Recognizable sets with multiplicities in the tropical semiring |title = कंप्यूटर विज्ञान 1988 की गणितीय नींव|volume = 324 |pages = 107–120 |series = [[Lecture Notes in Computer Science]] |year = 1988 |last1 = Simon |first1 = Imre |isbn = 978-3-540-50110-7}}</ref>  


== बीजगणित पृष्ठभूमि ==
{{details|उष्णकटिबंधीय सेमिरिंग}}


== बीजगणित पृष्ठभूमि ==
उष्णकटिबंधीय ज्यामिति उष्णकटिबंधीय सेमिरिंग पर आधारित है। अधिकतम या न्यूनतम सम्मेलन के आधार पर इसे दो तरीकों से परिभाषित किया गया है।
{{details|Tropical semiring}}
उष्णकटिबंधीय ज्यामिति उष्णकटिबंधीय [[मोटी हो जाओ]] पर आधारित है। अधिकतम या न्यूनतम सम्मेलन के आधार पर इसे दो तरीकों से परिभाषित किया गया है।


मिन ट्रॉपिकल सेमिरिंग सेमिरिंग है <math>(\R \cup \{+\infty\}, \oplus, \otimes)</math>, संचालन के साथ:
मिनि ट्रॉपिकल सेमीरिंग सेमीरिंग है <math>(\R \cup \{+\infty\}, \oplus, \otimes)</math>, संचालन के साथ:
: <math>x \oplus y = \min\{x, y \},</math>
: <math>x \oplus y = \min\{x, y \},</math>
: <math>x \otimes y = x + y.</math>
: <math>x \otimes y = x + y.</math>
Line 34: Line 31:
के लिए पहचान तत्व <math>\oplus</math> है <math>-\infty</math>, और पहचान तत्व के लिए <math>\otimes</math> 0 है।
के लिए पहचान तत्व <math>\oplus</math> है <math>-\infty</math>, और पहचान तत्व के लिए <math>\otimes</math> 0 है।


ये सेमीरिंग आइसोमॉर्फिक हैं, नकार के तहत <math>x \mapsto -x</math>, और आम तौर पर इनमें से एक को चुना जाता है और केवल उष्णकटिबंधीय सेमिरिंग के रूप में संदर्भित किया जाता है। लेखकों और उपक्षेत्रों के बीच परंपराएं भिन्न होती हैं: कुछ न्यूनतम सम्मेलन का उपयोग करते हैं, कुछ अधिकतम सम्मेलन का उपयोग करते हैं।
ये सेमी-रिंग्स आइसोमॉर्फिक हैं, निषेध के तहत <math>x \mapsto -x</math>, और सामान्य तौर पर उनमें से एक को चुना जाता है और इसे केवल एक ट्रॉपिकल सेमी-रिंग कहा जाता है। सम्मेलन लेखकों और उपक्षेत्रों के बीच भिन्न होते हैं: कुछ न्यूनतम सम्मेलन का उपयोग करते हैं और अन्य अधिकतम सम्मेलन का उपयोग करते हैं।


ट्रॉपिकल सेमिरिंग ऑपरेशंस मॉडल कैसे [[मूल्यांकन (बीजगणित)]] एक [[मूल्यवान क्षेत्र]] में जोड़ और गुणा के तहत व्यवहार करता है।
ट्रॉपिकल सेमिरिंग ऑपरेशंस मॉडल यह है कि कैसे[[मूल्यांकन (बीजगणित)]] एक [[मूल्यवान क्षेत्र]] में जोड़ और गुणा के तहत व्यवहार करता है।


उष्णकटिबंधीय ज्यामिति (न्यूनतम सम्मेलन के साथ) में आने वाले कुछ सामान्य मूल्यवान क्षेत्र हैं:
उष्णकटिबंधीय ज्यामिति (न्यूनतम सम्मेलन के साथ) में आने वाले कुछ सामान्य मूल्यवान क्षेत्र हैं:


* <math>\Q</math> या <math>\Complex</math> तुच्छ मूल्यांकन के साथ, <math>v(a) = 0</math> सभी के लिए <math>a\ne  0</math>.
* <math>\Q</math> या <math>\Complex</math> तुच्छ मूल्यांकन के साथ, <math>v(a) = 0</math> सभी के लिए <math>a\ne  0</math>.
* <math>\Q</math> या p-adic मूल्यांकन के साथ इसका विस्तार, <math>v_p(p^n a/b) = n</math> ए और बी कोप्राइम से पी के लिए।
* <math>\Q</math> या p-adic मूल्यांकन के साथ इसका विस्तार, <math>v_p(p^n a/b) = n</math> a और b कोप्राइम से p के लिए।
* [[लॉरेंट श्रृंखला]] का क्षेत्र <math>\Complex(\!(t)\!)</math> (पूर्णांक शक्तियाँ), या (जटिल) [[प्यूसेक्स श्रृंखला]] का क्षेत्र <math>\Complex\{\!\{t\}\!\}</math>, श्रृंखला में दिखाई देने वाले टी के सबसे छोटे एक्सपोनेंट को लौटाने वाले मूल्यांकन के साथ।
* [[लॉरेंट श्रृंखला]] का क्षेत्र <math>\Complex(\!(t)\!)</math> (पूर्णांक शक्तियाँ), या (जटिल) [[प्यूसेक्स श्रृंखला]] का क्षेत्र <math>\Complex\{\!\{t\}\!\}</math>, श्रृंखला में प्रदर्शित होने वाले t के सबसे छोटे घातांक के मूल्यांकन के साथ।


== उष्णकटिबंधीय बहुपद ==
== उष्णकटिबंधीय बहुपद ==
एक उष्ण कटिबंधीय बहुपद एक फलन है <math>F\colon \R^n\to \R</math> इसे मोनोमियल की परिमित संख्या के उष्णकटिबंधीय योग के रूप में व्यक्त किया जा सकता है। एक मोनोमियल शब्द एक स्थिर और चर का एक उष्णकटिबंधीय उत्पाद (और/या भागफल) है <math>X_1,\ldots , X_n</math>. इस प्रकार एक उष्णकटिबंधीय बहुपद F, Affine परिवर्तन के परिमित संग्रह का न्यूनतम है | affine-रैखिक कार्य जिसमें चर में पूर्णांक गुणांक होते हैं, इसलिए यह अवतल कार्य, [[निरंतर कार्य]] और टुकड़े-टुकड़े रैखिक कार्य है।<ref name=SpeyerSturmfels2009>{{citation|first1=David|last1=Speyer |first2=Bernd|last2=Sturmfels|author2-link= Bernd Sturmfels |title=Tropical mathematics|journal=Mathematics Magazine|volume=82|issue=3|year=2009|pages=163–173|url=https://math.berkeley.edu/~bernd/mathmag.pdf|doi=10.1080/0025570X.2009.11953615 |s2cid=15278805 }}</ref>
उष्ण कटिबंधीय बहुपद एक फलन है <math>F\colon \R^n\to \R</math> इसे मोनोमियल की परिमित संख्या के उष्णकटिबंधीय योग के रूप में व्यक्त किया जा सकता है। एक मोनोमियल शब्द एक स्थिर और चर का एक उष्णकटिबंधीय उत्पाद (और/या भागफल) है <math>X_1,\ldots , X_n</math>. इस प्रकार एक उष्णकटिबंधीय बहुपद F, आफिन परिवर्तन के परिमित संग्रह का न्यूनतम है | आफिन -रैखिक कार्य जिसमें चर में पूर्णांक गुणांक होते हैं, इसलिए यह अवतल कार्य, [[निरंतर कार्य]] और टुकड़ों में रेखीय है।<ref name=SpeyerSturmfels2009>{{citation|first1=David|last1=Speyer |first2=Bernd|last2=Sturmfels|author2-link= Bernd Sturmfels |title=Tropical mathematics|journal=Mathematics Magazine|volume=82|issue=3|year=2009|pages=163–173|url=https://math.berkeley.edu/~bernd/mathmag.pdf|doi=10.1080/0025570X.2009.11953615 |s2cid=15278805 }}</ref>
:<math>
:<math>
  \begin{align} F(X_1,\ldots,X_n) &= \left(C_1 \otimes X_1^{\otimes a_{11}} \otimes \cdots \otimes X_n^{\otimes a_{n1}}\right) \oplus \cdots \oplus \left(C_s \otimes X_1^{\otimes a_{1s}} \otimes \cdots \otimes X_n^{\otimes a_{ns}}\right)\\
  \begin{align} F(X_1,\ldots,X_n) &= \left(C_1 \otimes X_1^{\otimes a_{11}} \otimes \cdots \otimes X_n^{\otimes a_{n1}}\right) \oplus \cdots \oplus \left(C_s \otimes X_1^{\otimes a_{1s}} \otimes \cdots \otimes X_n^{\otimes a_{ns}}\right)\\
   &= \min \{C_1+a_{11}X_1+\cdots+a_{n1}X_n,\; \ldots,\; C_s+a_{1s}X_1+\cdots+a_{ns}X_n\}. \end{align}
   &= \min \{C_1+a_{11}X_1+\cdots+a_{n1}X_n,\; \ldots,\; C_s+a_{1s}X_1+\cdots+a_{ns}X_n\}. \end{align}
</math>
</math>
[[लॉरेंट बहुपद]] में एक बहुपद f दिया गया है <math>K[x_1^{\pm 1},\ldots ,x_n^{\pm 1}]</math> जहाँ K एक महत्वपूर्ण क्षेत्र है, f का उष्णकटिबंधीयकरण, निरूपित <math>\operatorname{Trop}(f)</math>, उनके उष्णकटिबंधीय समकक्षों द्वारा गुणन और योग को प्रतिस्थापित करके f से प्राप्त उष्णकटिबंधीय बहुपद है और K में प्रत्येक स्थिरांक को इसके मूल्यांकन द्वारा। यानी अगर
[[लॉरेंट बहुपद]] में एक बहुपद f दिया गया है <math>K[x_1^{\pm 1},\ldots ,x_n^{\pm 1}]</math> जहाँ K एक महत्वपूर्ण क्षेत्र है, f का उष्णकटिबंधीयकरण, निरूपित <math>\operatorname{Trop}(f)</math>, उनके उष्णकटिबंधीय समकक्षों द्वारा गुणन और योग को प्रतिस्थापित करके f से प्राप्त उष्णकटिबंधीय बहुपद है और K में प्रत्येक स्थिरांक के मूल्यांकन से प्राप्त होता है। यानी यदि
:<math> f = \sum_{i=1}^s c_i x^{A_i} \quad \text{ with } A_1,\ldots,A_s \in \Z^n,</math>
:<math> f = \sum_{i=1}^s c_i x^{A_i} \quad \text{ with } A_1,\ldots,A_s \in \Z^n,</math>
फिर
फिर
:<math>\operatorname{Trop}(f) = \bigoplus_{i=1}^s v(c_i) \otimes X^{\otimes A_i}. </math>
:<math>\operatorname{Trop}(f) = \bigoplus_{i=1}^s v(c_i) \otimes X^{\otimes A_i}. </math>
बिंदुओं का वह समुच्चय जहां एक उष्णकटिबंधीय बहुपद F अविभेद्य है, उससे संबंधित उष्णकटिबंधीय अतिसतह कहलाता है, जिसे निरूपित किया जाता है <math>\mathrm{V}(F)</math> (बहुपद के बीजगणितीय प्रकार के अनुरूप)। समान रूप से, <math>\mathrm{V}(F)</math> बिंदुओं का वह समूह है जहां F की शर्तों में न्यूनतम को कम से कम दो बार प्राप्त किया जाता है। कब <math>F = \operatorname{Trop}(f)</math> एक लॉरेंट बहुपद f के लिए, यह बाद का लक्षण वर्णन <math>\mathrm{V}(F)</math> इस तथ्य को दर्शाता है कि किसी भी समाधान पर <math>f = 0</math>, उन सभी को रद्द करने के लिए f की शर्तों का न्यूनतम मूल्यांकन कम से कम दो बार हासिल किया जाना चाहिए।<ref name=Maclagan>{{cite book|last1=Maclagan|first1=Diane|author-link=Diane Maclagan|last2=Sturmfels|first2=Bernd |author2-link=Bernd Sturmfels|title= उष्णकटिबंधीय ज्यामिति का परिचय|title-link= उष्णकटिबंधीय ज्यामिति का परिचय|year=2015|publisher=[[American Mathematical Society]]|isbn=9780821851982 }}</ref>
बिंदुओं का वह समुच्चय जहां एक उष्णकटिबंधीय बहुपद F अविभेद्य है, उससे संबंधित उष्णकटिबंधीय अतिसतह कहलाता है, जिसे निरूपित किया जाता है <math>\mathrm{V}(F)</math> (बहुपद के बीजगणितीय प्रकार के अनुरूप)। समान रूप से, <math>\mathrm{V}(F)</math> बिंदुओं का वह समूह है जहां F की शर्तों में न्यूनतम को कम से कम दो बार प्राप्त किया जाता है। कब <math>F = \operatorname{Trop}(f)</math> एक लॉरेंट बहुपद f के लिए, यह बाद का लक्षण वर्णन <math>\mathrm{V}(F)</math> इस तथ्य को दर्शाता है कि किसी भी समाधान पर <math>f = 0</math>, उन सभी को रद्द करने के लिए f की शर्तों का न्यूनतम मूल्यांकन कम से कम दो बार हासिल किया जाना चाहिए<ref name=Maclagan>{{cite book|last1=Maclagan|first1=Diane|author-link=Diane Maclagan|last2=Sturmfels|first2=Bernd |author2-link=Bernd Sturmfels|title= उष्णकटिबंधीय ज्यामिति का परिचय|title-link= उष्णकटिबंधीय ज्यामिति का परिचय|year=2015|publisher=[[American Mathematical Society]]|isbn=9780821851982 }}</ref>
 
 
== उष्णकटिबंधीय किस्में ==
== उष्णकटिबंधीय किस्में ==


=== परिभाषाएँ ===
=== परिभाषाएँ ===
एक्स के लिए [[बीजगणितीय टोरस]] में एक बीजगणितीय विविधता <math>(K^{\times})^n</math>, X की उष्णकटिबंधीय किस्म या X का उष्णकटिबंधीयकरण, निरूपित <math>\operatorname{Trop}(X)</math>, का एक उपसमुच्चय है <math>\R^n</math> जिसे कई तरह से परिभाषित किया जा सकता है। इन परिभाषाओं की समानता को उष्णकटिबंधीय ज्यामिति के मौलिक प्रमेय के रूप में जाना जाता है।<ref name=Maclagan />
X के लिए [[बीजगणितीय टोरस]] में एक बीजगणितीय विविधता <math>(K^{\times})^n</math>, X की उष्णकटिबंधीय किस्म या X का उष्णकटिबंधीयकरण, निरूपित <math>\operatorname{Trop}(X)</math>, का एक उपसमुच्चय है <math>\R^n</math> जिसे कई तरह से परिभाषित किया जा सकता है। इन परिभाषाओं की तुल्यता को उष्णकटिबंधीय ज्यामिति के मौलिक प्रमेय के रूप में संदर्भित किया जाता है।<ref name=Maclagan />
 
==== उष्णकटिबंधीय हाइपरसर्फ्स का प्रतिच्छेदन ====
 
 
==== उष्णकटिबंधीय हाइपरसर्फ्स का चौराहा ====
होने देना <math>\mathrm{I}(X)</math> लॉरेंट बहुपदों का आदर्श बनें जो एक्स में गायब हो जाते हैं <math>K[x_1^{\pm 1},\ldots ,x_n^{\pm 1}]</math>. परिभाषित करना
होने देना <math>\mathrm{I}(X)</math> लॉरेंट बहुपदों का आदर्श बनें जो एक्स में गायब हो जाते हैं <math>K[x_1^{\pm 1},\ldots ,x_n^{\pm 1}]</math>. परिभाषित करना
:<math>\operatorname{Trop}(X) = \bigcap_{f \in \mathrm{I}(X)} \mathrm{V}(\operatorname{Trop}(f)) \subseteq \R^n. </math>
:<math>\operatorname{Trop}(X) = \bigcap_{f \in \mathrm{I}(X)} \mathrm{V}(\operatorname{Trop}(f)) \subseteq \R^n. </math>
जब एक्स एक हाइपरसफेस है, तो इसका गायब होने वाला आदर्श <math>\mathrm{I}(X)</math> एक लॉरेंट बहुपद एफ और उष्णकटिबंधीय विविधता द्वारा उत्पन्न एक [[प्रमुख आदर्श]] है <math>\operatorname{Trop}(X)</math> ठीक उष्णकटिबंधीय हाइपरसफेस है <math>\mathrm{V}(\operatorname{Trop}(f))</math>.
जब X एक हाइपरसफेस है, तो इसका गायब होने वाला आदर्श <math>\mathrm{I}(X)</math> एक लॉरेंट बहुपद एफ और उष्णकटिबंधीय विविधता द्वारा उत्पन्न एक [[प्रमुख आदर्श]] है <math>\operatorname{Trop}(X)</math> ठीक उष्णकटिबंधीय हाइपरसफेस है <math>\mathrm{V}(\operatorname{Trop}(f))</math>.


प्रत्येक उष्णकटिबंधीय किस्म उष्णकटिबंधीय हाइपरसर्फ्स की एक सीमित संख्या का प्रतिच्छेदन है। बहुपदों का परिमित समुच्चय <math>\{f_1,\ldots,f_r\}\subseteq \mathrm{I}(X)</math> X के लिए उष्णकटिबंधीय आधार कहा जाता है यदि <math>\operatorname{Trop}(X)</math> की उष्णकटिबंधीय हाइपरसर्फफेस का प्रतिच्छेदन है <math>\operatorname{Trop}(f_1),\ldots,\operatorname{Trop}(f_r)</math>. सामान्य तौर पर, का एक जनरेटिंग सेट <math>\mathrm{I}(X)</math> उष्णकटिबंधीय आधार बनाने के लिए पर्याप्त नहीं है। एक उष्णकटिबंधीय हाइपरसर्फ्स की एक परिमित संख्या के प्रतिच्छेदन को एक उष्णकटिबंधीय विविधता कहा जाता है और सामान्य तौर पर एक उष्णकटिबंधीय किस्म नहीं है।<ref name=Maclagan />
प्रत्येक उष्णकटिबंधीय किस्म उष्णकटिबंधीय हाइपरसर्फ्स की एक सीमित संख्या का प्रतिच्छेदन है। बहुपदों का परिमित समुच्चय <math>\{f_1,\ldots,f_r\}\subseteq \mathrm{I}(X)</math> X के लिए उष्णकटिबंधीय आधार कहा जाता है यदि <math>\operatorname{Trop}(X)</math> की उष्णकटिबंधीय हाइपरसर्फफेस का प्रतिच्छेदन है <math>\operatorname{Trop}(f_1),\ldots,\operatorname{Trop}(f_r)</math>. सामान्य तौर पर, का एक जनरेटिंग सेट <math>\mathrm{I}(X)</math> उष्णकटिबंधीय आधार बनाने के लिए पर्याप्त नहीं है। एक उष्णकटिबंधीय हाइपरसर्फ्स की एक परिमित संख्या के प्रतिच्छेदन को एक उष्णकटिबंधीय विविधता कहा जाता है और सामान्य तौर पर एक उष्णकटिबंधीय किस्म नहीं है।<ref name=Maclagan />
 
==== प्रारंभिक मॉडल ====
 
एक वेक्टर <math>\mathbf{w}</math> में <math>\R^n</math> के एकपदीय शब्दों से एक मानचित्र को परिभाषित करता है <math>K[x_1^{\pm 1},\ldots ,x_n^{\pm 1}]</math> प्रति <math>\R</math> m को अवधि भेजकर <math>\operatorname{Trop}(m)(\mathbf{w})</math>. एक लॉरेंट बहुपद के लिए <math>f = m_1 + \cdots + m_s</math>, शब्दों के योग के रूप में f के प्रारंभिक रूप को परिभाषित करें <math>m_i</math> जिसके लिए <math>\operatorname{Trop}(m_i)(\mathbf{w})</math> न्यूनतम है। मॉडल के लिए <math>\mathrm{I}(X)</math>, इसके संबंध में इसके प्रारंभिक मॉडल को परिभाषित करें <math>\mathbf{w}</math> होना
==== प्रारंभिक आदर्श ====
एक वेक्टर चुनना <math>\mathbf{w}</math> में <math>\R^n</math> के मोनोमियल शब्दों से एक मानचित्र को परिभाषित करता है <math>K[x_1^{\pm 1},\ldots ,x_n^{\pm 1}]</math> प्रति <math>\R</math> m को टर्म भेजकर <math>\operatorname{Trop}(m)(\mathbf{w})</math>. एक लॉरेंट बहुपद के लिए <math>f = m_1 + \cdots + m_s</math>, शब्दों के योग के रूप में f के प्रारंभिक रूप को परिभाषित करें <math>m_i</math> जिसके लिए च <math>\operatorname{Trop}(m_i)(\mathbf{w})</math> न्यूनतम है। आदर्श के लिए <math>\mathrm{I}(X)</math>, इसके संबंध में इसके प्रारंभिक आदर्श को परिभाषित करें <math>\mathbf{w}</math> होना
:<math>\operatorname{in}_{\mathbf{w}}\mathrm{I}(X) = (\operatorname{in}_{\mathbf{w}}(f) : f \in \mathrm{I}(X)).</math>
:<math>\operatorname{in}_{\mathbf{w}}\mathrm{I}(X) = (\operatorname{in}_{\mathbf{w}}(f) : f \in \mathrm{I}(X)).</math>
फिर परिभाषित करें
फिर परिभाषित करें
:<math>\operatorname{Trop}(X) = \{\mathbf{w} \in \R^n : \operatorname{in}_{\mathbf{w}}\mathrm{I}(X) \neq (1)\}. </math>
:<math>\operatorname{Trop}(X) = \{\mathbf{w} \in \R^n : \operatorname{in}_{\mathbf{w}}\mathrm{I}(X) \neq (1)\}. </math>
चूंकि हम लॉरेंट रिंग में काम कर रहे हैं, यह वज़न वैक्टर के सेट के समान है जिसके लिए <math>\operatorname{in}_{\mathbf{w}}\mathrm{I}(X)</math> एक मोनोमियल शामिल नहीं है।
चूंकि हम लॉरेंट रिंग में काम कर रहे हैं, यह वज़न वैक्टर के सेट के समान है जिसके लिए <math>\operatorname{in}_{\mathbf{w}}\mathrm{I}(X)</math> एक एकपदीय सम्मिलित नहीं है।


जब K का तुच्छ मूल्यांकन होता है, <math>\operatorname{in}_{\mathbf{w}}\mathrm{I}(X)</math> का प्रारंभिक आदर्श है <math>\mathrm{I}(X)</math> मोनोमियल ऑर्डर # वेट ऑर्डर के संबंध में वेट वेक्टर द्वारा दिया गया <math>\mathbf{w}</math>. यह इस प्रकार है कि <math>\operatorname{Trop}(X)</math> ग्रोबनेर के प्रशंसक का उपप्रशंसक है <math>\mathrm{I}(X)</math>.
जब K का छोटा मूल्यांकन होता है, <math>\operatorname{in}_{\mathbf{w}}\mathrm{I}(X)</math> का प्रारंभिक मॉडल है <math>\mathrm{I}(X)</math> एकपद क्रम भार क्रम के संबंध में भार सदिश द्वारा दिया गया <math>\mathbf{w}</math>. यह इस प्रकार है कि <math>\operatorname{Trop}(X)</math> ग्रोबनेर के प्रशंसक का उपप्रशंसक है <math>\mathrm{I}(X)</math>.


==== मूल्यांकन मानचित्र की छवि ====
==== मूल्यांकन मानचित्र की छवि ====
मान लीजिए कि X एक फ़ील्ड K पर वैल्यूएशन v के साथ एक किस्म है जिसकी छवि सघन है <math>\R</math> (उदाहरण के लिए प्यूसेक्स श्रृंखला का एक क्षेत्र)। समन्वय-वार कार्य करके, वी बीजगणितीय टोरस से मानचित्र को परिभाषित करता है <math>(K^{\times})^n</math> प्रति <math>\R^n</math>. फिर परिभाषित करें
मान लीजिए कि X एक फ़ील्ड K पर वैल्यूएशन v के साथ एक विविधता है जिसकी छवि सघन है <math>\R</math> (उदाहरण के लिए प्यूसेक्स श्रृंखला का एक क्षेत्र)। समन्वय-वार कार्य करके, वी बीजगणितीय टोरस से मानचित्र को परिभाषित करता है <math>(K^{\times})^n</math> प्रति <math>\R^n</math>. फिर परिभाषित करें
:<math>\operatorname{Trop}(X) = \overline{\{(v(x_1),\ldots,v(x_n)) : (x_1,\ldots,x_n) \in X \}}, </math>
:<math>\operatorname{Trop}(X) = \overline{\{(v(x_1),\ldots,v(x_n)) : (x_1,\ldots,x_n) \in X \}}, </math>
जहां ओवरलाइन [[यूक्लिडियन टोपोलॉजी]] में क्लोजर (गणित) को इंगित करता है। यदि K का मूल्यांकन सघन नहीं है <math>\R</math>, तो उपरोक्त परिभाषा को अंगूठियों के परिवर्तन द्वारा अनुकूलित किया जा सकता है # स्केलर्स को बड़े क्षेत्र में विस्तारित किया जा सकता है जिसमें घने मूल्यांकन होता है।
जहां ओवरलाइन [[यूक्लिडियन टोपोलॉजी]] में क्लोजर होने का संकेत देता है। यदि K का मूल्यांकन <math>\R</math> में सघन नहीं है, तो उपरोक्त परिभाषा को स्केलर्स के एक बड़े क्षेत्र में विस्तारित करके अनुकूलित किया जा सकता है, जिसका सघन मूल्यांकन है।


यह परिभाषा दर्शाती है <math>\operatorname{Trop}(X)</math> गैर-आर्किमिडीयन [[अमीबा (गणित)]] एक बीजगणितीय रूप से बंद क्षेत्र [[गैर-आर्किमिडीयन क्षेत्र]] K पर है।<ref>{{cite book | last=Mikhalkin | first=Grigory | chapter=Amoebas of algebraic varieties and tropical geometry | editor1-last=Donaldson | editor1-first=Simon | editor1-link=Simon Donaldson | editor2-first=Yakov | editor2-last=Eliashberg | editor2-link=Yakov Eliashberg | editor3-first=Mikhael | editor3-last=Gromov | editor3-link=Mikhail Leonidovich Gromov | title=ज्यामिति के विभिन्न चेहरे| location=New York, NY | publisher=Kluwer Academic/Plenum Publishers | series=International Mathematical Series | volume=3 | pages=257–300 | year=2004 | isbn=978-0-306-48657-9 | zbl=1072.14013 }}</ref>
यह परिभाषा दर्शाती है <math>\operatorname{Trop}(X)</math> गैर-आर्किमिडीयन [[अमीबा (गणित)]] एक बीजगणितीय रूप से बंद क्षेत्र [[गैर-आर्किमिडीयन क्षेत्र]] K पर है।<ref>{{cite book | last=Mikhalkin | first=Grigory | chapter=Amoebas of algebraic varieties and tropical geometry | editor1-last=Donaldson | editor1-first=Simon | editor1-link=Simon Donaldson | editor2-first=Yakov | editor2-last=Eliashberg | editor2-link=Yakov Eliashberg | editor3-first=Mikhael | editor3-last=Gromov | editor3-link=Mikhail Leonidovich Gromov | title=ज्यामिति के विभिन्न चेहरे| location=New York, NY | publisher=Kluwer Academic/Plenum Publishers | series=International Mathematical Series | volume=3 | pages=257–300 | year=2004 | isbn=978-0-306-48657-9 | zbl=1072.14013 }}</ref>
यदि X एक किस्म से अधिक है <math>\Complex</math>, <math>\operatorname{Trop}(X)</math> अमीबा की सीमित वस्तु के रूप में माना जा सकता है <math>\operatorname{Log}_t(X)</math> क्योंकि लघुगणक मानचित्र का आधार t अनंत तक जाता है।<ref>{{citation | first=Eric | last=Katz |author-link=Eric Katz| title=What is Tropical Geometry? | journal=[[Notices of the American Mathematical Society]] | volume=64 | issue=4 | pages=380–382 | url=https://www.ams.org/publications/journals/notices/201704/rnoti-p380.pdf |doi=10.1090/noti1507| year=2017 | doi-access=free }}</ref>
यदि X एक किस्म से अधिक है <math>\Complex</math>, <math>\operatorname{Trop}(X)</math> अमीबा की सीमित वस्तु के रूप में माना जा सकता है <math>\operatorname{Log}_t(X)</math> क्योंकि लघुगणक मानचित्र का आधार t अनंत तक जाता है।<ref>{{citation | first=Eric | last=Katz |author-link=Eric Katz| title=What is Tropical Geometry? | journal=[[Notices of the American Mathematical Society]] | volume=64 | issue=4 | pages=380–382 | url=https://www.ams.org/publications/journals/notices/201704/rnoti-p380.pdf |doi=10.1090/noti1507| year=2017 | doi-access=free }}</ref>
==== बहुफलकीय जटिल ====
निम्नलिखित लक्षण वर्णन उष्णकटिबंधीय किस्मों का आंतरिक रूप से बीजीय किस्मों और उष्णकटिबंधीयकरण के संदर्भ के बिना वर्णन करता है।


<math>\R^n</math> एक सेट V एक अलघुकरणीय उष्णकटिबंधीय विविधता है यदि यह शुद्ध आयाम d के भारित [[बहुफलकीय परिसर]] का समर्थन है जो शून्य को संतुष्ट करता है- तनाव की स्थिति और कोडिमेंशन वन में जुड़ा हुआ है। जब d एक होता है, तो शून्य-तनाव की स्थिति का अर्थ है कि प्रत्येक शीर्ष के चारों ओर, किनारों के बाहर जाने वाली दिशाओं का भारित-योग शून्य के बराबर होता है। उच्च आयाम के लिए, इसके बजाय आयाम <math>d-1</math>के प्रत्येक सेल के चारों ओर योग लिया जाता है, इसके बजाय सेल के एफ़िन स्पैन को उद्धृत किया जाता है।<ref name="SpeyerSturmfels2009" />


==== बहुफलकीय परिसर ====
गुण जो V कोडिमेंशन one में जुड़ा हुआ है, इसका मतलब है कि आयाम d कोशिकाओं पर स्थित किन्हीं दो बिंदुओं के लिए, उन्हें जोड़ने वाला एक पथ है जो <math>d-1</math> से कम आयाम वाले किसी भी सेल से नहीं गुजरता है।<ref>{{citation| first1=Dustin | last1=Cartwright | first2=Sam | last2=Payne | title=Connectivity of tropicalizations | journal=Mathematical Research Letters | volume=19 | issue=5 | year=2012 | pages=1089–1095 | doi=10.4310/MRL.2012.v19.n5.a10 | arxiv=1204.6589 | bibcode=2012arXiv1204.6589C | s2cid=51767353 }}</ref>
निम्नलिखित विशेषता बीजीय किस्मों और उष्णकटिबंधीयकरण के संदर्भ के बिना आंतरिक रूप से उष्णकटिबंधीय किस्मों का वर्णन करती है।
=== उष्णकटिबंधीय वक्र ===
एक सेट वी <math>\R^n</math> एक अप्रासंगिक उष्णकटिबंधीय किस्म है अगर यह शुद्ध आयाम d के भारित [[बहुफलकीय परिसर]] का समर्थन है जो शून्य-तनाव की स्थिति को संतुष्ट करता है और कोडिमेंशन एक में जुड़ा हुआ है। जब d एक होता है, तो शून्य-तनाव की स्थिति का अर्थ है कि प्रत्येक शीर्ष के चारों ओर, किनारों के बाहर जाने वाली दिशाओं का भारित-योग शून्य के बराबर होता है। उच्च आयाम के लिए, इसके बजाय आयाम के प्रत्येक सेल के चारों ओर रकम ली जाती है <math>d-1</math> सेल के एफ़िन स्पैन को बाहर निकालने के बाद।<ref name=SpeyerSturmfels2009/>  वह गुण जो V कोडिमेंशन one से जुड़ा है, इसका मतलब है कि आयाम d कोशिकाओं पर स्थित किन्हीं दो बिंदुओं के लिए, उन्हें जोड़ने वाला एक रास्ता है जो इससे कम आयाम वाले किसी भी सेल से नहीं गुजरता है <math>d-1</math>.<ref>{{citation| first1=Dustin | last1=Cartwright | first2=Sam | last2=Payne | title=Connectivity of tropicalizations | journal=Mathematical Research Letters | volume=19 | issue=5 | year=2012 | pages=1089–1095 | doi=10.4310/MRL.2012.v19.n5.a10 | arxiv=1204.6589 | bibcode=2012arXiv1204.6589C | s2cid=51767353 }}</ref>
उष्णकटिबंधीय वक्रों (आयाम एक की उष्णकटिबंधीय किस्में) का अध्ययन विशेष रूप से अच्छी तरह से विकसित है और [[ग्राफ सिद्धांत]] से दृढ़ता से संबंधित है। उदाहरण के लिए, उष्णकटिबंधीय वक्रों के विभाजक का सिद्धांत उष्णकटिबंधीय वक्रों से जुड़े रेखांकन पर [[चिप फायरिंग खेल|चिप फायरिंग]] गेम से संबंधित है।<ref>{{Cite journal|date=2013-09-01|title=उष्णकटिबंधीय वक्रों पर विभाजकों की श्रेणी|journal=[[Journal of Combinatorial Theory|Journal of Combinatorial Theory, Series A]]| language=en|volume=120|issue=7|pages=1521–1538|doi=10.1016/j.jcta.2013.05.002|issn=0097-3165|last1=Hladký|first1=Jan|last2=Králʼ|first2=Daniel|last3=Norine|first3=Serguei|arxiv=0709.4485|s2cid=3045053}}</ref>


बीजगणितीय ज्यामिति के कई चिरसम्मत प्रमेयों में उष्णकटिबंधीय ज्यामिति में समकक्ष हैं, जिनमें निम्न सम्मिलित हैं:


=== उष्णकटिबंधीय वक्र ===
* पप्पस की षट्भुज प्रमेय।<ref>{{Cite journal|last=Tabera|first=Luis Felipe|date=2005-01-01|title=उष्णकटिबंधीय रचनात्मक पप्पस प्रमेय|journal=[[International Mathematics Research Notices]]| language=en|volume=2005|issue=39|pages=2373–2389|doi=10.1155/IMRN.2005.2373|issn=1073-7928|arxiv=math/0409126|doi-access=free}}</ref>  
उष्णकटिबंधीय वक्रों का अध्ययन (आयाम एक की उष्णकटिबंधीय किस्में) विशेष रूप से अच्छी तरह से विकसित है और [[ग्राफ सिद्धांत]] से दृढ़ता से संबंधित है। उदाहरण के लिए, उष्णकटिबंधीय वक्रों के विभाजक (बीजगणितीय ज्यामिति) का सिद्धांत उष्णकटिबंधीय वक्रों से जुड़े ग्राफों पर [[चिप फायरिंग खेल]] से संबंधित है।<ref>{{Cite journal|date=2013-09-01|title=उष्णकटिबंधीय वक्रों पर विभाजकों की श्रेणी|journal=[[Journal of Combinatorial Theory|Journal of Combinatorial Theory, Series A]]| language=en|volume=120|issue=7|pages=1521–1538|doi=10.1016/j.jcta.2013.05.002|issn=0097-3165|last1=Hladký|first1=Jan|last2=Králʼ|first2=Daniel|last3=Norine|first3=Serguei|arxiv=0709.4485|s2cid=3045053}}</ref>
*बेजाउट की प्रमेय।
बीजगणितीय ज्यामिति के कई शास्त्रीय प्रमेयों में उष्णकटिबंधीय ज्यामिति में समकक्ष हैं, जिनमें निम्न शामिल हैं:
 
* पप्पस की षट्भुज प्रमेय।<ref>{{Cite journal|last=Tabera|first=Luis Felipe|date=2005-01-01|title=उष्णकटिबंधीय रचनात्मक पप्पस प्रमेय|journal=[[International Mathematics Research Notices]]| language=en|volume=2005|issue=39|pages=2373–2389|doi=10.1155/IMRN.2005.2373|issn=1073-7928|arxiv=math/0409126|doi-access=free}}</ref> * बेजाउट की प्रमेय।
* [[डिग्री-जीनस सूत्र]]
* [[डिग्री-जीनस सूत्र]]
* रीमैन-रोच प्रमेय।<ref>{{Cite journal|last1=Kerber|first1=Michael|last2=Gathmann|first2=Andreas|date=2008-05-01|title=उष्णकटिबंधीय ज्यामिति में एक रीमैन-रोच प्रमेय|journal=[[Mathematische Zeitschrift]]| language=en|volume=259|issue=1|pages=217–230|doi=10.1007/s00209-007-0222-4|issn=1432-1823|arxiv=math/0612129|s2cid=15239772}}</ref>
* रीमैन-रोच प्रमेय।<ref>{{Cite journal|last1=Kerber|first1=Michael|last2=Gathmann|first2=Andreas|date=2008-05-01|title=उष्णकटिबंधीय ज्यामिति में एक रीमैन-रोच प्रमेय|journal=[[Mathematische Zeitschrift]]| language=en|volume=259|issue=1|pages=217–230|doi=10.1007/s00209-007-0222-4|issn=1432-1823|arxiv=math/0612129|s2cid=15239772}}</ref>
* [[अण्डाकार वक्र]]।<ref>{{cite book | last1=Chan | first1=Melody | author1-link = Melody Chan | last2=Sturmfels | first2=Bernd | author2-link=Bernd Sturmfels | chapter=Elliptic curves in honeycomb form | zbl=1312.14142 | editor1-last=Brugallé | editor1-first=Erwan | title=ट्रॉपिकल ज्योमेट्री के बीजगणितीय और दहनशील पहलू। ट्रॉपिकल ज्योमेट्री पर सीआईईएम वर्कशॉप पर आधारित प्रोसीडिंग्स, इंटरनेशनल सेंटर फॉर मैथमैटिकल मीटिंग्स (सीआईईएम), कास्त्रो उर्डियल्स, स्पेन, 12-16 दिसंबर, 2011| location=Providence, RI | publisher=[[American Mathematical Society]] | isbn=978-0-8218-9146-9 | series=Contemporary Mathematics | volume=589 | pages=87–107 | year=2013 | arxiv=1203.2356 | bibcode=2012arXiv1203.2356C }}</ref>
* [[अण्डाकार वक्र|घन का समूह नियम]]।<ref>{{cite book | last1=Chan | first1=Melody | author1-link = Melody Chan | last2=Sturmfels | first2=Bernd | author2-link=Bernd Sturmfels | chapter=Elliptic curves in honeycomb form | zbl=1312.14142 | editor1-last=Brugallé | editor1-first=Erwan | title=ट्रॉपिकल ज्योमेट्री के बीजगणितीय और दहनशील पहलू। ट्रॉपिकल ज्योमेट्री पर सीआईईएम वर्कशॉप पर आधारित प्रोसीडिंग्स, इंटरनेशनल सेंटर फॉर मैथमैटिकल मीटिंग्स (सीआईईएम), कास्त्रो उर्डियल्स, स्पेन, 12-16 दिसंबर, 2011| location=Providence, RI | publisher=[[American Mathematical Society]] | isbn=978-0-8218-9146-9 | series=Contemporary Mathematics | volume=589 | pages=87–107 | year=2013 | arxiv=1203.2356 | bibcode=2012arXiv1203.2356C }}</ref>
[[ओलेग मैन]] ने होमोटॉपी # आइसोटोपी तक विमान में डिग्री 7 के वास्तविक वक्रों को वर्गीकृत करने के लिए उष्णकटिबंधीय वक्रों का उपयोग किया। पैचवर्किंग की उनकी विधि किसी दिए गए समस्थानिक वर्ग के उष्णकटिबंधीय वक्र से वास्तविक वक्र बनाने की प्रक्रिया प्रदान करती है।
[[ओलेग मैन|ओलेग]] विरो ने समस्थानिक तक तल में 7 डिग्री के वास्तविक वक्रों को वर्गीकृत करने के लिए उष्णकटिबंधीय वक्रों का उपयोग किया। पैचवर्किंग की उनकी विधि किसी दिए गए समस्थानिक वर्ग के उष्णकटिबंधीय वक्र से वास्तविक वक्र बनाने की प्रक्रिया प्रदान करती है।


== अनुप्रयोग ==
== अनुप्रयोग ==
2007 में वित्तीय संकट के दौरान [[बैंक ऑफ इंग्लैंड]] द्वारा उपयोग की जाने वाली नीलामियों के [[पॉल क्लेम्परर]] के डिजाइन में एक उष्णकटिबंधीय रेखा दिखाई दी।<ref>{{Cite web|url = https://www.economics.ox.ac.uk/news/how-geometry-came-to-the-rescue-during-th |title = बैंकिंग संकट के दौरान ज्यामिति बचाव में कैसे आई|access-date = 24 March 2014|website = Department of Economics, University of Oxford}}</ref> योशिनोरी शियोज़ावा ने उपोष्णकटिबंधीय बीजगणित को अधिकतम-बार या न्यूनतम-समय सेमिरिंग (अधिकतम-प्लस और न्यूनतम-प्लस के बजाय) के रूप में परिभाषित किया। उन्होंने पाया कि रिकार्डियन व्यापार सिद्धांत (इनपुट व्यापार के बिना अंतर्राष्ट्रीय व्यापार) की व्याख्या उपोष्णकटिबंधीय उत्तल बीजगणित के रूप में की जा सकती है।<ref>{{Cite journal |doi = 10.1007/s40844-015-0012-3|title = अंतर्राष्ट्रीय व्यापार सिद्धांत और विदेशी बीजगणित|url=https://www.researchgate.net/publication/280646264 |journal = Evolutionary and Institutional Economics Review|volume = 12|pages = 177–212|year = 2015|last1 = Shiozawa|first1 = Yoshinori|s2cid = 155827635 }} This is a digest of Y. Shiozawa, "[https://www.researchgate.net/publication/236020268 Subtropical Convex Geometry as the Ricardian Theory of International Trade]" draft paper.</ref> रेक्टीफायर (तंत्रिका नेटवर्क) के साथ फीडफॉरवर्ड तंत्रिका नेटवर्क की जटिलता का विश्लेषण करने के लिए उष्णकटिबंधीय ज्यामिति का भी उपयोग किया गया है।<ref>{{cite conference|last1=Zhang|first1=Liwen|author-link1=|last2=Naitzat|first2=Gregory|author-link2=|last3=Lim|first3=Lek-Heng|author3-link=Lek-Heng Lim|date=2018|title=गहरे तंत्रिका नेटवर्क की उष्णकटिबंधीय ज्यामिति|url=http://proceedings.mlr.press/v80/zhang18i.html|conference=35th International Conference on Machine Learning|location=|publisher=|pages=5824–5832|id=|book-title=Proceedings of the 35th International Conference on Machine Learning}}</ref>
2007 में वित्तीय संकट के दौरान [[बैंक ऑफ इंग्लैंड]] द्वारा उपयोग की जाने वाली नीलामियों के [[पॉल क्लेम्परर]] के डिजाइन में एक उष्णकटिबंधीय रेखा दिखाई दी।<ref>{{Cite web|url = https://www.economics.ox.ac.uk/news/how-geometry-came-to-the-rescue-during-th |title = बैंकिंग संकट के दौरान ज्यामिति बचाव में कैसे आई|access-date = 24 March 2014|website = Department of Economics, University of Oxford}}</ref> योशिनोरी शियोज़ावा ने उपोष्णकटिबंधीय बीजगणित को अधिकतम-समय या न्यूनतम-समय के सेमीरिंग के रूप में परिभाषित किया (अधिकतम-प्लस और न्यूनतम-के बजाय) प्लस)। उन्होंने पाया कि रिकार्डियन व्यापार सिद्धांत (इनपुट व्यापार के बिना अंतर्राष्ट्रीय व्यापार) को एक उपोष्णकटिबंधीय उत्तल बीजगणित के रूप में व्याख्या किया जा सकता है।<ref>{{Cite journal |doi = 10.1007/s40844-015-0012-3|title = अंतर्राष्ट्रीय व्यापार सिद्धांत और विदेशी बीजगणित|url=https://www.researchgate.net/publication/280646264 |journal = Evolutionary and Institutional Economics Review|volume = 12|pages = 177–212|year = 2015|last1 = Shiozawa|first1 = Yoshinori|s2cid = 155827635 }} This is a digest of Y. Shiozawa, "[https://www.researchgate.net/publication/236020268 Subtropical Convex Geometry as the Ricardian Theory of International Trade]" draft paper.</ref> उष्णकटिबंधीय ज्यामिति का उपयोग आरईएलयू सक्रियण के साथ फीडफॉरवर्ड न्यूरल नेटवर्क की जटिलता का विश्लेषण करने के लिए भी किया गया है।<ref>{{cite conference|last1=Zhang|first1=Liwen|author-link1=|last2=Naitzat|first2=Gregory|author-link2=|last3=Lim|first3=Lek-Heng|author3-link=Lek-Heng Lim|date=2018|title=गहरे तंत्रिका नेटवर्क की उष्णकटिबंधीय ज्यामिति|url=http://proceedings.mlr.press/v80/zhang18i.html|conference=35th International Conference on Machine Learning|location=|publisher=|pages=5824–5832|id=|book-title=Proceedings of the 35th International Conference on Machine Learning}}</ref>
इसके अलावा, उदाहरण के लिए जॉब शेड्यूलिंग, स्थान विश्लेषण, परिवहन नेटवर्क, निर्णय लेने और असतत घटना गतिशील प्रणालियों में उत्पन्न होने वाली कई अनुकूलन समस्याओं को उष्णकटिबंधीय ज्यामिति के ढांचे में तैयार और हल किया जा सकता है।<ref>{{cite book |last= Krivulin |first= Nikolai |arxiv=1408.0313 |chapter= Tropical optimization problems |year=2014 |title=अर्थशास्त्र और अनुकूलन में प्रगति: एल. वी. कांटोरोविच की स्मृति को समर्पित एकत्रित वैज्ञानिक अध्ययन|pages=195–214 |publisher=Nova Science Publishers |location=New York |isbn=978-1-63117-073-7 |editor1=Leon A. Petrosyan |editor2=David W. K. Yeung |editor3=Joseph V. Romanovsky}}</ref> एबेल-जैकोबी मानचित्र के एक उष्णकटिबंधीय समकक्ष को क्रिस्टल डिजाइन पर लागू किया जा सकता है।<ref>{{cite book |author-link=Toshikazu Sunada|last=Sunada |first=T. |year=2012 |title=सामयिक क्रिस्टलोग्राफी: असतत ज्यामितीय विश्लेषण की ओर एक दृश्य के साथ|series=Surveys and Tutorials in the Applied Mathematical Sciences |volume=6 |publisher=Springer Japan |isbn=9784431541769}}</ref> एक [[भारित परिमित-राज्य ट्रांसड्यूसर]] में वजन अक्सर एक उष्णकटिबंधीय सेमिरिंग होने की आवश्यकता होती है। उष्णकटिबंधीय ज्यामिति [[स्व-संगठित आलोचना]]त्मकता दिखा सकती है।<ref>{{Cite journal|last1=Kalinin|first1=N.|last2=Guzmán-Sáenz|first2=A.|last3=Prieto|first3=Y.|last4=Shkolnikov|first4=M.|last5=Kalinina|first5=V.|last6=Lupercio|first6=E.|date=2018-08-15|title=उष्णकटिबंधीय ज्यामिति के लेंस के माध्यम से स्व-संगठित आलोचना और पैटर्न का उद्भव|journal=[[Proceedings of the National Academy of Sciences of the United States of America]]| volume=115|issue=35|language=en|pages=E8135–E8142|doi=10.1073/pnas.1805847115|issn=0027-8424|pmid=30111541|pmc=6126730|arxiv=1806.09153|bibcode=2018arXiv180609153K|doi-access=free}}</ref>
 


इसके अलावा, कार्य निर्धारण, स्थान विश्लेषण, परिवहन नेटवर्क, निर्णय लेने और असतत घटना गतिशील प्रणालियों में उदाहरण के लिए उत्पन्न होने वाली कई अनुकूलन समस्याएं उष्णकटिबंधीय ज्यामिति के ढांचे में तैयार और हल की जा सकती हैं।<ref>{{cite book |last= Krivulin |first= Nikolai |arxiv=1408.0313 |chapter= Tropical optimization problems |year=2014 |title=अर्थशास्त्र और अनुकूलन में प्रगति: एल. वी. कांटोरोविच की स्मृति को समर्पित एकत्रित वैज्ञानिक अध्ययन|pages=195–214 |publisher=Nova Science Publishers |location=New York |isbn=978-1-63117-073-7 |editor1=Leon A. Petrosyan |editor2=David W. K. Yeung |editor3=Joseph V. Romanovsky}}</ref> एबेल-जैकोबी मानचित्र के उष्णकटिबंधीय समतुल्य को क्रिस्टल डिजाइन पर लागू किया जा सकता है।<ref>{{cite book |author-link=Toshikazu Sunada|last=Sunada |first=T. |year=2012 |title=सामयिक क्रिस्टलोग्राफी: असतत ज्यामितीय विश्लेषण की ओर एक दृश्य के साथ|series=Surveys and Tutorials in the Applied Mathematical Sciences |volume=6 |publisher=Springer Japan |isbn=9784431541769}}</ref> एक [[भारित परिमित-राज्य ट्रांसड्यूसर]] में वजन अक्सर एक उष्णकटिबंधीय सेमिरिंग के लिए आवश्यक होता है। उष्णकटिबंधीय ज्यामिति [[स्व-संगठित आलोचना|स्व-संगठित गंभीरता]] दिखा सकती है।<ref>{{Cite journal|last1=Kalinin|first1=N.|last2=Guzmán-Sáenz|first2=A.|last3=Prieto|first3=Y.|last4=Shkolnikov|first4=M.|last5=Kalinina|first5=V.|last6=Lupercio|first6=E.|date=2018-08-15|title=उष्णकटिबंधीय ज्यामिति के लेंस के माध्यम से स्व-संगठित आलोचना और पैटर्न का उद्भव|journal=[[Proceedings of the National Academy of Sciences of the United States of America]]| volume=115|issue=35|language=en|pages=E8135–E8142|doi=10.1073/pnas.1805847115|issn=0027-8424|pmid=30111541|pmc=6126730|arxiv=1806.09153|bibcode=2018arXiv180609153K|doi-access=free}}</ref>
== यह भी देखें ==
== यह भी देखें ==
* [[उष्णकटिबंधीय विश्लेषण]]
* [[उष्णकटिबंधीय विश्लेषण]]
Line 116: Line 107:
==टिप्पणियाँ==
==टिप्पणियाँ==
{{reflist}}
{{reflist}}
==संदर्भ==
==संदर्भ==
{{Refbegin}}
{{Refbegin}}
Line 136: Line 125:
*{{cite arXiv |last= Theobald |first= Thorsten |eprint=math/0306366v2 |title=First steps in tropical geometry |year=2003  }}
*{{cite arXiv |last= Theobald |first= Thorsten |eprint=math/0306366v2 |title=First steps in tropical geometry |year=2003  }}
{{Refend}}
{{Refend}}
==अग्रिम पठन==
==अग्रिम पठन==
* {{cite book | editor1-last=Amini | editor1-first=Omid | editor2-last=Baker | editor2-first=Matthew | editor3-last=Faber | editor3-first=Xander | title=Tropical and non-Archimedean geometry. Bellairs workshop in number theory, tropical and non-Archimedean geometry, Bellairs Research Institute, Holetown, Barbados, USA, May 6–13, 2011 | zbl=1281.14002 | series=Contemporary Mathematics | volume=605 <!-- | subseries=Centre de Recherches Mathématiques Proceedings -->|  location=Providence, RI | publisher=[[American Mathematical Society]] | isbn=978-1-4704-1021-6 | year=2013 }}
* {{cite book | editor1-last=Amini | editor1-first=Omid | editor2-last=Baker | editor2-first=Matthew | editor3-last=Faber | editor3-first=Xander | title=Tropical and non-Archimedean geometry. Bellairs workshop in number theory, tropical and non-Archimedean geometry, Bellairs Research Institute, Holetown, Barbados, USA, May 6–13, 2011 | zbl=1281.14002 | series=Contemporary Mathematics | volume=605 <!-- | subseries=Centre de Recherches Mathématiques Proceedings -->|  location=Providence, RI | publisher=[[American Mathematical Society]] | isbn=978-1-4704-1021-6 | year=2013 }}
* [https://web.archive.org/web/20220116040726/https://www.math.utah.edu/~yplee/teaching/7800f15/Gross_Kansas_cropped.pdf Tropical geometry and mirror symmetry]
* [https://web.archive.org/web/20220116040726/https://www.math.utah.edu/~yplee/teaching/7800f15/Gross_Kansas_cropped.pdf Tropical geometry and mirror symmetry]
==इस पेज में लापता आंतरिक लिंक की सूची==
*अंक शास्त्र
*टुकड़ावार रैखिक कई गुना
*लेजेंड्रे परिवर्तन
*पी-एडिक वैल्यूएशन
*टुकड़ा-वार रैखिक कार्य
*एफ़िन परिवर्तन
*अवतल समारोह
*बीजगणितीय किस्म
*समापन (गणित)
*बीजीय रूप से बंद क्षेत्र
*भाजक (बीजीय ज्यामिति)
*नीलामी
*शुद्ध करनेवाला (तंत्रिका नेटवर्क)
==बाहरी संबंध==
==बाहरी संबंध==
* [https://archive.org/movies/details-db.php?id=4603 Tropical Geometry, I]
* [https://archive.org/movies/details-db.php?id=4603 Tropical Geometry, I]
[[Category:उष्णकटिबंधीय ज्यामिति| ]]


 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category: Machine Translated Page]]
[[Category:Articles with short description]]
[[Category:CS1 English-language sources (en)]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 maint]]
[[Category:CS1 Ελληνικά-language sources (el)]]
[[Category:Citation Style 1 templates|W]]
[[Category:Collapse templates]]
[[Category:Created On 26/11/2022]]
[[Category:Created On 26/11/2022]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates based on the Citation/CS1 Lua module]]
[[Category:Templates generating COinS|Cite web]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates used by AutoWikiBrowser|Cite web]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia fully protected templates|Cite web]]
[[Category:Wikipedia metatemplates]]
[[Category:उष्णकटिबंधीय ज्यामिति| ]]

Latest revision as of 09:44, 16 December 2022

गणित में, उष्णकटिबंधीय ज्यामिति बहुपदों और उनके बीजगणितीय ज्यामिति गुणों का अध्ययन है जब जोड़ को न्यूनीकरण से बदल दिया जाता है और गुणन को साधारण जोड़ से बदल दिया जाता है:

उदाहरण के लिए, क्लासिकल बहुपद बन जाएगा . इस तरह के बहुपद और उनके समाधान में अनुकूलन समस्याओं में महत्वपूर्ण अनुप्रयोग हैं, उदाहरण के लिए, ट्रेनों के नेटवर्क के लिए प्रस्थान समय को अनुकूलित करने की समस्या।

उष्णकटिबंधीय ज्यामिति एक प्रकार की बीजगणितीय ज्यामिति है जिसमें बहुपद रेखांकन टुकड़े-टुकड़े रेखीय जाल के समान होते हैं, और जिसमें संख्याएँ एक क्षेत्र के बजाय उष्णकटिबंधीय सेमिरिंग से संबंधित होती हैं। क्योंकि शास्त्रीय और उष्णकटिबंधीय ज्यामिति निकट से संबंधित हैं, परिणाम और विधियों को उनके बीच परिवर्तित किया जा सकता है। बीजगणितीय किस्मों को एक उष्णकटिबंधीय समकक्ष के लिए मैप किया जा सकता है और, चूंकि यह प्रक्रिया अभी भी मूल विविधता के बारे में कुछ ज्यामितीय जानकारी को बरकरार रखती है, इसका उपयोग बीजगणितीय ज्यामिति से शास्त्रीय परिणामों को साबित करने और सामान्य बनाने में मदद के लिए किया जा सकता है, जैसे ब्रिल-नोथेर प्रमेय, उष्णकटिबंधीय ज्यामिति से उपकरण का उपयोग करना है।[1]

इतिहास

विभिन्न क्षेत्रों में काम कर रहे गणितज्ञों द्वारा एक ही अंकन का उपयोग करके उष्णकटिबंधीय विश्लेषण के मूल विचारों को स्वतंत्र रूप से विकसित किया गया था।[2] उष्णकटिबंधीय ज्यामिति के केंद्रीय विचार पहले के कई कार्यों में विभिन्न रूपों में प्रकट हुए। उदाहरण के लिए, विक्टर पावलोविच मैस्लोव ने एकीकरण की प्रक्रिया का एक उष्णकटिबंधीय संस्करण पेश किया। उन्होंने यह भी देखा कि लीजेंड्रे परिवर्तन और हैमिल्टन-जैकोबी समीकरण के समाधान उष्णकटिबंधीय अर्थों में रैखिक संचालन हैं।[3] हालाँकि, 1990 के दशक के उत्तरार्ध से ही सिद्धांत की मूल परिभाषाओं को समेकित करने का प्रयास किया गया है। यह गणितीय गणनात्मक ज्यामिति के लिए अपने आवेदन से प्रेरित था, जिसमें मैक्सिम कोंटेसेविच [4] के विचार और ग्रिगोरी मिखाल्किन[5] के काम सम्मिलित थे।

विशेषण उष्णकटिबंधीय फ्रांसीसी गणितज्ञों द्वारा हंगरी में जन्मे ब्राज़िल के कंप्यूटर वैज्ञानिक इमरे साइमन के सम्मान में गढ़ा गया था, जिन्होंने मैदान पर लिखा था। जीन-एरिक पिन सिक्के का श्रेय डोमिनिक पेरिन को देते हैं,[6] जबकि साइमन स्वयं इस शब्द का श्रेय क्रिश्चियन चोफ्रूट को देते हैं।[7]

बीजगणित पृष्ठभूमि

Further information: उष्णकटिबंधीय सेमिरिंग

उष्णकटिबंधीय ज्यामिति उष्णकटिबंधीय सेमिरिंग पर आधारित है। अधिकतम या न्यूनतम सम्मेलन के आधार पर इसे दो तरीकों से परिभाषित किया गया है।

मिनि ट्रॉपिकल सेमीरिंग सेमीरिंग है , संचालन के साथ:

संचालन तथा क्रमशः उष्णकटिबंधीय जोड़ और उष्णकटिबंधीय गुणन के रूप में जाना जाता है। के लिए पहचान तत्व है , और पहचान तत्व के लिए 0 है।

इसी प्रकार, अधिकतम उष्णकटिबंधीय सेमिरिंग सेमिरिंग है , संचालन के साथ:

के लिए पहचान तत्व है , और पहचान तत्व के लिए 0 है।

ये सेमी-रिंग्स आइसोमॉर्फिक हैं, निषेध के तहत , और सामान्य तौर पर उनमें से एक को चुना जाता है और इसे केवल एक ट्रॉपिकल सेमी-रिंग कहा जाता है। सम्मेलन लेखकों और उपक्षेत्रों के बीच भिन्न होते हैं: कुछ न्यूनतम सम्मेलन का उपयोग करते हैं और अन्य अधिकतम सम्मेलन का उपयोग करते हैं।

ट्रॉपिकल सेमिरिंग ऑपरेशंस मॉडल यह है कि कैसेमूल्यांकन (बीजगणित) एक मूल्यवान क्षेत्र में जोड़ और गुणा के तहत व्यवहार करता है।

उष्णकटिबंधीय ज्यामिति (न्यूनतम सम्मेलन के साथ) में आने वाले कुछ सामान्य मूल्यवान क्षेत्र हैं:

  • या तुच्छ मूल्यांकन के साथ, सभी के लिए .
  • या p-adic मूल्यांकन के साथ इसका विस्तार, a और b कोप्राइम से p के लिए।
  • लॉरेंट श्रृंखला का क्षेत्र (पूर्णांक शक्तियाँ), या (जटिल) प्यूसेक्स श्रृंखला का क्षेत्र , श्रृंखला में प्रदर्शित होने वाले t के सबसे छोटे घातांक के मूल्यांकन के साथ।

उष्णकटिबंधीय बहुपद

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

लॉरेंट बहुपद में एक बहुपद f दिया गया है जहाँ K एक महत्वपूर्ण क्षेत्र है, f का उष्णकटिबंधीयकरण, निरूपित , उनके उष्णकटिबंधीय समकक्षों द्वारा गुणन और योग को प्रतिस्थापित करके f से प्राप्त उष्णकटिबंधीय बहुपद है और K में प्रत्येक स्थिरांक के मूल्यांकन से प्राप्त होता है। यानी यदि

फिर

बिंदुओं का वह समुच्चय जहां एक उष्णकटिबंधीय बहुपद F अविभेद्य है, उससे संबंधित उष्णकटिबंधीय अतिसतह कहलाता है, जिसे निरूपित किया जाता है (बहुपद के बीजगणितीय प्रकार के अनुरूप)। समान रूप से, बिंदुओं का वह समूह है जहां F की शर्तों में न्यूनतम को कम से कम दो बार प्राप्त किया जाता है। कब एक लॉरेंट बहुपद f के लिए, यह बाद का लक्षण वर्णन इस तथ्य को दर्शाता है कि किसी भी समाधान पर , उन सभी को रद्द करने के लिए f की शर्तों का न्यूनतम मूल्यांकन कम से कम दो बार हासिल किया जाना चाहिए[9]

उष्णकटिबंधीय किस्में

परिभाषाएँ

X के लिए बीजगणितीय टोरस में एक बीजगणितीय विविधता , X की उष्णकटिबंधीय किस्म या X का उष्णकटिबंधीयकरण, निरूपित , का एक उपसमुच्चय है जिसे कई तरह से परिभाषित किया जा सकता है। इन परिभाषाओं की तुल्यता को उष्णकटिबंधीय ज्यामिति के मौलिक प्रमेय के रूप में संदर्भित किया जाता है।[9]

उष्णकटिबंधीय हाइपरसर्फ्स का प्रतिच्छेदन

होने देना लॉरेंट बहुपदों का आदर्श बनें जो एक्स में गायब हो जाते हैं . परिभाषित करना

जब X एक हाइपरसफेस है, तो इसका गायब होने वाला आदर्श एक लॉरेंट बहुपद एफ और उष्णकटिबंधीय विविधता द्वारा उत्पन्न एक प्रमुख आदर्श है ठीक उष्णकटिबंधीय हाइपरसफेस है .

प्रत्येक उष्णकटिबंधीय किस्म उष्णकटिबंधीय हाइपरसर्फ्स की एक सीमित संख्या का प्रतिच्छेदन है। बहुपदों का परिमित समुच्चय X के लिए उष्णकटिबंधीय आधार कहा जाता है यदि की उष्णकटिबंधीय हाइपरसर्फफेस का प्रतिच्छेदन है . सामान्य तौर पर, का एक जनरेटिंग सेट उष्णकटिबंधीय आधार बनाने के लिए पर्याप्त नहीं है। एक उष्णकटिबंधीय हाइपरसर्फ्स की एक परिमित संख्या के प्रतिच्छेदन को एक उष्णकटिबंधीय विविधता कहा जाता है और सामान्य तौर पर एक उष्णकटिबंधीय किस्म नहीं है।[9]

प्रारंभिक मॉडल

एक वेक्टर में के एकपदीय शब्दों से एक मानचित्र को परिभाषित करता है प्रति m को अवधि भेजकर . एक लॉरेंट बहुपद के लिए , शब्दों के योग के रूप में f के प्रारंभिक रूप को परिभाषित करें जिसके लिए न्यूनतम है। मॉडल के लिए , इसके संबंध में इसके प्रारंभिक मॉडल को परिभाषित करें होना

फिर परिभाषित करें

चूंकि हम लॉरेंट रिंग में काम कर रहे हैं, यह वज़न वैक्टर के सेट के समान है जिसके लिए एक एकपदीय सम्मिलित नहीं है।

जब K का छोटा मूल्यांकन होता है, का प्रारंभिक मॉडल है एकपद क्रम भार क्रम के संबंध में भार सदिश द्वारा दिया गया . यह इस प्रकार है कि ग्रोबनेर के प्रशंसक का उपप्रशंसक है .

मूल्यांकन मानचित्र की छवि

मान लीजिए कि X एक फ़ील्ड K पर वैल्यूएशन v के साथ एक विविधता है जिसकी छवि सघन है (उदाहरण के लिए प्यूसेक्स श्रृंखला का एक क्षेत्र)। समन्वय-वार कार्य करके, वी बीजगणितीय टोरस से मानचित्र को परिभाषित करता है प्रति . फिर परिभाषित करें

जहां ओवरलाइन यूक्लिडियन टोपोलॉजी में क्लोजर होने का संकेत देता है। यदि K का मूल्यांकन में सघन नहीं है, तो उपरोक्त परिभाषा को स्केलर्स के एक बड़े क्षेत्र में विस्तारित करके अनुकूलित किया जा सकता है, जिसका सघन मूल्यांकन है।

यह परिभाषा दर्शाती है गैर-आर्किमिडीयन अमीबा (गणित) एक बीजगणितीय रूप से बंद क्षेत्र गैर-आर्किमिडीयन क्षेत्र K पर है।[10]

यदि X एक किस्म से अधिक है , अमीबा की सीमित वस्तु के रूप में माना जा सकता है क्योंकि लघुगणक मानचित्र का आधार t अनंत तक जाता है।[11]

बहुफलकीय जटिल

निम्नलिखित लक्षण वर्णन उष्णकटिबंधीय किस्मों का आंतरिक रूप से बीजीय किस्मों और उष्णकटिबंधीयकरण के संदर्भ के बिना वर्णन करता है।

एक सेट V एक अलघुकरणीय उष्णकटिबंधीय विविधता है यदि यह शुद्ध आयाम d के भारित बहुफलकीय परिसर का समर्थन है जो शून्य को संतुष्ट करता है- तनाव की स्थिति और कोडिमेंशन वन में जुड़ा हुआ है। जब d एक होता है, तो शून्य-तनाव की स्थिति का अर्थ है कि प्रत्येक शीर्ष के चारों ओर, किनारों के बाहर जाने वाली दिशाओं का भारित-योग शून्य के बराबर होता है। उच्च आयाम के लिए, इसके बजाय आयाम के प्रत्येक सेल के चारों ओर योग लिया जाता है, इसके बजाय सेल के एफ़िन स्पैन को उद्धृत किया जाता है।[8]

गुण जो V कोडिमेंशन one में जुड़ा हुआ है, इसका मतलब है कि आयाम d कोशिकाओं पर स्थित किन्हीं दो बिंदुओं के लिए, उन्हें जोड़ने वाला एक पथ है जो से कम आयाम वाले किसी भी सेल से नहीं गुजरता है।[12]

उष्णकटिबंधीय वक्र

उष्णकटिबंधीय वक्रों (आयाम एक की उष्णकटिबंधीय किस्में) का अध्ययन विशेष रूप से अच्छी तरह से विकसित है और ग्राफ सिद्धांत से दृढ़ता से संबंधित है। उदाहरण के लिए, उष्णकटिबंधीय वक्रों के विभाजक का सिद्धांत उष्णकटिबंधीय वक्रों से जुड़े रेखांकन पर चिप फायरिंग गेम से संबंधित है।[13]

बीजगणितीय ज्यामिति के कई चिरसम्मत प्रमेयों में उष्णकटिबंधीय ज्यामिति में समकक्ष हैं, जिनमें निम्न सम्मिलित हैं:

ओलेग विरो ने समस्थानिक तक तल में 7 डिग्री के वास्तविक वक्रों को वर्गीकृत करने के लिए उष्णकटिबंधीय वक्रों का उपयोग किया। पैचवर्किंग की उनकी विधि किसी दिए गए समस्थानिक वर्ग के उष्णकटिबंधीय वक्र से वास्तविक वक्र बनाने की प्रक्रिया प्रदान करती है।

अनुप्रयोग

2007 में वित्तीय संकट के दौरान बैंक ऑफ इंग्लैंड द्वारा उपयोग की जाने वाली नीलामियों के पॉल क्लेम्परर के डिजाइन में एक उष्णकटिबंधीय रेखा दिखाई दी।[17] योशिनोरी शियोज़ावा ने उपोष्णकटिबंधीय बीजगणित को अधिकतम-समय या न्यूनतम-समय के सेमीरिंग के रूप में परिभाषित किया (अधिकतम-प्लस और न्यूनतम-के बजाय) प्लस)। उन्होंने पाया कि रिकार्डियन व्यापार सिद्धांत (इनपुट व्यापार के बिना अंतर्राष्ट्रीय व्यापार) को एक उपोष्णकटिबंधीय उत्तल बीजगणित के रूप में व्याख्या किया जा सकता है।[18] उष्णकटिबंधीय ज्यामिति का उपयोग आरईएलयू सक्रियण के साथ फीडफॉरवर्ड न्यूरल नेटवर्क की जटिलता का विश्लेषण करने के लिए भी किया गया है।[19]

इसके अलावा, कार्य निर्धारण, स्थान विश्लेषण, परिवहन नेटवर्क, निर्णय लेने और असतत घटना गतिशील प्रणालियों में उदाहरण के लिए उत्पन्न होने वाली कई अनुकूलन समस्याएं उष्णकटिबंधीय ज्यामिति के ढांचे में तैयार और हल की जा सकती हैं।[20] एबेल-जैकोबी मानचित्र के उष्णकटिबंधीय समतुल्य को क्रिस्टल डिजाइन पर लागू किया जा सकता है।[21] एक भारित परिमित-राज्य ट्रांसड्यूसर में वजन अक्सर एक उष्णकटिबंधीय सेमिरिंग के लिए आवश्यक होता है। उष्णकटिबंधीय ज्यामिति स्व-संगठित गंभीरता दिखा सकती है।[22]

यह भी देखें

टिप्पणियाँ

  1. ↑ Hartnett, Kevin. "Tinkertoy मॉडल नई ज्यामितीय अंतर्दृष्टि उत्पन्न करते हैं". Quanta Magazine. Retrieved 2018-12-12.
  2. ↑ See Cuninghame-Green, Raymond A. (1979). Minimax algebra. ISBN 978-3-540-09113-4 {{cite book}}: |journal= ignored (help) and references therein.
  3. ↑ Maslov, Victor (1987). "अनुकूलन समस्याओं के लिए एक नए अध्यारोपण सिद्धांत पर". Russian Mathematical Surveys. 42:3 (3): 43–54. Bibcode:1987RuMaS..42...43M. doi:10.1070/RM1987v042n03ABEH001439.
  4. ↑ Kontsevich, Maxim; Soibelman, Yan (2000-11-07). "होमोलॉजिकल मिरर समरूपता और टोरस फ़िब्रेशन". arXiv:math/0011041.
  5. ↑ Mikhalkin, Grigory (2005). "R2 में परिगणनात्मक उष्णकटिबंधीय बीजगणितीय ज्यामिति" (PDF). Journal of the American Mathematical Society. 18 (2): 313–377. arXiv:math/0312530. doi:10.1090/S0894-0347-05-00477-7.
  6. ↑ Pin, Jean-Eric (1998). "Tropical semirings" (PDF). In Gunawardena, J. (ed.). अक्षमता. Publications of the Newton Institute. Vol. 11. Cambridge University Press. pp. 50–69. doi:10.1017/CBO9780511662508.004. ISBN 9780511662508.
  7. ↑ Simon, Imre (1988). "Recognizable sets with multiplicities in the tropical semiring". कंप्यूटर विज्ञान 1988 की गणितीय नींव. Lecture Notes in Computer Science. Vol. 324. pp. 107–120. doi:10.1007/BFb0017135. ISBN 978-3-540-50110-7.
  8. ↑ 8.0 8.1 Speyer, David; Sturmfels, Bernd (2009), "Tropical mathematics" (PDF), Mathematics Magazine, 82 (3): 163–173, doi:10.1080/0025570X.2009.11953615, S2CID 15278805
  9. ↑ 9.0 9.1 9.2 Maclagan, Diane; Sturmfels, Bernd (2015). उष्णकटिबंधीय ज्यामिति का परिचय. American Mathematical Society. ISBN 9780821851982.
  10. ↑ Mikhalkin, Grigory (2004). "Amoebas of algebraic varieties and tropical geometry". In Donaldson, Simon; Eliashberg, Yakov; Gromov, Mikhael (eds.). ज्यामिति के विभिन्न चेहरे. International Mathematical Series. Vol. 3. New York, NY: Kluwer Academic/Plenum Publishers. pp. 257–300. ISBN 978-0-306-48657-9. Zbl 1072.14013.
  11. ↑ Katz, Eric (2017), "What is Tropical Geometry?" (PDF), Notices of the American Mathematical Society, 64 (4): 380–382, doi:10.1090/noti1507
  12. ↑ Cartwright, Dustin; Payne, Sam (2012), "Connectivity of tropicalizations", Mathematical Research Letters, 19 (5): 1089–1095, arXiv:1204.6589, Bibcode:2012arXiv1204.6589C, doi:10.4310/MRL.2012.v19.n5.a10, S2CID 51767353
  13. ↑ Hladký, Jan; Králʼ, Daniel; Norine, Serguei (2013-09-01). "उष्णकटिबंधीय वक्रों पर विभाजकों की श्रेणी". Journal of Combinatorial Theory, Series A (in English). 120 (7): 1521–1538. arXiv:0709.4485. doi:10.1016/j.jcta.2013.05.002. ISSN 0097-3165. S2CID 3045053.
  14. ↑ Tabera, Luis Felipe (2005-01-01). "उष्णकटिबंधीय रचनात्मक पप्पस प्रमेय". International Mathematics Research Notices (in English). 2005 (39): 2373–2389. arXiv:math/0409126. doi:10.1155/IMRN.2005.2373. ISSN 1073-7928.
  15. ↑ Kerber, Michael; Gathmann, Andreas (2008-05-01). "उष्णकटिबंधीय ज्यामिति में एक रीमैन-रोच प्रमेय". Mathematische Zeitschrift (in English). 259 (1): 217–230. arXiv:math/0612129. doi:10.1007/s00209-007-0222-4. ISSN 1432-1823. S2CID 15239772.
  16. ↑ Chan, Melody; Sturmfels, Bernd (2013). "Elliptic curves in honeycomb form". In Brugallé, Erwan (ed.). ट्रॉपिकल ज्योमेट्री के बीजगणितीय और दहनशील पहलू। ट्रॉपिकल ज्योमेट्री पर सीआईईएम वर्कशॉप पर आधारित प्रोसीडिंग्स, इंटरनेशनल सेंटर फॉर मैथमैटिकल मीटिंग्स (सीआईईएम), कास्त्रो उर्डियल्स, स्पेन, 12-16 दिसंबर, 2011. Contemporary Mathematics. Vol. 589. Providence, RI: American Mathematical Society. pp. 87–107. arXiv:1203.2356. Bibcode:2012arXiv1203.2356C. ISBN 978-0-8218-9146-9. Zbl 1312.14142.
  17. ↑ "बैंकिंग संकट के दौरान ज्यामिति बचाव में कैसे आई". Department of Economics, University of Oxford. Retrieved 24 March 2014.
  18. ↑ Shiozawa, Yoshinori (2015). "अंतर्राष्ट्रीय व्यापार सिद्धांत और विदेशी बीजगणित". Evolutionary and Institutional Economics Review. 12: 177–212. doi:10.1007/s40844-015-0012-3. S2CID 155827635. This is a digest of Y. Shiozawa, "Subtropical Convex Geometry as the Ricardian Theory of International Trade" draft paper.
  19. ↑ Zhang, Liwen; Naitzat, Gregory; Lim, Lek-Heng (2018). "गहरे तंत्रिका नेटवर्क की उष्णकटिबंधीय ज्यामिति". Proceedings of the 35th International Conference on Machine Learning. 35th International Conference on Machine Learning. pp. 5824–5832.
  20. ↑ Krivulin, Nikolai (2014). "Tropical optimization problems". In Leon A. Petrosyan; David W. K. Yeung; Joseph V. Romanovsky (eds.). अर्थशास्त्र और अनुकूलन में प्रगति: एल. वी. कांटोरोविच की स्मृति को समर्पित एकत्रित वैज्ञानिक अध्ययन. New York: Nova Science Publishers. pp. 195–214. arXiv:1408.0313. ISBN 978-1-63117-073-7.
  21. ↑ Sunada, T. (2012). सामयिक क्रिस्टलोग्राफी: असतत ज्यामितीय विश्लेषण की ओर एक दृश्य के साथ. Surveys and Tutorials in the Applied Mathematical Sciences. Vol. 6. Springer Japan. ISBN 9784431541769.
  22. ↑ Kalinin, N.; Guzmán-Sáenz, A.; Prieto, Y.; Shkolnikov, M.; Kalinina, V.; Lupercio, E. (2018-08-15). "उष्णकटिबंधीय ज्यामिति के लेंस के माध्यम से स्व-संगठित आलोचना और पैटर्न का उद्भव". Proceedings of the National Academy of Sciences of the United States of America (in English). 115 (35): E8135–E8142. arXiv:1806.09153. Bibcode:2018arXiv180609153K. doi:10.1073/pnas.1805847115. ISSN 0027-8424. PMC 6126730. PMID 30111541.

संदर्भ

अग्रिम पठन

बाहरी संबंध

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=उष्णकटिबंधीय_ज्यामिति&oldid=47496’