अनाकार समुच्चय

समुच्चय सिद्धांत में, अनाकार समुच्चय एक परिमित समुच्चय होता है जो दो परिमित उपसमुच्चयों का अविभाज्य संयोजन नहीं होता है

अस्तित्व

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

अतिरिक्त गुण

प्रत्येक अनाकार समुच्चय डेडेकाइंड-परिमित समुच्चय है जिसका अर्थ है कि इसमें स्वयं के उचित उपसमुच्चय के लिए कोई आक्षेप नहीं है। इसे देखने के लिए, मान लें कि $S$ एक ऐसा समुच्चय है जिसमें एक उपसमुच्चय के साथ $f$ द्विभाजन होता है।

हर प्राकृतिक संख्या $i\geq 0$ के लिए, $S_{i}$ को उन तत्वों का समुच्चय परिभाषित करता है जो f के स्वयं के $(i+1)$ गुणन योजना की छवि में सम्मिलित होते हैं, परंतु $(i+1)$ गुणन योजना की छवि में सम्मिलित नहीं होते हैं। तब प्रत्येक $S_{i}$ गैर-खाली होता है, इसलिए सम निर्धारिताओं के साथ $S_{i}$ के संगठन का संग्रह एक परिमित समुच्चय होता है, जिसका अनाकार समुच्चय $S$ भी परिमित होता है। इससे स्पष्ट होता है कि $S$, अनाकार नहीं हो सकता है। यद्यपि, इसका विलोम आवश्यक रूप से सत्य नहीं है: यह परिमित डेडेकिंड-परिमित समुच्चयों के अस्तित्व के लिए सुसंगत है जो अनाकार नहीं हैं।

कोई अनाकार समुच्चय रैखिक क्रम नहीं हो सकता क्योंकि एक अनाकार समुच्चय की छवि या तो अनाकार या परिमित होती है, यह इस प्रकार है कि एक अनाकार समुच्चय से लेकर रैखिक रूप से क्रमबद्ध समुच्चय तक के प्रत्येक कार्य में केवल एक परिमित छवि होती है।

एक अनाकार समुच्चय पर सहमित निस्यंदक एक अतिसूक्ष्मनिस्यंदक है। ऐसा इसलिए है क्योंकि प्रत्येक परिमित उपसमुच्चय का पूरक परिमित नहीं होना चाहिए, इसलिए प्रत्येक उपसमुच्चय या तो परिमित या सहमित है।

रूपांतर

अगर $\Pi$ परिमित उपसमुच्चय में एक अनाकार समुच्चय के एक समुच्चय का विभाजन है, तो ठीक एक पूर्णांक होना चाहिए $n(\Pi )$ ऐसा है कि $\Pi$ आकार के अपरिमित रूप से अनेक उपसमुच्चय होते हैं $n$; के लिए, यदि प्रत्येक आकार का उपयोग कई बार परिमित रूप से किया गया था, या यदि एक से अधिक आकार का उपयोग कई बार असीम रूप से किया गया था, तो इस जानकारी का उपयोग विभाजन को विभाजित करने और विभाजित करने के लिए किया जा सकता है। $\Pi$ दो परिमित उपसमूहों में। यदि एक असंगत समुच्चय में अतिरिक्त संपत्ति होती है, तो प्रत्येक विभाजन के लिए $\Pi$, $n(\Pi )=1$, तो इसे सख्ती से अनाकार या दृढ़ता से अनाकार कहा जाता है, और यदि कोई परिमित ऊपरी सीमा होती है $n(\Pi )$ तब समुच्चय को परिबद्ध अनाकार कहा जाता है। यह ZF के अनुरूप है कि अनाकार समुच्चय मौजूद हैं और सभी बंधे हुए हैं, या वे मौजूद हैं और सभी अबाधित हैं।