"समुच्चय सिद्धान्त": अवतरणों में अंतर
Content deleted Content added
छो Bot: Migrating 85 interwiki links, now provided by Wikidata on d:q12482 (translate me) |
अनुनाद सिंह (वार्ता | योगदान) No edit summary |
||
पंक्ति 1:
[[चित्र:Venn A intersect B.svg|right|thumb|300px|वेन-आरेख द्वारा दो समुच्चयों के सर्वनिष्ठ का सरल प्रदर्शन]]
'''समुच्चय सिद्धान्त''' (set theory), [[गणित]] की एक शाखा है जो समुच्चयों का अध्ययन करती है। वस्तुओं के संग्रह (collection) को समुच्चय कहते हैं। यद्यपि '''समुच्चय''' के अन्तर्गत किसी भी प्रकार की वस्तुओं का संग्रह सम्भव है, किन्तु समुच्चय सिद्धान्त मुख्यतः गणित से सम्बन्धित समुच्चयों का ही अध्ययन करता है। स्थूल रूप से [[अंग्रेजी]] समुच्चय के पर्याय 'सेट' (set), ऐग्रिगेट (aggregate), क्लास (class), डोमेन (domain) तथा टोटैलिटी (totality) हैं। समुच्चय में अवयवों का विभिन्न होना आवश्यक है।
[[प्रथम श्रेणी के तर्क]] (first-order logic) से सुव्यवस्थित (formalized) किया हुआ समुच्चय सिद्धान्त आज गणित का सर्वाधिक प्रयुक्त आधारभूत तन्त्र है। समुच्चय सिद्धान्त की भाषा गणित के लगभग सभी वस्तुओं (यथा- [[फलन]]) को परिभाषित करने के काम आती है। समुच्चय सिद्धान्त के आरम्भिक कांसेप्ट इतने सरल हैं कि इन्हें प्राथमिक विद्यालयों के पाठ्यक्रम में भी पढाया जा सकता है।
== इतिहास ==
आधुनिक समुच्चय सिद्धान्त का आरम्भ [[जार्ज कैंटर]] (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) नियमों का पालन करते == गुणधर्म ==
सम्बन्ध <math>\subseteq</math> के लिए फलन <math>\mathcal P(X)</math> आंशिक क्रमित हो तो, सभी <math>A,B,C\subseteq X</math> के लिए, :
* [[स्वतुल्य सम्बन्ध]] (Reflexive relation): <math>A\subseteq A</math>
* [[प्रतिसममित संबंध]] (Antisymmetrische Relation): यदि <math>A\subseteq B</math> तथा <math>B\subseteq A</math> तो <math>A = B</math>
* [[संक्रामी संबंध]] (Transitive Relation): यदि <math>A\subseteq B</math> तथा <math>B\subseteq C</math> तो <math>A\subseteq C</math>
समुच्चयों का सर्वनिष्ठ <math>\cap</math> तथा संघ (यूनिअन)<math>\cup</math> क्रमविनिमेय, साहचर्य तथा वितरण नियमों का पालन करता है:
* [[साहचर्य नियम]]: <math>\left( A \cup B \right) \cup C = A \cup \left( B \cup C \right)</math> तथा <math>\left( A \cap B \right) \cap C = A \cap \left( B \cap C \right)</math>
* [[क्रमविनिमेय नियम]]: <math>A \cup B = B \cup A</math> तथा <math>A \cap B = B \cap A</math>
* [[वितरण नियम]]: <math>A \cup \left( B \cap C \right) = \left( A \cup B \right) \cap \left( A \cup C \right)</math> तथा <math>A \cap \left( B \cup C \right) = \left( A \cap B \right) \cup \left( A \cap C \right)</math>
* [[डी मार्गन का नियम]]: <math>\left( A \cup B \right)^C = A^C \cap B^C</math> तथा <math>\left( A \cap B \right)^C = A^C \cup B^C</math>
* अवशोषण: <math>A \cup \left( A \cap B \right) =A </math> तथा <math>A \cap \left( A \cup B \right) = A </math>
अन्तर के लिए निम्नलिखित नियम लागू होते हैं:
* साहचर्य नियम: <math>(A \setminus B) \setminus C = A \setminus (B \cup C)</math> तथा <math>A \setminus (B \setminus C) = (A \setminus B) \cup (A \cap C)</math>
* वितरण नियम: <math>(A \cap B) \setminus C = (A \setminus C) \cap (B \setminus C)</math> तथा <math>(A \cup B) \setminus C = (A \setminus C) \cup (B \setminus C)</math> तथा <math>A \setminus (B \cap C) = (A \setminus B) \cup (A \setminus C)</math> तथा <math>A \setminus (B \cup C) = (A \setminus B) \cap (A \setminus C)</math>
सममित अंतर के लिए निम्नलिखित नियम लागू होते हैं:
* साहचर्य नियम: <math>(A \triangle B) \triangle C = A \triangle (B \triangle C)</math>
* क्रमविनिमेय नियम: <math>A \triangle B = B \triangle A</math>
* वितरण नियम: <math>(A \triangle B) \cap C = (A \cap C) \triangle (B \cap C)</math>
: <math>A \triangle \emptyset = A \quad A \triangle A = \emptyset</math>
[[श्रेणी:गणित]]
|