विलोम संबंध

For सांख्यिकी में व्युत्क्रम संबंध, see ऋणात्मक संबंध.

गणित में, वह सम्बन्ध जो सम्बन्ध में तत्वों के क्रम को परिवर्तित करने पर प्राप्त होता है, द्विआधारी सम्बन्ध का प्रतिलोम-सम्बन्ध (कन्वेर्ज़ रिलेशन), या आव्यूहपरिवर्त (ट्रांस्पोज) कहलाता है। उदाहरण के लिए, 'चाइल्ड ऑफ़' सम्बन्ध का प्रतिलोम 'पैरेंट ऑफ़' सम्बन्ध होता है। औपचारिक पदों में, यदि $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\}.$

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

चूँकि सम्बन्ध एक तार्किक आव्यूह द्वारा दर्शाया जा सकता है, और प्रतिलोम-सम्बन्ध का तार्किक आव्यूह मूल आव्यूह का आव्यूहपरिवर्त होता है, प्रतिलोम-सम्बन्ध को भी आव्यूहपरिवर्त सम्बन्ध कहा जाता है। इसे मूल सम्बन्ध का सम्मुख या द्वैत भी कहा जाता है, या मूल सम्बन्ध का व्युत्क्रम, या सम्बन्ध $L$ का व्युत्क्रम $L^{\circ }$।

प्रतिलोम-सम्बन्ध के लिए अन्य संकेतन में $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} }$।

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

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

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

यदि कोई सम्बन्ध स्वतुल्य, अस्वतुल्य, सममित, अंतिसममित, असममित, सकर्मक, संयुक्त, त्रिभाजनीय (ट्राईकोटोमोस), आंशिक अनुक्रम, कुल अनुक्रम, पूर्णतः असमर्थ अनुक्रम, कुल पूर्व अनुक्रम (असमर्थ अनुक्रम), या तुल्यता सम्बन्ध है, तो इसका प्रतिलोम भी होता है।

व्युत्क्रम

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

दायाँ प्रतीप्य

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

बाँया प्रतीप्य

यदि कोई सम्बन्ध $Y,$ उपस्थित है, जिसे