ट्रांसफ़िनाइट इंडक्शन

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

स्थितियों द्वारा प्रेरण
मान लीजिए $$P(\alpha)$$ वर्गीय $$\alpha$$ के लिए परिभाषित गुण है। मान लीजिए कि जब भी $$P(\beta)$$ सभी $$\beta < \alpha$$, तब $$P(\alpha)$$ सभी सत्य है। तब पारपरिमित आगमन हमें बताता है कि $$P$$ सभी क्रमसूचक के लिए सत्य है।

सामान्य रूप से प्रमाण तीन स्थितियों में विभाजित किया जाता है:


 * शून्य स्थिति: प्रमाणित करें कि $$P(0)$$ क्या सत्य है।
 * आनुक्रमिक स्थिति: प्रमाणित करें कि किसी भी आनुक्रमिक के लिए क्रमसंख्या $$\alpha+1$$, $$P(\alpha+1)$$ से अनुसरण करता है $$P(\alpha)$$ (और, यदि आवश्यक हो, $$P(\beta)$$ सभी के लिए $$\beta < \alpha$$) है।
 * सीमा स्थिति: सिद्ध करें कि किसी भी सीमा के लिए क्रमिक $$\lambda$$, $$P(\lambda)$$ से अनुसरण करता है $$P(\beta)$$ सभी के लिए $$\beta < \lambda$$ है।

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

पारपरिमित प्रत्यावर्तन
पारपरिमित प्रत्यावर्तन पारपरिमित आगमन के समान है; हालाँकि, यह साबित करने के अतिरिक्त कि सभी क्रमिक संख्याओं के लिए कुछ मान्य है, हम प्रत्येक क्रमसूचक के लिए वस्तुओं के अनुक्रम का निर्माण करते हैं।

एक उदाहरण के रूप में, (संभवतः अनंत-आयामी) वेक्टर समष्टि के लिए एक आधार (वेक्टर समष्टि) शून्य समुच्चय के साथ प्रारंभ करके और प्रत्येक क्रमसूचक α> 0 वेक्टर का चयन किया जा सकता है जो वैक्टर की अवधि में नहीं है $$\{v_{\beta}\mid\beta<\alpha\}$$। यह प्रक्रिया तब रुक जाती है जब कोई वेक्टर नहीं चयन किया जा सकता।

अधिक औपचारिक रूप से, हम पारपरिमित प्रत्यावर्तन प्रमेय को निम्नानुसार बता सकते हैं:

पारपरिमित प्रत्यावर्तन प्रमेय (संस्करण 1)। एक वर्ग फलन G: V → V (जहां V सभी समुच्चय का वर्ग (निर्धारित सिद्धांत) है), एक अद्वितीय पारपरिमित अनुक्रम F: Ord → V (जहां ORD सभी क्रमसूचक का वर्ग है) सम्मिलित है जैसे कि
 * $$F(\alpha) = G(F \upharpoonright \alpha)$$ सभी क्रमसूचक α के लिए, जहां $$\upharpoonright$$ क्रमसंख्या <α के लिए प्रक्षेत्र F के प्रतिबंध को दर्शाता है ।

जैसा कि प्रेरण के स्थिति में, हम विभिन्न प्रकार के अध्यादेशों का अलग -अलग संशोधित कर सकते हैं: पारपरिमित पुनरावृत्ति का अन्य सूत्रीकरण निम्नलिखित है:

' पारपरिमित प्रत्यावर्तन प्रमेय (संस्करण 2)'। एक समुच्चय g1, और वर्ग फलन g2, g3, को देखते हुए एक अद्वितीय फलन F: ord → V सम्मिलित हैं जैसे कि


 * F(0) = g1,
 * F(α + 1) = G2(F(α)), सभी α ∈ Ord के लिए
 * $$F(\lambda) = G_3(F \upharpoonright \lambda)$$, सभी सीमा λ ≠ 0 के लिए।

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

अधिक सामान्य रूप से, कोई भी अच्छी तरह से स्थापित संबंध R पर पारपरिमित पुनरावृत्ति द्वारा वस्तुओं को परिभाषित कर सकता है। (R को एक समुच्चय होने की भी आवश्यकता नहीं है, यह एक उपयुक्त वर्ग हो सकता है हालांकि यह एक समुच्चय जैसा संबंध हो अर्थात किसी भी x के लिए सभी y का संग्रह ऐसा हो कि yRx एक समुच्चय हो।)

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

विटाली समुच्चय का निम्नलिखित निर्माण एक तरीका दिखाता है कि विकल्प के स्वयंसिद्ध को पारपरिमित आगमन द्वारा एक प्रमाण में इस्तेमाल किया जा सकता है:
 * सबसे पहले, वास्तविक संख्याओं को अच्छी तरह से व्यवस्थित करें (यह वह जगह है जहां विकल्प का स्वयंसिद्ध अच्छी तरह से अच्छी तरह से व्यवस्थित प्रमेय के माध्यम से प्रवेश करता है), एक अनुक्रम $$ \langle r_{\alpha} | \alpha < \beta \rangle $$ देता है, जहां β सातत्य की प्रमुखता के साथ एक क्रमसूचक है। मान लीजिए v0 बराबर r0 है। फिर मान लीजिए v1 बराबर rα1, जहां α1 कम से कम ऐसा है कि rα1 − v0 एक परिमेय संख्या नहीं है। प्रत्येक चरण पर जारी रखें r अनुक्रम से कम से कम वास्तविक का उपयोग करें जिसमें अब तक v अनुक्रम में निर्मित किसी भी तत्व के साथ तर्कसंगत अंतर नहीं है। तब तक जारी रखें जब तक r अनुक्रम में सभी वास्तविक समाप्त नहीं हो जाते। अंतिम v क्रम विटाली समुच्चय की गणना करेगा।

उपरोक्त तर्क वास्तविक को अच्छी तरह से व्यवस्थित करने के लिए, प्रारंभ में ही विकल्प के स्वयंसिद्ध सिद्धांत का एक आवश्यक तरीके से उपयोग करता है। उस चरण के बाद, चयन के स्वयंसिद्ध का फिर से उपयोग नहीं किया जाता है।

विकल्प के स्वयंसिद्ध के अन्य उपयोग अधिक सूक्ष्म होते हैं। उदाहरण के लिए, पारपरिमित प्रत्यावर्तन द्वारा निर्माण प्रायः Aα+1, के लिए एक अद्वितीय मान निर्दिष्ट नहीं करेगा, α तक अनुक्रम दिया जाएगा लेकिन केवल एक शर्त निर्दिष्ट करेगा कि Aα+1 को पूरा करना चाहिए और तर्क देना चाहिए कि कम से कम एक समुच्चय इस शर्त को पूरा करता है। यदि प्रत्येक चरण में इस तरह के समुच्चय के अद्वितीय उदाहरण को परिभाषित करना संभव नहीं है, तो प्रत्येक चरण में इस तरह के एक का चयन करने के लिए विकल्प के स्वयंसिद्ध (के कुछ रूप) को प्रयुक्त करना आवश्यक हो सकता है। गणना योग्य लंबाई के प्रेरण और पुनरावर्तन के लिए, निर्भर पसंद का कमजोर स्वयंसिद्ध पर्याप्त है। क्योंकि सिद्धांतकारों को समुच्चय करने के लिए जर्मेलो-फ्रेंकेल समुच्चय सिद्धांत के मॉडल हैं जो निर्भर विकल्प के स्वयंसिद्ध को पूरा करते हैं, लेकिन विकल्प का पूर्ण स्वयंसिद्ध नहीं है, यह ज्ञान कि एक विशेष प्रमाण के लिए केवल निर्भर विकल्प की आवश्यकता होती है, उपयोगी हो सकता है।

यह भी देखें

 * गणितीय प्रेरण
 * ∈-प्रेरण
 * पारपरिमित संख्या
 * अच्छी तरह से स्थापित प्रेरण
 * ज़ोर्न का लेम्मा