रद्दीकरण गुण: Difference between revisions
No edit summary |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Short description|Extension of "invertibility" in abstract algebra}} | {{Short description|Extension of "invertibility" in abstract algebra}} | ||
{{About|the extension of 'invertibility' in [[abstract algebra]]|cancellation of terms in an [[equation]] or in [[elementary algebra]]|cancelling out}} | {{About|the extension of 'invertibility' in [[abstract algebra]]|cancellation of terms in an [[equation]] or in [[elementary algebra]]|cancelling out}} | ||
गणित में, रद्दीकरण की धारणा व्युत्क्रमणीय की धारणा का सामान्यीकरण है। | गणित में, रद्दीकरण की धारणा व्युत्क्रमणीय की धारणा का सामान्यीकरण है। | ||
[[मैग्मा (बीजगणित)]] में एक तत्व '' | [[मैग्मा (बीजगणित)]] में एक तत्व ''A'' (''M'', ∗)यदि ''M'' में सभी ''B'' और ''C'' के लिए के पास बाईं रद्दीकरण संपत्ति है (या बाईं-रद्द है) {{nowrap|1=''a'' ∗ ''b'' = ''a'' ∗ ''c''}} सदैव इसका तात्पर्य यही है {{nowrap|1=''b'' = ''c''}}. | ||
मैग्मा में एक तत्व (''M'', ∗) यदि '' | मैग्मा में एक तत्व (''M'', ∗) यदि ''M'' में सभी ''B'' और ''C'' के लिए के पास सही रद्दीकरण संपत्ति है (या सही-रद्दीकरण है) {{nowrap|1=''b'' ∗ ''a'' = ''c'' ∗ ''a''}} सदैव इसका तात्पर्य यही है {{nowrap|1=''b'' = ''c''}}. | ||
मैग्मा में एक तत्व {{nowrap|1=(''M'', ∗)}} में दो तरफा रद्दीकरण गुण है (या रद्दीकरणीय है) यदि यह बाएँ और दाएँ दोनों तरह से रद्दीकरणात्मक है। | मैग्मा में एक तत्व {{nowrap|1=(''M'', ∗)}} में दो तरफा रद्दीकरण गुण है (या रद्दीकरणीय है) यदि यह बाएँ और दाएँ दोनों तरह से रद्दीकरणात्मक है। | ||
एक मैग्मा {{nowrap|(''M'', ∗)}} के पास बाईं रद्दीकरण संपत्ति है (या बाईं ओर रद्द करने योग्य है) यदि मैग्मा में सभी | एक मैग्मा {{nowrap|(''M'', ∗)}} के पास बाईं रद्दीकरण संपत्ति है (या बाईं ओर रद्द करने योग्य है) यदि मैग्मा में सभी A बाईं रद्द करने योग्य हैं, और इसी तरह की परिभाषाएं दाएं रद्द करने योग्य या दो तरफा रद्द करने योग्य गुणों के लिए लागू होती हैं। | ||
एक बाएँ-उलटा तत्व बाएँ-रद्द करने योग्य है, और समान रूप से दाएँ और दो-तरफा के लिए है। | एक बाएँ-उलटा तत्व बाएँ-रद्द करने योग्य है, और समान रूप से दाएँ और दो-तरफा के लिए है। | ||
| Line 35: | Line 34: | ||
<!-- However, if ''both'' '''a'''·'''b'''='''a'''·'''c''' ''and'' '''a'''×'''b'''='''a'''×'''c''', then one ''can'' conclude that '''b'''='''c'''. This is because for dot and cross products to be simultaneously equal, then both '''a'''·('''b'''-'''c''') ''and'' '''a'''x('''b'''-'''c''') must be zero by the [[distributive law]]. This means that both the sine and cosine of the angle between '''a''' and ('''b'''-'''c''') must be zero, which is not possible because sin<sup>2</sup>x+cos<sup>2</sup>x is ''identically'' 1.--> | <!-- However, if ''both'' '''a'''·'''b'''='''a'''·'''c''' ''and'' '''a'''×'''b'''='''a'''×'''c''', then one ''can'' conclude that '''b'''='''c'''. This is because for dot and cross products to be simultaneously equal, then both '''a'''·('''b'''-'''c''') ''and'' '''a'''x('''b'''-'''c''') must be zero by the [[distributive law]]. This means that both the sine and cosine of the angle between '''a''' and ('''b'''-'''c''') must be zero, which is not possible because sin<sup>2</sup>x+cos<sup>2</sup>x is ''identically'' 1.--> | ||
[[मैट्रिक्स गुणन|आव्यूह गुणन]] भी आवश्यक रूप से रद्दीकरण कानून का पालन नहीं करता है। यदि {{nowrap|1='''AB''' = '''AC'''}} और {{nowrap|'''A''' ≠ 0}}, तो किसी को यह दिखाना होगा कि आव्यूह | [[मैट्रिक्स गुणन|आव्यूह गुणन]] भी आवश्यक रूप से रद्दीकरण कानून का पालन नहीं करता है। यदि {{nowrap|1='''AB''' = '''AC'''}} और {{nowrap|'''A''' ≠ 0}}, तो किसी को यह दिखाना होगा कि आव्यूह A ''उलटा'' है (अर्थात है {{nowrap|[[determinant|det]]('''A''') ≠ 0}}) इससे पहले कि कोई यह निष्कर्ष निकाल सके {{nowrap|1='''B''' = '''C'''}}. यदि {{nowrap|1=det('''A''') = 0}}, तो B, C के बराबर नहीं हो सकता, क्योंकि [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] समीकरण {{nowrap|1='''AX''' = '''B'''}} के पास गैर-उलटा आव्यूह A के लिए कोई अद्वितीय समाधान नहीं होगा। | ||
यह भी ध्यान दें कि यदि {{nowrap|1='''AB''' = '''CA'''}} और {{nowrap|'''A''' ≠ 0}} और आव्यूह | यह भी ध्यान दें कि यदि {{nowrap|1='''AB''' = '''CA'''}} और {{nowrap|'''A''' ≠ 0}} और आव्यूह A ''उलटा'' है (अर्थात है {{nowrap|[[determinant|det]]('''A''') ≠ 0}}), यह आवश्यक रूप से सत्य नहीं है {{nowrap|1='''B''' = '''C'''}}. रद्दीकरण केवल के लिए कार्य करता है {{nowrap|1='''AB''' = '''AC'''}} और {{nowrap|1='''BA''' = '''CA'''}} (बशर्ते कि आव्यूह A ''उलटा'' हो) और इसके लिए नहीं {{nowrap|1='''AB''' = '''CA'''}} और {{nowrap|1='''BA''' = '''AC'''}}. | ||
==यह भी देखें== | ==यह भी देखें== | ||
Latest revision as of 12:15, 15 September 2023
गणित में, रद्दीकरण की धारणा व्युत्क्रमणीय की धारणा का सामान्यीकरण है।
मैग्मा (बीजगणित) में एक तत्व A (M, ∗)यदि M में सभी B और C के लिए के पास बाईं रद्दीकरण संपत्ति है (या बाईं-रद्द है) a ∗ b = a ∗ c सदैव इसका तात्पर्य यही है b = c.
मैग्मा में एक तत्व (M, ∗) यदि M में सभी B और C के लिए के पास सही रद्दीकरण संपत्ति है (या सही-रद्दीकरण है) b ∗ a = c ∗ a सदैव इसका तात्पर्य यही है b = c.
मैग्मा में एक तत्व (M, ∗) में दो तरफा रद्दीकरण गुण है (या रद्दीकरणीय है) यदि यह बाएँ और दाएँ दोनों तरह से रद्दीकरणात्मक है।
एक मैग्मा (M, ∗) के पास बाईं रद्दीकरण संपत्ति है (या बाईं ओर रद्द करने योग्य है) यदि मैग्मा में सभी A बाईं रद्द करने योग्य हैं, और इसी तरह की परिभाषाएं दाएं रद्द करने योग्य या दो तरफा रद्द करने योग्य गुणों के लिए लागू होती हैं।
एक बाएँ-उलटा तत्व बाएँ-रद्द करने योग्य है, और समान रूप से दाएँ और दो-तरफा के लिए है।
उदाहरण के लिए, प्रत्येक अर्धसमूह, और इस प्रकार प्रत्येक समूह (गणित), रद्दीकरणात्मक है।
व्याख्या
कहने का तात्पर्य यह है कि मैग्मा में एक तत्व होता है (M, ∗) वाम-रद्द है, कहने का तात्पर्य यह है कि कार्य g : x ↦ a ∗ x इंजेक्शन है.[1] कार्य g इंजेक्टिव है, इसका तात्पर्य यह है कि a * x = b के रूप में कुछ समानता दी गई है, जहां एकमात्र अज्ञात x है, समानता को संतुष्ट करने वाला x का केवल एक संभावित मान है। अधिक सटीक रूप से, हम कुछ कार्य f, g के व्युत्क्रम को परिभाषित करने में सक्षम हैं, जैसे कि सभी x के लिए f(g(x)) = f(a ∗ x) = x. दूसरे तरीके से कहें तो, M में सभी x और y के लिए, यदि a * x = a * y, तो x = y।[2]
रद्दीकरण मोनोइड और अर्धसमूह के उदाहरण
धनात्मक (समान रूप से गैर-ऋणात्मक) पूर्णांक जोड़ के अंतर्गत एक रद्दात्मक अर्धसमूह बनाते हैं। गैर-नकारात्मक पूर्णांक जोड़ के तहत एक रद्दीकरण मोनॉइड बनाते हैं।
वास्तव में, कोई भी मुक्त अर्धसमूह या मोनॉइड रद्दीकरण कानून का पालन करता है, और सामान्यतः, किसी समूह में एम्बेड करने वाला कोई भी अर्धसमूह या मोनॉइड रद्दीकरण कानून का पालन करेगा।
एक अलग तरीके से, (एक उपसमूह) एक रिंग (गणित) के तत्वों का गुणक अर्धसमूह जो शून्य विभाजक नहीं है (जो कि सभी गैर-शून्य तत्वों का सेट है यदि प्रश्न में रिंग एक कार्यक्षेत्र (रिंग सिद्धांत) है, जैसे पूर्णांक) में रद्दीकरण गुण है। ध्यान दें कि यह तब भी वैध रहता है, भले ही प्रश्नाधीन वलय गैर-अनुक्रमणीय और/या गैर-इकाईदार हो।
गैर-रद्द करने योग्य बीजगणितीय संरचनाएँ
यद्यपि रद्दीकरण कानून वास्तविक संख्या और जटिल संख्याओं के जोड़, घटाव, गुणा और विभाजन के लिए लागू होता है (0 (संख्या) से गुणा और किसी अन्य संख्या से शून्य के विभाजन के एकल अपवाद के साथ), कई बीजगणितीय संरचनाएं हैं. जहां रद्दीकरण होता है कानून वैध नहीं है.
दो वैक्टरों का क्रॉस उत्पाद रद्दीकरण कानून का पालन नहीं करता. यदि a × b = a × c, तो यह उसका पालन नहीं करता है b = c भले ही a ≠ 0.
आव्यूह गुणन भी आवश्यक रूप से रद्दीकरण कानून का पालन नहीं करता है। यदि AB = AC और A ≠ 0, तो किसी को यह दिखाना होगा कि आव्यूह A उलटा है (अर्थात है det(A) ≠ 0) इससे पहले कि कोई यह निष्कर्ष निकाल सके B = C. यदि det(A) = 0, तो B, C के बराबर नहीं हो सकता, क्योंकि आव्यूह (गणित) समीकरण AX = B के पास गैर-उलटा आव्यूह A के लिए कोई अद्वितीय समाधान नहीं होगा।
यह भी ध्यान दें कि यदि AB = CA और A ≠ 0 और आव्यूह A उलटा है (अर्थात है det(A) ≠ 0), यह आवश्यक रूप से सत्य नहीं है B = C. रद्दीकरण केवल के लिए कार्य करता है AB = AC और BA = CA (बशर्ते कि आव्यूह A उलटा हो) और इसके लिए नहीं AB = CA और BA = AC.
