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

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

परिभाषाएँ
होने देना $$R$$ एक सेट पर एक द्विआधारी संबंध हो $$X,$$ जो परिभाषा के अनुसार सिर्फ एक सबसेट है $$X \times X.$$ किसी के लिए $$x, y \in X,$$ अंकन $$x R y$$ मतलब कि $$(x, y) \in R$$ जबकि नहीं $$x R y$$मतलब कि $$(x, y) \not\in R.$$ सम्बन्ध $$R$$ कहा जाता है अगर $$x R x$$ हरएक के लिए $$x \in X$$ या समतुल्य रूप से, अगर $$\operatorname{I}_X \subseteq R$$ कहाँ पे $$\operatorname{I}_X := \{ (x, x) ~:~ x \in X \}$$ पर पहचान के संबंध को दर्शाता है $$X.$$ }} का $$R$$ संघ है $$R \cup \operatorname{I}_X,$$ जिसे समतुल्य रूप से सबसे छोटे के रूप में परिभाषित किया जा सकता है) $$\subseteq$$) पर रिफ्लेक्टिव रिलेशनशिप $$X$$ यह एक बगुला है $$R.$$ एक संबंध $$R$$ यदि और केवल अगर यह अपने रिफ्लेक्टिव क्लोजर के बराबर है तो रिफ्लेक्टिव है। }} या  का $$R$$ सबसे छोटा है (संबंध के साथ $$\subseteq$$) पर संबंध $$X$$ के रूप में एक ही रिफ्लेक्टिव क्लोजर है $$R.$$ यह बराबर है $$R \setminus \operatorname{I}_X = \{ (x, y) \in R ~:~ x \neq y \}.$$ की अकाट्य कर्नेल $$R$$ एक अर्थ में, एक निर्माण के रूप में देखा जा सकता है जो कि रिफ्लेक्टिव क्लोजर के विपरीत है $$R.$$ उदाहरण के लिए, कैनोनिकल सख्त असमानता का रिफ्लेक्टिव क्लोजर $$ < $$ वास्तविक संख्या पर $$\mathbb{R}$$ सामान्य गैर-सख्ती असमानता है $$\leq$$ जबकि रिफ्लेक्टिव कमी $$\leq$$ है $$<.$$

संबंधित परिभाषाएँ
रिफ्लेक्टिव प्रॉपर्टी से संबंधित कई परिभाषाएँ हैं। सम्बन्ध $$R$$ कहा जाता है:


 * ,या : यदि यह किसी भी तत्व से संबंधित नहीं है;वह है, अगर नहीं $$x R x$$ हरएक के लिए $$x \in X.$$ एक संबंध अकाट्य है यदि और केवल अगर इसका पूरक संबंध है $$X \times X$$ रिफ्लेक्टिव है।एक असममित संबंध आवश्यक रूप से अकाट्य है।एक सकर्मक और अकाट्य संबंध आवश्यक रूप से असममित है।


 * जब भी $$x, y \in X$$ ऐसे हैं कि $$x R y,$$ फिर जरूरी $$x R x.$$
 * जब भी $$x, y \in X$$ ऐसे हैं कि $$x R y,$$ फिर जरूरी $$y R y.$$
 * यदि हर तत्व जो कुछ संबंध का हिस्सा है, तो वह स्वयं से संबंधित है।स्पष्ट रूप से, इसका मतलब है कि जब भी $$x, y \in X$$ ऐसे हैं कि $$x R y,$$ फिर जरूरी $$x R x$$ $$y R y.$$ समान रूप से, एक द्विआधारी संबंध अर्ध-रिफ्लेक्सिव है यदि और केवल अगर यह दोनों बाएं अर्ध-रिफ्लेक्सिव और राइट क्वैसी-रिफ्लेक्सिव है।एक संबंध $$R$$ अगर और केवल अगर इसका सममित बंद होना $$R \cup R^{\operatorname{T}}$$ बाएं (या दाएं) अर्ध-रिफ्लेक्सिव है।

असंबद्ध संबंध संबंध: जब भी $$x, y \in X$$ ऐसे हैं कि $$x R y \text{ and } y R x,$$ फिर जरूरी $$x = y.$$ ;: जब भी $$x, y \in X$$ ऐसे हैं कि $$x R y,$$ फिर जरूरी $$x = y.$$ एक संबंध $$R$$ कोरफ्लेक्सिव है अगर और केवल अगर इसका सममित बंद एंटीसिमेट्रिक संबंध है। एंटी-सममितीय।

एक गैर -रिक्त सेट पर एक रिफ्लेक्टिव संबंध $$X$$ न तो अकाट्य हो सकता है, न ही असममित संबंध ($$R$$ कहा जाता है अगर $$x R y$$ तात्पर्य नहीं है $$y R x$$), और न ही प्रतिवाद ($$R$$ है  अगर $$x R y \text{ and } y R z$$ तात्पर्य नहीं है $$x R z$$)।

उदाहरण
रिफ्लेक्टिव संबंधों के उदाहरण & nbsp; शामिल हैं: अकाट्य संबंधों के उदाहरणों में शामिल हैं:
 * के बराबर है (समानता (गणित))
 * (सेट समावेशन) का एक सबसेट है
 * विभाजन (विभाजक)
 * से अधिक या बराबर है
 * से कम या उसके बराबर है
 * के बराबर नहीं है
 * 1 से बड़े पूर्णांक पर कॉपीरीट है
 * का एक उचित सबसेट है
 * से बड़ा है
 * मै रुक जाना

एक अकाट्य संबंध का एक उदाहरण, जिसका अर्थ है कि यह किसी भी तत्व से संबंधित नहीं है, संबंध से अधिक है ($$x > y$$) वास्तविक संख्या पर।हर संबंध जो रिफ्लेक्टिव नहीं है वह अकाट्य नहीं है;उन संबंधों को परिभाषित करना संभव है जहां कुछ तत्व स्वयं से संबंधित हैं, लेकिन अन्य नहीं हैं (यानी, न तो सभी और न ही कोई नहीं हैं)।उदाहरण के लिए, द्विआधारी संबंध के उत्पाद $$x$$ और $$y$$ यहां तक कि सम संख्याओं के सेट पर भी रिफ्लेक्टिव है, विषम संख्याओं के सेट पर अकाट्य, और न तो रिफ्लेक्टिव और न ही प्राकृतिक संख्याओं के सेट पर अकाट्य है।

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

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

रिफ्लेक्टिव संबंधों की संख्या
एक $$n$$-तत्व समुच्चय पर स्वतुल्य संबंधों $$2^{n^2-n}.$$ की संख्या है

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

संदर्भ

 * Levy, A. (1979) Basic Set Theory, Perspectives in Mathematical Logic, Springer-Verlag. Reprinted 2002, Dover. ISBN 0-486-42079-5
 * Lidl, R. and Pilz, G. (1998). Applied abstract algebra, Undergraduate Texts in Mathematics, Springer-Verlag. ISBN 0-387-98290-6
 * Quine, W. V. (1951). Mathematical Logic, Revised Edition. Reprinted 2003, Harvard University Press. ISBN 0-674-55451-5
 * Gunther Schmidt, 2010. Relational Mathematics. Cambridge University Press, ISBN 978-0-521-76268-7.