परवर्ती फलन

For other uses, see Successor (disambiguation).

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

ज़ीरोथ हाइपरऑपरेशन के संदर्भ में उत्तराधिकारी संचालन को 'ज़ेरेशन' के रूप में भी जाना जाता है: एच₀(ए, बी) = 1 + बी. इस संदर्भ में, ज़ेरेशन का विस्तार जोड़ है, जिसे बार-बार उत्तराधिकार के रूप में परिभाषित किया गया है।

अवलोकन

उत्तराधिकारी फ़ंक्शन पीनो स्वयंसिद्धों को बताने के लिए उपयोग की जाने वाली औपचारिक भाषा का हिस्सा है, जो प्राकृतिक संख्याओं की संरचना को औपचारिक बनाता है। इस औपचारिकता में, उत्तराधिकारी फ़ंक्शन प्राकृतिक संख्याओं पर एक आदिम ऑपरेशन है, जिसके संदर्भ में मानक प्राकृतिक संख्याओं और जोड़ को परिभाषित किया जाता है। उदाहरण के लिए, 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 होता है और एस के संबंध में क्लोजर (गणित) # क्लोजर ऑपरेटर होता है। ऐसे सबसे छोटे सेट को 'एन' द्वारा दर्शाया जाता है, और इसके सदस्यों को प्राकृतिक संख्या कहा जाता है। उत्तराधिकारी फ़ंक्शन हाइपरऑपरेशंस के अनंत ग्रेज़गोर्स्की पदानुक्रम का स्तर-0 आधार है, जिसका उपयोग जोड़, गुणा, घातांक, tetration इत्यादि बनाने के लिए किया जाता है। इसका अध्ययन 1986 में हाइपरऑपरेशंस के पैटर्न के सामान्यीकरण से संबंधित एक जांच में किया गया था। यह संगणनीय कार्य द्वारा कम्प्यूटेबिलिटी के लक्षण वर्णन में उपयोग किए जाने वाले आदिम फ़ंक्शंस में से एक है।

यह भी देखें

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

संदर्भ

• Paul R. Halmos (1968). Naive Set Theory. Nostrand.