अनाकार समुच्चय: Difference between revisions
No edit summary |
|||
| Line 1: | Line 1: | ||
{{Short description|Infinite set which is not the disjoint union of two infinite subsets}} | {{Short description|Infinite set which is not the disjoint union of two infinite subsets}} | ||
[[सेट (गणित)|समुच्चय]] सिद्धांत में, '''अनाकार समुच्चय''' एक | [[सेट (गणित)|समुच्चय]] सिद्धांत में, '''अनाकार समुच्चय''' एक परिमित समुच्चय होता है जो दो परिमित [[सबसेट|उपसमुच्चयों]] का अविभाज्य संयोजन नहीं होता है<ref name="truss">{{citation | ||
| last = Truss | first = J. K. |author-link=John Truss | | last = Truss | first = J. K. |author-link=John Truss | ||
| doi = 10.1016/0168-0072(94)00024-W | | doi = 10.1016/0168-0072(94)00024-W | ||
| Line 18: | Line 18: | ||
== अतिरिक्त गुण == | == अतिरिक्त गुण == | ||
प्रत्येक अनाकार समुच्चय डेडेकाइंड- | प्रत्येक अनाकार समुच्चय डेडेकाइंड-परिमित समुच्चय है जिसका अर्थ है कि इसमें स्वयं के उचित उपसमुच्चय के लिए कोई आक्षेप नहीं है। इसे देखने के लिए, मान लें कि <math>S</math> एक ऐसा समुच्चय है जिसमें एक उपसमुच्चय के साथ <math>f</math> द्विभाजन होता है। | ||
हर प्राकृतिक संख्या <math>i\ge 0</math> के लिए, <math>S_i</math> को उन तत्वों का समुच्चय परिभाषित करता है जो {{mvar|f}} के स्वयं के <math>(i+1)</math> गुणन योजना की छवि में सम्मिलित होते हैं, परंतु <math>(i+1)</math> गुणन योजना की छवि में सम्मिलित नहीं होते हैं। तब प्रत्येक <math>S_i</math> गैर-खाली होता है, इसलिए सम निर्धारिताओं के साथ <math>S_i</math> के संगठन का संग्रह एक परिमित समुच्चय होता है, जिसका अनाकार समुच्चय <math>S</math> भी परिमित होता है। इससे स्पष्ट होता है कि <math>S</math>, अनाकार नहीं हो सकता है। यद्यपि, इसका विलोम आवश्यक रूप से सत्य नहीं है: यह परिमित डेडेकिंड-परिमित समुच्चयों के अस्तित्व के लिए सुसंगत है जो अनाकार नहीं हैं।<ref name="levy">{{citation|last=Lévy|first=A.|title=The independence of various definitions of finiteness|url=http://matwbn.icm.edu.pl/ksiazki/fm/fm46/fm4611.pdf|year=1958|author-link=Azriel Lévy|journal=Fundamenta Mathematicae|volume=46|pages=1–13|doi=10.4064/fm-46-1-1-13 |mr=0098671}}.</ref> | |||
कोई अनाकार समुच्चय [[रैखिक क्रम]] नहीं हो | |||
कोई अनाकार समुच्चय [[रैखिक क्रम]] नहीं हो सकता<ref>{{citation | |||
| last = Truss | first = John | | last = Truss | first = John | ||
| issue = 3 | | issue = 3 | ||
| Line 46: | Line 47: | ||
}}. In particular this is the combination of the implications <math>\text{Ia}\Rightarrow\text{II}\Rightarrow\Delta_3</math> which de la Cruz et al. credit respectively to {{harvtxt|Lévy|1958}} and {{harvtxt|Truss|1974}}.</ref> क्योंकि एक अनाकार समुच्चय की छवि या तो अनाकार या परिमित होती है, यह इस प्रकार है कि एक अनाकार समुच्चय से लेकर रैखिक रूप से क्रमबद्ध समुच्चय तक के प्रत्येक कार्य में केवल एक परिमित छवि होती है। | }}. In particular this is the combination of the implications <math>\text{Ia}\Rightarrow\text{II}\Rightarrow\Delta_3</math> which de la Cruz et al. credit respectively to {{harvtxt|Lévy|1958}} and {{harvtxt|Truss|1974}}.</ref> क्योंकि एक अनाकार समुच्चय की छवि या तो अनाकार या परिमित होती है, यह इस प्रकार है कि एक अनाकार समुच्चय से लेकर रैखिक रूप से क्रमबद्ध समुच्चय तक के प्रत्येक कार्य में केवल एक परिमित छवि होती है। | ||
एक अनाकार समुच्चय पर [[कोफिनिट फिल्टर]] एक [[अल्ट्राफिल्टर (सेट सिद्धांत)| | एक अनाकार समुच्चय पर [[कोफिनिट फिल्टर|सहमित निस्यंदक]] एक [[अल्ट्राफिल्टर (सेट सिद्धांत)|अतिसूक्ष्मनिस्यंदक]] है। ऐसा इसलिए है क्योंकि प्रत्येक परिमित उपसमुच्चय का पूरक परिमित नहीं होना चाहिए, इसलिए प्रत्येक उपसमुच्चय या तो परिमित या सहमित है। | ||
== रूपांतर == | == रूपांतर == | ||
अगर <math>\Pi</math> परिमित उपसमुच्चय में एक अनाकार समुच्चय के [[एक सेट का विभाजन|एक समुच्चय का विभाजन]] है, तो ठीक एक पूर्णांक होना चाहिए <math>n(\Pi)</math> ऐसा है कि <math>\Pi</math> आकार के अपरिमित रूप से अनेक उपसमुच्चय होते हैं <math>n</math>; के लिए, यदि प्रत्येक आकार का उपयोग कई बार परिमित रूप से किया गया था, या यदि एक से अधिक आकार का उपयोग कई बार असीम रूप से किया गया था, तो इस जानकारी का उपयोग विभाजन को विभाजित करने और विभाजित करने के लिए किया जा सकता है। <math>\Pi</math> दो | अगर <math>\Pi</math> परिमित उपसमुच्चय में एक अनाकार समुच्चय के [[एक सेट का विभाजन|एक समुच्चय का विभाजन]] है, तो ठीक एक पूर्णांक होना चाहिए <math>n(\Pi)</math> ऐसा है कि <math>\Pi</math> आकार के अपरिमित रूप से अनेक उपसमुच्चय होते हैं <math>n</math>; के लिए, यदि प्रत्येक आकार का उपयोग कई बार परिमित रूप से किया गया था, या यदि एक से अधिक आकार का उपयोग कई बार असीम रूप से किया गया था, तो इस जानकारी का उपयोग विभाजन को विभाजित करने और विभाजित करने के लिए किया जा सकता है। <math>\Pi</math> दो परिमित उपसमूहों में। यदि एक असंगत समुच्चय में अतिरिक्त संपत्ति होती है, तो प्रत्येक विभाजन के लिए <math>\Pi</math>, <math>n(\Pi)=1</math>, तो इसे सख्ती से अनाकार या दृढ़ता से अनाकार कहा जाता है, और यदि कोई परिमित ऊपरी सीमा होती है <math>n(\Pi)</math> तब समुच्चय को परिबद्ध अनाकार कहा जाता है। यह ZF के अनुरूप है कि अनाकार समुच्चय मौजूद हैं और सभी बंधे हुए हैं, या वे मौजूद हैं और सभी अबाधित हैं।<ref name="truss"/> | ||
Revision as of 12:39, 17 June 2023
समुच्चय सिद्धांत में, अनाकार समुच्चय एक परिमित समुच्चय होता है जो दो परिमित उपसमुच्चयों का अविभाज्य संयोजन नहीं होता है[1]
अस्तित्व
यदि "विचार का अभिग्रह" अभिकल्पना की जाए, तो अनाकार समुच्चय उपलब्ध नहीं हो सकते हैं। अब्राहम फ्रेंकेल ने समुच्चय थ्योरी में परमाणुओ का एक क्रमचय प्रारूप बनाया जिसमें परमाणुओं का समुच्चय एक अनाकार समुच्चय है।[2] 1963 में कोहेन की प्राथमिक कार्यशाला के उपरांत, जर्मेलो-फ्रैंकेल के साथ अनाकार समुच्चयों के संगतता के प्रमाण प्राप्त किए गए।[3]
अतिरिक्त गुण
प्रत्येक अनाकार समुच्चय डेडेकाइंड-परिमित समुच्चय है जिसका अर्थ है कि इसमें स्वयं के उचित उपसमुच्चय के लिए कोई आक्षेप नहीं है। इसे देखने के लिए, मान लें कि एक ऐसा समुच्चय है जिसमें एक उपसमुच्चय के साथ द्विभाजन होता है।
हर प्राकृतिक संख्या के लिए, को उन तत्वों का समुच्चय परिभाषित करता है जो f के स्वयं के गुणन योजना की छवि में सम्मिलित होते हैं, परंतु गुणन योजना की छवि में सम्मिलित नहीं होते हैं। तब प्रत्येक गैर-खाली होता है, इसलिए सम निर्धारिताओं के साथ के संगठन का संग्रह एक परिमित समुच्चय होता है, जिसका अनाकार समुच्चय भी परिमित होता है। इससे स्पष्ट होता है कि , अनाकार नहीं हो सकता है। यद्यपि, इसका विलोम आवश्यक रूप से सत्य नहीं है: यह परिमित डेडेकिंड-परिमित समुच्चयों के अस्तित्व के लिए सुसंगत है जो अनाकार नहीं हैं।[4]
कोई अनाकार समुच्चय रैखिक क्रम नहीं हो सकता[5][6] क्योंकि एक अनाकार समुच्चय की छवि या तो अनाकार या परिमित होती है, यह इस प्रकार है कि एक अनाकार समुच्चय से लेकर रैखिक रूप से क्रमबद्ध समुच्चय तक के प्रत्येक कार्य में केवल एक परिमित छवि होती है।
एक अनाकार समुच्चय पर सहमित निस्यंदक एक अतिसूक्ष्मनिस्यंदक है। ऐसा इसलिए है क्योंकि प्रत्येक परिमित उपसमुच्चय का पूरक परिमित नहीं होना चाहिए, इसलिए प्रत्येक उपसमुच्चय या तो परिमित या सहमित है।
रूपांतर
अगर परिमित उपसमुच्चय में एक अनाकार समुच्चय के एक समुच्चय का विभाजन है, तो ठीक एक पूर्णांक होना चाहिए ऐसा है कि आकार के अपरिमित रूप से अनेक उपसमुच्चय होते हैं ; के लिए, यदि प्रत्येक आकार का उपयोग कई बार परिमित रूप से किया गया था, या यदि एक से अधिक आकार का उपयोग कई बार असीम रूप से किया गया था, तो इस जानकारी का उपयोग विभाजन को विभाजित करने और विभाजित करने के लिए किया जा सकता है। दो परिमित उपसमूहों में। यदि एक असंगत समुच्चय में अतिरिक्त संपत्ति होती है, तो प्रत्येक विभाजन के लिए , , तो इसे सख्ती से अनाकार या दृढ़ता से अनाकार कहा जाता है, और यदि कोई परिमित ऊपरी सीमा होती है तब समुच्चय को परिबद्ध अनाकार कहा जाता है। यह ZF के अनुरूप है कि अनाकार समुच्चय मौजूद हैं और सभी बंधे हुए हैं, या वे मौजूद हैं और सभी अबाधित हैं।[1]
संदर्भ
- ↑ 1.0 1.1 Truss, J. K. (1995), "The structure of amorphous sets", Annals of Pure and Applied Logic, 73 (2): 191–233, doi:10.1016/0168-0072(94)00024-W, MR 1332569.
- ↑ Jech, Thomas J. (2008), The axiom of choice, Mineola, N.Y.: Dover Publications, ISBN 978-0486318257, OCLC 761390829
- ↑ Plotkin, Jacob Manuel (November 1969), "Generic Embeddings", The Journal of Symbolic Logic (in English), 34 (3): 388–394, doi:10.2307/2270904, ISSN 0022-4812, JSTOR 2270904, MR 0252211, S2CID 250347797
- ↑ Lévy, A. (1958), "The independence of various definitions of finiteness" (PDF), Fundamenta Mathematicae, 46: 1–13, doi:10.4064/fm-46-1-1-13, MR 0098671.
- ↑ Truss, John (1974), "Classes of Dedekind finite cardinals" (PDF), Fundamenta Mathematicae, 84 (3): 187–208, doi:10.4064/fm-84-3-187-208, MR 0469760.
- ↑ de la Cruz, Omar; Dzhafarov, Damir D.; Hall, Eric J. (2006), "Definitions of finiteness based on order properties" (PDF), Fundamenta Mathematicae, 189 (2): 155–172, doi:10.4064/fm189-2-5, MR 2214576. In particular this is the combination of the implications which de la Cruz et al. credit respectively to Lévy (1958) and Truss (1974).
| अवलोकन |  | |
|---|---|---|
| स्वयंसिद्ध | ||
| संचालन |
| |
| ||
| सेट प्रकार | ||
| सिद्धांतों | ||
| ||
| सिद्धांतकार सेट | ||
