View source for स्वतुल्य संबंध

{{short description|Binary relation that relates every element to itself}}
गणित में, एक [[सेट (गणित)|समुच्चय(गणित)]] x पर एक [[द्विआधारी संबंध]] r 'प्रतिवर्त' होता है यदि यह x के प्रत्येक तत्व को स्वयं से संबंधित करता है।<ref>Levy 1979:74</ref><ref>Relational Mathematics, 2010</ref> [[वास्तविक संख्या]]ओं के समुच्चय पर स्वतुल्य संबंध का एक उदाहरण "के बराबर है" क्योंकि प्रत्येक वास्तविक संख्या स्वयं के बराबर होती है। कहा जाता है कि एक प्रतिवर्ती सम्बन्ध में प्रतिवर्ती गुण या रिफ्लेक्सिविटी होती है। [[सममित संबंध|समरूपता]] और संक्रामकता के साथ-साथ रिफ्लेक्सीविटी तुल्यता संबंधों को परिभाषित करने वाले तीन गुणों में से एक है।

== परिभाषाएँ ==

माना कि <math>R</math>  एक समूह <math>X,</math> पर एक द्विआधारी संबंध है, जो परिभाषा के अनुसार <math>X \times X.</math> का एक उपसमुच्चय है। किसी के लिए <math>x, y \in X,</math> अंकन <math>x R y</math> मतलब कि <math>(x, y) \in R</math> जबकि नहीं <math>x R y</math>मतलब कि <math>(x, y) \not\in R.</math> सम्बन्ध <math>R</math> कहा जाता है {{em|reflexive}} अगर <math>x R x</math> हरएक के लिए <math>x \in X</math> या समतुल्य रूप से, अगर <math>\operatorname{I}_X \subseteq R</math> कहाँ पे <math>\operatorname{I}_X := \{ (x, x) ~:~ x \in X \}</math> पर पहचान के संबंध को दर्शाता है <math>X.</math>

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

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

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

;{{visible anchor|अकाट्य|असंवेदनशीलता|अविचलित संबंध}},{{visible anchor|एंटी-रिफ्लेक्सिव|Anti-reflexivity|Anti-reflexive relation}} या {{visible anchor|अन्योन्याश्रित}}<ref>This term is due to [[C S Peirce]], see {{cite book | url=https://people.umass.edu/klement/imp/imp-ebk.pdf | isbn= | author=Bertrand Russell | author-link=Bertrand Russell | title=Introduction to Mathematical Philosophy | location=London | publisher=George Allen & Unwin, Ltd. | edition=2nd | date=Apr 1920 }}  (Online corrected edition, Feb 2010). Here: p. 32. Russel also introduces two equivalent terms ''to be contained in'' or ''imply diversity''.</ref>: यदि यह किसी भी तत्व को अपने आप से संबंधित नहीं करता है, तो प्रत्येक <math>x \in X.</math> के लिए  <math>x R x</math> नहीं है। एक संबंध अपरिवर्तनीय है यदि और केवल अगर  <math>X \times X</math> में इसका पूरक प्रतिवर्ती है। [[असममित संबंध]] आवश्यक रूप से अपरिवर्तनीय है। एक सकर्मक और अप्रतिवर्ती संबंध आवश्यक रूप से असममित होता है।

;{{visible anchor|वाम अर्ध-प्रतिवर्त|Left quasi-reflexivity}}: यदि जब भी <math>x, y \in X</math> ऐसा हो कि <math>x R y,</math> तो अनिवार्य रूप से <math>x R x.</math> होगा।<ref name="Britannica">The [https://www.britannica.com/topic/formal-logic/Logical-manipulations-in-LPC#ref534730 Encyclopedia Britannica] calls this property quasi-reflexivity.</ref>
;{{visible anchor|दाँयाँ अर्ध-प्रतिवर्त|Right quasi-reflexivity|Right quasi-reflexive relation}}: यदि जब भी <math>x, y \in X</math> ऐसा हो कि  <math>x R y,</math> तो अनिवार्य रूप से  <math>y R y.</math>होगा।
;{{visible anchor|अर्ध-प्रतिवर्त|Quasi-reflexivity}}: यदि हर तत्व जो कुछ संबंध का हिस्सा है, तो वह स्वयं से संबंधित है। स्पष्ट रूप से, इसका अर्थ यह है कि जब भी <math>x, y \in X</math> ऐसा होता है कि <math>x R y,</math> तो अनिवार्य रूप से  <math>x R x</math> {{em|and}} <math>y R y.</math> होता है। समतुल्य रूप से, एक द्विआधारी संबंध अर्ध-प्रतिवर्त है यदि और केवल यदि यह दोनों अर्ध-प्रतिवर्त और दायां अर्ध-प्रतिवर्त है। एक संबंध <math>R</math> अर्ध-प्रतिवर्ती है यदि और केवल यदि इसका सममित संवरण <math>R \cup R^{\operatorname{T}}</math> बाएं (या दाएं) अर्ध-प्रतिवर्ती है।

[[असंबद्ध संबंध|प्रतिसममित संबंध]]: 

यदि जब भी <math>x, y \in X</math> ऐसा हो कि <math>x R y \text{ and } y R x,</math> तो अनिवार्य रूप से  <math>x = y.</math> होगा।



'''{{visible anchor|सहप्रतिवर्ती|Coreflexivity|Coreflexive relation}}:''' यदि जब भी  <math>x, y \in X</math> ऐसा हो कि <math>x R y,</math> तो अनिवार्य रूप से <math>x = y.</math><ref>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).</ref>होगा। एक संबंध <math>R</math> सहप्रतिवर्ती है अगर और केवल अगर इसकी सममित बंद विरोधी-सममित है।

अरिक्त समूह <math>X</math> पर एक प्रतिवर्ती संबंध न तो अपरिवर्तनीय हो सकता है, और न ही असममित (<math>R</math> को असममित कहा जाता है यदि  <math>x R y</math> का तात्पर्य <math>y R x</math> नहीं है ), और न ही प्रतिसंक्रमणीय (<math>R</math>  प्रतिसंक्रमणीय है यदि  <math>x R y \text{ and } y R z</math> का अर्थ <math>x R z</math> नहीं है )।

== उदाहरण ==
{{multiple image
| image1=GreaterThanOrEqualTo.png
| width1=250
| image2=GreaterThan.png
| width2=200
}}
रिफ्लेक्सिव संबंधों के उदाहरणों में सम्मिलित हैं:
* के बराबर है (समानता (गणित))
* का एक [[सबसेट|उपसमुच्चय]] है (समूह समावेशन)
* विभाजन ([[विभाजक]])
*  से अधिक या बराबर है
* से कम या उसके बराबर है
अकाट्य संबंधों के उदाहरणों में सम्मिलित हैं::
* के बराबर नहीं है
* 1 से बड़े पूर्णांक पर कॉपीरीट है
* का उचित उपसमुच्चय है
*  से बड़ा है
*  से छोटा है

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

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

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

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

एक <math>n</math>-तत्व समुच्चय पर स्वतुल्य संबंधों <math>2^{n^2-n}.</math> की संख्या है <ref>On-Line Encyclopedia of Integer Sequences [[OEIS:A053763|A053763]]</ref>

{{Number of relations}}












== [[दार्शनिक तर्क]] ==

प्रायः दार्शनिक तर्कशास्त्र के लेखक विभिन्न शब्दावली का प्रयोग करते हैं।
गणितीय अर्थ में बाध्य संबंधों को दार्शनिक तर्क में पूरी तरह से रिफ्लेक्सिव कहा जाता है, और अर्ध-बाध्य संबंधों को रिफ्लेक्सिव कहा जाता है।<ref>{{cite book|author1=Alan Hausman|author2=Howard Kahane|author3=Paul Tidman|title=Logic and Philosophy — A Modern Introduction|year=2013|publisher=Wadsworth|isbn=1-133-05000-X}} Here: p.327-328</ref><ref>{{cite book|author1=D.S. Clarke|author2=Richard Behling|title=Deductive Logic — An Introduction to Evaluation Techniques and Logical Theory|year=1998|publisher=University Press of America|isbn=0-7618-0922-8}} Here: p.187</ref>


== टिप्पणियाँ ==

{{reflist|group=note}}
{{reflist}}


== संदर्भ ==

* 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}}.


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

* {{springer|title=Reflexivity|id=p/r080590}}

[[Category:Created On 03/02/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics sidebar templates]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Template documentation pages|Short description/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:द्विआधारी संबंध]]
[[Category:रिफ्लेक्टिव रिलेशंस| रिफ्लेक्टिव रिलेशंस ]]