समतुल्य मानचित्र: Difference between revisions
(Created page with "{{short description|Maps whose domain and codomain are acted on by the same group, and the map commutes}} गणित में, समतुल्यता फ़ंक्...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{short description|Maps whose domain and codomain are acted on by the same group, and the map commutes}} | {{short description|Maps whose domain and codomain are acted on by the same group, and the map commutes}} | ||
गणित में, समतुल्यता [[फ़ंक्शन (गणित)]] के लिए | गणित में, समतुल्यता [[फ़ंक्शन (गणित)]] के लिए स्थान से दूसरे स्थान पर [[समरूपता]] के साथ समरूपता का रूप है (जैसे [[सममित स्थान]])। फ़ंक्शन को समतुल्य मानचित्र कहा जाता है जब इसका डोमेन और कोडोमेन ही [[समरूपता समूह]] द्वारा [[समूह क्रिया (गणित)]] होते हैं, और जब समूह की कार्रवाई के साथ फ़ंक्शन क्रमविनिमेय संपत्ति होती है। अर्थात्, समरूपता परिवर्तन को लागू करना और फिर फ़ंक्शन की गणना करना फ़ंक्शन की गणना करने और फिर परिवर्तन को लागू करने के समान परिणाम उत्पन्न करता है। | ||
समतुल्य मानचित्र [[अपरिवर्तनीय (गणित)]] की अवधारणा को सामान्यीकृत करते हैं, ऐसे कार्य जिनका मूल्य उनके तर्क के समरूपता परिवर्तन से अपरिवर्तित होता है। | समतुल्य मानचित्र [[अपरिवर्तनीय (गणित)]] की अवधारणा को सामान्यीकृत करते हैं, ऐसे कार्य जिनका मूल्य उनके तर्क के समरूपता परिवर्तन से अपरिवर्तित होता है। समतुल्य मानचित्र के मान को अक्सर (अस्पष्ट रूप से) अपरिवर्तनीय कहा जाता है। | ||
सांख्यिकीय अनुमान में, डेटा के सांख्यिकीय परिवर्तनों के तहत समतुल्यता विभिन्न अनुमान विधियों की | सांख्यिकीय अनुमान में, डेटा के सांख्यिकीय परिवर्तनों के तहत समतुल्यता विभिन्न अनुमान विधियों की महत्वपूर्ण संपत्ति है; विवरण के लिए [[अपरिवर्तनीय अनुमानक]] देखें। शुद्ध गणित में, समतुल्यता समवर्ती टोपोलॉजी और इसके उपविषयों समवर्ती कोहोलॉजी और समवर्ती स्थिर होमोटॉपी सिद्धांत में अध्ययन का केंद्रीय उद्देश्य है। | ||
==उदाहरण== | ==उदाहरण== | ||
===प्राथमिक ज्यामिति=== | ===प्राथमिक ज्यामिति=== | ||
[[File:Triangle.Centroid.svg|thumb|एक त्रिभुज का केन्द्रक (जहाँ तीन लाल खंड मिलते हैं) [[एफ़िन परिवर्तन]]ों के तहत समतुल्य होता है: | [[File:Triangle.Centroid.svg|thumb|एक त्रिभुज का केन्द्रक (जहाँ तीन लाल खंड मिलते हैं) [[एफ़िन परिवर्तन]]ों के तहत समतुल्य होता है: परिवर्तित त्रिभुज का केन्द्रक त्रिभुज के केन्द्रक के परिवर्तन के समान बिंदु होता है।]]त्रिभुजों की ज्यामिति में, त्रिभुज का [[क्षेत्र]]फल और परिधि अपरिवर्तनीय होती है: किसी त्रिभुज का अनुवाद करने या घुमाने से उसका क्षेत्रफल या परिधि नहीं बदलती है। हालाँकि, त्रिभुज केंद्र जैसे कि [[केन्द्रक]], परिकेंद्र, अंतकेंद्र और लंबकेंद्र अपरिवर्तनीय नहीं हैं, क्योंकि त्रिभुज के हिलने से उसके केंद्र भी हिल जाएंगे। इसके बजाय, ये केंद्र समतुल्य हैं: किसी भी यूक्लिडियन [[सर्वांगसमता (ज्यामिति)]] (अनुवाद और घूर्णन का संयोजन) को त्रिभुज में लागू करना, और फिर उसके केंद्र का निर्माण करना, पहले केंद्र के निर्माण के समान बिंदु उत्पन्न करता है, और फिर उसी सर्वांगसमता को लागू करना बीच में। अधिक सामान्यतः, सभी त्रिभुज केंद्र [[समानता (ज्यामिति)]] (अनुवाद, घूर्णन और स्केलिंग के संयोजन) के अंतर्गत भी समतुल्य होते हैं।<ref>{{citation | ||
| last = Kimberling | first = Clark | authorlink = Clark Kimberling | | last = Kimberling | first = Clark | authorlink = Clark Kimberling | ||
| issue = 3 | | issue = 3 | ||
| Line 31: | Line 31: | ||
| issue = 4 | | issue = 4 | ||
| doi = 10.1112/jlms/s1-14.4.262 }}.</ref> | | doi = 10.1112/jlms/s1-14.4.262 }}.</ref> | ||
एक ही फ़ंक्शन समरूपता के | एक ही फ़ंक्शन समरूपता के समूह के लिए अपरिवर्तनीय और समरूपता के अलग समूह के लिए समतुल्य हो सकता है। उदाहरण के लिए, सर्वांगसमताओं के बजाय समानता परिवर्तनों के तहत क्षेत्र और परिधि अब अपरिवर्तनीय नहीं हैं: त्रिभुज को स्केल करने से इसका क्षेत्र और परिधि भी बदल जाती है। हालाँकि, ये परिवर्तन पूर्वानुमेय तरीके से होते हैं: यदि त्रिभुज को कारक द्वारा मापा जाता है {{mvar|s}}, परिधि भी मापती है {{mvar|s}} और क्षेत्र का माप होता है {{math|''s''<sup>2</sup>}}. इस तरह, प्रत्येक त्रिभुज को उसके क्षेत्रफल या परिधि पर मैप करने वाले फ़ंक्शन को सकारात्मक वास्तविक संख्याओं पर स्केलिंग परिवर्तनों की गुणक समूह कार्रवाई के लिए समतुल्य के रूप में देखा जा सकता है। | ||
===सांख्यिकी=== | ===सांख्यिकी=== | ||
सरल उदाहरणों का | सरल उदाहरणों का अन्य वर्ग [[सांख्यिकीय अनुमान]] से आता है। किसी नमूने का माध्य (वास्तविक संख्याओं का सेट) आमतौर पर नमूने की [[केंद्रीय प्रवृत्ति]] के रूप में उपयोग किया जाता है। यह वास्तविक संख्याओं के रैखिक फ़ंक्शन (कैलकुलस) के तहत समतुल्य है, उदाहरण के लिए, यह संख्याओं का प्रतिनिधित्व करने के लिए उपयोग की जाने वाली इकाइयों की पसंद से अप्रभावित है। इसके विपरीत, घातांक जैसे अरैखिक परिवर्तनों के संबंध में माध्य समतुल्य नहीं है। | ||
एक नमूने का माध्यिका परिवर्तनों के | एक नमूने का माध्यिका परिवर्तनों के बहुत बड़े समूह, वास्तविक संख्याओं के (सख्ती से) मोनोटोनिक कार्यों के लिए समतुल्य है। यह विश्लेषण इंगित करता है कि डेटा सेट में कुछ प्रकार के परिवर्तनों के विरुद्ध माध्यिका अधिक [[मजबूत आँकड़े]] हैं, और (माध्य के विपरीत) यह [[क्रमिक डेटा]] के लिए सार्थक है।<ref>{{citation|title=Measurement theory: Frequently asked questions (Version 3)|date=September 14, 1997|publisher=SAS Institute Inc.|url=http://www.medicine.mcgill.ca/epidemiology/courses/EPIB654/Summer2010/EF/measurement%20scales.pdf|first=Warren S.|last=Sarle}}. Revision of a chapter in ''Disseminations of the International Statistical Applications Institute'' (4th ed.), vol. 1, 1995, Wichita: ACG Press, pp. 61–66.</ref> | ||
विश्लेषण की इस शैली को औपचारिक बनाने के लिए | विश्लेषण की इस शैली को औपचारिक बनाने के लिए अपरिवर्तनीय अनुमानक और समतुल्य अनुमानक की अवधारणाओं का उपयोग किया गया है। | ||
===प्रतिनिधित्व सिद्धांत=== | ===प्रतिनिधित्व सिद्धांत=== | ||
{{See also|Representation theory#Equivariant maps and isomorphisms}} | {{See also|Representation theory#Equivariant maps and isomorphisms}} | ||
परिमित समूहों के प्रतिनिधित्व सिद्धांत में, | परिमित समूहों के प्रतिनिधित्व सिद्धांत में, समूह से सुसज्जित सदिश स्थान जो अंतरिक्ष के रैखिक परिवर्तनों द्वारा कार्य करता है, समूह का [[रैखिक प्रतिनिधित्व]] कहलाता है। | ||
एक [[रेखीय मानचित्र]] जो क्रिया के साथ चलता है उसे इंटरट्विनर कहा जाता है। अर्थात्, | एक [[रेखीय मानचित्र]] जो क्रिया के साथ चलता है उसे इंटरट्विनर कहा जाता है। अर्थात्, इंटरट्विनर दो अभ्यावेदन के बीच समतुल्य रेखीय मानचित्र मात्र है। वैकल्पिक रूप से, समूह के प्रतिनिधित्व के लिए इंटरट्विनर {{mvar|G}} क्षेत्र पर (गणित) {{mvar|K}} [[मॉड्यूल (गणित)]] के समान ही है {{math|''K''[''G'']}}-मॉड्यूल (गणित), जहां {{math|''K''[''G'']}} G का समूह वलय है।<ref>{{citation | ||
| last1 = Fuchs | first1 = Jürgen | | last1 = Fuchs | first1 = Jürgen | ||
| last2 = Schweigert | first2 = Christoph | | last2 = Schweigert | first2 = Christoph | ||
| Line 54: | Line 54: | ||
| url = https://books.google.com/books?id=B_JQryjNYyAC&pg=PA70 | | url = https://books.google.com/books?id=B_JQryjNYyAC&pg=PA70 | ||
| year = 1997}}.</ref> | | year = 1997}}.</ref> | ||
कुछ शर्तों के तहत, यदि वह अंतर्संबंध तब | कुछ शर्तों के तहत, यदि वह अंतर्संबंध तब गुणक कारक (एक गैर-शून्य [[अदिश (गणित)]] से) [[तक]] अद्वितीय होता है {{mvar|K}}). ये गुण तब धारण करते हैं जब की छवि {{math|''K''[''G'']}} केंद्र सहित सरल बीजगणित है {{mvar|K}} (जिसे शूर्स लेम्मा कहा जाता है: [[सरल मॉड्यूल]] देखें)। परिणामस्वरूप, महत्वपूर्ण मामलों में इंटरट्विनर का निर्माण यह दिखाने के लिए पर्याप्त है कि प्रतिनिधित्व प्रभावी रूप से समान हैं।<ref>{{citation | ||
| last1 = Sexl | first1 = Roman U. | | last1 = Sexl | first1 = Roman U. | ||
| last2 = Urbantke | first2 = Helmuth K. | | last2 = Urbantke | first2 = Helmuth K. | ||
| Line 67: | Line 67: | ||
| url = https://books.google.com/books?id=iyj0CAAAQBAJ&pg=PA165 | | url = https://books.google.com/books?id=iyj0CAAAQBAJ&pg=PA165 | ||
| year = 2001}}.</ref> | | year = 2001}}.</ref> | ||
==औपचारिकीकरण== | ==औपचारिकीकरण== | ||
समूह क्रिया (गणित) की अवधारणा का उपयोग करके समतुल्यता को औपचारिक रूप दिया जा सकता है{{mvar|G}}-एक समूह के लिए सेट (गणित) {{mvar|G}}. यह | समूह क्रिया (गणित) की अवधारणा का उपयोग करके समतुल्यता को औपचारिक रूप दिया जा सकता है{{mvar|G}}-एक समूह के लिए सेट (गणित) {{mvar|G}}. यह गणितीय वस्तु है जिसमें [[सेट (गणित)]] शामिल है {{mvar|S}} और समूह क्रिया (गणित) (बाईं ओर)। {{mvar|G}} पर {{mvar|S}}. | ||
अगर {{mvar|X}} और {{mvar|Y}} दोनों {{mvar|G}}-एक ही समूह के लिए सेट {{mvar|G}}, फिर | अगर {{mvar|X}} और {{mvar|Y}} दोनों {{mvar|G}}-एक ही समूह के लिए सेट {{mvar|G}}, फिर फ़ंक्शन {{math|''f'' : ''X'' → ''Y''}} को समतुल्य कहा जाता है यदि | ||
:{{math|1=''f''(''g''·''x'') = ''g''·''f''(''x'')}} | :{{math|1=''f''(''g''·''x'') = ''g''·''f''(''x'')}} | ||
सभी के लिए {{math|''g'' ∈ ''G''}} और सभी {{math|''x'' in ''X''}}.<ref>{{citation|title=Nominal Sets: Names and Symmetry in Computer Science|volume=57|series=Cambridge Tracts in Theoretical Computer Science|first=Andrew M.|last=Pitts|publisher=Cambridge University Press|year=2013|isbn=9781107244689|url=https://books.google.com/books?id=VVehscCSPh8C&pg=PA14|at=Definition 1.2, p. 14}}.</ref> | सभी के लिए {{math|''g'' ∈ ''G''}} और सभी {{math|''x'' in ''X''}}.<ref>{{citation|title=Nominal Sets: Names and Symmetry in Computer Science|volume=57|series=Cambridge Tracts in Theoretical Computer Science|first=Andrew M.|last=Pitts|publisher=Cambridge University Press|year=2013|isbn=9781107244689|url=https://books.google.com/books?id=VVehscCSPh8C&pg=PA14|at=Definition 1.2, p. 14}}.</ref> | ||
यदि | यदि या दोनों क्रियाएं सही क्रियाएं हैं तो समतुल्य स्थिति को उपयुक्त रूप से संशोधित किया जा सकता है: | ||
:{{math|1=''f''(''x''·''g'') = ''f''(''x'')·''g''}}; (सही सही) | :{{math|1=''f''(''x''·''g'') = ''f''(''x'')·''g''}}; (सही सही) | ||
:{{math|1=''f''(''x''·''g'') = ''g''<sup>−1</sup>·''f''(''x'')}}; (दाएं से बाएं) | :{{math|1=''f''(''x''·''g'') = ''g''<sup>−1</sup>·''f''(''x'')}}; (दाएं से बाएं) | ||
| Line 99: | Line 97: | ||
| year = 2014}}.</ref> जी-सेट की समरूपताएं केवल विशेषण समतुल्य मानचित्र हैं।<ref name="grm"/> | | year = 2014}}.</ref> जी-सेट की समरूपताएं केवल विशेषण समतुल्य मानचित्र हैं।<ref name="grm"/> | ||
समतुल्य स्थिति को निम्नलिखित [[क्रमविनिमेय आरेख]] के रूप में भी समझा जा सकता है। ध्यान दें कि <math>g\cdot</math> उस मानचित्र को दर्शाता है जो | समतुल्य स्थिति को निम्नलिखित [[क्रमविनिमेय आरेख]] के रूप में भी समझा जा सकता है। ध्यान दें कि <math>g\cdot</math> उस मानचित्र को दर्शाता है जो तत्व लेता है <math>z</math> और लौट आता है <math>g\cdot z</math>. | ||
[[Image:equivariant commutative diagram.png|center|175px]] | [[Image:equivariant commutative diagram.png|center|175px]] | ||
| Line 105: | Line 103: | ||
==सामान्यीकरण== | ==सामान्यीकरण== | ||
{{See also|Representation theory#Generalizations|Category of representations#Category-theoretic definition}} | {{See also|Representation theory#Generalizations|Category of representations#Category-theoretic definition}} | ||
समतुल्य मानचित्रों को सीधे तरीके से मनमानी श्रेणी (गणित) में सामान्यीकृत किया जा सकता है। प्रत्येक समूह G को ही वस्तु वाली श्रेणी के रूप में देखा जा सकता है (इस श्रेणी में आकारिकी केवल G के तत्व हैं)। मनमानी श्रेणी सी को देखते हुए, श्रेणी सी में जी का प्रतिनिधित्व जी से सी तक फ़नकार है। ऐसा फ़नकार सी की वस्तु और उस वस्तु के [[आकारिता]] के [[उपसमूह]] का चयन करता है। उदाहरण के लिए, जी-सेट, जी से [[सेट की श्रेणी]], 'सेट' के लिए [[ऑपरेटर]] के बराबर है, और रैखिक प्रतिनिधित्व फ़ील्ड, 'वेक्ट' पर वेक्टर रिक्त स्थान की श्रेणी के लिए फ़ैक्टर के बराबर है।<sub>''K''</sub>. | |||
समतुल्य मानचित्रों को सीधे तरीके से मनमानी श्रेणी (गणित) में सामान्यीकृत किया जा सकता है। प्रत्येक समूह G को | |||
C में G के दो अभ्यावेदन, ρ और σ को देखते हुए, उन अभ्यावेदन के बीच | C में G के दो अभ्यावेदन, ρ और σ को देखते हुए, उन अभ्यावेदन के बीच समतुल्य मानचित्र ρ से σ तक [[प्राकृतिक परिवर्तन]] है। प्राकृतिक परिवर्तनों को रूपवाद के रूप में उपयोग करके, कोई C में G के सभी अभ्यावेदन की श्रेणी बना सकता है। यह केवल फ़ंक्टर श्रेणी C है<sup>जी</sup> | ||
दूसरे उदाहरण के लिए, [[टोपोलॉजिकल स्पेस]] की श्रेणी सी = 'टॉप' लें। 'टॉप' में जी का प्रतिनिधित्व | दूसरे उदाहरण के लिए, [[टोपोलॉजिकल स्पेस]] की श्रेणी सी = 'टॉप' लें। 'टॉप' में जी का प्रतिनिधित्व टोपोलॉजिकल स्पेस है जिस पर जी निरंतर कार्य करता है। समतुल्य मानचित्र तब अभ्यावेदन के बीच सतत मानचित्र f : X → Y होता है जो G की क्रिया के साथ परिवर्तित होता है। | ||
==यह भी देखें== | ==यह भी देखें== | ||
*कर्टिस-हेडलंड-लिंडन प्रमेय, समतुल्य मानचित्रों के संदर्भ में [[सेल्यूलर आटोमेटा]] का | *कर्टिस-हेडलंड-लिंडन प्रमेय, समतुल्य मानचित्रों के संदर्भ में [[सेल्यूलर आटोमेटा]] का लक्षण वर्णन | ||
==संदर्भ== | ==संदर्भ== | ||
Revision as of 12:47, 8 July 2023
गणित में, समतुल्यता फ़ंक्शन (गणित) के लिए स्थान से दूसरे स्थान पर समरूपता के साथ समरूपता का रूप है (जैसे सममित स्थान)। फ़ंक्शन को समतुल्य मानचित्र कहा जाता है जब इसका डोमेन और कोडोमेन ही समरूपता समूह द्वारा समूह क्रिया (गणित) होते हैं, और जब समूह की कार्रवाई के साथ फ़ंक्शन क्रमविनिमेय संपत्ति होती है। अर्थात्, समरूपता परिवर्तन को लागू करना और फिर फ़ंक्शन की गणना करना फ़ंक्शन की गणना करने और फिर परिवर्तन को लागू करने के समान परिणाम उत्पन्न करता है।
समतुल्य मानचित्र अपरिवर्तनीय (गणित) की अवधारणा को सामान्यीकृत करते हैं, ऐसे कार्य जिनका मूल्य उनके तर्क के समरूपता परिवर्तन से अपरिवर्तित होता है। समतुल्य मानचित्र के मान को अक्सर (अस्पष्ट रूप से) अपरिवर्तनीय कहा जाता है।
सांख्यिकीय अनुमान में, डेटा के सांख्यिकीय परिवर्तनों के तहत समतुल्यता विभिन्न अनुमान विधियों की महत्वपूर्ण संपत्ति है; विवरण के लिए अपरिवर्तनीय अनुमानक देखें। शुद्ध गणित में, समतुल्यता समवर्ती टोपोलॉजी और इसके उपविषयों समवर्ती कोहोलॉजी और समवर्ती स्थिर होमोटॉपी सिद्धांत में अध्ययन का केंद्रीय उद्देश्य है।
उदाहरण
प्राथमिक ज्यामिति
त्रिभुजों की ज्यामिति में, त्रिभुज का क्षेत्रफल और परिधि अपरिवर्तनीय होती है: किसी त्रिभुज का अनुवाद करने या घुमाने से उसका क्षेत्रफल या परिधि नहीं बदलती है। हालाँकि, त्रिभुज केंद्र जैसे कि केन्द्रक, परिकेंद्र, अंतकेंद्र और लंबकेंद्र अपरिवर्तनीय नहीं हैं, क्योंकि त्रिभुज के हिलने से उसके केंद्र भी हिल जाएंगे। इसके बजाय, ये केंद्र समतुल्य हैं: किसी भी यूक्लिडियन सर्वांगसमता (ज्यामिति) (अनुवाद और घूर्णन का संयोजन) को त्रिभुज में लागू करना, और फिर उसके केंद्र का निर्माण करना, पहले केंद्र के निर्माण के समान बिंदु उत्पन्न करता है, और फिर उसी सर्वांगसमता को लागू करना बीच में। अधिक सामान्यतः, सभी त्रिभुज केंद्र समानता (ज्यामिति) (अनुवाद, घूर्णन और स्केलिंग के संयोजन) के अंतर्गत भी समतुल्य होते हैं।[1]
और केन्द्रक एफ़िन ट्रांसफ़ॉर्मेशन के तहत समतुल्य है।[2] एक ही फ़ंक्शन समरूपता के समूह के लिए अपरिवर्तनीय और समरूपता के अलग समूह के लिए समतुल्य हो सकता है। उदाहरण के लिए, सर्वांगसमताओं के बजाय समानता परिवर्तनों के तहत क्षेत्र और परिधि अब अपरिवर्तनीय नहीं हैं: त्रिभुज को स्केल करने से इसका क्षेत्र और परिधि भी बदल जाती है। हालाँकि, ये परिवर्तन पूर्वानुमेय तरीके से होते हैं: यदि त्रिभुज को कारक द्वारा मापा जाता है s, परिधि भी मापती है s और क्षेत्र का माप होता है s2. इस तरह, प्रत्येक त्रिभुज को उसके क्षेत्रफल या परिधि पर मैप करने वाले फ़ंक्शन को सकारात्मक वास्तविक संख्याओं पर स्केलिंग परिवर्तनों की गुणक समूह कार्रवाई के लिए समतुल्य के रूप में देखा जा सकता है।
सांख्यिकी
सरल उदाहरणों का अन्य वर्ग सांख्यिकीय अनुमान से आता है। किसी नमूने का माध्य (वास्तविक संख्याओं का सेट) आमतौर पर नमूने की केंद्रीय प्रवृत्ति के रूप में उपयोग किया जाता है। यह वास्तविक संख्याओं के रैखिक फ़ंक्शन (कैलकुलस) के तहत समतुल्य है, उदाहरण के लिए, यह संख्याओं का प्रतिनिधित्व करने के लिए उपयोग की जाने वाली इकाइयों की पसंद से अप्रभावित है। इसके विपरीत, घातांक जैसे अरैखिक परिवर्तनों के संबंध में माध्य समतुल्य नहीं है।
एक नमूने का माध्यिका परिवर्तनों के बहुत बड़े समूह, वास्तविक संख्याओं के (सख्ती से) मोनोटोनिक कार्यों के लिए समतुल्य है। यह विश्लेषण इंगित करता है कि डेटा सेट में कुछ प्रकार के परिवर्तनों के विरुद्ध माध्यिका अधिक मजबूत आँकड़े हैं, और (माध्य के विपरीत) यह क्रमिक डेटा के लिए सार्थक है।[3] विश्लेषण की इस शैली को औपचारिक बनाने के लिए अपरिवर्तनीय अनुमानक और समतुल्य अनुमानक की अवधारणाओं का उपयोग किया गया है।
प्रतिनिधित्व सिद्धांत
परिमित समूहों के प्रतिनिधित्व सिद्धांत में, समूह से सुसज्जित सदिश स्थान जो अंतरिक्ष के रैखिक परिवर्तनों द्वारा कार्य करता है, समूह का रैखिक प्रतिनिधित्व कहलाता है। एक रेखीय मानचित्र जो क्रिया के साथ चलता है उसे इंटरट्विनर कहा जाता है। अर्थात्, इंटरट्विनर दो अभ्यावेदन के बीच समतुल्य रेखीय मानचित्र मात्र है। वैकल्पिक रूप से, समूह के प्रतिनिधित्व के लिए इंटरट्विनर G क्षेत्र पर (गणित) K मॉड्यूल (गणित) के समान ही है K[G]-मॉड्यूल (गणित), जहां K[G] G का समूह वलय है।[4] कुछ शर्तों के तहत, यदि वह अंतर्संबंध तब गुणक कारक (एक गैर-शून्य अदिश (गणित) से) तक अद्वितीय होता है K). ये गुण तब धारण करते हैं जब की छवि K[G] केंद्र सहित सरल बीजगणित है K (जिसे शूर्स लेम्मा कहा जाता है: सरल मॉड्यूल देखें)। परिणामस्वरूप, महत्वपूर्ण मामलों में इंटरट्विनर का निर्माण यह दिखाने के लिए पर्याप्त है कि प्रतिनिधित्व प्रभावी रूप से समान हैं।[5]
औपचारिकीकरण
समूह क्रिया (गणित) की अवधारणा का उपयोग करके समतुल्यता को औपचारिक रूप दिया जा सकता हैG-एक समूह के लिए सेट (गणित) G. यह गणितीय वस्तु है जिसमें सेट (गणित) शामिल है S और समूह क्रिया (गणित) (बाईं ओर)। G पर S. अगर X और Y दोनों G-एक ही समूह के लिए सेट G, फिर फ़ंक्शन f : X → Y को समतुल्य कहा जाता है यदि
- f(g·x) = g·f(x)
सभी के लिए g ∈ G और सभी x in X.[6] यदि या दोनों क्रियाएं सही क्रियाएं हैं तो समतुल्य स्थिति को उपयुक्त रूप से संशोधित किया जा सकता है:
- f(x·g) = f(x)·g; (सही सही)
- f(x·g) = g−1·f(x); (दाएं से बाएं)
- f(g·x) = f(x)·g−1; (बाएँ दांए)
समतुल्य मानचित्र जी-सेट (एक निश्चित जी के लिए) की श्रेणी (गणित) में समरूपताएं हैं।[7] इसलिए उन्हें जी-रूपवाद के रूप में भी जाना जाता है,[7]जी-मानचित्र,[8] या जी-समरूपता।[9] जी-सेट की समरूपताएं केवल विशेषण समतुल्य मानचित्र हैं।[7]
समतुल्य स्थिति को निम्नलिखित क्रमविनिमेय आरेख के रूप में भी समझा जा सकता है। ध्यान दें कि उस मानचित्र को दर्शाता है जो तत्व लेता है और लौट आता है .
सामान्यीकरण
समतुल्य मानचित्रों को सीधे तरीके से मनमानी श्रेणी (गणित) में सामान्यीकृत किया जा सकता है। प्रत्येक समूह G को ही वस्तु वाली श्रेणी के रूप में देखा जा सकता है (इस श्रेणी में आकारिकी केवल G के तत्व हैं)। मनमानी श्रेणी सी को देखते हुए, श्रेणी सी में जी का प्रतिनिधित्व जी से सी तक फ़नकार है। ऐसा फ़नकार सी की वस्तु और उस वस्तु के आकारिता के उपसमूह का चयन करता है। उदाहरण के लिए, जी-सेट, जी से सेट की श्रेणी, 'सेट' के लिए ऑपरेटर के बराबर है, और रैखिक प्रतिनिधित्व फ़ील्ड, 'वेक्ट' पर वेक्टर रिक्त स्थान की श्रेणी के लिए फ़ैक्टर के बराबर है।K.
C में G के दो अभ्यावेदन, ρ और σ को देखते हुए, उन अभ्यावेदन के बीच समतुल्य मानचित्र ρ से σ तक प्राकृतिक परिवर्तन है। प्राकृतिक परिवर्तनों को रूपवाद के रूप में उपयोग करके, कोई C में G के सभी अभ्यावेदन की श्रेणी बना सकता है। यह केवल फ़ंक्टर श्रेणी C हैजी
दूसरे उदाहरण के लिए, टोपोलॉजिकल स्पेस की श्रेणी सी = 'टॉप' लें। 'टॉप' में जी का प्रतिनिधित्व टोपोलॉजिकल स्पेस है जिस पर जी निरंतर कार्य करता है। समतुल्य मानचित्र तब अभ्यावेदन के बीच सतत मानचित्र f : X → Y होता है जो G की क्रिया के साथ परिवर्तित होता है।
यह भी देखें
- कर्टिस-हेडलंड-लिंडन प्रमेय, समतुल्य मानचित्रों के संदर्भ में सेल्यूलर आटोमेटा का लक्षण वर्णन
संदर्भ
- ↑ Kimberling, Clark (1994), "Central Points and Central Lines in the Plane of a Triangle", Mathematics Magazine, 67 (3): 163–187, doi:10.2307/2690608, JSTOR 2690608, MR 1573021. "Similar triangles have similarly situated centers", p. 164.
- ↑ The centroid is the only affine equivariant center of a triangle, but more general convex bodies can have other affine equivariant centers; see e.g. Neumann, B. H. (1939), "On some affine invariants of closed convex regions", Journal of the London Mathematical Society, Second Series, 14 (4): 262–272, doi:10.1112/jlms/s1-14.4.262, MR 0000978.
- ↑ Sarle, Warren S. (September 14, 1997), Measurement theory: Frequently asked questions (Version 3) (PDF), SAS Institute Inc.. Revision of a chapter in Disseminations of the International Statistical Applications Institute (4th ed.), vol. 1, 1995, Wichita: ACG Press, pp. 61–66.
- ↑ Fuchs, Jürgen; Schweigert, Christoph (1997), Symmetries, Lie algebras and representations: A graduate course for physicists, Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, p. 70, ISBN 0-521-56001-2, MR 1473220.
- ↑ Sexl, Roman U.; Urbantke, Helmuth K. (2001), Relativity, groups, particles: Special relativity and relativistic symmetry in field and particle physics, Springer Physics, Vienna: Springer-Verlag, p. 165, doi:10.1007/978-3-7091-6234-7, ISBN 3-211-83443-5, MR 1798479.
- ↑ Pitts, Andrew M. (2013), Nominal Sets: Names and Symmetry in Computer Science, Cambridge Tracts in Theoretical Computer Science, vol. 57, Cambridge University Press, Definition 1.2, p. 14, ISBN 9781107244689.
- ↑ 7.0 7.1 7.2 Auslander, Maurice; Buchsbaum, David (2014), Groups, Rings, Modules, Dover Books on Mathematics, Dover Publications, pp. 86–87, ISBN 9780486490823.
- ↑ Segal, G. B. (1971), "Equivariant stable homotopy theory", Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 2, Gauthier-Villars, Paris, pp. 59–63, MR 0423340.
- ↑ Adhikari, Mahima Ranjan; Adhikari, Avishek (2014), Basic modern algebra with applications, New Delhi: Springer, p. 142, doi:10.1007/978-81-322-1599-8, ISBN 978-81-322-1598-1, MR 3155599.
