In this section we establish additional basic properties of continuous functions from R¹ to R¹. The Boundedness and Extreme-value theorems proved below are essential in the proofs of the basic theorems in differential calculus. The Boundedness theorem shows that a function that is continuous on a closed interval must have a bounded range. The Extreme value theorem adds additional precise information about such functions. It states that the supremum and the infimum of the values in the range are also in the range.

Theorem 1.1(Boundedness Theorem)

Suppose that the domain of f is the closed interval I {x:a ≤ x ≤ b}, and f is continuous on I. Then the range of f is bounded.

Proof

We shall assume that the range is unbounded and reach a contradiction. Suppose that for each positive integer n, there isan x_n ∈ I such that |f(x_n)| >n. The sequence {x_n} is bounded, and by the Bolzano–Weierstrass theorem, there is a convergent subsequence y₁,y₂,...,y_n,..., where y_n = x_kn , that converges to an element x₀ ∈ I. Since f is continuous on I, we have f(y_n) → f(x₀) as n →∞. Choosing ε =1, we know that there is an N₁ such that for n>N₁, we have

|f(y_n) − f(x₀)| < 1                       whenever            n>N₁.

For these n it follows that

|f(y_n)| < |f(x₀)|+ 1                        for all                   n>N₁.

On the other hand,

|f(y_n)|=|f(x_kn ) >k_n ≥ n                                  for all n.

Combining these results, we obtain

n< |f(x₀)|+ 1 for all n>N₁.

Clearly, we may choose n larger than |f(x₀)|+ 1, which is a contradiction.

In Theorem 1.2, it is essential that the domain of f is closed. The function f : x → 1/(1 − x) is continuous on the half-open interval I ={x :0 ≤ x< 1}, but isnot bounded there.

Theorem 1.3 (Extreme-value theorem)

Suppose that f has for its domain the closed interval I ={x:a ≤ x ≤ b}, and that f is continuous on I. Then there are numbers x0 and x1 on I such that f(x₀) ≤ f(x) ≤ f(x₁) for all x ∈ I. That is, f takes on its maximum and minimum values on I.

Proof

Theorem 1.1 states that the range of f is a bounded set. Define            

                                      M= sup f(x) for x ∈ I,         m = inf f(x) for x ∈ I.

We shall show that there are numbers x₀,x₁ ∈ I such that f(x₀) = m, f(x₁) =M. We prove the existence of x₁, the proof for x₀ being similar. Suppose that M is not in the range of f ; we shall reach a contradiction .The function F with domain I defined by

Is continuous on I and therefore (by Theorem 1.2) has a bounded range. Define Ḿsup F(x) for x ∈ I. Then Ḿ> 0 and

This last inequality contradicts the statement that M = sup f(x) for x ∈ I, and hence M must be in the range of f . There is an x₁ ∈ I such that f(x₁) =M.

The conclusion of Theorem 1.2 is false if the interval I is not closed. The function f : x → x₂ is continuous on the half-open interval I ={x : 0 ≤ x< 1} but does not achieve a maximum value there. Note that f is also continuous on the closed interval I1 ={x :0 ≤ x ≤ 1}, and its maximum on this interval occurs at x = 1; Theorem 1.2. applies in this situation.

Basic Elements of Real Analysis, Murray H. Protter, Springer, 1998 .Page(56 -57)

اخر الاخبار

اخبار العتبة العباسية المقدسة

جولة تفقدية لمتابعة خطة تنظيم مداخل المعزّين المشاركين في عزاء ركضة طويريج

لتعزيز التعاون الأكاديمي والبحثي.. جامعة الكفيل توقع اتفاقيتي توأمة مع جامعتين عراقيتين

المجمَع العلميّ يواصل إقامة مجلسه العزائي بذكرى شهادة الإمام الحسين (عليه السلام) في النجف الأشرف

قسم حفظ النظام يواصل تنفيذ خطته لتنظيم سير المواكب والزائرين في شهر المحرم

المزيد

الآخبار الصحية

لهذا السبب.. إغلاق 25 مركزًا لعلاج الإدمان في مصر ؟

خلافا للاعتقاد الشائع.. علماء يكشفون أسرار بذور البطيخ ؟!

هذا ما يحدث لجسمك عند تناولك الطماطم بانتظام !

تعرف على أطعمة تسرّع "تعافي الجسم" من حروق الشمس

المزيد

الآخبار التكنلوجية

الثلوج تغطي الصحراء الأكثر جفافا في العالم!

بتلسكوب "ألما".. التقاط صورا غير مسبوقة لبدايات الكون !

هل هاتفك مراقب؟.. 5 علامات خطيرة تكشف التجسس عليك

دبي تطلق أول رحلة تجريبية للتاكسي الجوي

المزيد

مواضيع ذات صلة

Elementary Theory of Metric Spaces-The Schwarz and Triangle Inequalities; Metric Spaces

Elementary Theory of Metric Spaces-Functions on Compact Sets

Elementary Theory of integration -The Darboux Integral for Functions on RN

Elementary Theory of integration -The Logarithm and Exponential Functions

Elementary Theory of integration -The Riemann Integral

Differentiation and Integration in RN-The Riemann Integral in RN

Differentiation and Integration in RN-The Darboux Integral in RN

Differentiation and Integration in RN-The Derivative in RN

Differentiation and Integration in RN-Taylor,s Theorem; Maxima and Minima

Differentiation and Integration in RN-Partial Derivatives and the Chain Rule

Continuity

Basic Properties of Functions on R1 -The Heine–Borel Theorem