परवर्ती फलन
गणित में, परवर्ती फलन या पुनरावर्ती संचालन एक प्राकृतिक संख्या को अगले नंबर पर भेजता है। परवर्ती फलन को S द्वारा दर्शाया जाता है, इसलिए S(n) = n +1 उदाहरण के लिए, S(1) = 2 और S(2) = 3 परवर्ती फलन एक पूर्वग पुनरावर्ती फलन बनाने के लिए उपयोग किए जाने वाले मौलिक घटकों में से एक है।
शून्यवाँ हाइपरऑपरेशन के संदर्भ में उत्तराधिकारी संचालन को ज़ेरेशन के रूप में भी जाना जाता है: H0(a, b) = 1 + b इस संदर्भ में, ज़ेरेशन का विस्तार जोड़ होता है, जिसे बार-बार उत्तराधिकार के रूप में परिभाषित किया गया है।
अवलोकन
परवर्ती फलन पीनो स्वयंसिद्धों को बताने के लिए उपयोग की जाने वाली औपचारिक भाषा का हिस्सा है, जो प्राकृतिक संख्याओं की संरचना को औपचारिक बनाता है। इस औपचारिकता में, परवर्ती फलन प्राकृतिक संख्याओं पर एक आदिम ऑपरेशन है, जिसके संदर्भ में मानक प्राकृतिक संख्याओं और जोड़ को परिभाषित किया जाता है। उदाहरण के लिए, 1 को S(0) के रूप में परिभाषित किया गया है, और प्राकृतिक संख्याओं पर जोड़ को पुनरावर्ती रूप से परिभाषित किया गया है:
m + 0 = m, m + S(n) = S(m + n).
इसका उपयोग किन्हीं दो प्राकृतिक संख्याओं के योग की गणना करने के लिए किया जा सकता है। उदाहरण के लिए, 5 + 2 = 5 + एस(1) = एस(5 + 1) = एस(5 + एस(0)) = एस(एस(5 + 0)) = एस(एस(5)) = एस (6)=7.
सेट सिद्धांत के भीतर प्राकृतिक संख्याओं की कई सेट-सैद्धांतिक परिभाषाएँ प्रस्तावित की गई हैं। उदाहरण के लिए, जॉन वॉन न्यूमैन संख्या 0 को खाली सेट {} के रूप में और n के उत्तराधिकारी, S(n) को सेट n ∪ {n} के रूप में बनाता है। अनंत का स्वयंसिद्ध तब एक सेट के अस्तित्व की गारंटी देता है जिसमें 0 होता है और एस के संबंध में क्लोजर (गणित) # क्लोजर ऑपरेटर होता है। ऐसे सबसे छोटे सेट को 'एन' द्वारा दर्शाया जाता है, और इसके सदस्यों को प्राकृतिक संख्या कहा जाता है।[1] परवर्ती फलन हाइपरऑपरेशंस के अनंत ग्रेज़गोर्स्की पदानुक्रम का स्तर-0 आधार है, जिसका उपयोग जोड़, गुणा, घातांक, tetration इत्यादि बनाने के लिए किया जाता है। इसका अध्ययन 1986 में हाइपरऑपरेशंस के पैटर्न के सामान्यीकरण से संबंधित एक जांच में किया गया था।[2] यह संगणनीय कार्य द्वारा कम्प्यूटेबिलिटी के लक्षण वर्णन में उपयोग किए जाने वाले आदिम फ़ंक्शंस में से एक है।
यह भी देखें
- उत्तराधिकारी क्रम
- उत्तराधिकारी कार्डिनल
- वृद्धि और कमी ऑपरेटर
- अनुक्रम
संदर्भ
- ↑ Halmos, Chapter 11
- ↑ Rubtsov, C.A.; Romerio, G.F. (2004). "एकरमैन का कार्य और नई अंकगणितीय संक्रियाएँ" (PDF).
- Paul R. Halmos (1968). Naive Set Theory. Nostrand.
 | This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
