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

From Vigyanwiki
Line 7: Line 7:
अवकलनीयता वर्ग उनके [[अवकलज]] के गुणों के अनुसार फलनो का वर्गीकरण है। यह अवकलज के उच्चतम क्रम का एक माप है जो मौजूद है और एक फलन के लिए सतत है।
अवकलनीयता वर्ग उनके [[अवकलज]] के गुणों के अनुसार फलनो का वर्गीकरण है। यह अवकलज के उच्चतम क्रम का एक माप है जो मौजूद है और एक फलन के लिए सतत है।


[[वास्तविक रेखा]] पर एक [[खुले समुच्चय]]  <math>U</math> पर विचार करें और वास्तविक मानों के साथ <math>U</math> पर परिभाषित फलन <math>f</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>U</math> पर परिभाषित फलन <math>f</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> गैर-ऋणात्मक पूर्णांकों पर भिन्न होता है।


=== उदाहरण. ===
=== उदाहरण. ===


===== उदाहरण, सतत (C<sup>0</sup>) लेकिन अवकलनीय नहीं =====
===== उदाहरण, सतत (C<sup>0</sup>) लेकिन अवकलनीय नहीं =====
[[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>
सतत है, {{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 23: Line 23:
अवकलनीय है, व्युत्पन्न के साथ
अवकलनीय है, व्युत्पन्न के साथ
<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}} इस उदाहरण में, यह दिखाने के लिए इस्तेमाल किया जा सकता है कि एक अलग-अलग फलन के व्युत्पन्न फलन को [[कॉम्पैक्ट सेट|कॉम्पैक्ट समुच्चय]] पर असीमित किया जा सकता है और इसलिए, कॉम्पैक्ट समुच्चय पर एक अलग-अलग फलन स्थानीय रूप से [[लिप्सचिट्ज़ निरंतर|लिप्सचिट्ज़ सतत]] नहीं हो सकता है।


कार्य
फलन
<math display="block">f(x)=|x|^{k+1}</math>
<math display="block">f(x)=|x|^{k+1}</math>
कहाँ पे {{mvar|k}} सम है, सतत हैं और {{mvar|k}} बार अलग-अलग {{mvar|x}}. लेकिन पर {{nowrap|1={{mvar|x}} = 0}} वो नहीं हैं {{nowrap|({{mvar|k}} + 1)}} समय अवकलनीय है, इसलिए वे कक्षा C के हैं<sup>{{mvar|k}}</sup>, लेकिन कक्षा C का नहीं<sup>{{mvar|j}}</sup> कहाँ {{nowrap|{{mvar|j}} > {{mvar|k}}}}.
कहाँ पे {{mvar|k}} सम है, सतत हैं और {{mvar|k}} बार अलग-अलग {{mvar|x}}. लेकिन पर {{nowrap|1={{mvar|x}} = 0}} वो नहीं हैं {{nowrap|({{mvar|k}} + 1)}} समय अवकलनीय है, इसलिए वे कक्षा C के हैं<sup>{{mvar|k}}</sup>, लेकिन कक्षा C का नहीं<sup>{{mvar|j}}</sup> कहाँ {{nowrap|{{mvar|j}} > {{mvar|k}}}}.


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


टक्कर समारोह
टक्कर समारोह
<math display="block">f(x) = \begin{cases}e^{-\frac{1}{1-x^2}} & \text{ if } |x| < 1, \\ 0 &\text{ otherwise }\end{cases}</math>
<math display="block">f(x) = \begin{cases}e^{-\frac{1}{1-x^2}} & \text{ if } |x| < 1, \\ 0 &\text{ otherwise }\end{cases}</math>
चिकनी है, इसलिए कक्षा सी की है<sup>∞</sup>, लेकिन यह विश्लेषणात्मक नहीं है {{nowrap|1={{mvar|x}} = ±1}}, और इसलिए कक्षा सी का नहीं है<sup>ω</sup>. कार्यक्रम {{mvar|f}} कॉम्पैक्ट समर्थन के साथ एक स्मूथ कार्य का एक उदाहरण है।
चिकनी है, इसलिए कक्षा सी की है<sup>∞</sup>, लेकिन यह विश्लेषणात्मक नहीं है {{nowrap|1={{mvar|x}} = ±1}}, और इसलिए कक्षा सी का नहीं है<sup>ω</sup>. फलनक्रम {{mvar|f}} कॉम्पैक्ट समर्थन के साथ एक स्मूथ फलन का एक उदाहरण है।


=== बहुभिन्नरूपी विभेदीकरण वर्ग ===
=== बहुभिन्नरूपी विभेदीकरण वर्ग ===
एक समारोह <math>f:U\subset\mathbb{R}^n\to\mathbb{R}</math> एक खुले सेट पर परिभाषित <math>U</math> का <math>\mathbb{R}^n</math> कहा जाता है कि<ref>{{cite book|author=Henri Cartan|title=डिफरेंशियल कैलकुलस कोर्स|year=1977|publisher=Paris: Hermann|author-link=Henri Cartan}}</ref> वर्ग का होना <math>C^k</math> पर <math>U</math>, एक सकारात्मक पूर्णांक के लिए <math>k</math>, यदि सभी आंशिक डेरिवेटिव
एक समारोह <math>f:U\subset\mathbb{R}^n\to\mathbb{R}</math> एक खुले समुच्चय पर परिभाषित <math>U</math> का <math>\mathbb{R}^n</math> कहा जाता है कि<ref>{{cite book|author=Henri Cartan|title=डिफरेंशियल कैलकुलस कोर्स|year=1977|publisher=Paris: Hermann|author-link=Henri Cartan}}</ref> वर्ग का होना <math>C^k</math> पर <math>U</math>, एक सकारात्मक पूर्णांक के लिए <math>k</math>, यदि सभी आंशिक अवकलज
<math display="block">\frac{\partial^\alpha f}{\partial x_1^{\alpha_1} \, \partial x_2^{\alpha_2}\,\cdots\,\partial x_n^{\alpha_n}}(y_1,y_2,\ldots,y_n)</math>
<math display="block">\frac{\partial^\alpha f}{\partial x_1^{\alpha_1} \, \partial x_2^{\alpha_2}\,\cdots\,\partial x_n^{\alpha_n}}(y_1,y_2,\ldots,y_n)</math>
मौजूद हैं और सतत हैं, प्रत्येक के लिए <math>\alpha_1,\alpha_2,\ldots,\alpha_n</math> गैर-नकारात्मक पूर्णांक, जैसे कि <math>\alpha=\alpha_1+\alpha_2+\cdots+\alpha_n\leq k</math>, और हर <math>(y_1,y_2,\ldots,y_n)\in U</math>. समान रूप से, <math>f</math> वर्ग का है <math>C^k</math> पर <math>U</math> अगर <math>k</math>-वें क्रम के फ्रेचेट का व्युत्पन्न <math>f</math> मौजूद है और के हर बिंदु पर सतत है <math>U</math>. कार्यक्रम <math>f</math> वर्ग का बताया गया है <math>C</math> या <math>C^0</math> अगर यह लगातार चालू है <math>U</math>. वर्ग के कार्य <math>C^1</math> सतत अवकलनीय भी कहा जाता है।
मौजूद हैं और सतत हैं, प्रत्येक के लिए <math>\alpha_1,\alpha_2,\ldots,\alpha_n</math> गैर-नकारात्मक पूर्णांक, जैसे कि <math>\alpha=\alpha_1+\alpha_2+\cdots+\alpha_n\leq k</math>, और हर <math>(y_1,y_2,\ldots,y_n)\in U</math>. समान रूप से, <math>f</math> वर्ग का है <math>C^k</math> पर <math>U</math> अगर <math>k</math>-वें क्रम के फ्रेचेट का व्युत्पन्न <math>f</math> मौजूद है और के हर बिंदु पर सतत है <math>U</math>. फलनक्रम <math>f</math> वर्ग का बताया गया है <math>C</math> या <math>C^0</math> अगर यह लगातार चालू है <math>U</math>. वर्ग के फलन <math>C^1</math> सतत अवकलनीय भी कहा जाता है।


एक समारोह <math>f:U\subset\mathbb{R}^n\to\mathbb{R}^m</math>, एक खुले सेट पर परिभाषित <math>U</math> का <math>\mathbb{R}^n</math>वर्ग का बताया जाता है <math>C^k</math> पर <math>U</math>, एक सकारात्मक पूर्णांक के लिए <math>k</math>, यदि इसके सभी घटक
एक समारोह <math>f:U\subset\mathbb{R}^n\to\mathbb{R}^m</math>, एक खुले समुच्चय पर परिभाषित <math>U</math> का <math>\mathbb{R}^n</math>वर्ग का बताया जाता है <math>C^k</math> पर <math>U</math>, एक सकारात्मक पूर्णांक के लिए <math>k</math>, यदि इसके सभी घटक
<math display="block">f_i(x_1,x_2,\ldots,x_n)=(\pi_i\circ f)(x_1,x_2,\ldots,x_n)=\pi_i(f(x_1,x_2,\ldots,x_n)) \text{ for } i=1,2,3,\ldots,m</math>
<math display="block">f_i(x_1,x_2,\ldots,x_n)=(\pi_i\circ f)(x_1,x_2,\ldots,x_n)=\pi_i(f(x_1,x_2,\ldots,x_n)) \text{ for } i=1,2,3,\ldots,m</math>
वर्ग के हैं <math>C^k</math>, कहाँ पे <math>\pi_i</math> प्राकृतिक प्रक्षेपण हैं (रैखिक बीजगणित) <math>\pi_i:\mathbb{R}^m\to\mathbb{R}</math> द्वारा परिभाषित <math>\pi_i(x_1,x_2,\ldots,x_m)=x_i</math>. क्लास का बताया जाता है <math>C</math> या <math>C^0</math> यदि यह सतत है, या समतुल्य है, यदि सभी घटक <math>f_i</math> सतत हैं, चालू हैं <math>U</math>.
वर्ग के हैं <math>C^k</math>, कहाँ पे <math>\pi_i</math> प्राकृतिक प्रक्षेपण हैं (रैखिक बीजगणित) <math>\pi_i:\mathbb{R}^m\to\mathbb{R}</math> द्वारा परिभाषित <math>\pi_i(x_1,x_2,\ldots,x_m)=x_i</math>. क्लास का बताया जाता है <math>C</math> या <math>C^0</math> यदि यह सतत है, या समतुल्य है, यदि सभी घटक <math>f_i</math> सतत हैं, चालू हैं <math>U</math>.


=== सी का स्थान<sup>के </सुप> कार्य ===
=== सी का स्थान<sup>के </सुप> फलन ===
होने देना <math>D</math> वास्तविक रेखा का एक खुला उपसमुच्चय बनें। सभी का सेट <math>C^k</math> वास्तविक-मूल्यवान कार्यों को परिभाषित किया गया है <math>D</math> [[सेमिनोर्म]]्स के गणनीय परिवार के साथ एक फ्रेचेट स्पेस|फ्रेचेट वेक्टर स्पेस है
होने देना <math>D</math> वास्तविक रेखा का एक खुला उपसमुच्चय बनें। सभी का समुच्चय <math>C^k</math> वास्तविक-मूल्यवान फलनों को परिभाषित किया गया है <math>D</math> [[सेमिनोर्म]]्स के गणनीय परिवार के साथ एक फ्रेचेट स्पेस|फ्रेचेट वेक्टर स्पेस है
<math display="block">p_{K, m}=\sup_{x\in K}\left|f^{(m)}(x)\right|</math>
<math display="block">p_{K, m}=\sup_{x\in K}\left|f^{(m)}(x)\right|</math>
कहाँ पे <math>K</math> सघन समुच्चयों के बढ़ते क्रम में भिन्न होता है जिसका [[संघ (सेट सिद्धांत)]] है <math>D</math>, तथा <math>m=0,1,\dots,k</math>.
कहाँ पे <math>K</math> सघन समुच्चयों के बढ़ते क्रम में भिन्न होता है जिसका [[संघ (सेट सिद्धांत)|संघ (समुच्चय सिद्धांत)]] है <math>D</math>, तथा <math>m=0,1,\dots,k</math>.


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


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


== सततता ==
== सततता ==
Line 59: Line 59:


=== पैरामीट्रिक सततता ===
=== पैरामीट्रिक सततता ===
पैरामीट्रिक सततता (''सी''<sup>''k''</sup>) [[पैरामीट्रिक वक्र]]ों पर लागू एक अवधारणा है, जो वक्र के साथ दूरी के साथ पैरामीटर के मान की स्मूथई का वर्णन करती है। ए (पैरामीट्रिक) वक्र <math>s:[0,1]\to\mathbb{R}^n</math> वर्ग सी का बताया जाता है<sup>कश्मीर</sup>, अगर <math>\textstyle \frac{d^ks}{dt^k}</math> मौजूद है और लगातार चालू है <math>[0,1]</math>, जहां अंत-बिंदुओं पर डेरिवेटिव हैं <math>0,1\in[0,1]</math> [[अर्ध-भिन्नता]] के लिए लिया जाता है (यानी, पर <math>0</math> दाईं ओर से और पर <math>1</math> बाएं से)।
पैरामीट्रिक सततता (''सी''<sup>''k''</sup>) [[पैरामीट्रिक वक्र]]ों पर लागू एक अवधारणा है, जो वक्र के साथ दूरी के साथ पैरामीटर के मान की स्मूथई का वर्णन करती है। ए (पैरामीट्रिक) वक्र <math>s:[0,1]\to\mathbb{R}^n</math> वर्ग सी का बताया जाता है<sup>कश्मीर</sup>, अगर <math>\textstyle \frac{d^ks}{dt^k}</math> मौजूद है और लगातार चालू है <math>[0,1]</math>, जहां अंत-बिंदुओं पर अवकलज हैं <math>0,1\in[0,1]</math> [[अर्ध-भिन्नता]] के लिए लिया जाता है (यानी, पर <math>0</math> दाईं ओर से और पर <math>1</math> बाएं से)।


इस अवधारणा के व्यावहारिक अनुप्रयोग के रूप में, समय के एक पैरामीटर के साथ किसी वस्तु की गति का वर्णन करने वाले वक्र में C होना चाहिए<sup>1</sup> सततता और इसका पहला व्युत्पन्न अवकलनीय है—ऑब्जेक्ट के लिए परिमित त्वरण है। चिकनी गति के लिए, जैसे फिल्म बनाते समय कैमरे के पथ के लिए, पैरामीट्रिक सततता के उच्च क्रम की आवश्यकता होती है।
इस अवधारणा के व्यावहारिक अनुप्रयोग के रूप में, समय के एक पैरामीटर के साथ किसी वस्तु की गति का वर्णन करने वाले वक्र में C होना चाहिए<sup>1</sup> सततता और इसका पहला व्युत्पन्न अवकलनीय है—ऑब्जेक्ट के लिए परिमित त्वरण है। चिकनी गति के लिए, जैसे फिल्म बनाते समय कैमरे के पथ के लिए, पैरामीट्रिक सततता के उच्च क्रम की आवश्यकता होती है।
Line 68: Line 68:
* <math>C^0</math>: शून्य अवकलज सतत है (वक्र सतत हैं)
* <math>C^0</math>: शून्य अवकलज सतत है (वक्र सतत हैं)
* <math>C^1</math>: शून्यवाँ और प्रथम अवकलज संतत हैं
* <math>C^1</math>: शून्यवाँ और प्रथम अवकलज संतत हैं
* <math>C^2</math>: शून्य, पहला और दूसरा डेरिवेटिव सतत हैं
* <math>C^2</math>: शून्य, पहला और दूसरा अवकलज सतत हैं
* <math>C^n</math>: 0-वें के माध्यम से <math>n</math>-वें डेरिवेटिव सतत हैं
* <math>C^n</math>: 0-वें के माध्यम से <math>n</math>-वें अवकलज सतत हैं


===ज्यामितीय सततता===
===ज्यामितीय सततता===
Line 75: Line 75:
[[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 98: Line 98:


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


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


इस प्रकार वर्णित स्थिति जटिल भिन्नात्मक कार्यों के विपरीत है। यदि एक जटिल कार्य एक खुले सेट पर केवल एक बार अलग-अलग होता है, तो यह उस सेट पर असीम रूप से भिन्न और विश्लेषणात्मक दोनों होता है {{citation needed|date=December 2020}}.
इस प्रकार वर्णित स्थिति जटिल भिन्नात्मक फलनों के विपरीत है। यदि एक जटिल फलन एक खुले समुच्चय पर केवल एक बार अलग-अलग होता है, तो यह उस समुच्चय पर असीम रूप से भिन्न और विश्लेषणात्मक दोनों होता है {{citation needed|date=December 2020}}.


=== एकता के स्मूथ विभाजन ===
=== एकता के स्मूथ विभाजन ===
Line 110: Line 110:


=== बहुसंख्यक और उनके बीच में स्मूथ फलन ===
=== बहुसंख्यक और उनके बीच में स्मूथ फलन ===
आयाम का <math>m,</math> और एक [[एटलस (टोपोलॉजी)]] <math>\mathfrak{U} = \{(U_\alpha,\phi_\alpha)\}_\alpha</math>  का एक [[अलग करने योग्य कई गुना|स्मूथ बहुसंख्यक]] <math>M</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>\mathfrak{U} = \{(U_\alpha,\phi_\alpha)\}_\alpha</math>  का एक [[अलग करने योग्य कई गुना|स्मूथ बहुसंख्यक]] <math>M</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>F : M \to N</math>, <math>M</math> से एक <math>n</math>-आयामी अनेक <math>N</math> का मानचित्र है , तो  <math>F</math> स्मूथ है यदि, प्रत्येक <math>p \in M</math> के लिए, एक तालिका <math>(U,\phi)</math> है जिसमें <math>p,</math> और एक तालिका <math>(V, \psi)</math> है जिसमें <math>F(p)</math> ऐसा है जैसे कि <math>F(U) \subset V,</math> तथा <math>\psi \circ F \circ \phi^{-1} : \phi(U) \to \psi(V)</math>, <math>\R^n</math> से एक स्मूथ फलन है।
यदि <math>F : M \to N</math>, <math>M</math> से एक <math>n</math>-आयामी अनेक <math>N</math> का मानचित्र है , तो  <math>F</math> स्मूथ है यदि, प्रत्येक <math>p \in M</math> के लिए, एक तालिका <math>(U,\phi)</math> है जिसमें <math>p,</math> और एक तालिका <math>(V, \psi)</math> है जिसमें <math>F(p)</math> ऐसा है जैसे कि <math>F(U) \subset V,</math> तथा <math>\psi \circ F \circ \phi^{-1} : \phi(U) \to \psi(V)</math>, <math>\R^n</math> से एक स्मूथ फलन है।
Line 117: Line 117:


स्मूथ फलनो के साथ प्रीइमेज और पुशफॉरवर्ड, सामान्य रूप से, अतिरिक्त धारणाओं के बिना बहुसंख्यक नहीं होते हैं। नियमित बिंदुओं की प्रीइमेज (अर्थात, यदि प्रीइमेज पर अवकलन गायब नहीं होता है) बहुसंख्यक हैं, यह [[प्रीइमेज प्रमेय]] है। इसी तरह, अंत: स्थापन के साथ पुशफॉरवर्ड बहुसंख्यक होते हैं।<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>
स्मूथ फलनो के साथ प्रीइमेज और पुशफॉरवर्ड, सामान्य रूप से, अतिरिक्त धारणाओं के बिना बहुसंख्यक नहीं होते हैं। नियमित बिंदुओं की प्रीइमेज (अर्थात, यदि प्रीइमेज पर अवकलन गायब नहीं होता है) बहुसंख्यक हैं, यह [[प्रीइमेज प्रमेय]] है। इसी तरह, अंत: स्थापन के साथ पुशफॉरवर्ड बहुसंख्यक होते हैं।<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> के लिए खुला समुच्चय है।  
बहुसंख्यक के यादृच्छिक उपसमुच्चय के लिए स्मूथ मानचित्र की एक समान धारणा है। यदि <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 123: Line 123:
*[[अंतराल]]
*[[अंतराल]]
*[[हैडमार्ड का स्वीकृत सिद्धांत]]
*[[हैडमार्ड का स्वीकृत सिद्धांत]]
* {{annotated link|गैर-विश्लेषणात्मक सुचारू कार्य}} - गणितीय कार्य जो स्मूथ हैं लेकिन विश्लेषणात्मक नहीं हैं
* {{annotated link|गैर-विश्लेषणात्मक सुचारू कार्य}} - गणितीय फलन जो स्मूथ हैं लेकिन विश्लेषणात्मक नहीं हैं
* {{annotated link|अर्ध-विश्लेषणात्मक कार्य}}- वह बिंदु जहां एक फलन, एक वक्र या अन्य गणितीय वस्तु नियमित रूप से व्यवहार नहीं करती है
* {{annotated link|अर्ध-विश्लेषणात्मक कार्य}}- वह बिंदु जहां एक फलन, एक वक्र या अन्य गणितीय वस्तु नियमित रूप से व्यवहार नहीं करती है
*[[विलक्षणता (गणित)]]
*[[विलक्षणता (गणित)]]
Line 152: Line 152:
*अवतल समारोह
*अवतल समारोह
*पोछाम्मेर कंटूर
*पोछाम्मेर कंटूर
*सतत कार्य
*सतत फलन
*समारोह (गणित)
*समारोह (गणित)
*व्युत्पन्न (गणित)
*व्युत्पन्न (गणित)
*व्युत्पत्ति का क्रम
*व्युत्पत्ति का क्रम
*किसी फलन का प्रक्षेत्र
*किसी फलन का प्रक्षेत्र
*खुला सेट
*खुला समुच्चय
*अलग करने योग्य समारोह
*अलग करने योग्य समारोह
*घातांक प्रकार्य
*घातांक प्रफलन
*त्रिकोणमितीय समारोह
*त्रिकोणमितीय समारोह
*आंशिक अवकलज
*आंशिक अवकलज

Revision as of 10:27, 9 December 2022

कॉम्पैक्ट समर्थन के साथ टक्कर समारोह एक स्मूद फंक्शन है।

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

विभेदीकरण वर्ग

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

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

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

उदाहरण.

उदाहरण, सतत (C0) लेकिन अवकलनीय नहीं
सी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|फलनक्रम साथ के लिये तथा अवकलनीय है। हालाँकि, यह फलन लगातार भिन्न नहीं होता है।

एक स्मूथ फलन जो विश्लेषणात्मक नहीं है।

फलन

सतत है, x = 0 पर अवकलनीय नहीं है,इसलिए यह वर्ग, C0 का है, लेकिन वर्ग C1 का है नहीं

अवकलनीय है, व्युत्पन्न के साथ
इसलिये के रूप में हिलता है 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 सततता और इसका पहला व्युत्पन्न अवकलनीय है—ऑब्जेक्ट के लिए परिमित त्वरण है। चिकनी गति के लिए, जैसे फिल्म बनाते समय कैमरे के पथ के लिए, पैरामीट्रिक सततता के उच्च क्रम की आवश्यकता होती है।

पैरामीट्रिक सततता का क्रम

दो बेज़ियर वक्र खंड जुड़े हुए हैं जो कि केवल C है0 सतत
दो बेज़ियर वक्र खंड इस तरह से जुड़े हुए हैं कि वे सी हैं1 सतत

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

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

ज्यामितीय सततता

जी के साथ घटता है1-संपर्क (वृत्त, रेखा)

जी के साथ शांकव वर्गों की पेंसिल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 होता है।

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

बहुसंख्यक और उनके बीच में स्मूथ फलन

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

यदि , से एक -आयामी अनेक का मानचित्र है , तो स्मूथ है यदि, प्रत्येक के लिए, एक तालिका है जिसमें और एक तालिका है जिसमें ऐसा है जैसे कि तथा , से एक स्मूथ फलन है।

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

स्मूथ फलनो के साथ प्रीइमेज और पुशफॉरवर्ड, सामान्य रूप से, अतिरिक्त धारणाओं के बिना बहुसंख्यक नहीं होते हैं। नियमित बिंदुओं की प्रीइमेज (अर्थात, यदि प्रीइमेज पर अवकलन गायब नहीं होता है) बहुसंख्यक हैं, यह प्रीइमेज प्रमेय है। इसी तरह, अंत: स्थापन के साथ पुशफॉरवर्ड बहुसंख्यक होते हैं।[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.