सामग्री पर जाएँ
Topos Uranos

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

सारांश

यह पाठ किसी अंतराल पर संतत फलनों के विषय में पहली बड़ी प्रमेय सिद्ध करता है: कोई संतत फलन बीच के सभी मान लिए बिना एक मान से दूसरे मान पर नहीं जा सकता। पहले पूर्णता अभिगृहीत से बोलत्सानो प्रमेय सिद्ध की जाती है, जो फलन के चिह्न बदलने पर एक शून्यक का अस्तित्व सुनिश्चित करती है; उससे मध्यवर्ती मान प्रमेय, यह तथ्य कि किसी अंतराल का प्रतिबिंब एक अंतराल होता है, और यह तथ्य कि किसी संतत और दृढ़तः एकदिष्ट फलन का प्रतिलोम संतत होता है, प्राप्त होते हैं; प्रतिलोम के अवकलज को इसी परिणाम की आवश्यकता है। प्रमेय यह नहीं बताती कि शून्यक कहाँ है, पर द्विभाजन विधि उसे किसी भी वांछित परिशुद्धता से स्थित कर देती है। पाठ इस प्रमेय को समीकरणों के मूलों के अस्तित्व, विषम घात के बहुपदों और नियत बिंदुओं पर लागू करता है।

अधिगम उद्देश्य

  1. पूर्णता अभिगृहीत से बोलत्सानो प्रमेय सिद्ध करना और उससे मध्यवर्ती मान प्रमेय प्राप्त करना।
  2. सिद्ध करना कि किसी संतत फलन के अंतर्गत किसी अंतराल का प्रतिबिंब एक अंतराल होता है, और किसी संतत और दृढ़तः एकदिष्ट फलन के प्रतिलोम का सांतत्य प्राप्त करना।
  3. समीकरणों के मूलों का अस्तित्व सिद्ध करने के लिए प्रमेय का उपयोग करना, और द्विभाजन विधि से उन्हें स्थित करना।

बोलत्सानो प्रमेय

किसी अंतराल पर संतत फलन का आलेख, सहज कल्पना में, पेंसिल उठाए बिना खींचा जाता है; यदि वह अक्ष के नीचे से शुरू होकर अक्ष के ऊपर समाप्त होता है, तो उसे अक्ष को काटना ही होगा। इस अंतर्ज्ञान को प्रमाण की आवश्यकता है, क्योंकि यह वास्तविक संख्याओं पर निर्भर करता है: फलन x2−2x^2 - 2, 00 पर ऋणात्मक और 22 पर धनात्मक है, पर यदि केवल परिमेय संख्याओं पर विचार किया जाए तो वह कभी शून्य नहीं होगा, क्योंकि 2\sqrt{2} परिमेय नहीं है। इसलिए प्रमाण सुप्रीमम के माध्यम से पूर्णता अभिगृहीत का उपयोग करता है।

प्रमेयबोलत्सानो प्रमेय

मान लें ff, [a,b]\icc{a}{b} पर संतत है, और f(a)<0<f(b)f(a) < 0 < f(b)। तब एक cc है जो (a,b)\ioo{a}{b} में है और जिसके लिए f(c)=0f(c) = 0। यही बात तब भी सत्य है जब f(a)>0>f(b)f(a) > 0 > f(b)। उन बिंदुओं का सुप्रीमम लिया जाता है जहाँ फलन ऋणात्मक है; सीमा और सांतत्य वाले पाठ का चिह्न का संरक्षण फलन को उस बिंदु पर ऋणात्मक या धनात्मक होने से रोकता है। चित्र उन बिंदुओं का समुच्चय और उसका सुप्रीमम दिखाता है, और फिर दो असंभव स्थितियाँ।

प्रमाण

  1. S={x∈[a,b]:f(x)<0},c=sup⁡SS = \left\{ x \in \icc{a}{b} : f(x) < 0 \right\}, \qquad c = \resaltar{\sup S}

    मान लें SS उन xx का समुच्चय है जो [a,b]\icc{a}{b} में हैं और जिनके लिए f(x)<0f(x) < 0। यह रिक्त नहीं है, क्योंकि इसमें aa है, और bb एक उपरि परिबंध है; पूर्णता अभिगृहीत से इसका एक सुप्रीमम cc है, जहाँ a≤c≤ba \leq c \leq b।

  2. f(c)<0→c+δ2∈S,c+δ2>cf(c) < 0 \rightarrow c + \frac{\delta}{2} \in S, \qquad c + \frac{\delta}{2} > c

    यदि f(c)<0f(c) < 0, तो c≠bc \neq b, क्योंकि f(b)>0f(b) > 0। चिह्न के संरक्षण से, ff, [c,c+δ)\ico{c}{c + \delta} पर ऋणात्मक है, किसी δ>0\delta > 0 के लिए, जिसे इस प्रकार लिया जा सकता है कि c+δ≤bc + \delta \leq b; तब SS में cc से बड़े बिंदु हैं, और cc उपरि परिबंध नहीं होगा।

  3. f(c)>0→sup⁡S≤c−δ<c,f(c)=0f(c) > 0 \rightarrow \sup S \leq c - \delta < c, \qquad \resaltar{f(c) = 0}

    यदि f(c)>0f(c) > 0, तो c≠ac \neq a। चिह्न के संरक्षण से, ff, (c−δ,c]\ioc{c - \delta}{c} पर धनात्मक है, किसी δ>0\delta > 0 के लिए, जिसे इस प्रकार लिया जा सकता है कि c−δ≥ac - \delta \geq a, जिससे उस अंतराल का कोई भी बिंदु SS में नहीं है; चूँकि cc से बड़े बिंदु भी उसमें नहीं हैं, संख्या c−δc - \delta सुप्रीमम से छोटा एक उपरि परिबंध होगी। अतः f(c)=0f(c) = 0, और cc न aa है न bb। दूसरी स्थिति −f-f लेकर पहली स्थिति पर आ जाती है।