सूक्ष्म निरंतरता

गैरमानक विश्लेषण में, शास्त्रीय गणित के अन्दर  अनुशासन, बिंदु a पर आंतरिक फलन   f  की सूक्ष्म निरंतरता (या S-निरंतरता) को निम्नानुसार परिभाषित किया गया है:
 * सभी x के लिए a के अपरिमित रूप से निकट, मान f(x) अपरिमित रूप से f(a) के निकट है।

यहां x f के डोमेन से होकर निकलता है। और सूत्रों में, इसे इस प्रकार व्यक्त किया जा सकता है:
 * अगर $$x\approx a$$ तब $$f(x)\approx f(a)$$.

किसी फलन  f पर परिभाषित के लिए $$\mathbb{R}$$, परिभाषा को हेलो (गणित) के संदर्भ में इस प्रकार व्यक्त किया जा सकता है: f पर सूक्ष्मनिरंतर है $$c\in\mathbb{R}$$ अगर और केवल अगर $$f(hal(c))\subseteq hal(f(c))$$, जहां हाइपररियल संख्या में एफ का प्राकृतिक विस्तार अभी भी एफ दर्शाया गया है। वैकल्पिक रूप से, c पर सूक्ष्म निरंतरता की संपत्ति को संरचना बताकर व्यक्त किया जा सकता है $$\text{st}\circ f$$ c के प्रभामंडल पर स्थिर है, जहां st मानक भाग फलन   है।

इतिहास
इस प्रकार से किसी फलन  की निरंतरता की आधुनिक संपत्ति को प्रथम समय  1817 में बोल्ज़ानो द्वारा परिभाषित किया गया था। चूंकि  , 1860 के दशक में हेइन में इसकी पुनः खोज तक बोल्ज़ानो के काम पर उच्च   गणितीय समुदाय पर ध्यान नहीं दिया  गया था। इस मध्य , कॉची की पाठ्यपुस्तक कौर्स डी एनालिसिस ने 1821 में उपरोक्त के अनुसार इनफिनिटिमल्स का उपयोग करके निरंतरता को परिभाषित किया गया था ।

निरंतरता और एकसमान निरंतरता
सूक्ष्म निरंतरता का गुण सामान्यतः वास्तविक फलन   f के प्राकृतिक विस्तार f* पर प्रयुक्त  होता है। इस प्रकार, वास्तविक अंतराल I पर परिभाषित f निरंतर है यदि और केवल यदि F* I के प्रत्येक बिंदु पर माइक्रोकंटिन्यूअस है। इस मध्य , F I पर समान रूप से निरंतर  है यदि और केवल यदि f* प्रत्येक बिंदु (मानक और गैरमानक) पर माइक्रोकंटिन्यूअस है इसके डोमेन I का प्राकृतिक विस्तार I* (देखें डेविस, 1977, पृष्ठ 96) में प्रयुक्त किया गया था ।

उदाहरण 1
वास्तविक कार्य $$f(x)=\tfrac{1}{x}$$ खुले अंतराल पर (0,1) समान रूप से निरंतर नहीं है क्योंकि f का प्राकृतिक विस्तार f* असीम रूप से सूक्ष्म होने में विफल रहता है $$a>0$$. वास्तव में, ऐसे a के लिए, a और 2a के मान असीम रूप से करीब हैं, लेकिन f* के मान, अर्थात् $$\tfrac{1}{a}$$ और $$\tfrac{1}{2a}$$ असीम रूप से निकट नहीं हैं.

उदाहरण 2
कार्यक्रम $$f(x)=x^2$$ पर $$\mathbb{R}$$ समान रूप से सतत नहीं है क्योंकि f* अनंत बिंदु पर सूक्ष्म सतत होने में विफल रहता है $$H\in \mathbb{R}^*$$. अर्थात्, सेटिंग $$e=\tfrac{1}{H}$$ और K = H + e, कोई भी आसानी से देख सकता है कि H और K असीम रूप से करीब हैं लेकिन f*(H) और f*(K) असीम रूप से करीब नहीं हैं।

समान अभिसरण
समान अभिसरण इसी तरह हाइपररियल सेटिंग में सरलीकृत परिभाषा को स्वीकार करता है। इस प्रकार, क्रम $$f_n$$ यदि f* के डोमेन में सभी x और सभी अनंत n के लिए समान रूप से f में अभिसरण होता है, $$f_n^*(x)$$ असीम रूप से करीब है $$f^*(x)$$.

यह भी देखें

 * मानक भाग फलन

ग्रन्थसूची

 * Martin Davis (1977) Applied nonstandard analysis. Pure and Applied Mathematics. Wiley-Interscience [John Wiley & Sons], New York-London-Sydney. xii+181 pp. ISBN 0-471-19897-8
 * Gordon, E. I.; Kusraev, A. G.; Kutateladze, S. S.: Infinitesimal analysis. Updated and revised translation of the 2001 Russian original. Translated by Kutateladze. Mathematics and its Applications, 544. Kluwer Academic Publishers, Dordrecht, 2002.