कैलाबी अनुमान: Difference between revisions
From Vigyanwiki
(Created page with "{{short description|Riemannian metrics, complex manifolds}} विभेदक ज्यामिति के गणितीय क्षेत्र में, कै...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{short description|Riemannian metrics, complex manifolds}} | {{short description|Riemannian metrics, complex manifolds}} | ||
[[विभेदक ज्यामिति]] के गणितीय क्षेत्र में, कैलाबी अनुमान कुछ जटिल मैनिफोल्ड्स पर कुछ प्रकार के [[ रीमैनियन मीट्रिक ]]्स के अस्तित्व के बारे में | [[विभेदक ज्यामिति]] के गणितीय क्षेत्र में, कैलाबी अनुमान कुछ जटिल मैनिफोल्ड्स पर कुछ प्रकार के [[ रीमैनियन मीट्रिक |रीमैनियन मीट्रिक]] ्स के अस्तित्व के बारे में अनुमान था, जो द्वारा बनाया गया था {{harvs |txt |authorlink=Eugenio Calabi |first=Eugenio |last=Calabi |year =1954 |year2=1957}}. से यह सिद्ध हो गया {{harvs |txt |authorlink=Shing-Tung Yau |first=Shing-Tung |last= Yau |year1=1977 |year2= 1978}}, जिन्होंने अपने प्रमाण के लिए ज्यामिति में [[फील्ड्स मेडल]] और ओसवाल्ड वेब्लेन पुरस्कार प्राप्त किया। उनका काम, मुख्य रूप से अण्डाकार आंशिक अंतर समीकरण का विश्लेषण जिसे मोंगे-एम्पीयर समीकरण | जटिल मोंज-एम्पीयर समीकरण के रूप में जाना जाता है, [[ज्यामितीय विश्लेषण]] के क्षेत्र में प्रभावशाली प्रारंभिक परिणाम था। | ||
अधिक सटीक रूप से, कैलाबी का अनुमान बंद मैनिफोल्ड कॉम्प्लेक्स मैनिफोल्ड्स पर काहलर मेट्रिक्स की सेटिंग के भीतर [[निर्धारित रिक्की वक्रता समस्या]] के समाधान का दावा करता है। चेर्न-वेइल सिद्धांत के अनुसार, ऐसे किसी भी मीट्रिक का रिक्की वक्रता # काहलर मैनिफोल्ड्स | अधिक सटीक रूप से, कैलाबी का अनुमान बंद मैनिफोल्ड कॉम्प्लेक्स मैनिफोल्ड्स पर काहलर मेट्रिक्स की सेटिंग के भीतर [[निर्धारित रिक्की वक्रता समस्या]] के समाधान का दावा करता है। चेर्न-वेइल सिद्धांत के अनुसार, ऐसे किसी भी मीट्रिक का रिक्की वक्रता # काहलर मैनिफोल्ड्स [[विभेदक रूप]] है | बंद विभेदक 2-रूप जो पहले चेर्न वर्ग का प्रतिनिधित्व करता है। कैलाबी ने ऐसे किसी भी भिन्न रूप के लिए अनुमान लगाया {{mvar|R}}, प्रत्येक काहलर ज्यामिति में बिल्कुल काहलर मीट्रिक है|काहलर वर्ग जिसका रिक्की रूप है {{mvar|R}}. (कुछ कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स कोई काहलर वर्ग स्वीकार नहीं करते हैं, जिस स्थिति में अनुमान शून्य है।) | ||
विशेष मामले में कि पहला चेर्न वर्ग गायब हो जाता है, इसका तात्पर्य यह है कि प्रत्येक काहलर वर्ग में बिल्कुल | विशेष मामले में कि पहला चेर्न वर्ग गायब हो जाता है, इसका तात्पर्य यह है कि प्रत्येक काहलर वर्ग में बिल्कुल [[रिक्की-फ्लैट मैनिफोल्ड]]|रिक्की-फ्लैट मीट्रिक शामिल है। इन्हें अक्सर कैलाबी-याउ मैनिफोल्ड्स कहा जाता है। हालाँकि, इस शब्द का प्रयोग अक्सर विभिन्न लेखकों द्वारा थोड़े अलग तरीकों से किया जाता है - उदाहरण के लिए, कुछ उपयोग जटिल मैनिफोल्ड को संदर्भित कर सकते हैं जबकि अन्य विशेष रिक्की-फ्लैट काहलर मीट्रिक के साथ जटिल मैनिफोल्ड को संदर्भित कर सकते हैं। | ||
इस विशेष मामले को कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स पर शून्य स्केलर वक्रता के काहलर-आइंस्टीन मेट्रिक्स के लिए पूर्ण अस्तित्व और विशिष्टता सिद्धांत के रूप में माना जा सकता है। गैर-शून्य [[अदिश वक्रता]] का मामला कैलाबी के अनुमान के | इस विशेष मामले को कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स पर शून्य स्केलर वक्रता के काहलर-आइंस्टीन मेट्रिक्स के लिए पूर्ण अस्तित्व और विशिष्टता सिद्धांत के रूप में माना जा सकता है। गैर-शून्य [[अदिश वक्रता]] का मामला कैलाबी के अनुमान के विशेष मामले के रूप में अनुसरण नहीं करता है, क्योंकि काहलर-आइंस्टीन समस्या का 'दाहिना हाथ' 'अज्ञात' मीट्रिक पर निर्भर करता है, जिससे काहलर-आइंस्टीन समस्या को डोमेन के बाहर रखा जाता है। रिक्की वक्रता निर्धारित करना। हालाँकि, कैलाबी अनुमान को हल करने में जटिल मोंज-एम्पीयर समीकरण का याउ का विश्लेषण पर्याप्त रूप से सामान्य था ताकि नकारात्मक स्केलर वक्रता के काहलर-आइंस्टीन मेट्रिक्स के अस्तित्व को भी हल किया जा सके। सकारात्मक अदिश वक्रता का तीसरा और अंतिम मामला 2010 में आंशिक रूप से कैलाबी अनुमान का उपयोग करके हल किया गया था। | ||
==कैलाबी अनुमान के प्रमाण की रूपरेखा== | ==कैलाबी अनुमान के प्रमाण की रूपरेखा== | ||
कैलाबी ने कैलाबी अनुमान को जटिल मोंगे-एम्पीयर समीकरण | मोंज-एम्पीयर प्रकार के | कैलाबी ने कैलाबी अनुमान को जटिल मोंगे-एम्पीयर समीकरण | मोंज-एम्पीयर प्रकार के गैर-रेखीय आंशिक अंतर समीकरण में बदल दिया, और दिखाया कि इस समीकरण में अधिकतम समाधान है, इस प्रकार आवश्यक काहलर मीट्रिक की विशिष्टता स्थापित होती है। | ||
याउ ने [[निरंतरता विधि]] का उपयोग करके इस समीकरण का समाधान बनाकर कैलाबी अनुमान को सिद्ध किया। इसमें पहले | याउ ने [[निरंतरता विधि]] का उपयोग करके इस समीकरण का समाधान बनाकर कैलाबी अनुमान को सिद्ध किया। इसमें पहले आसान समीकरण को हल करना और फिर यह दिखाना शामिल है कि आसान समीकरण के समाधान को लगातार कठिन समीकरण के समाधान में विकृत किया जा सकता है। याउ के समाधान का सबसे कठिन हिस्सा समाधानों के व्युत्पन्नों के लिए निश्चित प्राथमिक अनुमानों को सिद्ध करना है। | ||
===कैलाबी अनुमान का | ===कैलाबी अनुमान का विभेदक समीकरण में परिवर्तन=== | ||
लगता है कि <math>M</math> काहलर रूप के साथ | लगता है कि <math>M</math> काहलर रूप के साथ जटिल कॉम्पैक्ट मैनिफोल्ड है <math>\omega</math>. | ||
Ddbar लेम्मा द्वारा|<math>\partial \bar \partial</math>-लेम्मा, उसी [[डी गर्भ एक तीर्थयात्री के रूप में]] वर्ग में कोई अन्य काहलर फॉर्म का है | Ddbar लेम्मा द्वारा|<math>\partial \bar \partial</math>-लेम्मा, उसी [[डी गर्भ एक तीर्थयात्री के रूप में|डी गर्भ तीर्थयात्री के रूप में]] वर्ग में कोई अन्य काहलर फॉर्म का है | ||
:<math>\omega+dd'\varphi</math> | :<math>\omega+dd'\varphi</math> | ||
कुछ सुचारु कार्य के लिए <math>\varphi</math> पर <math>M</math>, किसी स्थिरांक को जोड़ने तक अद्वितीय। कैलाबी अनुमान इसलिए निम्नलिखित समस्या के बराबर है: | कुछ सुचारु कार्य के लिए <math>\varphi</math> पर <math>M</math>, किसी स्थिरांक को जोड़ने तक अद्वितीय। कैलाबी अनुमान इसलिए निम्नलिखित समस्या के बराबर है: | ||
:होने देना <math>F=e^f</math> पर | :होने देना <math>F=e^f</math> पर सकारात्मक सुचारू कार्य हो <math>M</math> औसत मान 1 के साथ। फिर सुचारू वास्तविक कार्य होता है <math>\varphi</math>; साथ | ||
::<math>(\omega+dd'\varphi)^m = e^f\omega^m</math> | ::<math>(\omega+dd'\varphi)^m = e^f\omega^m</math> | ||
:और <math>\varphi</math>; किसी स्थिरांक को जोड़ने तक अद्वितीय है। | :और <math>\varphi</math>; किसी स्थिरांक को जोड़ने तक अद्वितीय है। | ||
यह एकल फ़ंक्शन के लिए जटिल Monge-Ampère प्रकार का समीकरण है <math>\varphi</math>. | यह एकल फ़ंक्शन के लिए जटिल Monge-Ampère प्रकार का समीकरण है <math>\varphi</math>. | ||
इसे हल करना विशेष रूप से कठिन आंशिक अंतर समीकरण है, क्योंकि यह उच्चतम क्रम के संदर्भ में गैर-रैखिक है। जब इसे सुलझाना आसान होता है <math>f=0</math>, जैसा <math>\varphi = 0 </math> | इसे हल करना विशेष रूप से कठिन आंशिक अंतर समीकरण है, क्योंकि यह उच्चतम क्रम के संदर्भ में गैर-रैखिक है। जब इसे सुलझाना आसान होता है <math>f=0</math>, जैसा <math>\varphi = 0 </math> समाधान है. निरंतरता पद्धति का विचार यह दिखाना है कि इसे सभी के लिए हल किया जा सकता है <math>f</math> यह दिखाकर कि का सेट <math>f</math> जिसके लिए इसे हल किया जा सकता है वह खुला और बंद दोनों है। के सेट के बाद से <math>f</math> जिसके लिए इसे हल किया जा सकता है वह गैर-रिक्त है, और सभी का सेट है <math>f</math> जुड़ा हुआ है, इससे पता चलता है कि इसे सभी के लिए हल किया जा सकता है <math>f</math>. | ||
सुचारु कार्यों से लेकर सुचारु कार्यों तक का मानचित्र <math>\varphi</math> को <math>F</math> द्वारा परिभाषित | सुचारु कार्यों से लेकर सुचारु कार्यों तक का मानचित्र <math>\varphi</math> को <math>F</math> द्वारा परिभाषित | ||
::<math>F=(\omega+dd'\varphi)^m/\omega^m</math> | ::<math>F=(\omega+dd'\varphi)^m/\omega^m</math> | ||
न तो विशेषण है और न ही विशेषण। इसमें | न तो विशेषण है और न ही विशेषण। इसमें स्थिरांक जोड़ने के कारण यह इंजेक्शन नहीं है <math>\varphi</math> बदलना मत <math>F</math>, और यह विशेषण नहीं है क्योंकि <math>F</math> सकारात्मक होना चाहिए और औसत मान 1 होना चाहिए। इसलिए हम मानचित्र को कार्यों तक ही सीमित मानते हैं <math>\varphi</math> जिसे औसत मान 0 के लिए सामान्यीकृत किया जाता है, और पूछा जाता है कि क्या यह मानचित्र सकारात्मक के सेट पर समरूपता है <math>F=e^f</math> औसत मान 1 के साथ। कैलाबी और याउ ने साबित किया कि यह वास्तव में समरूपता है। यह नीचे वर्णित कई चरणों में किया जाता है। | ||
===समाधान की विशिष्टता=== | ===समाधान की विशिष्टता=== | ||
| Line 36: | Line 36: | ||
यह साबित करने में कि समाधान अद्वितीय है, इसमें यह दिखाना शामिल है कि यदि | यह साबित करने में कि समाधान अद्वितीय है, इसमें यह दिखाना शामिल है कि यदि | ||
:<math>(\omega+dd'\varphi_1)^m = (\omega+dd'\varphi_2)^m</math> | :<math>(\omega+dd'\varphi_1)^m = (\omega+dd'\varphi_2)^m</math> | ||
फिर φ<sub>1</sub> और φ<sub>2</sub> | फिर φ<sub>1</sub> और φ<sub>2</sub> स्थिरांक से भिन्न | ||
(यदि वे दोनों औसत मान 0 के लिए सामान्यीकृत हैं तो यह समान होना चाहिए)। | (यदि वे दोनों औसत मान 0 के लिए सामान्यीकृत हैं तो यह समान होना चाहिए)। | ||
कैलाबी ने यह साबित करके दिखाया कि का औसत मूल्य | कैलाबी ने यह साबित करके दिखाया कि का औसत मूल्य | ||
| Line 42: | Line 42: | ||
एक अभिव्यक्ति द्वारा दिया गया है जो अधिकतम 0 है। चूँकि यह स्पष्ट रूप से कम से कम 0 है, यह 0 ही होना चाहिए, इसलिए | एक अभिव्यक्ति द्वारा दिया गया है जो अधिकतम 0 है। चूँकि यह स्पष्ट रूप से कम से कम 0 है, यह 0 ही होना चाहिए, इसलिए | ||
:<math>d(\varphi_1-\varphi_2) = 0</math> | :<math>d(\varphi_1-\varphi_2) = 0</math> | ||
जो बदले में φ को बल देता है<sub>1</sub> और φ<sub>2</sub> | जो बदले में φ को बल देता है<sub>1</sub> और φ<sub>2</sub> स्थिरांक से भिन्न होना। | ||
===F का समुच्चय खुला है=== | ===F का समुच्चय खुला है=== | ||
| Line 51: | Line 51: | ||
यह सबूत का सबसे कठिन हिस्सा है, और यह हिस्सा यॉ द्वारा किया गया था। | यह सबूत का सबसे कठिन हिस्सा है, और यह हिस्सा यॉ द्वारा किया गया था। | ||
मान लीजिए कि एफ संभव की छवि के बंद होने में है | मान लीजिए कि एफ संभव की छवि के बंद होने में है | ||
कार्य φ. इसका मतलब है कि | कार्य φ. इसका मतलब है कि क्रम है | ||
कार्य φ<sub>1</sub>, फ़ि<sub>2</sub>, ... | कार्य φ<sub>1</sub>, फ़ि<sub>2</sub>, ... | ||
इस प्रकार कि संगत फलन F<sub>1</sub>, एफ<sub>2</sub>,... | इस प्रकार कि संगत फलन F<sub>1</sub>, एफ<sub>2</sub>,... | ||
F पर अभिसरित होता है, और समस्या यह दिखाने के लिए है कि φs का कुछ अनुवर्ती | F पर अभिसरित होता है, और समस्या यह दिखाने के लिए है कि φs का कुछ अनुवर्ती समाधान φ में अभिसरित होता है। ऐसा करने के लिए, Yau फ़ंक्शंस φ के लिए कुछ प्राथमिक सीमाएं ढूंढता है<sub>''i''</sub> और उनके उच्चतर डेरिवेटिव | ||
लॉग (एफ) के उच्च डेरिवेटिव के संदर्भ में<sub>''i''</sub>). इन सीमाओं को खोजने के लिए कठिन अनुमानों के | लॉग (एफ) के उच्च डेरिवेटिव के संदर्भ में<sub>''i''</sub>). इन सीमाओं को खोजने के लिए कठिन अनुमानों के लंबे अनुक्रम की आवश्यकता होती है, जिनमें से प्रत्येक पिछले अनुमान पर थोड़ा सुधार करता है। आपको जो सीमाएँ मिलती हैं, वे यह दर्शाने के लिए पर्याप्त हैं कि फलन φ है<sub>''i''</sub> सभी फ़ंक्शनों के उपयुक्त बानाच स्थान के कॉम्पैक्ट उपसमुच्चय में स्थित हैं, इसलिए अभिसरण अनुवर्ती खोजना संभव है। | ||
यह अनुवर्ती छवि F के साथ | यह अनुवर्ती छवि F के साथ फ़ंक्शन φ में परिवर्तित हो जाता है, जो | ||
दर्शाता है कि संभावित छवियों का सेट F बंद है। | दर्शाता है कि संभावित छवियों का सेट F बंद है। | ||
| Line 70: | Line 70: | ||
*{{Citation | last=Yau | first=Shing Tung | authorlink=Shing-Tung Yau |title=On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation. I | doi=10.1002/cpa.3160310304 | mr=480350 | year=1978 | journal=[[Communications on Pure and Applied Mathematics]] | volume=31 | issue=3 | pages=339–411}} | *{{Citation | last=Yau | first=Shing Tung | authorlink=Shing-Tung Yau |title=On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation. I | doi=10.1002/cpa.3160310304 | mr=480350 | year=1978 | journal=[[Communications on Pure and Applied Mathematics]] | volume=31 | issue=3 | pages=339–411}} | ||
{{refend}} | {{refend}} | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
*{{citation |last=Yau | first=Shing Tung | authorlink=Shing-Tung Yau |title=Calabi-Yau manifold |doi=10.4249/scholarpedia.6524 | bibcode=2009SchpJ...4.6524Y |year=2009 |journal=Scholarpedia |volume=4 |issue=8 |pages=6524|doi-access=free }} | *{{citation |last=Yau | first=Shing Tung | authorlink=Shing-Tung Yau |title=Calabi-Yau manifold |doi=10.4249/scholarpedia.6524 | bibcode=2009SchpJ...4.6524Y |year=2009 |journal=Scholarpedia |volume=4 |issue=8 |pages=6524|doi-access=free }} | ||
Revision as of 18:02, 21 July 2023
विभेदक ज्यामिति के गणितीय क्षेत्र में, कैलाबी अनुमान कुछ जटिल मैनिफोल्ड्स पर कुछ प्रकार के रीमैनियन मीट्रिक ्स के अस्तित्व के बारे में अनुमान था, जो द्वारा बनाया गया था Eugenio Calabi (1954, 1957). से यह सिद्ध हो गया Shing-Tung Yau (1977, 1978), जिन्होंने अपने प्रमाण के लिए ज्यामिति में फील्ड्स मेडल और ओसवाल्ड वेब्लेन पुरस्कार प्राप्त किया। उनका काम, मुख्य रूप से अण्डाकार आंशिक अंतर समीकरण का विश्लेषण जिसे मोंगे-एम्पीयर समीकरण | जटिल मोंज-एम्पीयर समीकरण के रूप में जाना जाता है, ज्यामितीय विश्लेषण के क्षेत्र में प्रभावशाली प्रारंभिक परिणाम था।
अधिक सटीक रूप से, कैलाबी का अनुमान बंद मैनिफोल्ड कॉम्प्लेक्स मैनिफोल्ड्स पर काहलर मेट्रिक्स की सेटिंग के भीतर निर्धारित रिक्की वक्रता समस्या के समाधान का दावा करता है। चेर्न-वेइल सिद्धांत के अनुसार, ऐसे किसी भी मीट्रिक का रिक्की वक्रता # काहलर मैनिफोल्ड्स विभेदक रूप है | बंद विभेदक 2-रूप जो पहले चेर्न वर्ग का प्रतिनिधित्व करता है। कैलाबी ने ऐसे किसी भी भिन्न रूप के लिए अनुमान लगाया R, प्रत्येक काहलर ज्यामिति में बिल्कुल काहलर मीट्रिक है|काहलर वर्ग जिसका रिक्की रूप है R. (कुछ कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स कोई काहलर वर्ग स्वीकार नहीं करते हैं, जिस स्थिति में अनुमान शून्य है।)
विशेष मामले में कि पहला चेर्न वर्ग गायब हो जाता है, इसका तात्पर्य यह है कि प्रत्येक काहलर वर्ग में बिल्कुल रिक्की-फ्लैट मैनिफोल्ड|रिक्की-फ्लैट मीट्रिक शामिल है। इन्हें अक्सर कैलाबी-याउ मैनिफोल्ड्स कहा जाता है। हालाँकि, इस शब्द का प्रयोग अक्सर विभिन्न लेखकों द्वारा थोड़े अलग तरीकों से किया जाता है - उदाहरण के लिए, कुछ उपयोग जटिल मैनिफोल्ड को संदर्भित कर सकते हैं जबकि अन्य विशेष रिक्की-फ्लैट काहलर मीट्रिक के साथ जटिल मैनिफोल्ड को संदर्भित कर सकते हैं।
इस विशेष मामले को कॉम्पैक्ट कॉम्प्लेक्स मैनिफोल्ड्स पर शून्य स्केलर वक्रता के काहलर-आइंस्टीन मेट्रिक्स के लिए पूर्ण अस्तित्व और विशिष्टता सिद्धांत के रूप में माना जा सकता है। गैर-शून्य अदिश वक्रता का मामला कैलाबी के अनुमान के विशेष मामले के रूप में अनुसरण नहीं करता है, क्योंकि काहलर-आइंस्टीन समस्या का 'दाहिना हाथ' 'अज्ञात' मीट्रिक पर निर्भर करता है, जिससे काहलर-आइंस्टीन समस्या को डोमेन के बाहर रखा जाता है। रिक्की वक्रता निर्धारित करना। हालाँकि, कैलाबी अनुमान को हल करने में जटिल मोंज-एम्पीयर समीकरण का याउ का विश्लेषण पर्याप्त रूप से सामान्य था ताकि नकारात्मक स्केलर वक्रता के काहलर-आइंस्टीन मेट्रिक्स के अस्तित्व को भी हल किया जा सके। सकारात्मक अदिश वक्रता का तीसरा और अंतिम मामला 2010 में आंशिक रूप से कैलाबी अनुमान का उपयोग करके हल किया गया था।
कैलाबी अनुमान के प्रमाण की रूपरेखा
कैलाबी ने कैलाबी अनुमान को जटिल मोंगे-एम्पीयर समीकरण | मोंज-एम्पीयर प्रकार के गैर-रेखीय आंशिक अंतर समीकरण में बदल दिया, और दिखाया कि इस समीकरण में अधिकतम समाधान है, इस प्रकार आवश्यक काहलर मीट्रिक की विशिष्टता स्थापित होती है।
याउ ने निरंतरता विधि का उपयोग करके इस समीकरण का समाधान बनाकर कैलाबी अनुमान को सिद्ध किया। इसमें पहले आसान समीकरण को हल करना और फिर यह दिखाना शामिल है कि आसान समीकरण के समाधान को लगातार कठिन समीकरण के समाधान में विकृत किया जा सकता है। याउ के समाधान का सबसे कठिन हिस्सा समाधानों के व्युत्पन्नों के लिए निश्चित प्राथमिक अनुमानों को सिद्ध करना है।
कैलाबी अनुमान का विभेदक समीकरण में परिवर्तन
लगता है कि काहलर रूप के साथ जटिल कॉम्पैक्ट मैनिफोल्ड है . Ddbar लेम्मा द्वारा|-लेम्मा, उसी डी गर्भ तीर्थयात्री के रूप में वर्ग में कोई अन्य काहलर फॉर्म का है
कुछ सुचारु कार्य के लिए पर , किसी स्थिरांक को जोड़ने तक अद्वितीय। कैलाबी अनुमान इसलिए निम्नलिखित समस्या के बराबर है:
- होने देना पर सकारात्मक सुचारू कार्य हो औसत मान 1 के साथ। फिर सुचारू वास्तविक कार्य होता है ; साथ
- और ; किसी स्थिरांक को जोड़ने तक अद्वितीय है।
यह एकल फ़ंक्शन के लिए जटिल Monge-Ampère प्रकार का समीकरण है . इसे हल करना विशेष रूप से कठिन आंशिक अंतर समीकरण है, क्योंकि यह उच्चतम क्रम के संदर्भ में गैर-रैखिक है। जब इसे सुलझाना आसान होता है , जैसा समाधान है. निरंतरता पद्धति का विचार यह दिखाना है कि इसे सभी के लिए हल किया जा सकता है यह दिखाकर कि का सेट जिसके लिए इसे हल किया जा सकता है वह खुला और बंद दोनों है। के सेट के बाद से जिसके लिए इसे हल किया जा सकता है वह गैर-रिक्त है, और सभी का सेट है जुड़ा हुआ है, इससे पता चलता है कि इसे सभी के लिए हल किया जा सकता है .
सुचारु कार्यों से लेकर सुचारु कार्यों तक का मानचित्र को द्वारा परिभाषित