द्विअनुकरण

सैद्धांतिक कंप्यूटर विज्ञान में द्विअनुकरण संक्रमण प्रणालियों के बीच एक द्विआधारी संबंध होता है, इसके विपरीत सहयोगी प्रणालियाँ उसी तरह से व्यवहार करती है जिस तरह एक प्रणाली दूसरे का अनुकरण करती है।

सहज रूप से दो प्रणालियाँ द्विसमान होती है। इस अर्थ में, पर्यवेक्षक द्वारा प्रत्येक प्रणाली को दूसरे से अलग नहीं किया जा सकता है।

औपचारिक परिभाषा

एक संक्रमण प्रणाली को देखते हुए ($S$, $\Lambda$, →), जहाँ $S$ का एक समूह है, $\Lambda$ का एक समूह है और → अंकित किए गए संक्रमण का एक समूह है (अर्थात, एक उपसमूह) $S\times \Lambda \times S$), द्विअनुकरण एक द्विआधारी संबंध है $R\subseteq S\times S$, ऐसे कि दोनों $R$ और इसका विपरीत संबंध $R^{T}$ अनुकरण अनुक्रम है। इससे यह पता चलता है कि सममित सिमुलेशन एक द्विअनुकरण है। इस प्रकार कुछ लेखक द्विअनुकरण को सममित अनुकरण के रूप में परिभाषित करते है।

समान रूप से, $R$ के लिए यदि एक द्विअनुकरण है $(p,q)$ में $R$ और सभी अंकित है α में $\Lambda$:

• यदि $p\mathrel {\overset {\alpha }{\rightarrow }} p'$, फिर वहाँ है $q\mathrel {\overset {\alpha }{\rightarrow }} q'$ ऐसा है कि $(p',q')\in R$,
• यदि $q\mathrel {\overset {\alpha }{\rightarrow }} q'$, फिर वहाँ है $p\mathrel {\overset {\alpha }{\rightarrow }} p'$ ऐसा है कि $(p',q')\in R$.

दो संखयाए दिए गए $p$ और $q$ में $S$, $p$ के समान है $q$, लिखा हुआ $p\,\sim \,q$, यदि कोई द्विअनुकरण है $R$ ऐसा है कि $(p,q)\in R$. इसका मतलब है कि द्विसमानता संबंध $\,\sim \,$ सभी द्विअनुकरणों का मिलन है: $(p,q)\in \,\sim \,$ जब $(p,q)\in R$ द्विअनुकरण के लिए है $R$.

द्विअनुकरण का समूह संघ के अंतर्गत बंद होता है, इसलिए, द्विसमानता संबंध स्वयं एक द्विअनुकरण होता है। चूँकि यह सभी द्विअनुकरण का मिलन होता है, यह अद्वितीय सबसे बड़ा द्विअनुकरण होता है। द्विअनुकरण को पूर्व संबंधी, सममित और सकर्मक समापन के अनुसार भी बंद किया जाता है, इसलिए, सबसे बड़ा द्विअनुकरण प्रतिवर्ती, सममित और संक्रमणीय होती है। इससे यह निष्कर्ष निकलता है कि सबसे बड़ा द्विअनुकरण - द्विसमानता - एक तुल्यता संबंध है।

वैकल्पिक परिभाषाएँ

संबंधपरक परिभाषा

द्विअनुकरण को संबंधों की संरचना के संदर्भ में निम्नानुसार परिभाषित किया जा सकता है।

एक संक्रमण प्रणाली दी गई $(S,\Lambda ,\rightarrow )$, एक द्विअनुकरण संबंध (गणित) एक द्विआधारी संबंध है $R$ और $S$ (अर्थात, $R$ ⊆ $S$ × $S$) ऐसा है कि $\forall \alpha \in \Lambda$

$$R;\stackrel{\mathrm{\alpha <!--\; \alpha \; -->}}{\to <!--\; \to \; -->}\subseteq <!--\; \subseteq \; -->\stackrel{\mathrm{\alpha <!--\; \alpha \; -->}}{\to <!--\; \to \; -->};$$