निश्चित-बिंदु प्रमेय: Difference between revisions
No edit summary |
No edit summary |
||
| Line 55: | Line 55: | ||
[[लैम्ब्डा कैलकुलस]] में सामान्य विषय दिए गए लैम्ब्डा अभिव्यक्ति के निश्चित बिंदुओं का शोधन करना है। प्रत्येक लैम्ब्डा अभिव्यक्ति का निश्चित बिंदु होता है, एवं [[फिक्स्ड-पॉइंट कॉम्बिनेटर|निश्चित-बिंदु संयोजक]] ऐसा फ़ंक्शन होता है जो इनपुट के रूप में लैम्ब्डा अभिव्यक्ति लेता है एवं आउटपुट के रूप में उस अभिव्यक्ति का निश्चित बिंदु उत्पन्न करता है।<ref>{{cite book|last=Peyton Jones|first=Simon L.|title=कार्यात्मक प्रोग्रामिंग का कार्यान्वयन|year=1987|publisher=Prentice Hall International|url=http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/}}</ref> महत्वपूर्ण निश्चित-बिंदु संयोजक निश्चित-बिंदु संयोजक Y संयोजक है जिसका उपयोग [[ रिकर्सन (कंप्यूटर विज्ञान) ]] की परिभाषा देने के लिए किया जाता है। | [[लैम्ब्डा कैलकुलस]] में सामान्य विषय दिए गए लैम्ब्डा अभिव्यक्ति के निश्चित बिंदुओं का शोधन करना है। प्रत्येक लैम्ब्डा अभिव्यक्ति का निश्चित बिंदु होता है, एवं [[फिक्स्ड-पॉइंट कॉम्बिनेटर|निश्चित-बिंदु संयोजक]] ऐसा फ़ंक्शन होता है जो इनपुट के रूप में लैम्ब्डा अभिव्यक्ति लेता है एवं आउटपुट के रूप में उस अभिव्यक्ति का निश्चित बिंदु उत्पन्न करता है।<ref>{{cite book|last=Peyton Jones|first=Simon L.|title=कार्यात्मक प्रोग्रामिंग का कार्यान्वयन|year=1987|publisher=Prentice Hall International|url=http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/}}</ref> महत्वपूर्ण निश्चित-बिंदु संयोजक निश्चित-बिंदु संयोजक Y संयोजक है जिसका उपयोग [[ रिकर्सन (कंप्यूटर विज्ञान) ]] की परिभाषा देने के लिए किया जाता है। | ||
प्रोग्रामिंग भाषाओं के [[सांकेतिक शब्दार्थ]] में, पुनरावर्ती परिभाषाओं के शब्दार्थ को स्थापित करने के लिए नास्टर-टार्स्की प्रमेय का | प्रोग्रामिंग भाषाओं के [[सांकेतिक शब्दार्थ]] में, पुनरावर्ती परिभाषाओं के शब्दार्थ को स्थापित करने के लिए नास्टर-टार्स्की प्रमेय का विशेष विषय उपयोग किया जाता है। जबकि निश्चित-बिंदु प्रमेय कार्य पर प्रारम्भ होता है, सिद्धांत का विकास अत्यधिक भिन्न होता है। | ||
क्लेन के पुनरावर्तन प्रमेय को प्रारम्भ करके[[संगणनीयता सिद्धांत]] सिद्धांत में पुनरावर्ती कार्य की एक ही परिभाषा दी जा सकती है।<ref>Cutland, N.J., ''Computability: An introduction to recursive function theory'', Cambridge University Press, 1980. {{isbn|0-521-29465-7}}</ref> ये परिणाम समतुल्य प्रमेय नहीं हैं; नास्टर-टार्स्की प्रमेय, निरूपण शब्दार्थ में उपयोग किए जाने वाले परिणामों की तुलना में बहुत मजबूत परिणाम है।<ref>''The foundations of program verification'', 2nd edition, Jacques Loeckx and Kurt Sieber, John Wiley & Sons, {{isbn|0-471-91282-4}}, Chapter 4; theorem 4.24, page 83, is what is used in denotational semantics, while Knaster–Tarski theorem is given to prove as exercise 4.3–5 on page 90.</ref> हालांकि, चर्च-ट्यूरिंग थीसिस के प्रकाश में उनका सहज अर्थ समान है: एक पुनरावर्ती कार्य को एक निश्चित कार्यात्मक, मानचित्रण कार्यों के कार्यों के कम से कम निश्चित बिंदु के रूप में वर्णित किया जा सकता है। | क्लेन के पुनरावर्तन प्रमेय को प्रारम्भ करके[[संगणनीयता सिद्धांत]] सिद्धांत में पुनरावर्ती कार्य की एक ही परिभाषा दी जा सकती है।<ref>Cutland, N.J., ''Computability: An introduction to recursive function theory'', Cambridge University Press, 1980. {{isbn|0-521-29465-7}}</ref> ये परिणाम समतुल्य प्रमेय नहीं हैं; नास्टर-टार्स्की प्रमेय, निरूपण शब्दार्थ में उपयोग किए जाने वाले परिणामों की तुलना में बहुत मजबूत परिणाम है।<ref>''The foundations of program verification'', 2nd edition, Jacques Loeckx and Kurt Sieber, John Wiley & Sons, {{isbn|0-471-91282-4}}, Chapter 4; theorem 4.24, page 83, is what is used in denotational semantics, while Knaster–Tarski theorem is given to prove as exercise 4.3–5 on page 90.</ref> हालांकि, चर्च-ट्यूरिंग थीसिस के प्रकाश में उनका सहज अर्थ समान है: एक पुनरावर्ती कार्य को एक निश्चित कार्यात्मक, मानचित्रण कार्यों के कार्यों के कम से कम निश्चित बिंदु के रूप में वर्णित किया जा सकता है। | ||
Revision as of 11:31, 23 May 2023
गणित में, निश्चित-बिंदु प्रमेय परिणाम है जो कहता है, कि (गणित) F पर कुछ नियमो के अनुसार फ़ंक्शन में कम से कम निश्चित बिंदु (गणित) होगा, जिसे सामान्य शब्दों में कहा जा सकता है।[1]
गणितीय विश्लेषण में
बानाच निश्चित-बिंदु प्रमेय (1922) सामान्य मानदंड देता है जो आश्वासन देता है कि, यदि यह संतुष्ट है, तो पुनरावृत्ति की प्रक्रिया निश्चित बिंदु उत्पन्न करती है।[2] इसके विपरीत, ब्रोवर निश्चित-बिंदु प्रमेय (1911)रचनात्मक परिणाम है यह कहता है कि एन-डायमेंशनल यूक्लिडियन अंतरिक्ष में संवृत यूनिट बॉल से किसी भी निरंतर कार्य का निश्चित बिंदु होना चाहिए,[3] किन्तु यह वर्णन नहीं करता है कि निश्चित बिंदु का शोधन किस प्रकार किया जाये।
उदाहरण के लिए, कोज्या फलन [−1,1] में निरंतर है एवं इसे [−1, 1] में मैप करता है, इस प्रकार निश्चित बिंदु होना चाहिए। कोसाइन फ़ंक्शन के स्केच किए गए ग्राफ़ का परिक्षण करते समय यह स्पष्ट होता है; निश्चित बिंदु तब होता है जहां कोज्या वक्र y = cos(x) रेखा y = x को प्रतिच्छेद करता है। संख्यात्मक रूप से, नियत बिंदु लगभग x = 0.73908513321516 (इस प्रकार x के इस मान के लिए x = cos(x)) है।
बीजगणितीय टोपोलॉजी से लेफशेट्ज़ निश्चित-बिंदु प्रमेय[4] (एवं नीलसन सिद्धांत-बिंदु प्रमेय)[5] उल्लेखनीय है, क्योंकि यह निश्चित बिंदुओं को गणन करने की प्रविधि देता है।
बानाच निश्चित-बिंदु प्रमेय एवं आगे के लिए कई सामान्यीकरण हैं; इन्हें आंशिक अंतर समीकरण सिद्धांत में प्रारम्भ किया जाता है। अनंत-आयामी स्थानों में निश्चित-बिंदु प्रमेय देखें।
फ्रैक्टल संपीड़न में कोलाज प्रमेय यह प्रमाणित करता है कि, कई छवियों के लिए, फ़ंक्शन के अपेक्षाकृत अल्प विवरण उपस्थित होता है, जब इसे किसी भी प्रारंभिक छवि पर पुनरावृत्त रूप से प्रारम्भ किया जाता है, तो वांछित छवि पर तीव्रता से अभिसरण होता है।[6]
बीजगणित एवं असतत गणित में
नास्टर-टार्स्की प्रमेय में कहा गया है कि पूर्ण जाली पर किसी भी आदेश-संरक्षण कार्य निश्चित बिंदु होता है, एवं वास्तव में सबसे अल्प निश्चित बिंदु होता है।[7] बोरबाकी-विट प्रमेय भी देखें।
प्रमेय में अमूर्त व्याख्या में अनुप्रयोग हैं, जो स्थैतिक कार्यक्रम विश्लेषण का रूप होता है।
लैम्ब्डा कैलकुलस में सामान्य विषय दिए गए लैम्ब्डा अभिव्यक्ति के निश्चित बिंदुओं का शोधन करना है। प्रत्येक लैम्ब्डा अभिव्यक्ति का निश्चित बिंदु होता है, एवं निश्चित-बिंदु संयोजक ऐसा फ़ंक्शन होता है जो इनपुट के रूप में लैम्ब्डा अभिव्यक्ति लेता है एवं आउटपुट के रूप में उस अभिव्यक्ति का निश्चित बिंदु उत्पन्न करता है।[8] महत्वपूर्ण निश्चित-बिंदु संयोजक निश्चित-बिंदु संयोजक Y संयोजक है जिसका उपयोग रिकर्सन (कंप्यूटर विज्ञान) की परिभाषा देने के लिए किया जाता है।
प्रोग्रामिंग भाषाओं के सांकेतिक शब्दार्थ में, पुनरावर्ती परिभाषाओं के शब्दार्थ को स्थापित करने के लिए नास्टर-टार्स्की प्रमेय का विशेष विषय उपयोग किया जाता है। जबकि निश्चित-बिंदु प्रमेय कार्य पर प्रारम्भ होता है, सिद्धांत का विकास अत्यधिक भिन्न होता है।
क्लेन के पुनरावर्तन प्रमेय को प्रारम्भ करकेसंगणनीयता सिद्धांत सिद्धांत में पुनरावर्ती कार्य की एक ही परिभाषा दी जा सकती है।[9] ये परिणाम समतुल्य प्रमेय नहीं हैं; नास्टर-टार्स्की प्रमेय, निरूपण शब्दार्थ में उपयोग किए जाने वाले परिणामों की तुलना में बहुत मजबूत परिणाम है।[10] हालांकि, चर्च-ट्यूरिंग थीसिस के प्रकाश में उनका सहज अर्थ समान है: एक पुनरावर्ती कार्य को एक निश्चित कार्यात्मक, मानचित्रण कार्यों के कार्यों के कम से कम निश्चित बिंदु के रूप में वर्णित किया जा सकता है।
एक निश्चित बिंदु खोजने के लिए एक फ़ंक्शन को पुनरावृत्त करने की उपरोक्त तकनीक का उपयोग सेट सिद्धांत में भी किया जा सकता है; सामान्य कार्यों के लिए निश्चित-बिंदु लेम्मा बताता है कि क्रमिक संख्या से क्रमांक तक किसी भी निरंतर सख्ती से बढ़ते कार्य में एक (एवं वास्तव में कई) निश्चित बिंदु होते हैं।
poset पर प्रत्येक संवृत करने वाला ऑपरेटर के कई निश्चित बिंदु होते हैं; क्लोजर ऑपरेटर के संबंध में ये संवृत तत्व हैं, एवं ये मुख्य कारण हैं कि क्लोजर ऑपरेटर को पहले स्थान पर परिभाषित किया गया था।
तत्वों की एक विषम संख्या के साथ परिमित सेट पर प्रत्येक समावेशन (गणित) का एक निश्चित बिंदु होता है; अधिक आम तौर पर, तत्वों के परिमित सेट पर प्रत्येक समावेशन के लिए, तत्वों की संख्या एवं निश्चित बिंदुओं की संख्या में समान समानता (गणित) होती है। डॉन ज़गियर ने इन अवलोकनों का उपयोग दो वर्गों के योगों पर फ़र्मेट के प्रमेय का एक-वाक्य प्रमाण देने के लिए किया, पूर्णांकों के त्रिगुणों के एक ही सेट पर दो अंतर्वलन का वर्णन करके, जिनमें से एक को आसानी से केवल एक निश्चित बिंदु एवं दूसरे को दिखाया जा सकता है। जिनमें से दो वर्गों के योग के रूप में दिए गए प्राइम (1 मॉड 4 के अनुरूप) के प्रत्येक प्रतिनिधित्व के लिए एक निश्चित बिंदु है। चूँकि पहले इनवोल्यूशन में विषम संख्या में निश्चित बिंदु होते हैं, इसलिए दूसरा भी होता है, एवं इसलिए वहाँ हमेशा वांछित रूप का प्रतिनिधित्व होता है।[11]
निश्चित-बिंदु प्रमेयों की सूची
- अतियाह-बॉटल फिक्स्ड-पॉइंट संपत्ति
- बानाच फिक्स्ड-पॉइंट प्रमेय
- बेकिक की प्रमेय
- बोरेल फिक्स्ड-पॉइंट प्रमेय
- बॉरबकी-विट प्रमेय
- ब्राउनर फिक्स्ड-पॉइंट प्रमेय
- ब्रूवर फिक्स्ड-पॉइंट प्रमेय
- रोथ की निश्चित-बिंदु प्रमेय
- आपको निश्चित-बिंदु प्रमेय पसंद आया
- प्रथम-क्रम तर्क के स्व-संदर्भित वाक्यों के निर्माण के लिए विकर्ण लेम्मा, जिसे निश्चित-बिंदु लेम्मा के रूप में भी जाना जाता है
- असतत निश्चित-बिंदु प्रमेय
- अर्ल-हैमिल्टन फिक्स्ड-पॉइंट प्रमेय
- फिक्स्ड-पॉइंट कॉम्बिनेटर, जो दर्शाता है कि अनटाइप्ड लैम्ब्डा कैलकुलस में हर शब्द का एक निश्चित बिंदु होता है
- सामान्य कार्यों के लिए फिक्स्ड-पॉइंट लेम्मा
- निश्चित-बिंदु संपत्ति
- अनंत-आयामी रिक्त स्थान में निश्चित-बिंदु प्रमेय
- इंजेक्शन मीट्रिक स्थान
- काकुटानी निश्चित-बिंदु प्रमेय
- क्लीन निश्चित-बिंदु प्रमेय
- नास्टर-टार्स्की प्रमेय
- Lefschetz निश्चित-बिंदु प्रमेय
- नीलसन निश्चित-बिंदु प्रमेय
- पोंकारे-बिरखॉफ प्रमेय दो निश्चित बिंदुओं के अस्तित्व को सिद्ध करता है
- रिल-नार्डजेव्स्की नियत-बिंदु प्रमेय
- शाउडर निश्चित बिंदु प्रमेय
- टोपोलॉजिकल डिग्री सिद्धांत
- टाइकोनॉफ़ फिक्स्ड-पॉइंट प्रमेय
यह भी देखें
फुटनोट्स
- ↑ Brown, R. F., ed. (1988). Fixed Point Theory and Its Applications. American Mathematical Society. ISBN 0-8218-5080-6.
- ↑ Giles, John R. (1987). Introduction to the Analysis of Metric Spaces. Cambridge University Press. ISBN 978-0-521-35928-3.
- ↑ Eberhard Zeidler, Applied Functional Analysis: main principles and their applications, Springer, 1995.
- ↑ Solomon Lefschetz (1937). "निश्चित बिंदु सूत्र पर". Ann. of Math. 38 (4): 819–822. doi:10.2307/1968838.
- ↑ Fenchel, Werner; Nielsen, Jakob (2003). Schmidt, Asmus L. (ed.). Discontinuous groups of isometries in the hyperbolic plane. De Gruyter Studies in mathematics. Vol. 29. Berlin: Walter de Gruyter & Co.
- ↑ Barnsley, Michael. (1988). Fractals Everywhere. Academic Press, Inc. ISBN 0-12-079062-9.
- ↑ Alfred Tarski (1955). "एक जाली-सैद्धांतिक फिक्सपॉइंट प्रमेय और इसके अनुप्रयोग". Pacific Journal of Mathematics. 5:2: 285–309.
- ↑ Peyton Jones, Simon L. (1987). कार्यात्मक प्रोग्रामिंग का कार्यान्वयन. Prentice Hall International.
- ↑ Cutland, N.J., Computability: An introduction to recursive function theory, Cambridge University Press, 1980. ISBN 0-521-29465-7
- ↑ The foundations of program verification, 2nd edition, Jacques Loeckx and Kurt Sieber, John Wiley & Sons, ISBN 0-471-91282-4, Chapter 4; theorem 4.24, page 83, is what is used in denotational semantics, while Knaster–Tarski theorem is given to prove as exercise 4.3–5 on page 90.
- ↑ Zagier, D. (1990), "A one-sentence proof that every prime p ≡ 1 (mod 4) is a sum of two squares", American Mathematical Monthly, 97 (2): 144, doi:10.2307/2323918, MR 1041893.
संदर्भ
- Agarwal, Ravi P.; Meehan, Maria; O'Regan, Donal (2001). Fixed Point Theory and Applications. Cambridge University Press. ISBN 0-521-80250-4.
- Aksoy, Asuman; Khamsi, Mohamed A. (1990). Nonstandard Methods in fixed point theory. Springer Verlag. ISBN 0-387-97364-8.
- Berinde, Vasile (2005). Iterative Approximation of Fixed Point. Springer Verlag. ISBN 978-3-540-72233-5.
- Border, Kim C. (1989). Fixed Point Theorems with Applications to Economics and Game Theory. Cambridge University Press. ISBN 0-521-38808-2.
- Kirk, William A.; Goebel, Kazimierz (1990). Topics in Metric Fixed Point Theory. Cambridge University Press. ISBN 0-521-38289-0.
- Kirk, William A.; Khamsi, Mohamed A. (2001). An Introduction to Metric Spaces and Fixed Point Theory. John Wiley, New York. ISBN 978-0-471-41825-2.
- Kirk, William A.; Sims, Brailey (2001). Handbook of Metric Fixed Point Theory. Springer-Verlag. ISBN 0-7923-7073-2.
- Šaškin, Jurij A; Minachin, Viktor; Mackey, George W. (1991). Fixed Points. American Mathematical Society. ISBN 0-8218-9000-X.
