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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

यह भी देखें

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

बाहरी संबंध

 * Fixed Point Method