निश्चित-बिंदु प्रमेय

गणित में, निश्चित-बिंदु प्रमेय परिणाम है जो कहता है, कि (गणित) F पर कुछ नियमो के अनुसार फ़ंक्शन में कम से कम निश्चित बिंदु (गणित) होगा,  जिसे सामान्य शब्दों में कहा जा सकता है। 

गणितीय विश्लेषण में
बानाच फिक्स्ड-पॉइंट प्रमेय (1922) एक सामान्य मानदंड देता है जो गारंटी देता है कि, यदि यह संतुष्ट है, तो पुनरावृत्ति की प्रक्रिया एक निश्चित बिंदु उत्पन्न करती है। इसके विपरीत, ब्रोवर फिक्स्ड-पॉइंट प्रमेय (1911) एक गैर-रचनावाद (गणित) है: यह कहता है कि एन-डायमेंशनल यूक्लिडियन अंतरिक्ष  में बंद यूनिट बॉल से किसी भी निरंतर कार्य का एक निश्चित बिंदु होना चाहिए, लेकिन यह वर्णन नहीं करता है कि निश्चित बिंदु को कैसे खोजा जाए (Sperner's lemma भी देखें)।

उदाहरण के लिए, कोज्या फलन [−1,1] में निरंतर है और इसे [−1, 1] में मैप करता है, और इस प्रकार एक निश्चित बिंदु होना चाहिए। कोसाइन फ़ंक्शन के स्केच किए गए ग्राफ़ की जांच करते समय यह स्पष्ट होता है; निश्चित बिंदु तब होता है जहां कोज्या वक्र y = cos(x) रेखा y = x को प्रतिच्छेद करता है। संख्यात्मक रूप से, नियत बिंदु लगभग x = 0.73908513321516 (इस प्रकार x के इस मान के लिए x = cos(x)) है।

Lefschetz फिक्स्ड-पॉइंट प्रमेय (और नीलसन सिद्धांत|नीलसन निश्चित-बिंदु प्रमेय) बीजगणितीय टोपोलॉजी से उल्लेखनीय है क्योंकि यह निश्चित बिंदुओं को गिनने का एक तरीका देता है।

बानाच फिक्स्ड-पॉइंट प्रमेय और आगे के लिए कई सामान्यीकरण हैं; इन्हें आंशिक अंतर समीकरण सिद्धांत में लागू किया जाता है। अनंत-आयामी स्थानों में निश्चित-बिंदु प्रमेय देखें।

फ्रैक्टल संपीड़न में कोलाज प्रमेय यह साबित करता है कि, कई छवियों के लिए, एक फ़ंक्शन का एक अपेक्षाकृत छोटा विवरण मौजूद होता है, जब इसे किसी भी प्रारंभिक छवि पर पुनरावृत्त रूप से लागू किया जाता है, तो वांछित छवि पर तेजी से अभिसरण होता है।

बीजगणित और असतत गणित में
नास्टर-टार्स्की प्रमेय में कहा गया है कि किसी भी मोनोटोनिक | आदेश-संरक्षण समारोह एक पूर्ण जाली पर एक निश्चित बिंदु है, और वास्तव में एक सबसे छोटा निश्चित बिंदु है। बोरबाकी-विट प्रमेय भी देखें।

प्रमेय में अमूर्त व्याख्या में अनुप्रयोग हैं, जो स्थैतिक कार्यक्रम विश्लेषण का एक रूप है।

लैम्ब्डा कैलकुलस में एक सामान्य विषय दिए गए लैम्ब्डा एक्सप्रेशन के निश्चित बिंदुओं को खोजना है। प्रत्येक लैम्ब्डा एक्सप्रेशन का एक निश्चित बिंदु होता है, और एक फिक्स्ड-पॉइंट कॉम्बिनेटर एक ऐसा फ़ंक्शन होता है जो इनपुट के रूप में एक लैम्ब्डा एक्सप्रेशन लेता है और आउटपुट के रूप में उस एक्सप्रेशन का एक निश्चित बिंदु उत्पन्न करता है। एक महत्वपूर्ण फिक्स्ड-पॉइंट कॉम्बिनेटर फिक्स्ड-पॉइंट कॉम्बिनेटर #Y कॉम्बिनेटर है जिसका उपयोग रिकर्सन (कंप्यूटर विज्ञान)  की परिभाषा देने के लिए किया जाता है।

प्रोग्रामिंग भाषाओं के सांकेतिक शब्दार्थ में, पुनरावर्ती परिभाषाओं के शब्दार्थ को स्थापित करने के लिए नास्टर-टार्स्की प्रमेय का एक विशेष मामला उपयोग किया जाता है। जबकि निश्चित-बिंदु प्रमेय एक ही कार्य (तार्किक दृष्टिकोण से) पर लागू होता है, सिद्धांत का विकास काफी भिन्न होता है।

क्लेन के पुनरावर्तन प्रमेय को लागू करकेसंगणनीयता सिद्धांत सिद्धांत में पुनरावर्ती कार्य की एक ही परिभाषा दी जा सकती है। ये परिणाम समतुल्य प्रमेय नहीं हैं; नास्टर-टार्स्की प्रमेय, निरूपण शब्दार्थ में उपयोग किए जाने वाले परिणामों की तुलना में बहुत मजबूत परिणाम है। हालांकि, चर्च-ट्यूरिंग थीसिस के प्रकाश में उनका सहज अर्थ समान है: एक पुनरावर्ती कार्य को एक निश्चित कार्यात्मक, मानचित्रण कार्यों के कार्यों के कम से कम निश्चित बिंदु के रूप में वर्णित किया जा सकता है।

एक निश्चित बिंदु खोजने के लिए एक फ़ंक्शन को पुनरावृत्त करने की उपरोक्त तकनीक का उपयोग सेट सिद्धांत में भी किया जा सकता है; सामान्य कार्यों के लिए निश्चित-बिंदु लेम्मा बताता है कि क्रमिक संख्या से क्रमांक तक किसी भी निरंतर सख्ती से बढ़ते कार्य में एक (और वास्तव में कई) निश्चित बिंदु होते हैं।

poset पर प्रत्येक बंद करने वाला ऑपरेटर  के कई निश्चित बिंदु होते हैं; क्लोजर ऑपरेटर के संबंध में ये बंद तत्व हैं, और ये मुख्य कारण हैं कि क्लोजर ऑपरेटर को पहले स्थान पर परिभाषित किया गया था।

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

निश्चित-बिंदु प्रमेयों की सूची

 * अतियाह-बॉटल फिक्स्ड-पॉइंट संपत्ति
 * बानाच फिक्स्ड-पॉइंट प्रमेय
 * बेकिक की प्रमेय
 * बोरेल फिक्स्ड-पॉइंट प्रमेय
 * बॉरबकी-विट प्रमेय
 * ब्राउनर फिक्स्ड-पॉइंट प्रमेय
 * ब्रूवर फिक्स्ड-पॉइंट प्रमेय
 * रोथ की निश्चित-बिंदु प्रमेय
 * आपको निश्चित-बिंदु प्रमेय पसंद आया
 * प्रथम-क्रम तर्क के स्व-संदर्भित वाक्यों के निर्माण के लिए विकर्ण लेम्मा, जिसे निश्चित-बिंदु लेम्मा के रूप में भी जाना जाता है
 * असतत निश्चित-बिंदु प्रमेय
 * अर्ल-हैमिल्टन फिक्स्ड-पॉइंट प्रमेय
 * फिक्स्ड-पॉइंट कॉम्बिनेटर, जो दर्शाता है कि अनटाइप्ड लैम्ब्डा कैलकुलस में हर शब्द का एक निश्चित बिंदु होता है
 * सामान्य कार्यों के लिए फिक्स्ड-पॉइंट लेम्मा
 * निश्चित-बिंदु संपत्ति
 * अनंत-आयामी रिक्त स्थान में निश्चित-बिंदु प्रमेय
 * इंजेक्शन मीट्रिक स्थान
 * काकुटानी निश्चित-बिंदु प्रमेय
 * क्लीन निश्चित-बिंदु प्रमेय
 * नास्टर-टार्स्की प्रमेय
 * Lefschetz निश्चित-बिंदु प्रमेय
 * नीलसन निश्चित-बिंदु प्रमेय
 * पोंकारे-बिरखॉफ प्रमेय दो निश्चित बिंदुओं के अस्तित्व को सिद्ध करता है
 * रिल-नार्डजेव्स्की नियत-बिंदु प्रमेय
 * शाउडर निश्चित बिंदु प्रमेय
 * टोपोलॉजिकल डिग्री सिद्धांत
 * टाइकोनॉफ़ फिक्स्ड-पॉइंट प्रमेय

यह भी देखें

 * ट्रेस सूत्र (बहुविकल्पी)

बाहरी संबंध

 * Fixed Point Method