प्रतिसमरूपता: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Homomorphism reversing the order of something}} {{use mdy dates|date=September 2021}} {{Use American English|date = March 2019}} {{More citations needed|da...")
 
No edit summary
 
(11 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Homomorphism reversing the order of something}}
{{Short description|Homomorphism reversing the order of something}}
{{use mdy dates|date=September 2021}}
 
{{Use American English|date = March 2019}}
 
{{More citations needed|date=January 2010}}
[[गणित]] में, एक '''प्रतिसमरूपता (एंटीहोमोमोर्फिज्म)''' एक प्रकार का फलन है जो गुणन के साथ समुच्चयों पर परिभाषित होता है जो [[गुणन के क्रम]] को उत्क्रमित कर देता है। एक '''एंटीऑटोमोर्फिज्म''' एक '''एकैकी आच्छादी''' प्रतिसमरूपता है, यानी एक [[ समरूपतावाद |एंटीसोमोर्फिज्म]], एक समुच्चय से लेकर स्वयं तक है। एकैक आच्छादन से यह पता चलता है कि एंटीऑटोमोर्फिज्म में व्युत्क्रम होते हैं, और यह कि एंटीऑटोमोर्फिज्म का व्युत्क्रम भी एक एंटीऑटोमोर्फिज्म होता है।
गणित में, एक एंटीहोमोमोर्फिज्म एक प्रकार का फ़ंक्शन (गणित) है जो गुणन के साथ सेट पर परिभाषित होता है जो गैर-अनुक्रमिक को उलट देता है। एक एंटीऑटोमोर्फिज्म एक विशेषण एंटीहोमोमोर्फिज्म है, यानी एक [[ समरूपतावाद ]], एक सेट से लेकर खुद तक। द्विभाजन से यह पता चलता है कि एंटीऑटोमोर्फिज्म में व्युत्क्रम होते हैं, और यह कि एंटीऑटोमोर्फिज्म का व्युत्क्रम भी एक एंटीऑटोमोर्फिज्म होता है।


== परिभाषा ==
== परिभाषा ==
अनौपचारिक रूप से, एक एंटीहोमोमोर्फिज्म एक नक्शा है जो गुणन के क्रम को बदलता है। औपचारिक रूप से, संरचनाओं के बीच एक एंटीहोमोमोर्फिज्म <math>X</math> और <math>Y</math> एक समरूपता है <math>\phi\colon X \to Y^{\text{op}}</math>, कहाँ <math>Y^{\text{op}}</math> के बराबर होती है <math>Y</math> एक सेट के रूप में, लेकिन इसका गुणन उस परिभाषित पर उलटा है <math>Y</math>. पर (आम तौर पर गैर-[[ विनिमेय ]]) गुणन को नकारना <math>Y</math> द्वारा <math>\cdot</math>, गुणन पर <math>Y^{\text{op}}</math>, द्वारा चिह्नित <math>*</math>, द्वारा परिभाषित किया गया है <math>x*y := y \cdot x</math>. जो वस्तु <math>Y^{\text{op}}</math> के विपरीत वस्तु कहलाती है <math>Y</math> (क्रमशः, [[विपरीत समूह]], [[विपरीत बीजगणित]], [[विपरीत श्रेणी]] आदि)
अनौपचारिक रूप से, एक प्रतिसमरूपता एक प्रतिचित्र है जो गुणन के क्रम को बदलता है। औपचारिक रूप से, संरचनाओं <math>X</math> और <math>Y</math> के बीच एक प्रतिसमरूपता एक समरूपता <math>\phi\colon X \to Y^{\text{op}}</math> है, जहां <math>Y^{\text{op}}</math> एक समुच्चय के रूप में <math>Y</math> के बराबर है, लेकिन इसका गुणन <math>Y</math> पर परिभाषित के उत्क्रम     है। <math>Y</math> पर <math>\cdot</math> द्वारा (आम तौर पर अविनिमेय) गुणन को निर्दिष्ट करना, <math>Y^{\text{op}}</math> पर गुणन, द्वारा चिह्नित <math>*</math>, <math>x*y := y \cdot x</math> द्वारा परिभाषित किया गया है। वस्तु <math>Y^{\text{op}}</math> को <math>Y</math> (क्रमशः, [[विपरीत समूह]], [[विपरीत बीजगणित]], [[विपरीत श्रेणी]] आदि) के '''विपरीत वस्तु''' कहा जाता है।


यह परिभाषा समाकारिता के समतुल्य है <math>\phi\colon X^{\text{op}} \to Y</math> (नक्शा लागू करने से पहले या बाद में ऑपरेशन को उलट देना समतुल्य है)। औपचारिक रूप से, भेज रहा हूँ <math>X</math> को <math>X^{\text{op}}</math> और मानचित्रों पर पहचान के रूप में कार्य करना एक फ़नकार है (वास्तव में, एक इनवोल्यूशन (गणित))।
यह परिभाषा समरूपता के तुल्य है <math>\phi\colon X^{\text{op}} \to Y</math> (प्रतिचित्र लागू करने से पहले या बाद में प्रचालन को उत्क्रमित कर देना तुल्यमान है)। औपचारिक रूप से, <math>X</math> को <math>X^{\text{op}}</math> भेजना (सेन्डिंग) और प्रतिचित्रों पर सर्वसमिका के रूप में कार्य करना एक [[फलननिर्धारक]] (वास्तव में, एक [[अंतर्वलन]]) है।


== उदाहरण ==
== उदाहरण ==
[[समूह सिद्धांत]] में, एक एंटीहोमोमोर्फिज्म दो समूहों के बीच एक नक्शा है जो गुणन के क्रम को उलट देता है। तो यदि {{nowrap|''φ'' : ''X'' → ''Y''}} एक समूह प्रतिसमरूपता है,
[[समूह सिद्धांत]] में, एक प्रतिसमरूपता दो समूहों के बीच एक प्रतिचित्र है जो गुणन के क्रम को उत्क्रमित कर देता है। तो अगर {{nowrap|''φ'' : ''X'' → ''Y''}} एक समूह प्रतिसमरूपता है,
:φ(xy) = φ(y)φ(x)
:φ(xy) = φ(y)φ(x)
एक्स में सभी एक्स, वाई के लिए।
''X'' में सभी ''x'', ''y'' के लिए।


वह मानचित्र जो x को x भेजता है<sup>−1</sup> एक समूह एंटीऑटोमोर्फिज्म का एक उदाहरण है। एक अन्य महत्वपूर्ण उदाहरण रैखिक बीजगणित में [[ खिसकाना ]] ऑपरेशन है, जो पंक्ति वैक्टर को [[कॉलम वेक्टर]] में ले जाता है। किसी सदिश-मैट्रिक्स समीकरण को समतुल्य समीकरण में स्थानांतरित किया जा सकता है जहां कारकों का क्रम उलटा हो।
वह प्रतिचित्र जो ''x'' को ''x<sup>−1</sup>'' भेजता है, समूह एंटीऑटोमोर्फिज्म का एक उदाहरण है। एक अन्य महत्वपूर्ण उदाहरण [[रैखिक बीजगणित]] में [[ खिसकाना |परिवर्त]] प्रचालन है, जो पंक्‍ति सदिश को [[स्तंभ सदिश]] में ले जाता है। किसी सदिश-आव्यूह समीकरण को तुल्यमान समीकरण में परिवर्त किया जा सकता है जहां गुणकों का क्रम उत्क्रमित होता है।


मेट्रिसेस के साथ, ट्रांसपोज़ मैप द्वारा एंटीऑटोमोर्फिज़्म का एक उदाहरण दिया गया है। चूंकि व्युत्क्रम और ट्रांसपोज़िंग दोनों ही एंटीऑटोमोर्फिज़्म देते हैं, इसलिए उनकी रचना एक ऑटोमोर्फिज़्म है। इस समावेशन को अक्सर विरोधाभासी नक्शा कहा जाता है, और यह [[सामान्य रैखिक समूह]] के बाहरी ऑटोमोर्फिज्म का उदाहरण प्रदान करता है {{nowrap|GL(''n'', ''F'')}}, जहां F एक फ़ील्ड है, सिवाय इसके कि कब {{nowrap|1={{abs|''F''}} = 2}} और {{nowrap|1=''n'' = 1 or 2}}, या {{nowrap|1={{abs|''F''}} = 3}} और {{nowrap|1=''n'' = 1}} (यानी, समूहों के लिए {{nowrap|GL(1, 2)}}, {{nowrap|GL(2, 2)}}, और {{nowrap|GL(1, 3)}}).
आव्यूहों के साथ, परिवर्त प्रतिचित्र द्वारा एंटीऑटोमोर्फिज़्म का एक उदाहरण दिया गया है। चूंकि व्युत्क्रम और मैट्रिक्स परिवर्तन दोनों ही एंटीऑटोमोर्फिज़्म देते हैं, इसलिए उनका संयोजन एक ऑटोमोर्फिज़्म है। इस अंतर्वलन को अक्सर विरोधाभासी प्रतिचित्र कहा जाता है, और यह [[सामान्य रैखिक समूह]] {{nowrap|GL(''n'', ''F'')}} के बाहरी ऑटोमोर्फिज्म का एक उदाहरण प्रदान करता है, जहां F एक क्षेत्र है, सिवाय इसके कि जब {{nowrap|1={{abs|''F''}} = 2}} और {{nowrap|1=''n'' = 1 या 2}}, या {{nowrap|1={{abs|''F''}} = 3}} और {{nowrap|1=''n'' = 1}} (अर्थात, समूहों {{nowrap|GL(1, 2)}}, {{nowrap|GL(2, 2)}}, और {{nowrap|GL(1, 3)}} के लिए) |


[[ अंगूठी सिद्धांत ]] में, एक एंटीहोमोमोर्फिज्म दो रिंगों के बीच का एक नक्शा है जो जोड़ को संरक्षित करता है, लेकिन गुणन के क्रम को उलट देता है। इसलिए {{nowrap|''φ'' : ''X'' → ''Y''}} एक रिंग एंटीहोमोमोर्फिज्म है अगर और केवल अगर:
[[ अंगूठी सिद्धांत | रिंग सिद्धांत]] में, एक प्रतिसमरूपता दो रिंगों के बीच का एक प्रतिचित्र है जो योग को संरक्षित करता है, लेकिन गुणन के क्रम को उत्क्रमित कर देता है। अतः {{nowrap|''φ'' : ''X'' → ''Y''}} एक रिंग प्रतिसमरूपता है अगर और केवल अगर:
:φ(1) = 1
:φ(1) = 1
: φ(x + y) = φ(x) + φ(y)
: φ(x + y) = φ(x) + φ(y)
:φ(xy) = φ(y)φ(x)
:φ(xy) = φ(y)φ(x)
एक्स में सभी एक्स, वाई के लिए।<ref>{{cite book | title=अंगूठियों का सिद्धांत| series=Mathematical Surveys and Monographs | volume=2 | first=Nathan | last=Jacobson | authorlink=Nathan Jacobson | publisher=[[American Mathematical Society]] | year=1943 | isbn=0821815024 | page=[https://archive.org/details/theoryofrings0002jaco/page/16 16] | url=https://archive.org/details/theoryofrings0002jaco/page/16 }}</ref>
''X'' में सभी ''x, y'' के लिए।<ref>{{cite book | title=अंगूठियों का सिद्धांत| series=Mathematical Surveys and Monographs | volume=2 | first=Nathan | last=Jacobson | authorlink=Nathan Jacobson | publisher=[[American Mathematical Society]] | year=1943 | isbn=0821815024 | page=[https://archive.org/details/theoryofrings0002jaco/page/16 16] | url=https://archive.org/details/theoryofrings0002jaco/page/16 }}</ref>
फ़ील्ड K पर बीजगणित के लिए, φ अंतर्निहित सदिश स्थान का K-रैखिक मानचित्र होना चाहिए। यदि अंतर्निहित क्षेत्र में एक अंतर्वलन है, तो इसके बजाय φ को [[संयुग्म-रैखिक]] होने के लिए कहा जा सकता है, जैसा कि नीचे संयुग्मित संक्रमण में है।


=== निवेश ===
[[क्षेत्र]] K [[पर बीजगणित के लिए]], φ अंतर्निहित [[सदिश समष्टि]] का K-[[रैखिक प्रतिचित्र]] होना चाहिए। यदि अंतर्निहित क्षेत्र में एक अंतर्वलन है, तो इसके बजाय φ को [[संयुग्म-रैखिक]] होने के लिए कहा जा सकता है, जैसा कि नीचे संयुग्मित परिवर्त में है।
अक्सर ऐसा होता है कि एंटीऑटोमोर्फिज्म इनवोल्यूशन (गणित) हैं, यानी एंटीऑटोमोर्फिज्म का वर्ग पहचान कार्य है; इन्हें भी कहा जाता है{{visible anchor|involutive antiautomorphism}}एस। उदाहरण के लिए, किसी भी समूह में वह मानचित्र जो ''x'' को उसके व्युत्क्रम तत्व ''x'' पर भेजता है<sup>−1</sup> एक समावेशी एंटीऑटोमोर्फिज्म है।


एक अनैच्छिक एंटीऑटोमोर्फिज्म वाली अंगूठी को [[ *-अँगूठी ]] कहा जाता है, और *-बीजगणित # उदाहरण।
=== अंतर्वलन ===
अक्सर ऐसा होता है कि एंटीऑटोमोर्फिज्म अंतर्वलन होते हैं, यानी एंटीऑटोमोर्फिज्म का वर्ग [[तत्समक प्रतिचित्र]] होता है; इन्हें '''अंतर्वलन एंटीऑटोमॉर्फिज्म''' भी कहा जाता है। उदाहरण के लिए, किसी भी समूह में वह प्रतिचित्र जो ''x'' को उसके [[व्युत्क्रम]] ''x<sup>−1</sup>'' पर भेजता है, एक अंतर्वलन एंटीऑटोमोर्फिज्म है।
 
एक अंतर्वलन एंटीऑटोमोर्फिज्म वाली रिंग को [[ *-अँगूठी | *-रिंग]] कहा जाता है, और [[ये उदाहरणों का एक महत्वपूर्ण वर्ग बनाते हैं।]]


== गुण ==
== गुण ==
यदि स्रोत X या लक्ष्य Y क्रमविनिमेय है, तो एक [[समरूपता]]वाद एक समरूपता के समान है।
यदि स्रोत X या टार्गेट Y योग्यतानुपाती है, तो एक प्रतिसमरूपता एक [[समरूपता]] के समान है।


दो एंटीहोमोमोर्फिज्म की फ़ंक्शन संरचना हमेशा एक समरूपता होती है, क्योंकि क्रम को दो बार उलटने से क्रम बरकरार रहता है। एक होमोमोर्फिज्म के साथ एक एंटीहोमोमोर्फिज्म की रचना एक और एंटीहोमोमोर्फिज्म देती है।
दो प्रतिसमरूपता का [[संयोजन]] हमेशा एक समरूपता होता है, क्योंकि क्रम को दो बार उत्क्रम करने से क्रम संरक्षित रहता है। एक समरूपता के साथ एक प्रतिसमरूपता का [[संयोजन]] एक और प्रतिसमरूपता देता है।


== यह भी देखें ==
== यह भी देखें ==
* [[शामिल होने के साथ अर्धसमूह]]
* [[शामिल होने के साथ अर्धसमूह|अंतर्वलन के साथ अर्धसमूह]]


==संदर्भ==
==संदर्भ==
{{reflist}}
{{reflist}}
*{{MathWorld|title=Antihomomorphism|urlname=Antihomomorphism}}
*{{MathWorld|title=Antihomomorphism|urlname=Antihomomorphism}}
[[Category: रूपवाद]]


[[Category: Machine Translated Page]]
[[Category:Created On 26/05/2023]]
[[Category:Created On 26/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:रूपवाद]]

Latest revision as of 09:17, 15 June 2023


गणित में, एक प्रतिसमरूपता (एंटीहोमोमोर्फिज्म) एक प्रकार का फलन है जो गुणन के साथ समुच्चयों पर परिभाषित होता है जो गुणन के क्रम को उत्क्रमित कर देता है। एक एंटीऑटोमोर्फिज्म एक एकैकी आच्छादी प्रतिसमरूपता है, यानी एक एंटीसोमोर्फिज्म, एक समुच्चय से लेकर स्वयं तक है। एकैक आच्छादन से यह पता चलता है कि एंटीऑटोमोर्फिज्म में व्युत्क्रम होते हैं, और यह कि एंटीऑटोमोर्फिज्म का व्युत्क्रम भी एक एंटीऑटोमोर्फिज्म होता है।

परिभाषा

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

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

उदाहरण

समूह सिद्धांत में, एक प्रतिसमरूपता दो समूहों के बीच एक प्रतिचित्र है जो गुणन के क्रम को उत्क्रमित कर देता है। तो अगर φ : XY एक समूह प्रतिसमरूपता है,

φ(xy) = φ(y)φ(x)

X में सभी x, y के लिए।

वह प्रतिचित्र जो x को x−1 भेजता है, समूह एंटीऑटोमोर्फिज्म का एक उदाहरण है। एक अन्य महत्वपूर्ण उदाहरण रैखिक बीजगणित में परिवर्त प्रचालन है, जो पंक्‍ति सदिश को स्तंभ सदिश में ले जाता है। किसी सदिश-आव्यूह समीकरण को तुल्यमान समीकरण में परिवर्त किया जा सकता है जहां गुणकों का क्रम उत्क्रमित होता है।

आव्यूहों के साथ, परिवर्त प्रतिचित्र द्वारा एंटीऑटोमोर्फिज़्म का एक उदाहरण दिया गया है। चूंकि व्युत्क्रम और मैट्रिक्स परिवर्तन दोनों ही एंटीऑटोमोर्फिज़्म देते हैं, इसलिए उनका संयोजन एक ऑटोमोर्फिज़्म है। इस अंतर्वलन को अक्सर विरोधाभासी प्रतिचित्र कहा जाता है, और यह सामान्य रैखिक समूह GL(n, F) के बाहरी ऑटोमोर्फिज्म का एक उदाहरण प्रदान करता है, जहां F एक क्षेत्र है, सिवाय इसके कि जब |F| = 2 और n = 1 या 2, या |F| = 3 और n = 1 (अर्थात, समूहों GL(1, 2), GL(2, 2), और GL(1, 3) के लिए) |

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

φ(1) = 1
φ(x + y) = φ(x) + φ(y)
φ(xy) = φ(y)φ(x)

X में सभी x, y के लिए।[1]

क्षेत्र K पर बीजगणित के लिए, φ अंतर्निहित सदिश समष्टि का K-रैखिक प्रतिचित्र होना चाहिए। यदि अंतर्निहित क्षेत्र में एक अंतर्वलन है, तो इसके बजाय φ को संयुग्म-रैखिक होने के लिए कहा जा सकता है, जैसा कि नीचे संयुग्मित परिवर्त में है।

अंतर्वलन

अक्सर ऐसा होता है कि एंटीऑटोमोर्फिज्म अंतर्वलन होते हैं, यानी एंटीऑटोमोर्फिज्म का वर्ग तत्समक प्रतिचित्र होता है; इन्हें अंतर्वलन एंटीऑटोमॉर्फिज्म भी कहा जाता है। उदाहरण के लिए, किसी भी समूह में वह प्रतिचित्र जो x को उसके व्युत्क्रम x−1 पर भेजता है, एक अंतर्वलन एंटीऑटोमोर्फिज्म है।

एक अंतर्वलन एंटीऑटोमोर्फिज्म वाली रिंग को *-रिंग कहा जाता है, और ये उदाहरणों का एक महत्वपूर्ण वर्ग बनाते हैं।

गुण

यदि स्रोत X या टार्गेट Y योग्यतानुपाती है, तो एक प्रतिसमरूपता एक समरूपता के समान है।

दो प्रतिसमरूपता का संयोजन हमेशा एक समरूपता होता है, क्योंकि क्रम को दो बार उत्क्रम करने से क्रम संरक्षित रहता है। एक समरूपता के साथ एक प्रतिसमरूपता का संयोजन एक और प्रतिसमरूपता देता है।

यह भी देखें

संदर्भ

  1. Jacobson, Nathan (1943). अंगूठियों का सिद्धांत. Mathematical Surveys and Monographs. Vol. 2. American Mathematical Society. p. 16. ISBN 0821815024.