Current time:0:00Total duration:7:58

0 energy points

# Extreme value theorem

Video transcript

So we'll now think about
the extreme value theorem. Which we'll see is a
bit of common sense. But in all of
these theorems it's always fun to think
about the edge cases. Why is it laid
out the way it is? And that might give us a little
bit more intuition about it. So the extreme
value theorem says if we have some function that
is continuous over a closed interval, let's say the
closed interval from a to b. And when we say a
closed interval, that means we include
the end points a and b. That is we have these brackets
here instead of parentheses. Then there will be an
absolute maximum value for f and an absolute
minimum value for f. So then that means
there exists-- this is the logical symbol for
there exists-- there exists an absolute maximum
value of f over interval and absolute minimum value
of f over the interval. So let's think about
that a little bit. And this probably is
pretty intuitive for you. You're probably saying,
well why did they even have to write a theorem here? And why do we even have to
have this continuity there? And we'll see in a second
why the continuity actually matters. So this is my x-axis,
that's my y-axis. And let's draw the interval. So the interval is from a to b. So let's say this is a and
this is b right over here. Let's say that this right
over here is f of a. So that is f of a. And let's say this right
over here is f of b. So this value right
over here is f of b. And let's say the function
does something like this. Let's say the function
does something like this over the interval. And I'm just drawing
something somewhat arbitrary right over here. So I've drawn a
continuous function. I really didn't have
to pick up my pen as I drew this right over here. And so you can see
at least the way this continuous function
that I've drawn, it's clear that there's
an absolute maximum and absolute minimum
point over this interval. The absolute minimum
point, well it seems like we hit it right
over here, when x is, let's say this is x is c. And this is f of c
right over there. And it looks like we had
our absolute maximum point over the interval
right over there when x is, let's say
this is x is equal to d. And this right over
here is f of d. So another way to say this
statement right over here if f is continuous over
the interval, we could say there exists a c and
d that are in the interval. So they're members
of the set that are in the interval
such that-- and I'm just using the logical notation here. Such that f c is less
than or equal to f of x, which is less
than or equal to f of d for all x in the interval. Just like that. So in this case
you're saying, look, we hit our minimum value
when x is equal to c. That's that right over here. Our maximum value
when x is equal to d. And for all the other
Xs in the interval we are between those two values. Now one thing, we could draw
other continuous functions. And once again I'm not doing
a proof of the extreme value theorem. But just to make
you familiar with it and why it's stated
the way it is. And you could draw a
bunch of functions here that are continuous over
this closed interval. Here our maximum point
happens right when we hit b. And our minimum
point happens at a. For a flat function
we could put any point as a maximum or
the minimum point. And we'll see that this
would actually be true. But let's dig a
little bit deeper as to why f needs
to be continuous, and why this needs to
be a closed interval. So first let's think about why
does f need to be continuous? Well I can easily
construct a function that is not continuous
over a closed interval where it is hard to articulate
a minimum or a maximum point. And I encourage you,
actually pause this video and try to construct that
function on your own. Try to construct a
non-continuous function over a closed interval where
it would be very difficult or you can't really pick
out an absolute minimum or an absolute maximum
value over that interval. Well let's see, let
me draw a graph here. So let's say that this right
over here is my interval. Let's say that's a, that's b. Let's say our function
did something like this. Let's say our function
did something right where you would have expected
to have a maximum value let's say the function is not defined. And right where you
would have expected to have a minimum value,
the function is not defined. And so right over here
you could say, well look, the function is
clearly approaching, as x approaches this
value right over here, the function is clearly
approaching this limit. But that limit
can't be the maxima because the function
never gets to that. So you could say, well
let's a little closer here. Maybe this number
right over here is 5. So you could say, maybe
the maximum is 4.9. Then you could get your x
even closer to this value and make your y
be 4.99, or 4.999. You could keep adding another 9. So there is no maximum value. Similarly here, on the minimum. Let me draw it a little bit so
it looks more like a minimum. There is-- you can get
closer and closer to it, but there's no minimum. Let's say that this value
right over here is 1. So you could get to
1.1, or 1.01, or 1.0001. And so you could keep drawing
some 0s between the two 1s but there's no absolute
minimum value there. Now let's think
about why it being a closed interval matters. Why you have to include your
endpoints as kind of candidates for your maximum and minimum
values over the interval. Well let's imagine that
it was an open interval. Let's imagine open interval. And sometimes, if we
want to be particular, we could make this is the
closed interval right of here in brackets. And if we wanted to do an
open interval right over here, that's a and that's b. And let's just pick
very simple function, let's say a function like this. So right over here, if
a were in our interval, it looks like we hit our
minimum value at a. f of a would have been
our minimum value. And f of b looks like it would
have been our maximum value. But we're not including
a and b in the interval. This is an open
interval so you can keep getting closer,
and closer, and closer, to b and keep getting higher,
and higher, and higher values without ever quite
getting to be. Because once again we're
not including the point b. Similarly, you could
get closer, and closer, and closer, to a and get
smaller, and smaller values. But a is not included in
your set under consideration. So f of a cannot be
your minimum value. So that on one level, it's kind
of a very intuitive, almost obvious theorem. But on the other hand,
it is nice to know why they had to say
continuous and why they had to say a closed
interval like this.