उपसमुच्चय
परिचय
उपसमुच्चय संबंधों और फलनों की अवधारणाओं को परिभाषित करते हैं। ज्यामिति, अनुक्रम, प्रायिकता आदि में उपसमुच्चयों का ज्ञान आवश्यक है। एक समुच्चय के रूप में दर्शाए गए वस्तुओं का एक अच्छी तरह से परिभाषित संग्रह है। समुच्चय के तत्वों को अल्पविराम से अलग किया जाता है और कोष्ठक के भीतर संलग्न किया जाता है।
तात्पर्य
यदि सभी त्रिभुजों का समुच्चय है और सभी समबाहु त्रिभुजों का समुच्चय है, तो इसका अर्थ है कि का प्रत्येक अवयव का एक अवयव है। हम यह निष्कर्ष निकाल सकते हैं कि , का एक उपसमुच्चय है।
परिभाषा
यदि समुच्चय का प्रत्येक अवयव, समुच्चय का भी एक अवयव है, तो , का उपसमुच्चय कहलाता है।
अन्य शब्दों में, , यदि जब कभी , तो . बहुधा प्रतीक '', जिसका अर्थ 'तात्पर्य है' होता है, का प्रयोग सुविधाजनक होता है। इस प्रतीक का प्रयोग कर के, हम उपसमुच्चय की परिभाषा इस प्रकार लिख सकते हैं:
, यदि
हम उपर्युक्त कथन को इस प्रकार पढ़ते हैं, “ , का एक उपसमुच्चय है, यदि इस तथ्य का, कि , का एक अवयव है तात्पर्य है कि , का भी एक अवयव है"। यदि , का एक उपसमुच्चय नहीं है, तो हम लिखते हैं कि ⊄ |
हमें ध्यान देना चाहिए कि को का समुच्चय होने के लिए केवल मात्र यह आवश्यक है कि का प्रत्येक अवयव में है। यह संभव है कि का प्रत्येक अवयव में हो या न हो। यदि ऐसा होता है कि का प्रत्येक अवयव में भी है, तो | इस दशा में, और समान समुच्चय हैं और इस प्रकार और जहाँ '' द्विधा तात्पर्य (टू वे इम्प्लिकेशन्स) के लिए प्रतीक है और जिसे प्राय: 'यदि और केवल यदि' पढ़ते हैं तथा संक्षेप में 'iff' लिखते हैं।
परिभाषा से निष्कर्ष निकलता है कि प्रत्येक समुच्चय स्वयम् का उपसमुच्चय है, अर्थात् | चूँकि रिक्त समुच्चय में कोई अवयव नहीं होता है अतः हम इस बात से सहमत हैं कि प्रत्येक समुच्चय का एक उपसमुच्चय है।
नीचे दिए समुच्चयों पर विचार कीजिए:
= आपके विद्यालय के सभी विद्यार्थियों का समुच्चय,
= आपकी कक्षा के सभी विद्यार्थियों का समुच्चय ।
हम देखते हैं कि का प्रत्येक अवयव, का भी एक अवयव है, हम कहते हैं कि , का एक उपसमुच्चय हैं का एक उपसमुच्चय है, प्रतीकों में द्वारा प्रकट करते हैं। प्रतीक '' कथन 'एक उपसमुच्चय है' अथवा 'अंतर्विष्ट है' के लिए प्रयुक्त होता है।
उदाहरण
अब हम कुछ उदाहरणों पर विचार करते हैं:
(i) परिमेय संख्याओं का समुच्चय , वास्तविक संख्याओं के समुच्चय का एक उपसमुच्चय है और हम लिखते हैं कि ।
(ii) यदि , संख्या के सभी भाजकों का समुच्चय है और , संख्या के सभी अभाज्य भाजकों का समुच्चय है, तो । का एक उपसमुच्चय है और हम लिखते हैं कि ।
मान लीजिए कि और B = संख्या से कम एक विषम प्राकृत संख्या है तो तथा , अतः
(iv) मान लीजिए कि और । तो , का एक उपसमुच्चय नहीं है तथा भी का उपसमुच्चय नहीं है ।
मान लीजिए कि और दो समुच्चय हैं। यदि तथा तो , का उचित उपसमुच्चय कहलाता है और , का अधिसमुच्चय कहलाता है। उदाहरणार्थ,
का एक उचित उपसमुच्चय है।
यदि समुच्चय में केवल एक अवयव हो, तो हम इसे एक एकल समुच्चय कहते हैं। अतः एक एकल समुच्चय है।
उपसमुच्चयों के प्रकार
उपसमुच्चयों के विभिन्न प्रकार हैं:
उचित उपसमुच्चय - समुच्चय का कोई भी उपसमुच्चय, सिवाय स्वयं के। उदाहरण के लिए, , तो इसके उचित उपसमुच्चय हो सकते हैं। परंतु समुच्चय स्वयं का उचित उपसमुच्चय नहीं है। यदि , का उचित उपसमुच्चय है, तो और है। इसमें समुच्चय के मात्र कुछ ही तत्व हैं, इसलिए यह कभी भी समुच्चय के समान नहीं होता है।
अनुचित उपसमुच्चय - प्रत्येक समुच्चय का एक अनुचित उपसमुच्चय होता है, वह स्वयं समुच्चय। उपसमुच्चय के लिए, इसका एकमात्र अनुचित उपसमुच्चय है। का एकमात्र अनुचित उपसमुच्चय है। यदि , का अनुचित उपसमुच्चय है, तो और इसमें समुच्चय के सभी अवयव समाहित हैं, इसलिए यह हमेशा समुच्चय के समान होता है।
एकल(सिंगलटन) उपसमुच्चय - यदि किसी समुच्चय में एक ही अवयव है, तो उसे सिंगलटन उपसमुच्चय कहते हैं। उदाहरण के लिए, यदि समुच्चय में एक अवयव है, तो {a} एक एकल उपसमुच्चय है।
निष्कर्ष
समुच्चय वस्तुओं का एक सुपरिभाषित संग्रह है। समुच्चयों की संख्या है (= समुच्चय में तत्वों की संख्या)। उपसमुच्चय किसी दिए गए समुच्चय का एक भाग है जो समान या कोई अन्य समुच्चय हो सकता है। एक उचित उपसमुच्चय ऐसा समुच्चय है जिसमें समुच्चय को छोड़कर तत्वों के विभिन्न संयोजन होते हैं। उपसमुच्चय और अधिसमुच्चय(सुपरसेट) एक दूसरे से संबंधित हैं। यदि , का उपसमुच्चय है, तो , का अधिसमुच्चय है।