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

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

स्थितियों द्वारा प्रेरण
मान लीजिए $$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 बराबर आर0। फिर v को चलो1 बराबर आरα 1, जहां α1 कम से कम ऐसा है कि आरα 1 & nbsp; & minus; & nbsp; v0 एक तर्कसंगत संख्या नहीं है। जारी रखना;प्रत्येक चरण में आर अनुक्रम से कम से कम वास्तविक का उपयोग करें, जिसमें किसी भी तत्व के साथ तर्कसंगत अंतर नहीं होता है, इस प्रकार अब तक वी अनुक्रम में निर्मित होता है।तब तक जारी रखें जब तक कि आर अनुक्रम में सभी वास्तविक थक नहीं जाते। अंतिम वी अनुक्रम विटालि समुच्चय की गणना करेगा।

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

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

यह भी देखें

 * गणितीय प्रेरण
 * एप्सिलॉन-इंडक्शन |-इंडक्शन
 * पारपरिमित संख्या
 * अच्छी तरह से स्थापित संबंध#प्रेरण और पुनरावृत्ति | अच्छी तरह से स्थापित प्रेरण
 * ज़ोर्न का लेम्मा