सामान्य फलन: Difference between revisions
From Vigyanwiki
(Created page with "{{Short description|Function of ordinals in mathematics}} स्वयंसिद्ध समुच्चय सिद्धांत में, एक फलन f : क...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Function of ordinals in mathematics}} | {{Short description|Function of ordinals in mathematics}} | ||
स्वयंसिद्ध समुच्चय सिद्धांत में, | स्वयंसिद्ध समुच्चय सिद्धांत में, फलन f [[क्रमसूचक संख्या]] → Ord को 'सामान्य' (या 'सामान्य फलन') कहा जाता है यदि एवं केवल यदि यह निरंतर फलन है, ([[आदेश टोपोलॉजी]] के संबंध में) एवं [[मोनोटोनिक फ़ंक्शन|जटिलता]] से नीरस रूप से बढ़ रहा है। यह निम्नलिखित दो स्थितियों के समान है। | ||
# प्रत्येक सीमा क्रमसूचक γ के लिए (अर्थात γ न तो शून्य है | # प्रत्येक सीमा क्रमसूचक γ के लिए (अर्थात γ न तो शून्य है एवं न ही उत्तराधिकारी), यह स्थिति है कि f(γ) = sup {f(ν): ν < γ}। | ||
# सभी अध्यादेश α < β के लिए, यह मामला है कि f (α) < f (β)। | # सभी अध्यादेश α < β के लिए, यह मामला है कि f (α) < f (β)। | ||
== उदाहरण == | == उदाहरण == | ||
द्वारा एक साधारण सामान्य कार्य दिया जाता है {{nowrap|1=''f''(''α'') = 1 + ''α''}} ([[क्रमिक अंकगणित]] देखें)। लेकिन {{nowrap|1=''f''(''α'') = ''α'' + 1}} सामान्य नहीं है क्योंकि यह किसी भी सीमा क्रमसूचक पर निरंतर नहीं है; वह है, एक-बिंदु खुले सेट की उलटी छवि {{nowrap|{{mset|''λ'' + 1}}}} समुच्चय है {{nowrap|{{mset|''λ''}}}}, जो तब खुला नहीं है जब λ एक सीमा क्रमसूचक है। यदि β एक निश्चित क्रमसूचक है, तो कार्य करता है {{nowrap|1=''f''(''α'') = ''β'' + ''α''}}, {{nowrap|1=''f''(''α'') = ''β'' × ''α''}} (के लिए {{nowrap|''β'' ≥ 1}}), | द्वारा एक साधारण सामान्य कार्य दिया जाता है {{nowrap|1=''f''(''α'') = 1 + ''α''}} ([[क्रमिक अंकगणित]] देखें)। लेकिन {{nowrap|1=''f''(''α'') = ''α'' + 1}} सामान्य नहीं है क्योंकि यह किसी भी सीमा क्रमसूचक पर निरंतर नहीं है; वह है, एक-बिंदु खुले सेट की उलटी छवि {{nowrap|{{mset|''λ'' + 1}}}} समुच्चय है {{nowrap|{{mset|''λ''}}}}, जो तब खुला नहीं है जब λ एक सीमा क्रमसूचक है। यदि β एक निश्चित क्रमसूचक है, तो कार्य करता है {{nowrap|1=''f''(''α'') = ''β'' + ''α''}}, {{nowrap|1=''f''(''α'') = ''β'' × ''α''}} (के लिए {{nowrap|''β'' ≥ 1}}), एवं {{nowrap|1=''f''(''α'') = ''β''<sup>''α''</sup>}} (के लिए {{nowrap|''β'' ≥ 2}}) सब सामान्य हैं। | ||
सामान्य कार्यों के अधिक महत्वपूर्ण उदाहरण [[एलेफ संख्या]] द्वारा दिए गए हैं <math>f(\alpha) = \aleph_\alpha</math>, जो क्रमवाचक | सामान्य कार्यों के अधिक महत्वपूर्ण उदाहरण [[एलेफ संख्या]] द्वारा दिए गए हैं <math>f(\alpha) = \aleph_\alpha</math>, जो क्रमवाचक एवं कार्डिनल संख्याओं एवं [[बेथ संख्या]]ओं से जुड़ते हैं <math>f(\alpha) = \beth_\alpha</math>. | ||
== गुण == | == गुण == | ||
| Line 18: | Line 18: | ||
इसके अलावा, किसी भी गैर-खाली सेट ''S'' के लिए, हमारे पास है | इसके अलावा, किसी भी गैर-खाली सेट ''S'' के लिए, हमारे पास है | ||
:''f''(sup ''S'') = sup ''f''(''S''). | :''f''(sup ''S'') = sup ''f''(''S''). | ||
प्रमाण: ≥ ''च'' की एकरसता | प्रमाण: ≥ ''च'' की एकरसता एवं सर्वोच्चता की परिभाषा से अनुसरण करता है। ≤ के लिए, ''δ'' = sup ''S'' सेट करें एवं तीन मामलों पर विचार करें: | ||
* अगर ''δ'' = 0, तो ''S'' = {0} | * अगर ''δ'' = 0, तो ''S'' = {0} एवं sup ''f''(''S'') = ''f''(0); | ||
* यदि ''δ'' = ''ν'' + 1 एक [[उत्तराधिकारी क्रमसूचक]] है, तो ''S'' में ν <'s'' के साथ ''s'' मौजूद है, ताकि ''δ'' ≤ ''स''। इसलिए, ''f''(''δ'') ≤ ''f''(''s''), जिसका अर्थ है ''f''(δ) ≤ sup ''f''(''S' '); | * यदि ''δ'' = ''ν'' + 1 एक [[उत्तराधिकारी क्रमसूचक]] है, तो ''S'' में ν <'s'' के साथ ''s'' मौजूद है, ताकि ''δ'' ≤ ''स''। इसलिए, ''f''(''δ'') ≤ ''f''(''s''), जिसका अर्थ है ''f''(δ) ≤ sup ''f''(''S' '); | ||
* यदि ''δ'' एक गैर-शून्य सीमा है, तो कोई भी ''ν'' <''δ'', | * यदि ''δ'' एक गैर-शून्य सीमा है, तो कोई भी ''ν'' <''δ'', एवं ''S'' में एक ''s'' चुनें, जैसे कि ν <'s'' (संभव चूँकि ''δ'' = सुपर ''S'')। इसलिए, ''f''(''ν'') <'f''(''s'') ताकि ''f''(''ν'') < sup ''f''(' 'S''), उपज ''f''(''δ'') = sup {''f''(ν) : ''ν'' < ''δ''} ≤ sup ''f'' (''एस''), इच्छानुसार। | ||
हर सामान्य कार्य 'एफ' में मनमाने ढंग से बड़े निश्चित बिंदु होते हैं; सबूत के लिए [[सामान्य कार्यों के लिए निश्चित-बिंदु लेम्मा]] देखें। कोई एक सामान्य कार्य 'एफ' '' बना सकता है: ऑर्ड → ऑर्ड, जिसे '' एफ '' का व्युत्पन्न कहा जाता है, जैसे '' एफ '' ('' α '') '' α '' है - 'एफ' का वें निश्चित बिंदु।<ref>{{harvnb|Johnstone|1987|loc=Exercise 6.9, p. 77}}</ref> सामान्य कार्यों के पदानुक्रम के लिए, वेब्लेन कार्य देखें। | हर सामान्य कार्य 'एफ' में मनमाने ढंग से बड़े निश्चित बिंदु होते हैं; सबूत के लिए [[सामान्य कार्यों के लिए निश्चित-बिंदु लेम्मा]] देखें। कोई एक सामान्य कार्य 'एफ' '' बना सकता है: ऑर्ड → ऑर्ड, जिसे '' एफ '' का व्युत्पन्न कहा जाता है, जैसे '' एफ '' ('' α '') '' α '' है - 'एफ' का वें निश्चित बिंदु।<ref>{{harvnb|Johnstone|1987|loc=Exercise 6.9, p. 77}}</ref> सामान्य कार्यों के पदानुक्रम के लिए, वेब्लेन कार्य देखें। | ||
Revision as of 16:12, 23 May 2023
स्वयंसिद्ध समुच्चय सिद्धांत में, फलन f क्रमसूचक संख्या → Ord को 'सामान्य' (या 'सामान्य फलन') कहा जाता है यदि एवं केवल यदि यह निरंतर फलन है, (आदेश टोपोलॉजी के संबंध में) एवं जटिलता से नीरस रूप से बढ़ रहा है। यह निम्नलिखित दो स्थितियों के समान है।
- प्रत्येक सीमा क्रमसूचक γ के लिए (अर्थात γ न तो शून्य है एवं न ही उत्तराधिकारी), यह स्थिति है कि f(γ) = sup {f(ν): ν < γ}।
- सभी अध्यादेश α < β के लिए, यह मामला है कि f (α) < f (β)।
उदाहरण
द्वारा एक साधारण सामान्य कार्य दिया जाता है f(α) = 1 + α (क्रमिक अंकगणित देखें)। लेकिन f(α) = α + 1 सामान्य नहीं है क्योंकि यह किसी भी सीमा क्रमसूचक पर निरंतर नहीं है; वह है, एक-बिंदु खुले सेट की उलटी छवि {λ + 1} समुच्चय है {λ}, जो तब खुला नहीं है जब λ एक सीमा क्रमसूचक है। यदि β एक निश्चित क्रमसूचक है, तो कार्य करता है f(α) = β + α, f(α) = β × α (के लिए β ≥ 1), एवं f(α) = βα (के लिए β ≥ 2) सब सामान्य हैं।
सामान्य कार्यों के अधिक महत्वपूर्ण उदाहरण एलेफ संख्या द्वारा दिए गए हैं , जो क्रमवाचक एवं कार्डिनल संख्याओं एवं बेथ संख्याओं से जुड़ते हैं .
गुण
यदि f सामान्य है, तो किसी भी क्रमिक α के लिए,
- एफ (α) ≥ α।[1]
सबूत: यदि नहीं, तो γ न्यूनतम चुनें जैसे कि f(γ) <γ। चूँकि f कड़ाई से नीरस रूप से बढ़ रहा है, f(f(γ)) <'f(γ), γ की न्यूनतमता के विपरीत ।
इसके अलावा, किसी भी गैर-खाली सेट S के लिए, हमारे पास है
- f(sup S) = sup f(S).
प्रमाण: ≥ च की एकरसता एवं सर्वोच्चता की परिभाषा से अनुसरण करता है। ≤ के लिए, δ = sup S सेट करें एवं तीन मामलों पर विचार करें:
- अगर δ = 0, तो S = {0} एवं sup f(S) = f(0);
- यदि δ = ν + 1 एक उत्तराधिकारी क्रमसूचक है, तो S में ν <'s के साथ s मौजूद है, ताकि δ ≤ स। इसलिए, f(δ) ≤ f(s), जिसका अर्थ है f(δ) ≤ sup f(S' ');
- यदि δ एक गैर-शून्य सीमा है, तो कोई भी ν <δ, एवं S में एक s चुनें, जैसे कि ν <'s (संभव चूँकि δ = सुपर S)। इसलिए, f(ν) <'f(s) ताकि f(ν) < sup f(' 'S), उपज f(δ) = sup {f(ν) : ν < δ} ≤ sup f (एस), इच्छानुसार।
हर सामान्य कार्य 'एफ' में मनमाने ढंग से बड़े निश्चित बिंदु होते हैं; सबूत के लिए सामान्य कार्यों के लिए निश्चित-बिंदु लेम्मा देखें। कोई एक सामान्य कार्य 'एफ' बना सकता है: ऑर्ड → ऑर्ड, जिसे एफ का व्युत्पन्न कहा जाता है, जैसे एफ ( α ) α है - 'एफ' का वें निश्चित बिंदु।[2] सामान्य कार्यों के पदानुक्रम के लिए, वेब्लेन कार्य देखें।
टिप्पणियाँ
- ↑ Johnstone 1987, Exercise 6.9, p. 77
- ↑ Johnstone 1987, Exercise 6.9, p. 77
