परवर्ती फलन

गणित में, परवर्ती फलन या पुनरावर्ती संचालन एक प्राकृतिक संख्या को अगले नंबर पर भेजता है। परवर्ती फलन को S द्वारा दर्शाया जाता है, इसलिए S(n) = n +1 उदाहरण के लिए, S(1) = 2 और S(2) = 3 परवर्ती फलन एक पूर्वग पुनरावर्ती फलन बनाने के लिए उपयोग किए जाने वाले मौलिक घटकों में से एक है।

शून्यवाँ हाइपरऑपरेशन के संदर्भ में परवर्ती संचालन को ज़ेरेशन के रूप में भी जाना जाता है: H0(a, b) = 1 + b इस संदर्भ में, ज़ेरेशन का विस्तार जोड़ होता है, जिसे बार-बार परवर्ती के रूप में परिभाषित किया गया है।

अवलोकन
परवर्ती फलन पीनो स्वयंसिद्धों को बताने के लिए उपयोग की जाने वाली औपचारिक भाषा का हिस्सा है, जो प्राकृतिक संख्याओं की संरचना को औपचारिक बनाता है। इस औपचारिकता में, परवर्ती फलन प्राकृतिक संख्याओं पर पूर्वग पुनरावर्ती होता है, जिसके संदर्भ में मानक प्राकृतिक संख्याओं और जोड़ को परिभाषित किया जाता है। उदाहरण के लिए, 1 को S(0) के रूप में परिभाषित किया गया है, और प्राकृतिक संख्याओं पर जोड़ को पुनरावर्ती रूप से परिभाषित किया गया है:



इसका उपयोग किन्हीं दो प्राकृतिक संख्याओं के योग की गणना करने के लिए किया जा सकता है। उदाहरण के लिए,5 + 2 = 5 + S(1) = S(5 + 1) = S(5 + S(0)) = S(S(5 + 0)) = S(S(5)) = S(6) = 7।
 * m + 0 || = m,
 * m + S(n) || = S(m + n).
 * }
 * m + S(n) || = S(m + n).
 * }

सेट सिद्धांत के भीतर प्राकृतिक संख्याओं के कई निर्माण प्रस्तावित किए गए हैं। उदाहरण के लिए, जॉन वॉन न्यूमैन संख्या 0 को खाली सेट {} के रूप में और n के परवर्ती, S(n) को समुच्चय n ∪ {n} के रूप में बनाता है। अनन्तता का सिद्धांत तब एक सेट के अस्तित्व की गारंटी देता है जिसमें 0 होता है और S के संबंध में सवृत   होता है। ऐसे सबसे छोटे सेट को एन द्वारा दर्शाया जाता है, और इसके सदस्यों को प्राकृतिक संख्या कहा जाता है।

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

यह पुनरावर्ती फलन द्वारा अभिकलनीयता के वर्णन में उपयोग किए जाने वाले पूर्वग पुनरावर्ती फलन में से एक होता है।

यह भी देखें

 * परवर्तीी क्रम
 * परवर्तीी कार्डिनल
 * वृद्धि और कमी ऑपरेटर
 * अनुक्रम