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

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

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


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

प्रेरणा
यह वास्तविक संख्याओं पर निरंतर कार्यों की सहज संपत्ति को दर्शाता है: दिया गया$$f$$लगातार चालू $$[1,2]$$ ज्ञात मूल्यों के साथ $$f(1) = 3$$ और $$f(2) = 5$$, फिर का ग्राफ $$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$-dimensional आकार और आकार के अंदर कोई बिंदु (जरूरी नहीं कि इसका केंद्र), दिए गए बिंदु के संबंध में दो एंटीपोडल बिंदु मौजूद हैं जिनका कार्यात्मक मूल्य समान है।

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

बाहरी संबंध

 * 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