सममित अंतर

From Vigyanwiki
Revision as of 08:50, 12 May 2023 by alpha>Anil
Symmetric difference
Venn0110.svg
Venn diagram of . The symmetric difference is the union without the intersection: Venn0111.svg Venn0001.svg Venn0110.svg
TypeSet operation
FieldSet theory
StatementThe symmetric difference is the set of elements that are in either set, but not in the intersection.
Symbolic statement

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

समुच्चय A और B के सममितीय अंतर को सामान्यतया निरूपित किया जाता है या [1][2][3]

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

गुण

का वेन आरेख Venn 0110 0110.svg Venn 0000 1111.svg Venn 0110 1001.svg

सममित अंतर दोनों पूरक (सेट सिद्धांत) के संघ (सेट सिद्धांत) के बराबर है, अर्थात:[1]

सेट-बिल्डर नोटेशन में दो सेटों का वर्णन करने वाले विधेय (गणितीय तर्क) पर एक्सक्लूसिव डिसजंक्शन एक तार्किक संचालन ⊕ का उपयोग करके सममित अंतर भी व्यक्त किया जा सकता है:

उसी तथ्य को संकेतक फलन के रूप में कहा जा सकता है (यहाँ द्वारा दर्शाया गया है ) सममित अंतर का, इसके दो तर्कों के संकेतक फलन का एक्सओआर (या अतिरिक्त मॉड्यूलर अंकगणितय प्रणाली) होने के नाते: या आइवरसन ब्रैकेट नोटेशन का उपयोग करना .

सममित अंतर को दो सेटों के मिलन के रूप में भी व्यक्त किया जा सकता है, उनके प्रतिच्छेदन (सेट सिद्धांत) को घटाकर:

[1]

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

.

सममित अंतर क्रमविनिमेयता और साहचर्य है:

रिक्त समुच्चय पहचान तत्व होता है, और प्रत्येक सेट का अपना व्युत्क्रम होता है:

इस प्रकार, सममित अंतर ऑपरेशन के तहत किसी भी सेट X का घात समुच्चय एक एबेलियन समूह बन जाता है। (अधिक सामान्यतः, सेट का कोई भी क्षेत्र संक्रिया के रूप में सममितीय अंतर के साथ एक समूह बनाता है।) एक समूह जिसमें प्रत्येक तत्व का अपना व्युत्क्रम होता है (या, समतुल्य रूप से, जिसमें प्रत्येक तत्व का क्रम (समूह सिद्धांत) 2 होता है) को कभी-कभी बूलियन समूह कहा जाता है;[4][5] सममित अंतर ऐसे समूहों का एक आदिरूप उदाहरण प्रदान करता है। कभी-कभी बूलियन समूह को वास्तव में समुच्चय पर सममित अंतर संचालन के रूप में परिभाषित किया जाता है।[6] ऐसे स्थितियों में जहां X में केवल दो तत्व हैं, इस प्रकार प्राप्त समूह क्लेन चार-समूह होता है।

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

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

इसका तात्पर्य त्रिभुज असमानता है:[7] वह A और C का सममित अंतर A और B के सममित अंतर और B और C के सममित अंतर के मिलन में समाहित है।

चौराहा (सेट सिद्धांत) सममित अंतर पर वितरण करता है:

और इससे पता चलता है कि X का पावर समुच्चय एक रिंग (गणित) बन जाता है, जिसमें गुणा के रूप में जोड़ और चौराहा (सेट सिद्धांत) के रूप में सममित अंतर होता है। यह बूलियन रिंग का आदिरूप उदाहरण है।

सममित अंतर के गुणों में सम्मलित हैं:

  • अगर और केवल अगर .
  • , जहां , है का पूरक, का पूरक, क्रमशः, किसी भी (निश्चित) समुच्चय के सापेक्ष जिसमें दोनों सम्मलित हैं।
  • , जहां एक इच्छानुसार गैर-खाली अनुक्रमणिका समुच्चय है।
  • अगर कोई भी फलन है और किसी भी सेट में है का कोडोमेन हैं, फिर

सममित अंतर को किसी भी बूलियन बीजगणित (संरचना) में लिखकर परिभाषित किया जा सकता है

इस संचालन में समुच्चय के सममित अंतर के समान गुण हैं।

एन-एरी सममित अंतर

दोहराए गए सममित अंतर एक अर्थ में सेट के एक बहुसेट पर एक संचालन के बराबर है जो विषम संख्या में सेट वाले तत्वों का एक सेट देता है।

ऊपर के रूप में, सेट के संग्रह के सममित अंतर में केवल तत्व होते हैं जो संग्रह में सेट की विषम संख्या में होते हैं:


जाहिर है, यह केवल तभी अच्छी तरह से परिभाषित होता है जब यूनियन के प्रत्येक तत्व के तत्वों की एक सीमित संख्या द्वारा योगदान दिया जाता है .

कल्पना करना एक बहुसेट है और . फिर इसके लिए एक सूत्र है , में तत्वों की संख्या , केवल तत्वों के चौराहा (सेट सिद्धांत) के संदर्भ में दिया गया है :

माप रिक्त स्थान पर सममित अंतर

जब तक एक सेट "कितना बड़ा" है, तब तक दो सेटों के बीच सममित अंतर को एक उपाय माना जा सकता है कि वे कितने "दूर" हैं।

पहले एक परिमित समुच्चय S पर विचार करें और उनके आकार द्वारा दिए गए उपसमुच्चय पर गिनती माप हैं। अब S के दो उपसमुच्चयों पर विचार करें और उनकी दूरी को उनके सममित अंतर के आकार के रूप में सेट करें। यह दूरी वास्तव में एक मीट्रिक (गणित) है, जो एस के घात समुच्चय को एक मीट्रिक स्थान बनाती है। यदि S में n अवयव हैं, तो रिक्त समुच्चय से S तक की दूरी n है, और यह उपसमुच्चयों के किसी भी युग्म के लिए अधिकतम दूरी है [8]

माप सिद्धांत के विचारों का उपयोग करते हुए, मापने योग्य सेटों के पृथक्करण को उनके सममित अंतर के माप के रूप में परिभाषित किया जा सकता है। यदि μ एक σ-सीमित माप है जो σ-बीजगणित Σ पर परिभाषित है, तो फलन

Σ पर स्यूडोमेट्रिक स्थान है। dμ एक मीट्रिक स्थान बन जाता है अगर Σ को तुल्यता संबंध X ~ Y माना जाता है यदि और केवल यदि . इसे कभी-कभी फ्रेचेट-निकोडीम मीट्रिक कहा जाता है। परिणामी मीट्रिक स्थान वियोज्य स्थान है यदि और केवल यदि L2(μ) वियोज्य है।

अगर , अपने पास: . वास्तव में,

अगर एक माप स्थान है और मापने योग्य सेट हैं, तो उनका सममित अंतर भी मापने योग्य है: . मापने योग्य सेटों पर एक समतुल्य संबंध को परिभाषित कर सकते हैं और संबंधित हो अगर . तो इस संबंध को दर्शाया गया है .

दिया गया , को लिखते है यदि प्रत्येक के लिए कुछ हैं ऐसा है कि . रिश्ता के उपसमुच्चयों के परिवार पर एक आंशिक क्रम है .

हम लिखते हैं अगर और . रिश्ता के उपसमुच्चयों के बीच एक तुल्यता संबंध है .

का सममित समापन सभी का संग्रह है -मापने योग्य सेट हैं जो कुछ के लिए . का सममित समापन में सम्मलित हैं . अगर एक उप है -बीजगणित का , तो सममित बंद है .

आईएफएफ लगभग हर जगह

हॉसडॉर्फ दूरी बनाम सममित अंतर

HausdorffVsSymmetric.png

हॉसडॉर्फ दूरी और (क्षेत्र) सममित अंतर मापने योग्य ज्यामितीय आकृतियों के सेट पर दोनों छद्म-मेट्रिक्स हैं। चूंकि, वे काफी अलग व्यवहार करते हैं। दाईं ओर का आंकड़ा आकृतियों के दो अनुक्रमों को दिखाता है, "लाल" और "लाल ∪ हरा"। जब उनके बीच हॉसडॉर्फ की दूरी कम हो जाती है, तो उनके बीच सममित अंतर का क्षेत्र बड़ा हो जाता है, और जो इसके विपरीत भी सम्भव हैं। इन अनुक्रमों को दोनों दिशाओं में जारी रखते हुए, दो अनुक्रम प्राप्त करना संभव है जैसे कि उनके बीच हॉसडॉर्फ की दूरी 0 में परिवर्तित हो जाती है और उनके बीच की सममित दूरी अलग हो जाती है, या जो इसके विपरीत भी सम्भव हैं।

यह भी देखें

संदर्भ

  1. 1.0 1.1 1.2 Taylor, Courtney (March 31, 2019). "What Is Symmetric Difference in Math?". ThoughtCo (in English). Retrieved 2020-09-05.
  2. Weisstein, Eric W. "सममित अंतर". mathworld.wolfram.com (in English). Retrieved 2020-09-05.
  3. https://en.wiktionary.org/wiki/symmetric_difference[user-generated source]
  4. Givant, Steven; Halmos, Paul (2009). बूलियन बीजगणित का परिचय. Springer Science & Business Media. p. 6. ISBN 978-0-387-40293-2.
  5. Humberstone, Lloyd (2011). कनेक्टिव्स. MIT Press. p. 782. ISBN 978-0-262-01654-4.
  6. Rotman, Joseph J. (2010). उन्नत आधुनिक बीजगणित. American Mathematical Soc. p. 19. ISBN 978-0-8218-4741-1.
  7. Rudin, Walter (January 1, 1976). गणितीय विश्लेषण के सिद्धांत (3rd ed.). McGraw-Hill Education. p. 306. ISBN 978-0070542358.
  8. Claude Flament (1963) Applications of Graph Theory to Group Structure, page 16, Prentice-Hall MR0157785


ग्रन्थसूची