समरूपता अवयव: Difference between revisions

From Vigyanwiki
No edit summary
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> जब भ्रम की कोई संभावना नहीं होती है, लेकिन पहचान अंतर्निहित रूप से उस बाइनरी ऑपरेशन पर निर्भर करती है जिससे यह जुड़ा हुआ है।
गणित में, एक समुच्चय पर संचालित [[बाइनरी ऑपरेशन|द्विआधारी ऑपरेशन (द्विआधारी संचालन)]] का सर्वसमिका तत्व, या तटस्थ तत्व, समुच्चय का तत्व है जो संचालन प्रयुक्त होने पर समुच्चय के प्रत्येक तत्व को अपरिवर्तित छोड़ देता है।<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}} a कहा जाता है {{visible anchor|left identity element|text='''[[left and right (algebra)|left]] identity'''}} यदि {{math|1=''e'' ∗ ''s'' = ''s''}} सभी के लिए {{mvar|s}} में {{mvar|S}}, और a {{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" /> इन्हें सामान्य जोड़ और गुणा करने की आवश्यकता नहीं है - क्योंकि अंतर्निहित ऑपरेशन मनमाना हो सकता है। उदाहरण के लिए एक समूह के मामले में, पहचान तत्व को कभी-कभी केवल प्रतीक द्वारा निरूपित किया जाता है <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>
 
जोड़ के संबंध में एक सर्वसमिका को योगात्मक तत्समक कहा जाता है|{{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
! समूह !! Operation !! सर्वसमिका
|-
|-
| [[Real number]]s || + ([[addition]]) || [[0 (number)|0]]
| [[Real number|वास्तविक संख्याएँ]] || + ([[addition|जोड़]]) || [[0 (number)|0]]
|-
|-
| Real numbers || · ([[multiplication]]) || [[1 (number)|1]]
| वास्तविक संख्याएँ || · ([[multiplication|घटाव]]) || [[1 (number)|1]]
|-
|-
|[[Complex number|Complex numbers]]
|[[Complex number|मिश्रित संख्याएँ]]
| + (addition)
| + (जोड़)
| 0
| 0
|-
|-
|Complex numbers
|मिश्रित संख्याएँ
|· (multiplication)
|· (गुणा)
| 1
| 1
|-
|-
| [[Positive integer]]s || [[Least common multiple]] || 1
| [[Positive integer|धनात्मक पूर्णांक]] || [[Least common multiple|न्यूनतम समापवर्तक]] || 1
|-
|-
| [[Non-negative integer]]s || [[Greatest common divisor]] || 0 (under most definitions of GCD)
| [[Non-negative integer|गैर-ऋणात्मक पूर्णांक]] || [[Greatest common divisor|महत्तम सामान्य भाजक]] || 0 (जीसीडी की अधिकांश परिभाषाओं के अनुसार)
|-
|-
| [[Vector (mathematics and physics)|Vectors]] || [[Vector addition]]
| [[Vector (mathematics and physics)|वैक्टर]] || [[Vector addition|वैक्टर]] [[Vector addition|जोड़]]
| [[Zero vector]]
| [[Zero vector|जीरो]]  [[Vector (mathematics and physics)|वैक्टर]]
|-
|-
<!-- ||' ''R'''<sup>''n''</sup> || · (multiplication) || [[1 (number)|1]] -->
<!-- ||' ''R'''<sup>''n''</sup> || · (multiplication) || [[1 (number)|1]] -->
| {{mvar|m}}-by-{{mvar|n}} [[matrix (mathematics)|matrices]] || [[Matrix addition]]
| {{mvar|m}}-by-{{mvar|n}} [[matrix (mathematics)|आव्युह]] || [[Matrix addition|आव्युह जोड़]]
| [[Zero matrix]]
| [[Zero vector|जीरो]] आव्युह
|-
|-
| {{mvar|n}}-by-{{mvar|n}} square matrices || [[Matrix multiplication]]
| {{mvar|n}}-by-{{mvar|n}} वर्ग आव्युह || [[Matrix multiplication|आव्युह गुणा]]
| ''I''<sub>''n''</sub> ([[identity matrix]])
| ''I''<sub>''n''</sub> ([[identity matrix|सर्वसमिका आव्युह]])
|-
|-
| {{mvar|m}}-by-{{mvar|n}} matrices || ○ ([[Hadamard product (matrices)|Hadamard product]])
| {{mvar|m}}-by-{{mvar|n}} आव्युह || ○ ([[Hadamard product (matrices)|हैडमार्ड उत्पाद]])
| {{math|''J''<sub>''m'', ''n''</sub>}} ([[matrix of ones]])
| {{math|''J''<sub>''m'', ''n''</sub>}} ([[matrix of ones|लोगों का आव्युह]])
|-
|-
| All [[function (mathematics)|functions]] from a set,&nbsp;{{mvar|M}}, to itself || ∘ ([[function composition]]) || [[Identity function]]
| एक समुच्चय M से स्वयं तक सभी [[function composition|प्रकार्य]] || ∘ ([[function composition|प्रकार्य संघटन]]) || [[Identity function|सर्वसमिका प्रकार्य]]
|-
|-
| All [[distribution (mathematics)|distributions]] on a [[group (mathematics)|group]],&nbsp;{{mvar|G}} || ∗ ([[convolution]]) || {{math|''δ''}} ([[Dirac delta]])
| [[convolution|समूह]] पर सभी [[Identity function|वितरण]], G || ∗ [[convolution|सवलन]](कनवल्शन) || {{math|''δ''}} ([[Dirac delta|डायराक डेल्टा]])
|-
|-
| [[Extended real number]]s || [[Minimum]]/infimum || +∞
| [[Extended real number|विस्तारित वास्तविक संख्याएँ]] || [[Dirac delta|न्यूनतम]]/अनंत || +∞
|-
|-
| Extended real numbers || [[Maximum]]/supremum || −∞
| विस्तारित वास्तविक संख्याएँ || [[Dirac delta|अधिकतम]]/सर्वोच्च || −∞
|-
|-
| Subsets of a [[Set (mathematics)|set]]&nbsp;{{mvar|M}} || ∩ ([[set intersection|intersection]]) || {{mvar|M}}
| [[Identity function|समुच्चय]] M के उपसमुच्चय || ∩ ([[set intersection|प्रतिच्छेदन]]) || {{mvar|M}}
|-
|-
| Sets || ∪ ([[set union|union]]) || ∅ ([[empty set]])
| [[Identity function|समुच्चय]]|| ∪ ([[set union|संघ]]) || ∅ ([[empty set|रिक्त समुच्चय]])
|
|-
|-
| [[string (computer science)|Strings]], [[tuple|lists]] || [[Concatenation]] || [[Empty string]], empty list
| [[string (computer science)|स्ट्रिंग्स]], [[tuple|सूचियाँ]] || [[Concatenation|संयोजन]] || [[Empty string|रिक्त]] [[string (computer science)|स्ट्रिंग]], [[Empty string|रिक्त]] [[tuple|सूची]]
|-
|-
| A [[Boolean algebra (structure)|Boolean algebra]] || ∧ ([[logical and]]) || ⊤ (truth)
| [[Boolean algebra (structure)|बूलियन बीजगणित]]|| ∧ ([[logical and|तार्किक और]]) || ⊤ (सत्य)
|-
|-
| A Boolean algebra || ↔ ([[logical biconditional]]) || ⊤ (truth)
| बूलियन बीजगणित || ↔ ([[logical biconditional|तार्किक द्विप्रतिबंध]]) || ⊤ (सत्य)
|-
|-
| A Boolean algebra || ∨ ([[logical or]]) || ⊥ (falsity)
| बूलियन बीजगणित || ∨ ([[logical or|तार्किक अथवा]]) || ⊥ (असत्यता)
|-
|-
| A Boolean algebra || ⊕ ([[exclusive or]]) || ⊥ (falsity)
| बूलियन बीजगणित || ⊕ ([[exclusive or|विशिष्ट अथवा]]) || ⊥ (असत्यता)
|-
|-
| [[knot (mathematics)|Knots]] || [[Knot sum]] || [[Unknot]]
| [[knot (mathematics)|गांठें]] || [[exclusive or|गांठों का योग]]|| [[Unknot|बिना गाँठ]]
|-
|-
| [[Compact surfaces]] || # ([[connected sum]]) || [[sphere|''S''<sup>2</sup>]]
| [[Compact surfaces|सघन सतहें]] || # ([[Knot sum|जुड़ा हुआ योग]]) || [[sphere|''S''<sup>2</sup>]]
|-
|-
| [[Group (mathematics)|Groups]] || [[Direct product]] || [[Trivial group]]
| [[Group (mathematics)|समूह]] || [[Direct product|प्रत्यक्ष उत्पाद]] || [[Trivial group|तुच्छ समूह]]
|-
|-
| Two elements, {{math|{''e'', ''f''} }}
| दो तत्व, {{math|{''e'', ''f''} }}
| ∗ defined by<br> {{math|1=''e'' ∗ ''e'' = ''f'' ∗ ''e'' = ''e''}} and <br> {{math|1=''f'' ∗ ''f'' = ''e'' ∗ ''f'' = ''f''}}
| {{math|1=''e'' ∗ ''e'' = ''f'' ∗ ''e'' = ''e''}} और  <br> {{math|1=''f'' ∗ ''f'' = ''e'' ∗ ''f'' = ''f''}}  
| Both {{mvar|e}} and {{mvar|f}} are left identities,<br> but there is no right identity<br> and no two-sided identity
द्वारा परिभाषित
| {{mvar|e}} और  {{mvar|f}} दोनों बाईं सर्वसमिका हैं,
लेकिन कोई सही सर्वसमिका नहीं है
 
और कोई दो पक्षीय सर्वसमिका नहीं
|-
|-
| [[Homogeneous relation]]s on a set ''X'' || [[Relative product]] || [[Identity relation]]
| समुच्चय ''X'' पर [[Homogeneous relation|''सजातीय संबंध'']] || [[Relative product|सापेक्ष उत्पाद]] || [[Identity relation|सर्वसमिका संबंध]]
|}
|}
== गुण ==
== गुण ==
उदाहरण में S = {e, f} दी गई समानता के साथ, S एक अर्धसमूह है। की संभावना को प्रदर्शित करता है {{math|(''S'', ∗)}} कई वामपंथी पहचान रखने के लिए। वास्तव में, प्रत्येक तत्व एक वामपंथी पहचान हो सकता है। इसी तरह, कई सही पहचान हो सकती हैं। लेकिन अगर सही पहचान और बाईं पहचान दोनों हैं, तो उन्हें समान होना चाहिए, जिसके परिणामस्वरूप एक दो-तरफा पहचान होती है।
उदाहरण में S = {e, f} दी गई समानता के साथ, S एक अर्धसमूह है। की संभावना को प्रदर्शित करता है {{math|(''S'', ∗)}} कई वामपंथी सर्वसमिका रखने के लिए। वास्तव में, प्रत्येक तत्व एक वामपंथी सर्वसमिका हो सकता है। इसी तरह, कई सही सर्वसमिका हो सकती हैं। किंतु अगर सही सर्वसमिका और बाईं सर्वसमिका दोनों हैं, तो उन्हें समान होना चाहिए, जिसके परिणामस्वरूप एक दो-पक्षीय सर्वसमिका होती है।


इसे देखने के लिए ध्यान दें कि अगर {{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" /> एक अन्य सामान्य उदाहरण [[यूक्लिडियन वेक्टर]] का क्रॉस उत्पाद है, जहां सर्वसमिका तत्व की अनुपस्थिति इस तथ्य से संबंधित है कि किसी भी गैर-शून्य क्रॉस उत्पाद की [[दिशा (ज्यामिति)|दिशा]] हमेशा किसी भी तत्व के गुणन के लिए [[ओर्थोगोनल]] होती है। यही है, मूल के समान दिशा में गैर-शून्य वेक्टर प्राप्त करना संभव नहीं है। फिर भी सर्वसमिका तत्व के बिना संरचना का एक और उदाहरण [[सकारात्मक संख्या]] [[प्राकृतिक संख्या]]ओं के योगात्मक अर्धसमूह को शामिल करता है।


== यह भी देखें ==
== यह भी देखें ==


* [[शोषक तत्व]]
* [[शोषक तत्व|अवशोषित तत्व]]
* [[योगज प्रतिलोम]]
* [[योगज प्रतिलोम|योगज(योगात्मक) प्रतिलोम]]
* [[सामान्यीकृत उलटा]]
* [[सामान्यीकृत उलटा|सामान्यीकृत प्रतिलोम]]
* [[पहचान (गणित)|पहचान]] | पहचान
* [[सामान्यीकृत उलटा|सर्वसमिका(समीकरण)]]
* [[पहचान समारोह]]
* [[पहचान समारोह|सर्वसमिका प्रकार्य]]  
* [[उलटा तत्व]]
* [[उलटा तत्व|प्रतिलोम तत्व]]
* [[मोनोइड]]
* [[मोनोइड]]
* छद्म-अंगूठी #पहचान से कमजोर गुण|छद्म-अंगूठी
* '''छद्म-वलय #सर्वसमिका से कमजोर गुण|छद्म-वलय''' [[मोनोइड|छद्म-वलय]]
* [[quasigroup]]
* [[quasigroup|अर्धसमूह(क्वासीग्रुप]])
* [[यूनिटल (बहुविकल्पी)]]
* [[यूनिटल (बहुविकल्पी)|यूनिटल (असंबद्धता)]]


== नोट्स और संदर्भ ==
== नोट्स और संदर्भ ==
Line 104: Line 110:


*अंक शास्त्र
*अंक शास्त्र
*अंगूठी (गणित)
*वलय '''(गणित)'''
*क्षेत्र (गणित)
*क्षेत्र '''(गणित)'''
*इकाई (अंगूठी सिद्धांत)
*इकाई (वलय सिद्धांत)
*गुणात्मक प्रतिलोम
*गुणात्मक प्रतिलोम
*semigroup
*अर्धसमूह
*पार उत्पाद
*पार उत्पाद
==अग्रिम पठन==
==अग्रिम पठन==

Revision as of 00:20, 2 March 2023

गणित में, एक समुच्चय पर संचालित द्विआधारी ऑपरेशन (द्विआधारी संचालन) का सर्वसमिका तत्व, या तटस्थ तत्व, समुच्चय का तत्व है जो संचालन प्रयुक्त होने पर समुच्चय के प्रत्येक तत्व को अपरिवर्तित छोड़ देता है।[1][2] इस अवधारणा का उपयोग बीजगणितीय संरचनाओं जैसे कि समूहों और वलयों में किया जाता है। सर्वसमिका(सर्वसमिका) तत्व शब्द को प्रायः सर्वसमिका के लिए छोटा किया जाता है (जैसा कि योगात्मक सर्वसमिका और गुणक सर्वसमिका की स्थितियों में)[3] जब भ्रम की कोई संभावना नहीं होती है, किंतु सर्वसमिका अंतर्निहित रूप से उस द्विआधारी संचालन पर निर्भर करती है जिससे यह जुड़ा हुआ है।

परिभाषाएँ

होने देना (S, ∗) एक समुच्चय हो S द्विआधारी संचालन से लैस ∗। फिर एक तत्व e का S a कहा जाता है left identity यदि es = s सभी के लिए s में S, और a right identity यदि se = 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 सर्वसमिका
वास्तविक संख्याएँ + (जोड़) 0
वास्तविक संख्याएँ · (घटाव) 1
मिश्रित संख्याएँ + (जोड़) 0
मिश्रित संख्याएँ · (गुणा) 1
धनात्मक पूर्णांक न्यूनतम समापवर्तक 1
गैर-ऋणात्मक पूर्णांक महत्तम सामान्य भाजक 0 (जीसीडी की अधिकांश परिभाषाओं के अनुसार)
वैक्टर वैक्टर जोड़ जीरो वैक्टर
m-by-n आव्युह आव्युह जोड़ जीरो आव्युह
n-by-n वर्ग आव्युह आव्युह गुणा In (सर्वसमिका आव्युह)
m-by-n आव्युह ○ (हैडमार्ड उत्पाद) Jm, n (लोगों का आव्युह)
एक समुच्चय M से स्वयं तक सभी प्रकार्य ∘ (प्रकार्य संघटन) सर्वसमिका प्रकार्य
समूह पर सभी वितरण, G सवलन(कनवल्शन) δ (डायराक डेल्टा)
विस्तारित वास्तविक संख्याएँ न्यूनतम/अनंत +∞
विस्तारित वास्तविक संख्याएँ अधिकतम/सर्वोच्च −∞
समुच्चय M के उपसमुच्चय ∩ (प्रतिच्छेदन) M
समुच्चय ∪ (संघ) ∅ (रिक्त समुच्चय)
स्ट्रिंग्स, सूचियाँ संयोजन रिक्त स्ट्रिंग, रिक्त सूची
बूलियन बीजगणित ∧ (तार्किक और) ⊤ (सत्य)
बूलियन बीजगणित ↔ (तार्किक द्विप्रतिबंध) ⊤ (सत्य)
बूलियन बीजगणित ∨ (तार्किक अथवा) ⊥ (असत्यता)
बूलियन बीजगणित ⊕ (विशिष्ट अथवा) ⊥ (असत्यता)
गांठें गांठों का योग बिना गाँठ
सघन सतहें # (जुड़ा हुआ योग) S2
समूह प्रत्यक्ष उत्पाद तुच्छ समूह
दो तत्व, {e, f}  ee = fe = e और
ff = ef = f

द्वारा परिभाषित

e और f दोनों बाईं सर्वसमिका हैं,

लेकिन कोई सही सर्वसमिका नहीं है

और कोई दो पक्षीय सर्वसमिका नहीं

समुच्चय X पर सजातीय संबंध सापेक्ष उत्पाद सर्वसमिका संबंध

गुण

उदाहरण में S = {e, f} दी गई समानता के साथ, S एक अर्धसमूह है। की संभावना को प्रदर्शित करता है (S, ∗) कई वामपंथी सर्वसमिका रखने के लिए। वास्तव में, प्रत्येक तत्व एक वामपंथी सर्वसमिका हो सकता है। इसी तरह, कई सही सर्वसमिका हो सकती हैं। किंतु अगर सही सर्वसमिका और बाईं सर्वसमिका दोनों हैं, तो उन्हें समान होना चाहिए, जिसके परिणामस्वरूप एक दो-पक्षीय सर्वसमिका होती है।

इसे देखने के लिए ध्यान दें कि अगर l एक वाम सर्वसमिका है और r एक सही सर्वसमिका है, फिर l = lr = r. विशेष रूप से, एक से अधिक दो पक्षीय सर्वसमिका कभी नहीं हो सकती है: यदि दो थे, तो कहें e तथा f, फिर ef दोनों के बराबर होना होगा e तथा f.

के लिए भी काफी संभव है (S, ∗) कोई सर्वसमिका तत्व नहीं होने के लिए,[15] जैसे गुणन संक्रिया के अंतर्गत सम पूर्णांकों की स्थिति।[3] एक अन्य सामान्य उदाहरण यूक्लिडियन वेक्टर का क्रॉस उत्पाद है, जहां सर्वसमिका तत्व की अनुपस्थिति इस तथ्य से संबंधित है कि किसी भी गैर-शून्य क्रॉस उत्पाद की दिशा हमेशा किसी भी तत्व के गुणन के लिए ओर्थोगोनल होती है। यही है, मूल के समान दिशा में गैर-शून्य वेक्टर प्राप्त करना संभव नहीं है। फिर भी सर्वसमिका तत्व के बिना संरचना का एक और उदाहरण सकारात्मक संख्या प्राकृतिक संख्याओं के योगात्मक अर्धसमूह को शामिल करता है।

यह भी देखें

नोट्स और संदर्भ

  1. Weisstein, Eric W. "पहचान तत्व". mathworld.wolfram.com (in English). Retrieved 2019-12-01.
  2. "पहचान तत्व की परिभाषा". www.merriam-webster.com. Retrieved 2019-12-01.
  3. 3.0 3.1 3.2 "पहचान तत्व". www.encyclopedia.com. Retrieved 2019-12-01.
  4. Fraleigh (1976, p. 21)
  5. Beauregard & Fraleigh (1973, p. 96)
  6. Fraleigh (1976, p. 18)
  7. Herstein (1964, p. 26)
  8. McCoy (1973, p. 17)
  9. "पहचान तत्व | शानदार गणित और विज्ञान विकी". brilliant.org (in English). Retrieved 2019-12-01.
  10. Beauregard & Fraleigh (1973, p. 135)
  11. Fraleigh (1976, p. 198)
  12. McCoy (1973, p. 22)
  13. Fraleigh (1976, pp. 198, 266)
  14. Herstein (1964, p. 106)
  15. McCoy (1973, p. 22)

ग्रन्थसूची

इस पेज में लापता आंतरिक लिंक की सूची

  • अंक शास्त्र
  • वलय (गणित)
  • क्षेत्र (गणित)
  • इकाई (वलय सिद्धांत)
  • गुणात्मक प्रतिलोम
  • अर्धसमूह
  • पार उत्पाद

अग्रिम पठन

  • 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