गणितीय सर्वसमिका: Difference between revisions

From Vigyanwiki
Line 75: Line 75:
[[गुडरमैनियन समारोह|गुडरमेनियन फ़ंक्शन]] त्रिकोणमितीय फ़ंक्शंस और हाइपरबोलिक कार्यों के बीच सीधा संबंध देता है जिसमें [[जटिल संख्या|जटिल संख्याएं]] सम्मिलित नहीं होती हैं।
[[गुडरमैनियन समारोह|गुडरमेनियन फ़ंक्शन]] त्रिकोणमितीय फ़ंक्शंस और हाइपरबोलिक कार्यों के बीच सीधा संबंध देता है जिसमें [[जटिल संख्या|जटिल संख्याएं]] सम्मिलित नहीं होती हैं।


== तर्क और सार्वभौमिक बीजगणित ==
== तर्क और सार्वत्रिक बीजगणित ==
औपचारिक रूप से, एक सर्वसमिका एक वास्तविक सार्वभौम परिमाणक है जो अच्छी तरह से निर्मित सूत्र#रूप का विधेय तर्क है <math>\forall x_1,\ldots,x_n: s=t,</math> कहाँ पे {{math|''s''}} तथा {{math|''t''}} [[शब्द (तर्क)]] हैं जिनके अलावा कोई अन्य [[मुक्त चर]] नहीं है <math>x_1,\ldots,x_n.</math> क्वांटिफायर उपसर्ग <math>\forall x_1,\ldots,x_n</math> अक्सर अस्पष्ट छोड़ दिया जाता है, जब यह कहा जाता है कि सूत्र एक पहचान है। उदाहरण के लिए, एक [[मोनोइड]] के सिद्धांतों को अक्सर सूत्रों के रूप में दिया जाता है
औपचारिक रूप से, एक सर्वसमिका एक वास्तविक सार्वत्रिक परिमाणक है जो अच्छी तरह से निर्मित सूत्र रूप का विधेय तर्क है <math>\forall x_1,\ldots,x_n: s=t,</math> जहाँ पे {{math|''s''}} तथा {{math|''t''}} [[शब्द (तर्क)]] हैं जिनके अलावा कोई अन्य [[मुक्त चर]] नहीं है <math>x_1,\ldots,x_n.</math> क्वांटिफायर उपसर्ग <math>\forall x_1,\ldots,x_n</math> अक्सर अस्पष्ट छोड़ दिया जाता है, जब यह कहा जाता है कि सूत्र एक पहचान है। उदाहरण के लिए एक [[मोनोइड]] के सिद्धांतों को अक्सर सूत्रों के रूप में दिया जाता है
:<math>\forall x,y,z: x*(y*z)=(x*y)*z,\quad \forall x: x*1=x, \quad \forall x: 1*x=x,</math>
:<math>\forall x,y,z: x*(y*z)=(x*y)*z,\quad \forall x: x*1=x, \quad \forall x: 1*x=x,</math>
या, शीघ्र ही,
या जल्द ही,
:<math>x*(y*z)=(x*y)*z,\qquad x*1=x, \qquad 1*x=x.</math>
:<math>x*(y*z)=(x*y)*z,\qquad x*1=x, \qquad 1*x=x.</math>
तो, ये सूत्र प्रत्येक मोनॉइड में सर्वसमिका हैं। किसी भी समानता के लिए, क्वांटिफायर के बिना सूत्रों को अक्सर [[समीकरण]] कहा जाता है। दूसरे शब्दों में, एक सर्वसमिका एक समीकरण है जो चरों के सभी मानों के लिए सत्य है।<ref>{{cite book | editor=Jan van Leeuwen | editor-link=Jan van Leeuwen | title=औपचारिक मॉडल और शब्दार्थ| publisher=Elsevier | series=Handbook of Theoretical Computer Science | volume=B | year=1990 | author1=Nachum Dershowitz | author2= Jean-Pierre Jouannaud | author1-link=Nachum Dershowitz | author2-link=Jean-Pierre Jouannaud | contribution=Rewrite Systems | pages=243–320 }}</ref><ref>{{cite book | isbn=3-540-54280-9 | author=Wolfgang Wechsler | title=कंप्यूटर वैज्ञानिकों के लिए सार्वभौमिक बीजगणित| location=Berlin | publisher=Springer | editor1=Wilfried Brauer | editor2= Grzegorz Rozenberg |editor3= Arto Salomaa | editor1-link=Wilfried Brauer | editor2-link= Grzegorz Rozenberg |editor3-link= Arto Salomaa| series=[[EATCS]] Monographs on Theoretical Computer Science | volume=25 | year=1992 }} Here: Def.1 of Sect.3.2.1, p.160.</ref>
तो, ये सूत्र प्रत्येक मोनॉइड में सर्वसमिका हैं। किसी भी समानता के लिए, क्वांटिफायर के बिना सूत्रों को अक्सर [[समीकरण]] कहा जाता है। दूसरे शब्दों में, एक सर्वसमिका एक समीकरण है जो चरों के सभी मानों के लिए सत्य है।<ref>{{cite book | editor=Jan van Leeuwen | editor-link=Jan van Leeuwen | title=औपचारिक मॉडल और शब्दार्थ| publisher=Elsevier | series=Handbook of Theoretical Computer Science | volume=B | year=1990 | author1=Nachum Dershowitz | author2= Jean-Pierre Jouannaud | author1-link=Nachum Dershowitz | author2-link=Jean-Pierre Jouannaud | contribution=Rewrite Systems | pages=243–320 }}</ref><ref>{{cite book | isbn=3-540-54280-9 | author=Wolfgang Wechsler | title=कंप्यूटर वैज्ञानिकों के लिए सार्वभौमिक बीजगणित| location=Berlin | publisher=Springer | editor1=Wilfried Brauer | editor2= Grzegorz Rozenberg |editor3= Arto Salomaa | editor1-link=Wilfried Brauer | editor2-link= Grzegorz Rozenberg |editor3-link= Arto Salomaa| series=[[EATCS]] Monographs on Theoretical Computer Science | volume=25 | year=1992 }} Here: Def.1 of Sect.3.2.1, p.160.</ref>
== यह भी देखें ==
== यह भी देखें ==
* [[लेखा पहचान]]
* [[लेखा पहचान]]
Line 88: Line 86:


== संदर्भ ==
== संदर्भ ==
=== टिप्पणियाँ ===
=== टिप्पणियाँ ===
{{notelist}}
{{notelist}}
=== उद्धरण ===
=== उद्धरण ===
{{reflist}}
{{reflist}}
=== स्रोत ===
=== स्रोत ===
{{refbegin}}
{{refbegin}}
Line 105: Line 96:
*{{cite book|last=Shirali|first=S. |title=एडवेंचर्स इन प्रॉब्लम सॉल्विंग|url=https://books.google.com/books?id=TPE0fXGnYtMC&pg=PP1|date= 2002|publisher=Universities Press|isbn=978-81-7371-413-9}}
*{{cite book|last=Shirali|first=S. |title=एडवेंचर्स इन प्रॉब्लम सॉल्विंग|url=https://books.google.com/books?id=TPE0fXGnYtMC&pg=PP1|date= 2002|publisher=Universities Press|isbn=978-81-7371-413-9}}
{{refend}}
{{refend}}
==इस पेज में लापता आंतरिक लिंक की सूची==
*यूनिट सर्कल
*चर (गणित)
*अंक शास्त्र
*समारोह (गणित)
*जोड़नेवाला
*लोगारित्म
*साइंटिफ़िक कैलकुलेटर
*समता (गणित)
*यूनिवर्सल क्वांटिफायर
*स्वयंसिद्ध
== बाहरी संबंध ==
== बाहरी संबंध ==
{{Commons category}}
{{Commons category}}

Revision as of 11:01, 8 December 2022

पायथागॉरियन पहचान का दृश्य प्रमाण: किसी भी कोण के लिए , बिंदु इकाई वृत्त पर स्थित है, जो समीकरण को संतुष्ट करता है . इस प्रकार, .

गणित में, एक पहचान एक गणितीय अभिव्यक्ति A से दूसरे गणितीय अभिव्यक्ति B से संबंधित एक समानता है, जैसे कि A और B (जिसमें कुछ चर शामिल हो सकते हैं) वैधता की एक निश्चित सीमा के भीतर चर के सभी मूल्यों के लिए समान मूल्य देते हैं।[1] दूसरे शब्दों में, A = B एक पहचान है यदि ए और बी एक ही कार्य को परिभाषित करते हैं, और एक पहचान भिन्न रूप से परिभाषित कार्यों के बीच एक समानता है। उदाहरण के लिए और तत्समक हैं। [1] पहचान को कभी-कभी ट्रिपल बार प्रतीक ≡ के बजाय बराबर का चिह्न = द्वारा दर्शाया जाता है।[2]

सामान्य सर्वसमिका

बीजगणितीय सर्वसमिका

कुछ सर्वसमिकाएँ, जैसे और बीजगणित का आधार बनती हैं,[3] जबकि अन्य, जैसे और बीजीय व्यंजकों को सरल और विस्तृत करने के लिए उपयोगी हो सकता है।[4]

त्रिकोणमितीय सर्वसमिकाएँ

ज्यामितीय रूप से, त्रिकोणमितीय सर्वसमिकाएँ एक या अधिक कोणों से कुछ कार्यों से संबंधित पहचान हैं।[5] वे त्रिभुजों की सर्वसमिकाओं से भिन्न होते हैं, जो एक त्रिभुज के दो कोणों और भुजाओं की लंबाई की पहचान होती हैं। यह लेख केवल पूर्व को कवर करता है।

जब भी त्रिकोणमितीय कार्यों को सम्मिलित करने वाले भावों को सरल बनाने की आवश्यकता होती है, तब ये सर्वसमिकाएँ उपयोगी होती हैं। एक अन्य महत्वपूर्ण अनुप्रयोग गैर-त्रिकोणमितीय कार्यों का एकीकरण है: एक सामान्य तकनीक जिसमें पहले त्रिकोणमितीय फ़ंक्शन के साथ प्रतिस्थापन नियम का उपयोग करना और फिर त्रिकोणमितीय सर्वसमिकाओं के साथ परिणामी अभिन्न को सरल बनाना सम्मिलित है।

त्रिकोणमितीय सर्वसमिका के सबसे प्रमुख उदाहरणों में समीकरण शामिल है, जो के सभी वास्तविक मूल्यों के लिए सत्य है। दूसरी ओर समीकरण

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

त्रिकोणमितीय सर्वसमिकाओं का एक अन्य समूह तथाकथित जोड़/घटाव सूत्रों से संबंधित है (उदाहरण के लिए द्वि-कोण पहचान ,[2] के लिए अतिरिक्त सूत्र जिसका उपयोग बड़े कोणों के व्यंजकों को छोटे घटकों वाले व्यंजकों में विभाजित करने के लिए किया जा सकता है।

घातीय सर्वसमिका

निम्नलिखित सर्वसमिकाएं सभी पूर्णांक घातांकों के लिए मान्य हैं, बशर्ते आधार शून्य न हो:

जोड़ और गुणा के विपरीत, घातांक विनिमेय नहीं है। उदाहरण के लिए, 2 + 3 = 3 + 2 = 5 और 2 · 3 = 3 · 2 = 6 परंतु 23 = 8 जबकि 32 = 9

योग और गुणन के विपरीत, घातांक भी साहचर्य नहीं है। उदाहरण के लिए, (2 + 3) + 4 = 2 + (3 + 4) = 9 और (2 · 3) · 4 = 2 · (3 · 4) = 24, लेकिन 23 से 4 है 84 (या 4,096)। जबकि 2 से 34 है 281 (या 2,417,851,639,229,258,349,412,352)। जब किसी कोष्ठक का उपयोग नहीं किया जाता है, तो परंपरा के अनुसार क्रम ऊपर-नीचे होता है, न कि नीचे-ऊपर:

जबकि

लघुगणकीय सर्वसमिकाएँ

कई महत्वपूर्ण सूत्र, जिन्हें कभी-कभी लघुगणकीय पहचान या लॉग कानून कहा जाता है, लघुगणक को एक दूसरे से संबंधित करते हैं:[lower-alpha 1]

गुणनफल, भागफल, शक्ति और मूल

किसी गुणनफल का लघुगणक गुणित की जाने वाली संख्याओं के लघुगणकों का योग होता है; दो संख्याओं के अनुपात का लघुगणक, लघुगणकों के बीच का अंतर है। किसी संख्या का pth घात का लघुगणक स्वयं संख्या के लघुगणक का p गुना है; pth मूल का लघुगणक p से विभाजित संख्या का लघुगणक है। निम्नलिखित तालिका उदाहरणों के साथ इन सर्वसमिकाओं को सूचीबद्ध करती है। बाईं ओर लॉगरिदमिक परिभाषा और/या को प्रतिस्थापित करके प्रत्येक पहचान प्राप्त की जा सकती है।

सूत्र उदाहरण
गुणन
भागफल
घात
मूल


आधार परिवर्तन

लघुगणक logb(x) की गणना x और b के लघुगणक से की जा सकती है, जो कि निम्नलिखित सूत्र का उपयोग करके एक मनमाना आधार k के संबंध में है:

विशिष्ट वैज्ञानिक कैलकुलेटर 10 और e के आधार पर लघुगणक की गणना करते हैं।[6] किसी भी आधार b के संबंध में लघुगणक इन दो लघुगणकों में से किसी एक का उपयोग करके पिछले सूत्र द्वारा निर्धारित किया जा सकता है:

किसी अज्ञात आधार b को एक संख्या x और उसका लघुगणक logb(x) दिया गया है, तो आधार इस प्रकार दिया गया है:

हाइपरबोलिक फ़ंक्शन सर्वसमिका

अतिशयोक्तिपूर्ण कार्य कई सर्वसमिकाओं को संतुष्ट करते हैं, उनमें से सभी त्रिकोणमितीय सर्वसमिकाओं के समान रूप में हैं। वास्तव में, ओसबोर्न के नियम [7] में कहा गया है कि किसी भी त्रिकोणमितीय पहचान को ज्या और कोज्या की पूर्णांक शक्तियों के संदर्भ में पूरी तरह से विस्तारित किया जा सकता है, साइन को sinh और कोसाइन को cosh में बदलना और प्रत्येक पद के चिह्न को बदलना। एक अतिपरवलयिक पहचान में परिवर्तित किया जा सकता है जिसमें अतिशयोक्तिपूर्ण साइन की संख्या भी गुणा की जाती है।[8]

गुडरमेनियन फ़ंक्शन त्रिकोणमितीय फ़ंक्शंस और हाइपरबोलिक कार्यों के बीच सीधा संबंध देता है जिसमें जटिल संख्याएं सम्मिलित नहीं होती हैं।

तर्क और सार्वत्रिक बीजगणित

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

या जल्द ही,

तो, ये सूत्र प्रत्येक मोनॉइड में सर्वसमिका हैं। किसी भी समानता के लिए, क्वांटिफायर के बिना सूत्रों को अक्सर समीकरण कहा जाता है। दूसरे शब्दों में, एक सर्वसमिका एक समीकरण है जो चरों के सभी मानों के लिए सत्य है।[9][10]

यह भी देखें

संदर्भ

टिप्पणियाँ

  1. All statements in this section can be found in Shirali 2002, Section 4, Downing 2003, p. 275, or Kate & Bhapkar 2009, p. 1-1, for example.

उद्धरण

  1. 1.0 1.1 "गणित: पहचान". www.mathwords.com. Retrieved 2019-12-01.
  2. 2.0 2.1 "पहचान - गणित शब्द की परिभाषा - गणित खुला संदर्भ". www.mathopenref.com. Retrieved 2019-12-01.
  3. "बुनियादी पहचान". www.math.com. Retrieved 2019-12-01.
  4. "बीजीय पहचान". www.sosmath.com. Retrieved 2019-12-01.
  5. Stapel, Elizabeth. "त्रिकोणमितीय पहचान". Purplemath. Retrieved 2019-12-01.
  6. Bernstein, Stephen; Bernstein, Ruth (1999), Schaum's outline of theory and problems of elements of statistics. I, Descriptive statistics and probability, Schaum's outline series, New York: McGraw-Hill, ISBN 978-0-07-005023-5, p. 21
  7. Osborn, G. (1 January 1902). "109. अतिशयोक्तिपूर्ण सूत्रों के लिए स्मरक". The Mathematical Gazette. 2 (34): 189. doi:10.2307/3602492. JSTOR 3602492.
  8. Peterson, John Charles (2003). कलन के साथ तकनीकी गणित (3rd ed.). Cengage Learning. p. 1155. ISBN 0-7668-6189-9., Chapter 26, page 1155
  9. Nachum Dershowitz; Jean-Pierre Jouannaud (1990). "Rewrite Systems". In Jan van Leeuwen (ed.). औपचारिक मॉडल और शब्दार्थ. Handbook of Theoretical Computer Science. Vol. B. Elsevier. pp. 243–320.
  10. Wolfgang Wechsler (1992). Wilfried Brauer; Grzegorz Rozenberg; Arto Salomaa (eds.). कंप्यूटर वैज्ञानिकों के लिए सार्वभौमिक बीजगणित. EATCS Monographs on Theoretical Computer Science. Vol. 25. Berlin: Springer. ISBN 3-540-54280-9. Here: Def.1 of Sect.3.2.1, p.160.

स्रोत

बाहरी संबंध