स्मूथनेस: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 3: Line 3:
{{redirect|C^n|<math>\mathbb{C}^n</math>|जटिल समन्वय स्थान}}
{{redirect|C^n|<math>\mathbb{C}^n</math>|जटिल समन्वय स्थान}}
{{for|संख्या सिद्धांत में सहजता|सहज संख्या}}
{{for|संख्या सिद्धांत में सहजता|सहज संख्या}}
[[Image:Bump2D illustration.png|thumb|upright=1.2|[[कॉम्पैक्ट समर्थन]] के साथ [[टक्कर समारोह]] एक स्मूद फंक्शन है।]][[गणितीय विश्लेषण]] में, एक फलन (गणित) की सहजता एक ऐसा गुण है जिसे निरंतर फ़ंक्शन डेरिवेटिव (गणित) की संख्या से मापा जाता है, जो किसी कि डोमेन पर होता है, जिसे 'भिन्नता वर्ग' कहा जाता है।<ref>{{Cite web|url=http://mathworld.wolfram.com/SmoothFunction.html|title=चिकना समारोह|last=Weisstein|first=Eric W.|website=mathworld.wolfram.com|language=en|access-date=2019-12-13|archive-date=2019-12-16|archive-url=https://web.archive.org/web/20191216043114/http://mathworld.wolfram.com/SmoothFunction.html|url-status=live}}</ref> बहुत कम से कम, एक फ़ंक्शन को सुचारू माना जा सकता है यदि यह हर जगह अलग-अलग हो (इसलिए निरंतर)।<ref>{{Cite web|url=https://www.thefreedictionary.com/Smooth+(mathematics)|title=चिकना (गणित)|website=TheFreeDictionary.com|access-date=2019-12-13|archive-date=2019-09-03|archive-url=https://web.archive.org/web/20190903145033/https://www.thefreedictionary.com/Smooth+(mathematics)|url-status=live}}</ref> दूसरे छोर पर, यह एक फ़ंक्शन के अपने डोमेन में व्युत्पत्ति के सभी ऑर्डर के डेरिवेटिव भी रख सकता है, जिस स्थिति में इसे असीम रूप से अलग-अलग कहा जाता है और इसे सी-इन्फिनिटी फ़ंक्शन (या) के रूप में संदर्भित किया जाता है। <math>C^{\infty}</math> समारोह)<ref>{{Cite web|url=https://www.encyclopediaofmath.org/index.php/Smooth_function|title=स्मूथ फंक्शन - गणित का विश्वकोश|website=www.encyclopediaofmath.org|access-date=2019-12-13|archive-date=2019-12-13|archive-url=https://web.archive.org/web/20191213043534/https://www.encyclopediaofmath.org/index.php/Smooth_function|url-status=live}}</ref>
[[Image:Bump2D illustration.png|thumb|upright=1.2|[[कॉम्पैक्ट समर्थन]] के साथ [[टक्कर समारोह]] एक स्मूद फंक्शन है।]][[गणितीय विश्लेषण]] में, एक [[फलन]] (गणित) की सहजता एक ऐसा गुण है जिसे उसके किसी प्रक्षेत्र पर [[निरंतर अवकलज]] की संख्या से मापा जाता है, जिसे अवकलनीयता वर्ग कहा जाता है।<ref>{{Cite web|url=http://mathworld.wolfram.com/SmoothFunction.html|title=चिकना समारोह|last=Weisstein|first=Eric W.|website=mathworld.wolfram.com|language=en|access-date=2019-12-13|archive-date=2019-12-16|archive-url=https://web.archive.org/web/20191216043114/http://mathworld.wolfram.com/SmoothFunction.html|url-status=live}}</ref> बहुत कम ही, (इसलिए निरंतर) एक फलन को सुचारू माना जा सकता है यदि यह हर जगह अलग-अलग हो।<ref>{{Cite web|url=https://www.thefreedictionary.com/Smooth+(mathematics)|title=चिकना (गणित)|website=TheFreeDictionary.com|access-date=2019-12-13|archive-date=2019-09-03|archive-url=https://web.archive.org/web/20190903145033/https://www.thefreedictionary.com/Smooth+(mathematics)|url-status=live}}</ref> दूसरे छोर पर, यह अपने डोमेन में सभी ऑर्डर के डेरिवेटिव भी रख सकता है, जिस स्थिति में इसे असीम रूप से अलग-अलग कहा जाता है और इसे सी-अनंत फलन (या <math>C^{\infty}</math> फलन ) के रूप में संदर्भित किया जाता है।<ref>{{Cite web|url=https://www.encyclopediaofmath.org/index.php/Smooth_function|title=स्मूथ फंक्शन - गणित का विश्वकोश|website=www.encyclopediaofmath.org|access-date=2019-12-13|archive-date=2019-12-13|archive-url=https://web.archive.org/web/20191213043534/https://www.encyclopediaofmath.org/index.php/Smooth_function|url-status=live}}</ref>




== भिन्नता वर्ग ==
== भिन्नता वर्ग ==
अवकलनीयता वर्ग उनके [[यौगिक]] के गुणों के अनुसार कार्यों का वर्गीकरण है। यह डेरिवेटिव के उच्चतम क्रम का एक माप है जो मौजूद है और एक फ़ंक्शन के लिए निरंतर है।
अवकलनीयता वर्ग उनके [[यौगिक]] के गुणों के अनुसार कार्यों का वर्गीकरण है। यह डेरिवेटिव के उच्चतम क्रम का एक माप है जो मौजूद है और एक फलन के लिए निरंतर है।


एक खुले सेट पर विचार करें <math>U</math> [[वास्तविक रेखा]] और एक समारोह पर <math>f</math> पर परिभाषित <math>U</math> वास्तविक मूल्यों के साथ। मान लीजिए k एक गैर-ऋणात्मक [[पूर्णांक]] है। कार्यक्रम <math>f</math> अवकालनीयता वर्ग का कहा जाता है ''<math>C^k</math>'' अगर डेरिवेटिव <math>f',f'',\dots,f^{(k)}</math> मौजूद हैं और निरंतर कार्य कर रहे हैं <math>U</math> पर. यदि <math>f</math> है <math>k</math>-विभेद्य पर <math>U</math>, तो यह कम से कम कक्षा में है <math>C^{k-1}</math> जबसे <math>f',f'',\dots,f^{(k-1)}</math> लगातार चालू हैं <math>U</math>. कार्यक्रम <math>f</math> कहा जाता है कि यह असीम रूप से भिन्न, चिकना या वर्ग का है <math>C^\infty</math>, अगर इसमें सभी ऑर्डर के डेरिवेटिव हैं <math>U</math>. (इसलिए ये सभी डेरिवेटिव निरंतर कार्य हैं <math>U</math>.)<ref name="def diff">{{cite book| last=Warner| first=Frank W.| author-link=Frank Wilson Warner| year=1983| title=डिफरेंशियल मैनिफोल्ड्स और लाई ग्रुप्स की नींव| publisher=Springer| isbn=978-0-387-90894-6| page=5 [Definition 1.2]| url=https://books.google.com/books?id=t6PNrjnfhuIC&dq=%22f+is+differentiable+of+class+Ck%22&pg=PA5| access-date=2014-11-28| archive-date=2015-10-01| archive-url=https://web.archive.org/web/20151001012659/https://books.google.com/books?id=t6PNrjnfhuIC&pg=PA5&dq=%22f+is+differentiable+of+class+Ck%22| url-status=live}}</ref> कार्यक्रम <math>f</math> वर्ग का बताया गया है <math>C^\omega</math>, या [[विश्लेषणात्मक कार्य]], यदि <math>f</math> चिकना है (यानी, <math>f</math> कक्षा में है <math>C^\infty</math>) और इसके डोमेन में किसी भी बिंदु के आसपास इसकी [[टेलर श्रृंखला]] का विस्तार बिंदु के कुछ [[पड़ोस (गणित)]] में कार्य में परिवर्तित हो जाता है। <math>C^\omega</math> इस प्रकार सख्ती से निहित है <math>C^\infty</math>. बम्प फ़ंक्शंस फ़ंक्शंस के उदाहरण हैं <math>C^\infty</math> लेकिन अंदर नहीं <math>C^\omega</math>.
एक खुले सेट पर विचार करें <math>U</math> [[वास्तविक रेखा]] और एक समारोह पर <math>f</math> पर परिभाषित <math>U</math> वास्तविक मूल्यों के साथ। मान लीजिए k एक गैर-ऋणात्मक [[पूर्णांक]] है। कार्यक्रम <math>f</math> अवकालनीयता वर्ग का कहा जाता है ''<math>C^k</math>'' अगर डेरिवेटिव <math>f',f'',\dots,f^{(k)}</math> मौजूद हैं और निरंतर कार्य कर रहे हैं <math>U</math> पर. यदि <math>f</math> है <math>k</math>-विभेद्य पर <math>U</math>, तो यह कम से कम कक्षा में है <math>C^{k-1}</math> जबसे <math>f',f'',\dots,f^{(k-1)}</math> लगातार चालू हैं <math>U</math>. कार्यक्रम <math>f</math> कहा जाता है कि यह असीम रूप से भिन्न, चिकना या वर्ग का है <math>C^\infty</math>, अगर इसमें सभी ऑर्डर के डेरिवेटिव हैं <math>U</math>. (इसलिए ये सभी डेरिवेटिव निरंतर कार्य हैं <math>U</math>.)<ref name="def diff">{{cite book| last=Warner| first=Frank W.| author-link=Frank Wilson Warner| year=1983| title=डिफरेंशियल मैनिफोल्ड्स और लाई ग्रुप्स की नींव| publisher=Springer| isbn=978-0-387-90894-6| page=5 [Definition 1.2]| url=https://books.google.com/books?id=t6PNrjnfhuIC&dq=%22f+is+differentiable+of+class+Ck%22&pg=PA5| access-date=2014-11-28| archive-date=2015-10-01| archive-url=https://web.archive.org/web/20151001012659/https://books.google.com/books?id=t6PNrjnfhuIC&pg=PA5&dq=%22f+is+differentiable+of+class+Ck%22| url-status=live}}</ref> कार्यक्रम <math>f</math> वर्ग का बताया गया है <math>C^\omega</math>, या [[विश्लेषणात्मक कार्य]], यदि <math>f</math> चिकना है (यानी, <math>f</math> कक्षा में है <math>C^\infty</math>) और इसके प्रक्षेत्र में किसी भी बिंदु के आसपास इसकी [[टेलर श्रृंखला]] का विस्तार बिंदु के कुछ [[पड़ोस (गणित)]] में कार्य में परिवर्तित हो जाता है। <math>C^\omega</math> इस प्रकार सख्ती से निहित है <math>C^\infty</math>. बम्प फ़ंक्शंस फ़ंक्शंस के उदाहरण हैं <math>C^\infty</math> लेकिन अंदर नहीं <math>C^\omega</math>.


इसे अलग तरीके से रखने के लिए, class <math>C^0</math> सभी निरंतर कार्यों से मिलकर बनता है। कक्षा <math>C^1</math> सभी अवकलनीय फलन होते हैं जिनका व्युत्पन्न निरंतर है; ऐसे कार्यों को निरंतर अवकलनीय कहा जाता है। इस प्रकार, एक <math>C^1</math> फंक्शन वास्तव में एक फंक्शन है जिसका व्युत्पन्न मौजूद है और कक्षा <math>C^0</math>का है. सामान्य तौर पर, कक्षाएं <math>C^k</math> घोषित करके [[प्रत्यावर्तन]] परिभाषित किया जा सकता है <math>C^0</math> सभी निरंतर कार्यों का सेट होना और घोषणा करना <math>C^k</math> किसी भी सकारात्मक पूर्णांक के लिए <math>k</math> उन सभी अलग-अलग कार्यों का सेट होने के लिए जिनका व्युत्पन्न है <math>C^{k-1}</math>. विशेष रूप से, <math>C^k</math> में निहित है <math>C^{k-1}</math> हरएक के लिए <math>k>0</math>, और यह दिखाने के लिए उदाहरण हैं कि यह नियंत्रण सख्त है (<math>C^k \subsetneq C^{k-1}</math>). कक्षा <math>C^\infty</math> असीम रूप से भिन्न कार्यों का, वर्गों का प्रतिच्छेदन है <math>C^k</math> जैसा <math>k</math> गैर-ऋणात्मक पूर्णांकों पर भिन्न होता है।
इसे अलग तरीके से रखने के लिए, class <math>C^0</math> सभी निरंतर कार्यों से मिलकर बनता है। कक्षा <math>C^1</math> सभी अवकलनीय फलन होते हैं जिनका व्युत्पन्न निरंतर है; ऐसे कार्यों को निरंतर अवकलनीय कहा जाता है। इस प्रकार, एक <math>C^1</math> फंक्शन वास्तव में एक फंक्शन है जिसका व्युत्पन्न मौजूद है और कक्षा <math>C^0</math>का है. सामान्य तौर पर, कक्षाएं <math>C^k</math> घोषित करके [[प्रत्यावर्तन]] परिभाषित किया जा सकता है <math>C^0</math> सभी निरंतर कार्यों का सेट होना और घोषणा करना <math>C^k</math> किसी भी सकारात्मक पूर्णांक के लिए <math>k</math> उन सभी अलग-अलग कार्यों का सेट होने के लिए जिनका व्युत्पन्न है <math>C^{k-1}</math>. विशेष रूप से, <math>C^k</math> में निहित है <math>C^{k-1}</math> हरएक के लिए <math>k>0</math>, और यह दिखाने के लिए उदाहरण हैं कि यह नियंत्रण सख्त है (<math>C^k \subsetneq C^{k-1}</math>). कक्षा <math>C^\infty</math> असीम रूप से भिन्न कार्यों का, वर्गों का प्रतिच्छेदन है <math>C^k</math> जैसा <math>k</math> गैर-ऋणात्मक पूर्णांकों पर भिन्न होता है।
Line 15: Line 15:
=== उदाहरण ===
=== उदाहरण ===
[[Image:C0 function.svg|thumb|सी<sup>0</sup> समारोह {{nowrap|1={{mvar|f}}({{mvar|x}}) = {{mvar|x}}}} के लिये {{nowrap|{{mvar|x}} ≥ 0}} और 0 अन्यथा।]]फ़ाइल:X^2sin(x^-1).svg|thumb|कार्यक्रम {{nowrap|1={{mvar|g}}({{mvar|x}}) = {{mvar|x}}<sup>2</sup> sin(1/{{mvar|x}})}} के लिये {{nowrap|{{mvar|x}} &gt; 0}}.
[[Image:C0 function.svg|thumb|सी<sup>0</sup> समारोह {{nowrap|1={{mvar|f}}({{mvar|x}}) = {{mvar|x}}}} के लिये {{nowrap|{{mvar|x}} ≥ 0}} और 0 अन्यथा।]]फ़ाइल:X^2sin(x^-1).svg|thumb|कार्यक्रम {{nowrap|1={{mvar|g}}({{mvar|x}}) = {{mvar|x}}<sup>2</sup> sin(1/{{mvar|x}})}} के लिये {{nowrap|{{mvar|x}} &gt; 0}}.
फ़ाइल: फ़ंक्शन x^2*sin(1 over x).svg|thumb|upright=1.3|कार्यक्रम <math>f:\R\to\R</math> साथ <math>f(x)=x^2\sin\left(\tfrac 1x\right)</math> के लिये <math>x\neq 0</math> तथा <math>f(0)=0</math> अवकलनीय है। हालाँकि, यह फ़ंक्शन लगातार भिन्न नहीं होता है।
फ़ाइल: फलन x^2*sin(1 over x).svg|thumb|upright=1.3|कार्यक्रम <math>f:\R\to\R</math> साथ <math>f(x)=x^2\sin\left(\tfrac 1x\right)</math> के लिये <math>x\neq 0</math> तथा <math>f(0)=0</math> अवकलनीय है। हालाँकि, यह फलन लगातार भिन्न नहीं होता है।
[[File:Mollifier Illustration.svg|thumb|upright=1.2|एक सहज कार्य जो विश्लेषणात्मक नहीं है।]]कार्यक्रम
[[File:Mollifier Illustration.svg|thumb|upright=1.2|एक सहज कार्य जो विश्लेषणात्मक नहीं है।]]कार्यक्रम
<math display="block">f(x) = \begin{cases}x  & \mbox{if } x \geq 0, \\ 0 &\text{if } x < 0\end{cases}</math>
<math display="block">f(x) = \begin{cases}x  & \mbox{if } x \geq 0, \\ 0 &\text{if } x < 0\end{cases}</math>
Line 24: Line 24:
अवकलनीय है, व्युत्पन्न के साथ
अवकलनीय है, व्युत्पन्न के साथ
<math display="block">g'(x) = \begin{cases}-\mathord{\cos\left(\tfrac{1}{x}\right)} + 2x\sin\left(\tfrac{1}{x}\right) & \text{if }x \neq 0, \\ 0 &\text{if }x = 0.\end{cases}</math>
<math display="block">g'(x) = \begin{cases}-\mathord{\cos\left(\tfrac{1}{x}\right)} + 2x\sin\left(\tfrac{1}{x}\right) & \text{if }x \neq 0, \\ 0 &\text{if }x = 0.\end{cases}</math>
इसलिये <math>\cos(1/x)</math> के रूप में हिलता है {{mvar|x}} → 0, <math>g'(x)</math> शून्य पर सतत नहीं है। इसलिए, <math>g(x)</math> अवकलनीय है लेकिन वर्ग C का नहीं है<sup>1</उप>। <!-- The following sentence is unrelated to the explanation of this example and should be removed or moved elsewhere. --> इसके अलावा अगर कोई लेता है <math>g(x) = x^{4/3}\sin(1/x)</math> {{nowrap begin}}({{mvar|x}} ≠ 0){{nowrap end}} इस उदाहरण में, यह दिखाने के लिए इस्तेमाल किया जा सकता है कि एक अलग-अलग फ़ंक्शन के व्युत्पन्न फ़ंक्शन को [[कॉम्पैक्ट सेट]] पर असीमित किया जा सकता है और इसलिए, कॉम्पैक्ट सेट पर एक अलग-अलग फ़ंक्शन स्थानीय रूप से [[लिप्सचिट्ज़ निरंतर]] नहीं हो सकता है।
इसलिये <math>\cos(1/x)</math> के रूप में हिलता है {{mvar|x}} → 0, <math>g'(x)</math> शून्य पर सतत नहीं है। इसलिए, <math>g(x)</math> अवकलनीय है लेकिन वर्ग C का नहीं है<sup>1</उप>। <!-- The following sentence is unrelated to the explanation of this example and should be removed or moved elsewhere. --> इसके अलावा अगर कोई लेता है <math>g(x) = x^{4/3}\sin(1/x)</math> {{nowrap begin}}({{mvar|x}} ≠ 0){{nowrap end}} इस उदाहरण में, यह दिखाने के लिए इस्तेमाल किया जा सकता है कि एक अलग-अलग फलन के व्युत्पन्न फलन को [[कॉम्पैक्ट सेट]] पर असीमित किया जा सकता है और इसलिए, कॉम्पैक्ट सेट पर एक अलग-अलग फलन स्थानीय रूप से [[लिप्सचिट्ज़ निरंतर]] नहीं हो सकता है।


कार्य
कार्य
Line 52: Line 52:
के समुच्चय <math>C^\infty</math> कार्य समाप्त <math>D</math> एक फ्रेचेट स्पेस भी बनाता है। सिवाय इसके कि ऊपर के समान सेमिनोर्म का उपयोग किया जाता है <math>m</math> सभी गैर-नकारात्मक पूर्णांक मानों की सीमा की अनुमति है।
के समुच्चय <math>C^\infty</math> कार्य समाप्त <math>D</math> एक फ्रेचेट स्पेस भी बनाता है। सिवाय इसके कि ऊपर के समान सेमिनोर्म का उपयोग किया जाता है <math>m</math> सभी गैर-नकारात्मक पूर्णांक मानों की सीमा की अनुमति है।


उपरोक्त रिक्त स्थान उन अनुप्रयोगों में स्वाभाविक रूप से होते हैं जहां कुछ ऑर्डर के डेरिवेटिव वाले फ़ंक्शन आवश्यक होते हैं; हालाँकि, विशेष रूप से आंशिक अंतर समीकरणों के अध्ययन में, कभी-कभी सोबोलेव रिक्त स्थान के बजाय काम करना अधिक उपयोगी हो सकता है।
उपरोक्त रिक्त स्थान उन अनुप्रयोगों में स्वाभाविक रूप से होते हैं जहां कुछ ऑर्डर के डेरिवेटिव वाले फलन आवश्यक होते हैं; हालाँकि, विशेष रूप से आंशिक अंतर समीकरणों के अध्ययन में, कभी-कभी सोबोलेव रिक्त स्थान के बजाय काम करना अधिक उपयोगी हो सकता है।


== निरंतरता ==
== निरंतरता ==
Line 76: Line 76:
[[File:Kegelschnitt-Schar.svg|upright=1.2|thumb|<math>(1-\varepsilon^2) x^2 -2px+y^2=0 , \ p>0 \ , \varepsilon\ge 0</math><br />
[[File:Kegelschnitt-Schar.svg|upright=1.2|thumb|<math>(1-\varepsilon^2) x^2 -2px+y^2=0 , \ p>0 \ , \varepsilon\ge 0</math><br />
जी के साथ शांकव वर्गों की पेंसिल<sup>2</sup>-संपर्क: पी फिक्स, <math>\varepsilon</math> चर <br />
जी के साथ शांकव वर्गों की पेंसिल<sup>2</sup>-संपर्क: पी फिक्स, <math>\varepsilon</math> चर <br />
(<math>\varepsilon=0</math>: घेरा,<math>\varepsilon=0.8</math>: अंडाकार, <math>\varepsilon=1</math>: परवलय, <math>\varepsilon=1.2</math>: हाइपरबोला)]]ज्यामितीय निरंतरता या ज्यामितीय निरंतरता की अवधारणा (''जी<sup>n</sup>'') मुख्य रूप से [[गॉटफ्रीड लीबनिज]], [[जोहान्स केप्लर]] और [[जीन-विक्टर पोंसेलेट]] जैसे गणितज्ञों द्वारा शांकव वर्गों (और संबंधित आकृतियों) पर लागू किया गया था। अवधारणा बीजगणित के बजाय ज्यामिति के माध्यम से वर्णन करने का एक प्रारंभिक प्रयास था, एक पैरामीट्रिक फ़ंक्शन के माध्यम से व्यक्त निरंतर कार्य की अवधारणा। <रेफरी नाम = टेलर 1911, पीपी। 674-675>{{cite EB1911|last=Taylor |first=Charles |wstitle=Geometrical Continuity |volume=11 |pages=674–675}}</रेफरी>
(<math>\varepsilon=0</math>: घेरा,<math>\varepsilon=0.8</math>: अंडाकार, <math>\varepsilon=1</math>: परवलय, <math>\varepsilon=1.2</math>: हाइपरबोला)]]ज्यामितीय निरंतरता या ज्यामितीय निरंतरता की अवधारणा (''जी<sup>n</sup>'') मुख्य रूप से [[गॉटफ्रीड लीबनिज]], [[जोहान्स केप्लर]] और [[जीन-विक्टर पोंसेलेट]] जैसे गणितज्ञों द्वारा शांकव वर्गों (और संबंधित आकृतियों) पर लागू किया गया था। अवधारणा बीजगणित के बजाय ज्यामिति के माध्यम से वर्णन करने का एक प्रारंभिक प्रयास था, एक पैरामीट्रिक फलन के माध्यम से व्यक्त निरंतर कार्य की अवधारणा। <रेफरी नाम = टेलर 1911, पीपी। 674-675>{{cite EB1911|last=Taylor |first=Charles |wstitle=Geometrical Continuity |volume=11 |pages=674–675}}</रेफरी>


ज्यामितीय निरंतरता के पीछे मूल विचार यह था कि पांच शंकु खंड वास्तव में एक ही आकार के पांच अलग-अलग संस्करण थे। एक दीर्घवृत्त एक वृत्त की ओर जाता है क्योंकि [[विलक्षणता (गणित)]] शून्य तक पहुँचती है, या एक [[परवलय]] के रूप में यह एक तक पहुँचती है; और एक अतिपरवलय एक परवलय की ओर जाता है क्योंकि सनकीपन एक की ओर गिरता है; यह [[रेखा (ज्यामिति)]] को प्रतिच्छेद करने के लिए भी प्रवृत्त हो सकता है। इस प्रकार, शंकु वर्गों के बीच निरंतरता थी। इन विचारों ने निरंतरता की अन्य अवधारणाओं को जन्म दिया। उदाहरण के लिए, यदि एक वृत्त और एक सीधी रेखा एक ही आकार की दो अभिव्यक्तियाँ हैं, तो शायद एक रेखा को अनंत त्रिज्या के एक वृत्त के रूप में सोचा जा सकता है। ऐसा होने के लिए, बिंदु को अनुमति देकर लाइन को बंद करना होगा <math>x =\infty</math> सर्कल पर एक बिंदु होने के लिए, और के लिए <math>x =+\infty</math> तथा <math>x =\neg\infty</math> समान होना। इस तरह के विचार आधुनिक, बीजगणितीय रूप से परिभाषित, एक फलन के निरंतर कार्य के विचार और के विचार को गढ़ने में उपयोगी थे <math>\infty</math> (अधिक जानकारी के लिए [[अनुमानित रूप से विस्तारित वास्तविक रेखा]] देखें)। <रेफरी नाम = टेलर 1911, पीपी। 674-675 /><!-- 1911 covers some of this but needs a modern reference-->
ज्यामितीय निरंतरता के पीछे मूल विचार यह था कि पांच शंकु खंड वास्तव में एक ही आकार के पांच अलग-अलग संस्करण थे। एक दीर्घवृत्त एक वृत्त की ओर जाता है क्योंकि [[विलक्षणता (गणित)]] शून्य तक पहुँचती है, या एक [[परवलय]] के रूप में यह एक तक पहुँचती है; और एक अतिपरवलय एक परवलय की ओर जाता है क्योंकि सनकीपन एक की ओर गिरता है; यह [[रेखा (ज्यामिति)]] को प्रतिच्छेद करने के लिए भी प्रवृत्त हो सकता है। इस प्रकार, शंकु वर्गों के बीच निरंतरता थी। इन विचारों ने निरंतरता की अन्य अवधारणाओं को जन्म दिया। उदाहरण के लिए, यदि एक वृत्त और एक सीधी रेखा एक ही आकार की दो अभिव्यक्तियाँ हैं, तो शायद एक रेखा को अनंत त्रिज्या के एक वृत्त के रूप में सोचा जा सकता है। ऐसा होने के लिए, बिंदु को अनुमति देकर लाइन को बंद करना होगा <math>x =\infty</math> सर्कल पर एक बिंदु होने के लिए, और के लिए <math>x =+\infty</math> तथा <math>x =\neg\infty</math> समान होना। इस तरह के विचार आधुनिक, बीजगणितीय रूप से परिभाषित, एक फलन के निरंतर कार्य के विचार और के विचार को गढ़ने में उपयोगी थे <math>\infty</math> (अधिक जानकारी के लिए [[अनुमानित रूप से विस्तारित वास्तविक रेखा]] देखें)। <रेफरी नाम = टेलर 1911, पीपी। 674-675 /><!-- 1911 covers some of this but needs a modern reference-->
Line 90: Line 90:
सामान्य रूप में, <math>G^n</math> निरंतरता मौजूद है अगर वक्रों को फिर से परिभाषित किया जा सकता है <math>C^n</math> (पैरामीट्रिक) निरंतरता।<ref>{{cite journal |first1=Brian A. |last1=Barsky |first2=Tony D. |last2=DeRose |title=पैरामीट्रिक वक्रों की ज्यामितीय निरंतरता: तीन समतुल्य लक्षण|journal=IEEE Computer Graphics and Applications |volume=9 |issue=6 |year=1989 |pages=60–68 |doi=10.1109/38.41470 |s2cid=17893586 }}</ref><ref>{{cite web |url=https://www2.mathematik.tu-darmstadt.de/~ehartmann/cdgen0104.pdf#page=55 |first=Erich |last=Hartmann |title=कंप्यूटर एडेड डिजाइन के लिए ज्यामिति और एल्गोरिदम|page=55 |date=2003 |publisher=[[Technische Universität Darmstadt]] |access-date=2019-08-31 |archive-date=2020-10-23 |archive-url=https://web.archive.org/web/20201023054532/http://www2.mathematik.tu-darmstadt.de/~ehartmann/cdgen0104.pdf#page=55 |url-status=live }}</ref> वक्र का एक पुनर्मूल्यांकन ज्यामितीय रूप से मूल के समान है; केवल पैरामीटर प्रभावित होता है।
सामान्य रूप में, <math>G^n</math> निरंतरता मौजूद है अगर वक्रों को फिर से परिभाषित किया जा सकता है <math>C^n</math> (पैरामीट्रिक) निरंतरता।<ref>{{cite journal |first1=Brian A. |last1=Barsky |first2=Tony D. |last2=DeRose |title=पैरामीट्रिक वक्रों की ज्यामितीय निरंतरता: तीन समतुल्य लक्षण|journal=IEEE Computer Graphics and Applications |volume=9 |issue=6 |year=1989 |pages=60–68 |doi=10.1109/38.41470 |s2cid=17893586 }}</ref><ref>{{cite web |url=https://www2.mathematik.tu-darmstadt.de/~ehartmann/cdgen0104.pdf#page=55 |first=Erich |last=Hartmann |title=कंप्यूटर एडेड डिजाइन के लिए ज्यामिति और एल्गोरिदम|page=55 |date=2003 |publisher=[[Technische Universität Darmstadt]] |access-date=2019-08-31 |archive-date=2020-10-23 |archive-url=https://web.archive.org/web/20201023054532/http://www2.mathematik.tu-darmstadt.de/~ehartmann/cdgen0104.pdf#page=55 |url-status=live }}</ref> वक्र का एक पुनर्मूल्यांकन ज्यामितीय रूप से मूल के समान है; केवल पैरामीटर प्रभावित होता है।


समतुल्य रूप से, दो वेक्टर फ़ंक्शन <math>f(t)</math> तथा <math>g(t)</math> पास होना <math>G^n</math> निरंतरता अगर <math>f^{(n)}(t)\neq0</math> तथा <math>f^{(n)}(t)\equiv kg^{(n)}(t)</math>, एक अदिश के लिए <math>k>0</math> (अर्थात, यदि दो सदिशों की दिशा, लेकिन जरूरी नहीं कि परिमाण बराबर हो)।
समतुल्य रूप से, दो वेक्टर फलन <math>f(t)</math> तथा <math>g(t)</math> पास होना <math>G^n</math> निरंतरता अगर <math>f^{(n)}(t)\neq0</math> तथा <math>f^{(n)}(t)\equiv kg^{(n)}(t)</math>, एक अदिश के लिए <math>k>0</math> (अर्थात, यदि दो सदिशों की दिशा, लेकिन जरूरी नहीं कि परिमाण बराबर हो)।


हालांकि यह स्पष्ट हो सकता है कि वक्र की आवश्यकता होगी <math>G^1</math> चिकनी दिखने के लिए निरंतरता, अच्छे सौंदर्यशास्त्र के लिए, जैसे कि [[वास्तुकला]] और [[स्पोर्ट्स कार]] डिजाइन में इच्छुक लोगों के लिए, ज्यामितीय निरंतरता के उच्च स्तर की आवश्यकता होती है। उदाहरण के लिए, कार की बॉडी में प्रतिबिंब तब तक चिकने नहीं दिखेंगे जब तक कि बॉडी में ऐसा न हो <math>G^2</math> निरंतरता।
हालांकि यह स्पष्ट हो सकता है कि वक्र की आवश्यकता होगी <math>G^1</math> चिकनी दिखने के लिए निरंतरता, अच्छे सौंदर्यशास्त्र के लिए, जैसे कि [[वास्तुकला]] और [[स्पोर्ट्स कार]] डिजाइन में इच्छुक लोगों के लिए, ज्यामितीय निरंतरता के उच्च स्तर की आवश्यकता होती है। उदाहरण के लिए, कार की बॉडी में प्रतिबिंब तब तक चिकने नहीं दिखेंगे जब तक कि बॉडी में ऐसा न हो <math>G^2</math> निरंतरता।
Line 106: Line 106:


=== एकता के चिकने विभाजन ===
=== एकता के चिकने विभाजन ===
दिए गए बंद [[समर्थन (गणित)]] के साथ चिकने कार्यों का उपयोग एकता के सुचारू विभाजन के निर्माण में किया जाता है (देखें ''[[एकता का विभाजन]]'' और [[टोपोलॉजी शब्दावली]]); ये [[चिकना कई गुना]] के अध्ययन में आवश्यक हैं, उदाहरण के लिए यह दिखाने के लिए कि [[रिमेंनियन मीट्रिक]] को उनके स्थानीय अस्तित्व से शुरू करते हुए विश्व स्तर पर परिभाषित किया जा सकता है। एक साधारण मामला वास्तविक रेखा पर एक बम्प फ़ंक्शन का है, जो कि एक सहज फ़ंक्शन ''f'' है, जो एक अंतराल [''a'',''b''] के बाहर मान 0 लेता है और ऐसा
दिए गए बंद [[समर्थन (गणित)]] के साथ चिकने कार्यों का उपयोग एकता के सुचारू विभाजन के निर्माण में किया जाता है (देखें ''[[एकता का विभाजन]]'' और [[टोपोलॉजी शब्दावली]]); ये [[चिकना कई गुना]] के अध्ययन में आवश्यक हैं, उदाहरण के लिए यह दिखाने के लिए कि [[रिमेंनियन मीट्रिक]] को उनके स्थानीय अस्तित्व से शुरू करते हुए विश्व स्तर पर परिभाषित किया जा सकता है। एक साधारण मामला वास्तविक रेखा पर एक बम्प फलन का है, जो कि एक सहज फलन ''f'' है, जो एक अंतराल [''a'',''b''] के बाहर मान 0 लेता है और ऐसा
<math display="block">f(x) > 0 \quad \text{ for } \quad a < x < b.\,</math>
<math display="block">f(x) > 0 \quad \text{ for } \quad a < x < b.\,</math>
लाइन पर कई अतिव्यापी अंतरालों को देखते हुए, उनमें से प्रत्येक पर और अर्ध-अनंत अंतरालों पर बम्प फ़ंक्शंस का निर्माण किया जा सकता है <math>(-\infty, c]</math> तथा <math>[d, +\infty)</math> पूरी लाइन को कवर करने के लिए, जैसे कि कार्यों का योग हमेशा 1 होता है।
लाइन पर कई अतिव्यापी अंतरालों को देखते हुए, उनमें से प्रत्येक पर और अर्ध-अनंत अंतरालों पर बम्प फ़ंक्शंस का निर्माण किया जा सकता है <math>(-\infty, c]</math> तथा <math>[d, +\infty)</math> पूरी लाइन को कवर करने के लिए, जैसे कि कार्यों का योग हमेशा 1 होता है।


जो अभी कहा गया है, एकता के विभाजन [[होलोमॉर्फिक फ़ंक्शन]] पर लागू नहीं होते हैं; अस्तित्व और [[विश्लेषणात्मक निरंतरता]] के सापेक्ष उनका अलग व्यवहार शेफ (गणित) सिद्धांत की जड़ों में से एक है। इसके विपरीत, चिकने कार्यों के शीशों में अधिक सामयिक जानकारी नहीं होती है।
जो अभी कहा गया है, एकता के विभाजन [[होलोमॉर्फिक फ़ंक्शन|होलोमॉर्फिक फलन]] पर लागू नहीं होते हैं; अस्तित्व और [[विश्लेषणात्मक निरंतरता]] के सापेक्ष उनका अलग व्यवहार शेफ (गणित) सिद्धांत की जड़ों में से एक है। इसके विपरीत, चिकने कार्यों के शीशों में अधिक सामयिक जानकारी नहीं होती है।


=== कई गुना के बीच और बीच में सुचारू कार्य करता है ===
=== कई गुना के बीच और बीच में सुचारू कार्य करता है ===
Line 162: Line 162:
*व्युत्पन्न (गणित)
*व्युत्पन्न (गणित)
*व्युत्पत्ति का क्रम
*व्युत्पत्ति का क्रम
*किसी फ़ंक्शन का डोमेन
*किसी फलन का प्रक्षेत्र
*खुला सेट
*खुला सेट
*अलग करने योग्य समारोह
*अलग करने योग्य समारोह

Revision as of 15:43, 4 December 2022

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


भिन्नता वर्ग

अवकलनीयता वर्ग उनके यौगिक के गुणों के अनुसार कार्यों का वर्गीकरण है। यह डेरिवेटिव के उच्चतम क्रम का एक माप है जो मौजूद है और एक फलन के लिए निरंतर है।

एक खुले सेट पर विचार करें वास्तविक रेखा और एक समारोह पर पर परिभाषित वास्तविक मूल्यों के साथ। मान लीजिए k एक गैर-ऋणात्मक पूर्णांक है। कार्यक्रम अवकालनीयता वर्ग का कहा जाता है अगर डेरिवेटिव मौजूद हैं और निरंतर कार्य कर रहे हैं पर. यदि है -विभेद्य पर , तो यह कम से कम कक्षा में है जबसे लगातार चालू हैं . कार्यक्रम कहा जाता है कि यह असीम रूप से भिन्न, चिकना या वर्ग का है , अगर इसमें सभी ऑर्डर के डेरिवेटिव हैं . (इसलिए ये सभी डेरिवेटिव निरंतर कार्य हैं .)[4] कार्यक्रम वर्ग का बताया गया है , या विश्लेषणात्मक कार्य, यदि चिकना है (यानी, कक्षा में है ) और इसके प्रक्षेत्र में किसी भी बिंदु के आसपास इसकी टेलर श्रृंखला का विस्तार बिंदु के कुछ पड़ोस (गणित) में कार्य में परिवर्तित हो जाता है। इस प्रकार सख्ती से निहित है . बम्प फ़ंक्शंस फ़ंक्शंस के उदाहरण हैं लेकिन अंदर नहीं .

इसे अलग तरीके से रखने के लिए, class सभी निरंतर कार्यों से मिलकर बनता है। कक्षा सभी अवकलनीय फलन होते हैं जिनका व्युत्पन्न निरंतर है; ऐसे कार्यों को निरंतर अवकलनीय कहा जाता है। इस प्रकार, एक फंक्शन वास्तव में एक फंक्शन है जिसका व्युत्पन्न मौजूद है और कक्षा का है. सामान्य तौर पर, कक्षाएं घोषित करके प्रत्यावर्तन परिभाषित किया जा सकता है सभी निरंतर कार्यों का सेट होना और घोषणा करना किसी भी सकारात्मक पूर्णांक के लिए उन सभी अलग-अलग कार्यों का सेट होने के लिए जिनका व्युत्पन्न है . विशेष रूप से, में निहित है हरएक के लिए , और यह दिखाने के लिए उदाहरण हैं कि यह नियंत्रण सख्त है (). कक्षा असीम रूप से भिन्न कार्यों का, वर्गों का प्रतिच्छेदन है जैसा गैर-ऋणात्मक पूर्णांकों पर भिन्न होता है।

उदाहरण

File:C0 function.svg
सी0 समारोह f(x) = x के लिये x ≥ 0 और 0 अन्यथा।

फ़ाइल:X^2sin(x^-1).svg|thumb|कार्यक्रम g(x) = x2 sin(1/x) के लिये x > 0.

फ़ाइल: फलन x^2*sin(1 over x).svg|thumb|upright=1.3|कार्यक्रम साथ के लिये तथा अवकलनीय है। हालाँकि, यह फलन लगातार भिन्न नहीं होता है।

File:Mollifier Illustration.svg
एक सहज कार्य जो विश्लेषणात्मक नहीं है।

कार्यक्रम

निरंतर है, लेकिन अलग-अलग नहीं है x = 0, तो यह कक्षा सी का है0, लेकिन कक्षा C का नहीं1</उप>।

कार्यक्रम

अवकलनीय है, व्युत्पन्न के साथ
इसलिये के रूप में हिलता है x → 0, शून्य पर सतत नहीं है। इसलिए, अवकलनीय है लेकिन वर्ग C का नहीं है1</उप>। इसके अलावा अगर कोई लेता है (x ≠ 0) इस उदाहरण में, यह दिखाने के लिए इस्तेमाल किया जा सकता है कि एक अलग-अलग फलन के व्युत्पन्न फलन को कॉम्पैक्ट सेट पर असीमित किया जा सकता है और इसलिए, कॉम्पैक्ट सेट पर एक अलग-अलग फलन स्थानीय रूप से लिप्सचिट्ज़ निरंतर नहीं हो सकता है।

कार्य

कहाँ पे k सम है, निरंतर हैं और k बार अलग-अलग x. लेकिन पर x = 0 वो नहीं हैं (k + 1) समय अवकलनीय है, इसलिए वे कक्षा C के हैंk, लेकिन कक्षा C का नहींj कहाँ j > k.

घातीय कार्य विश्लेषणात्मक है, और इसलिए कक्षा सी में आता हैω. त्रिकोणमितीय फलन भी विश्लेषणात्मक होते हैं जहाँ उन्हें परिभाषित किया जाता है।

टक्कर समारोह

चिकनी है, इसलिए कक्षा सी की है, लेकिन यह विश्लेषणात्मक नहीं है x = ±1, और इसलिए कक्षा सी का नहीं हैω. कार्यक्रम f कॉम्पैक्ट समर्थन के साथ एक सुचारू कार्य का एक उदाहरण है।

बहुभिन्नरूपी विभेदीकरण वर्ग

एक समारोह एक खुले सेट पर परिभाषित का कहा जाता है कि[5] वर्ग का होना पर , एक सकारात्मक पूर्णांक के लिए , यदि सभी आंशिक डेरिवेटिव

मौजूद हैं और निरंतर हैं, प्रत्येक के लिए गैर-नकारात्मक पूर्णांक, जैसे कि , और हर . समान रूप से, वर्ग का है पर अगर -वें क्रम के फ्रेचेट का व्युत्पन्न मौजूद है और के हर बिंदु पर निरंतर है . कार्यक्रम वर्ग का बताया गया है या अगर यह लगातार चालू है . वर्ग के कार्य निरंतर अवकलनीय भी कहा जाता है।

एक समारोह , एक खुले सेट पर परिभाषित का वर्ग का बताया जाता है पर , एक सकारात्मक पूर्णांक के लिए , यदि इसके सभी घटक

वर्ग के हैं , कहाँ पे प्राकृतिक प्रक्षेपण हैं (रैखिक बीजगणित) द्वारा परिभाषित . क्लास का बताया जाता है या यदि यह निरंतर है, या समतुल्य है, यदि सभी घटक निरंतर हैं, चालू हैं .

सी का स्थानके </सुप> कार्य

होने देना वास्तविक रेखा का एक खुला उपसमुच्चय बनें। सभी का सेट वास्तविक-मूल्यवान कार्यों को परिभाषित किया गया है सेमिनोर्म्स के गणनीय परिवार के साथ एक फ्रेचेट स्पेस|फ्रेचेट वेक्टर स्पेस है

कहाँ पे सघन समुच्चयों के बढ़ते क्रम में भिन्न होता है जिसका संघ (सेट सिद्धांत) है , तथा .

के समुच्चय कार्य समाप्त एक फ्रेचेट स्पेस भी बनाता है। सिवाय इसके कि ऊपर के समान सेमिनोर्म का उपयोग किया जाता है सभी गैर-नकारात्मक पूर्णांक मानों की सीमा की अनुमति है।

उपरोक्त रिक्त स्थान उन अनुप्रयोगों में स्वाभाविक रूप से होते हैं जहां कुछ ऑर्डर के डेरिवेटिव वाले फलन आवश्यक होते हैं; हालाँकि, विशेष रूप से आंशिक अंतर समीकरणों के अध्ययन में, कभी-कभी सोबोलेव रिक्त स्थान के बजाय काम करना अधिक उपयोगी हो सकता है।

निरंतरता

शर्तें पैरामीट्रिक निरंतरता (सीk) और ज्यामितीय निरंतरता (Gn) को ब्रायन ए. बार्स्की द्वारा पेश किया गया था, यह दिखाने के लिए कि गति पर प्रतिबंधों को हटाकर वक्र की चिकनाई को मापा जा सकता है, जिसके साथ पैरामीटर वक्र का पता लगाता है।[6][7][8]


पैरामीट्रिक निरंतरता

पैरामीट्रिक निरंतरता (सीk) पैरामीट्रिक वक्रों पर लागू एक अवधारणा है, जो वक्र के साथ दूरी के साथ पैरामीटर के मान की चिकनाई का वर्णन करती है। ए (पैरामीट्रिक) वक्र वर्ग सी का बताया जाता हैकश्मीर, अगर मौजूद है और लगातार चालू है , जहां अंत-बिंदुओं पर डेरिवेटिव हैं अर्ध-भिन्नता के लिए लिया जाता है (यानी, पर दाईं ओर से और पर बाएं से)।

इस अवधारणा के व्यावहारिक अनुप्रयोग के रूप में, समय के एक पैरामीटर के साथ किसी वस्तु की गति का वर्णन करने वाले वक्र में C होना चाहिए1 निरंतरता और इसका पहला व्युत्पन्न अवकलनीय है—ऑब्जेक्ट के लिए परिमित त्वरण है। चिकनी गति के लिए, जैसे फिल्म बनाते समय कैमरे के पथ के लिए, पैरामीट्रिक निरंतरता के उच्च क्रम की आवश्यकता होती है।

पैरामीट्रिक निरंतरता का क्रम

File:Parametric continuity C0.svg
दो बेज़ियर वक्र खंड जुड़े हुए हैं जो कि केवल C है0 निरंतर
File:Parametric continuity vector.svg
दो बेज़ियर वक्र खंड इस तरह से जुड़े हुए हैं कि वे सी हैं1 निरंतर

पैरामीट्रिक निरंतरता के विभिन्न क्रम को निम्नानुसार वर्णित किया जा सकता है:[9]

  • : शून्य अवकलज सतत है (वक्र सतत हैं)
  • : शून्यवाँ और प्रथम अवकलज संतत हैं
  • : शून्य, पहला और दूसरा डेरिवेटिव निरंतर हैं
  • : 0-वें के माध्यम से -वें डेरिवेटिव निरंतर हैं

ज्यामितीय निरंतरता

Error creating thumbnail:
जी के साथ घटता है1-संपर्क (वृत्त, रेखा)
File:Kegelschnitt-Schar.svg

जी के साथ शांकव वर्गों की पेंसिल2-संपर्क: पी फिक्स, चर
(: घेरा,: अंडाकार, : परवलय, : हाइपरबोला)

ज्यामितीय निरंतरता या ज्यामितीय निरंतरता की अवधारणा (जीn) मुख्य रूप से गॉटफ्रीड लीबनिज, जोहान्स केप्लर और जीन-विक्टर पोंसेलेट जैसे गणितज्ञों द्वारा शांकव वर्गों (और संबंधित आकृतियों) पर लागू किया गया था। अवधारणा बीजगणित के बजाय ज्यामिति के माध्यम से वर्णन करने का एक प्रारंभिक प्रयास था, एक पैरामीट्रिक फलन के माध्यम से व्यक्त निरंतर कार्य की अवधारणा। <रेफरी नाम = टेलर 1911, पीपी। 674-675>Taylor, Charles (1911). "Geometrical Continuity" . In Chisholm, Hugh (ed.). Encyclopædia Britannica (in English). Vol. 11 (11th ed.). Cambridge University Press. pp. 674–675.</रेफरी>

ज्यामितीय निरंतरता के पीछे मूल विचार यह था कि पांच शंकु खंड वास्तव में एक ही आकार के पांच अलग-अलग संस्करण थे। एक दीर्घवृत्त एक वृत्त की ओर जाता है क्योंकि विलक्षणता (गणित) शून्य तक पहुँचती है, या एक परवलय के रूप में यह एक तक पहुँचती है; और एक अतिपरवलय एक परवलय की ओर जाता है क्योंकि सनकीपन एक की ओर गिरता है; यह रेखा (ज्यामिति) को प्रतिच्छेद करने के लिए भी प्रवृत्त हो सकता है। इस प्रकार, शंकु वर्गों के बीच निरंतरता थी। इन विचारों ने निरंतरता की अन्य अवधारणाओं को जन्म दिया। उदाहरण के लिए, यदि एक वृत्त और एक सीधी रेखा एक ही आकार की दो अभिव्यक्तियाँ हैं, तो शायद एक रेखा को अनंत त्रिज्या के एक वृत्त के रूप में सोचा जा सकता है। ऐसा होने के लिए, बिंदु को अनुमति देकर लाइन को बंद करना होगा सर्कल पर एक बिंदु होने के लिए, और के लिए तथा समान होना। इस तरह के विचार आधुनिक, बीजगणितीय रूप से परिभाषित, एक फलन के निरंतर कार्य के विचार और के विचार को गढ़ने में उपयोगी थे (अधिक जानकारी के लिए अनुमानित रूप से विस्तारित वास्तविक रेखा देखें)। <रेफरी नाम = टेलर 1911, पीपी। 674-675 />


ज्यामितीय निरंतरता का क्रम

एक वक्र या सतह (टोपोलॉजी) को होने के रूप में वर्णित किया जा सकता है निरंतरता, साथ चिकनाई के बढ़ते उपाय होने के नाते। एक वक्र पर एक बिंदु के दोनों ओर खंडों पर विचार करें:

  • : वक्र जोड़ बिंदु पर स्पर्श करते हैं।
  • : वक्र भी जुड़ने के बिंदु पर एक सामान्य स्पर्शरेखा दिशा साझा करते हैं।
  • : वक्र जोड़ बिंदु पर वक्रता का एक सामान्य केंद्र भी साझा करते हैं।

सामान्य रूप में, निरंतरता मौजूद है अगर वक्रों को फिर से परिभाषित किया जा सकता है (पैरामीट्रिक) निरंतरता।[10][11] वक्र का एक पुनर्मूल्यांकन ज्यामितीय रूप से मूल के समान है; केवल पैरामीटर प्रभावित होता है।

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

हालांकि यह स्पष्ट हो सकता है कि वक्र की आवश्यकता होगी चिकनी दिखने के लिए निरंतरता, अच्छे सौंदर्यशास्त्र के लिए, जैसे कि वास्तुकला और स्पोर्ट्स कार डिजाइन में इच्छुक लोगों के लिए, ज्यामितीय निरंतरता के उच्च स्तर की आवश्यकता होती है। उदाहरण के लिए, कार की बॉडी में प्रतिबिंब तब तक चिकने नहीं दिखेंगे जब तक कि बॉडी में ऐसा न हो निरंतरता।

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

अन्य अवधारणाएं

विश्लेषणात्मकता से संबंध

जबकि सभी विश्लेषणात्मक कार्य सुचारू हैं (अर्थात सभी डेरिवेटिव निरंतर हैं) उस सेट पर जिस पर वे विश्लेषणात्मक हैं, बम्प फ़ंक्शंस (ऊपर उल्लिखित) जैसे उदाहरण दिखाते हैं कि बातचीत वास्तविक कार्यों के लिए सही नहीं है: वहाँ चिकनी वास्तविक कार्य मौजूद हैं जो विश्लेषणात्मक नहीं हैं। कार्यों के सरल उदाहरण जो गैर-विश्लेषणात्मक सुचारू कार्य हैं # एक सुचारू कार्य जो कहीं भी वास्तविक विश्लेषणात्मक नहीं है, फूरियर श्रृंखला के माध्यम से बनाया जा सकता है; फैबियस समारोह एक अन्य उदाहरण है। हालांकि ऐसा लग सकता है कि ऐसे कार्य नियम के बजाय अपवाद हैं, यह पता चला है कि विश्लेषणात्मक कार्य सुचारू लोगों के बीच बहुत कम बिखरे हुए हैं; अधिक सख्ती से, विश्लेषणात्मक कार्य सुचारू कार्यों का एक अल्प सेट सबसेट बनाते हैं। इसके अलावा, वास्तविक रेखा के प्रत्येक खुले उपसमुच्चय A के लिए, ऐसे सहज कार्य मौजूद हैं जो A पर विश्लेषणात्मक हैं और कहीं नहीं[citation needed].

वास्तविक रेखा पर पारलौकिक संख्याओं की सर्वव्यापकता से स्थिति की तुलना करना उपयोगी है। वास्तविक रेखा और सहज कार्यों के सेट दोनों पर, उदाहरण हम पहले विचार (बीजगणितीय/तर्कसंगत संख्या और विश्लेषणात्मक कार्यों) के साथ आते हैं, अधिकांश मामलों की तुलना में कहीं बेहतर व्यवहार किया जाता है: पारलौकिक संख्या और कहीं भी विश्लेषणात्मक कार्यों का पूर्ण माप नहीं है (उनके पूरक अल्प हैं)।

इस प्रकार वर्णित स्थिति जटिल भिन्नात्मक कार्यों के विपरीत है। यदि एक जटिल कार्य एक खुले सेट पर केवल एक बार अलग-अलग होता है, तो यह उस सेट पर असीम रूप से भिन्न और विश्लेषणात्मक दोनों होता है[citation needed].

एकता के चिकने विभाजन

दिए गए बंद समर्थन (गणित) के साथ चिकने कार्यों का उपयोग एकता के सुचारू विभाजन के निर्माण में किया जाता है (देखें एकता का विभाजन और टोपोलॉजी शब्दावली); ये चिकना कई गुना के अध्ययन में आवश्यक हैं, उदाहरण के लिए यह दिखाने के लिए कि रिमेंनियन मीट्रिक को उनके स्थानीय अस्तित्व से शुरू करते हुए विश्व स्तर पर परिभाषित किया जा सकता है। एक साधारण मामला वास्तविक रेखा पर एक बम्प फलन का है, जो कि एक सहज फलन f है, जो एक अंतराल [a,b] के बाहर मान 0 लेता है और ऐसा

लाइन पर कई अतिव्यापी अंतरालों को देखते हुए, उनमें से प्रत्येक पर और अर्ध-अनंत अंतरालों पर बम्प फ़ंक्शंस का निर्माण किया जा सकता है तथा पूरी लाइन को कवर करने के लिए, जैसे कि कार्यों का योग हमेशा 1 होता है।

जो अभी कहा गया है, एकता के विभाजन होलोमॉर्फिक फलन पर लागू नहीं होते हैं; अस्तित्व और विश्लेषणात्मक निरंतरता के सापेक्ष उनका अलग व्यवहार शेफ (गणित) सिद्धांत की जड़ों में से एक है। इसके विपरीत, चिकने कार्यों के शीशों में अधिक सामयिक जानकारी नहीं होती है।

कई गुना के बीच और बीच में सुचारू कार्य करता है

एक अलग करने योग्य कई गुना दिया गया , आयाम का और एक एटलस (टोपोलॉजी) फिर एक नक्शा चिकना है अगर सभी के लिए एक चार्ट मौजूद है ऐसा है कि तथा के पड़ोस से एक सुचारू कार्य है में प्रति (दिए गए क्रम तक सभी आंशिक डेरिवेटिव निरंतर हैं)। स्मूदनेस को एटलस के किसी भी चार्ट (टोपोलॉजी) के संबंध में चेक किया जा सकता है चूंकि चार्ट के बीच संक्रमण कार्यों पर चिकनाई की आवश्यकताएं सुनिश्चित करती हैं कि यदि के पास चिकना है एक चार्ट में यह करीब चिकना होगा किसी अन्य चार्ट में।

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

सहज कार्यों के साथ प्रीइमेज और पुशफॉरवर्ड, सामान्य रूप से, अतिरिक्त धारणाओं के बिना कई गुना नहीं होते हैं। नियमित बिंदुओं की प्रीइमेज (अर्थात, यदि प्रीइमेज पर डिफरेंशियल गायब नहीं होता है) कई गुना हैं; यह प्रीइमेज प्रमेय है। इसी तरह, एम्बेडिंग के साथ पुशफॉरवर्ड कई गुना होते हैं।[12]


कई गुना के सबसेट के बीच सुचारू कार्य

मैनिफोल्ड्स के मनमाना सबसेट के लिए चिकने नक्शे की एक समान धारणा है। यदि एक फलन (गणित) है जिसका फलन का क्षेत्र और फलन का दायरा बहुगुणों का उपसमुच्चय है तथा क्रमश। कहा जाता है कि अगर सभी के लिए चिकना हो एक खुला सेट है साथ और एक चिकना कार्य ऐसा है कि सभी के लिए


यह भी देखें


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

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

संदर्भ

  1. Weisstein, Eric W. "चिकना समारोह". mathworld.wolfram.com (in English). Archived from the original on 2019-12-16. Retrieved 2019-12-13.
  2. "चिकना (गणित)". TheFreeDictionary.com. Archived from the original on 2019-09-03. Retrieved 2019-12-13.
  3. "स्मूथ फंक्शन - गणित का विश्वकोश". www.encyclopediaofmath.org. Archived from the original on 2019-12-13. Retrieved 2019-12-13.
  4. Warner, Frank W. (1983). डिफरेंशियल मैनिफोल्ड्स और लाई ग्रुप्स की नींव. Springer. p. 5 [Definition 1.2]. ISBN 978-0-387-90894-6. Archived from the original on 2015-10-01. Retrieved 2014-11-28.
  5. Henri Cartan (1977). डिफरेंशियल कैलकुलस कोर्स. Paris: Hermann.
  6. Barsky, Brian A. (1981). बीटा-स्पलाइन: शेप पैरामीटर्स और मौलिक ज्यामितीय उपायों के आधार पर एक स्थानीय प्रतिनिधित्व (Ph.D.). University of Utah, Salt Lake City, Utah.
  7. Brian A. Barsky (1988). कंप्यूटर ग्राफिक्स और ज्यामितीय मॉडलिंग बीटा-स्पलाइन का उपयोग करना. Springer-Verlag, Heidelberg. ISBN 978-3-642-72294-3.
  8. Richard H. Bartels; John C. Beatty; Brian A. Barsky (1987). कंप्यूटर ग्राफ़िक्स और जियोमेट्रिक मॉडलिंग में उपयोग के लिए स्प्लाइन्स का परिचय. Morgan Kaufmann. Chapter 13. Parametric vs. Geometric Continuity. ISBN 978-1-55860-400-1.
  9. van de Panne, Michiel (1996). "पैरामीट्रिक वक्र". Fall 1996 Online Notes. University of Toronto, Canada. Archived from the original on 2020-11-26. Retrieved 2019-09-01.
  10. Barsky, Brian A.; DeRose, Tony D. (1989). "पैरामीट्रिक वक्रों की ज्यामितीय निरंतरता: तीन समतुल्य लक्षण". IEEE Computer Graphics and Applications. 9 (6): 60–68. doi:10.1109/38.41470. S2CID 17893586.
  11. Hartmann, Erich (2003). "कंप्यूटर एडेड डिजाइन के लिए ज्यामिति और एल्गोरिदम" (PDF). Technische Universität Darmstadt. p. 55. Archived (PDF) from the original on 2020-10-23. Retrieved 2019-08-31.
  12. Guillemin, Victor; Pollack, Alan (1974). विभेदक टोपोलॉजी. Englewood Cliffs: Prentice-Hall. ISBN 0-13-212605-2.