अनाकार समुच्चय: Difference between revisions
From Vigyanwiki
(Created page with "{{Short description|Infinite set which is not the disjoint union of two infinite subsets}} सबसेट सिद्धांत में, एक अनाकार...") |
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 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>S</math> एक ऐसा समुच्चय है जिसमें आपत्ति है <math>f</math> एक उचित उपसमुच्चय के लिए। प्रत्येक प्राकृतिक संख्या के लिए <math>i\ge 0</math> | ||
परिभाषित करना <math>S_i</math> की छवि से संबंधित तत्वों का | परिभाषित करना <math>S_i</math> की छवि से संबंधित तत्वों का समुच्चय होना <math>i</math>-फोल्ड इटरेटेड फंक्शन | की संरचना {{mvar|f}} खुद के साथ लेकिन की छवि के लिए नहीं <math>(i+1)</math>-गुना रचना। | ||
फिर प्रत्येक <math>S_i</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 44: | Line 44: | ||
| volume = 189 | | volume = 189 | ||
| year = 2006| doi-access = free | | year = 2006| doi-access = free | ||
}}. 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>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:11, 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).
| अवलोकन |  | |
|---|---|---|
| स्वयंसिद्ध | ||
| संचालन |
| |
| ||
| सेट प्रकार | ||
| सिद्धांतों | ||
| ||
| सिद्धांतकार सेट | ||
