स्वतुल्य संबंध

From Vigyanwiki

गणित में, एक समुच्चय(गणित) x पर एक द्विआधारी संबंध r 'प्रतिवर्त' होता है यदि यह x के प्रत्येक तत्व को स्वयं से संबंधित करता है।[1][2] वास्तविक संख्याओं के समुच्चय पर स्वतुल्य संबंध का एक उदाहरण "के बराबर है" क्योंकि प्रत्येक वास्तविक संख्या स्वयं के बराबर होती है। कहा जाता है कि एक प्रतिवर्ती सम्बन्ध में प्रतिवर्ती गुण या रिफ्लेक्सिविटी होती है। समरूपता और संक्रामकता के साथ-साथ रिफ्लेक्सीविटी तुल्यता संबंधों को परिभाषित करने वाले तीन गुणों में से एक है।

परिभाषाएँ

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

reflexive closure }} का  संघ है  जिसे समतुल्य रूप से सबसे छोटे के रूप में परिभाषित किया जा सकता है) ) पर रिफ्लेक्टिव रिलेशनशिप  यह एक बगुला है  एक संबंध  यदि और केवल अगर यह अपने रिफ्लेक्टिव क्लोजर के बराबर है तो रिफ्लेक्टिव है। reflexive reduction }} या irreflexive kernel का  सबसे छोटा है (संबंध के साथ ) पर संबंध  के रूप में एक ही रिफ्लेक्टिव क्लोजर है  यह बराबर है  की अकाट्य कर्नेल  एक अर्थ में, एक निर्माण के रूप में देखा जा सकता है जो कि रिफ्लेक्टिव क्लोजर के विपरीत है  उदाहरण के लिए, कैनोनिकल सख्त असमानता का रिफ्लेक्टिव क्लोजर  वास्तविक संख्या पर  सामान्य गैर-सख्ती असमानता है  जबकि रिफ्लेक्टिव कमी  है  

संबंधित परिभाषाएँ

प्रतिवर्ती गुण से संबंधित अनेक परिभाषाएँ हैं। सम्बन्ध कहा जाता है:

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

प्रतिसममित संबंध:

यदि जब भी ऐसा हो कि तो अनिवार्य रूप से होगा।


सहप्रतिवर्ती: यदि जब भी ऐसा हो कि तो अनिवार्य रूप से [5]होगा। एक संबंध सहप्रतिवर्ती है अगर और केवल अगर इसकी सममित बंद विरोधी-सममित है।

एक अरिक्त समूह पर एक रिफ्लेक्सिव संबंध न तो अपरिवर्तनीय हो सकता है, और न ही असममित ( को असममित कहा जाता है यदि का तात्पर्य नहीं है ), और न ही प्रतिसंक्रमणीय ( प्रतिसंक्रमणीय है यदि का अर्थ नहीं है )।

उदाहरण

रिफ्लेक्सिव संबंधों के उदाहरणों में सम्मिलित हैं:

  • के बराबर है (समानता (गणित))
  • का एक उपसमुच्चय है (समूह समावेशन)
  • विभाजन (विभाजक)
  • से अधिक या बराबर है
  • से कम या उसके बराबर है

अकाट्य संबंधों के उदाहरणों में सम्मिलित हैं::

  • के बराबर नहीं है
  • 1 से बड़े पूर्णांक पर कॉपीरीट है
  • का उचित उपसमुच्चय है
  • से बड़ा है
  • से छोटा है

एक अपरिवर्तनीय संबंध का एक उदाहरण जिसका अर्थ है कि यह किसी भी तत्व को स्वयं से संबंधित नहीं करता है, वास्तविक संख्याओं पर "से बड़ा" संबंध () है। प्रत्येक संबंध जो प्रतिवर्ती नहीं, अप्रतिवर्ती है, ऐसे संबंधों को परिभाषित करना संभव है जहां कुछ तत्व स्वयं से संबंधित हैं, लेकिन अन्य नहीं हैं (अर्थात, न तो सभी और न ही कोई भी)। उदाहरण के लिए, द्विआधारी संबंध और का गुणनफल सम है" विषम संख्याओं के समुच्चय पर सम संख्याओं के समुच्चय पर अपवर्तक है, और प्राकृतिक संख्याओं के समुच्चय पर न तो प्रतिवर्ती है और न ही अप्रतिवर्ती है।

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

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

रिफ्लेक्टिव संबंधों की संख्या

एक -तत्व समुच्चय पर स्वतुल्य संबंधों की संख्या है [6]

Number of n-element binary relations of different types
Elem­ents Any Transitive Reflexive Symmetric Preorder Partial order Total preorder Total order Equivalence relation
0 1 1 1 1 1 1 1 1 1
1 2 2 1 2 1 1 1 1 1
2 16 13 4 8 4 3 3 2 2
3 512 171 64 64 29 19 13 6 5
4 65,536 3,994 4,096 1,024 355 219 75 24 15
n 2n2 2n2n 2n(n+1)/2 n!
OEIS A002416 A006905 A053763 A006125 A000798 A001035 A000670 A000142 A000110

Note that S(n, k) refers to Stirling numbers of the second kind.


दार्शनिक तर्क

प्रायः दार्शनिक तर्कशास्त्र के लेखक विभिन्न शब्दावली का प्रयोग करते हैं। गणितीय अर्थ में बाध्य संबंधों को दार्शनिक तर्क में पूरी तरह से रिफ्लेक्सिव कहा जाता है, और अर्ध-बाध्य संबंधों को रिफ्लेक्सिव कहा जाता है।[7][8]


टिप्पणियाँ

  1. Levy 1979:74
  2. Relational Mathematics, 2010
  3. This term is due to C S Peirce, see Bertrand Russell (Apr 1920). Introduction to Mathematical Philosophy (PDF) (2nd ed.). London: George Allen & Unwin, Ltd. (Online corrected edition, Feb 2010). Here: p. 32. Russel also introduces two equivalent terms to be contained in or imply diversity.
  4. The Encyclopedia Britannica calls this property quasi-reflexivity.
  5. Fonseca de Oliveira, J. N., & Pereira Cunha Rodrigues, C. D. J. (2004). Transposing Relations: From Maybe Functions to Hash Tables. In Mathematics of Program Construction (p. 337).
  6. On-Line Encyclopedia of Integer Sequences A053763
  7. Alan Hausman; Howard Kahane; Paul Tidman (2013). Logic and Philosophy — A Modern Introduction. Wadsworth. ISBN 1-133-05000-X. Here: p.327-328
  8. D.S. Clarke; Richard Behling (1998). Deductive Logic — An Introduction to Evaluation Techniques and Logical Theory. University Press of America. ISBN 0-7618-0922-8. Here: p.187


संदर्भ


बाहरी कड़ियाँ