प्रत्यावर्तन (गणित): Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Function that is its own inverse}} {{for|the archaic use of this term|exponentiation}} Image:Involution.svg|right|thumb|एक इनवॉल्यू...")
 
No edit summary
 
(10 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Function that is its own inverse}}
{{Short description|Function that is its own inverse}}
{{for|the archaic use of this term|exponentiation}}
{{for|इस शब्द का प्राचीन प्रयोग|घातांक}}
[[Image:Involution.svg|right|thumb|एक इनवॉल्यूशन एक फंक्शन है <math>f:X\to X</math> कि, जब दो बार लगाया जाता है, तो एक को शुरुआती बिंदु पर वापस लाता है।]]गणित में, एक इनवोल्यूशन, इनवॉल्यूटरी फंक्शन या सेल्फ-इनवर्स फंक्शन<ref>Robert Alexander Adams, ''Calculus: Single Variable'', 2006, {{isbn|0321307143}}, p. 165</ref> एक कार्य है (गणित) {{mvar|f}} यह इसका अपना उलटा कार्य है,
[[Image:Involution.svg|right|thumb|एक इनवॉल्यूशन एक फंक्शन है <math>f:X\to X</math> कि, जब दो बार लगाया जाता है, तो एक को शुरुआती बिंदु पर वापस लाता है।]]गणित में, एक इनवोल्यूशन, इनवोल्यूशनरी फंक्शन, या सेल्फ-इनवर्स फंक्शन<ref>Robert Alexander Adams, ''Calculus: Single Variable'', 2006, {{isbn|0321307143}}, p. 165</ref> एक ऐसा फंक्शन {{mvar|f}} होता है जो इसका अपना व्युत्क्रम होता है,


: {{math|''f''(''f''(''x'')) {{=}} ''x''}}
: {{math|''f''(''f''(''x'')) {{=}} ''x''}}
सभी के लिए {{mvar|x}} के एक समारोह के डोमेन में {{mvar|f}}.<ref>{{Citation|last=Russell|first=Bertrand|title=Principles of mathematics|year=1903|publisher=W. W. Norton & Company, Inc|page=426|url=https://books.google.com/books?id=63ooitcP2osC&q=involution%20subject%3A%&pg=PR3|edition=2nd|isbn=9781440054167}}</ref> समान रूप से, आवेदन करना {{mvar|f}} दो बार मूल मूल्य पैदा करता है।
{{mvar|f}} के क्षेत्र में सभी {{mvar|x}} के लिए।<ref>{{Citation|last=Russell|first=Bertrand|title=Principles of mathematics|year=1903|publisher=W. W. Norton & Company, Inc|page=426|url=https://books.google.com/books?id=63ooitcP2osC&q=involution%20subject%3A%&pg=PR3|edition=2nd|isbn=9781440054167}}</ref> समान रूप से, {{mvar|f}} को दो बार लगाने से मूल मान मिलता है।


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


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


[[समारोह रचना]] {{math|''g'' ∘ ''f''}} दो इनवोल्यूशन f और g एक इनवोल्यूशन है अगर और केवल अगर वे [[क्रमचयी गुणधर्म]] हैं: {{math|1=''g'' ∘ ''f'' = ''f'' ∘ ''g''}}.<ref>{{citation|title=The Elements of Operator Theory|first=Carlos S.|last=Kubrusly|publisher=Springer Science & Business Media|year=2011|isbn=9780817649982|at=Problem&nbsp;1.11(a), p.&nbsp;27|url=https://books.google.com/books?id=g-UFYTO8SbMC&pg=PA27}}.</ref>
[[समारोह रचना|संयोजन]] {{math|''g'' ∘ ''f''}} दो अंतर्वलन f और g का एक अंतर्वलन है यदि और केवल यदि वे परिवर्तन करते हैं: {{math|1=''g'' ∘ ''f'' = ''f'' ∘ ''g''}} <ref>{{citation|title=The Elements of Operator Theory|first=Carlos S.|last=Kubrusly|publisher=Springer Science & Business Media|year=2011|isbn=9780817649982|at=Problem&nbsp;1.11(a), p.&nbsp;27|url=https://books.google.com/books?id=g-UFYTO8SbMC&pg=PA27}}.</ref>


 
== परिमित समुच्चय पर अंतर्वलन ==
== परिमित सेटों पर आक्रमण ==
{{math|1=''n'' = 0, 1, 2, ...}} तत्वों के साथ एक समुच्चय पर समरूपता सम्मिलित करने सहित सम्मिलित होने की संख्या, 1800 में [[हेनरिक अगस्त रोथ]] द्वारा पाया गया [[पुनरावृत्ति संबंध]] द्वारा दिया गया है:
के साथ एक सेट पर पहचान के शामिल होने सहित शामिल होने की संख्या {{math|1=''n'' = 0, 1, 2, ...}} तत्व 1800 में [[हेनरिक अगस्त रोथ]] द्वारा पाया गया [[पुनरावृत्ति संबंध]] द्वारा दिया गया है:
:<math>a_0 = a_1 = 1</math> तथा <math>a_n = a_{n - 1} + (n - 1)a_{n-2}</math> के लिये <math>n > 1.</math>
:<math>a_0 = a_1 = 1</math> तथा <math>a_n = a_{n - 1} + (n - 1)a_{n-2}</math> के लिये <math>n > 1.</math>
इस अनुक्रम के पहले कुछ पद [[1 (संख्या)]], 1, [[2 (संख्या)]], [[4 (संख्या)]], [[10 (संख्या)]], [[26 (संख्या)]], [[76 (संख्या)]], [[232 (संख्या)]] हैं। {{OEIS|id=A000085}}; इन नंबरों को [[टेलीफोन नंबर (गणित)]] कहा जाता है, और वे दी गई कोशिकाओं की संख्या के साथ युवा झांकी की संख्या भी गिनते हैं।<ref>{{citation
इस अनुक्रम के पहले कुछ पद [[1 (संख्या)]], 1, [[2 (संख्या)]], [[4 (संख्या)]], [[10 (संख्या)]], [[26 (संख्या)]], [[76 (संख्या)]], [[232 (संख्या)]] हैं। {{OEIS|id=A000085}}; इन नंबरों को [[टेलीफोन नंबर (गणित)]] कहा जाता है, और वे दी गई सेल की संख्या के साथ नई सारणी की संख्या भी गिनते हैं।<ref>{{citation
  | last = Knuth | first = Donald E. | author-link = Donald Knuth
  | last = Knuth | first = Donald E. | author-link = Donald Knuth
  | location = Reading, Mass.
  | location = Reading, Mass.
Line 24: Line 23:
  | publisher = Addison-Wesley
  | publisher = Addison-Wesley
  | title = [[The Art of Computer Programming]], Volume 3: Sorting and Searching
  | title = [[The Art of Computer Programming]], Volume 3: Sorting and Searching
  | year = 1973}}.</ref>
  | year = 1973}}.</ref> जो नंबर <math>a_n</math> योग जैसे गैर-पुनरावर्ती सूत्रों द्वारा भी व्यक्त किया जा सकता है।<math display="block">a_n = \sum_{m=0}^{\lfloor \frac{n}{2} \rfloor} \frac{n!}{2^m m! (n-2m)!} .</math>परिमित समुच्चय पर एक अंतर्वलन के निश्चित बिंदुओं की संख्या और इसकी [[प्रमुखता]] में समान समानता (गणित) है। इस प्रकार किसी दिए गए परिमित समुच्चय पर सभी आक्रमणों के निश्चित बिंदुओं की संख्या समान समानता है। विशेष रूप से, [[विषम संख्या]] में तत्वों पर प्रत्येक समावेशन में कम से कम एक [[निश्चित बिंदु (गणित)]] होता है। इसका उपयोग फर्मेट के दो-वर्ग प्रमेय को साबित करने के लिए किया जा सकता है।<ref>{{citation
जो नंबर <math>a_n</math> योग जैसे गैर-पुनरावर्ती सूत्रों द्वारा भी व्यक्त किया जा सकता है
<math display="block">a_n = \sum_{m=0}^{\lfloor \frac{n}{2} \rfloor} \frac{n!}{2^m m! (n-2m)!} .</math>
परिमित समुच्चय पर एक अंतर्वलन के निश्चित बिंदुओं की संख्या और इसकी [[प्रमुखता]] में समान समानता (गणित) है। इस प्रकार किसी दिए गए परिमित समुच्चय पर सभी आक्रमणों के निश्चित बिंदुओं की संख्या समान समानता है। विशेष रूप से, [[विषम संख्या]] में तत्वों पर प्रत्येक समावेशन में कम से कम एक [[निश्चित बिंदु (गणित)]] होता है। इसका उपयोग दो वर्गों के योग पर फर्मेट के प्रमेय को साबित करने के लिए किया जा सकता है # जैगियर का एक-वाक्य प्रमाण | फर्मेट के दो वर्ग प्रमेय।<ref>{{citation
  | last = Zagier | first = D. | author-link = Don Zagier
  | last = Zagier | first = D. | author-link = Don Zagier
  | doi = 10.2307/2323918
  | doi = 10.2307/2323918
Line 37: Line 33:
  | volume = 97
  | volume = 97
  | year = 1990| jstor = 2323918 }}.</ref>
  | year = 1990| jstor = 2323918 }}.</ref>
 
==गणित के क्षेत्र में समावेश==
 
==गणित के सभी क्षेत्रों में क्रमपरिवर्तन==


=== पूर्व-कलन ===
=== पूर्व-कलन ===
समावेशन के कुछ बुनियादी उदाहरणों में कार्य शामिल हैं
सम्मिलित होने के कुछ बुनियादी उदाहरणों में कार्य शामिल हैं I<math display=block>
<math display=block>
\begin{alignat}{4}
\begin{alignat}{4}
f_1(x) &= -x, \\
f_1(x) &= -x, \\
f_2(x) &= \frac{1}{x,} \\
f_2(x) &= \frac{1}{x,} \\
f_3(x) &= \frac{x}{x - 1}, \\
f_3(x) &= \frac{x}{x - 1}, \\
\end{alignat}</math>
\end{alignat}</math>रचना <math>f_4(x) := (f_1 \circ f_2)(x) = (f_2 \circ f_1)(x) = -\frac {1}{x},</math>
रचना <math>f_4(x) := (f_1 \circ f_2)(x) = (f_2 \circ f_1)(x) = -\frac {1}{x},</math>
और अधिक सामान्यतया पर फ़ंक्शन<math display="block">g(x) = \frac{b - x}{1 + c x}</math>स्थिरांक <math>b</math> और <math>c</math> संतुष्ट करने वाले <math>b c \neq -1</math> के लिए एक प्रक्षेप है।<br />
और अधिक आम तौर पर समारोह
<math display=block>g(x) = \frac{b - x}{1 + c x}</math> स्थिरांक के लिए एक जुड़ाव है <math>b</math> तथा <math>c</math> जो संतुष्ट करता है <math>b c \neq -1.</math> ये केवल प्री-कैलकुलस इन्वोल्यूशन नहीं हैं। सकारात्मक दायरे में एक और है
<math display=block>f(x) = \ln\left(\frac {e^x+1}{e^x-1}\right).</math>
एक इनवोल्यूशन (वास्तविक संख्याओं पर) का ग्राफ_ऑफ_ए_फंक्शन लाइन के पार परावर्तन समरूपता है <math>y=x</math>. यह इस तथ्य के कारण है कि किसी भी सामान्य कार्य का व्युत्क्रम रेखा पर उसका प्रतिबिंब होगा <math>y=x</math>. इसे अदला-बदली करके देखा जा सकता है <math>x</math> साथ <math>y</math>. यदि, विशेष रूप से, फलन एक अंतर्वलन है, तो इसका ग्राफ इसका अपना प्रतिबिंब है।


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


=== यूक्लिडियन ज्यामिति ===
=== यूक्लिडियन ज्यामिति ===
त्रि-आयामी [[यूक्लिडियन अंतरिक्ष]] के शामिल होने का एक सरल उदाहरण एक [[विमान (गणित)]] के माध्यम से प्रतिबिंब (गणित) है। एक प्रतिबिंब को दो बार करने से एक बिंदु वापस अपने मूल निर्देशांक में आ जाता है।
त्रि-आयामी [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन स्पेस]] को शामिल करने का एक सरल उदाहरण एक समतल के माध्यम से प्रतिबिंब है। एक प्रतिबिंब को दो बार करने से एक बिंदु अपने मूल निर्देशांक पर वापस आ जाता है।
 
एक अन्य समावेश मूल के माध्यम से प्रतिबिंब है; उपरोक्त अर्थ में प्रतिबिंब नहीं, और इसलिए, एक विशिष्ट उदाहरण।
 
ये परिवर्तन [[affine involution]]s के उदाहरण हैं।


===प्रक्षेपी ज्यामिति===
एक अन्य अंतर्वलन उत्पत्ति के माध्यम से प्रतिबिंब है; उपरोक्त अर्थ में प्रतिबिंब नहीं है, और इसलिए, एक अलग उदाहरण।
एक समावेशन अवधि 2 की एक [[प्रोजेक्टिविटी]] है, यानी एक प्रोजेक्टिविटी जो बिंदुओं के जोड़े को बदलती है।<ref name=AGP>A.G. Pickford (1909) [https://archive.org/details/elementaryprojec00pickrich/page/n5 Elementary Projective Geometry], [[Cambridge University Press]] via [[Internet Archive]]</ref>{{rp|24}}
* कोई भी प्रोजेक्टिविटी जो दो बिंदुओं को आपस में बदल देती है, एक इनवोल्यूशन है।
* एक [[पूर्ण चतुर्भुज]] के विपरीत भुजाओं के तीन जोड़े किसी भी रेखा (शीर्ष के माध्यम से नहीं) के तीन जोड़े में एक अंतर्वलन से मिलते हैं। इस प्रमेय को [[Desargues]]'s Involution Theorem कहा गया है।<ref>[[Judith V. Field|J. V. Field]] and J. J. Gray (1987) ''The Geometrical Work of Girard Desargues,'' (New York: Springer), p. 54</ref> इसकी उत्पत्ति एलेक्जेंड्रिया के पप्पस के संग्रह के खंड VII में यूक्लिड के पोरिज्म के लिए नींबू के लेम्मा IV में देखी जा सकती है।<ref>Ivor Thomas (editor) (1980) ''Selections Illustrating the History of Greek Mathematics,'' Volume II, number 362 in the [[Loeb Classical Library]] (Cambridge and London: Harvard and Heinemann), pp. 610&ndash;3</ref>
* यदि किसी अंतर्वलन का एक निश्चित बिंदु (गणित) है, तो इसका दूसरा है, और इन दो बिंदुओं के संबंध में [[प्रक्षेपी हार्मोनिक संयुग्म]] के बीच पत्राचार होता है। इस उदाहरण में अंतर्वलन को अतिशयोक्तिपूर्ण कहा जाता है, जबकि यदि कोई निश्चित बिंदु नहीं हैं तो यह दीर्घवृत्तीय है। प्रोजेक्टिविटीज के संदर्भ में, फिक्स्ड पॉइंट्स को डबल पॉइंट कहा जाता है।<ref name=AGP/>{{rp|53}}
प्रक्षेपी ज्यामिति में होने वाला एक अन्य प्रकार का समावेशन एक ध्रुवीयता है जो अवधि 2 का [[सहसंबंध (प्रक्षेपी ज्यामिति)]] है।
<ref>[[H. S. M. Coxeter]] (1969) ''Introduction to Geometry'', pp 244–8, [[John Wiley & Sons]]</ref>


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


===प्रक्षेपीय ज्यामिति===
एक समावेशन अवधि 2 की एक [[प्रोजेक्टिविटी]] है, यानी एक प्रोजेक्टिविटी जो बिंदुओं के जोड़े को अन्तर्विनिमय कर देती है।<ref name="AGP">A.G. Pickford (1909) [https://archive.org/details/elementaryprojec00pickrich/page/n5 Elementary Projective Geometry], [[Cambridge University Press]] via [[Internet Archive]]</ref>{{rp|24}}
* कोई भी प्रोजेक्टिविटी जो दो बिंदुओं को प्रतिच्छेद करती है, एक इनवॉल्यूशन है।
* एक [[पूर्ण चतुर्भुज]] के विपरीत भुजाओं के तीन जोड़े किसी भी रेखा (शीर्ष के माध्यम से नहीं) के तीन जोड़े में एक अंतर्वलन से मिलते हैं। इस प्रमेय को [[Desargues|डेसरग्यूस]] इन्वोल्यूशन प्रमेय कहा गया है।<ref>[[Judith V. Field|J. V. Field]] and J. J. Gray (1987) ''The Geometrical Work of Girard Desargues,'' (New York: Springer), p. 54</ref> इसकी उत्पत्ति एलेक्जेंड्रिया के पप्पस के संग्रह के खंड VII में यूक्लिड के पोरिज्म के लेम्मा के लेम्मा IV में देखी जा सकती है। <ref>Ivor Thomas (editor) (1980) ''Selections Illustrating the History of Greek Mathematics,'' Volume II, number 362 in the [[Loeb Classical Library]] (Cambridge and London: Harvard and Heinemann), pp. 610&ndash;3</ref>
* यदि किसी अंतर्वलन का एक निश्चित बिंदु है, तो इसका दूसरा और इन दो बिंदुओं के संबंध में [[प्रक्षेपी हार्मोनिक संयुग्म|हार्मोनिक संयुग्म]] के बीच एक पत्राचार है। इस उदाहरण में शामिल होने को "अतिशयोक्तिपूर्ण" कहा जाता है, जबकि यदि कोई निश्चित बिंदु नहीं हैं तो यह "दीर्घवृत्त" है। प्रोजेक्टिविटी के संदर्भ में, निश्चित बिंदुओं को डबल पॉइंट (दोहरे बिंदु) कहा जाता है।<ref name=AGP/>{{rp|53}}
प्रक्षेपी ज्यामिति में होने वाला एक अन्य प्रकार का समावेशन एक ध्रुवीयता है जो 2 अवधि का एक [[सहसंबंध (प्रक्षेपी ज्यामिति)|सहसंबंध]] है।<ref name=":0">[[H. S. M. Coxeter]] (1969) ''Introduction to Geometry'', pp 244–8, [[John Wiley & Sons]]</ref>
=== रेखीय बीजगणित ===
=== रेखीय बीजगणित ===
{{details|Involutory matrix}}
{{details|इन्वॉल्यूटरी मैट्रिक्स}}
रैखिक बीजगणित में, एक सदिश स्थान पर एक आक्रमण एक रैखिक ऑपरेटर टी है, जैसे कि <math>T^2=I</math>. विशेषता 2 को छोड़कर, ऐसे ऑपरेटर किसी दिए गए आधार के लिए संबंधित मैट्रिक्स के विकर्ण पर केवल 1s और -1s के साथ विकर्ण होते हैं। यदि ऑपरेटर ओर्थोगोनल (एक ओर्थोगोनल इन्वोल्यूशन) है, तो यह ओर्थोनॉर्मली डायगोनलाइज़ेबल है।
रैखिक बीजगणित में, एक इनवोल्यूशन एक सदिश स्थान पर एक रैखिक ऑपरेटर T है, जैसे कि <math>T^2=I</math> विशेषता 2 को छोड़कर, ऐसे ऑपरेटर किसी दिए गए आधार के लिए संबंधित मैट्रिक्स के विकर्ण पर सिर्फ 1s और -1s के साथ विकर्ण हैं। यदि ऑपरेटर ओर्थोगोनल (एक ऑर्थोगोनल इनवोल्यूशन) है, तो यह ऑर्थोनॉर्मल डायगोनलेबल है।


उदाहरण के लिए, मान लीजिए कि एक सदिश स्थान ''V'' के लिए एक आधार चुना गया है, और वह ''e''<sub>1</sub> और ई<sub>2</sub> आधार तत्व हैं। एक रैखिक परिवर्तन मौजूद है जो ई भेजता है<sub>1</sub> फिर<sub>2</sub>, और ई भेजता है<sub>2</sub> फिर<sub>1</sub>, और जो अन्य सभी सदिशों के आधार पर तत्समक है। इसे चेक किया जा सकता है {{math|1=''f''(''f''(''x'')) = ''x''}} V में सभी x के लिए। अर्थात, f, V का एक अंतर्वलन है।
उदाहरण के लिए, मान लीजिए कि एक सदिश समष्टि ''V'' के लिए एक आधार चुना गया है और ''e''<sub>1</sub> और e<sub>2</sub> आधार तत्व हैं। एक रैखिक रूपांतरण f मौजूद है जो e<sub>1</sub> को e<sub>2</sub> भेजता है, और e<sub>2</sub> को e<sub>1</sub> भेजता है, और जो अन्य सभी आधार वैक्टरों पर पहचान है। इसकी जाँच की जा सकती है कि {{math|1=''f''(''f''(''x'')) = ''x''}} V में सभी x के लिए है। अर्थात, f, V का एक अंतर्वलन है।


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


इनवोल्यूशन की परिभाषा आसानी से [[मॉड्यूल (गणित)]] तक फैली हुई है। एक रिंग (गणित) R पर एक मॉड्यूल M को देखते हुए, M के एक R [[एंडोमोर्फिज्म]] f को एक इनवोल्यूशन कहा जाता है यदि f<sup>2</sup> एम पर सर्वसमिका समरूपता है।
इनवॉल्यूशन की परिभाषा आसानी से [[मॉड्यूल (गणित)|मॉड्यूल]] तक फैली हुई है। एक रिंग R पर एक मॉड्यूल M दिया गया है, M के एक R [[एंडोमोर्फिज्म]] f को एक इनवोल्यूशन कहा जाता है यदि ''f'' <sup>2</sup> M पर सर्वसमिका समरूपता है।


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


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


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


=== वलय सिद्धांत ===
=== वलय सिद्धांत ===
{{details|*-algebra}}
{{details|* - बीजगणित}}
[[अंगूठी सिद्धांत]] में, इनवोल्यूशन शब्द को आमतौर पर एक [[प्रतिसमरूपता]] के रूप में लिया जाता है जो कि इसका अपना उलटा कार्य है।
 
सामान्य छल्लों में शामिल होने के उदाहरण:
रिंग थ्योरी में, इनवोल्यूशन शब्द को सामान्यतया पर [[प्रतिसमरूपता]] के अर्थ में लिया जाता है जो कि इसका अपना उलटा कार्य है।  
* जटिल तल पर [[जटिल संयुग्मन]]
 
* विभाजन-जटिल संख्याओं में j से गुणा
सामान्य रिंग्स में शामिल होने के उदाहरण:
* मैट्रिक्स रिंग में ट्रांसपोज़ लेना।
* जटिल समतल पर [[जटिल संयुग्मन]]
* स्प्लिट-कॉम्प्लेक्स नंबरों में j से गुणा करना
* एक मैट्रिक्स रिंग में स्थानान्तरण लेना।


=== [[समूह सिद्धांत]] ===
=== [[समूह सिद्धांत]] ===
समूह सिद्धांत में, समूह (गणित) का एक तत्व एक समावेशन है यदि इसमें [[आदेश (समूह सिद्धांत)]] 2 है; यानी एक जुड़ाव एक तत्व है <math>a</math> ऐसा है कि <math>a\neq e</math> और ए<sup>2</sup> = ई, जहां ई [[पहचान तत्व]] है।<ref>
समूह सिद्धांत में, समूह का एक तत्व एक समावेशन है यदि इसका क्रम 2 है; यानी एक इनवोल्यूशन एक ऐसा तत्व है जिसमें <math>a\neq e</math> और a<sup>2</sup> = e, जहां e पहचान तत्व है।<ref>
John S. Rose.
John S. Rose.
[https://books.google.com/books?id=j-I7Zpq3GdIC "A Course on Group Theory"].
[https://books.google.com/books?id=j-I7Zpq3GdIC "A Course on Group Theory"].
p. 10, section 1.13.
p. 10, section 1.13.
</ref>
</ref>
मूल रूप से, यह परिभाषा ऊपर दी गई पहली परिभाषा से सहमत थी, क्योंकि समूहों के सदस्य हमेशा एक सेट से स्वयं में आक्षेप थे; यानी, समूह को क्रम[[परिवर्तन]] समूह के रूप में लिया गया था। 19वीं शताब्दी के अंत तक, समूह को अधिक व्यापक रूप से परिभाषित किया गया था, और तदनुसार यह समावेशन भी था।


एक क्रमचय एक अंतर्वलन है यदि और केवल यदि इसे असंयुक्त [[स्थानान्तरण (गणित)]] के परिमित उत्पाद के रूप में लिखा जा सकता है।
मूल रूप से, यह परिभाषा ऊपर दी गई पहली परिभाषा से सहमत थी, क्योंकि समूहों के सदस्य हमेशा एक सेट से अपने आप में आक्षेपित होते थे; यानी, समूह को [[परिवर्तन|क्रमपरिवर्तन]] समूह के रूप में लिया गया था। 19वीं शताब्दी के अंत तक, समूह को अधिक व्यापक रूप से परिभाषित किया गया था, और तदनुसार यह शामिल था।


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


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


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


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


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


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


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


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


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


व्यावहारिक रूप से सभी यांत्रिक सिफर मशीनें एक पारस्परिक सिफर लागू करती हैं, प्रत्येक टाइप किए गए पत्र पर एक अंतर्वलन।
व्यावहारिक रूप से सभी मैकेनिकल सिफर मशीनें एक पारस्परिक सिफर को लागू करती हैं, प्रत्येक टाइप किए गए पत्र पर एक इनवोल्यूशन। दो प्रकार की मशीनों को डिज़ाइन करने के बजाय, एक एन्क्रिप्ट करने के लिए और एक डिक्रिप्टिंग के लिए, सभी मशीनें एक जैसी हो सकती हैं और उन्हें एक ही तरीके से सेट अप (कीड) किया जा सकता है।<ref>
दो प्रकार की मशीनों को डिजाइन करने के बजाय, एक एन्क्रिप्ट करने के लिए और एक डिक्रिप्टिंग के लिए, सभी मशीनें एक जैसी हो सकती हैं और उन्हें एक ही तरीके से सेट (कीड) किया जा सकता है।<ref>
Greg Goebel.
Greg Goebel.
[http://vc.airvectors.net/ttcode_05.html "The Mechanization of Ciphers"].
[http://vc.airvectors.net/ttcode_05.html "The Mechanization of Ciphers"].
Line 143: Line 131:
</ref>
</ref>


 
व्यावहारिक रूप से सभी यांत्रिक सिफर मशीनें एक पारस्परिक सिफर लागू करती हैं, प्रत्येक टाइप किए गए पत्र पर एक अंतर्वलन।
दो प्रकार की मशीनों को डिजाइन करने के बजाय, एक एन्क्रिप्ट करने के लिए और एक डिक्रिप्टिंग के लिए, सभी मशीनें एक जैसी हो सकती हैं और उन्हें एक ही तरीके से सेट (कीड) किया जा सकता है।
== यह भी देखें ==
== यह भी देखें ==
* [[ऑटोमोर्फिज्म]]
* [[ऑटोमोर्फिज्म]]
Line 151: Line 140:
== संदर्भ ==
== संदर्भ ==
{{reflist}}
{{reflist}}
==इस पेज में लापता आंतरिक लिंक की सूची==
*अंक शास्त्र
*समारोह (गणित)
*उलटा काम करना
*किसी फ़ंक्शन का डोमेन
*द्विभाजन
*योगज प्रतिलोम
*जटिल सन्युग्म
*प्रतिबिंब (गणित)
*समुच्चय सिद्धान्त
*चक्र उलटा
*रोटेशन (गणित)
*युवा झाँकी
*समता (गणित)
*उत्पत्ति के माध्यम से प्रतिबिंब
*अलेक्जेंड्रिया के पप्पस
*पक्षांतरित
*अंगूठी (गणित)
*शामिल होने के साथ अर्धसमूह
*पूर्ण रैखिक मोनोइड
*जटिल विमान
*विभाजित-जटिल संख्या
*परिमित सरल समूहों का वर्गीकरण
*क्रमपरिवर्तन समूह
*आंशिक आदेश
*विपरीत संबंध
*बीएल (तर्क)
*हेटिंग बीजगणित
==अग्रिम पठन==
==अग्रिम पठन==
* {{cite journal |title=Quaternion involutions and anti-involutions |first1=Todd A. |last1=Ell |first2=Stephen J. |last2=Sangwine |journal=Computers & Mathematics with Applications |volume=53 |issue=1 |year=2007 |pages=137–143 |doi=10.1016/j.camwa.2006.10.029|arxiv=math/0506034 |s2cid=45639619 }}
* {{cite journal |title=Quaternion involutions and anti-involutions |first1=Todd A. |last1=Ell |first2=Stephen J. |last2=Sangwine |journal=Computers & Mathematics with Applications |volume=53 |issue=1 |year=2007 |pages=137–143 |doi=10.1016/j.camwa.2006.10.029|arxiv=math/0506034 |s2cid=45639619 }}
* {{citation | last1=Knus | first1=Max-Albert | last2=Merkurjev | first2=Alexander | author2-link=Alexander Merkurjev | last3=Rost | first3=Markus | author3-link=Markus Rost | last4=Tignol | first4=Jean-Pierre | title=The book of involutions | others=With a preface by J. Tits | zbl=0955.16001 | series=Colloquium Publications | publisher=[[American Mathematical Society]] | volume=44 | location=Providence, RI | year=1998 | isbn=0-8218-0904-0 }}
* {{citation | last1=Knus | first1=Max-Albert | last2=Merkurjev | first2=Alexander | author2-link=Alexander Merkurjev | last3=Rost | first3=Markus | author3-link=Markus Rost | last4=Tignol | first4=Jean-Pierre | title=The book of involutions | others=With a preface by J. Tits | zbl=0955.16001 | series=Colloquium Publications | publisher=[[American Mathematical Society]] | volume=44 | location=Providence, RI | year=1998 | isbn=0-8218-0904-0 }}
* {{springer|title=Involution|id=p/i052510}}
* {{springer|title=Involution|id=p/i052510}}
[[Category:तत्वों के बीजगणितीय गुण]]
[[Category: कार्य और मानचित्रण]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with short description]]
[[Category:Created On 25/11/2022]]
[[Category:Created On 25/11/2022]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:कार्य और मानचित्रण]]
[[Category:तत्वों के बीजगणितीय गुण]]

Latest revision as of 09:54, 17 December 2022

For इस शब्द का प्राचीन प्रयोग, see घातांक.
एक इनवॉल्यूशन एक फंक्शन है कि, जब दो बार लगाया जाता है, तो एक को शुरुआती बिंदु पर वापस लाता है।

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

f(f(x)) = x

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

सामान्य गुण

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

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

संयोजन g ∘ f दो अंतर्वलन f और g का एक अंतर्वलन है यदि और केवल यदि वे परिवर्तन करते हैं: g ∘ f = f ∘ g [3]

परिमित समुच्चय पर अंतर्वलन

n = 0, 1, 2, ... तत्वों के साथ एक समुच्चय पर समरूपता सम्मिलित करने सहित सम्मिलित होने की संख्या, 1800 में हेनरिक अगस्त रोथ द्वारा पाया गया पुनरावृत्ति संबंध द्वारा दिया गया है:

तथा के लिये

इस अनुक्रम के पहले कुछ पद 1 (संख्या), 1, 2 (संख्या), 4 (संख्या), 10 (संख्या), 26 (संख्या), 76 (संख्या), 232 (संख्या) हैं। (sequence A000085 in the OEIS); इन नंबरों को टेलीफोन नंबर (गणित) कहा जाता है, और वे दी गई सेल की संख्या के साथ नई सारणी की संख्या भी गिनते हैं।[4] जो नंबर योग जैसे गैर-पुनरावर्ती सूत्रों द्वारा भी व्यक्त किया जा सकता है।

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

गणित के क्षेत्र में समावेश

पूर्व-कलन

सम्मिलित होने के कुछ बुनियादी उदाहरणों में कार्य शामिल हैं I

रचना और अधिक सामान्यतया पर फ़ंक्शन
स्थिरांक और संतुष्ट करने वाले के लिए एक प्रक्षेप है।

ये सिर्फ प्री-कैलकुलस सम्मिलित नहीं है। धनात्मक श्रेणी में एक और है

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

यूक्लिडियन ज्यामिति

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

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

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

प्रक्षेपीय ज्यामिति

एक समावेशन अवधि 2 की एक प्रोजेक्टिविटी है, यानी एक प्रोजेक्टिविटी जो बिंदुओं के जोड़े को अन्तर्विनिमय कर देती है।[6]: 24 

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

प्रक्षेपी ज्यामिति में होने वाला एक अन्य प्रकार का समावेशन एक ध्रुवीयता है जो 2 अवधि का एक सहसंबंध है।[9]

रेखीय बीजगणित

Further information: इन्वॉल्यूटरी मैट्रिक्स

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

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

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

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

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

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

चतुर्धातुक बीजगणित, समूह, अर्धसमूह

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

  • (यह स्वयं का प्रतिलोम है)
  • तथा (यह रैखिक है)

एक विरोधी समावेशन पिछले स्वयंसिद्ध से नहीं बल्कि इसके बजाय होता है

इस पूर्व नियम को कभी-कभी प्रतिवितरक कहा जाता है। यह समूह में के रूप में भी प्रकट होता है। एक स्वयंसिद्ध के रूप में लिया गया, यह अंतर्वलन के साथ अर्धसमूह की धारणा की ओर ले जाता है, जिनमें से ऐसे प्राकृतिक उदाहरण हैं जो समूह नहीं बनाते हैं, के लिए उदाहरण के लिए, वर्ग मैट्रिक्स गुणन (अर्थात पूर्ण रेखीय मोनोइड) जिसमें अंतर्वलन के रूप में स्थानान्तरण होता है।

वलय सिद्धांत

Further information: * - बीजगणित

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

सामान्य रिंग्स में शामिल होने के उदाहरण:

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

समूह सिद्धांत

समूह सिद्धांत में, समूह का एक तत्व एक समावेशन है यदि इसका क्रम 2 है; यानी एक इनवोल्यूशन एक ऐसा तत्व है जिसमें और a2 = e, जहां e पहचान तत्व है।[10]

मूल रूप से, यह परिभाषा ऊपर दी गई पहली परिभाषा से सहमत थी, क्योंकि समूहों के सदस्य हमेशा एक सेट से अपने आप में आक्षेपित होते थे; यानी, समूह को क्रमपरिवर्तन समूह के रूप में लिया गया था। 19वीं शताब्दी के अंत तक, समूह को अधिक व्यापक रूप से परिभाषित किया गया था, और तदनुसार यह शामिल था।

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

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

समूह का एक अवयव प्रबल रूप से वास्तविक कहलाता है यदि साथ के साथ एक अंतर्वलन है (जहाँ पे )

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

गणितीय तर्क

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

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

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

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

कंप्यूटर विज्ञान

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

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

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

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

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

यह भी देखें

संदर्भ

  1. ↑ Robert Alexander Adams, Calculus: Single Variable, 2006, ISBN 0321307143, p. 165
  2. ↑ Russell, Bertrand (1903), Principles of mathematics (2nd ed.), W. W. Norton & Company, Inc, p. 426, ISBN 9781440054167
  3. ↑ Kubrusly, Carlos S. (2011), The Elements of Operator Theory, Springer Science & Business Media, Problem 1.11(a), p. 27, ISBN 9780817649982.
  4. ↑ Knuth, Donald E. (1973), The Art of Computer Programming, Volume 3: Sorting and Searching, Reading, Mass.: Addison-Wesley, pp. 48, 65, MR 0445948.
  5. ↑ Zagier, D. (1990), "A one-sentence proof that every prime p≡ 1 (mod 4) is a sum of two squares", American Mathematical Monthly, 97 (2): 144, doi:10.2307/2323918, JSTOR 2323918, MR 1041893.
  6. ↑ 6.0 6.1 A.G. Pickford (1909) Elementary Projective Geometry, Cambridge University Press via Internet Archive
  7. ↑ J. V. Field and J. J. Gray (1987) The Geometrical Work of Girard Desargues, (New York: Springer), p. 54
  8. ↑ Ivor Thomas (editor) (1980) Selections Illustrating the History of Greek Mathematics, Volume II, number 362 in the Loeb Classical Library (Cambridge and London: Harvard and Heinemann), pp. 610–3
  9. ↑ H. S. M. Coxeter (1969) Introduction to Geometry, pp 244–8, John Wiley & Sons
  10. ↑ John S. Rose. "A Course on Group Theory". p. 10, section 1.13.
  11. ↑ Greg Goebel. "The Mechanization of Ciphers". 2018.

अग्रिम पठन

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=प्रत्यावर्तन_(गणित)&oldid=48488’