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

गणितीय विश्लेषण में, मध्यवर्ती मूल्य प्रमेय बताती है कि यदि $$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(x)={\displaystyle \phi }(x)$$

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

सामान्यीकरण
अन्तःस्थायी महत्त्व प्रमेय जुड़ाव की सांस्थिति धारणा से निकटता से जुड़ा हुआ है और मापीय रिक्त स्थान में जुड़े समुच्चय के मूल गुणों और विशेष रूप से R के जुड़े उपसमुच्चय से निम्नानुसार है:
 * यदि $$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$ एक सतत मानचित्र बनने दें। यदि $X$ में दो बिन्दु $a$ तथा $b$ हैं तथा $Y$ में एक बिंदु $u$ $f(a)$ तथा $f(b)$ के बीच $<$ की प्रतिष्ठा से पड़ा हुआ है, तो वहाँ $c$ में $X$ ऐसे उपस्थित है कि $f(c) = u$. मूल प्रमेय को यह देखते हुए पुनर्प्राप्त किया जाता है कि $R$ जुड़ा हुआ है और इसकी प्राकृतिक सांस्थिति अनुक्रम सांस्थिति है।

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

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

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