मध्यवर्ती मान प्रमेय

गणितीय विश्लेषण में, मध्यवर्ती मूल्य प्रमेय बताता है कि यदि $$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)$$. फिर $$\alpha$$ तथा $$\beta$$ के बीच एक x है इस तरह कि f

इस निरूपण और आधुनिक  निरूपण के बीच समानता को सेटिंग द्वारा दिखाया जा सकता है $$\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