Absolute minima & maxima
Extreme value theorem
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.