मध्यवर्ती मूल्य प्रमेय

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

इसके दो महत्वपूर्ण परिणाम हैं:


 * 1) यदि निरंतर फलन में अंतराल के अंदर विपरीत चिह्न के मान होते हैं, जिससे उस अंतराल (बोल्जानो के प्रमेय) में फलन शून्य होता है।
 * 2) एक अंतराल पर सतत फलन की इमेज (गणित) स्वयं अंतराल है।

प्रेरणा
यह वास्तविक संख्या पर निरंतर फलनों की एक सहज प्रोपर्टी को पकड़ता है: ज्ञात मूल्यों $$f(1) = 3$$ और $$f(2) = 5$$, के साथ $$[1,2]$$ पर निरंतर $$f$$ दिया गया है और, तो $$y = f(x)$$ का ग्राफ क्षैतिज रेखा $$y = 4$$ से होकर निकलना चाहिए, जबकि $$x$$ $$1$$ से $$2$$ पर जाता है। यह इस विचार का प्रतिनिधित्व करता है कि एक बंद अंतराल पर एक सतत फलन का ग्राफ हो सकता है कागज से पेंसिल उठाए बिना खींचा गया था।

प्रमेय
मध्यवर्ती मूल्य प्रमेय निम्नलिखित बताता है:

एक अंतराल $$I = [a,b]$$ पर विचार करें वास्तविक संख्याओं $$\R$$ और सतत फलन $$f \colon I \to \R$$ है. तब


 * संस्करण I. यदि $$u$$ के बीच की संख्या $$f(a)$$ और $$f(b)$$ है, $$\min(f(a),f(b))<u<\max(f(a),f(b)),$$ तो वहाँ $$c\in (a,b)$$ है ऐसा है कि $$f(c)=u$$.
 * संस्करण द्वितीय। फलन की इमेज $$f(I)$$ अंतराल भी है, और इसमें $$\bigl[\min(f(a), f(b)),\max(f(a), f(b))\bigr]$$ सम्मिलित है ,

टिप्पणी: संस्करण II बताता है कि फलन मानों के समुच्चय (गणित) में कोई अंतर नहीं है। किसी भी दो फलन $$c < d$$ मानों के लिए, तथापि वे बीच $$f(a)$$ और $$f(b)$$ के अंतराल से बाहर हों, अंतराल में सभी बिंदु $$\bigl[c,d\bigr]$$ फलन मान भी हैं, $$\bigl[c,d\bigr]\subseteq f(I).$$ किसी आंतरिक अंतराल वाली वास्तविक संख्याओं का उपसमुच्चय अंतराल है। संस्करण I स्वाभाविक रूप से संस्करण II में निहित है।

पूर्णता से संबंध
प्रमेय निर्भर करता है, और वास्तविक संख्याओं की पूर्णता के सामान्य है। मध्यवर्ती मूल्य प्रमेय परिमेय संख्या Q पर प्रयुक्त नहीं होता है क्योंकि परिमेय संख्याओं के बीच अंतराल उपस्थित होता है; अपरिमेय संख्याएँ उन अंतरालों को भरती हैं। उदाहरण के लिए, फलन $$f(x) = x^2-2$$ के लिए $$x\in\Q$$ संतुष्ट $$f(0) = -2$$ और $$f(2) = 2$$. चूँकि, कोई परिमेय संख्या $$x$$ नहीं है ऐसा है कि $$f(x)=0$$, क्योंकि $$\sqrt 2$$ अपरिमेय संख्या है।

प्रमाण
प्रमेय को वास्तविक संख्याओं की पूर्णता (आदेश सिद्धांत) प्रोपर्टी के परिणाम के रूप में सिद्ध किया जा सकता है: हम पहला स्थिति सिद्ध करेंगे, $$f(a) < u < f(b)$$. दूसरा स्थिति भी ऐसा ही है।

माना $$S$$ सभी का समुच्चय $$x \in [a,b]$$ हो ऐसा है कि $$f(x) \leq u$$. तब $$S$$ से खाली नहीं है $$a$$ का तत्व $$S$$ है. तब से $$S$$ खाली नहीं है और ऊपर से $$b$$ घिरा हुआ है, पूर्णता से, सर्वोच्चता $$c=\sup S$$ उपस्थित $$c$$ है, सबसे छोटी संख्या है जो प्रत्येक सदस्य से अधिक या उसके सामान्य $$S$$ है. हम यह $$f(c)=u$$ प्रमाणित करते हैं.

कुछ समुच्चय $$\varepsilon > 0$$. है तब से $$f$$ निरंतर है, $$\delta>0$$ ऐसा है कि $$|f(x) - f(c)| < \varepsilon$$ जब कभी भी $$|x-c| < \delta$$. इस का कारण है कि $$f(x)-\varepsilonf(a^{**})-\varepsilon\ > u-\varepsilon.$$ दोनों असमानताएँ $$u-\varepsilon 0$$ के लिए मान्य हैं , जिससे हम निष्कर्ष $$f(c) = u$$ निकालते हैं जैसा कि कहा गया है, एकमात्र संभावित मूल्य के रूप में उपयोग किया जाता है।

टिप्पणी: मध्यवर्ती मूल्य प्रमेय को गैर-मानक विश्लेषण के विधियों का उपयोग करके भी सिद्ध किया जा सकता है, जो कठोर पर अन्तर्ज्ञानी तर्कों को सम्मिलित करता है।

इतिहास
प्रमेय का रूप 5 वीं शताब्दी ईसा पूर्व के रूप में पोस्ट किया गया था, ब्रायसन ऑफ हेराक्लिआ के काम में सर्कल को स्क्वायर करने पर ब्रायसन ने तर्क दिया कि, चूंकि दिए गए वर्ग से बड़े और छोटे दोनों वृत्त उपस्थित हैं, इसलिए सामान्य क्षेत्रफल का वृत्त उपस्थित होना चाहिए। प्रमेय को पहली बार 1817 में बर्नार्ड बोलजानो द्वारा सिद्ध किया गया था। बोलजानो ने प्रमेय के निम्नलिखित सूत्रीकरण का उपयोग किया था:

माना $$f, \phi$$ बीच के अंतराल $$\alpha$$ और $$\beta$$ पर निरंतर फलन करें ऐसा है कि $$f(\alpha) < \phi(\alpha)$$ और $$f(\beta) > \phi(\beta)$$. फिर है $$x$$ बीच में $$\alpha$$ और $$\beta$$ ऐसा है कि $$f(x) = \phi(x)$$.

इस सूत्र और आधुनिक सूत्र के बीच समानता को $$\phi$$ उचित निरंतर फलन के लिए समुच्चयिंग द्वारा दिखाया जा सकता है। ऑगस्टिन-लुई कॉची ने 1821 में आधुनिक सूत्रीकरण और प्रमाण प्रदान किया था। दोनों फलनों के विश्लेषण को औपचारिक रूप देने के लक्ष्य और जोसेफ-लुई लाग्रेंज के काम से प्रेरित थे। यह विचार कि निरंतर फलनों में मध्यवर्ती मूल्य प्रोपर्टी होती है, पहले की उत्पत्ति होती है। साइमन स्टीवन ने समाधान के दशमलव विस्तार के निर्माण के लिए एल्गोरिदम प्रदान करके बहुपद के लिए मध्यवर्ती मूल्य प्रमेय (उदाहरण के रूप में घन फलन का उपयोग करके) सिद्ध कर दिया था। एल्गोरिथ्म पुनरावृत्ति के प्रत्येक चरण पर अतिरिक्त दशमलव अंक का निर्माण करते हुए, अंतराल को 10 भागों में उप-विभाजित करता है। निरंतरता की औपचारिक परिभाषा दिए जाने से पहले, सतत फलन की परिभाषा के भाग के रूप में मध्यवर्ती मूल्य प्रोपर्टी दी गई थी। समर्थकों में लुई आर्बोगैस्ट सम्मिलित हैं, जिन्होंने माना कि फलनों में कोई छलांग नहीं है, मध्यवर्ती मूल्य प्रोपर्टी को संतुष्ट करते हैं और वेतन वृद्धि करते हैं जिनके आकार चर के वेतन वृद्धि के आकार के अनुरूप होते हैं।

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

सामान्यीकरण
इंटरमीडिएट वैल्यू प्रमेय टोपोलॉजी की टोपोलॉजी धारणा से निकटता से संयुक्तता है और मीट्रिक रिक्त स्थान में जुड़े समुच्चयों के मूल गुणों और विशेष रूप से आर के जुड़े सबसमुच्चय से निम्नानुसार है:
 * यदि $$X$$ और $$Y$$ मीट्रिक रिक्त स्थान हैं, $$f \colon X \to Y$$ सतत मैप है, और $$E \subset X$$ कनेक्टेड स्पेस सबसमुच्चय है, फिर $$f(E)$$ जुड़ा है।
 * उपसमुच्चय $$E \subset \R$$ संयुक्तता है यदि और केवल यदि यह निम्नलिखित प्रोपर्टी $$x,y\in E,\ x < r < y \implies r \in E$$ को संतुष्ट करता है:

वास्तव में, संयुक्तता सांस्थितिक गुण है और (*) स्थलाकृतिक स्थानों के लिए सामान्यीकरण करता है: यदि $$X$$ और $$Y$$ टोपोलॉजिकल स्पेस हैं, $$f \colon X \to Y$$ सतत मैप है, और $$X$$ कनेक्टेड स्पेस है, फिर $$f(X)$$ जुड़ा है। निरंतर मैप के अनुसार संयुक्तता के संरक्षण को मध्यवर्ती मूल्य प्रमेय के सामान्यीकरण के रूप में माना जा सकता है, वास्तविक चर के वास्तविक मूल्यवान फलनों की प्रोपर्टी, सामान्य रिक्त स्थान में निरंतर फलनों के लिए

पहले बताए गए मध्यवर्ती मूल्य प्रमेय के पहले संस्करण को याद करें:

$$

मध्यवर्ती मूल्य प्रमेय संयुक्तता के इन दो गुणों का तत्काल परिणाम है:

$$

मध्यवर्ती मूल्य प्रमेय प्राकृतिक विधि से सामान्यीकरण करता है: मान लीजिए कि $X$ कनेक्टेड टोपोलॉजिकल स्पेस है और $(Y, <)$ आदेश टोपोलॉजी से लैस कुल ऑर्डर समुच्चय है, और माना $f : X → Y$ सतत मानचित्र बनें। यदि $a$ और $b$ में दो बिन्दु हैं $X$ और $u$ में बिंदु है $Y$ बीच पड़ा हुआ $f(a)$ और $f(b)$ इसके संबंध में $<$, तो वहाँ उपस्थित है $c$ में $X$ ऐसा है कि $f(c) = u$. मूल प्रमेय को नोट करके पुनर्प्राप्त किया जाता है इस प्रकार $R$ संयुक्तता है और इसका प्राकृतिक टोपोलॉजिकल स्पेस ऑर्डर टोपोलॉजी है।

ब्रौवर निश्चित-बिंदु प्रमेय संबंधित प्रमेय है, जो आयाम में, मध्यवर्ती मान प्रमेय का विशेष स्थिति देता है।

विपरीत कृत्रिम
एक डार्बौक्स फलन वास्तविक-मूल्यवान फलन है जिसमें मध्यवर्ती $f$ मूल्य गुण है, अर्थात, जो मध्यवर्ती मूल्य प्रमेय के निष्कर्ष को संतुष्ट करता है: किसी भी दो मूल्यों के लिए $a$ और $b$ के अधिकार क्षेत्र में $f$, और कोई भी $y$ बीच में $f(a)$ और $f(b)$ है वहाँ कुछ $c$ बीच में $a$ और $b$ साथ $f(c) = y$. मध्यवर्ती मूल्य प्रमेय कहता है कि प्रत्येक निरंतर फलन डार्बौक्स फलन है। चूँकि, प्रत्येक डार्बौक्स फलन निरंतर नहीं है; अर्थात्, मध्यवर्ती मान प्रमेय का विलोम असत्य है।

उदाहरण के अनुसार फलन को $f : [0,&thinsp;∞) → [−1,&thinsp;1]$ द्वारा परिभाषित $f(x) = sin(1/x)$ के लिए $x > 0$ और $f(0) = 0$. यह फलन निरंतर नहीं है $x = 0$ क्योंकि फलन की सीमा $f(x)$ जैसा $x$ 0 की ओर जाता है उपस्थित नहीं है; अभी तक फलन में मध्यवर्ती मूल्य प्रोपर्टी है। कॉनवे बेस 13 फलन द्वारा और अधिक जटिल उदाहरण दिया गया है।

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

ऐतिहासिक रूप से, इस मध्यवर्ती मूल्य प्रोपर्टी को वास्तविक-मूल्यवान फलनों की निरंतरता की परिभाषा के रूप में सुझाया गया है; इस परिभाषा को नहीं अपनाया गया था।

रचनात्मक गणित में
रचनात्मक गणित में, मध्यवर्ती मान प्रमेय सत्य नहीं है। इसके अतिरिक्त, निष्कर्ष को अशक्त करना है:


 * माना $$a$$ और $$b$$ वास्तविक संख्या हो और $$f:[a,b] \to R$$ बंद अंतराल से बिंदुवार निरंतर फलन करें वास्तविक रेखा $$[a,b]$$ के लिए, और मान लीजिए कि $$f(a) < 0$$ और $$0 < f(b)$$. फिर प्रत्येक सकारात्मक संख्या के लिए $$\varepsilon > 0$$ बिन्दु होता है इकाई अंतराल $$x$$ में जैसे कि $$\vert f(x) \vert < \varepsilon$$ है

व्यावहारिक अनुप्रयोग
इसी तरह का परिणाम बोरसुक-उलम प्रमेय है, जो कहता है कि सतत मैप $$n$$-यूक्लिडियन के लिए क्षेत्र $$n$$-स्पेस हसदैवमेशा एंटीपोडल पॉइंट्स की कुछ जोड़ी को उसी स्थान पर मैप करता है।

$$

सामान्यतः, किसी भी निरंतर फलन के लिए जिसका डोमेन कुछ बंद उत्तल है $n$-आयाम और आकार के अंदर कोई बिंदु (आवश्यक नहीं कि इसका केंद्र), दिए गए बिंदु के संबंध में दो एंटीपोडल बिंदु उपस्थित हैं जिनका फलनात्मक मूल्य समान है।

प्रमेय इस स्पष्टीकरण को भी रेखांकित करता है कि क्यों घूर्णन तालिका को घूर्णन करने से यह स्थिरता में आ जाएगी (कुछ सरलता से मिलने वाली बाधाओं के अधीन)। == यह भी देखें                                                                                                                                                                                                                    ==

==संदर्भ                                                                                                                                                                                                       ==

बाहरी संबंध

 * Intermediate value Theorem - Bolzano Theorem at cut-the-knot
 * Bolzano's Theorem by Julio Cesar de la Yncera, Wolfram Demonstrations Project.
 * Mizar system proof: http://mizar.org/version/current/html/topreal5.html#T4
 * Mizar system proof: http://mizar.org/version/current/html/topreal5.html#T4
 * Mizar system proof: http://mizar.org/version/current/html/topreal5.html#T4