विलोम संबंध: Difference between revisions

Revision as of 13:18, 6 December 2022

गणित में, वह सम्बन्ध जो सम्बन्ध में तत्वों के क्रम को परिवर्तित करने पर प्राप्त होता है, द्विआधारी सम्बन्ध का प्रतिलोम-सम्बन्ध (कन्वेर्ज़ रिलेशन), या पक्षांतरण (ट्रांस्पोज) कहलाता है। उदाहरण के लिए, 'चाइल्ड ऑफ़' सम्बन्ध का प्रतिलोम 'पैरेंट ऑफ़' सम्बन्ध है। औपचारिक पदों में, यदि $X$ और $Y$ समुच्चय हैं और $L\subseteq X\times Y$ $X$ से $Y$ तक का सम्बन्ध है, तो $L^{\operatorname {T} }$ सम्बन्ध परिभाषित किया गया है ताकि $yL^{\operatorname {T} }x$ यदि और केवल यदि $xLy$ हो। समुच्चय-बिल्डर नोटेशन में,

L^{\operatorname {T} }=\{(y,x)\in Y\times X:(x,y)\in L\}.

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

चूँकि एक सम्बन्ध एक तार्किक मैट्रिक्स द्वारा दर्शाया जा सकता है, और प्रतिलोम-सम्बन्ध का तार्किक मैट्रिक्स मूल का पक्षांतरण है, प्रतिलोम-सम्बन्ध को भी पारगमन सम्बन्ध कहा जाता है।^[1] इसे मूल सम्बन्ध का विपरीत या दोहरा भी कहा गया है,^[2] या मूल सम्बन्ध का व्युत्क्रम,^[3]^[4]^[5] या सम्बन्ध $L$ का पारस्परिक $L^{\circ }$ ।^[6]

प्रतिलोम-सम्बन्ध के लिए अन्य संकेतन में $L^{\operatorname {C} },L^{-1},{\breve {L}},L^{\circ },$ या $L^{\vee }$ शामिल हैं।

उदाहरण

सामान्य (शायद सख्त या आंशिक) आदेश सम्बन्धों के लिए, बातचीत भोले-भाले अपेक्षित "विपरीत" क्रम है, उदाहरण के लिए, ${\leq ^{\operatorname {T} }}={\geq },\quad {<^{\operatorname {T} }}={>}$ । एक सम्बन्ध को एक तार्किक मैट्रिक्स द्वारा दर्शाया जा सकता है जैसे कि

{\begin{pmatrix}1&1&1&1\\0&1&0&1\\0&0&1&0\\0&0&0&1\end{pmatrix}}.

तब प्रतिलोम-सम्बन्ध को उसके पक्षांतरण मैट्रिक्स द्वारा दर्शाया जाता है:

{\begin{pmatrix}1&0&0&0\\1&1&0&0\\1&0&1&0\\1&1&0&1\end{pmatrix}}.

रिश्तेदारी सम्बन्धों के प्रतिलोम का नाम दिया गया है: "

A

B

की संतान है" का प्रतिलोम "

B

A

के माता-पिता हैं"। "

A

,

B

का भतीजा या भतीजी है" का प्रतिलोम है "

B

,

A

के चाचा या चाची हैं"। सम्बन्ध "

A

B

का सहोदर है" इसका स्वयं का प्रतिलोम है, क्योंकि यह एक सममित सम्बन्ध है।

गुण

एक समुच्चय पर द्विआधारी एंडोरेलेशन के मोनोइड में (सम्बन्धों की संरचना होने वाले सम्बन्धों पर द्विआधारी ऑपरेशन के साथ), विपरीत सम्बन्ध समूह सिद्धांत से व्युत्क्रम की परिभाषा को संतुष्ट नहीं करता है, अर्थात्, यदि $L$ $X,$ पर एक मनमाना सम्बन्ध है, तो $L\circ L^{\operatorname {T} }$ सामान्य रूप से $X$ पर तत्समक सम्बन्ध के बराबर नहीं है। प्रतिलोम-सम्बन्ध एक अर्धसमूह के (कमजोर) सिद्धांतों को अंतर्वलन से संतुष्ट करता है: $\left(L^{\operatorname {T} }\right)^{\operatorname {T} }=L$ और $(L\circ R)^{\operatorname {T} }=R^{\operatorname {T} }\circ L^{\operatorname {T} }$ ।^[7]

चूंकि आम तौर पर विभिन्न समुच्चयों के बीच सम्बन्धों पर विचार किया जा सकता है (जो एक मोनोइड के बजाय एक श्रेणी बनाते हैं, अर्थात् सम्बन्धों की श्रेणी रिले), इस संदर्भ में विपर्यय सम्बन्ध एक डैगर श्रेणी (अंतर्वलन के साथ उर्फ श्रेणी) के सिद्धांतों के अनुरूप है।^[8] इसके व्युत्क्रम के बराबर सम्बन्ध एक सममित सम्बन्ध है; खंजर श्रेणियों की भाषा में यह स्वतःसंबद्ध है।

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

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

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

उलटा

यदि $I$ तत्समक सम्बन्ध को प्रदर्शित करता है, तो सम्बन्ध $R$ का प्रतिलोम इस प्रकार हो सकता है: $R$ कहलाता है

दाहिने प्रतीप्य: यदि कोई सम्बन्ध $X$ मौजूद है, जिसे $R$ का सही प्रतिलोम कहा जाता है, जो $R\circ X=I$ को संतुष्ट करता है।
बाँया प्रतीप्य: यदि कोई सम्बन्ध $Y,$ मौजूद है, जिसे $R,$ का बायां प्रतिलोम कहा जाता है, जो $Y\circ R=I$ को संतुष्ट करता है।
प्रतीप्य: यदि यह दायां-उलटा और बायां-उलटा दोनों है।

एक व्युत्क्रमणीय समरूप सम्बन्ध $R,$ के लिए, सभी दाएँ और बाएँ व्युत्क्रम संपाती हैं; इस अनूठे समुच्चय को इसका व्युत्क्रम कहा जाता है और इसे $R^{-1}$ द्वारा दर्शाया जाता है, इस मामले में, $R^{-1}=R^{\operatorname {T} }$ होल्ड करता है। ^[1]^: 79

किसी फलन का प्रतिलोम-सम्बन्ध

एक फलन व्युत्क्रमणीय होता है यदि और केवल यदि इसका प्रतिलोम-सम्बन्ध एक फलन हो, तो इस मामले में प्रतिलोम-सम्बन्ध प्रतिलोम फलन होता है।

किसी फलन $f:X\to Y$ का प्रतिलोम-सम्बन्ध $\operatorname {graph} \,f^{-1}=\{(y,x)\in Y\times X:y=f(x)\}$ द्वारा परिभाषित सम्बन्ध $f^{-1}\subseteq Y\times X$ है।

यह आवश्यक रूप से एक फलन नहीं है: एक आवश्यक शर्त यह है कि $f$ अंतःक्षेपी हो, क्योंकि $f^{-1}$ बहु-मूल्यवान है। यह स्थिति $f^{-1}$ के लिए एक आंशिक फलन होने के लिए पर्याप्त है, और यह स्पष्ट है कि $f^{-1}$ तब एक (कुल) फलन है यदि और केवल यदि $f$ विशेषण है। उस मामले में, यदि $f$ एक विशेषण है, तो $f^{-1}$ को $f$ का प्रतिलोम फलन कहा जा सकता है।

उदाहरण के लिए, फ़ंक्शन $f(x)=2x+2$ में व्युत्क्रम फ़ंक्शन $f^{-1}(x)={\frac {x}{2}}-1$ है।

हालांकि, फलन $g(x)=x^{2}$ का व्युत्क्रम सम्बन्ध $g^{-1}(x)=\pm {\sqrt {x}},$ है जो कि बहु-मूल्यवान होने के कारण फलन नहीं है।

सम्बन्ध के साथ रचना

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

∀A ∀B ∅ ⊂ A ∩B ⇔ A ⊃ ∅ ⊂ B ⇔ A ⊃ ⊂ B. इसी प्रकार,

U = ब्रह्मांड के लिए, A ∪ B ⊂ U ⇔ A ⊂ U ⊃ B ⇔ A ⊂ ⊃ B.

अब समुच्चय सदस्यता सम्बन्ध और इसके प्रतिलोम पर विचार करें।

A\ni z\in B\Leftrightarrow z\in A\cap B\Leftrightarrow A\cap B\neq \emptyset .

इस प्रकार $A\ni \in B\Leftrightarrow A\cap B\neq \emptyset .$ विपरीत रचना $\in \ni$ सार्वभौम सम्बन्ध है।

रचनाओं का उपयोग सम्बन्धों को प्रकार के अनुसार वर्गीकृत करने के लिए किया जाता है: एक सम्बन्ध क्यू के लिए, जब क्यू की सीमा पर पहचान सम्बन्ध में क्यूटीक्यू होता है, तो क्यू को एकतरफा कहा जाता है। जब Q के डोमेन पर तत्समक सम्बन्ध Q QT में निहित होता है, तो Q को कुल कहा जाता है। जब Q एकसंयोजक और कुल दोनों हो तो यह एक फलन है। जब क्यूटी एकतरफा होता है, तो क्यू को इंजेक्शन कहा जाता है। जब QT कुल होता है, तो Q को विशेषण कहा जाता है।^[9]

यदि Q एकसंयोजक है, तो QQT, Q के प्रांत पर एक तुल्यता सम्बन्ध है, देखें सकर्मक सम्बन्ध#सम्बन्धित गुण।

यह भी देखें

संदर्भ

↑ ^1.0 ^1.1 ^1.2 Gunther Schmidt; Thomas Ströhlein (1993). संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित. Springer Berlin Heidelberg. pp. 9–10. ISBN 978-3-642-77970-1.
↑ Celestina Cotti Ferrero; Giovanni Ferrero (2002). नियरिंग्स: सेमीग्रुप्स और ग्रुप्स से जुड़े कुछ विकास. Kluwer Academic Publishers. p. 3. ISBN 978-1-4613-0267-4.
↑ Daniel J. Velleman (2006). इसे कैसे साबित करें: एक संरचित दृष्टिकोण. Cambridge University Press. p. 173. ISBN 978-1-139-45097-3.
↑ Shlomo Sternberg; Lynn Loomis (2014). उन्नत कैलकुलस. World Scientific Publishing Company. p. 9. ISBN 978-9814583930.
↑ Rosen, Kenneth H. (2017). असतत और संयोजी गणित की पुस्तिका. Rosen, Kenneth H., Shier, Douglas R., Goddard, Wayne. (Second ed.). Boca Raton, FL. p. 43. ISBN 978-1-315-15648-4. OCLC 994604351.{{cite book}}: CS1 maint: location missing publisher (link)
↑ Peter J. Freyd & Andre Scedrov (1990) Categories, Allegories, page 79, North Holland ISBN 0-444-70368-3
↑ Joachim Lambek (2001). "Relations Old and New". In Ewa Orłowska; Andrzej Szalas (eds.). कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके. Springer Science & Business Media. pp. 135–146. ISBN 978-3-7908-1365-4.
↑ ^8.0 ^8.1 Joachim Lambek (2001). "Relations Old and New". In Ewa Orłowska; Andrzej Szalas (eds.). कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके. Springer Science & Business Media. pp. 135–146. ISBN 978-3-7908-1365-4.
↑ Gunther Schmidt & Michael Winter (2018) Relational Topology, Springer Lecture Notes in Mathematics #2208, page 8, ISBN 978-3-319-74450-6

Halmos, Paul R. (1974), Naive Set Theory, p. 40, ISBN 978-0-387-90092-6

[R&G-1] 1.0 ^1.1 ^1.2 Gunther Schmidt; Thomas Ströhlein (1993). संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित. Springer Berlin Heidelberg. pp. 9–10. ISBN 978-3-642-77970-1.

[2] Celestina Cotti Ferrero; Giovanni Ferrero (2002). नियरिंग्स: सेमीग्रुप्स और ग्रुप्स से जुड़े कुछ विकास. Kluwer Academic Publishers. p. 3. ISBN 978-1-4613-0267-4.

[3] Daniel J. Velleman (2006). इसे कैसे साबित करें: एक संरचित दृष्टिकोण. Cambridge University Press. p. 173. ISBN 978-1-139-45097-3.

[S&S-4] Shlomo Sternberg; Lynn Loomis (2014). उन्नत कैलकुलस. World Scientific Publishing Company. p. 9. ISBN 978-9814583930.

[5] Rosen, Kenneth H. (2017). असतत और संयोजी गणित की पुस्तिका. Rosen, Kenneth H., Shier, Douglas R., Goddard, Wayne. (Second ed.). Boca Raton, FL. p. 43. ISBN 978-1-315-15648-4. OCLC 994604351.{{cite book}}: CS1 maint: location missing publisher (link)

[6] Peter J. Freyd & Andre Scedrov (1990) Categories, Allegories, page 79, North Holland ISBN 0-444-70368-3

[Lambek20012-7] Joachim Lambek (2001). "Relations Old and New". In Ewa Orłowska; Andrzej Szalas (eds.). कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके. Springer Science & Business Media. pp. 135–146. ISBN 978-3-7908-1365-4.

[Lambek2001-8] 8.0 ^8.1 Joachim Lambek (2001). "Relations Old and New". In Ewa Orłowska; Andrzej Szalas (eds.). कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके. Springer Science & Business Media. pp. 135–146. ISBN 978-3-7908-1365-4.

[9] Gunther Schmidt & Michael Winter (2018) Relational Topology, Springer Lecture Notes in Mathematics #2208, page 8, ISBN 978-3-319-74450-6

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

@@ Line 1: / Line 1: @@
 {{Short description|Reversal of the order of elements of a binary relation}}
-{{For|सांख्यिकी में उलटा संबंध|नकारात्मक संबंध}}
+{{For|सांख्यिकी में व्युत्क्रम संबंध| ऋणात्मक संबंध}}
-गणित में, एक [[द्विआधारी संबंध]] का विलोम संबंध, या स्थानान्तरण, वह संबंध है जो संबंध में तत्वों के क्रम को बदलने पर होता है। उदाहरण के लिए, 'का बच्चा' संबंध का विलोम 'का जनक' संबंध है। औपचारिक शब्दों में, यदि <math>X</math> और <math>Y</math> [[सेट (गणित)|समुच्चय]] हैं और <math>L \subseteq X \times Y</math> <math>X</math> से <math>Y,</math> तक का संबंध है, तो <math>L^{\operatorname{T}}</math> संबंध परिभाषित किया गया है ताकि <math>yL^{\operatorname{T}}x</math> यदि और केवल यदि <math>xLy</math> हो। [[सेट-बिल्डर नोटेशन]] में,
+गणित में, वह सम्बन्ध जो सम्बन्ध में तत्वों के क्रम को परिवर्तित करने पर प्राप्त होता है, [[द्विआधारी संबंध|द्विआधारी सम्बन्ध]] का '''प्रतिलोम-सम्बन्ध''' (कन्वेर्ज़ रिलेशन), या '''पक्षांतरण''' (ट्रांस्पोज) कहलाता है। उदाहरण के लिए, 'चाइल्ड ऑफ़' सम्बन्ध का प्रतिलोम 'पैरेंट ऑफ़' सम्बन्ध है। औपचारिक पदों में, यदि <math>X</math> और <math>Y</math> [[सेट (गणित)|समुच्चय]] हैं और <math>L \subseteq X \times Y</math> <math>X</math> से <math>Y</math> तक का सम्बन्ध है, तो <math>L^{\operatorname{T}}</math> सम्बन्ध परिभाषित किया गया है ताकि <math>yL^{\operatorname{T}}x</math> यदि और केवल यदि <math>xLy</math> हो। [[सेट-बिल्डर नोटेशन|समुच्चय-बिल्डर नोटेशन]] में,
 :<math>L^{\operatorname{T}} = \{ (y, x) \in Y \times X : (x, y) \in L \}.</math>
-एक व्युत्क्रम कार्य के लिए संकेतन इसके अनुरूप है। हालाँकि कई फलनों का प्रतिलोम नहीं होता है, फिर भी प्रत्येक संबंध का एक विशिष्ट विलोम होता है। [[एकात्मक ऑपरेशन|यूनरी ऑपरेशन]] जो एक संबंध को बातचीत के संबंध में मैप करता है, एक इनवोल्यूशन है, इसलिए यह एक सेट पर बाइनरी रिलेशंस पर इनवोल्यूशन के साथ एक सेमीग्रुप की संरचना को प्रेरित करता है, या, अधिक आम तौर पर, नीचे दिए गए विवरण के अनुसार [[संबंधों की श्रेणी]] पर एक डैगर श्रेणी उत्पन्न करता है। एक यूनरी ऑपरेशन के रूप में, बातचीत (कभी-कभी रूपांतरण या [[पक्षांतरित|ट्रांसपोज़िशन]] कहा जाता है) लेने से संबंधों के कैलकुस के ऑर्डर-संबंधित संचालन के साथ शुरू होता है, यानी यह संघ, चौराहे और पूरक के साथ कम्यूट करता है।
+किसी प्रतिलोम फलन के लिए संकेतन इसके अनुरूप होता है। हालाँकि कई फलनों का प्रतिलोम नहीं होता है, फिर भी प्रत्येक सम्बन्ध का एक विशिष्ट प्रतिलोम होता है। [[एकात्मक ऑपरेशन|यूनरी ऑपरेशन]] जो एक सम्बन्ध को प्रतिलोम-सम्बन्ध में प्रतिचित्रित (मैप) करता है, एक अंतर्वलन (इनवोल्यूशन) होता है, अतः यह एक समुच्चय पर द्विआधारी सम्बन्धों पर अंतर्वलन के साथ एक अर्द्धसमुह की संरचना को प्रेरित करता है, या, अधिक साधारणतयः, नीचे दिए गए विवरण के अनुसार [[संबंधों की श्रेणी|सम्बन्धों की श्रेणी]] पर एक डैगर श्रेणी उत्पन्न करता है। एक यूनरी ऑपरेशन के रूप में, संबंधों की गणना के क्रम से संबंधित संचालन के साथ प्रतिलोम (कभी-कभी रूपांतरण या [[पक्षांतरित|पक्षांतरण]] कहा जाता है) प्राप्त करना, अर्थात यह संघ, सर्वनिष्ठ और पूरक के साथ कम्यूट करता है।
-चूँकि एक संबंध एक तार्किक मैट्रिक्स द्वारा दर्शाया जा सकता है, और विलोम संबंध का तार्किक मैट्रिक्स मूल का स्थानान्तरण है, विलोम संबंध को भी पारगमन संबंध कहा जाता है।<ref name="R&G">{{cite book|author1=Gunther Schmidt|author2=Thomas Ströhlein|title=संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित|url=https://archive.org/details/relationsgraphsd00schm|url-access=limited|year=1993|publisher=Springer Berlin Heidelberg|isbn=978-3-642-77970-1|pages=[https://archive.org/details/relationsgraphsd00schm/page/n16 9]–10}}</ref> इसे मूल संबंध का विपरीत या दोहरा भी कहा गया है,<ref>{{cite book|author1=Celestina Cotti Ferrero|author2=Giovanni Ferrero|title=नियरिंग्स: सेमीग्रुप्स और ग्रुप्स से जुड़े कुछ विकास|year=2002|publisher=Kluwer Academic Publishers|isbn=978-1-4613-0267-4|page=3}}</ref> या मूल संबंध का व्युत्क्रम,<ref>{{cite book|author=Daniel J. Velleman|title=इसे कैसे साबित करें: एक संरचित दृष्टिकोण|url=https://books.google.com/books?id=sXt-ROLLNHcC&pg=PA173|year=2006|publisher=Cambridge University Press|isbn=978-1-139-45097-3|page=173}}</ref><ref name="S&S">{{cite book|author1=Shlomo Sternberg|author2=Lynn Loomis|title=उन्नत कैलकुलस|year=2014|publisher=World Scientific Publishing Company|isbn=978-9814583930|page=9}}</ref><ref>{{Cite book|last=Rosen|first=Kenneth H.|url=https://www.worldcat.org/oclc/994604351|title=असतत और संयोजी गणित की पुस्तिका|others=Rosen, Kenneth H., Shier, Douglas R., Goddard, Wayne.|year=2017|isbn=978-1-315-15648-4|edition=Second|location=Boca Raton, FL|pages=43|oclc=994604351}}</ref> या संबंध <math>L</math> का पारस्परिक <math>L^{\circ}</math>।<ref>[[Peter J. Freyd]] & Andre Scedrov (1990) Categories, Allegories, page 79, North Holland {{ISBN|0-444-70368-3}}</ref>
+चूँकि एक सम्बन्ध एक तार्किक मैट्रिक्स द्वारा दर्शाया जा सकता है, और प्रतिलोम-सम्बन्ध का तार्किक मैट्रिक्स मूल का पक्षांतरण है, प्रतिलोम-सम्बन्ध को भी पारगमन सम्बन्ध कहा जाता है।<ref name="R&G">{{cite book|author1=Gunther Schmidt|author2=Thomas Ströhlein|title=संबंध और रेखांकन: कंप्यूटर वैज्ञानिकों के लिए असतत गणित|url=https://archive.org/details/relationsgraphsd00schm|url-access=limited|year=1993|publisher=Springer Berlin Heidelberg|isbn=978-3-642-77970-1|pages=[https://archive.org/details/relationsgraphsd00schm/page/n16 9]–10}}</ref> इसे मूल सम्बन्ध का विपरीत या दोहरा भी कहा गया है,<ref>{{cite book|author1=Celestina Cotti Ferrero|author2=Giovanni Ferrero|title=नियरिंग्स: सेमीग्रुप्स और ग्रुप्स से जुड़े कुछ विकास|year=2002|publisher=Kluwer Academic Publishers|isbn=978-1-4613-0267-4|page=3}}</ref> या मूल सम्बन्ध का व्युत्क्रम,<ref>{{cite book|author=Daniel J. Velleman|title=इसे कैसे साबित करें: एक संरचित दृष्टिकोण|url=https://books.google.com/books?id=sXt-ROLLNHcC&pg=PA173|year=2006|publisher=Cambridge University Press|isbn=978-1-139-45097-3|page=173}}</ref><ref name="S&S">{{cite book|author1=Shlomo Sternberg|author2=Lynn Loomis|title=उन्नत कैलकुलस|year=2014|publisher=World Scientific Publishing Company|isbn=978-9814583930|page=9}}</ref><ref>{{Cite book|last=Rosen|first=Kenneth H.|url=https://www.worldcat.org/oclc/994604351|title=असतत और संयोजी गणित की पुस्तिका|others=Rosen, Kenneth H., Shier, Douglas R., Goddard, Wayne.|year=2017|isbn=978-1-315-15648-4|edition=Second|location=Boca Raton, FL|pages=43|oclc=994604351}}</ref> या सम्बन्ध <math>L</math> का पारस्परिक <math>L^{\circ}</math>।<ref>[[Peter J. Freyd]] & Andre Scedrov (1990) Categories, Allegories, page 79, North Holland {{ISBN|0-444-70368-3}}</ref>
-विलोम संबंध के लिए अन्य संकेतन में <math>L^{\operatorname{C}}, L^{-1}, \breve{L}, L^{\circ},</math> या <math>L^{\vee}</math> शामिल हैं।
+प्रतिलोम-सम्बन्ध के लिए अन्य संकेतन में <math>L^{\operatorname{C}}, L^{-1}, \breve{L}, L^{\circ},</math> या <math>L^{\vee}</math> शामिल हैं।
 == उदाहरण ==
-सामान्य (शायद सख्त या आंशिक) [[आदेश संबंध|आदेश संबंधों]] के लिए, बातचीत भोले-भाले अपेक्षित "विपरीत" क्रम है, उदाहरण के लिए, <math>{\leq^\operatorname{T}} = {\geq},\quad {<^\operatorname{T}} = {>}</math>।
+सामान्य (शायद सख्त या आंशिक) [[आदेश संबंध|आदेश सम्बन्धों]] के लिए, बातचीत भोले-भाले अपेक्षित "विपरीत" क्रम है, उदाहरण के लिए, <math>{\leq^\operatorname{T}} = {\geq},\quad {<^\operatorname{T}} = {>}</math>।
-एक संबंध को एक तार्किक मैट्रिक्स द्वारा दर्शाया जा सकता है जैसे कि<math display="block">\begin{pmatrix}
+एक सम्बन्ध को एक तार्किक मैट्रिक्स द्वारा दर्शाया जा सकता है जैसे कि<math display="block">\begin{pmatrix}
 & 1 & 1 & 1 \\
 & 1 & 0 & 1 \\
@@ Line 16: / Line 17: @@
 & 0 & 0 & 1
 \end{pmatrix}.
-</math>तब विलोम संबंध को उसके स्थानान्तरण मैट्रिक्स द्वारा दर्शाया जाता है:<math display="block">\begin{pmatrix}
+</math>तब प्रतिलोम-सम्बन्ध को उसके पक्षांतरण मैट्रिक्स द्वारा दर्शाया जाता है:<math display="block">\begin{pmatrix}
 & 0 & 0 & 0 \\
 & 1 & 0 & 0 \\
@@ Line 22: / Line 23: @@
 & 1 & 0 & 1
 \end{pmatrix}.
-</math>रिश्तेदारी संबंधों के विलोम का नाम दिया गया है: "<math>A</math> <math>B</math> की संतान है" का विलोम "<math>B</math> <math>A</math> के माता-पिता हैं"। "<math>A</math>, <math>B</math> का भतीजा या भतीजी है" का विलोम है "<math>B</math>, <math>A</math> के [[चाचा]] या [[चाची]] हैं"। संबंध "<math>A</math> <math>B</math> का [[भाई|सहोदर]] है" इसका स्वयं का विलोम है, क्योंकि यह एक सममित संबंध है।
+</math>रिश्तेदारी सम्बन्धों के प्रतिलोम का नाम दिया गया है: "<math>A</math> <math>B</math> की संतान है" का प्रतिलोम "<math>B</math> <math>A</math> के माता-पिता हैं"। "<math>A</math>, <math>B</math> का भतीजा या भतीजी है" का प्रतिलोम है "<math>B</math>, <math>A</math> के [[चाचा]] या [[चाची]] हैं"। सम्बन्ध "<math>A</math> <math>B</math> का [[भाई|सहोदर]] है" इसका स्वयं का प्रतिलोम है, क्योंकि यह एक सममित सम्बन्ध है।
 == गुण ==
-एक सेट पर बाइनरी [[android|एंडोरेलेशन]] के [[मोनोइड]] में (संबंधों की संरचना होने वाले संबंधों पर [[बाइनरी ऑपरेशन]] के साथ), विपरीत संबंध समूह सिद्धांत से व्युत्क्रम की परिभाषा को संतुष्ट नहीं करता है, अर्थात्, यदि <math>L</math> <math>X,</math> पर एक मनमाना संबंध है, तो <math>L \circ L^{\operatorname{T}}</math> सामान्य रूप से <math>X</math> पर [[पहचान समारोह|तत्समक संबंध]] के बराबर नहीं है। विलोम संबंध एक अर्धसमूह के (कमजोर) सिद्धांतों को अंतर्वलन से संतुष्ट करता है: <math>\left(L^{\operatorname{T}}\right)^{\operatorname{T}} = L</math> और <math>(L \circ R)^{\operatorname{T}} = R^{\operatorname{T}} \circ L^{\operatorname{T}}</math>।<ref name="Lambek20012">{{cite book|editor= Ewa Orłowska|editor-link= Ewa Orłowska |editor2=Andrzej Szalas|title=कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके|year=2001|publisher=Springer Science & Business Media|isbn=978-3-7908-1365-4|pages=135–146|chapter=Relations Old and New|author=Joachim Lambek|author-link=Joachim Lambek}}</ref>
+एक समुच्चय पर द्विआधारी [[android|एंडोरेलेशन]] के [[मोनोइड]] में (सम्बन्धों की संरचना होने वाले सम्बन्धों पर [[बाइनरी ऑपरेशन|द्विआधारी ऑपरेशन]] के साथ), विपरीत सम्बन्ध समूह सिद्धांत से व्युत्क्रम की परिभाषा को संतुष्ट नहीं करता है, अर्थात्, यदि <math>L</math> <math>X,</math> पर एक मनमाना सम्बन्ध है, तो <math>L \circ L^{\operatorname{T}}</math> सामान्य रूप से <math>X</math> पर [[पहचान समारोह|तत्समक सम्बन्ध]] के बराबर नहीं है। प्रतिलोम-सम्बन्ध एक अर्धसमूह के (कमजोर) सिद्धांतों को अंतर्वलन से संतुष्ट करता है: <math>\left(L^{\operatorname{T}}\right)^{\operatorname{T}} = L</math> और <math>(L \circ R)^{\operatorname{T}} = R^{\operatorname{T}} \circ L^{\operatorname{T}}</math>।<ref name="Lambek20012">{{cite book|editor= Ewa Orłowska|editor-link= Ewa Orłowska |editor2=Andrzej Szalas|title=कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके|year=2001|publisher=Springer Science & Business Media|isbn=978-3-7908-1365-4|pages=135–146|chapter=Relations Old and New|author=Joachim Lambek|author-link=Joachim Lambek}}</ref>
-चूंकि आम तौर पर विभिन्न सेटों के बीच संबंधों पर विचार किया जा सकता है (जो एक मोनोइड के बजाय एक [[श्रेणी (गणित)|श्रेणी]] बनाते हैं, अर्थात् संबंधों की श्रेणी रिले), इस संदर्भ में विपर्यय संबंध एक डैगर श्रेणी (इनवोल्यूशन के साथ उर्फ श्रेणी) के सिद्धांतों के अनुरूप है।<ref name="Lambek2001">{{cite book|editor= Ewa Orłowska|editor-link= Ewa Orłowska |editor2=Andrzej Szalas|title=कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके|year=2001|publisher=Springer Science & Business Media|isbn=978-3-7908-1365-4|pages=135–146|chapter=Relations Old and New|author=Joachim Lambek|author-link=Joachim Lambek}}</ref> इसके व्युत्क्रम के बराबर संबंध एक [[सममित संबंध]] है; खंजर श्रेणियों की भाषा में यह स्वतःसंबद्ध है।
+चूंकि आम तौर पर विभिन्न समुच्चयों के बीच सम्बन्धों पर विचार किया जा सकता है (जो एक मोनोइड के बजाय एक [[श्रेणी (गणित)|श्रेणी]] बनाते हैं, अर्थात् सम्बन्धों की श्रेणी रिले), इस संदर्भ में विपर्यय सम्बन्ध एक डैगर श्रेणी (अंतर्वलन के साथ उर्फ श्रेणी) के सिद्धांतों के अनुरूप है।<ref name="Lambek2001">{{cite book|editor= Ewa Orłowska|editor-link= Ewa Orłowska |editor2=Andrzej Szalas|title=कंप्यूटर विज्ञान अनुप्रयोगों के लिए संबंधपरक तरीके|year=2001|publisher=Springer Science & Business Media|isbn=978-3-7908-1365-4|pages=135–146|chapter=Relations Old and New|author=Joachim Lambek|author-link=Joachim Lambek}}</ref> इसके व्युत्क्रम के बराबर सम्बन्ध एक [[सममित संबंध|सममित सम्बन्ध]] है; खंजर श्रेणियों की भाषा में यह स्वतःसंबद्ध है।
-इसके अलावा, एक सेट पर एंडोरेलेशन का सेमीग्रुप भी एक आंशिक रूप से क्रमबद्ध संरचना है (संबंधों को सेट के रूप में शामिल करने के साथ), और वास्तव में एक समावेशी [[कितना|क्वांटले]] है। इसी प्रकार, [[विषम संबंध|विषम संबंधों]] की श्रेणी, Rel भी एक क्रमबद्ध श्रेणी है।<ref name="Lambek2001" />
+इसके अलावा, एक समुच्चय पर एंडोरेलेशन का सेमीग्रुप भी एक आंशिक रूप से क्रमबद्ध संरचना है (सम्बन्धों को समुच्चय के रूप में शामिल करने के साथ), और वास्तव में एक समावेशी [[कितना|क्वांटले]] है। इसी प्रकार, [[विषम संबंध|विषम सम्बन्धों]] की श्रेणी, Rel भी एक क्रमबद्ध श्रेणी है।<ref name="Lambek2001" />
-संबंधों की कलन में, रूपांतरण (विपरीत संबंध लेने की एकात्मक संक्रिया) संघ और प्रतिच्छेदन की अन्य द्विआधारी संक्रियाओं के साथ संचलित होता है। रूपांतरण पूरकता के एकात्मक संचालन के साथ-साथ [[उच्चतम|सुप्रीमा]] और इन्फिमा लेने के साथ भी शुरू होता है। रूपांतरण समावेशन द्वारा संबंधों के क्रम के साथ भी संगत है।<ref name="R&G" />
+सम्बन्धों की कलन में, रूपांतरण (विपरीत सम्बन्ध लेने की एकात्मक संक्रिया) संघ और प्रतिच्छेदन की अन्य द्विआधारी संक्रियाओं के साथ संचलित होता है। रूपांतरण पूरकता के एकात्मक संचालन के साथ-साथ [[उच्चतम|सुप्रीमा]] और इन्फिमा लेने के साथ भी शुरू होता है। रूपांतरण समावेशन द्वारा सम्बन्धों के क्रम के साथ भी संगत है।<ref name="R&G" />
-यदि कोई संबंध रिफ्लेक्सिव, इर्रेफ्लेक्सिव, सममित, [[एंटीसिमेट्रिक संबंध|एंटीसिमेट्रिक]], [[असममित संबंध|असममित]], [[सकर्मक संबंध|सकर्मक]], जुड़ा हुआ, त्रिकोटोमस, एक आंशिक क्रम, कुल आदेश, सख्त कमजोर आदेश, [[कुल आदेश|कुल पूर्व आदेश]] (कमजोर क्रम), या एक [[तुल्यता संबंध]] है, तो इसका विलोम भी है।
+यदि कोई सम्बन्ध रिफ्लेक्सिव, इर्रेफ्लेक्सिव, सममित, [[एंटीसिमेट्रिक संबंध|एंटीसिमेट्रिक]], [[असममित संबंध|असममित]], [[सकर्मक संबंध|सकर्मक]], जुड़ा हुआ, त्रिकोटोमस, एक आंशिक क्रम, कुल आदेश, सख्त कमजोर आदेश, [[कुल आदेश|कुल पूर्व आदेश]] (कमजोर क्रम), या एक [[तुल्यता संबंध|तुल्यता सम्बन्ध]] है, तो इसका प्रतिलोम भी है।
 == उलटा ==
-यदि <math>I</math> तत्समक संबंध को प्रदर्शित करता है, तो संबंध <math>R</math> का प्रतिलोम इस प्रकार हो सकता है: <math>R</math> कहलाता है
+यदि <math>I</math> तत्समक सम्बन्ध को प्रदर्शित करता है, तो सम्बन्ध <math>R</math> का प्रतिलोम इस प्रकार हो सकता है: <math>R</math> कहलाता है
 ; दाहिने प्रतीप्य
-: यदि कोई संबंध <math>X</math> मौजूद है, जिसे <math>R</math> का सही प्रतिलोम कहा जाता है, जो <math>R \circ X = I</math> को संतुष्ट करता है।
+: यदि कोई सम्बन्ध <math>X</math> मौजूद है, जिसे <math>R</math> का सही प्रतिलोम कहा जाता है, जो <math>R \circ X = I</math> को संतुष्ट करता है।
 ; बाँया प्रतीप्य
-: यदि कोई संबंध <math>Y,</math> मौजूद है, जिसे <math>R,</math> का बायां प्रतिलोम कहा जाता है, जो <math>Y \circ R = I</math> को संतुष्ट करता है।
+: यदि कोई सम्बन्ध <math>Y,</math> मौजूद है, जिसे <math>R,</math> का बायां प्रतिलोम कहा जाता है, जो <math>Y \circ R = I</math> को संतुष्ट करता है।
 ; प्रतीप्य
 : यदि यह दायां-उलटा और बायां-उलटा दोनों है।
-एक व्युत्क्रमणीय समरूप संबंध <math>R,</math> के लिए, सभी दाएँ और बाएँ व्युत्क्रम संपाती हैं; इस अनूठे सेट को इसका व्युत्क्रम कहा जाता है और इसे <math>R^{-1}</math> द्वारा दर्शाया जाता है, इस मामले में, <math>R^{-1} = R^{\operatorname{T}}</math> होल्ड करता है। <ref name=R&G/>{{rp|79}}
+एक व्युत्क्रमणीय समरूप सम्बन्ध <math>R,</math> के लिए, सभी दाएँ और बाएँ व्युत्क्रम संपाती हैं; इस अनूठे समुच्चय को इसका व्युत्क्रम कहा जाता है और इसे <math>R^{-1}</math> द्वारा दर्शाया जाता है, इस मामले में, <math>R^{-1} = R^{\operatorname{T}}</math> होल्ड करता है। <ref name=R&G/>{{rp|79}}
-=== किसी फलन का विलोम संबंध ===
+=== किसी फलन का प्रतिलोम-सम्बन्ध ===
-एक फलन व्युत्क्रमणीय होता है यदि और केवल यदि इसका विलोम संबंध एक फलन हो, तो इस मामले में विलोम संबंध प्रतिलोम फलन होता है।
+एक फलन व्युत्क्रमणीय होता है यदि और केवल यदि इसका प्रतिलोम-सम्बन्ध एक फलन हो, तो इस मामले में प्रतिलोम-सम्बन्ध प्रतिलोम फलन होता है।
-किसी फलन <math>f : X \to Y</math> का विलोम संबंध <math>\operatorname{graph}\, f^{-1} = \{ (y, x) \in Y \times X : y = f(x) \}</math> द्वारा परिभाषित संबंध <math>f^{-1} \subseteq Y \times X</math> है।
+किसी फलन <math>f : X \to Y</math> का प्रतिलोम-सम्बन्ध <math>\operatorname{graph}\, f^{-1} = \{ (y, x) \in Y \times X : y = f(x) \}</math> द्वारा परिभाषित सम्बन्ध <math>f^{-1} \subseteq Y \times X</math> है।
-यह आवश्यक रूप से एक कार्य नहीं है: एक आवश्यक शर्त यह है कि <math>f</math> [[इंजेक्शन|अंतःक्षेपी]] हो, क्योंकि <math>f^{-1}</math> बहु-मूल्यवान है। यह स्थिति <math>f^{-1}</math> के लिए एक आंशिक कार्य होने के लिए पर्याप्त है, और यह स्पष्ट है कि <math>f^{-1}</math> तब एक (कुल) कार्य है [[अगर और केवल अगर|यदि और केवल यदि]] <math>f</math> [[विशेषण]] है। उस मामले में, यदि <math>f</math> एक विशेषण है, तो <math>f^{-1}</math> को <math>f</math> का व्युत्क्रम कार्य कहा जा सकता है।
+यह आवश्यक रूप से एक फलन नहीं है: एक आवश्यक शर्त यह है कि <math>f</math> [[इंजेक्शन|अंतःक्षेपी]] हो, क्योंकि <math>f^{-1}</math> बहु-मूल्यवान है। यह स्थिति <math>f^{-1}</math> के लिए एक आंशिक फलन होने के लिए पर्याप्त है, और यह स्पष्ट है कि <math>f^{-1}</math> तब एक (कुल) फलन है [[अगर और केवल अगर|यदि और केवल यदि]] <math>f</math> [[विशेषण]] है। उस मामले में, यदि <math>f</math> एक विशेषण है, तो <math>f^{-1}</math> को <math>f</math> का प्रतिलोम फलन कहा जा सकता है।
 उदाहरण के लिए, फ़ंक्शन <math>f(x) = 2x + 2</math> में व्युत्क्रम फ़ंक्शन <math>f^{-1}(x) = \frac{x}{2} - 1</math> है।
-हालांकि, फलन <math>g(x) = x^2</math> का व्युत्क्रम संबंध <math>g^{-1}(x) = \pm \sqrt{x},</math> है जो कि बहु-मूल्यवान होने के कारण फलन नहीं है।
+हालांकि, फलन <math>g(x) = x^2</math> का व्युत्क्रम सम्बन्ध <math>g^{-1}(x) = \pm \sqrt{x},</math> है जो कि बहु-मूल्यवान होने के कारण फलन नहीं है।
-== संबंध के साथ रचना ==
+== सम्बन्ध के साथ रचना ==
-संबंधों के संघटन का प्रयोग करते हुए, विलोम को मूल संबंध से बनाया जा सकता है। उदाहरण के लिए, इसके विलोम से बना उपसमुच्चय संबंध हमेशा सार्वभौमिक संबंध है:
+सम्बन्धों के संघटन का प्रयोग करते हुए, प्रतिलोम को मूल सम्बन्ध से बनाया जा सकता है। उदाहरण के लिए, इसके प्रतिलोम से बना उपसमुच्चय सम्बन्ध हमेशा सार्वभौमिक सम्बन्ध है:
 :∀A ∀B ∅ ⊂ A ∩B ⇔ A ⊃ ∅ ⊂ B ⇔ A ⊃ ⊂ B. इसी प्रकार,
 : U = [[ब्रह्मांड (गणित)|ब्रह्मांड]] के लिए, A ∪ B ⊂ U ⇔ A ⊂ U ⊃ B ⇔ A ⊂ ⊃ B.
-अब सेट सदस्यता संबंध और इसके विलोम पर विचार करें।
+अब समुच्चय सदस्यता सम्बन्ध और इसके प्रतिलोम पर विचार करें।
 :<math>A \ni z \in B \Leftrightarrow z \in A \cap B \Leftrightarrow A \cap B \ne \empty.</math>
-इस प्रकार <math>A \ni \in B \Leftrightarrow A \cap B \ne \empty .</math> विपरीत रचना <math>\in \ni</math> सार्वभौम संबंध है।
+इस प्रकार <math>A \ni \in B \Leftrightarrow A \cap B \ne \empty .</math> विपरीत रचना <math>\in \ni</math> सार्वभौम सम्बन्ध है।
-रचनाओं का उपयोग संबंधों को प्रकार के अनुसार वर्गीकृत करने के लिए किया जाता है: एक संबंध क्यू के लिए, जब क्यू की सीमा पर [[पहचान संबंध]] में क्यूटीक्यू होता है, तो क्यू को एकतरफा कहा जाता है। जब Q के डोमेन पर तत्समक संबंध Q QT में निहित होता है, तो Q को कुल कहा जाता है। जब Q एकसंयोजक और कुल दोनों हो तो यह एक फलन है। जब क्यूटी एकतरफा होता है, तो क्यू को इंजेक्शन कहा जाता है। जब QT कुल होता है, तो Q को विशेषण कहा जाता है।<ref>[[Gunther Schmidt]] & Michael Winter (2018) ''Relational Topology'', Springer Lecture Notes in Mathematics #2208, page 8, {{ISBN|978-3-319-74450-6}}</ref>
+रचनाओं का उपयोग सम्बन्धों को प्रकार के अनुसार वर्गीकृत करने के लिए किया जाता है: एक सम्बन्ध क्यू के लिए, जब क्यू की सीमा पर [[पहचान संबंध|पहचान सम्बन्ध]] में क्यूटीक्यू होता है, तो क्यू को एकतरफा कहा जाता है। जब Q के डोमेन पर तत्समक सम्बन्ध Q QT में निहित होता है, तो Q को कुल कहा जाता है। जब Q एकसंयोजक और कुल दोनों हो तो यह एक फलन है। जब क्यूटी एकतरफा होता है, तो क्यू को इंजेक्शन कहा जाता है। जब QT कुल होता है, तो Q को विशेषण कहा जाता है।<ref>[[Gunther Schmidt]] & Michael Winter (2018) ''Relational Topology'', Springer Lecture Notes in Mathematics #2208, page 8, {{ISBN|978-3-319-74450-6}}</ref>
-यदि Q एकसंयोजक है, तो QQT, Q के प्रांत पर एक तुल्यता संबंध है, देखें सकर्मक संबंध#संबंधित गुण।
+यदि Q एकसंयोजक है, तो QQT, Q के प्रांत पर एक तुल्यता सम्बन्ध है, देखें सकर्मक सम्बन्ध#सम्बन्धित गुण।
 == यह भी देखें ==

Anonymous

Search

विलोम संबंध: Difference between revisions

Namespaces

More

Page actions

Revision as of 13:18, 6 December 2022

Contents

उदाहरण

गुण

उलटा

किसी फलन का प्रतिलोम-सम्बन्ध

सम्बन्ध के साथ रचना

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

विलोम संबंध: Difference between revisions

Revision as of 13:18, 6 December 2022

उदाहरण

गुण

उलटा

किसी फलन का प्रतिलोम-सम्बन्ध

सम्बन्ध के साथ रचना

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories