विलोम संबंध

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} }$।

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

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

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