अनाकार समुच्चय: Difference between revisions
From Vigyanwiki
No edit summary |
m (9 revisions imported from alpha:अनाकार_समुच्चय) |
||
| (7 intermediate revisions by 3 users not shown) | |||
| 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 14: | Line 14: | ||
== अस्तित्व == | == अस्तित्व == | ||
यदि "[[पसंद का स्वयंसिद्ध|विचार का अभिग्रह]]" अभिकल्पना | यदि "[[पसंद का स्वयंसिद्ध|विचार का अभिग्रह]]" अभिकल्पना को आधार बनाया जाए, तो अनाकार समुच्चय उपलब्ध नहीं हो सकते हैं। [[अब्राहम फ्रेंकेल]] ने समुच्चय सिद्धांत में परमाणुओ का एक क्रमचय प्रारूप बनाया जिसमें परमाणुओं का समुच्चय एक अनाकार समुच्चय है।<ref>{{citation |title=The axiom of choice |last=Jech |first=Thomas J. |date=2008 |publisher=Dover Publications |isbn=978-0486318257 |location=Mineola, N.Y. |oclc=761390829}}</ref> 1963 में कोहेन की प्राथमिक कार्यशाला के उपरांत, जर्मेलो-फ्रैंकेल के साथ अनाकार समुच्चयों के संगतता के प्रमाण प्राप्त किए गए।<ref>{{citation |last=Plotkin|first=Jacob Manuel |date=November 1969|title=Generic Embeddings |url=https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/generic-embeddings/BEC36DA66935B30C082FDFB08F31D8D3 |journal=The Journal of Symbolic Logic |language=en |volume=34 |issue=3 |pages=388–394 |doi=10.2307/2270904 |jstor=2270904 |issn=0022-4812 |mr=252211|s2cid=250347797 }}</ref> | ||
== अतिरिक्त गुण == | == अतिरिक्त गुण == | ||
प्रत्येक अनाकार समुच्चय डेडेकाइंड- | प्रत्येक अनाकार समुच्चय डेडेकाइंड-परिमित समुच्चय है जिसका अर्थ है कि इसमें स्वयं के उचित उपसमुच्चय के लिए कोई आक्षेप नहीं है। इसे देखने के लिए, मान लें कि <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>\Pi</math> में निरंतर परिमित संख्या के उपसमुच्चय होते हैं; क्योंकि यदि प्रत्येक आकार का उपयोग अंतिम बार किया जाता है, या यदि एक से अधिक आकार परिमित सीमा का उपयोग किया जाता है, तो यह जानकारी विभाजन का समूहन करने और <math>\Pi</math> को दो अनंत उपसमुच्चयों में विभाजित करने के लिए उपयोग की जा सकती है। यदि एक अनाकार समुच्चय की विशेषताएँ उपरोक्त गुणवत्ता वाली होती है कि, प्रत्येक विभाजन <math>\Pi</math> के लिए तब उसे पूर्णतः अनाकार कहा जाता है, और यदि <math>\Pi</math> पर एक सीमित उच्चतम सीमा है, तो समुच्चय को परिमित अनाकार कहा जाता है। ZF के साथ संगत है कि अमॉर्फस सेट मौजूद हैं और सभी बाउंडेड हैं, या यह हैं और सभी अबाउंडेड हैं। यह ZF के अनुरूप है कि अनाकार समुच्चय मौजूद हैं और सभी बंधे हुए हैं, या वे मौजूद हैं और सभी अबाधित हैं।<ref name="truss"/> | |||
| Line 62: | Line 63: | ||
[[Category: Machine Translated Page]] | [[Category: Machine Translated Page]] | ||
[[Category:Created On 25/05/2023]] | [[Category:Created On 25/05/2023]] | ||
[[Category:Vigyan Ready]] | |||
Latest revision as of 07:02, 23 September 2023
समुच्चय सिद्धांत में, अनाकार समुच्चय एक परिमित समुच्चय होता है जो दो परिमित उपसमुच्चयों का अविभाज्य संयोजन नहीं होता है[1]
अस्तित्व
यदि "विचार का अभिग्रह" अभिकल्पना को आधार बनाया जाए, तो अनाकार समुच्चय उपलब्ध नहीं हो सकते हैं। अब्राहम फ्रेंकेल ने समुच्चय सिद्धांत में परमाणुओ का एक क्रमचय प्रारूप बनाया जिसमें परमाणुओं का समुच्चय एक अनाकार समुच्चय है।[2] 1963 में कोहेन की प्राथमिक कार्यशाला के उपरांत, जर्मेलो-फ्रैंकेल के साथ अनाकार समुच्चयों के संगतता के प्रमाण प्राप्त किए गए।[3]
अतिरिक्त गुण
प्रत्येक अनाकार समुच्चय डेडेकाइंड-परिमित समुच्चय है जिसका अर्थ है कि इसमें स्वयं के उचित उपसमुच्चय के लिए कोई आक्षेप नहीं है। इसे देखने के लिए, मान लें कि एक ऐसा समुच्चय है जिसमें एक उपसमुच्चय के साथ द्विभाजन होता है।
हर प्राकृतिक संख्या के लिए, को उन तत्वों का समुच्चय परिभाषित करता है जो f के स्वयं के गुणन योजना की छवि में सम्मिलित होते हैं, परंतु गुणन योजना की छवि में सम्मिलित नहीं होते हैं। तब प्रत्येक गैर-खाली होता है, इसलिए सम निर्धारिताओं के साथ के संगठन का संग्रह एक परिमित समुच्चय होता है, जिसका अनाकार समुच्चय भी परिमित होता है। इससे स्पष्ट होता है कि , अनाकार नहीं हो सकता है। यद्यपि, इसका विलोम आवश्यक रूप से सत्य नहीं है: यह परिमित डेडेकिंड-परिमित समुच्चयों के अस्तित्व के लिए सुसंगत है जो अनाकार नहीं हैं।[4]
कोई अनाकार समुच्चय रैखिक क्रम नहीं हो सकता[5][6] क्योंकि एक अनाकार समुच्चय की छवि या तो अनाकार या परिमित होती है, यह इस प्रकार है कि एक अनाकार समुच्चय से लेकर रैखिक रूप से क्रमबद्ध समुच्चय तक के प्रत्येक कार्य में केवल एक परिमित छवि होती है।
अनाकार समुच्चय पर सहमित निस्यंदक एक अतिसूक्ष्मनिस्यंदक है। ऐसा इसलिए है क्योंकि प्रत्येक परिमित उपसमुच्चय का पूरक परिमित नहीं होना चाहिए, इसलिए प्रत्येक उपसमुच्चय या तो परिमित या सहमित है।
विविधता
यदि एक अनाकार समुच्चय के एक सीमा संख्याओं में वितरण है, तो एक ही पूर्णांक होना चाहिए जिसके लिए में निरंतर परिमित संख्या के उपसमुच्चय होते हैं; क्योंकि यदि प्रत्येक आकार का उपयोग अंतिम बार किया जाता है, या यदि एक से अधिक आकार परिमित सीमा का उपयोग किया जाता है, तो यह जानकारी विभाजन का समूहन करने और को दो अनंत उपसमुच्चयों में विभाजित करने के लिए उपयोग की जा सकती है। यदि एक अनाकार समुच्चय की विशेषताएँ उपरोक्त गुणवत्ता वाली होती है कि, प्रत्येक विभाजन के लिए तब उसे पूर्णतः अनाकार कहा जाता है, और यदि पर एक सीमित उच्चतम सीमा है, तो समुच्चय को परिमित अनाकार कहा जाता है। ZF के साथ संगत है कि अमॉर्फस सेट मौजूद हैं और सभी बाउंडेड हैं, या यह हैं और सभी अबाउंडेड हैं। यह 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).
| अवलोकन |  | |
|---|---|---|
| स्वयंसिद्ध | ||
| संचालन |
| |
| ||
| सेट प्रकार | ||
| सिद्धांतों | ||
| ||
| सिद्धांतकार सेट | ||
