स्मूथनेस: Difference between revisions
| 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|[[कॉम्पैक्ट समर्थन]] के साथ [[टक्कर समारोह]] एक स्मूद फंक्शन है।]][[गणितीय विश्लेषण]] में, एक [[फलन]] (गणित) की | [[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> | ||
== विभेदीकरण वर्ग == | == विभेदीकरण वर्ग == | ||
अवकलनीयता वर्ग उनके [[अवकलज]] के गुणों के अनुसार फलनो का वर्गीकरण है। यह अवकलज के उच्चतम क्रम का एक माप है जो मौजूद है और एक फलन के लिए सतत है। | अवकलनीयता वर्ग उनके [[अवकलज]] के गुणों के अनुसार फलनो का वर्गीकरण है। यह अवकलज के उच्चतम क्रम का एक माप है जो मौजूद है और एक फलन के लिए सतत है। | ||
| Line 16: | Line 16: | ||
[[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}} > 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}} > 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> | ||
निरंतर है, {{nowrap|1={{mvar|x}} = 0}} पर अवकलनीय नहीं है,इसलिए यह वर्ग, C<sup>0</sup> का है, लेकिन वर्ग C<sup>1 का है नहीं | निरंतर है, {{nowrap|1={{mvar|x}} = 0}} पर अवकलनीय नहीं है,इसलिए यह वर्ग, C<sup>0</sup> का है, लेकिन वर्ग C<sup>1 का है नहीं | ||
| Line 98: | Line 98: | ||
=== विश्लेषणात्मकता से संबंध === | === विश्लेषणात्मकता से संबंध === | ||
जबकि सभी विश्लेषणात्मक कार्य सुचारू हैं (अर्थात सभी डेरिवेटिव निरंतर हैं) उस सेट पर जिस पर वे विश्लेषणात्मक हैं, बम्प फ़ंक्शंस (ऊपर उल्लिखित) जैसे उदाहरण दिखाते हैं कि बातचीत वास्तविक कार्यों के लिए सही नहीं है: वहाँ चिकनी वास्तविक कार्य मौजूद हैं जो विश्लेषणात्मक नहीं हैं। कार्यों के सरल उदाहरण जो गैर-विश्लेषणात्मक सुचारू कार्य हैं # एक सुचारू कार्य जो कहीं भी वास्तविक विश्लेषणात्मक नहीं है, फूरियर श्रृंखला के माध्यम से बनाया जा सकता है; [[फैबियस समारोह]] एक अन्य उदाहरण है। हालांकि ऐसा लग सकता है कि ऐसे कार्य नियम के बजाय अपवाद हैं, यह पता चला है कि विश्लेषणात्मक कार्य सुचारू लोगों के बीच बहुत कम बिखरे हुए हैं; अधिक सख्ती से, विश्लेषणात्मक कार्य सुचारू कार्यों का एक [[अल्प सेट]] सबसेट बनाते हैं। इसके अलावा, वास्तविक रेखा के प्रत्येक खुले उपसमुच्चय A के लिए, ऐसे | जबकि सभी विश्लेषणात्मक कार्य सुचारू हैं (अर्थात सभी डेरिवेटिव निरंतर हैं) उस सेट पर जिस पर वे विश्लेषणात्मक हैं, बम्प फ़ंक्शंस (ऊपर उल्लिखित) जैसे उदाहरण दिखाते हैं कि बातचीत वास्तविक कार्यों के लिए सही नहीं है: वहाँ चिकनी वास्तविक कार्य मौजूद हैं जो विश्लेषणात्मक नहीं हैं। कार्यों के सरल उदाहरण जो गैर-विश्लेषणात्मक सुचारू कार्य हैं # एक सुचारू कार्य जो कहीं भी वास्तविक विश्लेषणात्मक नहीं है, फूरियर श्रृंखला के माध्यम से बनाया जा सकता है; [[फैबियस समारोह]] एक अन्य उदाहरण है। हालांकि ऐसा लग सकता है कि ऐसे कार्य नियम के बजाय अपवाद हैं, यह पता चला है कि विश्लेषणात्मक कार्य सुचारू लोगों के बीच बहुत कम बिखरे हुए हैं; अधिक सख्ती से, विश्लेषणात्मक कार्य सुचारू कार्यों का एक [[अल्प सेट]] सबसेट बनाते हैं। इसके अलावा, वास्तविक रेखा के प्रत्येक खुले उपसमुच्चय A के लिए, ऐसे स्मूथ कार्य मौजूद हैं जो A पर विश्लेषणात्मक हैं और कहीं नहीं {{citation needed|date=December 2020}}. | ||
वास्तविक रेखा पर [[पारलौकिक संख्या]]ओं की सर्वव्यापकता से स्थिति की तुलना करना उपयोगी है। वास्तविक रेखा और | वास्तविक रेखा पर [[पारलौकिक संख्या]]ओं की सर्वव्यापकता से स्थिति की तुलना करना उपयोगी है। वास्तविक रेखा और स्मूथ कार्यों के सेट दोनों पर, उदाहरण हम पहले विचार (बीजगणितीय/तर्कसंगत संख्या और विश्लेषणात्मक कार्यों) के साथ आते हैं, अधिकांश मामलों की तुलना में कहीं बेहतर व्यवहार किया जाता है: पारलौकिक संख्या और कहीं भी विश्लेषणात्मक कार्यों का पूर्ण माप नहीं है (उनके पूरक अल्प हैं)। | ||
इस प्रकार वर्णित स्थिति जटिल भिन्नात्मक कार्यों के विपरीत है। यदि एक जटिल कार्य एक खुले सेट पर केवल एक बार अलग-अलग होता है, तो यह उस सेट पर असीम रूप से भिन्न और विश्लेषणात्मक दोनों होता है {{citation needed|date=December 2020}}. | इस प्रकार वर्णित स्थिति जटिल भिन्नात्मक कार्यों के विपरीत है। यदि एक जटिल कार्य एक खुले सेट पर केवल एक बार अलग-अलग होता है, तो यह उस सेट पर असीम रूप से भिन्न और विश्लेषणात्मक दोनों होता है {{citation needed|date=December 2020}}. | ||
=== एकता के चिकने विभाजन === | === एकता के चिकने विभाजन === | ||
दिए गए बंद [[समर्थन (गणित)]] के साथ चिकने कार्यों का उपयोग एकता के सुचारू विभाजन के निर्माण में किया जाता है (देखें ''[[एकता का विभाजन]]'' और [[टोपोलॉजी शब्दावली]]); ये [[चिकना कई गुना]] के अध्ययन में आवश्यक हैं, उदाहरण के लिए यह दिखाने के लिए कि [[रिमेंनियन मीट्रिक]] को उनके स्थानीय अस्तित्व से शुरू करते हुए विश्व स्तर पर परिभाषित किया जा सकता है। एक साधारण मामला वास्तविक रेखा पर एक बम्प फलन का है, जो कि एक | दिए गए बंद [[समर्थन (गणित)]] के साथ चिकने कार्यों का उपयोग एकता के सुचारू विभाजन के निर्माण में किया जाता है (देखें ''[[एकता का विभाजन]]'' और [[टोपोलॉजी शब्दावली]]); ये [[चिकना कई गुना]] के अध्ययन में आवश्यक हैं, उदाहरण के लिए यह दिखाने के लिए कि [[रिमेंनियन मीट्रिक]] को उनके स्थानीय अस्तित्व से शुरू करते हुए विश्व स्तर पर परिभाषित किया जा सकता है। एक साधारण मामला वास्तविक रेखा पर एक बम्प फलन का है, जो कि एक स्मूथ फलन ''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 111: | Line 111: | ||
जो अभी कहा गया है, एकता के विभाजन [[होलोमॉर्फिक फ़ंक्शन|होलोमॉर्फिक फलन]] पर लागू नहीं होते हैं; अस्तित्व और [[विश्लेषणात्मक निरंतरता]] के सापेक्ष उनका अलग व्यवहार शेफ (गणित) सिद्धांत की जड़ों में से एक है। इसके विपरीत, चिकने कार्यों के शीशों में अधिक सामयिक जानकारी नहीं होती है। | जो अभी कहा गया है, एकता के विभाजन [[होलोमॉर्फिक फ़ंक्शन|होलोमॉर्फिक फलन]] पर लागू नहीं होते हैं; अस्तित्व और [[विश्लेषणात्मक निरंतरता]] के सापेक्ष उनका अलग व्यवहार शेफ (गणित) सिद्धांत की जड़ों में से एक है। इसके विपरीत, चिकने कार्यों के शीशों में अधिक सामयिक जानकारी नहीं होती है। | ||
=== बहुविध और उनके बीच में | === बहुविध और उनके बीच में स्मूथ फलन === | ||
एक [[अलग करने योग्य कई गुना]] दिया गया <math>M</math>, आयाम का <math>m,</math> और एक [[एटलस (टोपोलॉजी)]] <math>\mathfrak{U} = \{(U_\alpha,\phi_\alpha)\}_\alpha,</math> फिर एक नक्शा <math>f:M\to \R</math> चिकना है <math>M</math> अगर सभी के लिए <math>p \in M</math> एक चार्ट मौजूद है <math>(U, \phi) \in \mathfrak{U},</math> ऐसा है कि <math>p \in U,</math> तथा <math>f \circ \phi^{-1} : \phi(U) \to \R</math> के पड़ोस से एक सुचारू कार्य है <math>\phi(p)</math> में <math>\R^m</math> प्रति <math>\R</math> (दिए गए क्रम तक सभी आंशिक डेरिवेटिव निरंतर हैं)। स्मूदनेस को एटलस के किसी भी [[चार्ट (टोपोलॉजी)]] के संबंध में चेक किया जा सकता है <math>p,</math> चूंकि चार्ट के बीच संक्रमण कार्यों पर चिकनाई की आवश्यकताएं सुनिश्चित करती हैं कि यदि <math>f</math>के पास चिकना है <math>p</math> एक चार्ट में यह करीब चिकना होगा <math>p</math> किसी अन्य चार्ट में। | एक [[अलग करने योग्य कई गुना]] दिया गया <math>M</math>, आयाम का <math>m,</math> और एक [[एटलस (टोपोलॉजी)]] <math>\mathfrak{U} = \{(U_\alpha,\phi_\alpha)\}_\alpha,</math> फिर एक नक्शा <math>f:M\to \R</math> चिकना है <math>M</math> अगर सभी के लिए <math>p \in M</math> एक चार्ट मौजूद है <math>(U, \phi) \in \mathfrak{U},</math> ऐसा है कि <math>p \in U,</math> तथा <math>f \circ \phi^{-1} : \phi(U) \to \R</math> के पड़ोस से एक सुचारू कार्य है <math>\phi(p)</math> में <math>\R^m</math> प्रति <math>\R</math> (दिए गए क्रम तक सभी आंशिक डेरिवेटिव निरंतर हैं)। स्मूदनेस को एटलस के किसी भी [[चार्ट (टोपोलॉजी)]] के संबंध में चेक किया जा सकता है <math>p,</math> चूंकि चार्ट के बीच संक्रमण कार्यों पर चिकनाई की आवश्यकताएं सुनिश्चित करती हैं कि यदि <math>f</math>के पास चिकना है <math>p</math> एक चार्ट में यह करीब चिकना होगा <math>p</math> किसी अन्य चार्ट में। | ||
| Line 117: | Line 117: | ||
मैनिफोल्ड्स के बीच चिकने नक्शे [[स्पर्शरेखा स्थान]]ों के बीच रैखिक मानचित्रों को प्रेरित करते हैं: के लिए <math>F : M \to N</math>, प्रत्येक बिंदु पर Pushforward (अंतर) (या अवकलन) स्पर्शरेखा सदिशों को मानचित्रित करता है <math>p</math> स्पर्शरेखा वैक्टर पर <math>F(p)</math>: <math>F_{*,p} : T_p M \to T_{F(p)}N,</math> और [[स्पर्शरेखा बंडल]] के स्तर पर, पुशफॉरवर्ड एक सदिश बंडल समरूपता है: <math>F_* : TM \to TN.</math> पुशफॉरवर्ड के लिए दोहरी पुलबैक (डिफरेंशियल ज्योमेट्री) है, जो कोवेक्टरों को खींचती है <math>N</math> कोवेक्टर्स पर वापस <math>M,</math> तथा <math>k</math>-रूप में <math>k</math>-रूप: <math>F^* : \Omega^k(N) \to \Omega^k(M).</math> इस तरह मैनिफोल्ड्स के बीच सुचारू कार्य शीफ (गणित) को परिवहन कर सकते हैं, जैसे [[वेक्टर क्षेत्र]] और [[विभेदक रूप]], एक मैनिफोल्ड से दूसरे तक, या नीचे यूक्लिडियन स्पेस तक, जहाँ मैनिफोल्ड्स पर इंटीग्रेशन जैसी संगणनाएँ अच्छी तरह से समझी जाती हैं। | मैनिफोल्ड्स के बीच चिकने नक्शे [[स्पर्शरेखा स्थान]]ों के बीच रैखिक मानचित्रों को प्रेरित करते हैं: के लिए <math>F : M \to N</math>, प्रत्येक बिंदु पर Pushforward (अंतर) (या अवकलन) स्पर्शरेखा सदिशों को मानचित्रित करता है <math>p</math> स्पर्शरेखा वैक्टर पर <math>F(p)</math>: <math>F_{*,p} : T_p M \to T_{F(p)}N,</math> और [[स्पर्शरेखा बंडल]] के स्तर पर, पुशफॉरवर्ड एक सदिश बंडल समरूपता है: <math>F_* : TM \to TN.</math> पुशफॉरवर्ड के लिए दोहरी पुलबैक (डिफरेंशियल ज्योमेट्री) है, जो कोवेक्टरों को खींचती है <math>N</math> कोवेक्टर्स पर वापस <math>M,</math> तथा <math>k</math>-रूप में <math>k</math>-रूप: <math>F^* : \Omega^k(N) \to \Omega^k(M).</math> इस तरह मैनिफोल्ड्स के बीच सुचारू कार्य शीफ (गणित) को परिवहन कर सकते हैं, जैसे [[वेक्टर क्षेत्र]] और [[विभेदक रूप]], एक मैनिफोल्ड से दूसरे तक, या नीचे यूक्लिडियन स्पेस तक, जहाँ मैनिफोल्ड्स पर इंटीग्रेशन जैसी संगणनाएँ अच्छी तरह से समझी जाती हैं। | ||
स्मूथ कार्यों के साथ प्रीइमेज और पुशफॉरवर्ड, सामान्य रूप से, अतिरिक्त धारणाओं के बिना कई गुना नहीं होते हैं। नियमित बिंदुओं की प्रीइमेज (अर्थात, यदि प्रीइमेज पर डिफरेंशियल गायब नहीं होता है) कई गुना हैं; यह [[प्रीइमेज प्रमेय]] है। इसी तरह, एम्बेडिंग के साथ पुशफॉरवर्ड कई गुना होते हैं।<ref>{{cite book |last1=Guillemin |first1=Victor |last2=Pollack |first2=Alan |title=विभेदक टोपोलॉजी|location=Englewood Cliffs |publisher=Prentice-Hall |year=1974 |isbn=0-13-212605-2 }}</ref> | |||
=== बहुविध के '''उपसमुच्चय''' के बीच सुचारू कार्य === | === बहुविध के '''उपसमुच्चय''' के बीच सुचारू कार्य === | ||
बहुविध के यादृच्छिक उपसमुच्चय के लिए | बहुविध के यादृच्छिक उपसमुच्चय के लिए स्मूथ मानचित्र की एक समान धारणा है। यदि <math>f : X \to Y</math> एक [[फलन]] (गणित) है जिसका [[प्रक्षेत्र]] और [[क्षेत्र]] क्रमशः बहुविध <math>X \subseteq M</math> और<math>Y \subseteq N</math> के उपसमुच्चय हैं । फलन <math>f</math> को स्मूथ कहा जाता है यदि सभी <math>x \in X</math> के लिए <math>x \in U</math> के साथ एक खुला समुच्चय <math>U \subseteq M</math> है और एक स्मूथ फंक्शन <math>F : U \to N</math> ऐसा है कि सभी <math>F(p) = f(p)</math> तथा <math>p \in U \cap X</math> के लिए खुला समुच्चय है। | ||
== यह भी देखें == | == यह भी देखें == | ||
*[[अंतराल]] | *[[अंतराल]] | ||
| Line 128: | Line 128: | ||
*[[विलक्षणता (गणित)]] | *[[विलक्षणता (गणित)]] | ||
* [[बल]]-तरंग-समान फलन पर दो बिंदुओं के बीच चाप की लंबाई और सीधी-रेखा की दूरी का अनुपात | * [[बल]]-तरंग-समान फलन पर दो बिंदुओं के बीच चाप की लंबाई और सीधी-रेखा की दूरी का अनुपात | ||
*[[सहज योजना]] | *[[सहज योजना|स्मूथ योजना]] | ||
* {{annotated link|सहज संख्या}} (संख्या सिद्धांत)-केवल छोटे अभाज्य गुणक वाले पूर्णांक (संख्या सिद्धांत) | * {{annotated link|सहज संख्या}} (संख्या सिद्धांत)-केवल छोटे अभाज्य गुणक वाले पूर्णांक (संख्या सिद्धांत) | ||
*[[समरेखण]] | *[[समरेखण]] | ||
Revision as of 22:31, 8 December 2022
गणितीय विश्लेषण में, एक फलन (गणित) की स्मूथता एक ऐसा गुण है जिसे उसके किसी प्रक्षेत्र पर निरंतर अवकलज की संख्या से मापा जाता है, जिसे अवकलनीयता वर्ग कहा जाता है।[1] बहुत कम ही, (इसलिए निरंतर) एक फलन को सुचारू माना जा सकता है यदि यह हर जगह अलग-अलग हो।[2] दूसरे छोर पर, यह अपने प्रक्षेत्र में सभी अनुक्रमो के अवकलज भी रख सकता है, जिस स्थिति में इसे असीम रूप से अलग-अलग कहा जाता है और इसे सी-अनंत फलन (या फलन ) के रूप में संदर्भित किया जाता है।[3]
विभेदीकरण वर्ग
अवकलनीयता वर्ग उनके अवकलज के गुणों के अनुसार फलनो का वर्गीकरण है। यह अवकलज के उच्चतम क्रम का एक माप है जो मौजूद है और एक फलन के लिए सतत है।
वास्तविक रेखा पर एक खुले समुच्चय पर विचार करें और वास्तविक मानों के साथ पर परिभाषित फलन पर विचार करें। मान लीजिए k एक गैर-ऋणात्मक पूर्णांक है। फलन को का अवकालनीयता वर्ग कहा जाता है ,यदि अवकलज मौजूद हैं और पर निरंतर है। यदि , दोनों पर अवकलनीय है , तो यह कम से कम कक्षा में है क्योंकि , निरंतर हैं। फलन को असीम रूप से अलग करने योग्य, सुचारू या वर्ग कहा जाता है, अगर इसमें सभी ऑर्डर के डेरिवेटिव हैं . (इसलिए ये सभी डेरिवेटिव निरंतर कार्य हैं .)[4] कार्यक्रम वर्ग का बताया गया है , या विश्लेषणात्मक कार्य, यदि चिकना है (यानी, कक्षा में है ) और इसके प्रक्षेत्र में किसी भी बिंदु के आसपास इसकी टेलर श्रृंखला का विस्तार बिंदु के कुछ पड़ोस (गणित) में कार्य में परिवर्तित हो जाता है। इस प्रकार सख्ती से निहित है . बम्प फ़ंक्शंस फ़ंक्शंस के उदाहरण हैं लेकिन अंदर नहीं .
इसे अलग तरीके से रखने के लिए, class सभी निरंतर कार्यों से मिलकर बनता है। कक्षा सभी अवकलनीय फलन होते हैं जिनका व्युत्पन्न निरंतर है; ऐसे कार्यों को निरंतर अवकलनीय कहा जाता है। इस प्रकार, एक फंक्शन वास्तव में एक फंक्शन है जिसका व्युत्पन्न मौजूद है और कक्षा का है. सामान्य तौर पर, कक्षाएं घोषित करके प्रत्यावर्तन परिभाषित किया जा सकता है सभी निरंतर कार्यों का सेट होना और घोषणा करना किसी भी सकारात्मक पूर्णांक के लिए उन सभी अलग-अलग कार्यों का सेट होने के लिए जिनका व्युत्पन्न है . विशेष रूप से, में निहित है हरएक के लिए , और यह दिखाने के लिए उदाहरण हैं कि यह नियंत्रण सख्त है (). कक्षा असीम रूप से भिन्न कार्यों का, वर्गों का प्रतिच्छेदन है जैसा गैर-ऋणात्मक पूर्णांकों पर भिन्न होता है।
उदाहरण.
उदाहरण, सतत (C0) लेकिन अवकलनीय नहीं
फ़ाइल, 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|कार्यक्रम साथ के लिये तथा अवकलनीय है। हालाँकि, यह फलन लगातार भिन्न नहीं होता है।
फलन
कार्य
घातीय कार्य विश्लेषणात्मक है, और इसलिए कक्षा सी में आता हैω. त्रिकोणमितीय फलन भी विश्लेषणात्मक होते हैं जहाँ उन्हें परिभाषित किया जाता है।
टक्कर समारोह
बहुभिन्नरूपी विभेदीकरण वर्ग
एक समारोह एक खुले सेट पर परिभाषित का कहा जाता है कि[5] वर्ग का होना पर , एक सकारात्मक पूर्णांक के लिए , यदि सभी आंशिक डेरिवेटिव
मौजूद हैं और निरंतर हैं, प्रत्येक के लिए गैर-नकारात्मक पूर्णांक, जैसे कि , और हर . समान रूप से, वर्ग का है पर अगर -वें क्रम के फ्रेचेट का व्युत्पन्न मौजूद है और के हर बिंदु पर निरंतर है . कार्यक्रम वर्ग का बताया गया है या अगर यह लगातार चालू है . वर्ग के कार्य निरंतर अवकलनीय भी कहा जाता है।
एक समारोह , एक खुले सेट पर परिभाषित का वर्ग का बताया जाता है पर , एक सकारात्मक पूर्णांक के लिए , यदि इसके सभी घटक
सी का स्थानके </सुप> कार्य
होने देना वास्तविक रेखा का एक खुला उपसमुच्चय बनें। सभी का सेट वास्तविक-मूल्यवान कार्यों को परिभाषित किया गया है सेमिनोर्म्स के गणनीय परिवार के साथ एक फ्रेचेट स्पेस|फ्रेचेट वेक्टर स्पेस है
के समुच्चय कार्य समाप्त एक फ्रेचेट स्पेस भी बनाता है। सिवाय इसके कि ऊपर के समान सेमिनोर्म का उपयोग किया जाता है सभी गैर-नकारात्मक पूर्णांक मानों की सीमा की अनुमति है।
उपरोक्त रिक्त स्थान उन अनुप्रयोगों में स्वाभाविक रूप से होते हैं जहां कुछ ऑर्डर के डेरिवेटिव वाले फलन आवश्यक होते हैं; हालाँकि, विशेष रूप से आंशिक अंतर समीकरणों के अध्ययन में, कभी-कभी सोबोलेव रिक्त स्थान के बजाय काम करना अधिक उपयोगी हो सकता है।
निरंतरता
शर्तें पैरामीट्रिक निरंतरता (सीk) और ज्यामितीय निरंतरता (Gn) को ब्रायन ए. बार्स्की द्वारा पेश किया गया था, यह दिखाने के लिए कि गति पर प्रतिबंधों को हटाकर वक्र की चिकनाई को मापा जा सकता है, जिसके साथ पैरामीटर वक्र का पता लगाता है।[6][7][8]
पैरामीट्रिक निरंतरता
पैरामीट्रिक निरंतरता (सीk) पैरामीट्रिक वक्रों पर लागू एक अवधारणा है, जो वक्र के साथ दूरी के साथ पैरामीटर के मान की चिकनाई का वर्णन करती है। ए (पैरामीट्रिक) वक्र वर्ग सी का बताया जाता हैकश्मीर, अगर मौजूद है और लगातार चालू है , जहां अंत-बिंदुओं पर डेरिवेटिव हैं अर्ध-भिन्नता के लिए लिया जाता है (यानी, पर दाईं ओर से और पर बाएं से)।
इस अवधारणा के व्यावहारिक अनुप्रयोग के रूप में, समय के एक पैरामीटर के साथ किसी वस्तु की गति का वर्णन करने वाले वक्र में C होना चाहिए1 निरंतरता और इसका पहला व्युत्पन्न अवकलनीय है—ऑब्जेक्ट के लिए परिमित त्वरण है। चिकनी गति के लिए, जैसे फिल्म बनाते समय कैमरे के पथ के लिए, पैरामीट्रिक निरंतरता के उच्च क्रम की आवश्यकता होती है।
पैरामीट्रिक निरंतरता का क्रम
पैरामीट्रिक निरंतरता के विभिन्न क्रम को निम्नानुसार वर्णित किया जा सकता है:[9]
- : शून्य अवकलज सतत है (वक्र सतत हैं)
- : शून्यवाँ और प्रथम अवकलज संतत हैं
- : शून्य, पहला और दूसरा डेरिवेटिव निरंतर हैं
- : 0-वें के माध्यम से -वें डेरिवेटिव निरंतर हैं
ज्यामितीय निरंतरता
जी के साथ शांकव वर्गों की पेंसिल2-संपर्क: पी फिक्स, चर
(: घेरा,: अंडाकार, : परवलय, : हाइपरबोला)
ज्यामितीय निरंतरता या ज्यामितीय निरंतरता की अवधारणा (जीn) मुख्य रूप से गॉटफ्रीड लीबनिज, जोहान्स केप्लर और जीन-विक्टर पोंसेलेट जैसे गणितज्ञों द्वारा शांकव वर्गों (और संबंधित आकृतियों) पर लागू किया गया था। अवधारणा बीजगणित के बजाय ज्यामिति के माध्यम से वर्णन करने का एक प्रारंभिक प्रयास था, एक पैरामीट्रिक फलन के माध्यम से व्यक्त निरंतर कार्य की अवधारणा। <रेफरी नाम = टेलर 1911, पीपी। 674-675>Taylor, Charles (1911). . 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 लेता है और ऐसा
जो अभी कहा गया है, एकता के विभाजन होलोमॉर्फिक फलन पर लागू नहीं होते हैं; अस्तित्व और विश्लेषणात्मक निरंतरता के सापेक्ष उनका अलग व्यवहार शेफ (गणित) सिद्धांत की जड़ों में से एक है। इसके विपरीत, चिकने कार्यों के शीशों में अधिक सामयिक जानकारी नहीं होती है।
बहुविध और उनके बीच में स्मूथ फलन
एक अलग करने योग्य कई गुना दिया गया , आयाम का और एक एटलस (टोपोलॉजी) फिर एक नक्शा चिकना है अगर सभी के लिए एक चार्ट मौजूद है ऐसा है कि तथा के पड़ोस से एक सुचारू कार्य है में प्रति (दिए गए क्रम तक सभी आंशिक डेरिवेटिव निरंतर हैं)। स्मूदनेस को एटलस के किसी भी चार्ट (टोपोलॉजी) के संबंध में चेक किया जा सकता है चूंकि चार्ट के बीच संक्रमण कार्यों पर चिकनाई की आवश्यकताएं सुनिश्चित करती हैं कि यदि के पास चिकना है एक चार्ट में यह करीब चिकना होगा किसी अन्य चार्ट में।
यदि का नक्शा है यदि -आयामी कई गुना , फिर चिकना है अगर, हर के लिए एक चार्ट है युक्त और एक चार्ट युक्त ऐसा है कि तथा से एक सुचारू कार्य है मैनिफोल्ड्स के बीच चिकने नक्शे स्पर्शरेखा स्थानों के बीच रैखिक मानचित्रों को प्रेरित करते हैं: के लिए , प्रत्येक बिंदु पर Pushforward (अंतर) (या अवकलन) स्पर्शरेखा सदिशों को मानचित्रित करता है स्पर्शरेखा वैक्टर पर : और स्पर्शरेखा बंडल के स्तर पर, पुशफॉरवर्ड एक सदिश बंडल समरूपता है: पुशफॉरवर्ड के लिए दोहरी पुलबैक (डिफरेंशियल ज्योमेट्री) है, जो कोवेक्टरों को खींचती है कोवेक्टर्स पर वापस तथा -रूप में -रूप: इस तरह मैनिफोल्ड्स के बीच सुचारू कार्य शीफ (गणित) को परिवहन कर सकते हैं, जैसे वेक्टर क्षेत्र और विभेदक रूप, एक मैनिफोल्ड से दूसरे तक, या नीचे यूक्लिडियन स्पेस तक, जहाँ मैनिफोल्ड्स पर इंटीग्रेशन जैसी संगणनाएँ अच्छी तरह से समझी जाती हैं।
स्मूथ कार्यों के साथ प्रीइमेज और पुशफॉरवर्ड, सामान्य रूप से, अतिरिक्त धारणाओं के बिना कई गुना नहीं होते हैं। नियमित बिंदुओं की प्रीइमेज (अर्थात, यदि प्रीइमेज पर डिफरेंशियल गायब नहीं होता है) कई गुना हैं; यह प्रीइमेज प्रमेय है। इसी तरह, एम्बेडिंग के साथ पुशफॉरवर्ड कई गुना होते हैं।[12]
बहुविध के उपसमुच्चय के बीच सुचारू कार्य
बहुविध के यादृच्छिक उपसमुच्चय के लिए स्मूथ मानचित्र की एक समान धारणा है। यदि एक फलन (गणित) है जिसका प्रक्षेत्र और क्षेत्र क्रमशः बहुविध और के उपसमुच्चय हैं । फलन को स्मूथ कहा जाता है यदि सभी के लिए के साथ एक खुला समुच्चय है और एक स्मूथ फंक्शन ऐसा है कि सभी तथा के लिए खुला समुच्चय है।
यह भी देखें
- अंतराल
- हैडमार्ड का स्वीकृत सिद्धांत
- गैर-विश्लेषणात्मक सुचारू कार्य – Mathematical functions which are smooth but not analytic - गणितीय कार्य जो सुचारू हैं लेकिन विश्लेषणात्मक नहीं हैं
- अर्ध-विश्लेषणात्मक कार्य- वह बिंदु जहां एक फलन, एक वक्र या अन्य गणितीय वस्तु नियमित रूप से व्यवहार नहीं करती है
- विलक्षणता (गणित)
- बल-तरंग-समान फलन पर दो बिंदुओं के बीच चाप की लंबाई और सीधी-रेखा की दूरी का अनुपात
- स्मूथ योजना
- सहज संख्या (संख्या सिद्धांत)-केवल छोटे अभाज्य गुणक वाले पूर्णांक (संख्या सिद्धांत)
- समरेखण
- पट्टी-बहुपदों द्वारा परिभाषित गणितीय फलन
- सोबोलेव मानचित्रण
इस पेज में लापता आंतरिक लिंक की सूची
- रेलेक्स त्रिकोण
- अंक शास्त्र
- वक्रों का मरोड़
- अवरोधन (बहुविकल्पी)
- शंकुवृक्ष (गणित)
- एक समारोह की जड़
- बल
- क्वार्टिक के स्पर्शरेखाएँ
- अनंतस्पर्शी
- राग (ज्यामिति)
- सिसॉइड
- एकांकी उपाय
- पीछा करने का वक्र
- ओस्गुड वक्र
- अवतल समारोह
- पोछाम्मेर कंटूर
- निरंतर कार्य
- समारोह (गणित)
- व्युत्पन्न (गणित)
- व्युत्पत्ति का क्रम
- किसी फलन का प्रक्षेत्र
- खुला सेट
- अलग करने योग्य समारोह
- घातांक प्रकार्य
- त्रिकोणमितीय समारोह
- आंशिक अवकलज
- प्रक्षेपण (रैखिक बीजगणित)
- आंशिक विभेदक समीकरण
- सोबोलेव स्पेस
- रफ़्तार
- शंकु खंड
- अंडाकार
- अतिशयोक्ति
- RADIUS
- घेरा
- सौंदर्यशास्र
- फोरियर श्रेणी
- शेफ़ (गणित)
- पुशफॉरवर्ड (अंतर)
- वेक्टर बंडल समरूपता
- पुलबैक (अंतर ज्यामिति)
- कई गुना पर एकीकरण
- एक समारोह की सीमा
संदर्भ
- ↑ Weisstein, Eric W. "चिकना समारोह". mathworld.wolfram.com (in English). Archived from the original on 2019-12-16. Retrieved 2019-12-13.
- ↑ "चिकना (गणित)". TheFreeDictionary.com. Archived from the original on 2019-09-03. Retrieved 2019-12-13.
- ↑ "स्मूथ फंक्शन - गणित का विश्वकोश". www.encyclopediaofmath.org. Archived from the original on 2019-12-13. Retrieved 2019-12-13.
- ↑ 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.
- ↑ Henri Cartan (1977). डिफरेंशियल कैलकुलस कोर्स. Paris: Hermann.
- ↑ Barsky, Brian A. (1981). बीटा-स्पलाइन: शेप पैरामीटर्स और मौलिक ज्यामितीय उपायों के आधार पर एक स्थानीय प्रतिनिधित्व (Ph.D.). University of Utah, Salt Lake City, Utah.
- ↑ Brian A. Barsky (1988). कंप्यूटर ग्राफिक्स और ज्यामितीय मॉडलिंग बीटा-स्पलाइन का उपयोग करना. Springer-Verlag, Heidelberg. ISBN 978-3-642-72294-3.
- ↑ Richard H. Bartels; John C. Beatty; Brian A. Barsky (1987). कंप्यूटर ग्राफ़िक्स और जियोमेट्रिक मॉडलिंग में उपयोग के लिए स्प्लाइन्स का परिचय. Morgan Kaufmann. Chapter 13. Parametric vs. Geometric Continuity. ISBN 978-1-55860-400-1.
- ↑ 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.
- ↑ Barsky, Brian A.; DeRose, Tony D. (1989). "पैरामीट्रिक वक्रों की ज्यामितीय निरंतरता: तीन समतुल्य लक्षण". IEEE Computer Graphics and Applications. 9 (6): 60–68. doi:10.1109/38.41470. S2CID 17893586.
- ↑ Hartmann, Erich (2003). "कंप्यूटर एडेड डिजाइन के लिए ज्यामिति और एल्गोरिदम" (PDF). Technische Universität Darmstadt. p. 55. Archived (PDF) from the original on 2020-10-23. Retrieved 2019-08-31.
- ↑ Guillemin, Victor; Pollack, Alan (1974). विभेदक टोपोलॉजी. Englewood Cliffs: Prentice-Hall. ISBN 0-13-212605-2.