Another proof of the existence of extreme values on open intervals

In summary, the conversation is about an alternative proof for Theorem 8 of Chapter 4 of the ninth edition of Calculus, which states the existence of extreme values on open intervals. The original doubt was about the proof in a Spanish forum, and the reply explains the use of epsilon-delta arguments to prove the theorem. The question raised is about why and . The answer is that these are fixed numbers, and therefore, it can be stated that or ##\exists
  • #1
mcastillo356
Gold Member
603
331
TL;DR Summary
I've been given another and easier proof, but there is something I don't understand.
Hello, PF

This is Theorem 8 of Chapter 4 of the ninth edition of Calculus, by Robert A. Adams: "Existence of extreme values on open intervals". I have an alternative and easier proof, based on epsilon-delta arguments, but it's not mine, and I don't understand it completely.

The fact is that the original doubt was formulated in a Spanish forum. I quote the paragraph origin of the doubt:

"Since there must exist a number in such that
whenever
Similarly, there must exist a number in such that
whenever "

And this is the reply
"Actually what's in the book I don't see very well. Focusing on doubt, if definition of limit is simply applied appropriately for i.e. for real numbers:

. Definition of limit implies

Similarly,

, definition of limit implies

Specifically, for your doubts you can take '

Therefore it is known that the maximum of in the interval . And I think you can continue"

Question:
Let's place the function in the first quadrant, for simplifying the matter:

Why does ?. Similarly, why does ?

My attempt is not an attempt:

1- If limit exists, it must be
2-
3-

Hence, 2 and 3 are fixed numbers, but I can choose any . So I can state




the same way I could state




Greetings!
 
Last edited by a moderator:
Physics news on Phys.org
  • #2
mcastillo356 said:
This is Theorem 8 of Chapter 4 of the ninth edition of Calculus, by Robert A. Adams: "Existence of extreme values on open intervals".
What is this theorem? Not everyone owns the ninth edition of Calculus, by Robert A. Adams.
 
  • Informative
Likes mcastillo356
  • #3
pbuk said:
What is this theorem? Not everyone owns the ninth edition of Calculus, by Robert A. Adams.
Can I write it down in this thread?
 
  • #4
I think it's fine to write down what the theorem is if you're worried about copyright stuff.
 
  • Like
  • Love
Likes mcastillo356 and pbuk
  • #5
Mathematical theorems and their proofs are not subject to copyright.
 
  • Informative
Likes mcastillo356
  • #6
Hello, PF

This is Theorem of "Existence of extreme values on open intervals". I have an alternative and easier proof, based on epsilon-delta arguments, but it's not mine, and I don't understand it completely.

I quote the theorem:

If is continuous on the open interval , and if



Then the following conclusions hold:

(i) If and for some in , then has an absolute maximum value on
(ii) If and for some in , then has an absolute minimum value on

In this theorem may be , in which case should be replaced with , and may be , in which case .

Also, either or both and may be either or

PROOF We prove part (i); the proof of (ii) is similar. We are given that there is a number in such that and . Here and may be finite numbers or . Since there must exist a number in such that
whenever
Similarly, there must exist a number in such that
whenever
(See attached Figure)
Thus, at all points of that are not in the closed, finite subinterval . By Theorem of Existence of extreme values, the function , being continuous on , must have an absolute maximum value on that interval, say at the point . Since belongs to , we must have , so is the maximum value of for all of .

And this is the reply
"Actually what's in the book I don't see very well. Focusing on doubt, if definition of limit is simply applied appropriately for i.e. for real numbers:

. Definition of limit implies

Similarly,

, definition of limit implies

Specifically, for your doubts you can take

Therefore it is known that exists the maximum of in the interval . And I think you can continue"

Question:
Let's place the function in the first quadrant, for simplifying the matter:

Why does ?. Similarly, why does ?

1-Limits exist. Therefore exist .
2-, as well as , are fixed numbers.
3-Therefore, I can state
, or . Similarly with

Greetings! If this is a mess, or am I overthinking, ignore. Thanks, love.

P.S. Don't know if done right the LaTeX

20211009_102425.jpg
 
Last edited:
  • #7
mcastillo356 said:
. Definition of limit implies

Similarly,

, definition of limit implies

Specifically, for your doubts you can take

Therefore it is known that exists the maximum of in the interval . And I think you can continue"
That is not an alternative proof of the theorem, it is a proof of the statement
mcastillo356 said:
Since there must exist a number in such that whenever
which appears as part of the proof in the book. I am not sure why the poster in the Spanish forum felt that expanding this part of the proof was needed, the statement in Adams' proof appears trivially true to me, and in case you don't see this Figure 4.16 provides a clear visualisation.

mcastillo356 said:
If this is a mess, or am I overthinking, ignore. Thanks, love.
You are definitely overthinking. You have provided an expanded proof of a trivial statement which is itself part of an expanded proof of a trivial statement which is part of a proof in Adams' book.

If there is an assumption or a step in an author's proof that you don't understand then of course you should go back and think it through (in this case by reference to Figure 4.16), and of course it is always possible that your end-of-course assessment may ask you to prove such a step.

However if you are going to learn anything from a book at some point you need to rise above this focus on the trivial.
 
  • Informative
Likes mcastillo356
  • #8
I have some comments on your (@mcastillo356) LaTeX formatting.

In the first one, I have left in the start of the quote so that you can easily find this quote. I have also modified the LaTeX delimiters to prevent the browser from rendering as it ordinarily would.
mcastillo356 said:
"Actually what's in the book I don't see very well. Focusing on doubt, if definition of limit is simply applied appropriately for i.e. for real numbers:
##\exists{\epsilon} \ / \ 0<\epsilon<f(u)-L##. Definition of limit implies ##\exists{\delta}>0 \ / \ if \ x\in{(a,a+\delta)}\Rightarrow{\left |{f(x)-L}\right |}\epsilon}\Rightarrow{f(x)<L+\epsilon<f(u)}##
1. Don't use \ / \ when you mean | ("such that"}.
2. The last LaTeX expression was so broken that I couldn't fix it in three tries, so I left it. It was more difficult to fix, mostly because it is so complex, with unmatched braces, extra braces, and everything in between being so tightly packed.
In mathematics, we use parentheses ( ), brackets [ ], and braces { }, to enclose expressions, but braces are special characters in LaTeX, so don't use them for the same purpose as they would be used mathematically.

Here's another chunk:
mcastillo356 said:
Question:
Let's place the function in the first quadrant, for simplifying the matter:

Why does ##\exists{\epsilon} \ / \ 0<\epsilon<f(u)-L##?. Similarly, why does ##\exists{\epsilon'} \ / \0<\epsilon'<f(u)-M##?
I would write the first LaTeX expression like this:
##\exists \epsilon > 0~|~ 0< \epsilon <f(u) - L## -- raw LaTeX
-- fully rendered

And similar for the second expression. Notice that I have removed several of the braces you used, and have used a "pipe" character -- | -- to represent "such that."
 
  • Like
Likes mcastillo356

Similar threads

Back
Top