समरूपता अवयव: Difference between revisions
From Vigyanwiki
(Created page with "{{Short description|Specific element of an algebraic structure}} गणित में, एक सेट (गणित) पर चलने वाले बाइनर...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Specific element of an algebraic structure}} | {{Short description|Specific element of an algebraic structure}} | ||
गणित में, एक [[सेट (गणित)]] पर चलने वाले [[बाइनरी ऑपरेशन]] का | गणित में, एक [[सेट (गणित)|सेट]] पर चलने वाले [[बाइनरी ऑपरेशन]] का पहचान तत्व, या तटस्थ तत्व, सेट का तत्व है जो ऑपरेशन लागू होने पर सेट के प्रत्येक तत्व को अपरिवर्तित छोड़ देता है।<ref>{{Cite web |url = http://mathworld.wolfram.com/IdentityElement.html |title = पहचान तत्व|last = Weisstein |first = Eric W. |authorlink = Eric W. Weisstein|website = mathworld.wolfram.com |language = en |access-date = 2019-12-01 }}</ref><ref>{{Cite web |url = https://www.merriam-webster.com/dictionary/identity+element |title = पहचान तत्व की परिभाषा|website = www.merriam-webster.com |access-date = 2019-12-01 }}</ref> इस अवधारणा का उपयोग [[बीजगणितीय संरचना]]ओं जैसे कि [[समूह (गणित)|समूह]] और वलय में किया जाता है। पहचान तत्व शब्द को अक्सर पहचान के लिए छोटा किया जाता है (जैसा कि योगात्मक पहचान और गुणक पहचान के मामले में)<ref name=":0">{{Cite web |url = https://www.encyclopedia.com/science/encyclopedias-almanacs-transcripts-and-maps/identity-element |title = पहचान तत्व|website = www.encyclopedia.com |access-date = 2019-12-01}}</ref> जब भ्रम की कोई संभावना नहीं होती है, लेकिन पहचान अंतर्निहित रूप से उस बाइनरी ऑपरेशन पर निर्भर करती है जिससे यह जुड़ा हुआ है। | ||
== परिभाषाएँ == | == परिभाषाएँ == | ||
होने देना {{math|(''S'', ∗)}} एक सेट हो{{mvar|S}} बाइनरी ऑपरेशन से लैस ∗। फिर एक तत्व{{mvar|e}} का{{mvar|S}} ए कहा जाता है {{visible anchor|left identity element|text='''[[left and right (algebra)|left]] identity'''}} यदि {{math|1=''e'' ∗ ''s'' = ''s''}} सभी के लिए{{mvar|s}} में{{mvar|S}}, और ए {{visible anchor|right identity element|text='''[[left and right (algebra)|right]] identity'''}} यदि {{math|1=''s'' ∗ ''e'' = ''s''}} सभी के लिए{{mvar|s}} में{{mvar|S}}.<ref>{{harvtxt|Fraleigh|1976|p=21}}</ref> यदि {{mvar|e}} एक बायीं पहचान और एक सही पहचान दोनों है, तो इसे a कहा जाता है{{visible anchor|two-sided identity}}, या बस एक{{visible anchor|identity}}.<ref>{{harvtxt|Beauregard|Fraleigh|1973|p=96}}</ref><ref>{{harvtxt|Fraleigh|1976|p=18}}</ref><ref>{{harvtxt|Herstein|1964|p=26}}</ref><ref>{{harvtxt|McCoy|1973|p=17}}</ref><ref>{{Cite web|url=https://brilliant.org/wiki/identity-element/|title=पहचान तत्व {{!}} शानदार गणित और विज्ञान विकी|website=brilliant.org|language=en-us|access-date=2019-12-01}}</ref> | होने देना {{math|(''S'', ∗)}} एक सेट हो {{mvar|S}} बाइनरी ऑपरेशन से लैस ∗। फिर एक तत्व {{mvar|e}} का {{mvar|S}} ए कहा जाता है {{visible anchor|left identity element|text='''[[left and right (algebra)|left]] identity'''}} यदि {{math|1=''e'' ∗ ''s'' = ''s''}} सभी के लिए{{mvar|s}} में{{mvar|S}}, और ए {{visible anchor|right identity element|text='''[[left and right (algebra)|right]] identity'''}} यदि {{math|1=''s'' ∗ ''e'' = ''s''}} सभी के लिए{{mvar|s}} में{{mvar|S}}.<ref>{{harvtxt|Fraleigh|1976|p=21}}</ref> यदि {{mvar|e}} एक बायीं पहचान और एक सही पहचान दोनों है, तो इसे a कहा जाता है {{visible anchor|two-sided identity}}, या बस एक{{visible anchor|identity}}.<ref>{{harvtxt|Beauregard|Fraleigh|1973|p=96}}</ref><ref>{{harvtxt|Fraleigh|1976|p=18}}</ref><ref>{{harvtxt|Herstein|1964|p=26}}</ref><ref>{{harvtxt|McCoy|1973|p=17}}</ref><ref>{{Cite web|url=https://brilliant.org/wiki/identity-element/|title=पहचान तत्व {{!}} शानदार गणित और विज्ञान विकी|website=brilliant.org|language=en-us|access-date=2019-12-01}}</ref> | ||
जोड़ के संबंध में एक सर्वसमिका को योगात्मक तत्समक कहा जाता है|{{visible anchor|additive identity}}(अक्सर 0 के रूप में दर्शाया जाता है) और गुणन के संबंध में एक पहचान को कहा जाता है{{visible anchor|multiplicative identity}}(अक्सर 1 के रूप में दर्शाया जाता है)।<ref name=":0" />इन्हें सामान्य जोड़ और गुणा करने की आवश्यकता नहीं है - क्योंकि अंतर्निहित ऑपरेशन मनमाना हो सकता है। उदाहरण के लिए एक समूह | जोड़ के संबंध में एक सर्वसमिका को योगात्मक तत्समक कहा जाता है|{{visible anchor|additive identity}}(अक्सर 0 के रूप में दर्शाया जाता है) और गुणन के संबंध में एक पहचान को कहा जाता है{{visible anchor|multiplicative identity}}(अक्सर 1 के रूप में दर्शाया जाता है)।<ref name=":0" /> इन्हें सामान्य जोड़ और गुणा करने की आवश्यकता नहीं है - क्योंकि अंतर्निहित ऑपरेशन मनमाना हो सकता है। उदाहरण के लिए एक समूह के मामले में, पहचान तत्व को कभी-कभी केवल प्रतीक द्वारा निरूपित किया जाता है <math>e</math>. योज्य और गुणक पहचान के बीच अंतर का उपयोग अक्सर उन सेटों के लिए किया जाता है जो दोनों द्विआधारी संचालन का समर्थन करते हैं, जैसे कि रिंग , [[अभिन्न डोमेन]] और फ़ील्ड । गुणात्मक पहचान को अक्सर कहा जाता है{{visible anchor|unity}}बाद के संदर्भ में (एकता के साथ एक अंगूठी)।<ref>{{harvtxt|Beauregard|Fraleigh|1973|p=135}}</ref><ref>{{harvtxt|Fraleigh|1976|p=198}}</ref><ref>{{harvtxt|McCoy|1973|p=22}}</ref> इसे रिंग थ्योरी में एक इकाई (रिंग सिद्धांत) के साथ भ्रमित नहीं होना चाहिए, जो कि गुणक व्युत्क्रम वाला कोई भी तत्व है। अपनी परिभाषा के अनुसार, एकता अपने आप में अनिवार्य रूप से एक इकाई है।<ref>{{harvtxt|Fraleigh|1976|pp=198,266}}</ref><ref>{{harvtxt|Herstein|1964|p=106}}</ref> | ||
== उदाहरण == | == उदाहरण == | ||
{| class="wikitable" | {| class="wikitable" | ||
! | ! समूह !! Operation !! Identity | ||
|- | |- | ||
| [[Real number]]s || + ([[addition]]) || [[0 (number)|0]] | | [[Real number]]s || + ([[addition]]) || [[0 (number)|0]] | ||
| Line 42: | Line 40: | ||
| All [[function (mathematics)|functions]] from a set, {{mvar|M}}, to itself || ∘ ([[function composition]]) || [[Identity function]] | | All [[function (mathematics)|functions]] from a set, {{mvar|M}}, to itself || ∘ ([[function composition]]) || [[Identity function]] | ||
|- | |- | ||
| All [[distribution (mathematics)|distributions]] on a [[group (mathematics)|group]], {{mvar|G}} | | All [[distribution (mathematics)|distributions]] on a [[group (mathematics)|group]], {{mvar|G}} || ∗ ([[convolution]]) || {{math|''δ''}} ([[Dirac delta]]) | ||
|- | |- | ||
| [[Extended real number]]s || [[Minimum]]/infimum || +∞ | | [[Extended real number]]s || [[Minimum]]/infimum || +∞ | ||
| Line 74: | Line 72: | ||
| [[Homogeneous relation]]s on a set ''X'' || [[Relative product]] || [[Identity relation]] | | [[Homogeneous relation]]s on a set ''X'' || [[Relative product]] || [[Identity relation]] | ||
|} | |} | ||
== गुण == | == गुण == | ||
उदाहरण में S = {e, f} दी गई समानता के साथ, S एक अर्धसमूह है। की संभावना को प्रदर्शित करता है {{math|(''S'', ∗)}} कई वामपंथी पहचान रखने के लिए। वास्तव में, प्रत्येक तत्व एक वामपंथी पहचान हो सकता है। इसी तरह, कई सही पहचान हो सकती हैं। लेकिन अगर सही पहचान और बाईं पहचान दोनों हैं, तो उन्हें समान होना चाहिए, जिसके परिणामस्वरूप एक दो-तरफा पहचान होती है। | उदाहरण में S = {e, f} दी गई समानता के साथ, S एक अर्धसमूह है। की संभावना को प्रदर्शित करता है {{math|(''S'', ∗)}} कई वामपंथी पहचान रखने के लिए। वास्तव में, प्रत्येक तत्व एक वामपंथी पहचान हो सकता है। इसी तरह, कई सही पहचान हो सकती हैं। लेकिन अगर सही पहचान और बाईं पहचान दोनों हैं, तो उन्हें समान होना चाहिए, जिसके परिणामस्वरूप एक दो-तरफा पहचान होती है। | ||
| Line 81: | Line 77: | ||
इसे देखने के लिए ध्यान दें कि अगर {{mvar|l}} एक वाम पहचान है और {{mvar|r}} एक सही पहचान है, फिर {{math|1=''l'' = ''l'' ∗ ''r'' = ''r''}}. विशेष रूप से, एक से अधिक दो तरफा पहचान कभी नहीं हो सकती है: यदि दो थे, तो कहें {{mvar|e}} तथा {{mvar|f}}, फिर {{math|''e'' ∗ ''f''}} दोनों के बराबर होना होगा {{mvar|e}} तथा {{mvar|f}}. | इसे देखने के लिए ध्यान दें कि अगर {{mvar|l}} एक वाम पहचान है और {{mvar|r}} एक सही पहचान है, फिर {{math|1=''l'' = ''l'' ∗ ''r'' = ''r''}}. विशेष रूप से, एक से अधिक दो तरफा पहचान कभी नहीं हो सकती है: यदि दो थे, तो कहें {{mvar|e}} तथा {{mvar|f}}, फिर {{math|''e'' ∗ ''f''}} दोनों के बराबर होना होगा {{mvar|e}} तथा {{mvar|f}}. | ||
के लिए भी काफी संभव है {{math|(''S'', ∗)}} कोई पहचान तत्व नहीं होने के लिए,<ref>{{harvtxt|McCoy|1973|p=22}}</ref> जैसे गुणन संक्रिया के अंतर्गत सम पूर्णांकों की स्थिति।<ref name=":0" />एक अन्य सामान्य उदाहरण [[यूक्लिडियन वेक्टर]] का क्रॉस उत्पाद है, जहां | के लिए भी काफी संभव है {{math|(''S'', ∗)}} कोई पहचान तत्व नहीं होने के लिए,<ref>{{harvtxt|McCoy|1973|p=22}}</ref> जैसे गुणन संक्रिया के अंतर्गत सम पूर्णांकों की स्थिति।<ref name=":0" /> एक अन्य सामान्य उदाहरण [[यूक्लिडियन वेक्टर]] का क्रॉस उत्पाद है, जहां पहचान तत्व की अनुपस्थिति इस तथ्य से संबंधित है कि किसी भी गैर-शून्य क्रॉस उत्पाद की [[दिशा (ज्यामिति)|दिशा]] हमेशा किसी भी तत्व के गुणन के लिए [[ओर्थोगोनल]] होती है। यही है, मूल के समान दिशा में गैर-शून्य वेक्टर प्राप्त करना संभव नहीं है। फिर भी पहचान तत्व के बिना संरचना का एक और उदाहरण [[सकारात्मक संख्या]] [[प्राकृतिक संख्या]]ओं के योगात्मक अर्धसमूह को शामिल करता है। | ||
== यह भी देखें == | == यह भी देखें == | ||
| Line 88: | Line 84: | ||
* [[योगज प्रतिलोम]] | * [[योगज प्रतिलोम]] | ||
* [[सामान्यीकृत उलटा]] | * [[सामान्यीकृत उलटा]] | ||
* [[पहचान (गणित)]] | पहचान | * [[पहचान (गणित)|पहचान]] | पहचान | ||
* [[पहचान समारोह]] | * [[पहचान समारोह]] | ||
* [[उलटा तत्व]] | * [[उलटा तत्व]] | ||
| Line 99: | Line 95: | ||
{{reflist}} | {{reflist}} | ||
==ग्रन्थसूची== | ==ग्रन्थसूची== | ||
| Line 107: | Line 101: | ||
* {{ citation | last1 = Herstein | first1 = I. N. |authorlink = I. N. Herstein| title = Topics In Algebra | location = Waltham | publisher = [[Blaisdell Publishing Company]] | year = 1964 | isbn = 978-1114541016 }} | * {{ citation | last1 = Herstein | first1 = I. N. |authorlink = I. N. Herstein| title = Topics In Algebra | location = Waltham | publisher = [[Blaisdell Publishing Company]] | year = 1964 | isbn = 978-1114541016 }} | ||
* {{ citation | last1 = McCoy | first1 = Neal H. | title = Introduction To Modern Algebra, Revised Edition | location = Boston | publisher = [[Allyn and Bacon]] | year = 1973 | lccn = 68015225 }} | * {{ citation | last1 = McCoy | first1 = Neal H. | title = Introduction To Modern Algebra, Revised Edition | location = Boston | publisher = [[Allyn and Bacon]] | year = 1973 | lccn = 68015225 }} | ||
==इस पेज में लापता आंतरिक लिंक की सूची== | ==इस पेज में लापता आंतरिक लिंक की सूची== | ||
Revision as of 22:00, 1 March 2023
गणित में, एक सेट पर चलने वाले बाइनरी ऑपरेशन का पहचान तत्व, या तटस्थ तत्व, सेट का तत्व है जो ऑपरेशन लागू होने पर सेट के प्रत्येक तत्व को अपरिवर्तित छोड़ देता है।[1][2] इस अवधारणा का उपयोग बीजगणितीय संरचनाओं जैसे कि समूह और वलय में किया जाता है। पहचान तत्व शब्द को अक्सर पहचान के लिए छोटा किया जाता है (जैसा कि योगात्मक पहचान और गुणक पहचान के मामले में)[3] जब भ्रम की कोई संभावना नहीं होती है, लेकिन पहचान अंतर्निहित रूप से उस बाइनरी ऑपरेशन पर निर्भर करती है जिससे यह जुड़ा हुआ है।
परिभाषाएँ
होने देना (S, ∗) एक सेट हो S बाइनरी ऑपरेशन से लैस ∗। फिर एक तत्व e का S ए कहा जाता है left identity यदि e ∗ s = s सभी के लिएs मेंS, और ए right identity यदि s ∗ e = s सभी के लिएs मेंS.[4] यदि e एक बायीं पहचान और एक सही पहचान दोनों है, तो इसे a कहा जाता है two-sided identity, या बस एकidentity.[5][6][7][8][9] जोड़ के संबंध में एक सर्वसमिका को योगात्मक तत्समक कहा जाता है|additive identity(अक्सर 0 के रूप में दर्शाया जाता है) और गुणन के संबंध में एक पहचान को कहा जाता हैmultiplicative identity(अक्सर 1 के रूप में दर्शाया जाता है)।[3] इन्हें सामान्य जोड़ और गुणा करने की आवश्यकता नहीं है - क्योंकि अंतर्निहित ऑपरेशन मनमाना हो सकता है। उदाहरण के लिए एक समूह के मामले में, पहचान तत्व को कभी-कभी केवल प्रतीक द्वारा निरूपित किया जाता है . योज्य और गुणक पहचान के बीच अंतर का उपयोग अक्सर उन सेटों के लिए किया जाता है जो दोनों द्विआधारी संचालन का समर्थन करते हैं, जैसे कि रिंग , अभिन्न डोमेन और फ़ील्ड । गुणात्मक पहचान को अक्सर कहा जाता हैunityबाद के संदर्भ में (एकता के साथ एक अंगूठी)।[10][11][12] इसे रिंग थ्योरी में एक इकाई (रिंग सिद्धांत) के साथ भ्रमित नहीं होना चाहिए, जो कि गुणक व्युत्क्रम वाला कोई भी तत्व है। अपनी परिभाषा के अनुसार, एकता अपने आप में अनिवार्य रूप से एक इकाई है।[13][14]
उदाहरण
| समूह | Operation | Identity |
|---|---|---|
| Real numbers | + (addition) | 0 |
| Real numbers | · (multiplication) | 1 |
| Complex numbers | + (addition) | 0 |
| Complex numbers | · (multiplication) | 1 |
| Positive integers | Least common multiple | 1 |
| Non-negative integers | Greatest common divisor | 0 (under most definitions of GCD) |
| Vectors | Vector addition | Zero vector |
| m-by-n matrices | Matrix addition | Zero matrix |
| n-by-n square matrices | Matrix multiplication | In (identity matrix) |
| m-by-n matrices | ○ (Hadamard product) | Jm, n (matrix of ones) |
| All functions from a set, M, to itself | ∘ (function composition) | Identity function |
| All distributions on a group, G | ∗ (convolution) | δ (Dirac delta) |
| Extended real numbers | Minimum/infimum | +∞ |
| Extended real numbers | Maximum/supremum | −∞ |
| Subsets of a set M | ∩ (intersection) | M |
| Sets | ∪ (union) | ∅ (empty set) |
| Strings, lists | Concatenation | Empty string, empty list |
| A Boolean algebra | ∧ (logical and) | ⊤ (truth) |
| A Boolean algebra | ↔ (logical biconditional) | ⊤ (truth) |
| A Boolean algebra | ∨ (logical or) | ⊥ (falsity) |
| A Boolean algebra | ⊕ (exclusive or) | ⊥ (falsity) |
| Knots | Knot sum | Unknot |
| Compact surfaces | # (connected sum) | S2 |
| Groups | Direct product | Trivial group |
| Two elements, {e, f} | ∗ defined by e ∗ e = f ∗ e = e and f ∗ f = e ∗ f = f |
Both e and f are left identities, but there is no right identity and no two-sided identity |
| Homogeneous relations on a set X | Relative product | Identity relation |
गुण
उदाहरण में S = {e, f} दी गई समानता के साथ, S एक अर्धसमूह है। की संभावना को प्रदर्शित करता है (S, ∗) कई वामपंथी पहचान रखने के लिए। वास्तव में, प्रत्येक तत्व एक वामपंथी पहचान हो सकता है। इसी तरह, कई सही पहचान हो सकती हैं। लेकिन अगर सही पहचान और बाईं पहचान दोनों हैं, तो उन्हें समान होना चाहिए, जिसके परिणामस्वरूप एक दो-तरफा पहचान होती है।
इसे देखने के लिए ध्यान दें कि अगर l एक वाम पहचान है और r एक सही पहचान है, फिर l = l ∗ r = r. विशेष रूप से, एक से अधिक दो तरफा पहचान कभी नहीं हो सकती है: यदि दो थे, तो कहें e तथा f, फिर e ∗ f दोनों के बराबर होना होगा e तथा f.
के लिए भी काफी संभव है (S, ∗) कोई पहचान तत्व नहीं होने के लिए,[15] जैसे गुणन संक्रिया के अंतर्गत सम पूर्णांकों की स्थिति।[3] एक अन्य सामान्य उदाहरण यूक्लिडियन वेक्टर का क्रॉस उत्पाद है, जहां पहचान तत्व की अनुपस्थिति इस तथ्य से संबंधित है कि किसी भी गैर-शून्य क्रॉस उत्पाद की दिशा हमेशा किसी भी तत्व के गुणन के लिए ओर्थोगोनल होती है। यही है, मूल के समान दिशा में गैर-शून्य वेक्टर प्राप्त करना संभव नहीं है। फिर भी पहचान तत्व के बिना संरचना का एक और उदाहरण सकारात्मक संख्या प्राकृतिक संख्याओं के योगात्मक अर्धसमूह को शामिल करता है।
यह भी देखें
- शोषक तत्व
- योगज प्रतिलोम
- सामान्यीकृत उलटा
- पहचान | पहचान
- पहचान समारोह
- उलटा तत्व
- मोनोइड
- छद्म-अंगूठी #पहचान से कमजोर गुण|छद्म-अंगूठी
- quasigroup
- यूनिटल (बहुविकल्पी)
नोट्स और संदर्भ
- ↑ Weisstein, Eric W. "पहचान तत्व". mathworld.wolfram.com (in English). Retrieved 2019-12-01.
- ↑ "पहचान तत्व की परिभाषा". www.merriam-webster.com. Retrieved 2019-12-01.
- ↑ 3.0 3.1 3.2 "पहचान तत्व". www.encyclopedia.com. Retrieved 2019-12-01.
- ↑ Fraleigh (1976, p. 21)
- ↑ Beauregard & Fraleigh (1973, p. 96)
- ↑ Fraleigh (1976, p. 18)
- ↑ Herstein (1964, p. 26)
- ↑ McCoy (1973, p. 17)
- ↑ "पहचान तत्व | शानदार गणित और विज्ञान विकी". brilliant.org (in English). Retrieved 2019-12-01.
- ↑ Beauregard & Fraleigh (1973, p. 135)
- ↑ Fraleigh (1976, p. 198)
- ↑ McCoy (1973, p. 22)
- ↑ Fraleigh (1976, pp. 198, 266)
- ↑ Herstein (1964, p. 106)
- ↑ McCoy (1973, p. 22)
ग्रन्थसूची
- Beauregard, Raymond A.; Fraleigh, John B. (1973), A First Course In Linear Algebra: with Optional Introduction to Groups, Rings, and Fields, Boston: Houghton Mifflin Company, ISBN 0-395-14017-X
- Fraleigh, John B. (1976), A First Course In Abstract Algebra (2nd ed.), Reading: Addison-Wesley, ISBN 0-201-01984-1
- Herstein, I. N. (1964), Topics In Algebra, Waltham: Blaisdell Publishing Company, ISBN 978-1114541016
- McCoy, Neal H. (1973), Introduction To Modern Algebra, Revised Edition, Boston: Allyn and Bacon, LCCN 68015225
इस पेज में लापता आंतरिक लिंक की सूची
- अंक शास्त्र
- अंगूठी (गणित)
- क्षेत्र (गणित)
- इकाई (अंगूठी सिद्धांत)
- गुणात्मक प्रतिलोम
- semigroup
- पार उत्पाद
अग्रिम पठन
- M. Kilp, U. Knauer, A.V. Mikhalev, Monoids, Acts and Categories with Applications to Wreath Products and Graphs, De Gruyter Expositions in Mathematics vol. 29, Walter de Gruyter, 2000, ISBN 3-11-015248-7, p. 14–15
