सतत फलन: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
{{Calculus}} | {{Calculus}} | ||
गणित में, सतत फलन ऐसा फलन (गणित) होता है, जिसमें किसी फलन के तर्क का निरंतर परिवर्तन ( | गणित में, सतत फलन ऐसा फलन (गणित) होता है, जिसमें किसी फलन के तर्क का निरंतर परिवर्तन (अर्थात् बिना छलांग के परिवर्तन) फलन के [[मूल्य (गणित)|मान (गणित)]] में निरंतर परिवर्तन उत्पन्न करता है। इसका अर्थ यह है कि मान में कोई अचानक परिवर्तन नहीं होता है, जिसे ''विच्छेदों का वर्गीकरण'' कहा जाता है। अधिक त्रुटिहीन रूप से, एक फलन निरंतर होता है यदि इसके मान में स्वैच्छिक रूप से छोटे बदलावों को इसके तर्क के पर्याप्त छोटे परिवर्तनों तक सीमित करके सुनिश्चित किया जा सकता है। असंतत फलन एक ऐसा फलन है जो सतत नहीं है। 19वीं शताब्दी तक, गणितज्ञ बड़े पैमाने पर निरंतरता की [[अंतर्ज्ञान|सहज]] धारणाओं पर विश्वाश करते थे, और केवल निरंतर फलनों पर विचार करते थे। (निरंतरता की परिभाषा को औपचारिक बनाने के लिए (ε, δ)-सीमा की एप्सिलॉन-डेल्टा परिभाषा प्रस्तुत की गई थी। | ||
निरंतरता [[ गणना ]] और [[गणितीय विश्लेषण]] की मुख्य अवधारणाओं में से है, जहां | निरंतरता [[ गणना ]] और [[गणितीय विश्लेषण]] की मुख्य अवधारणाओं में से एक है, जहां फलनों के तर्क और मान [[वास्तविक संख्या]] और [[जटिल संख्या]] संख्याएं हैं। इस अवधारणा को मीट्रिक रिक्त स्थान और टोपोलॉजिकल रिक्त स्थान के बीच फलनों के लिए सामान्यीकृत किया गया है। उत्तरार्द्ध सबसे सामान्य निरंतर कार्य हैं, और उनकी परिभाषा [[टोपोलॉजी]] का आधार है। | ||
निरंतरता का सशक्त रूप [[एकसमान निरंतरता]] है। क्रम सिद्धांत में, विशेष रूप से [[डोमेन सिद्धांत]] में, निरंतरता की संबंधित अवधारणा [[स्कॉट निरंतरता]] है। | निरंतरता का सशक्त रूप [[एकसमान निरंतरता]] है। क्रम सिद्धांत में, विशेष रूप से [[डोमेन सिद्धांत]] में, निरंतरता की संबंधित अवधारणा [[स्कॉट निरंतरता]] है। | ||
उदाहरण के | उदाहरण के लिये, समय {{mvar|t}} पर बढ़ते फूल की ऊंचाई को दर्शाने वाले फ़ंक्शन {{math|''H''(''t'')}} को निरंतर माना जाएगा। इसके विपरीत, समय {{mvar|t}} पर बैंक खाते में धन की राशि को दर्शाने वाला फ़ंक्शन {{math|''M''(''t'')}} बंद माना जाएगा, क्योंकि जब पैसा जमा किया जाता है या निकाला जाता है तो यह प्रत्येक बिंदु पर "उछलता" है। | ||
==इतिहास== | ==इतिहास== | ||
(ε, δ) का रूप - सीमा की परिभाषा#निरंतरता|एप्सिलॉन-निरंतरता की डेल्टा परिभाषा सबसे पहले 1817 में [[बर्नार्ड बोलजानो]] द्वारा दी गई थी। [[ऑगस्टिन-लुई कॉची]] ने निरंतरता को परिभाषित किया <math>y = f(x)</math> इस प्रकार: असीम रूप से छोटी वृद्धि <math>\alpha</math> स्वतंत्र चर x का हमेशा असीम रूप से छोटा परिवर्तन उत्पन्न होता है <math>f(x+\alpha)-f(x)</math> आश्रित चर y का (उदाहरण देखें, कोर्ट्स डी'एनालिसिस, पृष्ठ 34)। कॉची ने परिवर्तनीय मात्राओं के संदर्भ में असीम रूप से छोटी मात्राओं को परिभाषित किया, और निरंतरता की उनकी परिभाषा आज इस्तेमाल की जाने वाली अनंतिम परिभाषा के समानान्तर है ([[सूक्ष्म निरंतरता]] देखें)। बिंदुवार निरंतरता और एकसमान निरंतरता के बीच औपचारिक परिभाषा और अंतर पहली बार 1830 के दशक में बोलजानो द्वारा दिया गया था, लेकिन काम 1930 के दशक तक प्रकाशित नहीं हुआ था। बोल्ज़ानो की तरह,<ref>{{cite journal |url=http://dml.cz/handle/10338.dmlcz/400352|title=Rein analytischer Beweis des Lehrsatzes daß zwischen je zwey Werthen, die ein entgegengesetzetes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege |year=1817 |last1=Bolzano |first1=Bernard |publisher=Haase|location=Prague}}</ref> [[कार्ल वीयरस्ट्रैस]]<ref>{{Citation | last1=Dugac | first1=Pierre | title=Eléments d'Analyse de Karl Weierstrass | journal=Archive for History of Exact Sciences | year=1973 | volume=10 | issue=1–2 | pages=41–176 | doi=10.1007/bf00343406| s2cid=122843140 }}</ref> किसी बिंदु c पर किसी | (ε, δ) का रूप - सीमा की परिभाषा#निरंतरता|एप्सिलॉन-निरंतरता की डेल्टा परिभाषा सबसे पहले 1817 में [[बर्नार्ड बोलजानो]] द्वारा दी गई थी। [[ऑगस्टिन-लुई कॉची]] ने निरंतरता को परिभाषित किया <math>y = f(x)</math> इस प्रकार: असीम रूप से छोटी वृद्धि <math>\alpha</math> स्वतंत्र चर x का हमेशा असीम रूप से छोटा परिवर्तन उत्पन्न होता है <math>f(x+\alpha)-f(x)</math> आश्रित चर y का (उदाहरण देखें, कोर्ट्स डी'एनालिसिस, पृष्ठ 34)। कॉची ने परिवर्तनीय मात्राओं के संदर्भ में असीम रूप से छोटी मात्राओं को परिभाषित किया, और निरंतरता की उनकी परिभाषा आज इस्तेमाल की जाने वाली अनंतिम परिभाषा के समानान्तर है ([[सूक्ष्म निरंतरता]] देखें)। बिंदुवार निरंतरता और एकसमान निरंतरता के बीच औपचारिक परिभाषा और अंतर पहली बार 1830 के दशक में बोलजानो द्वारा दिया गया था, लेकिन काम 1930 के दशक तक प्रकाशित नहीं हुआ था। बोल्ज़ानो की तरह,<ref>{{cite journal |url=http://dml.cz/handle/10338.dmlcz/400352|title=Rein analytischer Beweis des Lehrsatzes daß zwischen je zwey Werthen, die ein entgegengesetzetes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege |year=1817 |last1=Bolzano |first1=Bernard |publisher=Haase|location=Prague}}</ref> [[कार्ल वीयरस्ट्रैस]]<ref>{{Citation | last1=Dugac | first1=Pierre | title=Eléments d'Analyse de Karl Weierstrass | journal=Archive for History of Exact Sciences | year=1973 | volume=10 | issue=1–2 | pages=41–176 | doi=10.1007/bf00343406| s2cid=122843140 }}</ref> किसी बिंदु c पर किसी फलन की निरंतरता से इनकार किया जाता है जब तक कि इसे c के दोनों किनारों पर परिभाषित नहीं किया जाता है, लेकिन एडौर्ड गौरसैट<ref>{{Citation | last1=Goursat | first1=E. | title=A course in mathematical analysis | publisher=Ginn | location=Boston | year=1904 | page=2}}</ref> फलन को केवल सी और [[केमिली जॉर्डन]] के तरफ परिभाषित करने की अनुमति दी गई<ref>{{Citation | last1=Jordan | first1=M.C. | title=Cours d'analyse de l'École polytechnique | publisher=Gauthier-Villars | location=Paris | edition=2nd |year=1893 | volume=1|page=46|url={{Google books|h2VKAAAAMAAJ|page=46|plainurl=yes}}}}</ref> इसकी अनुमति दी गई, भले ही फलन केवल c पर परिभाषित किया गया हो। बिंदुवार निरंतरता की वे तीनों गैर-समतुल्य परिभाषाएँ अभी भी उपयोग में हैं।<ref>{{Citation|last1=Harper|first1=J.F.|title=Defining continuity of real functions of real variables|journal=BSHM Bulletin: Journal of the British Society for the History of Mathematics|year=2016|volume=31|issue=3|doi=10.1080/17498430.2015.1116053|pages=1–16|s2cid=123997123}}</ref> [[एडवर्ड हेन]] ने 1872 में समान निरंतरता की पहली प्रकाशित परिभाषा प्रदान की, लेकिन ये विचार 1854 में [[पीटर गुस्ताव लेज्यून डिरिचलेट]] द्वारा दिए गए व्याख्यानों पर आधारित थे।<ref>{{citation|last1=Rusnock|first1=P.|last2=Kerr-Lawson|first2=A.|title=Bolzano and uniform continuity|journal=Historia Mathematica|volume=32|year=2005|pages=303–311|issue=3|doi=10.1016/j.hm.2004.11.003|doi-access=free}}</ref> | ||
| Line 18: | Line 18: | ||
===परिभाषा=== | ===परिभाषा=== | ||
[[File:Function-1 x.svg|thumb|कार्यक्रम <math>f(x)=\tfrac 1 x</math> अपने डोमेन पर निरंतर है (<math>\R\setminus \{0\}</math>), लेकिन असंतत (निरंतर नहीं या विलक्षणता (गणित)#वास्तविक विश्लेषण)। <math>x=0</math><ref>{{cite book |last1=Strang |first1=Gilbert |title=गणना|year=1991 |publisher=SIAM|isbn=0961408820 |page=702|url={{Google books|OisInC1zvEMC|page=87|plainurl=yes}}}}</ref>.फिर भी, [[कॉची प्रमुख मूल्य]] को परिभाषित किया जा सकता है। दूसरी ओर, जटिल विश्लेषण में (<math>\mathbb{C}</math>, विशेष रूप से <math>\widehat{\mathbb{C}}</math>.), इस बिंदु (x=0) को अपरिभाषित नहीं माना जाता है (गणित)#वे मान जिनके लिए | [[File:Function-1 x.svg|thumb|कार्यक्रम <math>f(x)=\tfrac 1 x</math> अपने डोमेन पर निरंतर है (<math>\R\setminus \{0\}</math>), लेकिन असंतत (निरंतर नहीं या विलक्षणता (गणित)#वास्तविक विश्लेषण)। <math>x=0</math><ref>{{cite book |last1=Strang |first1=Gilbert |title=गणना|year=1991 |publisher=SIAM|isbn=0961408820 |page=702|url={{Google books|OisInC1zvEMC|page=87|plainurl=yes}}}}</ref>.फिर भी, [[कॉची प्रमुख मूल्य|कॉची प्रमुख मान]] को परिभाषित किया जा सकता है। दूसरी ओर, जटिल विश्लेषण में (<math>\mathbb{C}</math>, विशेष रूप से <math>\widehat{\mathbb{C}}</math>.), इस बिंदु (x=0) को अपरिभाषित नहीं माना जाता है (गणित)#वे मान जिनके लिए फलन अपरिभाषित हैं और इसे विलक्षणता कहा जाता है, क्योंकि जब सोचा जाता है <math>x</math> जटिल चर के रूप में, यह बिंदु [[ध्रुव (जटिल विश्लेषण)]] है, और फिर अधिकतम परिमित प्रमुख भाग वाली [[लॉरेंट श्रृंखला]] को एकवचन बिंदुओं के आसपास परिभाषित किया जा सकता है। इसके अलावा, उदाहरण जैसे फलनों का अध्ययन करने के लिए रीमैन क्षेत्र#तर्कसंगत फलनों का उपयोग अक्सर मॉडल के रूप में किया जाता है।]]वास्तविक फलन, जो कि वास्तविक संख्याओं से वास्तविक संख्याओं तक का फलन (गणित) है, को कार्टेशियन समन्वय प्रणाली में फलन के ग्राफ़ द्वारा दर्शाया जा सकता है; ऐसा फलन निरंतर होता है यदि, मोटे तौर पर कहें तो, ग्राफ़ एकल अखंड [[वक्र]] है जिसका फलन का डोमेन संपूर्ण वास्तविक रेखा है। अधिक गणितीय रूप से कठोर परिभाषा नीचे दी गई है।<ref>{{cite web | url=http://math.mit.edu/~jspeck/18.01_Fall%202014/Supplementary%20notes/01c.pdf | title=निरंतरता और असंततता| last1=Speck | first1=Jared | year=2014 | page=3 | access-date=2016-09-02 | website=MIT Math | quote=Example 5. The function <math>1/x</math> is continuous on <math>(0, \infty)</math> and on <math>(-\infty, 0),</math> i.e., for <math>x > 0</math> and for <math>x < 0,</math> in other words, at every point in its domain. However, it is not a continuous function since its domain is not an interval. It has a single point of discontinuity, namely <math>x = 0,</math> and it has an infinite discontinuity there. | archive-date=2016-10-06 | archive-url=https://web.archive.org/web/20161006014646/http://math.mit.edu/~jspeck/18.01_Fall%202014/Supplementary%20notes/01c.pdf | url-status=dead }}</ref> | ||
वास्तविक | वास्तविक फलनों की निरंतरता को आमतौर पर [[सीमा (गणित)]] के संदर्भ में परिभाषित किया जाता है। समारोह {{math|''f''}} चर के साथ {{mvar|x}} वास्तविक संख्या पर निरंतर है {{mvar|c}}, यदि की सीमा <math>f(x),</math> जैसा {{mvar|x}} आदत है {{mvar|c}}, के बराबर है <math>f(c).</math> | ||
किसी | किसी फलन की (वैश्विक) निरंतरता की कई अलग-अलग परिभाषाएँ हैं, जो किसी फलन के डोमेन की प्रकृति पर निर्भर करती हैं। | ||
फलन खुले अंतराल पर निरंतर होता है यदि अंतराल फलन के डोमेन में समाहित होता है, और फलन अंतराल के प्रत्येक बिंदु पर निरंतर होता है। फलन जो अंतराल पर निरंतर होता है <math>(-\infty, +\infty)</math> (संपूर्ण वास्तविक रेखा) को अक्सर केवल सतत फलन कहा जाता है; यह भी कहता है कि ऐसा कार्य सर्वत्र निरन्तर होता रहता है। उदाहरण के लिए, सभी बहुपद फलन हर जगह सतत होते हैं। | |||
फलन अर्ध-खुले अंतराल पर निरंतर होता है|अर्ध-खुला या [[बंद अंतराल]] अंतराल, यदि अंतराल फलन के डोमेन में समाहित है, तो फलन अंतराल के प्रत्येक आंतरिक बिंदु पर निरंतर होता है, और फलन का मान अंतराल से संबंधित प्रत्येक समापन बिंदु पर फलन के मानों की सीमा होती है जब चर अंतराल के आंतरिक भाग से समापन बिंदु की ओर जाता है। उदाहरण के लिए, फलन <math>f(x) = \sqrt{x}</math> अपने पूरे डोमेन पर निरंतर है, जो बंद अंतराल है <math>[0,+\infty).</math> | |||
आम तौर पर सामने आने वाले कई | आम तौर पर सामने आने वाले कई फलन आंशिक फलन होते हैं जिनका डोमेन कुछ [[पृथक बिंदु]]ओं को छोड़कर सभी वास्तविक संख्याओं से बनता है। उदाहरण कार्य हैं <math display="inline">x \mapsto \frac {1}{x}</math> और <math>x\mapsto \tan x.</math> जब वे अपने क्षेत्र में निरंतर होते हैं, तो कुछ संदर्भों में कहा जाता है कि वे निरंतर हैं, हालांकि वे हर जगह निरंतर नहीं होते हैं। अन्य संदर्भों में, मुख्य रूप से जब कोई असाधारण बिंदुओं के निकट अपने व्यवहार में रुचि रखता है, तो वह कहता है कि वे असंतत हैं। | ||
आंशिक | आंशिक फलन बिंदु पर असंतत होता है, यदि बिंदु उसके डोमेन के [[टोपोलॉजिकल क्लोजर]] से संबंधित है, और या तो बिंदु फलन के डोमेन से संबंधित नहीं है, या फलन बिंदु पर निरंतर नहीं है। उदाहरण के लिए, फलन <math display="inline">x\mapsto \frac {1}{x}</math> और <math display="inline">x\mapsto \sin(\frac {1}{x})</math> पर असंतत हैं {{math|0}}, और उन्हें परिभाषित करने के लिए जो भी मान चुना जाता है वह असंतत रहता है {{math|0}}. वह बिंदु जहां कोई फलन असंतत होता है, असंततता कहलाता है। | ||
गणितीय संकेतन का उपयोग करते हुए, ऊपर उल्लिखित तीन इंद्रियों में से प्रत्येक में निरंतर | गणितीय संकेतन का उपयोग करते हुए, ऊपर उल्लिखित तीन इंद्रियों में से प्रत्येक में निरंतर फलनों को परिभाषित करने के कई तरीके हैं। | ||
होने देना <math display="block">f : D \to \R</math> उपसमुच्चय पर परिभाषित | होने देना <math display="block">f : D \to \R</math> उपसमुच्चय पर परिभाषित फलन बनें <math>D</math> सेट का <math>\R</math> वास्तविक संख्याओं का. | ||
यह उपसमुच्चय <math>D</math> का डोमेन है {{math|''f''}}. कुछ संभावित विकल्पों में शामिल हैं | यह उपसमुच्चय <math>D</math> का डोमेन है {{math|''f''}}. कुछ संभावित विकल्पों में शामिल हैं | ||
| Line 38: | Line 38: | ||
*<math>D = (a, b) = \{x \in \R \mid a < x < b \} </math>: <math> D </math> खुला अंतराल है. | *<math>D = (a, b) = \{x \in \R \mid a < x < b \} </math>: <math> D </math> खुला अंतराल है. | ||
डोमेन के मामले में <math>D</math> खुले अंतराल के रूप में परिभाषित किया जा रहा है, <math>a</math> और <math>b</math> का नहीं है <math>D</math>, और के | डोमेन के मामले में <math>D</math> खुले अंतराल के रूप में परिभाषित किया जा रहा है, <math>a</math> और <math>b</math> का नहीं है <math>D</math>, और के मान <math>f(a)</math> और <math>f(b)</math> निरंतरता के लिए कोई फर्क नहीं पड़ता <math>D</math>. | ||
==== | ====फलनों की सीमा के संदर्भ में परिभाषा==== | ||
कार्यक्रम {{math|''f''}} किसी बिंदु पर निरंतर है {{math|''c''}}इसके डोमेन की यदि [[किसी फ़ंक्शन की सीमा]] है <math>f(x),</math> जैसे ही x, f के डोमेन के माध्यम से c की ओर बढ़ता है, मौजूद होता है और इसके बराबर होता है <math>f(c).</math><ref>{{Citation | last1=Lang | first1=Serge | author1-link=Serge Lang | title=Undergraduate analysis | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | series=[[Undergraduate Texts in Mathematics]] | isbn=978-0-387-94841-6 | year=1997}}, section II.4</ref> गणितीय संकेतन में इसे इस प्रकार लिखा जाता है | कार्यक्रम {{math|''f''}} किसी बिंदु पर निरंतर है {{math|''c''}}इसके डोमेन की यदि [[किसी फ़ंक्शन की सीमा|किसी फलन की सीमा]] है <math>f(x),</math> जैसे ही x, f के डोमेन के माध्यम से c की ओर बढ़ता है, मौजूद होता है और इसके बराबर होता है <math>f(c).</math><ref>{{Citation | last1=Lang | first1=Serge | author1-link=Serge Lang | title=Undergraduate analysis | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | series=[[Undergraduate Texts in Mathematics]] | isbn=978-0-387-94841-6 | year=1997}}, section II.4</ref> गणितीय संकेतन में इसे इस प्रकार लिखा जाता है | ||
<math display="block">\lim_{x \to c}{f(x)} = f(c).</math> | <math display="block">\lim_{x \to c}{f(x)} = f(c).</math> | ||
विस्तार से इसका | विस्तार से इसका अर्थ तीन स्थितियाँ हैं: पहला, {{math|''f''}} को परिभाषित करना होगा {{math|''c''}} (आवश्यकता द्वारा गारंटीकृत {{math|''c''}} के डोमेन में है {{math|''f''}}). दूसरा, उस समीकरण की सीमा मौजूद होनी चाहिए। तीसरा, इस सीमा का मान बराबर होना चाहिए <math>f(c).</math> | ||
(यहाँ, हमने मान लिया है कि f के डोमेन में कोई पृथक बिंदु नहीं है।) | (यहाँ, हमने मान लिया है कि f के डोमेन में कोई पृथक बिंदु नहीं है।) | ||
====पड़ोस के संदर्भ में परिभाषा==== | ====पड़ोस के संदर्भ में परिभाषा==== | ||
किसी बिंदु c का [[पड़ोस (गणित)]] ऐसा समुच्चय है जिसमें, कम से कम, c की कुछ निश्चित दूरी के सभी बिंदु शामिल होते हैं। सहज रूप से, | किसी बिंदु c का [[पड़ोस (गणित)]] ऐसा समुच्चय है जिसमें, कम से कम, c की कुछ निश्चित दूरी के सभी बिंदु शामिल होते हैं। सहज रूप से, फलन बिंदु c पर निरंतर होता है यदि c के पड़ोस पर f की सीमा बिंदु तक सिकुड़ जाती है <math>f(c)</math> जैसे-जैसे c के आस-पास की चौड़ाई शून्य हो जाती है। अधिक त्रुटिहीन रूप से, किसी भी पड़ोस के लिए, फलन f अपने डोमेन के बिंदु c पर निरंतर होता है <math>N_1(f(c))</math> वहाँ पड़ोस है <math>N_2(c)</math> इसके डोमेन में ऐसा है <math>f(x) \in N_1(f(c))</math> जब कभी भी <math>x\in N_2(c).</math> | ||
जैसा कि पड़ोस को किसी भी [[टोपोलॉजिकल स्पेस]] में परिभाषित किया जाता है, सतत | जैसा कि पड़ोस को किसी भी [[टोपोलॉजिकल स्पेस]] में परिभाषित किया जाता है, सतत फलन की यह परिभाषा न केवल वास्तविक फलनों के लिए लागू होती है, बल्कि तब भी लागू होती है जब डोमेन और [[कोडोमेन]] टोपोलॉजिकल स्पेस होते हैं, और इस प्रकार यह सबसे सामान्य परिभाषा है। इसका तात्पर्य यह है कि फलन अपने डोमेन के प्रत्येक पृथक बिंदु पर स्वचालित रूप से निरंतर होता है। विशिष्ट उदाहरण के रूप में, पूर्णांकों पर प्रत्येक वास्तविक मानवान फलन निरंतर है। | ||
====अनुक्रमों की सीमा के संदर्भ में परिभाषा==== | ====अनुक्रमों की सीमा के संदर्भ में परिभाषा==== | ||
| Line 54: | Line 54: | ||
====वीयरस्ट्रैस और जॉर्डन निरंतर | ====वीयरस्ट्रैस और जॉर्डन निरंतर फलनों की परिभाषा (एप्सिलॉन-डेल्टा)==== | ||
[[File:Example of continuous function.svg|right|thumb|का चित्रण {{mvar|ε}}-{{mvar|δ}}-परिभाषा: पर {{math|1=''x'' = 2}}, कोई मान {{math|δ ≤ 0.5}} के लिए परिभाषा की शर्त को संतुष्ट करता है {{math|1=''ε'' = 0.5}}.]]किसी | [[File:Example of continuous function.svg|right|thumb|का चित्रण {{mvar|ε}}-{{mvar|δ}}-परिभाषा: पर {{math|1=''x'' = 2}}, कोई मान {{math|δ ≤ 0.5}} के लिए परिभाषा की शर्त को संतुष्ट करता है {{math|1=''ε'' = 0.5}}.]]किसी फलन की सीमा की परिभाषा को स्पष्ट रूप से शामिल करते हुए, हम स्व-निहित परिभाषा प्राप्त करते हैं: फलन दिया गया <math>f : D \to \mathbb{R}</math> उपरोक्त और तत्व के रूप में <math>x_0</math> डोमेन का <math>D</math>, <math>f</math> बिंदु पर निरंतर कहा जाता है <math>x_0</math> जब निम्नलिखित मान्य हो: किसी भी सकारात्मक वास्तविक संख्या के लिए <math>\varepsilon > 0,</math> चाहे वह कितनी भी छोटी क्यों न हो, कुछ सकारात्मक वास्तविक संख्या मौजूद होती है <math>\delta > 0</math> ऐसा कि सभी के लिए <math>x</math> के क्षेत्र में <math>f</math> साथ <math>x_0 - \delta < x < x_0 + \delta,</math> का मान है <math>f(x)</math> संतुष्ट | ||
<math display="block">f\left(x_0\right) - \varepsilon < f(x) < f(x_0) + \varepsilon.</math> | <math display="block">f\left(x_0\right) - \varepsilon < f(x) < f(x_0) + \varepsilon.</math> | ||
वैकल्पिक रूप से लिखा, की निरंतरता <math>f : D \to \mathbb{R}</math> पर <math>x_0 \in D</math> इसका | वैकल्पिक रूप से लिखा, की निरंतरता <math>f : D \to \mathbb{R}</math> पर <math>x_0 \in D</math> इसका अर्थ है कि हर किसी के लिए <math>\varepsilon > 0,</math> वहाँ मौजूद है <math>\delta > 0</math> ऐसा कि सभी के लिए <math>x \in D</math>: | ||
<math display="block">\left|x - x_0\right| < \delta ~~\text{ implies }~~ |f(x) - f(x_0)| < \varepsilon.</math> | <math display="block">\left|x - x_0\right| < \delta ~~\text{ implies }~~ |f(x) - f(x_0)| < \varepsilon.</math> | ||
अधिक सहजता से हम कह सकते हैं कि यदि हम सब कुछ पाना चाहते हैं <math>f(x)</math> आसपास के कुछ छोटे [[टोपोलॉजिकल पड़ोस]] में रहने का | अधिक सहजता से हम कह सकते हैं कि यदि हम सब कुछ पाना चाहते हैं <math>f(x)</math> आसपास के कुछ छोटे [[टोपोलॉजिकल पड़ोस]] में रहने का मान <math>f\left(x_0\right),</math> हमें बस इसके लिए छोटा सा पड़ोस चुनने की जरूरत है <math>x</math> चारों ओर मान <math>x_0.</math> अगर हम ऐसा कर सकते हैं तो कोई फर्क नहीं पड़ता कि यह कितना छोटा है <math>f(x_0)</math> तो पड़ोस है <math>f</math> पर निरंतर है <math>x_0.</math> | ||
आधुनिक शब्दों में, इसे [[आधार (टोपोलॉजी)]] के संबंध में किसी | आधुनिक शब्दों में, इसे [[आधार (टोपोलॉजी)]] के संबंध में किसी फलन की निरंतरता की परिभाषा द्वारा सामान्यीकृत किया जाता है, यहां [[मीट्रिक टोपोलॉजी]] है। | ||
वीयरस्ट्रैस को अंतराल की आवश्यकता थी <math>x_0 - \delta < x < x_0 + \delta</math> पूरी तरह से डोमेन के भीतर हो <math>D</math>, लेकिन जॉर्डन ने वह प्रतिबंध हटा दिया। | वीयरस्ट्रैस को अंतराल की आवश्यकता थी <math>x_0 - \delta < x < x_0 + \delta</math> पूरी तरह से डोमेन के भीतर हो <math>D</math>, लेकिन जॉर्डन ने वह प्रतिबंध हटा दिया। | ||
| Line 66: | Line 66: | ||
====शेषफल के नियंत्रण के संदर्भ में परिभाषा==== | ====शेषफल के नियंत्रण के संदर्भ में परिभाषा==== | ||
प्रमाणों और संख्यात्मक विश्लेषण में हमें अक्सर यह जानने की आवश्यकता होती है कि सीमाएँ कितनी तेजी से परिवर्तित हो रही हैं, या दूसरे शब्दों में, शेष पर नियंत्रण। हम इसे निरंतरता की परिभाषा के रूप में औपचारिक रूप दे सकते हैं। | प्रमाणों और संख्यात्मक विश्लेषण में हमें अक्सर यह जानने की आवश्यकता होती है कि सीमाएँ कितनी तेजी से परिवर्तित हो रही हैं, या दूसरे शब्दों में, शेष पर नियंत्रण। हम इसे निरंतरता की परिभाषा के रूप में औपचारिक रूप दे सकते हैं। | ||
समारोह <math>C: [0,\infty) \to [0,\infty]</math> यदि नियंत्रण | समारोह <math>C: [0,\infty) \to [0,\infty]</math> यदि नियंत्रण फलन कहा जाता है | ||
* C गैर-घटता हुआ नहीं है | * C गैर-घटता हुआ नहीं है | ||
*<math>\inf_{\delta > 0} C(\delta) = 0</math> | *<math>\inf_{\delta > 0} C(\delta) = 0</math> | ||
समारोह <math>f : D \to R</math> C-निरंतर है <math>x_0</math> यदि ऐसा कोई पड़ोस मौजूद है <math display="inline">N(x_0)</math> वह | समारोह <math>f : D \to R</math> C-निरंतर है <math>x_0</math> यदि ऐसा कोई पड़ोस मौजूद है <math display="inline">N(x_0)</math> वह | ||
<math display="block">|f(x) - f(x_0)| \leq C\left(\left|x - x_0\right|\right) \text{ for all } x \in D \cap N(x_0)</math> | <math display="block">|f(x) - f(x_0)| \leq C\left(\left|x - x_0\right|\right) \text{ for all } x \in D \cap N(x_0)</math> | ||
फलन निरंतर है <math>x_0</math> यदि यह कुछ नियंत्रण फलन C के लिए C-निरंतर है। | |||
यह दृष्टिकोण स्वाभाविक रूप से स्वीकार्य नियंत्रण | यह दृष्टिकोण स्वाभाविक रूप से स्वीकार्य नियंत्रण फलनों के सेट को सीमित करके निरंतरता की धारणा को परिष्कृत करने की ओर ले जाता है। नियंत्रण फलनों के दिए गए सेट के लिए <math>\mathcal{C}</math> फलन है {{nowrap|<math>\mathcal{C}</math>-continuous}} अगर यह है {{nowrap|<math>C</math>-continuous}} कुछ के लिए <math>C \in \mathcal{C}.</math> उदाहरण के लिए, [[लिप्सचिट्ज़ निरंतरता]] और घातांक के होल्डर निरंतर कार्य {{mvar|α}} नीचे नियंत्रण फलनों के सेट द्वारा परिभाषित किया गया है | ||
<math display="block">\mathcal{C}_{\mathrm{Lipschitz}} = \{C : C(\delta) = K|\delta| ,\ K > 0\}</math> क्रमश: | <math display="block">\mathcal{C}_{\mathrm{Lipschitz}} = \{C : C(\delta) = K|\delta| ,\ K > 0\}</math> क्रमश: | ||
<math display="block">\mathcal{C}_{\text{Hölder}-\alpha} = \{C : C(\delta) = K |\delta|^\alpha, \ K > 0\}.</math> | <math display="block">\mathcal{C}_{\text{Hölder}-\alpha} = \{C : C(\delta) = K |\delta|^\alpha, \ K > 0\}.</math> | ||
| Line 79: | Line 79: | ||
====दोलन का उपयोग कर परिभाषा==== | ====दोलन का उपयोग कर परिभाषा==== | ||
[[File:Rapid Oscillation.svg|thumb|किसी | [[File:Rapid Oscillation.svg|thumb|किसी फलन के किसी बिंदु पर निरंतर होने में विफलता को उसके [[दोलन (गणित)]] द्वारा निर्धारित किया जाता है।]]निरंतरता को दोलन (गणित) के संदर्भ में भी परिभाषित किया जा सकता है: फलन f बिंदु पर निरंतर है <math>x_0</math> यदि और केवल यदि उस बिंदु पर इसका दोलन शून्य है;<ref>''[http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_REAL_ANALYSIS.PDF Introduction to Real Analysis],'' updated April 2010, William F. Trench, Theorem 3.5.2, p. 172</ref> प्रतीकों में, <math>\omega_f(x_0) = 0.</math> इस परिभाषा का लाभ यह है कि यह {{em|quantifies}} असंततता: दोलन बताता है कि कैसे {{em|much}} फलन बिंदु पर असंतत है। | ||
यह परिभाषा वर्णनात्मक सेट सिद्धांत में असंततता और निरंतर बिंदुओं के सेट का अध्ययन करने के लिए उपयोगी है - निरंतर बिंदु सेट के प्रतिच्छेदन हैं जहां दोलन कम है <math>\varepsilon</math> (इसलिए जी-डेल्टा सेट|<math>G_{\delta}</math> सेट) - और लेब्सगे इंटीग्रेबिलिटी स्थिति की दिशा का बहुत त्वरित प्रमाण देता है।<ref>''[http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_REAL_ANALYSIS.PDF Introduction to Real Analysis],'' updated April 2010, William F. Trench, 3.5 "A More Advanced Look at the Existence of the Proper Riemann Integral", pp. 171–177</ref> | यह परिभाषा वर्णनात्मक सेट सिद्धांत में असंततता और निरंतर बिंदुओं के सेट का अध्ययन करने के लिए उपयोगी है - निरंतर बिंदु सेट के प्रतिच्छेदन हैं जहां दोलन कम है <math>\varepsilon</math> (इसलिए जी-डेल्टा सेट|<math>G_{\delta}</math> सेट) - और लेब्सगे इंटीग्रेबिलिटी स्थिति की दिशा का बहुत त्वरित प्रमाण देता है।<ref>''[http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_REAL_ANALYSIS.PDF Introduction to Real Analysis],'' updated April 2010, William F. Trench, 3.5 "A More Advanced Look at the Existence of the Proper Riemann Integral", pp. 171–177</ref> | ||
| Line 85: | Line 85: | ||
====हाइपररियल्स का उपयोग कर परिभाषा==== | ====हाइपररियल्स का उपयोग कर परिभाषा==== | ||
[[कॉची]] ने किसी | [[कॉची]] ने किसी फलन की निरंतरता को निम्नलिखित सहज शब्दों में परिभाषित किया है: स्वतंत्र चर में अतिसूक्ष्म परिवर्तन, आश्रित चर के अतिसूक्ष्म परिवर्तन से मेल खाता है (देखें कौर्स डी'एनालिसिस, पृष्ठ 34)। गैर-मानक विश्लेषण इसे गणितीय रूप से कठोर बनाने का तरीका है। वास्तविक रेखा को अनंत और अतिसूक्ष्म संख्याओं को जोड़कर अतिवास्तविक संख्याएँ बनाने के लिए संवर्धित किया जाता है। गैरमानक विश्लेषण में, निरंतरता को निम्नानुसार परिभाषित किया जा सकता है। | ||
{{block indent|em=1.5|text=A real-valued function {{math|''f''}} is continuous at {{mvar|x}} if its natural extension to the hyperreals has the property that for all infinitesimal {{math|''dx''}}, <math>f(x + dx) - f(x)</math> is infinitesimal<ref>{{cite web| url=http://www.math.wisc.edu/~keisler/calc.html |title=Elementary Calculus|work=wisc.edu}}</ref>}} | {{block indent|em=1.5|text=A real-valued function {{math|''f''}} is continuous at {{mvar|x}} if its natural extension to the hyperreals has the property that for all infinitesimal {{math|''dx''}}, <math>f(x + dx) - f(x)</math> is infinitesimal<ref>{{cite web| url=http://www.math.wisc.edu/~keisler/calc.html |title=Elementary Calculus|work=wisc.edu}}</ref>}} | ||
| Line 91: | Line 91: | ||
(सूक्ष्म निरंतरता देखें)। दूसरे शब्दों में, स्वतंत्र चर की अतिसूक्ष्म वृद्धि हमेशा आश्रित चर में अतिसूक्ष्म परिवर्तन उत्पन्न करती है, जो ऑगस्टिन-लुई कॉची की निरंतरता की परिभाषा को आधुनिक अभिव्यक्ति देती है। | (सूक्ष्म निरंतरता देखें)। दूसरे शब्दों में, स्वतंत्र चर की अतिसूक्ष्म वृद्धि हमेशा आश्रित चर में अतिसूक्ष्म परिवर्तन उत्पन्न करती है, जो ऑगस्टिन-लुई कॉची की निरंतरता की परिभाषा को आधुनिक अभिव्यक्ति देती है। | ||