अबीजीय फलन: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Analytic function that does not satisfy a polynomial equation}} गणित में, एक पारलौकिक फलन एक विश्ले...")
 
No edit summary
Line 1: Line 1:
{{short description|Analytic function that does not satisfy a polynomial equation}}
{{short description|Analytic function that does not satisfy a polynomial equation}}
गणित में, एक पारलौकिक फलन एक विश्लेषणात्मक फलन होता है जो एक बीजगणितीय फलन के विपरीत एक [[बहुपद]] समीकरण को संतुष्ट नहीं करता है।<ref>E. J. Townsend, ''Functions of a Complex Variable'', 1915, [https://books.google.com/books?id=JDUNAAAAYAAJ&pg=PA300 p. 300]</ref><ref>Michiel Hazewinkel, ''Encyclopedia of Mathematics'', 1993, [https://books.google.com/books?id=1ttmCRCerVUC&pg=PA236 '''9''':236]</ref> दूसरे शब्दों में, एक पारलौकिक कार्य [[बीजगणित]] से आगे निकल जाता है क्योंकि इसे बीजगणितीय रूप से व्यक्त नहीं किया जा सकता है।
गणित में, एक '''अबीजीय फलन''' एक विश्लेषिक फलन होता है जो बीजगणितीय फलन के विपरीत [[बहुपद]] समीकरण को स्वीकृत नहीं करता है।<ref>E. J. Townsend, ''Functions of a Complex Variable'', 1915, [https://books.google.com/books?id=JDUNAAAAYAAJ&pg=PA300 p. 300]</ref><ref>Michiel Hazewinkel, ''Encyclopedia of Mathematics'', 1993, [https://books.google.com/books?id=1ttmCRCerVUC&pg=PA236 '''9''':236]</ref> दूसरे शब्दों में, एक अबीजीय फलन [[बीजगणित]] को "उत्कृष्ट" करता है क्योंकि इसे बीजगणितीय रूप से व्यक्त नहीं किया जा सकता है।


पारलौकिक कार्यों के उदाहरणों में घातीय कार्य, लघुगणक और त्रिकोणमितीय कार्य शामिल हैं।
अबीजीय फलनों के उदाहरणों में घातीय फलन, लघुगणक और त्रिकोणमितीय फलन शामिल हैं।


== परिभाषा ==
== परिभाषा ==
औपचारिक रूप से, एक वास्तविक या जटिल चर z का एक विश्लेषणात्मक कार्य f(z) पारलौकिक है यदि यह उस चर से बीजगणितीय रूप से स्वतंत्र है।<ref>M. Waldschmidt, ''[https://books.google.com/books?id=Wrj0CAAAQBAJ&printsec=frontcover#v=onepage&q=transcendental&f=false Diophantine approximation on linear algebraic groups]'', Springer (2000).</ref> इसे कई चरों के कार्यों तक बढ़ाया जा सकता है।
 
 
औपचारिक रूप से, एक वास्तविक या सम्मिश्र चर {{mvar|z}} का एक विश्लेषणात्मक कार्य {{math|''f'' (''z'')}} अबीजीय है यदि यह उस चर से बीजगणितीय रूप से स्वतंत्र है।<ref>M. Waldschmidt, ''[https://books.google.com/books?id=Wrj0CAAAQBAJ&printsec=frontcover#v=onepage&q=transcendental&f=false Diophantine approximation on linear algebraic groups]'', Springer (2000).</ref> यह कई चर के कार्यों के लिए बढ़ाया जा सकता है।


== इतिहास ==
== इतिहास ==
Line 11: Line 13:


{{quote|The mathematical notion of continuity as an explicit concept is unknown to Ptolemy. That he, in fact, treats these functions as continuous appears from his unspoken presumption that it is possible to determine a value of the dependent variable corresponding to any value of the independent variable by the simple process of [[linear interpolation]].<ref>[[Olaf Pedersen]] (1974) ''Survey of the Almagest'', page 84, [[Odense University Press]] {{ISBN|87-7492-087-1}}</ref>}}
{{quote|The mathematical notion of continuity as an explicit concept is unknown to Ptolemy. That he, in fact, treats these functions as continuous appears from his unspoken presumption that it is possible to determine a value of the dependent variable corresponding to any value of the independent variable by the simple process of [[linear interpolation]].<ref>[[Olaf Pedersen]] (1974) ''Survey of the Almagest'', page 84, [[Odense University Press]] {{ISBN|87-7492-087-1}}</ref>}}
इन परिपत्र कार्यों की एक क्रांतिकारी समझ 17 वीं शताब्दी में हुई और [[लियोनहार्ड यूलर]] द्वारा 1748 में अपने परिचय में अनंत के विश्लेषण में इसका पता लगाया गया। ये प्राचीन पारलौकिक कार्य [[आयताकार हाइपरबोला]] xy = 1 के चतुष्कोण (गणित) के माध्यम से 1647 में ग्रेगोइरे डी सेंट-विंसेंट द्वारा [[निरंतर कार्य]]ों के रूप में जाने जाते हैं, [[आर्किमिडीज]]़ द्वारा पैराबोला के चतुर्भुज का उत्पादन करने के दो सहस्राब्दियों के बाद।
इन परिपत्र फलनों की एक क्रांतिकारी समझ 17 वीं शताब्दी में हुई और [[लियोनहार्ड यूलर]] द्वारा 1748 में अपने परिचय में अनंत के विश्लेषण में इसका पता लगाया गया। ये प्राचीन अबीजीय फलन [[आयताकार हाइपरबोला]] xy = 1 के चतुष्कोण (गणित) के माध्यम से 1647 में ग्रेगोइरे डी सेंट-विंसेंट द्वारा [[निरंतर कार्य|निरंतर फलन]]ों के रूप में जाने जाते हैं, [[आर्किमिडीज]]़ द्वारा पैराबोला के चतुर्भुज का उत्पादन करने के दो सहस्राब्दियों के बाद।


हाइपरबोला के अंतर्गत क्षेत्र को सीमा के निरंतर अनुपात के लिए स्थिर क्षेत्र की प्रवर्धन संपत्ति के रूप में दिखाया गया था। [[अतिशयोक्तिपूर्ण लघुगणक]] फलन का वर्णन 1748 तक सीमित सेवा का था, जब लियोनहार्ड यूलर ने इसे उन कार्यों से संबंधित किया था जहां एक निरंतर एक चर घातांक के लिए उठाया जाता है, जैसे कि घातीय फलन जहां निरंतर [[आधार (घातांक)]] e (गणितीय स्थिरांक) है। इन पारलौकिक कार्यों को शुरू करने और एक व्युत्क्रम कार्य का अर्थ करने वाली आपत्ति संपत्ति को ध्यान में रखते हुए, [[प्राकृतिक]] लघुगणक के बीजगणितीय जोड़तोड़ के लिए कुछ सुविधा प्रदान की गई थी, भले ही यह बीजगणितीय कार्य न हो।
हाइपरबोला के अंतर्गत क्षेत्र को सीमा के निरंतर अनुपात के लिए स्थिर क्षेत्र की प्रवर्धन संपत्ति के रूप में दिखाया गया था। [[अतिशयोक्तिपूर्ण लघुगणक]] फलन का वर्णन 1748 तक सीमित सेवा का था, जब लियोनहार्ड यूलर ने इसे उन फलनों से संबंधित किया था जहां एक निरंतर एक चर घातांक के लिए उठाया जाता है, जैसे कि घातीय फलन जहां निरंतर [[आधार (घातांक)]] e (गणितीय स्थिरांक) है। इन अबीजीय फलनों को शुरू करने और एक व्युत्क्रम फलन का अर्थ करने वाली आपत्ति संपत्ति को ध्यान में रखते हुए, [[प्राकृतिक]] लघुगणक के बीजगणितीय जोड़तोड़ के लिए कुछ सुविधा प्रदान की गई थी, भले ही यह बीजगणितीय फलन न हो।


घातीय कार्य लिखा है {{nowrap|<math> \exp (x) = e^x</math>.}} यूलर ने इसकी पहचान [[अनंत श्रृंखला]] से की {{nowrap|<math display="inline">\sum_{k=0} ^{\infty} x^k / k ! </math>,}} कहाँ कश्मीर! k के भाज्य को दर्शाता है।
घातीय फलन लिखा है {{nowrap|<math> \exp (x) = e^x</math>.}} यूलर ने इसकी पहचान [[अनंत श्रृंखला]] से की {{nowrap|<math display="inline">\sum_{k=0} ^{\infty} x^k / k ! </math>,}} कहाँ कश्मीर! k के भाज्य को दर्शाता है।


इस श्रृंखला के सम और विषम पद cosh(x) और sinh(x) को दर्शाने वाले योग प्रदान करते हैं, ताकि {{nowrap|<math>e^x = \cosh x + \sinh x</math>.}} इन अनुवांशिक अतिपरवलयिक कार्यों को (-1) शुरू करके परिपत्र कार्यों sine और cosine में परिवर्तित किया जा सकता है।<sup>k</sup> श्रृंखला में, जिसके परिणामस्वरूप [[वैकल्पिक श्रृंखला]] होती है। यूलर के बाद, गणितज्ञ [[जटिल संख्या]] अंकगणित में अक्सर यूलर के सूत्र के माध्यम से cosine और cosine को लघुगणक और प्रतिपादक कार्यों के उत्थान से संबंधित करने के लिए देखते हैं।
इस श्रृंखला के सम और विषम पद cosh(x) और sinh(x) को दर्शाने वाले योग प्रदान करते हैं, ताकि {{nowrap|<math>e^x = \cosh x + \sinh x</math>.}} इन अनुवांशिक अतिपरवलयिक फलनों को (-1) शुरू करके परिपत्र फलनों sine और cosine में परिवर्तित किया जा सकता है।<sup>k</sup> श्रृंखला में, जिसके परिणामस्वरूप [[वैकल्पिक श्रृंखला]] होती है। यूलर के बाद, गणितज्ञ [[जटिल संख्या]] अंकगणित में अक्सर यूलर के सूत्र के माध्यम से cosine और cosine को लघुगणक और प्रतिपादक फलनों के उत्थान से संबंधित करने के लिए देखते हैं।


== उदाहरण ==
== उदाहरण ==
निम्नलिखित कार्य पारलौकिक हैं:
निम्नलिखित फलन अबीजीय हैं:


<math display="block">f_1(x) = x^\pi</math>
<math display="block">f_1(x) = x^\pi</math>
Line 28: Line 30:
<math display="block">f_5(x) = \log_c x </math>
<math display="block">f_5(x) = \log_c x </math>
<math display="block">f_6(x) = \sin{x}</math>
<math display="block">f_6(x) = \sin{x}</math>
दूसरे फलन के लिए <math>f_2(x)</math>, अगर हम सेट करते हैं<math>c</math>के बराबर<math>e</math>, चरघातांकी फलन, तो हमें वह मिलता है <math>e^x</math> एक पारलौकिक कार्य है। इसी तरह, अगर हम सेट करते हैं<math>c</math>के बराबर<math>e</math>में <math>f_5(x)</math>, तो हमें वह मिलता है <math>f_5(x) = \log_e x = \ln x</math> (अर्थात, प्राकृतिक लघुगणक) एक पारलौकिक कार्य है।
दूसरे फलन के लिए <math>f_2(x)</math>, अगर हम सेट करते हैं<math>c</math>के बराबर<math>e</math>, चरघातांकी फलन, तो हमें वह मिलता है <math>e^x</math> एक अबीजीय फलन है। इसी तरह, अगर हम सेट करते हैं<math>c</math>के बराबर<math>e</math>में <math>f_5(x)</math>, तो हमें वह मिलता है <math>f_5(x) = \log_e x = \ln x</math> (अर्थात, प्राकृतिक लघुगणक) एक अबीजीय फलन है।


== बीजगणितीय और पारलौकिक कार्य ==
== बीजगणितीय और अबीजीय फलन ==
{{details|Elementary function (differential algebra)}}
{{details|Elementary function (differential algebra)}}
सबसे परिचित पारलौकिक कार्य लघुगणक, घातीय कार्य (किसी भी गैर-तुच्छ आधार के साथ), त्रिकोणमितीय कार्य और अतिपरवलयिक कार्य और इन सभी के व्युत्क्रम कार्य हैं। कम परिचित [[गणितीय विश्लेषण]] के [[विशेष कार्य]] हैं, जैसे कि [[गामा समारोह]], दीर्घवृत्तीय फलन और [[जीटा समारोह]], जो सभी ट्रान्सेंडैंटल हैं। सामान्यीकृत हाइपरज्यामितीय फलन और [[बेसेल समारोह]] फलन सामान्य रूप से पारलौकिक हैं, लेकिन कुछ विशेष पैरामीटर मानों के लिए बीजगणितीय हैं।
सबसे परिचित अबीजीय फलन लघुगणक, घातीय फलन (किसी भी गैर-तुच्छ आधार के साथ), त्रिकोणमितीय फलन और अतिपरवलयिक फलन और इन सभी के व्युत्क्रम फलन हैं। कम परिचित [[गणितीय विश्लेषण]] के [[विशेष कार्य|विशेष फलन]] हैं, जैसे कि [[गामा समारोह]], दीर्घवृत्तीय फलन और [[जीटा समारोह]], जो सभी ट्रान्सेंडैंटल हैं। सामान्यीकृत हाइपरज्यामितीय फलन और [[बेसेल समारोह]] फलन सामान्य रूप से अबीजीय हैं, लेकिन कुछ विशेष पैरामीटर मानों के लिए बीजगणितीय हैं।


एक कार्य जो पारलौकिक नहीं है वह बीजगणितीय है। बीजगणितीय कार्यों के सरल उदाहरण [[तर्कसंगत कार्य]] और [[वर्गमूल]] कार्य हैं, लेकिन सामान्य तौर पर, बीजगणितीय कार्यों को प्राथमिक कार्यों के परिमित सूत्रों के रूप में परिभाषित नहीं किया जा सकता है।<ref>''cf.'' [[Abel–Ruffini theorem]]</ref>
एक फलन जो अबीजीय नहीं है वह बीजगणितीय है। बीजगणितीय फलनों के सरल उदाहरण [[तर्कसंगत कार्य|तर्कसंगत फलन]] और [[वर्गमूल]] फलन हैं, लेकिन सामान्य तौर पर, बीजगणितीय फलनों को प्राथमिक फलनों के परिमित सूत्रों के रूप में परिभाषित नहीं किया जा सकता है।<ref>''cf.'' [[Abel–Ruffini theorem]]</ref>
कई बीजगणितीय कार्यों का [[अनिश्चितकालीन अभिन्न]] अंग पारलौकिक है। उदाहरण के लिए, [[अतिशयोक्तिपूर्ण क्षेत्र]] के क्षेत्र को खोजने के प्रयास में लघुगणक फलन गुणक व्युत्क्रम से उत्पन्न हुआ।
कई बीजगणितीय फलनों का [[अनिश्चितकालीन अभिन्न]] अंग अबीजीय है। उदाहरण के लिए, [[अतिशयोक्तिपूर्ण क्षेत्र]] के क्षेत्र को खोजने के प्रयास में लघुगणक फलन गुणक व्युत्क्रम से उत्पन्न हुआ।


डिफरेंशियल बीजगणित जांच करता है कि कैसे एकीकरण अक्सर ऐसे कार्यों का निर्माण करता है जो बीजीय रूप से कुछ वर्ग से स्वतंत्र होते हैं, जैसे कि जब कोई चर के रूप में त्रिकोणमितीय कार्यों के साथ बहुपद लेता है।
डिफरेंशियल बीजगणित जांच करता है कि कैसे एकीकरण अक्सर ऐसे फलनों का निर्माण करता है जो बीजीय रूप से कुछ वर्ग से स्वतंत्र होते हैं, जैसे कि जब कोई चर के रूप में त्रिकोणमितीय फलनों के साथ बहुपद लेता है।


== भावातीत रूप से पारलौकिक कार्य ==
== भावातीत रूप से अबीजीय फलन ==


गणितीय भौतिकी के विशेष कार्यों सहित अधिकांश परिचित ट्रान्सेंडैंटल फलन , [[बीजगणितीय अंतर समीकरण]]ों के समाधान हैं। जो नहीं हैं, जैसे कि गामा फलन और ज़ेटा फलन , उन्हें ट्रान्सेंडैंटली ट्रान्सेंडैंटल या [[हाइपरट्रांसेंडेंटल फ़ंक्शन]] फलन कहा जाता है।<ref>{{Cite journal|first=Lee A.|last=Rubel|title=ट्रान्सेंडैंटली ट्रान्सेंडैंटल फ़ंक्शंस का एक सर्वेक्षण|journal=The American Mathematical Monthly|volume=96|number=9|date=November 1989|pages=777–788|doi=10.1080/00029890.1989.11972282|jstor=2324840}}</ref>
गणितीय भौतिकी के विशेष फलनों सहित अधिकांश परिचित ट्रान्सेंडैंटल फलन , [[बीजगणितीय अंतर समीकरण]]ों के समाधान हैं। जो नहीं हैं, जैसे कि गामा फलन और ज़ेटा फलन , उन्हें ट्रान्सेंडैंटली ट्रान्सेंडैंटल या [[हाइपरट्रांसेंडेंटल फ़ंक्शन]] फलन कहा जाता है।<ref>{{Cite journal|first=Lee A.|last=Rubel|title=ट्रान्सेंडैंटली ट्रान्सेंडैंटल फ़ंक्शंस का एक सर्वेक्षण|journal=The American Mathematical Monthly|volume=96|number=9|date=November 1989|pages=777–788|doi=10.1080/00029890.1989.11972282|jstor=2324840}}</ref>




== असाधारण सेट ==
== असाधारण सेट ==
यदि <math>f</math> एक बीजगणितीय कार्य है और <math>\alpha</math> तब एक [[बीजगणितीय संख्या]] है <math>f(\alpha)</math> एक बीजगणितीय संख्या भी है। इसका विलोम सत्य नहीं है: संपूर्ण कार्य हैं <math>f</math> ऐसा है कि <math>f(\alpha)</math> किसी भी बीजगणितीय के लिए एक बीजगणितीय संख्या है <math>\alpha.</math><ref>[http://journals.cambridge.org/download.php?file=%2FJAZ%2FJAZ8_02%2FS144678870000522Xa.pdf&code=c1078490e410e75b00828a47df480146 A. J. van der Poorten. 'Transcendental entire functions mapping every algebraic number field into itself’, J. Austral. Math. Soc. 8 (1968), 192–198]</ref> किसी दिए गए ट्रान्सेंडैंटल फलन के लिए बीजगणितीय परिणाम देने वाले बीजगणितीय संख्याओं के सेट को उस फलन का असाधारण सेट कहा जाता है।<ref>D. Marques, F. M. S. Lima, ''[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.760.9296&rep=rep1&type=pdf Some transcendental functions that yield transcendental values for every algebraic entry]'', (2010) {{arxiv|1004.1668v1}}.</ref><ref>N. Archinard, ''[https://www.sciencedirect.com/science/article/pii/S0022314X03000428 Exceptional sets of hypergeometric series]'', Journal of Number Theory '''101''' Issue 2 (2003), pp.244–269.</ref> औपचारिक रूप से इसे परिभाषित किया गया है:
यदि <math>f</math> एक बीजगणितीय फलन है और <math>\alpha</math> तब एक [[बीजगणितीय संख्या]] है <math>f(\alpha)</math> एक बीजगणितीय संख्या भी है। इसका विलोम सत्य नहीं है: संपूर्ण फलन हैं <math>f</math> ऐसा है कि <math>f(\alpha)</math> किसी भी बीजगणितीय के लिए एक बीजगणितीय संख्या है <math>\alpha.</math><ref>[http://journals.cambridge.org/download.php?file=%2FJAZ%2FJAZ8_02%2FS144678870000522Xa.pdf&code=c1078490e410e75b00828a47df480146 A. J. van der Poorten. 'Transcendental entire functions mapping every algebraic number field into itself’, J. Austral. Math. Soc. 8 (1968), 192–198]</ref> किसी दिए गए ट्रान्सेंडैंटल फलन के लिए बीजगणितीय परिणाम देने वाले बीजगणितीय संख्याओं के सेट को उस फलन का असाधारण सेट कहा जाता है।<ref>D. Marques, F. M. S. Lima, ''[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.760.9296&rep=rep1&type=pdf Some transcendental functions that yield transcendental values for every algebraic entry]'', (2010) {{arxiv|1004.1668v1}}.</ref><ref>N. Archinard, ''[https://www.sciencedirect.com/science/article/pii/S0022314X03000428 Exceptional sets of hypergeometric series]'', Journal of Number Theory '''101''' Issue 2 (2003), pp.244–269.</ref> औपचारिक रूप से इसे परिभाषित किया गया है:


<math display="block">\mathcal{E}(f)=\left \{\alpha\in\overline{\mathbf{Q}}\,:\,f(\alpha)\in\overline{\mathbf{Q}} \right \}.</math>
<math display="block">\mathcal{E}(f)=\left \{\alpha\in\overline{\mathbf{Q}}\,:\,f(\alpha)\in\overline{\mathbf{Q}} \right \}.</math>
कई उदाहरणों में असाधारण सेट काफी छोटा होता है। उदाहरण के लिए, <math>\mathcal{E}(\exp) = \{0\},</math> यह 1882 में [[फर्डिनेंड वॉन लिंडमैन]] द्वारा सिद्ध किया गया था। विशेष रूप से {{math|1=exp(1) = ''e''}} पारलौकिक है। इसके अलावा, चूंकि {{math|1=exp(''iπ'') = −1}} बीजगणितीय है हम जानते हैं कि {{math|''iπ''}} बीजीय नहीं हो सकता। तब से {{math|''i''}} बीजगणितीय है इसका तात्पर्य है कि {{math|''π''}} एक [[पारलौकिक संख्या]] है।
कई उदाहरणों में असाधारण सेट काफी छोटा होता है। उदाहरण के लिए, <math>\mathcal{E}(\exp) = \{0\},</math> यह 1882 में [[फर्डिनेंड वॉन लिंडमैन]] द्वारा सिद्ध किया गया था। विशेष रूप से {{math|1=exp(1) = ''e''}} अबीजीय है। इसके अलावा, चूंकि {{math|1=exp(''iπ'') = −1}} बीजगणितीय है हम जानते हैं कि {{math|''iπ''}} बीजीय नहीं हो सकता। तब से {{math|''i''}} बीजगणितीय है इसका तात्पर्य है कि {{math|''π''}} एक [[पारलौकिक संख्या|अबीजीय संख्या]] है।


सामान्य तौर पर, किसी फलन के असाधारण सेट को ढूंढना एक कठिन समस्या है, लेकिन अगर इसकी गणना की जा सकती है तो यह अक्सर [[पारलौकिक संख्या सिद्धांत]] में परिणाम दे सकता है। यहाँ कुछ अन्य ज्ञात असाधारण सेट हैं:
सामान्य तौर पर, किसी फलन के असाधारण सेट को ढूंढना एक कठिन समस्या है, लेकिन अगर इसकी गणना की जा सकती है तो यह अक्सर [[पारलौकिक संख्या सिद्धांत|अबीजीय संख्या सिद्धांत]] में परिणाम दे सकता है। यहाँ कुछ अन्य ज्ञात असाधारण सेट हैं:


* क्लेन का जे-इनवेरिएंट<math display="block">\mathcal{E}(j) = \left\{\alpha\in\mathbf{H}\,:\,[\mathbf{Q}(\alpha): \mathbf{Q}] = 2 \right\},</math> जहां H [[ऊपरी आधा विमान]] है, और [Q(''α''): Q] [[बीजगणितीय संख्या क्षेत्र]] Q(''α'') के क्षेत्र विस्तार की डिग्री है। यह परिणाम [[थियोडोर श्नाइडर]] के कारण है।<ref>T. Schneider, ''Arithmetische Untersuchungen elliptischer Integrale'', Math. Annalen '''113''' (1937), pp.1–13.</ref>
* क्लेन का जे-इनवेरिएंट<math display="block">\mathcal{E}(j) = \left\{\alpha\in\mathbf{H}\,:\,[\mathbf{Q}(\alpha): \mathbf{Q}] = 2 \right\},</math> जहां H [[ऊपरी आधा विमान]] है, और [Q(''α''): Q] [[बीजगणितीय संख्या क्षेत्र]] Q(''α'') के क्षेत्र विस्तार की डिग्री है। यह परिणाम [[थियोडोर श्नाइडर]] के कारण है।<ref>T. Schneider, ''Arithmetische Untersuchungen elliptischer Integrale'', Math. Annalen '''113''' (1937), pp.1–13.</ref>
* आधार 2 में घातीय फलन: <math display="block">\mathcal{E}(2^x)=\mathbf{Q},</math>यह परिणाम गेलफॉन्ड-श्नाइडर प्रमेय का परिणाम है, जिसमें कहा गया है कि अगर <math>\alpha \neq 0,1</math> बीजगणितीय है, और <math>\beta</math> तब बीजगणितीय और अपरिमेय है <math>\alpha^\beta</math> पारलौकिक है। इस प्रकार फलन 2<sup>x</sup> को c से बदला जा सकता है<sup>x</sup> किसी भी बीजगणितीय c के लिए जो 0 या 1 के बराबर नहीं है। दरअसल, हमारे पास: <math display="block">\mathcal{E}(x^x) = \mathcal{E}\left(x^{\frac{1}{x}}\right)=\mathbf{Q}\setminus\{0\}.</math>
* आधार 2 में घातीय फलन: <math display="block">\mathcal{E}(2^x)=\mathbf{Q},</math>यह परिणाम गेलफॉन्ड-श्नाइडर प्रमेय का परिणाम है, जिसमें कहा गया है कि अगर <math>\alpha \neq 0,1</math> बीजगणितीय है, और <math>\beta</math> तब बीजगणितीय और अपरिमेय है <math>\alpha^\beta</math> अबीजीय है। इस प्रकार फलन 2<sup>x</sup> को c से बदला जा सकता है<sup>x</sup> किसी भी बीजगणितीय c के लिए जो 0 या 1 के बराबर नहीं है। दरअसल, हमारे पास: <math display="block">\mathcal{E}(x^x) = \mathcal{E}\left(x^{\frac{1}{x}}\right)=\mathbf{Q}\setminus\{0\}.</math>
* पारलौकिक संख्या सिद्धांत में शैनुअल के अनुमान का एक परिणाम यह होगा {{nowrap|<math>\mathcal{E}\left(e^{e^x}\right)=\emptyset</math>.}}
* अबीजीय संख्या सिद्धांत में शैनुअल के अनुमान का एक परिणाम यह होगा {{nowrap|<math>\mathcal{E}\left(e^{e^x}\right)=\emptyset</math>.}}
* खाली असाधारण सेट वाला एक फलन जिसे शानुएल के अनुमान को मानने की आवश्यकता नहीं है {{nowrap|<math>f(x) = \exp(1 + \pi x)</math>.}}
* खाली असाधारण सेट वाला एक फलन जिसे शानुएल के अनुमान को मानने की आवश्यकता नहीं है {{nowrap|<math>f(x) = \exp(1 + \pi x)</math>.}}
किसी दिए गए फलन के लिए असाधारण सेट की गणना करना आसान नहीं है, यह ज्ञात है कि बीजगणितीय संख्याओं के किसी भी उपसमुच्चय को ए कहते हैं, एक पारलौकिक कार्य है जिसका असाधारण सेट ए है।<ref>M. Waldschmidt, ''[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.249.3174&rep=rep1&type=pdf Auxiliary functions in transcendental number theory]'', ''The Ramanujan Journal'' '''20''' no 3, (2009), pp.341–373.</ref> उपसमुच्चय को उचित होने की आवश्यकता नहीं है, जिसका अर्थ है कि A बीजगणितीय संख्याओं का समुच्चय हो सकता है। इसका सीधा अर्थ है कि पारलौकिक कार्य मौजूद हैं जो पारलौकिक संख्याएँ तभी उत्पन्न करते हैं जब पारलौकिक संख्याएँ दी जाती हैं। [[एलेक्स विल्की]] ने यह भी साबित कर दिया कि ऐसे पारलौकिक कार्य मौजूद हैं जिनके लिए उनके पारगमन के बारे में [[प्रथम-क्रम-तर्क]] प्रमाण एक अनुकरणीय विश्लेषणात्मक कार्य प्रदान करके मौजूद नहीं हैं।<ref>A. Wilkie, ''An algebraically conservative, transcendental function'', Paris VII preprints, number 66, 1998.</ref>
किसी दिए गए फलन के लिए असाधारण सेट की गणना करना आसान नहीं है, यह ज्ञात है कि बीजगणितीय संख्याओं के किसी भी उपसमुच्चय को ए कहते हैं, एक अबीजीय फलन है जिसका असाधारण सेट ए है।<ref>M. Waldschmidt, ''[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.249.3174&rep=rep1&type=pdf Auxiliary functions in transcendental number theory]'', ''The Ramanujan Journal'' '''20''' no 3, (2009), pp.341–373.</ref> उपसमुच्चय को उचित होने की आवश्यकता नहीं है, जिसका अर्थ है कि A बीजगणितीय संख्याओं का समुच्चय हो सकता है। इसका सीधा अर्थ है कि अबीजीय फलन मौजूद हैं जो अबीजीय संख्याएँ तभी उत्पन्न करते हैं जब अबीजीय संख्याएँ दी जाती हैं। [[एलेक्स विल्की]] ने यह भी साबित कर दिया कि ऐसे अबीजीय फलन मौजूद हैं जिनके लिए उनके पारगमन के बारे में [[प्रथम-क्रम-तर्क]] प्रमाण एक अनुकरणीय विश्लेषणात्मक फलन प्रदान करके मौजूद नहीं हैं।<ref>A. Wilkie, ''An algebraically conservative, transcendental function'', Paris VII preprints, number 66, 1998.</ref>




== विमीय विश्लेषण ==
== विमीय विश्लेषण ==
आयामी विश्लेषण में, पारलौकिक कार्य उल्लेखनीय हैं क्योंकि वे तभी समझ में आते हैं जब उनका तर्क आयामहीन होता है (संभवतः बीजगणितीय कमी के बाद)। इस वजह से, पारलौकिक कार्य आयामी त्रुटियों का एक आसानी से पता लगाने का स्त्रोत हो सकता है। उदाहरण के लिए, log(5 मीटर) एक बेतुका एक्सप्रेशन है, इसके विपरीत {{nowrap|log(5 metres / 3 metres)}} या log(3) मीटर। log (5) + log (मीटर) प्राप्त करने के लिए कोई लघुगणक पहचान लागू करने का प्रयास कर सकते हैं, जो समस्या को प्रमुखता से दिखा सकता है, : एक गैर-बीजगणितीय ऑपरेशन को एक आयाम पर लागू करने से अर्थहीन परिणाम पैदा होते हैं।
आयामी विश्लेषण में, अबीजीय फलन उल्लेखनीय हैं क्योंकि वे तभी समझ में आते हैं जब उनका तर्क आयामहीन होता है (संभवतः बीजगणितीय कमी के बाद)। इस वजह से, अबीजीय फलन आयामी त्रुटियों का एक आसानी से पता लगाने का स्त्रोत हो सकता है। उदाहरण के लिए, log(5 मीटर) एक बेतुका एक्सप्रेशन है, इसके विपरीत {{nowrap|log(5 metres / 3 metres)}} या log(3) मीटर। log (5) + log (मीटर) प्राप्त करने के लिए कोई लघुगणक पहचान लागू करने का प्रयास कर सकते हैं, जो समस्या को प्रमुखता से दिखा सकता है, : एक गैर-बीजगणितीय ऑपरेशन को एक आयाम पर लागू करने से अर्थहीन परिणाम पैदा होते हैं।


== यह भी देखें ==
== यह भी देखें ==
* [[जटिल कार्य]]
* [[जटिल कार्य|जटिल फलन]]
* [[समारोह (गणित)]]
* [[समारोह (गणित)]]
* [[सामान्यीकृत कार्य]]
* [[सामान्यीकृत कार्य|सामान्यीकृत फलन]]
* [[विशेष कार्यों और नामों की सूची]]
* [[विशेष कार्यों और नामों की सूची|विशेष फलनों और नामों की सूची]]
* कार्यों के प्रकारों की सूची
* फलनों के प्रकारों की सूची
*[[तर्कसंगत कार्य]]
*[[तर्कसंगत कार्य|तर्कसंगत फलन]]
* विशेष कार्य
* विशेष फलन


==संदर्भ==
==संदर्भ==
Line 79: Line 81:


*अंक शास्त्र
*अंक शास्त्र
*विश्लेषणात्मक कार्य
*विश्लेषणात्मक फलन
*बीजगणितीय कार्य
*बीजगणितीय फलन
*लोगारित्म
*लोगारित्म
*घातांक प्रकार्य
*घातांक प्रफलन
*त्रिकोणमितीय समारोह
*त्रिकोणमितीय समारोह
*बीजीय रूप से स्वतंत्र
*बीजीय रूप से स्वतंत्र
Line 98: Line 100:
*सामान्यीकृत हाइपरजोमेट्रिक फ़ंक्शन
*सामान्यीकृत हाइपरजोमेट्रिक फ़ंक्शन
*अण्डाकार समारोह
*अण्डाकार समारोह
*अतिशयोक्तिपूर्ण कार्य
*अतिशयोक्तिपूर्ण फलन
*विभेदक बीजगणित
*विभेदक बीजगणित
*गुणात्मक प्रतिलोम
*गुणात्मक प्रतिलोम
Line 104: Line 106:
*एक क्षेत्र विस्तार की डिग्री
*एक क्षेत्र विस्तार की डिग्री
*आकार जांच
*आकार जांच
*कार्यों के प्रकार की सूची
*फलनों के प्रकार की सूची
==बाहरी कड़ियाँ==
==बाहरी कड़ियाँ==
{{wikibooks|Associative Composition Algebra|Transcendental paradigm|Transcendental functions}}
{{wikibooks|Associative Composition Algebra|Transcendental paradigm|Transcendental functions}}
*[https://www.encyclopediaofmath.org/index.php/Transcendental_function Definition of "Transcendental function" in the Encyclopedia of Math]
*[https://www.encyclopediaofmath.org/index.php/Transcendental_function Definition of "Transcendental function" in the Encyclopedia of Math]
[[श्रेणी:विश्लेषणात्मक कार्य]]
[[श्रेणी:विश्लेषणात्मक कार्य|श्रेणी:विश्लेषणात्मक फलन]]
[[श्रेणी: कार्य और मानचित्रण]]
[[श्रेणी: कार्य और मानचित्रण|श्रेणी: फलन और मानचित्रण]]
[[श्रेणी: मेरोमोर्फिक प्रकार्य]]
[[श्रेणी: मेरोमोर्फिक प्रकार्य|श्रेणी: मेरोमोर्फिक प्रफलन]]
[[श्रेणी:विशेष कार्य]]
[[श्रेणी:विशेष कार्य|श्रेणी:विशेष फलन]]
[[श्रेणी: कार्यों के प्रकार]]
[[श्रेणी: कार्यों के प्रकार|श्रेणी: फलनों के प्रकार]]

Revision as of 00:41, 25 May 2023

गणित में, एक अबीजीय फलन एक विश्लेषिक फलन होता है जो बीजगणितीय फलन के विपरीत बहुपद समीकरण को स्वीकृत नहीं करता है।[1][2] दूसरे शब्दों में, एक अबीजीय फलन बीजगणित को "उत्कृष्ट" करता है क्योंकि इसे बीजगणितीय रूप से व्यक्त नहीं किया जा सकता है।

अबीजीय फलनों के उदाहरणों में घातीय फलन, लघुगणक और त्रिकोणमितीय फलन शामिल हैं।

परिभाषा

औपचारिक रूप से, एक वास्तविक या सम्मिश्र चर z का एक विश्लेषणात्मक कार्य f (z) अबीजीय है यदि यह उस चर से बीजगणितीय रूप से स्वतंत्र है।[3] यह कई चर के कार्यों के लिए बढ़ाया जा सकता है।

इतिहास

ट्रान्सेंडैंटल फलन साइन और कोज्या पुरातनता में भौतिक माप से त्रिकोणमितीय तालिकाएँ थीं, जैसा कि ग्रीस (हिप्पार्कस) और भारत (जाओ और कोटि-जय) में प्रमाणित है। टॉलेमी की तारों की तालिका का वर्णन करते हुए, sines की तालिका के बराबर, ओलाफ पेडरसन ने लिखा:

The mathematical notion of continuity as an explicit concept is unknown to Ptolemy. That he, in fact, treats these functions as continuous appears from his unspoken presumption that it is possible to determine a value of the dependent variable corresponding to any value of the independent variable by the simple process of linear interpolation.[4]

इन परिपत्र फलनों की एक क्रांतिकारी समझ 17 वीं शताब्दी में हुई और लियोनहार्ड यूलर द्वारा 1748 में अपने परिचय में अनंत के विश्लेषण में इसका पता लगाया गया। ये प्राचीन अबीजीय फलन आयताकार हाइपरबोला xy = 1 के चतुष्कोण (गणित) के माध्यम से 1647 में ग्रेगोइरे डी सेंट-विंसेंट द्वारा निरंतर फलनों के रूप में जाने जाते हैं, आर्किमिडीज़ द्वारा पैराबोला के चतुर्भुज का उत्पादन करने के दो सहस्राब्दियों के बाद।

हाइपरबोला के अंतर्गत क्षेत्र को सीमा के निरंतर अनुपात के लिए स्थिर क्षेत्र की प्रवर्धन संपत्ति के रूप में दिखाया गया था। अतिशयोक्तिपूर्ण लघुगणक फलन का वर्णन 1748 तक सीमित सेवा का था, जब लियोनहार्ड यूलर ने इसे उन फलनों से संबंधित किया था जहां एक निरंतर एक चर घातांक के लिए उठाया जाता है, जैसे कि घातीय फलन जहां निरंतर आधार (घातांक) e (गणितीय स्थिरांक) है। इन अबीजीय फलनों को शुरू करने और एक व्युत्क्रम फलन का अर्थ करने वाली आपत्ति संपत्ति को ध्यान में रखते हुए, प्राकृतिक लघुगणक के बीजगणितीय जोड़तोड़ के लिए कुछ सुविधा प्रदान की गई थी, भले ही यह बीजगणितीय फलन न हो।

घातीय फलन लिखा है . यूलर ने इसकी पहचान अनंत श्रृंखला से की , कहाँ कश्मीर! k के भाज्य को दर्शाता है।

इस श्रृंखला के सम और विषम पद cosh(x) और sinh(x) को दर्शाने वाले योग प्रदान करते हैं, ताकि . इन अनुवांशिक अतिपरवलयिक फलनों को (-1) शुरू करके परिपत्र फलनों sine और cosine में परिवर्तित किया जा सकता है।k श्रृंखला में, जिसके परिणामस्वरूप वैकल्पिक श्रृंखला होती है। यूलर के बाद, गणितज्ञ जटिल संख्या अंकगणित में अक्सर यूलर के सूत्र के माध्यम से cosine और cosine को लघुगणक और प्रतिपादक फलनों के उत्थान से संबंधित करने के लिए देखते हैं।

उदाहरण

निम्नलिखित फलन अबीजीय हैं:

दूसरे फलन के लिए , अगर हम सेट करते हैंके बराबर, चरघातांकी फलन, तो हमें वह मिलता है एक अबीजीय फलन है। इसी तरह, अगर हम सेट करते हैंके बराबरमें , तो हमें वह मिलता है (अर्थात, प्राकृतिक लघुगणक) एक अबीजीय फलन है।

बीजगणितीय और अबीजीय फलन

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

एक फलन जो अबीजीय नहीं है वह बीजगणितीय है। बीजगणितीय फलनों के सरल उदाहरण तर्कसंगत फलन और वर्गमूल फलन हैं, लेकिन सामान्य तौर पर, बीजगणितीय फलनों को प्राथमिक फलनों के परिमित सूत्रों के रूप में परिभाषित नहीं किया जा सकता है।[5] कई बीजगणितीय फलनों का अनिश्चितकालीन अभिन्न अंग अबीजीय है। उदाहरण के लिए, अतिशयोक्तिपूर्ण क्षेत्र के क्षेत्र को खोजने के प्रयास में लघुगणक फलन गुणक व्युत्क्रम से उत्पन्न हुआ।

डिफरेंशियल बीजगणित जांच करता है कि कैसे एकीकरण अक्सर ऐसे फलनों का निर्माण करता है जो बीजीय रूप से कुछ वर्ग से स्वतंत्र होते हैं, जैसे कि जब कोई चर के रूप में त्रिकोणमितीय फलनों के साथ बहुपद लेता है।

भावातीत रूप से अबीजीय फलन

गणितीय भौतिकी के विशेष फलनों सहित अधिकांश परिचित ट्रान्सेंडैंटल फलन , बीजगणितीय अंतर समीकरणों के समाधान हैं। जो नहीं हैं, जैसे कि गामा फलन और ज़ेटा फलन , उन्हें ट्रान्सेंडैंटली ट्रान्सेंडैंटल या हाइपरट्रांसेंडेंटल फ़ंक्शन फलन कहा जाता है।[6]


असाधारण सेट

यदि एक बीजगणितीय फलन है और तब एक बीजगणितीय संख्या है एक बीजगणितीय संख्या भी है। इसका विलोम सत्य नहीं है: संपूर्ण फलन हैं ऐसा है कि किसी भी बीजगणितीय के लिए एक बीजगणितीय संख्या है [7] किसी दिए गए ट्रान्सेंडैंटल फलन के लिए बीजगणितीय परिणाम देने वाले बीजगणितीय संख्याओं के सेट को उस फलन का असाधारण सेट कहा जाता है।[8][9] औपचारिक रूप से इसे परिभाषित किया गया है:

कई उदाहरणों में असाधारण सेट काफी छोटा होता है। उदाहरण के लिए, यह 1882 में फर्डिनेंड वॉन लिंडमैन द्वारा सिद्ध किया गया था। विशेष रूप से exp(1) = e अबीजीय है। इसके अलावा, चूंकि exp() = −1 बीजगणितीय है हम जानते हैं कि बीजीय नहीं हो सकता। तब से i बीजगणितीय है इसका तात्पर्य है कि π एक अबीजीय संख्या है।

सामान्य तौर पर, किसी फलन के असाधारण सेट को ढूंढना एक कठिन समस्या है, लेकिन अगर इसकी गणना की जा सकती है तो यह अक्सर अबीजीय संख्या सिद्धांत में परिणाम दे सकता है। यहाँ कुछ अन्य ज्ञात असाधारण सेट हैं:

  • क्लेन का जे-इनवेरिएंट
    जहां H ऊपरी आधा विमान है, और [Q(α): Q] बीजगणितीय संख्या क्षेत्र Q(α) के क्षेत्र विस्तार की डिग्री है। यह परिणाम थियोडोर श्नाइडर के कारण है।[10]
  • आधार 2 में घातीय फलन:
    यह परिणाम गेलफॉन्ड-श्नाइडर प्रमेय का परिणाम है, जिसमें कहा गया है कि अगर बीजगणितीय है, और तब बीजगणितीय और अपरिमेय है अबीजीय है। इस प्रकार फलन 2x को c से बदला जा सकता हैx किसी भी बीजगणितीय c के लिए जो 0 या 1 के बराबर नहीं है। दरअसल, हमारे पास:
  • अबीजीय संख्या सिद्धांत में शैनुअल के अनुमान का एक परिणाम यह होगा .
  • खाली असाधारण सेट वाला एक फलन जिसे शानुएल के अनुमान को मानने की आवश्यकता नहीं है .

किसी दिए गए फलन के लिए असाधारण सेट की गणना करना आसान नहीं है, यह ज्ञात है कि बीजगणितीय संख्याओं के किसी भी उपसमुच्चय को ए कहते हैं, एक अबीजीय फलन है जिसका असाधारण सेट ए है।[11] उपसमुच्चय को उचित होने की आवश्यकता नहीं है, जिसका अर्थ है कि A बीजगणितीय संख्याओं का समुच्चय हो सकता है। इसका सीधा अर्थ है कि अबीजीय फलन मौजूद हैं जो अबीजीय संख्याएँ तभी उत्पन्न करते हैं जब अबीजीय संख्याएँ दी जाती हैं। एलेक्स विल्की ने यह भी साबित कर दिया कि ऐसे अबीजीय फलन मौजूद हैं जिनके लिए उनके पारगमन के बारे में प्रथम-क्रम-तर्क प्रमाण एक अनुकरणीय विश्लेषणात्मक फलन प्रदान करके मौजूद नहीं हैं।[12]


विमीय विश्लेषण

आयामी विश्लेषण में, अबीजीय फलन उल्लेखनीय हैं क्योंकि वे तभी समझ में आते हैं जब उनका तर्क आयामहीन होता है (संभवतः बीजगणितीय कमी के बाद)। इस वजह से, अबीजीय फलन आयामी त्रुटियों का एक आसानी से पता लगाने का स्त्रोत हो सकता है। उदाहरण के लिए, log(5 मीटर) एक बेतुका एक्सप्रेशन है, इसके विपरीत log(5 metres / 3 metres) या log(3) मीटर। log (5) + log (मीटर) प्राप्त करने के लिए कोई लघुगणक पहचान लागू करने का प्रयास कर सकते हैं, जो समस्या को प्रमुखता से दिखा सकता है, : एक गैर-बीजगणितीय ऑपरेशन को एक आयाम पर लागू करने से अर्थहीन परिणाम पैदा होते हैं।

यह भी देखें

संदर्भ

  1. E. J. Townsend, Functions of a Complex Variable, 1915, p. 300
  2. Michiel Hazewinkel, Encyclopedia of Mathematics, 1993, 9:236
  3. M. Waldschmidt, Diophantine approximation on linear algebraic groups, Springer (2000).
  4. Olaf Pedersen (1974) Survey of the Almagest, page 84, Odense University Press ISBN 87-7492-087-1
  5. cf. Abel–Ruffini theorem
  6. Rubel, Lee A. (November 1989). "ट्रान्सेंडैंटली ट्रान्सेंडैंटल फ़ंक्शंस का एक सर्वेक्षण". The American Mathematical Monthly. 96 (9): 777–788. doi:10.1080/00029890.1989.11972282. JSTOR 2324840.
  7. A. J. van der Poorten. 'Transcendental entire functions mapping every algebraic number field into itself’, J. Austral. Math. Soc. 8 (1968), 192–198
  8. D. Marques, F. M. S. Lima, Some transcendental functions that yield transcendental values for every algebraic entry, (2010) arXiv:1004.1668v1.
  9. N. Archinard, Exceptional sets of hypergeometric series, Journal of Number Theory 101 Issue 2 (2003), pp.244–269.
  10. T. Schneider, Arithmetische Untersuchungen elliptischer Integrale, Math. Annalen 113 (1937), pp.1–13.
  11. M. Waldschmidt, Auxiliary functions in transcendental number theory, The Ramanujan Journal 20 no 3, (2009), pp.341–373.
  12. A. Wilkie, An algebraically conservative, transcendental function, Paris VII preprints, number 66, 1998.


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

  • अंक शास्त्र
  • विश्लेषणात्मक फलन
  • बीजगणितीय फलन
  • लोगारित्म
  • घातांक प्रफलन
  • त्रिकोणमितीय समारोह
  • बीजीय रूप से स्वतंत्र
  • त्रिकोणमितीय टेबल
  • उन लोगों के
  • परबोला का चतुर्भुज
  • उलटा काम करना
  • गोलाकार समारोह
  • द्विभाजन
  • अनंत के विश्लेषण का परिचय
  • ई (गणितीय स्थिरांक)
  • चतुर्भुज (गणित)
  • कारख़ाने का
  • अतिशयोक्तिपूर्ण समारोह
  • सामान्यीकृत हाइपरजोमेट्रिक फ़ंक्शन
  • अण्डाकार समारोह
  • अतिशयोक्तिपूर्ण फलन
  • विभेदक बीजगणित
  • गुणात्मक प्रतिलोम
  • संपूर्ण समारोह
  • एक क्षेत्र विस्तार की डिग्री
  • आकार जांच
  • फलनों के प्रकार की सूची

बाहरी कड़ियाँ

श्रेणी:विश्लेषणात्मक फलन श्रेणी: फलन और मानचित्रण श्रेणी: मेरोमोर्फिक प्रफलन श्रेणी:विशेष फलन श्रेणी: फलनों के प्रकार