गणित में समरूपता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 21: Line 21:
f(x) = f(-x)
f(x) = f(-x)
</math>
</math>
ज्यामितीय रूप से बोलते हुए, सम फ़ंक्शन का ग्राफ़ चेहरा वाई-अक्ष के संबंध में समरूपता है, जिसका अर्थ है कि फ़ंक्शन का ग्राफ़ वाई-अक्ष के बारे में [[प्रतिबिंब (गणित)]] के बाद अपरिवर्तित रहता है। सम कार्यों के उदाहरणों में सम्मिलित हैं {{math|[[Absolute value|{{!}}''x''{{!}}]]}}, एक्स<sup>2</सुप>, एक्स<sup>4</sup>, त्रिकोणमितीय फलन(x), और अतिपरवलयिक फलन(x)
ज्यामितीय रूप से बोलते हुए, सम कार्य का ग्राफ़ चेहरा वाई-अक्ष के संबंध में समरूपता है, जिसका अर्थ है कि कार्य का ग्राफ़ वाई-अक्ष के बारे में [[प्रतिबिंब (गणित)]] के बाद अपरिवर्तित रहता है। सम कार्यों के उदाहरणों में |''x''|, ''x''<sup>2</sup>, ''x''<sup>4</sup>, cos(''x''), and cosh(''x''). सम्मिलित हैं


==== विषम कार्य ====
==== विषम कार्य ====
फ़ाइल: फ़ंक्शन x^3.svg|right|thumb|{{nowrap|''&fnof;''(''x'') {{=}} ''x''<sup>3</sup>}} विषम फलन का उदाहरण है।
फिर से, f को एक वास्तविक चर का वास्तविक-मूल्यवान कार्य होने दें, फिर f विषम है यदि निम्न समीकरण f के डोमेन में सभी x और -x के लिए है:
फिर से, f को वास्तविक चर का वास्तविक संख्या-मूल्यवान कार्य होने दें, फिर f 'विषम' है यदि निम्न समीकरण f के डोमेन में सभी x और -x के लिए है:


:<math>
:<math>
Line 35: Line 34:
f(x) + f(-x) = 0 \, .
f(x) + f(-x) = 0 \, .
</math>
</math>
ज्यामितीय रूप से, विषम फ़ंक्शन के ग्राफ़ में [[उत्पत्ति (गणित)]] के संबंध में घूर्णी समरूपता होती है, जिसका अर्थ है कि किसी फ़ंक्शन का ग्राफ़ मूल के बारे में 180 [[डिग्री (कोण)]] के [[समन्वय रोटेशन]] के बाद अपरिवर्तित रहता है। विषम कार्यों के उदाहरण x, x हैं<sup>3</sup>, साइन(x), हाइपरबोलिक फ़ंक्शन(x), और [[त्रुटि समारोह]](x)
ज्यामितीय रूप से, एक विषम कार्य के ग्राफ़ में मूल के संबंध में घूर्णी समरूपता होती है, जिसका अर्थ है कि इसका ग्राफ़ मूल के बारे में 180 डिग्री के घूर्णन के बाद अपरिवर्तित रहता है। विषम कार्यों के उदाहरण ''x'', ''x''<sup>3</sup>, sin(''x''), sinh(''x''), and erf(''x''). हैं।


=== एकीकृत ===
=== एकीकृत ===
−A से +A तक के विषम फलन का समाकल शून्य होता है, बशर्ते कि A परिमित हो और फलन समाकलनीय हो (उदाहरण के लिए, −A और A के बीच कोई उर्ध्वाधर स्पर्शोन्मुख नहीं है)।<ref name="Weisstein">{{Cite web|url=http://mathworld.wolfram.com/OddFunction.html|title=पुराना फंक्शन|last=Weisstein|first=Eric W.|website=mathworld.wolfram.com|language=en|access-date=2019-12-06}}</ref>
−A से +A तक के विषम फलन का समाकल शून्य होता है, परंतु कि A परिमित हो और फलन समाकलनीय हो (उदाहरण के लिए, −A और A के बीच कोई उर्ध्वाधर स्पर्शोन्मुख नहीं है)।<ref name="Weisstein">{{Cite web|url=http://mathworld.wolfram.com/OddFunction.html|title=पुराना फंक्शन|last=Weisstein|first=Eric W.|website=mathworld.wolfram.com|language=en|access-date=2019-12-06}}</ref>
−A से +A तक सम फलन का समाकल 0 से +A तक का समाकलन का दुगुना है, बशर्ते कि A परिमित हो और फलन समाकलनीय हो (उदाहरण के लिए, -A और A के बीच कोई उर्ध्वाधर स्पर्शोन्मुख नहीं है)।<ref name="Weisstein"/>यह तब भी सत्य है जब A अनंत है, लेकिन केवल तभी जब अभिन्न अभिसरण होता है।
 
−A से +A तक सम फलन का समाकल 0 से +A तक का समाकलन का दुगुना है, परंतु कि A परिमित हो और फलन समाकलनीय हो (उदाहरण के लिए, -A और A के बीच कोई उर्ध्वाधर स्पर्शोन्मुख नहीं है)।<ref name="Weisstein" /> यह तब भी सत्य है जब A अनंत है, किंतु केवल तभी जब अभिन्न अभिसरण होता है।


=== श्रृंखला ===
=== श्रृंखला ===
Line 50: Line 50:


=== मैट्रिसेस में समरूपता ===
=== मैट्रिसेस में समरूपता ===
रैखिक बीजगणित में, सममित मैट्रिक्स [[स्क्वायर मैट्रिक्स]] है जो इसके स्थानान्तरण के बराबर है (जिससे , यह मैट्रिक्स [[ खिसकाना |खिसकाना]] िशन के तहत अपरिवर्तनीय है)। औपचारिक रूप से, मैट्रिक्स 'ए' सममित है अगर
रैखिक बीजगणित में, सममित आव्यूह  [[स्क्वायर मैट्रिक्स|स्क्वायर]] आव्यूह  है जो इसके स्थानान्तरण के समान  है (जिससे , यह आव्यूह  [[ खिसकाना |खिसकाना]] िशन के तहत अपरिवर्तनीय है)। औपचारिक रूप से, आव्यूह  'ए' सममित है अगर


:<math>A = A^{T}.</math>
:<math>A = A^{T}.</math>
मैट्रिक्स समानता की परिभाषा के अनुसार, जिसके लिए आवश्यक है कि सभी संबंधित पदों में प्रविष्टियाँ समान हों, समान मैट्रिक्स के समान आयाम होने चाहिए (क्योंकि विभिन्न आकारों या आकृतियों के मैट्रिक्स बराबर नहीं हो सकते)। नतीजतन, केवल वर्ग मैट्रिक्स सममित हो सकते हैं।
आव्यूह  समानता की परिभाषा के अनुसार, जिसके लिए आवश्यक है कि सभी संबंधित पदों में प्रविष्टियाँ समान हों, समान आव्यूह  के समान आयाम होने चाहिए (क्योंकि विभिन्न आकारों या आकृतियों के आव्यूह  समान  नहीं हो सकते)। नतीजतन, केवल वर्ग आव्यूह  सममित हो सकते हैं।


एक सममित मैट्रिक्स की प्रविष्टियाँ [[मुख्य विकर्ण]] के संबंध में सममित हैं। इसलिए यदि प्रविष्टियों को A = (a<sub>''ij''</sub>), फिर एक<sub>''ij''</sub> = <sub>''ji''</sub>, सभी सूचकांकों i और j के लिए।
एक सममित आव्यूह  की प्रविष्टियाँ [[मुख्य विकर्ण]] के संबंध में सममित हैं। इसलिए यदि प्रविष्टियों को ''A'' = (''a<sub>ij</sub>''), then ''a<sub>ij</sub>'' = a<sub>''ji''</sub>, सभी सूचकांकों i और j के लिए है।


उदाहरण के लिए, निम्न 3×3 मैट्रिक्स सममित है:
उदाहरण के लिए, निम्न 3×3 आव्यूह  सममित है:


:<math>\begin{bmatrix}
:<math>\begin{bmatrix}
Line 63: Line 63:
7 & 4 & -5\\
7 & 4 & -5\\
3 & -5 & 6\end{bmatrix}</math>
3 & -5 & 6\end{bmatrix}</math>
प्रत्येक वर्ग [[विकर्ण मैट्रिक्स]] सममित है, क्योंकि सभी ऑफ-विकर्ण प्रविष्टियाँ शून्य हैं। इसी तरह, [[तिरछा-सममित मैट्रिक्स]] का प्रत्येक विकर्ण तत्व शून्य होना चाहिए, क्योंकि प्रत्येक का अपना नकारात्मक है।
प्रत्येक वर्ग [[विकर्ण मैट्रिक्स|विकर्ण]] आव्यूह  सममित है, क्योंकि सभी ऑफ-विकर्ण प्रविष्टियाँ शून्य हैं। इसी तरह, [[तिरछा-सममित मैट्रिक्स|तिरछा-सममित]] आव्यूह  का प्रत्येक विकर्ण तत्व शून्य होना चाहिए, क्योंकि प्रत्येक का अपना ऋणात्मक  है।


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


== अमूर्त बीजगणित में समरूपता ==
== अमूर्त बीजगणित में समरूपता ==
Line 71: Line 71:
=== सममित समूह ===
=== सममित समूह ===
{{Main|सममित समूह}}
{{Main|सममित समूह}}
सममित समूह ''एस''<sub>''n''</sub> (एन प्रतीकों के [[परिमित सेट|परिमित]] समूह पर) [[समूह (गणित)]] है जिसके तत्व एन प्रतीकों के सभी [[क्रमपरिवर्तन]] हैं, और जिसका [[समूह संचालन]] ऐसे क्रमपरिवर्तनों की कार्य संरचना है, जिन्हें प्रतीकों के समूह से ही आपत्ति के रूप में माना जाता है .<ref name=Jacobson-def>Jacobson (2009), p. 31.</ref> चूंकि एन हैं! (n [[ कारख़ाने का |कारख़ाने का]] ) n प्रतीकों के समूह के संभावित क्रमपरिवर्तन, यह इस प्रकार है कि सममित समूह S का क्रम (समूह सिद्धांत) (जिससे , तत्वों की संख्या)<sub>''n''</sub> एन है!.
सममित समूह ''S<sub>n</sub>'' (एन प्रतीकों के [[परिमित सेट|परिमित]] समूह पर) [[समूह (गणित)]] है जिसके तत्व ''n''  प्रतीकों के सभी [[क्रमपरिवर्तन]] हैं, और जिसका [[समूह संचालन]] ऐसे क्रमपरिवर्तनों की कार्य संरचना है, जिन्हें प्रतीकों के समूह से ही आपत्ति के रूप में माना जाता है .<ref name=Jacobson-def>Jacobson (2009), p. 31.</ref> चूंकि ''n''  हैं! (n [[ कारख़ाने का |कारख़ाने का]] ) n प्रतीकों के समूह के संभावित क्रमपरिवर्तन, यह इस प्रकार है कि सममित समूह ''S<sub>n</sub>'' का क्रम (समूह सिद्धांत) (जिससे , तत्वों की संख्या) ''n'' है!.


=== सममित बहुपद ===
=== सममित बहुपद ===
{{Main|सममित बहुपद}}
{{Main|सममित बहुपद}}
एक सममित [[बहुपद]] बहुपद ''P''(''X'') है<sub>1</sub>, एक्स<sub>2</sub>, ..., एक्स<sub>''n''</sub>) n चरों में, जैसे कि यदि किसी भी चर को आपस में बदल दिया जाए, तो ही बहुपद प्राप्त होता है। औपचारिक रूप से, P सममित बहुपद है यदि सबस्क्रिप्ट 1, 2, ..., n के किसी क्रमचय σ के लिए, किसी के पास P(X) है<sub>σ(1)</sub>, एक्स<sub>σ(2)</sub>, ..., एक्स<sub>σ(''n'')</sub>) = पी (एक्स<sub>1</sub>, एक्स<sub>2</sub>, ..., एक्स<sub>''n''</sub>).
एक सममित [[बहुपद]] बहुपद ''P''(''X''<sub>1</sub>, ''X''<sub>2</sub>, ..., ''X<sub>n</sub>'') है n चरों में, जैसे कि यदि किसी भी चर को आपस में बदल दिया जाए, तो ही बहुपद प्राप्त होता है। औपचारिक रूप से, P सममित बहुपद है यदि उपलेख 1, 2, ..., n के किसी क्रमचय σ के लिए, किसी के पास ''P''(''X''<sub>σ(1)</sub>, ''X''<sub>σ(2)</sub>, ..., ''X''<sub>σ(''n'')</sub>) = ''P''(''X''<sub>1</sub>, ''X''<sub>2</sub>, ..., ''X<sub>n</sub>''). है


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


==== उदाहरण ====
==== उदाहरण ====


दो चरों में X<sub>1</sub> और एक्स<sub>2</sub>, में सममित बहुपद होते हैं जैसे:
दो चरों में ''X''<sub>1</sub> और ''X''<sub>2</sub>, में सममित बहुपद होते हैं जैसे:
* <math>X_1^3+ X_2^3-7</math>
* <math>X_1^3+ X_2^3-7</math>
* <math>4 X_1^2X_2^2 +X_1^3X_2 + X_1X_2^3 +(X_1+X_2)^4</math>
* <math>4 X_1^2X_2^2 +X_1^3X_2 + X_1X_2^3 +(X_1+X_2)^4</math>
और तीन चर X में<sub>1</sub>, एक्स<sub>2</sub> और एक्स<sub>3</sub>, सममित बहुपद के रूप में है:
और तीन चर ''X''<sub>1</sub>, ''X''<sub>2</sub> और ''X''<sub>3</sub>, मे सममित बहुपद के रूप में है:
* <math>X_1 X_2 X_3 - 2 X_1 X_2 - 2 X_1 X_3 - 2 X_2 X_3 \,</math>
* <math>X_1 X_2 X_3 - 2 X_1 X_2 - 2 X_1 X_3 - 2 X_2 X_3 \,</math>


Line 93: Line 93:
:<math>T(v_1,v_2,\dots,v_r) = T(v_{\sigma 1},v_{\sigma 2},\dots,v_{\sigma r})</math>
:<math>T(v_1,v_2,\dots,v_r) = T(v_{\sigma 1},v_{\sigma 2},\dots,v_{\sigma r})</math>
प्रतीकों {1,2,...,r} के प्रत्येक क्रमचय σ के लिए।
प्रतीकों {1,2,...,r} के प्रत्येक क्रमचय σ के लिए।
वैकल्पिक रूप से, आर<sup>वें</sup> आदेश सममित टेन्सर निर्देशांक में आर सूचकांकों के साथ मात्रा के रूप में दर्शाया गया है जो संतुष्ट करता है
 
वैकल्पिक रूप से, ''r''<sup>वें</sup> आदेश सममित टेन्सर निर्देशांक में आर सूचकांकों के साथ मात्रा के रूप में दर्शाया गया है जो संतुष्ट करता है
:<math>T_{i_1i_2\dots i_r} = T_{i_{\sigma 1}i_{\sigma 2}\dots i_{\sigma r}}.</math>
:<math>T_{i_1i_2\dots i_r} = T_{i_{\sigma 1}i_{\sigma 2}\dots i_{\sigma r}}.</math>
एक परिमित-आयामी वेक्टर अंतरिक्ष पर रैंक आर के सममित टेंसरों का स्थान वी पर डिग्री आर के [[सजातीय बहुपद]]ों के स्थान के दोहरे के लिए [[प्राकृतिक समरूपता]] है। [[विशेषता शून्य]] के [[क्षेत्र (गणित)]] पर, सभी सममित टेंसरों का श्रेणीबद्ध [[सदिश स्थल]] वी पर [[सममित बीजगणित]] के साथ स्वाभाविक रूप से पहचाना जा सकता है। संबंधित अवधारणा [[एंटीसिमेट्रिक टेंसर]] या [[वैकल्पिक रूप]] है। [[अभियांत्रिकी]], भौतिकी और गणित में सममित टेन्सर व्यापक रूप से पाए जाते हैं।
एक परिमित-आयामी वेक्टर अंतरिक्ष पर पद आर के सममित टेंसरों का स्थान वी पर डिग्री आर के [[सजातीय बहुपद]] के स्थान के दोहरे के लिए [[प्राकृतिक समरूपता]] है। [[विशेषता शून्य]] के [[क्षेत्र (गणित)]] पर, सभी सममित टेंसरों का श्रेणीबद्ध [[सदिश स्थल]] ''V'' पर [[सममित बीजगणित]] के साथ स्वाभाविक रूप से पहचाना जा सकता है। संबंधित अवधारणा [[एंटीसिमेट्रिक टेंसर]] या [[वैकल्पिक रूप]] है। [[अभियांत्रिकी]], भौतिकी और गणित में सममित टेन्सर व्यापक रूप से पाए जाते हैं।


===गैलोइस सिद्धांत===
===गैलोइस सिद्धांत===
Line 108: Line 109:


* समुच्चय सिद्धांत में, समुच्चय X के तत्वों का मनमाना क्रमचय ऑटोमोर्फिज्म है। X के ऑटोमोर्फिज्म समूह को X पर [[सममित समूह]] भी कहा जाता है।
* समुच्चय सिद्धांत में, समुच्चय X के तत्वों का मनमाना क्रमचय ऑटोमोर्फिज्म है। X के ऑटोमोर्फिज्म समूह को X पर [[सममित समूह]] भी कहा जाता है।
* [[प्रारंभिक अंकगणित]] में, [[पूर्णांक]]ों के समुच्चय, 'Z', जिसे योग के तहत समूह के रूप में माना जाता है, में अद्वितीय गैर-तुच्छ ऑटोमोर्फिज्म है: निषेध। [[अंगूठी (गणित)]] के रूप में माना जाता है, हालांकि, इसमें केवल तुच्छ ऑटोमोर्फिज्म है। आम तौर पर बोलना, निषेध किसी भी [[एबेलियन समूह]] का ऑटोमोर्फिज्म है, लेकिन रिंग या फील्ड का नहीं।
* [[प्रारंभिक अंकगणित]] में, [[पूर्णांक]]ों के समुच्चय, 'Z', जिसे योग के तहत समूह के रूप में माना जाता है, में अद्वितीय गैर-तुच्छ ऑटोमोर्फिज्म है: निषेध। [[अंगूठी (गणित)]] के रूप में माना जाता है, हालांकि, इसमें केवल तुच्छ ऑटोमोर्फिज्म है। आम तौर पर बोलना, निषेध किसी भी [[एबेलियन समूह]] का ऑटोमोर्फिज्म है, किंतु रिंग या फील्ड का नहीं।
* एक समूह ऑटोमोर्फिज्म समूह से स्वयं के लिए [[समूह समरूपता]] है। अनौपचारिक रूप से, यह समूह तत्वों का क्रमचय है जैसे कि संरचना अपरिवर्तित रहती है। प्रत्येक समूह जी के लिए प्राकृतिक समूह समरूपता जी → ऑट (जी) है जिसकी [[छवि (गणित)]] [[आंतरिक ऑटोमोर्फिज्म]] का समूह इन (जी) है और जिसका कर्नेल (बीजगणित) जी का [[केंद्र (समूह सिद्धांत)]] है। इस प्रकार, यदि G का [[तुच्छ समूह]] केंद्र है इसे अपने स्वयं के ऑटोमोर्फिज्म समूह में एम्बेड किया जा सकता है।<ref name=Pahl>
* एक समूह ऑटोमोर्फिज्म समूह से स्वयं के लिए [[समूह समरूपता]] है। अनौपचारिक रूप से, यह समूह तत्वों का क्रमचय है जैसे कि संरचना अपरिवर्तित रहती है। प्रत्येक समूह जी के लिए प्राकृतिक समूह समरूपता जी → ऑट (जी) है जिसकी [[छवि (गणित)]] [[आंतरिक ऑटोमोर्फिज्म]] का समूह इन (जी) है और जिसका कर्नेल (बीजगणित) जी का [[केंद्र (समूह सिद्धांत)]] है। इस प्रकार, यदि G का [[तुच्छ समूह]] केंद्र है इसे अपने स्वयं के ऑटोमोर्फिज्म समूह में एम्बेड किया जा सकता है।<ref name=Pahl>


Line 115: Line 116:
</ref>
</ref>
* रैखिक बीजगणित में, सदिश स्थान V का एंडोमोर्फिज्म [[रैखिक परिवर्तन]] V → V है। ऑटोमोर्फिज्म V पर व्युत्क्रमणीय रैखिक संचालिका है। जब सदिश स्थान परिमित-आयामी होता है, तो V का ऑटोमोर्फिज्म समूह सामान्य के समान होता है रैखिक समूह, जीएल (वी)।
* रैखिक बीजगणित में, सदिश स्थान V का एंडोमोर्फिज्म [[रैखिक परिवर्तन]] V → V है। ऑटोमोर्फिज्म V पर व्युत्क्रमणीय रैखिक संचालिका है। जब सदिश स्थान परिमित-आयामी होता है, तो V का ऑटोमोर्फिज्म समूह सामान्य के समान होता है रैखिक समूह, जीएल (वी)।
* फील्ड ऑटोमोर्फिज्म फील्ड (गणित) से खुद तक बायजेक्शन [[रिंग समरूपता]] है। परिमेय संख्याओं ('Q') और वास्तविक संख्याओं ('R') के मामलों में कोई गैर-तुच्छ फ़ील्ड ऑटोमोर्फिज़्म नहीं हैं। 'आर' के कुछ उपक्षेत्रों में नॉनट्रिविअल फील्ड ऑटोमोर्फिज्म हैं, जो हालांकि 'आर' के सभी तक विस्तारित नहीं होते हैं (क्योंकि वे 'आर' में वर्गमूल वाली संख्या की संपत्ति को संरक्षित नहीं कर सकते हैं)। जटिल संख्याओं के मामले में, 'सी', अनोखा नॉनट्रिविअल ऑटोमोर्फिज्म है जो 'आर' को 'आर' में भेजता है: जटिल संयुग्म, लेकिन असीम रूप से ([[बेशुमार]]) कई जंगली ऑटोमोर्फिज्म हैं (पसंद के स्वयंसिद्ध मानते हैं)।<ref>{{cite journal | last = Yale | first = Paul B. | journal = Mathematics Magazine | title = कॉम्प्लेक्स नंबरों के ऑटोमोर्फिज्म| volume = 39 | issue = 3 |date=May 1966 | pages = 135–141 | url = http://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/PaulBYale.pdf | doi = 10.2307/2689301 | jstor = 2689301}}</ref> फ़ील्ड ऑटोमोर्फिज़्म [[फील्ड एक्सटेंशन]] के सिद्धांत के लिए महत्वपूर्ण हैं, विशेष रूप से [[ गाल्वा विस्तार |गाल्वा विस्तार]] में। गैलोइस एक्सटेंशन एल/के के मामले में एल फिक्सिंग के सभी ऑटोमोर्फिज्म के [[उपसमूह]] को बिंदुवार विस्तार के गैलोज़ समूह कहा जाता है।
* फील्ड ऑटोमोर्फिज्म फील्ड (गणित) से खुद तक बायजेक्शन [[रिंग समरूपता]] है। परिमेय संख्याओं ('Q') और वास्तविक संख्याओं ('R') के मामलों में कोई गैर-तुच्छ फ़ील्ड ऑटोमोर्फिज़्म नहीं हैं। 'आर' के कुछ उपक्षेत्रों में नॉनट्रिविअल फील्ड ऑटोमोर्फिज्म हैं, जो हालांकि 'आर' के सभी तक विस्तारित नहीं होते हैं (क्योंकि वे 'आर' में वर्गमूल वाली संख्या की संपत्ति को संरक्षित नहीं कर सकते हैं)। जटिल संख्याओं के मामले में, 'सी', अनोखा नॉनट्रिविअल ऑटोमोर्फिज्म है जो 'आर' को 'आर' में भेजता है: जटिल संयुग्म, किंतु असीम रूप से ([[बेशुमार]]) कई जंगली ऑटोमोर्फिज्म हैं (पसंद के स्वयंसिद्ध मानते हैं)।<ref>{{cite journal | last = Yale | first = Paul B. | journal = Mathematics Magazine | title = कॉम्प्लेक्स नंबरों के ऑटोमोर्फिज्म| volume = 39 | issue = 3 |date=May 1966 | pages = 135–141 | url = http://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/PaulBYale.pdf | doi = 10.2307/2689301 | jstor = 2689301}}</ref> फ़ील्ड ऑटोमोर्फिज़्म [[फील्ड एक्सटेंशन]] के सिद्धांत के लिए महत्वपूर्ण हैं, विशेष रूप से [[ गाल्वा विस्तार |गाल्वा विस्तार]] में। गैलोइस एक्सटेंशन एल/के के मामले में एल फिक्सिंग के सभी ऑटोमोर्फिज्म के [[उपसमूह]] को बिंदुवार विस्तार के गैलोज़ समूह कहा जाता है।


== प्रतिनिधित्व सिद्धांत में समरूपता ==
== प्रतिनिधित्व सिद्धांत में समरूपता ==
Line 122: Line 123:
क्वांटम यांत्रिकी में, बोसोन के प्रतिनिधि होते हैं जो क्रमपरिवर्तन ऑपरेटरों के तहत सममित होते हैं, और फ़र्मियन में एंटीसिमेट्रिक प्रतिनिधि होते हैं।
क्वांटम यांत्रिकी में, बोसोन के प्रतिनिधि होते हैं जो क्रमपरिवर्तन ऑपरेटरों के तहत सममित होते हैं, और फ़र्मियन में एंटीसिमेट्रिक प्रतिनिधि होते हैं।


इसका तात्पर्य फर्मों के लिए पाउली अपवर्जन सिद्धांत से है। वास्तव में, एकल-मूल्य वाले कई-कण तरंग के साथ पाउली बहिष्करण सिद्धांत, तरंग-क्रिया को एंटीसिमेट्रिक होने की आवश्यकता के बराबर है। एंटीसिमेट्रिक दो-कण राज्य को [[सुपरपोजिशन सिद्धांत]] के रूप में दर्शाया जाता है जिसमें कण राज्य में होता है <math>\scriptstyle |x \rangle</math> और दूसरा राज्य में <math>\scriptstyle |y\rangle</math>:
इसका तात्पर्य फर्मों के लिए पाउली अपवर्जन सिद्धांत से है। वास्तव में, एकल-मूल्य वाले कई-कण तरंग के साथ पाउली बहिष्करण सिद्धांत, तरंग-क्रिया को एंटीसिमेट्रिक होने की आवश्यकता के समान  है। एंटीसिमेट्रिक दो-कण राज्य को [[सुपरपोजिशन सिद्धांत]] के रूप में दर्शाया जाता है जिसमें कण राज्य में होता है <math>\scriptstyle |x \rangle</math> और दूसरा राज्य में <math>\scriptstyle |y\rangle</math>:
:<math>
:<math>
|\psi\rangle = \sum_{x,y} A(x,y) |x,y\rangle
|\psi\rangle = \sum_{x,y} A(x,y) |x,y\rangle
</math>
</math>
और एक्सचेंज के तहत एंटीसिमेट्री का मतलब है {{nowrap|1=''A''(''x'',''y'') = −''A''(''y'',''x'')}}. इसका अर्थ यह है कि {{nowrap|1=''A''(''x'',''x'') = 0}}, जो पाउली अपवर्जन है। यह किसी भी आधार पर सत्य है, क्योंकि आधार के एकात्मक परिवर्तन से प्रतिसममित आव्यूह प्रतिसममित रहते हैं, हालाँकि सख्ती से बोलते हुए, मात्रा {{nowrap|1=''A''(''x'',''y'')}} मैट्रिक्स नहीं किंतु एंटीसिमेट्रिक रैंक-दो टेंसर है।
और एक्सचेंज के तहत एंटीसिमेट्री का मतलब है {{nowrap|1=''A''(''x'',''y'') = −''A''(''y'',''x'')}}. इसका अर्थ यह है कि {{nowrap|1=''A''(''x'',''x'') = 0}}, जो पाउली अपवर्जन है। यह किसी भी आधार पर सत्य है, क्योंकि आधार के एकात्मक परिवर्तन से प्रतिसममित आव्यूह प्रतिसममित रहते हैं, हालाँकि सख्ती से बोलते हुए, मात्रा {{nowrap|1=''A''(''x'',''y'')}} आव्यूह  नहीं किंतु एंटीसिमेट्रिक रैंक-दो टेंसर है।


इसके विपरीत, यदि विकर्ण मात्रा {{nowrap|1=''A''(''x'',''x'')}} हर आधार पर शून्य हैं, तो वेवफंक्शन घटक:
इसके विपरीत, यदि विकर्ण मात्रा {{nowrap|1=''A''(''x'',''x'')}} हर आधार पर शून्य हैं, तो वेवफंक्शन घटक:
Line 132: Line 133:
A(x,y)=\langle \psi|x,y\rangle = \langle \psi | ( |x\rangle \otimes |y\rangle )
A(x,y)=\langle \psi|x,y\rangle = \langle \psi | ( |x\rangle \otimes |y\rangle )
</math>
</math>
अनिवार्य रूप से विषम है। इसे सिद्ध करने के लिए, मैट्रिक्स तत्व पर विचार करें:
अनिवार्य रूप से विषम है। इसे सिद्ध करने के लिए, आव्यूह  तत्व पर विचार करें:
:<math>
:<math>
\langle\psi| ((|x\rangle + |y\rangle)\otimes(|x\rangle + |y\rangle))
\langle\psi| ((|x\rangle + |y\rangle)\otimes(|x\rangle + |y\rangle))
\,</math>
\,</math>
यह शून्य है, क्योंकि दोनों कणों के सुपरपोज़िशन अवस्था में होने की संभावना शून्य है <math>\scriptstyle |x\rangle + |y\rangle</math>. लेकिन यह बराबर है
यह शून्य है, क्योंकि दोनों कणों के सुपरपोज़िशन अवस्था में होने की संभावना शून्य है <math>\scriptstyle |x\rangle + |y\rangle</math>. किंतु यह समान  है
:<math>
:<math>
\langle \psi |x,x\rangle + \langle \psi |x,y\rangle + \langle \psi |y,x\rangle + \langle \psi | y,y \rangle
\langle \psi |x,x\rangle + \langle \psi |x,y\rangle + \langle \psi |y,x\rangle + \langle \psi | y,y \rangle
\,</math>
\,</math>
दाहिने हाथ की ओर पहला और अंतिम पद विकर्ण तत्व हैं और शून्य हैं, और संपूर्ण योग शून्य के बराबर है। तो वेवफंक्शन मैट्रिक्स तत्व पालन करते हैं:
दाहिने हाथ की ओर पहला और अंतिम पद विकर्ण तत्व हैं और शून्य हैं, और संपूर्ण योग शून्य के समान  है। तो वेवफंक्शन आव्यूह  तत्व पालन करते हैं:


:<math>
:<math>
Line 164: Line 165:
=== एक अंतरिक्ष की आइसोमेट्री ===
=== एक अंतरिक्ष की आइसोमेट्री ===
{{Main|आइसोमेट्री}}
{{Main|आइसोमेट्री}}
एक आइसोमेट्री [[मीट्रिक रिक्त स्थान]] के बीच [[दूरी]]-संरक्षण मानचित्र है। मीट्रिक स्थान, या समूह के तत्वों के बीच दूरी निर्दिष्ट करने के लिए समूह और योजना को देखते हुए, आइसोमेट्री परिवर्तन है जो तत्वों को किसी अन्य मीट्रिक स्थान पर मैप करता है जैसे कि नई मीट्रिक अंतरिक्ष में तत्वों के बीच की दूरी के बीच की दूरी के बराबर होती है मूल मीट्रिक अंतरिक्ष में तत्व। द्वि-आयामी या त्रि-आयामी स्थान में, दो ज्यामितीय आंकड़े सर्वांगसम (ज्यामिति) होते हैं यदि वे समरूपता से संबंधित होते हैं: या तो कठोर शरीर | कठोर गति से संबंधित होते हैं, या कठोर गति और प्रतिबिंब (गणित) की कार्य संरचना ). एक कठोर गति से संबंध तक, वे बराबर होते हैं यदि एक यूक्लिडियन समूह#प्रत्यक्ष और अप्रत्यक्ष समरूपता|प्रत्यक्ष समरूपता द्वारा संबंधित होते हैं।
एक आइसोमेट्री [[मीट्रिक रिक्त स्थान]] के बीच [[दूरी]]-संरक्षण मानचित्र है। मीट्रिक स्थान, या समूह के तत्वों के बीच दूरी निर्दिष्ट करने के लिए समूह और योजना को देखते हुए, आइसोमेट्री परिवर्तन है जो तत्वों को किसी अन्य मीट्रिक स्थान पर मैप करता है जैसे कि नई मीट्रिक अंतरिक्ष में तत्वों के बीच की दूरी के बीच की दूरी के समान  होती है मूल मीट्रिक अंतरिक्ष में तत्व। द्वि-आयामी या त्रि-आयामी स्थान में, दो ज्यामितीय आंकड़े सर्वांगसम (ज्यामिति) होते हैं यदि वे समरूपता से संबंधित होते हैं: या तो कठोर शरीर | कठोर गति से संबंधित होते हैं, या कठोर गति और प्रतिबिंब (गणित) की कार्य संरचना ). एक कठोर गति से संबंध तक, वे समान  होते हैं यदि एक यूक्लिडियन समूह या प्रत्यक्ष और अप्रत्यक्ष समरूपता|प्रत्यक्ष समरूपता द्वारा संबंधित होते हैं।


आइसोमेट्रीज का उपयोग ज्यामिति में समरूपता की कार्य परिभाषा को एकीकृत करने और कार्यों, संभाव्यता वितरण, मैट्रिसेस, स्ट्रिंग्स, ग्राफ़ आदि के लिए किया गया है।<ref>{{cite journal | last = Petitjean | first = Michel | journal = Symmetry: Culture and Science | title = समरूपता की एक परिभाषा| volume = 18 | issue = 2–3 | date = 2007 | pages = 99–119 | zbl = 1274.58003 | url = https://hal.archives-ouvertes.fr/hal-01552499 }}</ref>
आइसोमेट्रीज का उपयोग ज्यामिति में समरूपता की कार्य परिभाषा को एकीकृत करने और कार्यों, संभाव्यता वितरण, मैट्रिसेस, स्ट्रिंग्स, ग्राफ़ आदि के लिए किया गया है।<ref>{{cite journal | last = Petitjean | first = Michel | journal = Symmetry: Culture and Science | title = समरूपता की एक परिभाषा| volume = 18 | issue = 2–3 | date = 2007 | pages = 99–119 | zbl = 1274.58003 | url = https://hal.archives-ouvertes.fr/hal-01552499 }}</ref>
Line 187: Line 188:
साधारण अवकल समीकरणों के लिए, लाई समरूपता के उपयुक्त समूह का ज्ञान किसी को एकीकरण के बिना पूर्ण समाधान प्रदान करते हुए, पहले इंटीग्रल के समूह की स्पष्ट रूप से गणना करने की अनुमति देता है।
साधारण अवकल समीकरणों के लिए, लाई समरूपता के उपयुक्त समूह का ज्ञान किसी को एकीकरण के बिना पूर्ण समाधान प्रदान करते हुए, पहले इंटीग्रल के समूह की स्पष्ट रूप से गणना करने की अनुमति देता है।


समरूपता साधारण अंतर समीकरणों के संबंधित समूह को हल करके पाई जा सकती है।<ref name=olver />मूल अंतर समीकरणों को हल करने की तुलना में इन समीकरणों को हल करना अक्सर बहुत आसान होता है।
समरूपता साधारण अंतर समीकरणों के संबंधित समूह को हल करके पाई जा सकती है।<ref name=olver />मूल अंतर समीकरणों को हल करने की तुलना में इन समीकरणों को हल करना प्रायः बहुत आसान होता है।


== प्रायिकता में समरूपता ==
== प्रायिकता में समरूपता ==
Line 203: Line 204:


== यह भी देखें ==
== यह भी देखें ==
*एकाधिक समाकलन#समरूपता का उपयोग
*एकाधिक समाकलन या समरूपता का उपयोग
*अपरिवर्तनीय (गणित)
*अपरिवर्तनीय (गणित)



Revision as of 11:36, 27 April 2023

E के अर्ध-सरल लाई बीजगणित की जड़ प्रणाली8. झूठ बोलने वाले समूहों में कई समानताएँ होती हैं।

समरूपता न केवल ज्यामिति में होती है, किंतु गणित की अन्य शाखाओं में भी होती है। समरूपता प्रकार का अपरिवर्तनीय (गणित) है: संपत्ति जो गणितीय वस्तु संचालक (गणित) या परिवर्तन (गणित) के समूह के तहत अपरिवर्तित रहती है।[1]

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

सामान्यतः , गणित में हर तरह की संरचना की अपनी तरह की समरूपता होगी, जिनमें से कई ऊपर बताए गए बिंदुओं में सूचीबद्ध हैं।

ज्यामिति में समरूपता

बुनियादी ज्यामिति में जिन समरूपता पर विचार किया जाता है, उनमें परावर्तन समरूपता, घूर्णी समरूपता, अनुवाद संबंधी समरूपता और सरकना प्रतिबिंब समरूपता सम्मिलित हैं, जिनका वर्णन मुख्य लेख समरूपता (ज्यामिति) में अधिक पूर्ण रूप से किया गया है।

कलन में समरूपता

सम और विषम कार्य

यहां तक ​​कि कार्य

चलो f(x) एक वास्तविक चर का एक वास्तविक-मूल्यवान कार्य है, फिर f तब भी है जब निम्नलिखित समीकरण f के डोमेन में सभी x और -x के लिए है:[2]

ज्यामितीय रूप से बोलते हुए, सम कार्य का ग्राफ़ चेहरा वाई-अक्ष के संबंध में समरूपता है, जिसका अर्थ है कि कार्य का ग्राफ़ वाई-अक्ष के बारे में प्रतिबिंब (गणित) के बाद अपरिवर्तित रहता है। सम कार्यों के उदाहरणों में |x|, x2, x4, cos(x), and cosh(x). सम्मिलित हैं

विषम कार्य

फिर से, f को एक वास्तविक चर का वास्तविक-मूल्यवान कार्य होने दें, फिर f विषम है यदि निम्न समीकरण f के डोमेन में सभी x और -x के लिए है:

वह है,

ज्यामितीय रूप से, एक विषम कार्य के ग्राफ़ में मूल के संबंध में घूर्णी समरूपता होती है, जिसका अर्थ है कि इसका ग्राफ़ मूल के बारे में 180 डिग्री के घूर्णन के बाद अपरिवर्तित रहता है। विषम कार्यों के उदाहरण x, x3, sin(x), sinh(x), and erf(x). हैं।

एकीकृत

−A से +A तक के विषम फलन का समाकल शून्य होता है, परंतु कि A परिमित हो और फलन समाकलनीय हो (उदाहरण के लिए, −A और A के बीच कोई उर्ध्वाधर स्पर्शोन्मुख नहीं है)।[3]

−A से +A तक सम फलन का समाकल 0 से +A तक का समाकलन का दुगुना है, परंतु कि A परिमित हो और फलन समाकलनीय हो (उदाहरण के लिए, -A और A के बीच कोई उर्ध्वाधर स्पर्शोन्मुख नहीं है)।[3] यह तब भी सत्य है जब A अनंत है, किंतु केवल तभी जब अभिन्न अभिसरण होता है।

श्रृंखला

  • सम फलन की मैक्लॉरिन श्रृंखला में केवल सम शक्तियाँ सम्मिलित हैं।
  • विषम फलन की मैक्लॉरिन श्रृंखला में केवल विषम घातें सम्मिलित हैं।
  • किसी आवधिक फलन सम फलन की फूरियर श्रृंखला में केवल त्रिकोणमितीय फलन पद सम्मिलित होते हैं।
  • किसी आवधिक विषम फलन की फूरियर श्रृंखला में केवल त्रिकोणमितीय फलन पद सम्मिलित होते हैं।

रैखिक बीजगणित में समरूपता

मैट्रिसेस में समरूपता

रैखिक बीजगणित में, सममित आव्यूह स्क्वायर आव्यूह है जो इसके स्थानान्तरण के समान है (जिससे , यह आव्यूह खिसकाना िशन के तहत अपरिवर्तनीय है)। औपचारिक रूप से, आव्यूह 'ए' सममित है अगर

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

एक सममित आव्यूह की प्रविष्टियाँ मुख्य विकर्ण के संबंध में सममित हैं। इसलिए यदि प्रविष्टियों को A = (aij), then aij = aji, सभी सूचकांकों i और j के लिए है।

उदाहरण के लिए, निम्न 3×3 आव्यूह सममित है:

प्रत्येक वर्ग विकर्ण आव्यूह सममित है, क्योंकि सभी ऑफ-विकर्ण प्रविष्टियाँ शून्य हैं। इसी तरह, तिरछा-सममित आव्यूह का प्रत्येक विकर्ण तत्व शून्य होना चाहिए, क्योंकि प्रत्येक का अपना ऋणात्मक है।

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

अमूर्त बीजगणित में समरूपता

सममित समूह

सममित समूह Sn (एन प्रतीकों के परिमित समूह पर) समूह (गणित) है जिसके तत्व n प्रतीकों के सभी क्रमपरिवर्तन हैं, और जिसका समूह संचालन ऐसे क्रमपरिवर्तनों की कार्य संरचना है, जिन्हें प्रतीकों के समूह से ही आपत्ति के रूप में माना जाता है .[4] चूंकि n हैं! (n कारख़ाने का ) n प्रतीकों के समूह के संभावित क्रमपरिवर्तन, यह इस प्रकार है कि सममित समूह Sn का क्रम (समूह सिद्धांत) (जिससे , तत्वों की संख्या) n है!.

सममित बहुपद

एक सममित बहुपद बहुपद P(X1, X2, ..., Xn) है n चरों में, जैसे कि यदि किसी भी चर को आपस में बदल दिया जाए, तो ही बहुपद प्राप्त होता है। औपचारिक रूप से, P सममित बहुपद है यदि उपलेख 1, 2, ..., n के किसी क्रमचय σ के लिए, किसी के पास P(Xσ(1), Xσ(2), ..., Xσ(n)) = P(X1, X2, ..., Xn). है

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

उदाहरण

दो चरों में X1 और X2, में सममित बहुपद होते हैं जैसे:

और तीन चर X1, X2 और X3, मे सममित बहुपद के रूप में है:


सममित टेंसर

गणित में, सममित टेन्सर वह टेंसर होता है जो अपने सदिश तर्कों के क्रमपरिवर्तन के तहत अपरिवर्तनीय होता है:

प्रतीकों {1,2,...,r} के प्रत्येक क्रमचय σ के लिए।

वैकल्पिक रूप से, rवें आदेश सममित टेन्सर निर्देशांक में आर सूचकांकों के साथ मात्रा के रूप में दर्शाया गया है जो संतुष्ट करता है

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

गैलोइस सिद्धांत

एक बहुपद दिया गया है, यह हो सकता है कि कुछ जड़ें विभिन्न बीजगणितीय समीकरणों से जुड़ी हों। उदाहरण के लिए, यह हो सकता है कि दो जड़ों के लिए, ए और बी कहें A2 + 5B3 = 7. गाल्वा सिद्धांत का केंद्रीय विचार जड़ों के उन क्रमपरिवर्तनों (या पुनर्व्यवस्था) पर विचार करना है, जिनकी संपत्ति है कि जड़ों द्वारा संतुष्ट किसी भी बीजगणितीय समीकरण को जड़ों के क्रमपरिवर्तन के बाद भी संतुष्ट किया जाता है। महत्वपूर्ण परन्तुक यह है कि हम स्वयं को बीजगणितीय समीकरणों तक सीमित रखते हैं जिनके गुणांक परिमेय संख्याएँ हैं। इस प्रकार, गैलोज़ सिद्धांत बीजगणितीय समीकरणों में निहित सममितताओं का अध्ययन करता है।

बीजगणितीय वस्तुओं का स्वारूपण

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

उदाहरण

  • समुच्चय सिद्धांत में, समुच्चय X के तत्वों का मनमाना क्रमचय ऑटोमोर्फिज्म है। X के ऑटोमोर्फिज्म समूह को X पर सममित समूह भी कहा जाता है।
  • प्रारंभिक अंकगणित में, पूर्णांकों के समुच्चय, 'Z', जिसे योग के तहत समूह के रूप में माना जाता है, में अद्वितीय गैर-तुच्छ ऑटोमोर्फिज्म है: निषेध। अंगूठी (गणित) के रूप में माना जाता है, हालांकि, इसमें केवल तुच्छ ऑटोमोर्फिज्म है। आम तौर पर बोलना, निषेध किसी भी एबेलियन समूह का ऑटोमोर्फिज्म है, किंतु रिंग या फील्ड का नहीं।
  • एक समूह ऑटोमोर्फिज्म समूह से स्वयं के लिए समूह समरूपता है। अनौपचारिक रूप से, यह समूह तत्वों का क्रमचय है जैसे कि संरचना अपरिवर्तित रहती है। प्रत्येक समूह जी के लिए प्राकृतिक समूह समरूपता जी → ऑट (जी) है जिसकी छवि (गणित) आंतरिक ऑटोमोर्फिज्म का समूह इन (जी) है और जिसका कर्नेल (बीजगणित) जी का केंद्र (समूह सिद्धांत) है। इस प्रकार, यदि G का तुच्छ समूह केंद्र है इसे अपने स्वयं के ऑटोमोर्फिज्म समूह में एम्बेड किया जा सकता है।[5]
  • रैखिक बीजगणित में, सदिश स्थान V का एंडोमोर्फिज्म रैखिक परिवर्तन V → V है। ऑटोमोर्फिज्म V पर व्युत्क्रमणीय रैखिक संचालिका है। जब सदिश स्थान परिमित-आयामी होता है, तो V का ऑटोमोर्फिज्म समूह सामान्य के समान होता है रैखिक समूह, जीएल (वी)।
  • फील्ड ऑटोमोर्फिज्म फील्ड (गणित) से खुद तक बायजेक्शन रिंग समरूपता है। परिमेय संख्याओं ('Q') और वास्तविक संख्याओं ('R') के मामलों में कोई गैर-तुच्छ फ़ील्ड ऑटोमोर्फिज़्म नहीं हैं। 'आर' के कुछ उपक्षेत्रों में नॉनट्रिविअल फील्ड ऑटोमोर्फिज्म हैं, जो हालांकि 'आर' के सभी तक विस्तारित नहीं होते हैं (क्योंकि वे 'आर' में वर्गमूल वाली संख्या की संपत्ति को संरक्षित नहीं कर सकते हैं)। जटिल संख्याओं के मामले में, 'सी', अनोखा नॉनट्रिविअल ऑटोमोर्फिज्म है जो 'आर' को 'आर' में भेजता है: जटिल संयुग्म, किंतु असीम रूप से (बेशुमार) कई जंगली ऑटोमोर्फिज्म हैं (पसंद के स्वयंसिद्ध मानते हैं)।[6] फ़ील्ड ऑटोमोर्फिज़्म फील्ड एक्सटेंशन के सिद्धांत के लिए महत्वपूर्ण हैं, विशेष रूप से गाल्वा विस्तार में। गैलोइस एक्सटेंशन एल/के के मामले में एल फिक्सिंग के सभी ऑटोमोर्फिज्म के उपसमूह को बिंदुवार विस्तार के गैलोज़ समूह कहा जाता है।

प्रतिनिधित्व सिद्धांत में समरूपता

क्वांटम यांत्रिकी में समरूपता: बोसोन और फ़र्मियन

क्वांटम यांत्रिकी में, बोसोन के प्रतिनिधि होते हैं जो क्रमपरिवर्तन ऑपरेटरों के तहत सममित होते हैं, और फ़र्मियन में एंटीसिमेट्रिक प्रतिनिधि होते हैं।

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

और एक्सचेंज के तहत एंटीसिमेट्री का मतलब है A(x,y) = −A(y,x). इसका अर्थ यह है कि A(x,x) = 0, जो पाउली अपवर्जन है। यह किसी भी आधार पर सत्य है, क्योंकि आधार के एकात्मक परिवर्तन से प्रतिसममित आव्यूह प्रतिसममित रहते हैं, हालाँकि सख्ती से बोलते हुए, मात्रा A(x,y) आव्यूह नहीं किंतु एंटीसिमेट्रिक रैंक-दो टेंसर है।

इसके विपरीत, यदि विकर्ण मात्रा A(x,x) हर आधार पर शून्य हैं, तो वेवफंक्शन घटक:

अनिवार्य रूप से विषम है। इसे सिद्ध करने के लिए, आव्यूह तत्व पर विचार करें:

यह शून्य है, क्योंकि दोनों कणों के सुपरपोज़िशन अवस्था में होने की संभावना शून्य है . किंतु यह समान है

दाहिने हाथ की ओर पहला और अंतिम पद विकर्ण तत्व हैं और शून्य हैं, और संपूर्ण योग शून्य के समान है। तो वेवफंक्शन आव्यूह तत्व पालन करते हैं:

.

या


समूह सिद्धांत में समरूपता

सममित संबंध

हम संबंध को सममित कहते हैं यदि हर बार संबंध A से B तक खड़ा होता है, तो यह B से A तक भी खड़ा होता है। ध्यान दें कि सममिति प्रतिसममित संबंध के बिल्कुल विपरीत नहीं है।

मीट्रिक रिक्त स्थान में समरूपता

एक अंतरिक्ष की आइसोमेट्री

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

आइसोमेट्रीज का उपयोग ज्यामिति में समरूपता की कार्य परिभाषा को एकीकृत करने और कार्यों, संभाव्यता वितरण, मैट्रिसेस, स्ट्रिंग्स, ग्राफ़ आदि के लिए किया गया है।[7]


अंतर समीकरणों की समरूपता

एक अंतर समीकरण की समरूपता परिवर्तन है जो अंतर समीकरण को अपरिवर्तित छोड़ देता है। ऐसी सममितियों का ज्ञान अवकल समीकरण को हल करने में मदद कर सकता है।

अवकल समीकरणों के निकाय की रेखा सममिति, अवकल समीकरणों के निकाय की सतत सममिति है। रेखा समरूपता के ज्ञान का उपयोग क्रम में कमी के माध्यम से साधारण अवकल समीकरण को सरल बनाने के लिए किया जा सकता है।[8] साधारण अवकल समीकरणों के लिए, लाई समरूपता के उपयुक्त समूह का ज्ञान किसी को एकीकरण के बिना पूर्ण समाधान प्रदान करते हुए, पहले इंटीग्रल के समूह की स्पष्ट रूप से गणना करने की अनुमति देता है।

समरूपता साधारण अंतर समीकरणों के संबंधित समूह को हल करके पाई जा सकती है।[8]मूल अंतर समीकरणों को हल करने की तुलना में इन समीकरणों को हल करना प्रायः बहुत आसान होता है।

प्रायिकता में समरूपता

संभावित परिणामों की सीमित संख्या के मामले में, क्रमपरिवर्तन (पुनः लेबलिंग) के संबंध में समरूपता समान वितरण (असतत) का अर्थ है।

संभावित परिणामों के वास्तविक अंतराल के मामले में, समान लंबाई के इंटरचेंजिंग उप-अंतराल के संबंध में समरूपता समान वितरण (निरंतर) से मेल खाती है।

अन्य मामलों में, जैसे कि यादृच्छिक पूर्णांक लेना या यादृच्छिक वास्तविक संख्या लेना, रीलेबलिंग के संबंध में या समान रूप से लंबे उप-अंतरालों के आदान-प्रदान के संबंध में सभी सममित पर कोई संभाव्यता वितरण नहीं हैं। अन्य उचित समरूपताएँ विशेष वितरण को अलग नहीं करती हैं, या दूसरे शब्दों में, अधिकतम समरूपता प्रदान करने वाला कोई अनूठा संभाव्यता वितरण नहीं है।

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

सकारात्मक परिणामों के साथ यादृच्छिकता के लिए संभावित समरूपता यह है कि पूर्व लघुगणक के लिए लागू होता है, अर्थात परिणाम और इसके पारस्परिक का समान वितरण होता है। हालाँकि यह समरूपता किसी विशेष वितरण को विशिष्ट रूप से अलग नहीं करती है।

एक विमान या अंतरिक्ष में यादृच्छिक बिंदु के लिए, कोई मूल चुन सकता है, और क्रमशः परिपत्र या गोलाकार समरूपता के साथ संभाव्यता वितरण पर विचार कर सकता है।

यह भी देखें

  • एकाधिक समाकलन या समरूपता का उपयोग
  • अपरिवर्तनीय (गणित)

संदर्भ

  1. Weisstein, Eric W. "अचल". mathworld.wolfram.com (in English). Retrieved 2019-12-06.
  2. "Maths in a minute: Symmetry". plus.maths.org (in English). 2016-06-23. Retrieved 2019-12-06.
  3. 3.0 3.1 Weisstein, Eric W. "पुराना फंक्शन". mathworld.wolfram.com (in English). Retrieved 2019-12-06.
  4. Jacobson (2009), p. 31.
  5. PJ Pahl, R Damrath (2001). "§7.5.5 Automorphisms". Mathematical foundations of computational engineering (Felix Pahl translation ed.). Springer. p. 376. ISBN 3-540-67995-2.
  6. Yale, Paul B. (May 1966). "कॉम्प्लेक्स नंबरों के ऑटोमोर्फिज्म" (PDF). Mathematics Magazine. 39 (3): 135–141. doi:10.2307/2689301. JSTOR 2689301.
  7. Petitjean, Michel (2007). "समरूपता की एक परिभाषा". Symmetry: Culture and Science. 18 (2–3): 99–119. Zbl 1274.58003.
  8. 8.0 8.1 Olver, Peter J. (1986). Applications of Lie Groups to Differential Equations. New York: Springer Verlag. ISBN 978-0-387-95000-6.


ग्रन्थसूची