"समुच्चय सिद्धान्त": अवतरणों में अंतर

'''समुच्चय सिद्धान्त''' (set theory), [[गणित]] की एक शाखा है जो समुच्चयों का अध्ययन करती है। वस्तुओं के संग्रह (collection) को समुच्चय कहते हैं। यद्यपि '''समुच्चय''' के अन्तर्गत किसी भी प्रकार की वस्तुओं का संग्रह सम्भव है, किन्तु समुच्चय सिद्धान्त मुख्यतः गणित से सम्बन्धित समुच्चयों का ही अध्ययन करता है। स्थूल रूप से अंग्रेजी समुच्चय के पर्याय सेट (set), ऐग्रिगेट (aggregate), क्लास (class), डोमेन (domain) तथा टोटैलिटी (totality) हैं। समुच्चय में अवयवों का विभिन्न होना आवश्यक है।

== इतिहास ==

आधुनिक समुच्चय सिद्धान्त का आरम्भ जार्ज कैंटर (Georg Cantor) एवं डेड्काइन्ड (Dedekind) ने सन १८७० में किया।

== मौलिक अवधारणाएँ एवं परिभाषाएँ ==

समुच्चय में अवयवों का विभिन्न होना आवश्यक है। यदि '''x''' समुच्चय '''A''' का कोई अवयव है, तो हम लिखते है : '''x ∈ A''' । सभी अवयवों का ब्यौरा न देकर, उन्हें नियम द्वारा भी बताया जा सकता है, जैसे विषम संख्याओं का समुच्चय। '''B''' को '''A''' का '''उपसमुच्चय''' (Subset) तब कहते हैं, जब B का प्रत्येक अवयव A का सदस्य हो और इसे इस प्रकार लिखते हैं : '''B ⊂ A''' . इसे यों भी पढ़ते हैं : B, A में समाविष्ट है। यदि A में कम से कम एक ऐसा अवयव हो जो B का सदस्य नहीं है और B, A का उपसमुच्चय है, तो B को A का '''वास्तविक (proper) उपसमुच्चय''' कहते हैं। ऐसे समुच्चय को, जिसका एक भी अवयव न हो, '''शून्य (null) समुच्चय''' कहते हैं और इसे '''φ''' से प्रकट करते हैं। शून्य समुच्चय सैद्धांतिक विवेचन में उपयोगी होते हैं।

समुच्चयों पर मूल क्रियाएँ ये हैं : तार्किक (logical) योग, तार्किक गुणन, तार्किक व्यकलन। दो समुच्चयों का योग '''A + B''', जिसे '''AUB''' अर्थात् '''A और B का संघ''' (union) भी कहते हैं, उन सभी अवयवों का, जो A और B दोनों में या किसी एक में हों, समुच्चय है। दो समुच्चयों का गुणनफल '''A.B''', जिसे '''A∩B''' भी लिखते हैं और जिसे '''A तथा B का सर्वनिष्ठ''' (intersection) कहते हैं, उन सभी अवयवों का, जो A तथा B दोनों के सदस्य हैं, समुच्चय है। '''अंतर''' '''A-B''' उन अवयवों का, जो A में हैं किंतु B में नहीं हैं समुच्चय है। यदि '''B ⊂ A''', तो A-B को A के प्रति B का संपूरक (complement), कहते हैं। तार्किक योग और गुणन सामान्य बीजगणित के [[साहचर्य]] (associative), [[क्रमविनिमेय]] (commutative) और [[वितरण]] (distributive) नियमों का पालन करते हैं ।