User:IssaRice/Extreme value theorem - Revision history

IssaRice: /* Takeaways */

2019-07-29T05:18:24Z

Takeaways

← Older revision		Revision as of 05:18, 29 July 2019
Line 13:		Line 13:
	==Takeaways==		==Takeaways==

	* "less than" vs "bounded away from". If we have a sequence like <math>0.1, 0.01, 0.001, \ldots</math>, then we can say this is greater than 0. but we cannot say it is "bounded away from zero", because it gets closer and closer to it in the limit. similarly, in the proof above, we wanted the values of f to be less than M even after taking the supremum of values of f, which meant that we had to bound f from above, not by M, but by something less than M (say m). That way, we could say that <math>\sup \{\text{some set\} \leq m < M</math>, so that even after taking sup, we are ''strictly'' less than M.		* "less than" vs "bounded away from". If we have a sequence like <math>0.1, 0.01, 0.001, \ldots</math>, then we can say this is greater than 0. but we cannot say it is "bounded away from zero", because it gets closer and closer to it in the limit. similarly, in the proof above, we wanted the values of f to be less than M even after taking the supremum of values of f, which meant that we had to bound f from above, not by M, but by something less than M (say m). That way, we could say that <math>\sup \{\text{some set}\} \leq m < M</math>, so that even after taking sup, we are ''strictly'' less than M.
	* there are "easier" ways to prove this theorem, for instance by using the machinery of sequences. but the nice thing about this proof is that it uses only the least upper bound property of real numbers. so you get to see how facts about continuity are derived "by hand".		* there are "easier" ways to prove this theorem, for instance by using the machinery of sequences. but the nice thing about this proof is that it uses only the least upper bound property of real numbers. so you get to see how facts about continuity are derived "by hand".

IssaRice: /* Takeaways */

2019-07-29T05:18:11Z

Takeaways

← Older revision		Revision as of 05:18, 29 July 2019
Line 13:		Line 13:
	==Takeaways==		==Takeaways==

	* "less than" vs "bounded away from"		* "less than" vs "bounded away from". If we have a sequence like <math>0.1, 0.01, 0.001, \ldots</math>, then we can say this is greater than 0. but we cannot say it is "bounded away from zero", because it gets closer and closer to it in the limit. similarly, in the proof above, we wanted the values of f to be less than M even after taking the supremum of values of f, which meant that we had to bound f from above, not by M, but by something less than M (say m). That way, we could say that <math>\sup \{\text{some set\} \leq m < M</math>, so that even after taking sup, we are ''strictly'' less than M.
			* there are "easier" ways to prove this theorem, for instance by using the machinery of sequences. but the nice thing about this proof is that it uses only the least upper bound property of real numbers. so you get to see how facts about continuity are derived "by hand".

	==Notes==		==Notes==

	<references group="note" />		<references group="note" />

IssaRice at 05:13, 29 July 2019

2019-07-29T05:13:21Z

← Older revision		Revision as of 05:13, 29 July 2019
Line 9:		Line 9:
	So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.		So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.

	So suppose for sake of contradiction that <math>f(c) < M</math>. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> Continuity of <math>f</math> at <math>c</math> implies that there exists <math>\delta > 0</math> such that <math>x \in (c-\delta, c+\delta)\cap [a,b]</math> implies <math>\|f(x)-f(c)\|<\epsilon</math>. Now, <math>c-\delta</math> cannot be an upper bound of <math>X</math>, so there exists some <math>x_0 \in X</math> such that <math>c-\delta < x_0 \leq c</math>. Thus for <math>x \in [a,x_0]</math> we have <math>f(x) \leq \sup V_{x_0} < M</math>. Also, for <math>x \in [x_0, c] \subseteq (c-\delta, c+\delta)</math> we have <math>f(x) < f(c) + \epsilon < M</math>. So <math>f</math> is bounded above by <math>\max\{\sup V_{x_0}, f(c) + \epsilon\} < M</math> on <math>[a,c]</math>, which means <math>\sup V_c < M</math>.<ref group="note">This part of the proof uses quite a bit of "low-level" argumentation, so it can be easy to miss the broader point. The reason we split the interval <math>[a,c]</math> into two parts is that we know two facts about <math>f</math>: (1) near <math>c</math>, continuity shows that <math>f</math> must be close to the value of <math>f(c)</math>; since we assumed <math>f(c) < M</math>, this means we can find a neighborhood around <math>c</math> where <math>f</math> is bounded away from <math>M</math>. (2) up to <math>c</math>, our choice of <math>c</math> means the value of <math>f</math> is bounded away from <math>M</math>. Then we pick <math>x_0</math> as a "handing off point" to pass from one side to the other.</ref> If <math>c < b</math>, then there are points to the right of <math>c</math> where <math>f</math> continues to stay below <math>f(c) + \epsilon < M</math>, which contradicts the fact that <math>c</math> is an upper bound of <math>X</math>. So <math>c=b</math>, which means <math>M = \sup V_b = \sup V_c < M</math>, a contradiction. The assumption that <math>f(c) < M</math> was false, and we conclude <math>f(c) = M</math>.		So suppose for sake of contradiction that <math>f(c) < M</math>. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> Continuity of <math>f</math> at <math>c</math> implies that there exists <math>\delta > 0</math> such that <math>x \in (c-\delta, c+\delta)\cap [a,b]</math> implies <math>\|f(x)-f(c)\|<\epsilon</math>. Now, <math>c-\delta</math> cannot be an upper bound of <math>X</math>, so there exists some <math>x_0 \in X</math> such that <math>c-\delta < x_0 \leq c</math>. Thus for <math>x \in [a,x_0]</math> we have <math>f(x) \leq \sup V_{x_0} < M</math>. Also, for <math>x \in [x_0, c] \subseteq (c-\delta, c+\delta)\cap [a,b]</math> we have <math>f(x) < f(c) + \epsilon < M</math>. So <math>f</math> is bounded above by <math>\max\{\sup V_{x_0}, f(c) + \epsilon\} < M</math> on <math>[a,c]</math>, which means <math>\sup V_c < M</math>.<ref group="note">This part of the proof uses quite a bit of "low-level" argumentation, so it can be easy to miss the broader point. The reason we split the interval <math>[a,c]</math> into two parts is that we know two facts about <math>f</math>: (1) near <math>c</math>, continuity shows that <math>f</math> must be close to the value of <math>f(c)</math>; since we assumed <math>f(c) < M</math>, this means we can find a neighborhood around <math>c</math> where <math>f</math> is bounded away from <math>M</math>. (2) up to <math>c</math>, our choice of <math>c</math> means the value of <math>f</math> is bounded away from <math>M</math>. Then we pick <math>x_0</math> as a "handing off point" to pass from one side to the other.</ref> If <math>c < b</math>, then there are points to the right of <math>c</math> where <math>f</math> continues to stay below <math>f(c) + \epsilon < M</math>, which contradicts the fact that <math>c</math> is an upper bound of <math>X</math>. So <math>c=b</math>, which means <math>M = \sup V_b = \sup V_c < M</math>, a contradiction. The assumption that <math>f(c) < M</math> was false, and we conclude <math>f(c) = M</math>.

	==Takeaways==		==Takeaways==

IssaRice at 05:09, 29 July 2019

2019-07-29T05:09:54Z

@@ Line 9: / Line 9: @@
 So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.
-So suppose for sake of contradiction that <math>f(c) < M</math>. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> Continuity of <math>f</math> at <math>c</math> implies that there exists <math>\delta > 0</math> such that <math>x \in (c-\delta, c+\delta)\cap [a,b]</math> implies <math>|f(x)-f(c)|<\epsilon</math>. Now, <math>c-\delta</math> cannot be an upper bound of <math>X</math>, so there exists some <math>x_0 \in X</math> such that <math>c-\delta < x_0 \leq c</math>. Thus for <math>x \in [a,x_0]</math> we have <math>f(x) \leq \sup V_{x_0} < M</math>. Also, for <math>x \in [x_0, c] \subseteq (c-\delta, c+\delta)</math> we have <math>f(x) < f(c) + \epsilon < M</math>. So <math>f</math> is bounded above by <math>\max\{\sup V_{x_0}, f(c) + \epsilon\} < M</math> on <math>[a,c]</math>, which means <math>\sup V_c < M</math>.<ref group="note">This part of the proof uses quite a bit of "low-level" argumentation, so it can be easy to miss the broader point. The reason we split the interval <math>[a,c]</math> into two parts is that we know two facts about <math>f</math>: (1) near <math>c</math>, continuity shows that <math>f</math> must be close to the value of <math>f(c)</math>; since we assumed <math>f(c) < M</math>, this means we can find a neighborhood around <math>c</math> where <math>f</math> is bounded away from <math>M</math>. (2) up to <math>c</math>, our choice of <math>c</math> means the value of <math>f</math> is bounded away from <math>M</math>. Then we pick <math>x_0</math> as a "handing off point" to pass from one side to the other.</ref> If <math>c < b</math>, then there are points to the right of <math>c</math> where <math>f</math> continues to stay below <math>f(c) + \epsilon < M</math>, which contradicts the fact that <math>c</math> is an upper bound of <math>X</math>. So <math>c=b</math>, which means <math>M = \sup V_b = \sup V_c < M</math>, a contradiction.
+So suppose for sake of contradiction that <math>f(c) < M</math>. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> Continuity of <math>f</math> at <math>c</math> implies that there exists <math>\delta > 0</math> such that <math>x \in (c-\delta, c+\delta)\cap [a,b]</math> implies <math>|f(x)-f(c)|<\epsilon</math>. Now, <math>c-\delta</math> cannot be an upper bound of <math>X</math>, so there exists some <math>x_0 \in X</math> such that <math>c-\delta < x_0 \leq c</math>. Thus for <math>x \in [a,x_0]</math> we have <math>f(x) \leq \sup V_{x_0} < M</math>. Also, for <math>x \in [x_0, c] \subseteq (c-\delta, c+\delta)</math> we have <math>f(x) < f(c) + \epsilon < M</math>. So <math>f</math> is bounded above by <math>\max\{\sup V_{x_0}, f(c) + \epsilon\} < M</math> on <math>[a,c]</math>, which means <math>\sup V_c < M</math>.<ref group="note">This part of the proof uses quite a bit of "low-level" argumentation, so it can be easy to miss the broader point. The reason we split the interval <math>[a,c]</math> into two parts is that we know two facts about <math>f</math>: (1) near <math>c</math>, continuity shows that <math>f</math> must be close to the value of <math>f(c)</math>; since we assumed <math>f(c) < M</math>, this means we can find a neighborhood around <math>c</math> where <math>f</math> is bounded away from <math>M</math>. (2) up to <math>c</math>, our choice of <math>c</math> means the value of <math>f</math> is bounded away from <math>M</math>. Then we pick <math>x_0</math> as a "handing off point" to pass from one side to the other.</ref> If <math>c < b</math>, then there are points to the right of <math>c</math> where <math>f</math> continues to stay below <math>f(c) + \epsilon < M</math>, which contradicts the fact that <math>c</math> is an upper bound of <math>X</math>. So <math>c=b</math>, which means <math>M = \sup V_b = \sup V_c < M</math>, a contradiction. The assumption that <math>f(c) < M</math> was false, and we conclude <math>f(c) = M</math>.
 ==Takeaways==

IssaRice at 05:08, 29 July 2019

2019-07-29T05:08:58Z

← Older revision		Revision as of 05:08, 29 July 2019
Line 9:		Line 9:
	So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.		So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.

	So suppose for sake of contradiction that <math>f(c) < M</math>. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> Continuity of <math>f</math> at <math>c</math> implies that there exists <math>\delta > 0</math> such that <math>x \in (c-\delta, c+\delta)\cap [a,b]</math> implies <math>\|f(x)-f(c)\|<\epsilon</math>. Now, <math>c-\delta</math> cannot be an upper bound of <math>X</math>, so there exists some <math>x_0 \in X</math> such that <math>c-\delta < x_0 \leq c</math>. Thus for <math>x \in [a,x_0]</math> we have <math>f(x) \leq \sup V_{x_0} < M</math>. Also, for <math>x \in [x_0, c] \subseteq (c-\delta, c+\delta)</math> we have <math>f(x) < f(c) + \epsilon < M</math>. So <math>f</math> is bounded above by <math>\max\{\sup V_{x_0}, f(c) + \epsilon\} < M</math> on <math>[a,c]</math>, which means <math>\sup V_c < M</math>.<ref group="note">This part of the proof uses quite a bit of "low-level" argumentation, so it can be easy to miss the broader point. The reason we split the interval <math>[a,c]</math> into two parts is that we know two facts about <math>f</math>: (1) near <math>c</math>, continuity shows that <math>f</math> must be close to the value of <math>f(c)</math>; since we assumed <math>f(c) < M</math>, this means we can find a neighborhood around <math>c</math> where <math>f</math> is bounded away from <math>M</math>. (2) up to <math>c</math>, our choice of <math>c</math> means the value of <math>f</math> is bounded away from <math>M</math>. Then we pick <math>~~c-\delta/2~~</math> as a "handing off point" to pass from one side to the other.</ref> If <math>c < b</math>, then there are points to the right of <math>c</math> where <math>f</math> continues to stay below <math>f(c) + \epsilon < M</math>, which contradicts the fact that <math>c</math> is an upper bound of <math>X</math>. So <math>c=b</math>, which means <math>M = \sup V_b = \sup V_c < M</math>, a contradiction.		So suppose for sake of contradiction that <math>f(c) < M</math>. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> Continuity of <math>f</math> at <math>c</math> implies that there exists <math>\delta > 0</math> such that <math>x \in (c-\delta, c+\delta)\cap [a,b]</math> implies <math>\|f(x)-f(c)\|<\epsilon</math>. Now, <math>c-\delta</math> cannot be an upper bound of <math>X</math>, so there exists some <math>x_0 \in X</math> such that <math>c-\delta < x_0 \leq c</math>. Thus for <math>x \in [a,x_0]</math> we have <math>f(x) \leq \sup V_{x_0} < M</math>. Also, for <math>x \in [x_0, c] \subseteq (c-\delta, c+\delta)</math> we have <math>f(x) < f(c) + \epsilon < M</math>. So <math>f</math> is bounded above by <math>\max\{\sup V_{x_0}, f(c) + \epsilon\} < M</math> on <math>[a,c]</math>, which means <math>\sup V_c < M</math>.<ref group="note">This part of the proof uses quite a bit of "low-level" argumentation, so it can be easy to miss the broader point. The reason we split the interval <math>[a,c]</math> into two parts is that we know two facts about <math>f</math>: (1) near <math>c</math>, continuity shows that <math>f</math> must be close to the value of <math>f(c)</math>; since we assumed <math>f(c) < M</math>, this means we can find a neighborhood around <math>c</math> where <math>f</math> is bounded away from <math>M</math>. (2) up to <math>c</math>, our choice of <math>c</math> means the value of <math>f</math> is bounded away from <math>M</math>. Then we pick <math>x_0</math> as a "handing off point" to pass from one side to the other.</ref> If <math>c < b</math>, then there are points to the right of <math>c</math> where <math>f</math> continues to stay below <math>f(c) + \epsilon < M</math>, which contradicts the fact that <math>c</math> is an upper bound of <math>X</math>. So <math>c=b</math>, which means <math>M = \sup V_b = \sup V_c < M</math>, a contradiction.

IssaRice at 05:07, 29 July 2019

2019-07-29T05:07:25Z

← Older revision		Revision as of 05:07, 29 July 2019
Line 9:		Line 9:
	So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.		So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.

	So suppose for sake of contradiction that <math>f(c) < M</math>. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> Continuity of <math>f</math> at <math>c</math> implies that there exists <math>\delta > 0</math> such that <math>x \in (c-\delta, c+\delta)\cap [a,b]</math> implies <math>\|f(x)-f(c)\|<\epsilon</math>. Now, <math>c-\delta</math> cannot be an upper bound of <math>X</math>, so there exists some <math>x_0 \in X</math> such that <math>c-\delta < x_0 \leq c</math>. Thus for <math>x \in [a,x_0]</math> we have <math>f(x) \leq \sup V_{x_0} < M</math>. Also, for <math>x \in [x_0, c] \subseteq (c-\delta, c+\delta)</math> we have <math>f(x) < f(c) + \epsilon < M</math>. So <math>f</math> is bounded above by <math>\max\{\sup V_{x_0}, f(c) + \epsilon\} < M</math> on <math>[a,c]</math>, which means <math>\sup V_c < M</math>. If <math>c < b</math>, then there are points to the right of <math>c</math> where <math>f</math> continues to stay below <math>f(c) + \epsilon < M</math>, which contradicts the fact that <math>c</math> is an upper bound of <math>X</math>. So <math>c=b</math>, which means <math>M = \sup V_b = \sup V_c < M</math>, a contradiction.		So suppose for sake of contradiction that <math>f(c) < M</math>. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> Continuity of <math>f</math> at <math>c</math> implies that there exists <math>\delta > 0</math> such that <math>x \in (c-\delta, c+\delta)\cap [a,b]</math> implies <math>\|f(x)-f(c)\|<\epsilon</math>. Now, <math>c-\delta</math> cannot be an upper bound of <math>X</math>, so there exists some <math>x_0 \in X</math> such that <math>c-\delta < x_0 \leq c</math>. Thus for <math>x \in [a,x_0]</math> we have <math>f(x) \leq \sup V_{x_0} < M</math>. Also, for <math>x \in [x_0, c] \subseteq (c-\delta, c+\delta)</math> we have <math>f(x) < f(c) + \epsilon < M</math>. So <math>f</math> is bounded above by <math>\max\{\sup V_{x_0}, f(c) + \epsilon\} < M</math> on <math>[a,c]</math>, which means <math>\sup V_c < M</math>.<ref group="note">This part of the proof uses quite a bit of "low-level" argumentation, so it can be easy to miss the broader point. The reason we split the interval <math>[a,c]</math> into two parts is that we know two facts about <math>f</math>: (1) near <math>c</math>, continuity shows that <math>f</math> must be close to the value of <math>f(c)</math>; since we assumed <math>f(c) < M</math>, this means we can find a neighborhood around <math>c</math> where <math>f</math> is bounded away from <math>M</math>. (2) up to <math>c</math>, our choice of <math>c</math> means the value of <math>f</math> is bounded away from <math>M</math>. Then we pick <math>c-\delta/2</math> as a "handing off point" to pass from one side to the other.</ref> If <math>c < b</math>, then there are points to the right of <math>c</math> where <math>f</math> continues to stay below <math>f(c) + \epsilon < M</math>, which contradicts the fact that <math>c</math> is an upper bound of <math>X</math>. So <math>c=b</math>, which means <math>M = \sup V_b = \sup V_c < M</math>, a contradiction.




Line 15:		Line 17:


	* Since <math>c-\delta/2 < c</math>, there exists <math>x \in X</math> such that <math>c-\delta/2 < x</math> (otherwise <math>c-\delta/2</math> would be a smaller upper bound for <math>X</math>). So <math>\sup V_{c-\delta/2} \leq \sup V_x < M</math>. This means that <math>f(t) \leq \sup V_{c-\delta/2} < M</math> for all <math>t \in [a,c-\delta/2]</math>.
	* But now if <math>t \in [c-\delta/2, c]</math>, then <math>\|t-c\|<\delta</math>, so <math>\|f(t)-f(c)\|<\epsilon</math>. This means <math>f(t) < f(c) + \epsilon < M</math>.

	Now we can choose <math>M' = \max\{\sup V_{c-\delta/2}, f(c) + \epsilon\}</math>. Then whatever <math>t \in [a,c]</math> happens to be, we can say <math>f(t) \leq M'</math>.<ref group="note">This part of the proof uses quite a bit of "low-level" argumentation, so it can be easy to miss the broader point. The reason we split the interval <math>[a,c]</math> into two parts is that we know two facts about <math>f</math>: (1) near <math>c</math>, continuity shows that <math>f</math> must be close to the value of <math>f(c)</math>; since we assumed <math>f(c) < M</math>, this means we can find a neighborhood around <math>c</math> where <math>f</math> is bounded away from <math>M</math>. (2) up to <math>c</math>, our choice of <math>c</math> means the value of <math>f</math> is bounded away from <math>M</math>. Then we pick <math>c-\delta/2</math> as a "handing off point" to pass from one side to the other.</ref>

	If <math>c < b</math> then by continuity we can find points <math>t</math> to the right of <math>c</math> where <math>\sup V_t < M</math>, which contradicts the fact that <math>c</math> is an upper bound of such points.		If <math>c < b</math> then by continuity we can find points <math>t</math> to the right of <math>c</math> where <math>\sup V_t < M</math>, which contradicts the fact that <math>c</math> is an upper bound of such points.

IssaRice at 05:03, 29 July 2019

2019-07-29T05:03:56Z

← Older revision		Revision as of 05:03, 29 July 2019
Line 9:		Line 9:
	So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.		So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.

	So suppose for sake of contradiction that <math>f(c) < M</math>. ~~Continuity at~~ <math>c</math> ~~implies~~ that ~~for~~ <math>\epsilon < M - f(c)</math> there exists <math>\delta > 0</math> such that <math>x \in (c-\delta, c+\delta)\cap [a,b]</math> implies <math>\|f(x)-f(c)\|<\epsilon</math>. Now, <math>c-\delta</math> cannot be an upper bound of <math>X</math>, so there exists some <math>x_0 \in X</math> such that <math>c-\delta < x_0 \leq c</math>. Thus for <math>x \in [a,x_0]</math> we have <math>f(x) \leq \sup V_{x_0} < M</math>. Also, for <math>x \in [x_0, c] \subseteq (c-\delta, c+\delta)</math> we have <math>f(x) < f(c) + \epsilon < M</math>. So <math>f</math> is bounded above by <math>\max\{\sup V_{x_0}, f(c) + \epsilon\} < M</math> on <math>[a,c]</math>, which means <math>\sup V_c < M</math>. If <math>c < b</math>, then there are points to the right of <math>c</math> where <math>f</math> continues to stay below <math>f(c) + \epsilon < M</math>, which contradicts the fact that <math>c</math> is an upper bound of <math>X</math>. So <math>c=b</math>, which means <math>M = \sup V_b = \sup V_c < M</math>, a contradiction.		So suppose for sake of contradiction that <math>f(c) < M</math>. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> Continuity of <math>f</math> at <math>c</math> implies that there exists <math>\delta > 0</math> such that <math>x \in (c-\delta, c+\delta)\cap [a,b]</math> implies <math>\|f(x)-f(c)\|<\epsilon</math>. Now, <math>c-\delta</math> cannot be an upper bound of <math>X</math>, so there exists some <math>x_0 \in X</math> such that <math>c-\delta < x_0 \leq c</math>. Thus for <math>x \in [a,x_0]</math> we have <math>f(x) \leq \sup V_{x_0} < M</math>. Also, for <math>x \in [x_0, c] \subseteq (c-\delta, c+\delta)</math> we have <math>f(x) < f(c) + \epsilon < M</math>. So <math>f</math> is bounded above by <math>\max\{\sup V_{x_0}, f(c) + \epsilon\} < M</math> on <math>[a,c]</math>, which means <math>\sup V_c < M</math>. If <math>c < b</math>, then there are points to the right of <math>c</math> where <math>f</math> continues to stay below <math>f(c) + \epsilon < M</math>, which contradicts the fact that <math>c</math> is an upper bound of <math>X</math>. So <math>c=b</math>, which means <math>M = \sup V_b = \sup V_c < M</math>, a contradiction.




	We want to find <math>M' < M</math> such that <math>f(t) \leq M'</math> for all <math>t \in [a,c]</math>. That would mean that <math>\sup V_c \leq M' < M</math>. To do this, we split the interval into two parts. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> By continuity at <math>c</math>, there exists a <math>\delta > 0</math> such that <math>\|t-c\|<\delta</math> implies <math>\|f(t)-f(c)\|<\epsilon</math>. So now pick a point like <math>c - \delta/2</math>, and split the interval into <math>[a,c-\delta/2]</math> and <math>[c-\delta/2,c]</math>.

	* Since <math>c-\delta/2 < c</math>, there exists <math>x \in X</math> such that <math>c-\delta/2 < x</math> (otherwise <math>c-\delta/2</math> would be a smaller upper bound for <math>X</math>). So <math>\sup V_{c-\delta/2} \leq \sup V_x < M</math>. This means that <math>f(t) \leq \sup V_{c-\delta/2} < M</math> for all <math>t \in [a,c-\delta/2]</math>.		* Since <math>c-\delta/2 < c</math>, there exists <math>x \in X</math> such that <math>c-\delta/2 < x</math> (otherwise <math>c-\delta/2</math> would be a smaller upper bound for <math>X</math>). So <math>\sup V_{c-\delta/2} \leq \sup V_x < M</math>. This means that <math>f(t) \leq \sup V_{c-\delta/2} < M</math> for all <math>t \in [a,c-\delta/2]</math>.

IssaRice at 05:01, 29 July 2019

2019-07-29T05:01:06Z

← Older revision		Revision as of 05:01, 29 July 2019
Line 9:		Line 9:
	So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.		So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.

	So suppose for sake of contradiction that <math>f(c) < M</math>. We want to find <math>M' < M</math> such that <math>f(t) \leq M'</math> for all <math>t \in [a,c]</math>. That would mean that <math>\sup V_c \leq M' < M</math>. To do this, we split the interval into two parts. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> By continuity at <math>c</math>, there exists a <math>\delta > 0</math> such that <math>\|t-c\|<\delta</math> implies <math>\|f(t)-f(c)\|<\epsilon</math>. So now pick a point like <math>c - \delta/2</math>, and split the interval into <math>[a,c-\delta/2]</math> and <math>[c-\delta/2,c]</math>.		So suppose for sake of contradiction that <math>f(c) < M</math>. Continuity at <math>c</math> implies that for <math>\epsilon < M - f(c)</math> there exists <math>\delta > 0</math> such that <math>x \in (c-\delta, c+\delta)\cap [a,b]</math> implies <math>\|f(x)-f(c)\|<\epsilon</math>. Now, <math>c-\delta</math> cannot be an upper bound of <math>X</math>, so there exists some <math>x_0 \in X</math> such that <math>c-\delta < x_0 \leq c</math>. Thus for <math>x \in [a,x_0]</math> we have <math>f(x) \leq \sup V_{x_0} < M</math>. Also, for <math>x \in [x_0, c] \subseteq (c-\delta, c+\delta)</math> we have <math>f(x) < f(c) + \epsilon < M</math>. So <math>f</math> is bounded above by <math>\max\{\sup V_{x_0}, f(c) + \epsilon\} < M</math> on <math>[a,c]</math>, which means <math>\sup V_c < M</math>. If <math>c < b</math>, then there are points to the right of <math>c</math> where <math>f</math> continues to stay below <math>f(c) + \epsilon < M</math>, which contradicts the fact that <math>c</math> is an upper bound of <math>X</math>. So <math>c=b</math>, which means <math>M = \sup V_b = \sup V_c < M</math>, a contradiction.



			We want to find <math>M' < M</math> such that <math>f(t) \leq M'</math> for all <math>t \in [a,c]</math>. That would mean that <math>\sup V_c \leq M' < M</math>. To do this, we split the interval into two parts. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> By continuity at <math>c</math>, there exists a <math>\delta > 0</math> such that <math>\|t-c\|<\delta</math> implies <math>\|f(t)-f(c)\|<\epsilon</math>. So now pick a point like <math>c - \delta/2</math>, and split the interval into <math>[a,c-\delta/2]</math> and <math>[c-\delta/2,c]</math>.

	* Since <math>c-\delta/2 < c</math>, there exists <math>x \in X</math> such that <math>c-\delta/2 < x</math> (otherwise <math>c-\delta/2</math> would be a smaller upper bound for <math>X</math>). So <math>\sup V_{c-\delta/2} \leq \sup V_x < M</math>. This means that <math>f(t) \leq \sup V_{c-\delta/2} < M</math> for all <math>t \in [a,c-\delta/2]</math>.		* Since <math>c-\delta/2 < c</math>, there exists <math>x \in X</math> such that <math>c-\delta/2 < x</math> (otherwise <math>c-\delta/2</math> would be a smaller upper bound for <math>X</math>). So <math>\sup V_{c-\delta/2} \leq \sup V_x < M</math>. This means that <math>f(t) \leq \sup V_{c-\delta/2} < M</math> for all <math>t \in [a,c-\delta/2]</math>.

IssaRice at 04:49, 29 July 2019

2019-07-29T04:49:05Z

← Older revision		Revision as of 04:49, 29 July 2019
Line 9:		Line 9:
	So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.		So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.

	So suppose <math>f(c) < M</math>. We want to find <math>M' < M</math> such that <math>f(t) \leq M'</math> for all <math>t \in [a,c]</math>. That would mean that <math>\sup V_c \leq M' < M</math>. To do this, we split the interval into two parts. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> By continuity at <math>c</math>, there exists a <math>\delta > 0</math> such that <math>\|t-c\|<\delta</math> implies <math>\|f(t)-f(c)\|<\epsilon</math>. So now pick a point like <math>c - \delta/2</math>, and split the interval into <math>[a,c-\delta/2]</math> and <math>[c-\delta/2,c]</math>.		So suppose for sake of contradiction that <math>f(c) < M</math>. We want to find <math>M' < M</math> such that <math>f(t) \leq M'</math> for all <math>t \in [a,c]</math>. That would mean that <math>\sup V_c \leq M' < M</math>. To do this, we split the interval into two parts. Choose <math>\epsilon > 0</math> with <math>\epsilon < M - f(c)</math>.<ref group="note">It is important here that <math>\epsilon</math> does not equal <math>M - f(c)</math>; choosing this <math>\epsilon</math> would be too weak and we would not be able to conclude <math>\sup V_c < M</math>, rather only that <math>\sup V_c \leq M</math>.</ref> By continuity at <math>c</math>, there exists a <math>\delta > 0</math> such that <math>\|t-c\|<\delta</math> implies <math>\|f(t)-f(c)\|<\epsilon</math>. So now pick a point like <math>c - \delta/2</math>, and split the interval into <math>[a,c-\delta/2]</math> and <math>[c-\delta/2,c]</math>.

	* Since <math>c-\delta/2 < c</math>, there exists <math>x \in X</math> such that <math>c-\delta/2 < x</math> (otherwise <math>c-\delta/2</math> would be a smaller upper bound for <math>X</math>). So <math>\sup V_{c-\delta/2} \leq \sup V_x < M</math>. This means that <math>f(t) \leq \sup V_{c-\delta/2} < M</math> for all <math>t \in [a,c-\delta/2]</math>.		* Since <math>c-\delta/2 < c</math>, there exists <math>x \in X</math> such that <math>c-\delta/2 < x</math> (otherwise <math>c-\delta/2</math> would be a smaller upper bound for <math>X</math>). So <math>\sup V_{c-\delta/2} \leq \sup V_x < M</math>. This means that <math>f(t) \leq \sup V_{c-\delta/2} < M</math> for all <math>t \in [a,c-\delta/2]</math>.

IssaRice at 04:47, 29 July 2019

2019-07-29T04:47:58Z

← Older revision		Revision as of 04:47, 29 July 2019
Line 5:		Line 5:
	Let <math>M = \sup\{f(x) : a \leq x \leq b\} = \sup V_b</math> (this number exists by the boundedness theorem) and <math>X = \{x \in [a,b] : \sup V_x < M\}</math>.<ref group="note">If we had used "<math>\leq</math>" in the definition of <math>X</math>, then when we take the supremum we would just end up with <math>b</math>, regardless of where <math>f</math> achieves the maximum.</ref>		Let <math>M = \sup\{f(x) : a \leq x \leq b\} = \sup V_b</math> (this number exists by the boundedness theorem) and <math>X = \{x \in [a,b] : \sup V_x < M\}</math>.<ref group="note">If we had used "<math>\leq</math>" in the definition of <math>X</math>, then when we take the supremum we would just end up with <math>b</math>, regardless of where <math>f</math> achieves the maximum.</ref>

	Our goal now is to find some <math>x</math> such that <math>f(x) = M</math>. The idea now is to locate the leftmost point where <math>f</math> attains <math>M</math> by taking the supremum of <math>X</math>. But we have a small problem, which is that <math>X</math> might be empty (it is however always bounded, so we don't need to worry about that part). This can happen if <math>f(a) = M</math>. But if that's the case, we have already found a point where <math>f</math> equals <math>M</math>, so we're actually done!		Our goal now is to find some <math>x</math> such that <math>f(x) = M</math>. The idea now is to locate the leftmost point where <math>f</math> attains <math>M</math> by taking the supremum of <math>X</math>. But we have a small problem, which is that <math>X</math> might be empty (it is however always bounded, so we don't need to worry about that part). This can happen if <math>f(a) = M</math>, in which case <math>\sup V_a = M</math>. But if that's the case, we have already found a point where <math>f</math> equals <math>M</math>, so we're actually done!

	So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.		So now suppose <math>f(a) < M</math>. Then <math>a \in X</math>. We already know that <math>X</math> is bounded above, for instance by the number <math>b</math>. We can thus take the least upper bound of <math>X</math>, say <math>c = \sup X</math>. We already know <math>f(c) \leq M</math>, so if we can just eliminate the possibility that <math>f(c) < M</math>, we will be done.