प्रत्यावर्तन (गणित)

गणित में, एक इनवोल्यूशन, इनवोल्यूशनरी फंक्शन, या सेल्फ-इनवर्स फंक्शन एक ऐसा फंक्शन $f$ होता है जो इसका अपना व्युत्क्रम होता है,



$f$ के क्षेत्र में सभी $x$ के लिए। समान रूप से, $f$ को दो बार लगाने से मूल मान मिलता है।

सामान्य गुण
कोई भी प्रत्यावर्तन एक द्विभाजन है।

एक पहचान मानचित्र समावेशन का एक छोटा उदाहरण है। अंकगणित में गैर-तुच्छ संयुग्मन के उदाहरणों में नकारात्मकता ($$x \mapsto -x$$), व्युत्क्रम ($$x \mapsto 1/x$$), और जटिल संयुग्मन ($$z \mapsto \bar z$$) सम्मिलित हैं; ज्यामिति में परावर्तन, अर्ध-मोड़ घूर्णन और ज्यामिति में वृत्त व्युत्क्रमण; समुच्चय सिद्धांत में पूरक (सेट सिद्धांत); और पारस्परिक सिफर जैसे ROT13 परिवर्तन और ब्यूफोर्ट सिफर पॉलीअल्फाबेटिक सिफर।

संयोजन $f(f(x)) = x$ दो अंतर्वलन f और g का एक अंतर्वलन है यदि और केवल यदि वे परिवर्तन करते हैं: $g ∘ f$

परिमित समुच्चय पर अंतर्वलन
$g ∘ f = f ∘ g$ तत्वों के साथ एक समुच्चय पर समरूपता सम्मिलित करने सहित सम्मिलित होने की संख्या, 1800 में हेनरिक अगस्त रोथ द्वारा पाया गया पुनरावृत्ति संबंध द्वारा दिया गया है:
 * $$a_0 = a_1 = 1$$ तथा $$a_n = a_{n - 1} + (n - 1)a_{n-2}$$ के लिये $$n > 1.$$

इस अनुक्रम के पहले कुछ पद 1 (संख्या), 1, 2 (संख्या), 4 (संख्या), 10 (संख्या), 26 (संख्या), 76 (संख्या), 232 (संख्या) हैं। ; इन नंबरों को टेलीफोन नंबर (गणित) कहा जाता है, और वे दी गई सेल की संख्या के साथ नई सारणी की संख्या भी गिनते हैं। जो नंबर $$a_n$$ योग जैसे गैर-पुनरावर्ती सूत्रों द्वारा भी व्यक्त किया जा सकता है।$$a_n = \sum_{m=0}^{\lfloor \frac{n}{2} \rfloor} \frac{n!}{2^m m! (n-2m)!} .$$परिमित समुच्चय पर एक अंतर्वलन के निश्चित बिंदुओं की संख्या और इसकी प्रमुखता में समान समानता (गणित) है। इस प्रकार किसी दिए गए परिमित समुच्चय पर सभी आक्रमणों के निश्चित बिंदुओं की संख्या समान समानता है। विशेष रूप से, विषम संख्या में तत्वों पर प्रत्येक समावेशन में कम से कम एक निश्चित बिंदु (गणित) होता है। इसका उपयोग फर्मेट के दो-वर्ग प्रमेय को साबित करने के लिए किया जा सकता है।

पूर्व-कलन
सम्मिलित होने के कुछ बुनियादी उदाहरणों में कार्य शामिल हैं I$$ \begin{alignat}{4} f_1(x) &= -x, \\ f_2(x) &= \frac{1}{x,} \\ f_3(x) &= \frac{x}{x - 1}, \\ \end{alignat}$$रचना $$f_4(x) := (f_1 \circ f_2)(x) = (f_2 \circ f_1)(x) = -\frac {1}{x},$$ और अधिक सामान्यतया पर फ़ंक्शन$$g(x) = \frac{b - x}{1 + c x}$$स्थिरांक $$b$$ और $$c$$ संतुष्ट करने वाले $$b c \neq -1$$ के लिए एक प्रक्षेप है।

ये सिर्फ प्री-कैलकुलस सम्मिलित नहीं है। धनात्मक श्रेणी में एक और है$$f(x) = \ln\left(\frac {e^x+1}{e^x-1}\right).$$इनवोल्यूशन (वास्तविक संख्याओं पर) का ग्राफ रेखा $$y=x$$ के पार सममित है। यह इस तथ्य के कारण है कि किसी सामान्य फलन का व्युत्क्रम रेखा $$y=x$$ पर उसका प्रतिबिंब होगा। इसे $$x$$ को $$y$$ से "गमागमन" करके देखा जा सकता है। यदि, विशेष रूप से, फलन एक अंतर्वलन है, तो इसका ग्राफ स्वयं का प्रतिबिंब है। अन्य प्रारंभिक निवेश कार्यात्मक समीकरणों को हल करने में उपयोगी होते हैं।

यूक्लिडियन ज्यामिति
त्रि-आयामी यूक्लिडियन स्पेस को शामिल करने का एक सरल उदाहरण एक समतल के माध्यम से प्रतिबिंब है। एक प्रतिबिंब को दो बार करने से एक बिंदु अपने मूल निर्देशांक पर वापस आ जाता है।

एक अन्य अंतर्वलन उत्पत्ति के माध्यम से प्रतिबिंब है; उपरोक्त अर्थ में प्रतिबिंब नहीं है, और इसलिए, एक अलग उदाहरण।

ये परिवर्तन एफ़िन इनवोल्यूशन के उदाहरण हैं।

प्रक्षेपीय ज्यामिति
एक समावेशन अवधि 2 की एक प्रोजेक्टिविटी है, यानी एक प्रोजेक्टिविटी जो बिंदुओं के जोड़े को अन्तर्विनिमय कर देती है। प्रक्षेपी ज्यामिति में होने वाला एक अन्य प्रकार का समावेशन एक ध्रुवीयता है जो 2 अवधि का एक सहसंबंध है।
 * कोई भी प्रोजेक्टिविटी जो दो बिंदुओं को प्रतिच्छेद करती है, एक इनवॉल्यूशन है।
 * एक पूर्ण चतुर्भुज के विपरीत भुजाओं के तीन जोड़े किसी भी रेखा (शीर्ष के माध्यम से नहीं) के तीन जोड़े में एक अंतर्वलन से मिलते हैं। इस प्रमेय को डेसरग्यूस इन्वोल्यूशन प्रमेय कहा गया है। इसकी उत्पत्ति एलेक्जेंड्रिया के पप्पस के संग्रह के खंड VII में यूक्लिड के पोरिज्म के लेम्मा के लेम्मा IV में देखी जा सकती है।
 * यदि किसी अंतर्वलन का एक निश्चित बिंदु है, तो इसका दूसरा और इन दो बिंदुओं के संबंध में हार्मोनिक संयुग्म के बीच एक पत्राचार है। इस उदाहरण में शामिल होने को "अतिशयोक्तिपूर्ण" कहा जाता है, जबकि यदि कोई निश्चित बिंदु नहीं हैं तो यह "दीर्घवृत्त" है। प्रोजेक्टिविटी के संदर्भ में, निश्चित बिंदुओं को डबल पॉइंट (दोहरे बिंदु) कहा जाता है।

रेखीय बीजगणित
रैखिक बीजगणित में, एक इनवोल्यूशन एक सदिश स्थान पर एक रैखिक ऑपरेटर T है, जैसे कि $$T^2=I$$ विशेषता 2 को छोड़कर, ऐसे ऑपरेटर किसी दिए गए आधार के लिए संबंधित मैट्रिक्स के विकर्ण पर सिर्फ 1s और -1s के साथ विकर्ण हैं। यदि ऑपरेटर ओर्थोगोनल (एक ऑर्थोगोनल इनवोल्यूशन) है, तो यह ऑर्थोनॉर्मल डायगोनलेबल है।

उदाहरण के लिए, मान लीजिए कि एक सदिश समष्टि V के लिए एक आधार चुना गया है और e1 और e2 आधार तत्व हैं। एक रैखिक रूपांतरण f मौजूद है जो e1 को e2 भेजता है, और e2 को e1 भेजता है, और जो अन्य सभी आधार वैक्टरों पर पहचान है। इसकी जाँच की जा सकती है कि $n = 0, 1, 2, ...$ V में सभी x के लिए है। अर्थात, f, V का एक अंतर्वलन है।

एक विशिष्ट आधार के लिए, किसी भी रैखिक ऑपरेटर को एक मैट्रिक्स T द्वारा दर्शाया जा सकता है। प्रत्येक मैट्रिक्स में एक स्थानान्तरण होता है, जो स्तंभों के लिए पंक्तियों की विनिमय कर के प्राप्त किया जाता है। यह स्थानान्तरण मैट्रिसेस के सेट पर एक इनवॉल्यूशन है।

इनवॉल्यूशन की परिभाषा आसानी से मॉड्यूल तक फैली हुई है। एक रिंग R पर एक मॉड्यूल M दिया गया है, M के एक R एंडोमोर्फिज्म f को एक इनवोल्यूशन कहा जाता है यदि f 2 M पर सर्वसमिका समरूपता है।

इनवॉल्यूशन आइडम्पोटन्ट से संबंधित हैं; यदि 2 उलटा है तो वे एक-से-एक तरीके से मेल खाते हैं।

कार्यात्मक विश्लेषण में, बनच * - बीजगणित और सी * - बीजगणित विशेष प्रकार के बनच बीजगणित होते हैं जिनमें शामिल हैं।

चतुर्धातुक बीजगणित, समूह, अर्धसमूह
चतुष्कोणीय बीजगणित में, एक (एंटी-) इनवोल्यूशन निम्नलिखित स्वयंसिद्धों द्वारा परिभाषित किया गया है: यदि हम एक परिवर्तन $$x \mapsto f(x)$$ पर विचार करते हैं तो यह एक इनवोल्यूशन है यदि एक विरोधी समावेशन पिछले स्वयंसिद्ध से नहीं बल्कि इसके बजाय होता है इस पूर्व नियम को कभी-कभी प्रतिवितरक कहा जाता है। यह समूह में $$ {\left(xy\right)}^{-1}= {\left(y\right)}^{-1}{\left(x\right)}^{-1}$$ के रूप में भी प्रकट होता है। एक स्वयंसिद्ध के रूप में लिया गया, यह अंतर्वलन के साथ अर्धसमूह की धारणा की ओर ले जाता है, जिनमें से ऐसे प्राकृतिक उदाहरण हैं जो समूह नहीं बनाते हैं, के लिए उदाहरण के लिए, वर्ग मैट्रिक्स गुणन (अर्थात पूर्ण रेखीय मोनोइड) जिसमें अंतर्वलन के रूप में स्थानान्तरण होता है।
 * $$ f(f(x))=x $$ (यह स्वयं का प्रतिलोम है)
 * $$ f(x_1+x_2)=f(x_1)+f(x_2) $$ तथा $$ f(\lambda x)=\lambda f(x) $$ (यह रैखिक है)
 * $$ f(x_1 x_2)=f(x_1) f(x_2) $$
 * $$ f(x_1 x_2)=f(x_2) f(x_1) $$

वलय सिद्धांत
रिंग थ्योरी में, इनवोल्यूशन शब्द को सामान्यतया पर प्रतिसमरूपता के अर्थ में लिया जाता है जो कि इसका अपना उलटा कार्य है।

सामान्य रिंग्स में शामिल होने के उदाहरण:
 * जटिल समतल पर जटिल संयुग्मन
 * स्प्लिट-कॉम्प्लेक्स नंबरों में j से गुणा करना
 * एक मैट्रिक्स रिंग में स्थानान्तरण लेना।

समूह सिद्धांत
समूह सिद्धांत में, समूह (गणित) का एक तत्व एक समावेशन है यदि इसमें आदेश (समूह सिद्धांत) 2 है; यानी एक जुड़ाव एक तत्व है $$a$$ ऐसा है कि $$a\neq e$$ और ए2 = ई, जहां ई पहचान तत्व है। मूल रूप से, यह परिभाषा ऊपर दी गई पहली परिभाषा से सहमत थी, क्योंकि समूहों के सदस्य हमेशा एक सेट से स्वयं में आक्षेप थे; यानी, समूह को क्रमपरिवर्तन समूह के रूप में लिया गया था। 19वीं शताब्दी के अंत तक, समूह को अधिक व्यापक रूप से परिभाषित किया गया था, और तदनुसार यह समावेशन भी था।

एक क्रमचय एक अंतर्वलन है यदि और केवल यदि इसे असंयुक्त स्थानान्तरण (गणित) के परिमित उत्पाद के रूप में लिखा जा सकता है।

एक समूह के सम्मिलित होने का समूह की संरचना पर बड़ा प्रभाव पड़ता है। परिमित सरल समूहों के वर्गीकरण में अंतर्विरोधों का अध्ययन सहायक था।

एक तत्व $$x$$ एक समूह का $$G$$ दृढ़ता से वास्तविक तत्व कहा जाता है यदि कोई समावेशन हो $$t$$ साथ $$x^t=x^{-1}$$ (कहाँ पे $$x^t=x^{-1}=t^{-1}\cdot x\cdot t$$). कॉक्सेटर समूह ऐसे समूह हैं जो इनवॉल्यूशन द्वारा उत्पन्न संबंधों के साथ उत्पन्न होते हैं जो केवल पैदा करने वाले इनवॉल्यूशन के जोड़े के लिए दिए गए संबंधों द्वारा निर्धारित होते हैं। संभावित प्लेटोनिक ठोस और उनके नियमित पॉलीटॉप का वर्णन करने के लिए, कॉक्सेटर समूह का उपयोग अन्य चीजों के साथ किया जा सकता है।

गणितीय तर्क
बूलियन एमवी-बीजगणित (संरचना) में पूरक की संक्रिया एक अंतर्वलन है। तदनुसार, शास्त्रीय तर्क में निषेध डबल_नकारात्मकता को संतुष्ट करता है: ¬¬ए ए के बराबर है।

आम तौर पर गैर-शास्त्रीय लॉजिक्स में, दोहरे निषेध के नियम को संतुष्ट करने वाले निषेध को समावेशी कहा जाता है। बीजगणितीय शब्दार्थ में, इस तरह के निषेध को सत्य मूल्यों के बीजगणित पर एक समावेशन के रूप में महसूस किया जाता है। ऐसे तर्कों के उदाहरण जिनमें समावेशी निषेध है, क्लेन और बोचवर तीन-मूल्यवान तर्क हैं, लुकासिविक्ज़ तर्क| यह सामान्य है, उदाहरण के लिए, टी-नॉर्म [[अस्पष्ट तर्क]] में।

तर्कशास्त्र और संबंधित विविधता (सार्वभौमिक बीजगणित) के लिए नकारात्मकता की समावेशिता एक महत्वपूर्ण लक्षण वर्णन गुण है। उदाहरण के लिए, हेयिंग बीजगणित के बीच समावेशी निषेध बूलियन बीजगणित (संरचना) की विशेषता है। इसके विपरीत, क्लासिकल क्लासिकल लॉजिक अंतर्ज्ञानवादी तर्क में दोहरे निषेध के नियम को जोड़कर उत्पन्न होता है। यही संबंध MV-अलजेब्रा और BL-एलजेब्रा (और इसी तरह Łukasiewicz लॉजिक और फ़ज़ी लॉजिक BL (लॉजिक)), IMTL और मोनोइडल टी-नॉर्म लॉजिक, और बीएल बीजगणित की महत्वपूर्ण किस्मों के अन्य युग्मों के बीच भी होता है (उत्तर. संबंधित लॉजिक) ).

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

कंप्यूटर विज्ञान
एक पैरामीटर के लिए दिए गए मान के साथ XOR बिटवाइज़ ऑपरेशन एक इनवॉल्यूशन है। XOR मास्क (कंप्यूटिंग) का उपयोग एक बार छवियों पर ग्राफिक्स को इस तरह से करने के लिए किया जाता था कि उन्हें पृष्ठभूमि पर दो बार खींचने से पृष्ठभूमि अपनी मूल स्थिति में वापस आ जाती है। बिटवाइज़ नहीं बिटवाइज़ ऑपरेशन भी एक इनवोल्यूशन है, और XOR ऑपरेशन का एक विशेष मामला है जहाँ एक पैरामीटर में सभी बिट्स 1 पर सेट होते हैं।

एक अन्य उदाहरण एक बिट मास्क और शिफ्ट फ़ंक्शन है जो पूर्णांक के रूप में संग्रहीत रंग मानों पर काम करता है, आरजीबी के रूप में कहें, जो आर और बी को स्वैप करता है, जिसके परिणामस्वरूप बीजीआर बनता है। एफ(एफ(आरजीबी))=आरजीबी, एफ(एफ(बीजीआर))=बीजीआर।

RC4 क्रिप्टोग्राफिक सिफर एक इनवोल्यूशन है, क्योंकि एन्क्रिप्शन और डिक्रिप्शन ऑपरेशन एक ही फ़ंक्शन का उपयोग करते हैं।

व्यावहारिक रूप से सभी यांत्रिक सिफर मशीनें एक पारस्परिक सिफर लागू करती हैं, प्रत्येक टाइप किए गए पत्र पर एक अंतर्वलन। दो प्रकार की मशीनों को डिजाइन करने के बजाय, एक एन्क्रिप्ट करने के लिए और एक डिक्रिप्टिंग के लिए, सभी मशीनें एक जैसी हो सकती हैं और उन्हें एक ही तरीके से सेट (कीड) किया जा सकता है।

यह भी देखें

 * ऑटोमोर्फिज्म
 * निःशक्तता
 * आरओटी13