समुच्चयों का बीजगणित

गणित में, समुच्चयों का बीजगणित, समुच्चयों के क्षेत्र की गणितीय संरचना के साथ भ्रमित नहीं होना चाहिए। एक समुच्चयों का बीजगणित, समुच्चय (गणित) के गुणों और नियमों को परिभाषित करता है, सेट-सैद्धांतिक संक्रिया (गणित) संघ (सेट सिद्धांत), प्रतिच्छेदन (सेट सिद्धांत), और पूरक (सेट सिद्धांत) और सेट समानता (गणित) और सेट सबसेट के द्विआधारी संबंध। यह इन परिचालनों और संबंधों को शामिल करते हुए अभिव्यक्तियों के मूल्यांकन और गणना करने के लिए व्यवस्थित प्रक्रियाएं भी प्रदान करता है।

सेट-थ्योरिटिक ऑपरेशंस के तहत बंद किए गए सेट का कोई भी सेट एक बूलियन बीजगणित (संरचना) बनाता है, जिसमें शामिल होने वाला ऑपरेटर 'यूनियन' होता है, मीट ऑपरेटर 'चौराहा' होता है, पूरक ऑपरेटर 'सेट पूरक' होता है, निचला होना $$\varnothing$$ और सबसे ऊपर ब्रह्मांड (गणित) विचाराधीन है।

मूल बातें
समुच्चयों का बीजगणित संख्याओं के बीजगणित का समुच्चय-सैद्धांतिक अनुरूप है। जिस प्रकार अंकगणितीय योग और गुणन साहचर्यता और क्रमविनिमेयता हैं, उसी प्रकार सेट संघ और प्रतिच्छेदन हैं; जिस तरह अंकगणितीय संबंध कम या बराबर होता है, वह प्रतिवर्त संबंध, एंटीसिमेट्रिक संबंध और सकर्मक रिलेशन होता है, उसी तरह उपसमुच्चय का सेट रिलेशन भी होता है।

यह संघ, प्रतिच्छेदन और पूरकता, और समानता और समावेश के संबंधों के सेट-सैद्धांतिक संचालन का बीजगणित है। समुच्चयों के बुनियादी परिचय के लिए समुच्चय (गणित) पर लेख देखें, अधिक विस्तृत विवरण के लिए भोली समुच्चय सिद्धांत देखें, और पूर्ण कठोर स्वयंसिद्ध उपचार के लिए स्वयंसिद्ध समुच्चय सिद्धांत देखें।

सेट बीजगणित
के मौलिक गुण सेट यूनियन (सेट थ्योरी) के बाइनरी ऑपरेशन ($$\cup$$) और चौराहा (सेट सिद्धांत) ($$\cap$$) कई पहचानों (गणित) को संतुष्ट करते हैं। इनमें से कई पहचानों या कानूनों के सुस्थापित नाम हैं।


 * क्रमचयी गुणधर्म:
 * $$A \cup B = B \cup A$$
 * $$A \cap B = B \cap A$$
 * संबंधी संपत्ति:
 * $$(A \cup B) \cup C = A \cup (B \cup C)$$
 * $$(A \cap B) \cap C = A \cap (B \cap C)$$
 * वितरण की जाने वाली संपत्ति:
 * $$A \cup (B \cap C) = (A \cup B) \cap (A \cup C)$$
 * $$A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$$

समुच्चयों के मिलन और प्रतिच्छेदन को संख्याओं के जोड़ और गुणन के अनुरूप देखा जा सकता है। जोड़ और गुणा की तरह, संघ और चौराहे के संचालन क्रमविनिमेय और साहचर्य होते हैं, और चौराहे संघ पर वितरित होते हैं। हालाँकि, जोड़ और गुणा के विपरीत, संघ भी प्रतिच्छेदन पर वितरित करता है।

गुणों के दो अतिरिक्त जोड़े में विशेष सेट शामिल होते हैं जिन्हें खाली सेट Ø और ब्रह्मांड (गणित) कहा जाता है $$U$$; एक साथ पूरक (सेट सिद्धांत) ऑपरेटर के साथ ($$A^C$$ के पूरक को दर्शाता है $$A$$. इसे इस रूप में भी लिखा जा सकता है $$A'$$, एक प्रमुख के रूप में पढ़ें)। खाली सेट में कोई सदस्य नहीं है, और ब्रह्मांड सेट में सभी संभावित सदस्य हैं (एक विशेष संदर्भ में)।


 * पहचान :
 * $$A \cup \varnothing = A$$
 * $$A \cap U = A$$
 * पूरक :
 * $$A \cup A^C = U$$
 * $$A \cap A^C = \varnothing$$

पहचान अभिव्यक्तियां (कम्यूटेटिव अभिव्यक्तियों के साथ) कहती हैं कि, जैसे 0 और 1 जोड़ और गुणा के लिए, Ø और यू क्रमशः संघ और चौराहे के लिए पहचान तत्व हैं।

जोड़ और गुणा के विपरीत, संघ और प्रतिच्छेदन में व्युत्क्रम तत्व नहीं होते हैं। हालांकि पूरक कानून सेट पूरकता के कुछ उलटे-जैसे एकात्मक ऑपरेशन के मूलभूत गुणों को देते हैं।

सूत्रों के पिछले पांच जोड़े - क्रमविनिमेय, साहचर्य, वितरण, पहचान और पूरक सूत्र - सभी सेट बीजगणित को शामिल करते हैं, इस अर्थ में कि सेट के बीजगणित में प्रत्येक मान्य प्रस्ताव उनसे प्राप्त किया जा सकता है।

ध्यान दें कि यदि पूरक सूत्र नियम से कमजोर हैं $$ (A^C)^C = A $$, तो यह बिल्कुल प्रस्तावात्मक रैखिक तर्क का बीजगणित है.

द्वैत का सिद्धांत
ऊपर बताई गई प्रत्येक सर्वसमिका, सर्वसमिकाओं की एक जोड़ी में से एक है, जैसे कि प्रत्येक को ∪ और ∩, और Ø और U को बदलकर दूसरे में परिवर्तित किया जा सकता है।

ये सेट बीजगणित की एक अत्यंत महत्वपूर्ण और शक्तिशाली संपत्ति के उदाहरण हैं, अर्थात्, सेट के लिए द्वैत का सिद्धांत, जो इस बात पर जोर देता है कि सेट के बारे में किसी भी सच्चे कथन के लिए, यूनियनों और चौराहों को बदलने, U और Ø को बदलने और समावेशन को उलटने से प्राप्त होने वाला दोहरा बयान भी सच है। एक कथन को स्व-द्वैत कहा जाता है यदि यह अपने स्वयं के द्वैत के बराबर है।

यूनियनों और चौराहों के लिए कुछ अतिरिक्त कानून
निम्नलिखित प्रस्ताव सेट बीजगणित के छह और महत्वपूर्ण कानूनों को बताता है, जिसमें यूनियनों और चौराहे शामिल हैं।

प्रस्ताव 3: ब्रह्मांड समुच्चय U के किसी भी उपसमुच्चय A और B के लिए, निम्नलिखित सर्वसमिकाएं मान्य हैं:
 * उदास कानून:
 * $$A \cup A = A$$
 * $$A \cap A = A$$
 * वर्चस्व कानून:
 * $$A \cup U = U$$
 * $$A \cap \varnothing = \varnothing$$
 * अवशोषण कानून:
 * $$A \cup (A \cap B) = A$$
 * $$A \cap (A \cup B) = A$$

जैसा कि ऊपर उल्लेख किया गया है, प्रस्ताव 3 में वर्णित प्रत्येक कानून ऊपर बताए गए कानूनों के पांच मौलिक जोड़े से प्राप्त किया जा सकता है. एक उदाहरण के रूप में, संघ के लिए निर्बल नियम के लिए एक प्रमाण नीचे दिया गया है।

सबूत: निम्नलिखित प्रमाण यह दर्शाता है कि उपरोक्त प्रमाण का द्वैत संघ के लिए आदर्श नियम के द्वैत का प्रमाण है, अर्थात् प्रतिच्छेदन के लिए उदासीन नियम।

सबूत: प्रतिच्छेदन को सेट अंतर के रूप में व्यक्त किया जा सकता है:

$$A \cap B = A \setminus (A \setminus B) $$

पूरक के लिए कुछ अतिरिक्त कानून
निम्नलिखित प्रस्ताव सेट बीजगणित के पांच और महत्वपूर्ण कानूनों को बताता है, जिसमें पूरक शामिल हैं।

प्रस्ताव 4: मान लीजिए कि A और B ब्रह्मांड U के उपसमुच्चय हैं, तो:
 * डी मॉर्गन के कानून:
 * $$(A \cup B)^C = A^C \cap B^C$$
 * $$(A \cap B)^C = A^C \cup B^C$$
 * दोहरा पूरक या समावेश (गणित) कानून:
 * $${(A^{C})}^{C} = A$$
 * ब्रह्मांड सेट और खाली सेट के लिए पूरक कानून:
 * $$\varnothing^C = U$$
 * $$U^C = \varnothing$$

ध्यान दें कि दोहरा पूरक नियम स्व-द्वैत है।

अगला प्रस्ताव, जो स्व-द्वैत भी है, कहता है कि एक समुच्चय का पूरक ही एकमात्र ऐसा समुच्चय है जो पूरक नियमों को संतुष्ट करता है। दूसरे शब्दों में, पूरकता की विशेषता पूरक कानूनों द्वारा होती है।

प्रस्ताव 5: मान लें कि A और B ब्रह्मांड U के उपसमुच्चय हैं, तो:
 * पूरक की विशिष्टता:
 * अगर $$A \cup B = U$$, और $$A \cap B = \varnothing$$, तब $$B = A^C$$

समावेशन का बीजगणित
निम्नलिखित प्रस्ताव कहता है कि उपसमुच्चय, जो कि एक सेट का दूसरे का उपसमुच्चय होने का द्विआधारी संबंध है, एक आंशिक क्रम है।

प्रस्ताव 6: यदि ए, बी और सी समुच्चय हैं तो निम्नलिखित होल्ड करता है:


 * प्रतिवर्त संबंध:
 * $$A \subseteq A$$
 * विषम संबंध:
 * $$A \subseteq B$$ और $$B \subseteq A$$ अगर और केवल अगर $$A = B$$
 * सकर्मक संबंध:
 * अगर $$A \subseteq B$$ और $$B \subseteq C$$, तब $$A \subseteq C$$

निम्नलिखित प्रस्ताव कहता है कि किसी भी सेट एस के लिए, समावेश द्वारा आदेशित एस का सत्ता स्थापित, एक जाली (आदेश) है, और इसलिए उपरोक्त वितरण और पूरक कानूनों के साथ, यह दर्शाता है कि यह एक बूलियन बीजगणित (संरचना) है।

'प्रस्ताव 7': यदि A, B और C एक समुच्चय S के उपसमुच्चय हैं तो निम्नलिखित धारण करता है:


 * एक महानतम तत्व और एक महानतम तत्व का अस्तित्व:
 * $$\varnothing \subseteq A \subseteq S$$
 * जाली का अस्तित्व (आदेश):
 * $$A \subseteq A \cup B$$
 * अगर $$A \subseteq C$$ और $$B \subseteq C$$, तब $$A \cup B \subseteq C$$
 * जाली का अस्तित्व (आदेश):
 * $$A \cap B \subseteq A$$
 * अगर $$C \subseteq A$$ और $$C \subseteq B$$, तब $$C \subseteq A \cap B$$

निम्नलिखित प्रस्ताव कहता है कि कथन $$A \subseteq B$$ यूनियनों, चौराहों और पूरक से जुड़े कई अन्य बयानों के बराबर है।

प्रस्ताव 8: किसी भी दो सेट ए और बी के लिए, निम्नलिखित समतुल्य हैं:
 * $$A \subseteq B$$
 * $$A \cap B = A$$
 * $$A \cup B = B$$
 * $$A \setminus B = \varnothing$$
 * $$B^C \subseteq A^C$$

उपरोक्त प्रस्ताव से पता चलता है कि सेट समावेशन के संबंध को सेट यूनियन या सेट इंटरसेक्शन के संचालन में से किसी एक द्वारा वर्णित किया जा सकता है, जिसका अर्थ है कि सेट समावेशन की धारणा स्वयंसिद्ध रूप से अनावश्यक है।

सापेक्ष पूरक का बीजगणित
निम्नलिखित प्रस्ताव पूरक (सेट सिद्धांत) और सेट-सैद्धांतिक मतभेदों से संबंधित कई पहचानों को सूचीबद्ध करता है।

प्रस्ताव 9: किसी भी ब्रह्मांड यू और यू के उपसमुच्चय ए, बी और सी के लिए, निम्नलिखित सर्वसमिकाएँ हैं:


 * $$C \setminus (A \cap B) = (C \setminus A) \cup (C \setminus B)$$
 * $$C \setminus (A \cup B) = (C \setminus A) \cap (C \setminus B)$$
 * $$C \setminus (B \setminus A) = (A \cap C)\cup(C \setminus B)$$
 * $$(B \setminus A) \cap C = (B \cap C) \setminus A = B \cap (C \setminus A)$$
 * $$(B \setminus A) \cup C = (B \cup C) \setminus (A \setminus C)$$
 * $$(B \setminus A) \setminus C = B \setminus (A \cup C)$$
 * $$A \setminus A = \varnothing$$
 * $$\varnothing \setminus A = \varnothing$$
 * $$A \setminus \varnothing = A$$
 * $$B \setminus A = A^C \cap B$$
 * $$(B \setminus A)^C = A \cup B^C$$
 * $$U \setminus A = A^C$$
 * $$A \setminus U = \varnothing$$

यह भी देखें

 * σ-बीजगणित समुच्चयों का एक बीजगणित है, जिसे गिनती के अनंत संक्रियाओं को शामिल करने के लिए पूरा किया गया है।
 * स्वयंसिद्ध सेट सिद्धांत
 * छवि (गणित) # गुण
 * सेट का क्षेत्र
 * निर्धारित पहचान और संबंधों की सूची
 * भोले सेट सिद्धांत
 * सेट (गणित)
 * टोपोलॉजिकल स्पेस # परिभाषाएँ - का एक सबसेट $$\wp(X)$$, का पावर सेट $$X$$मनमाना संघ, परिमित चौराहा और युक्त के संबंध में बंद $$\emptyset$$ और $$X$$.

संदर्भ

 * Stoll, Robert R.; Set Theory and Logic, Mineola, N.Y.: Dover Publications (1979) ISBN 0-486-63829-4. "The Algebra of Sets", pp 16&mdash;23.
 * Courant, Richard, Herbert Robbins, Ian Stewart, What is mathematics?: An Elementary Approach to Ideas and Methods, Oxford University Press US, 1996. ISBN 978-0-19-510519-3. "SUPPLEMENT TO CHAPTER II THE ALGEBRA OF SETS".

बाहरी संबंध

 * Operations on Sets at ProvenMath