Quiz:Limit: Difference between revisions
No edit summary |
|||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{perspectives}} | {{perspectives}} | ||
==Motivation== | |||
===Two key ideas=== | |||
<quiz display=simple> | |||
{Suppose <math>f</math> is a function defined on all of <math>\R</math>. We find that <math>\displaystyle \lim_{x \to 2} f(x) = 5</math>. Suppose <math>g</math> is another function defined on <math>\R</math> that differs from <math>f</math> at one point <math>p</math>, i.e., <math>f(x) = g(x)</math> for all <math>x \ne p</math>, but <math>f(p) \ne g(p)</math>. Which of the following is true? | |||
|type="()"} | |||
+ Whatever the value of <math>p</math>, <math>\lim_{x \to 2} g(x) = 5</math> | |||
|| In case <math>p = 2</math>, the limit is unaffected because the limit does not depend on the function behavior at the point. For any fixed value of <math>p</math> other than 2, that number is "too far away" from 2 because the limit depends only on the behavior arbitrarily close to 2. | |||
- If <math>p \ne 2</math>, then <math>\lim_{x \to 2} g(x) = 5</math>, but if <math>p = 2</math>, we cannot say anything about the limit. | |||
|| If <math>p = 2</math>, the limit should remain unchanged, because the value at the point does not affect the limit. | |||
- If <math>p \ne 2</math>, then <math>\lim_{x \to 2} g(x) = 5</math>, but if <math>p = 2</math>, then <math>\lim_{x \to 2} g(x) \ne 5</math> | |||
|| If <math>p = 2</math>, the limit should remain unchanged, because the value at the point does not affect the limit. | |||
- <math>\lim_{x \to 2} g(x) = 5</math> unless <math>p</math> is very close to (but still not equal to) 2 . In case <math>p</math> is very close to (but still not equal to) 2, we cannot say anything about the limit. | |||
|| For a ''fixed '' number <math>p</math>, it does not make sense to say that the number is "very close to" 2. From a mathematical perspective, any single number is too far away. | |||
- <math>\lim_{x \to 2} g(x) = 5</math> unless <math>p</math> is very close to (but still not equal to) 2 . In case <math>p</math> is very close to (but still not equal to) 2, the limit is definitely not equal to 5. | |||
|| For a ''fixed '' number <math>p</math>, it does not make sense to say that the number is "very close to" 2. From a mathematical perspective, any single number is too far away. | |||
{Which of the following is the best verbal explanation of why the limit <math>\lim_{x \to 0} \sin(1/x)</math> does not exist? As a sanity check for your answer option, keep in mind that <math>\lim_{x \to 0} x \sin (1/x) = 0</math>, so your answer option should ''not'' predict that <math>\lim_{x \to 0} x \sin(1/x)</math> does not exist. | |||
|type="()"} | |||
- When <math>x = 0</math>, <math>1/x</math> is undefined, so <math>\sin(1/x)</math> does not make sense at the point 0. | |||
|| This is not good enough, because we are asking about the ''limit'', not the value. It is perfectly possible for an expression to not make sense at a point but for the function defined by it to still have a limit at the point. For instance, <math>\lim_{x \to 0} x \sin (1/x) = 0</math>. | |||
- The function <math>\sin(1/x)</math> oscillates between positive and negative values for <math>x</math> arbitrarily close to zero. | |||
|| This is sort of the reason, but not quite. Oscillation alone is not the issue. For instance, <math>x \sin (1/x)</math> also oscillates, but the oscillations of this function have smaller and smaller amplitudes as <math>x \to 0</math>. The real issue is that <math>\sin(1/x)</math> has "undamped" oscillations arbitrarily close to 0. | |||
+ <math>\sin(1/x)</math> cannot be ''trapped'' in any interval of width less than two for <math>x</math> in an arbitrarily small neighborhood of zero. | |||
|| This is the correct idea, and it can be formalized with the <math>\varepsilon-\delta</math> definition. | |||
</quiz> | |||
==Definition for finite limit for finite function of one variable== | ==Definition for finite limit for finite function of one variable== | ||
| Line 6: | Line 34: | ||
<quiz display=simple> | <quiz display=simple> | ||
{Suppose <math>c,L \in \R</math> and <math>f</math> is a function defined on a subset of <math>\R</math>. Which of these is the correct interpretation of <math>\lim_{x \to c} f(x) = L</math> in terms of the definition of limit? | {Suppose <math>c,L \in \R</math> and <math>f</math> is a function defined on a subset of <math>\R</math>. Which of these is the correct interpretation of <math>\displaystyle \lim_{x \to c} f(x) = L</math> in terms of the definition of limit? | ||
|type="()"} | |type="()"} | ||
- For every <math>\alpha > 0</math>, there exists <math>\beta > 0</math> such that if <math>0 < |x - c| < \alpha</math>, then <math>|f(x) - L| < \beta</math>. | - For every <math>\alpha > 0</math>, there exists <math>\beta > 0</math> such that if <math>0 < |x - c| < \alpha</math>, then <math>|f(x) - L| < \beta</math>. | ||
| Line 25: | Line 53: | ||
</quiz> | </quiz> | ||
===Left hand limit and right hand limit=== | ===Left hand limit and right hand limit=== | ||
| Line 36: | Line 65: | ||
+ For every <math>\varepsilon > 0</math>, there exists <math>\delta > 0</math> such that for all <math>x \in \R</math> satisfying <math>0 < c - x < \delta</math>, we have <math>|f(x) - L| < \varepsilon</math>. | + For every <math>\varepsilon > 0</math>, there exists <math>\delta > 0</math> such that for all <math>x \in \R</math> satisfying <math>0 < c - x < \delta</math>, we have <math>|f(x) - L| < \varepsilon</math>. | ||
{Suppose the domain of a function <math>f</math> is a closed bounded interval | {Suppose the domain of a function <math>f</math> is a closed bounded interval, i.e., an interval of the form <math>[a,b]</math> for real numbers <math>a,b</math>. Which of the following definitely ''do '''not''' make sense''? | ||
|type="()"} | |type="()"} | ||
+ The left hand limit at the left endpoint and the right hand limit at the right endpoint. | + The left hand limit at the left endpoint and the right hand limit at the right endpoint. | ||
| Line 45: | Line 74: | ||
- The left hand limit at any point other than the left endpoint and the right hand limit at any point other than the right endpoint. | - The left hand limit at any point other than the left endpoint and the right hand limit at any point other than the right endpoint. | ||
{Suppose <math>c</math> is a real number and <math>f</math> is a function whose domain contains an open interval of the form <math>(c - t,c)</math> for some <math>t > 0</math>. Which of the following is true? | |||
|type="()"} | |||
- <math>\lim_{x \to c^-} f(x)</math> exists if and only if <math>f</math> is continuous on the immediate left of <math>c</math>, i.e., there exists <math>\delta > 0</math> such that <math>f</math> is continuous on <math>(c - \delta, c)</math>. Here, "continuous" means that the two-sided limit at every point in the open interval equals the value of the function. | |||
- <math>\lim_{x \to c^-} f(x)</math> exists implies that <math>f</math> is continuous on the immediate left of <math>c</math>, i.e., there exists <math>\delta > 0</math> such that <math>f</math> is continuous on <math>(c - \delta, c)</math>. Here, "continuous" means that the two-sided limit at every point in the open interval equals the value of the function. However, the converse implication does not hold. | |||
- <math>\lim_{x \to c^-} f(x)</math> exists if <math>f</math> is continuous on the immediate left of <math>c</math>, i.e., there exists <math>\delta > 0</math> such that <math>f</math> is continuous on <math>(c - \delta, c)</math>. Here, "continuous" means that the two-sided limit at every point in the open interval equals the value of the function. However, the converse implication does not hold. | |||
+ Neither of the conditions "<math>\lim_{x \to c^-} f(x)</math> exists" and "<math>f</math> is continuous on the immediate left of <math>c</math>" imply one another. | |||
|| We can construct examples illustrating both phenomena. A function that has one piece definition for rationals with another piece definition for irrationals, and the two definitions having the same limit at <math>c</math>, would illustrate how the left hand limit at <math>c</math> can exist without the function being continuous at <math>c</math>. For instance, <math>f(x) := \left \lbrace \begin{array}{rl} 0, & x \mbox{ irrational } \\x, & \mbox{ rational } \\\end{array}\right.</math> at <math>c = 0</math>. For the other direction, consider a function like <math>f(x) := 1/x, x \ne 0</math> at <math>c = 0</math>. This is continuous on the left of 0 but does not have a left hand limit at 0. | |||
</quiz> | </quiz> | ||
| Line 55: | Line 91: | ||
+ Every smaller positive value of <math>\delta</math> works for the same <math>\varepsilon</math>. Also, the given value of <math>\delta</math> works for every larger value of <math>\varepsilon</math>. | + Every smaller positive value of <math>\delta</math> works for the same <math>\varepsilon</math>. Also, the given value of <math>\delta</math> works for every larger value of <math>\varepsilon</math>. | ||
|| See from the definition or the game description. | || See from the definition or the game description. | ||
- Every larger value of <math>\delta</math> works for the same <math>\varepsilon</math>. Also, the given value of | - Every larger value of <math>\delta</math> works for the same <math>\varepsilon</math>. Also, the given value of <math>\delta</math> works for every smaller positive value of <math>\varepsilon</math>. | ||
- Every larger value of <math>\delta</math> works for the same <math>\varepsilon</math>. Also, the given value of <math>\delta</math> works for every larger value of <math>\varepsilon</math>. | - Every larger value of <math>\delta</math> works for the same <math>\varepsilon</math>. Also, the given value of <math>\delta</math> works for every larger value of <math>\varepsilon</math>. | ||
- None of the above statements need always be true. | - None of the above statements need always be true. | ||
| Line 63: | Line 99: | ||
==Non-existence of limit== | ==Non-existence of limit== | ||
<quiz display=simple> | |||
{Suppose <math>f</math> is a function defined on a subset of <math>\R</math>. <math>c</math> is a real number such that <math>(c - t,c) \cup (c, c + t)</math> is in the domain of <math>f</math> for some <math>t > 0</math>. Identify the correct interpretation of the statement "<math>\lim_{x \to c} f(x)</math> does not exist" among the choices below. | {Suppose <math>f</math> is a function defined on a subset of <math>\R</math>. <math>c</math> is a real number such that <math>(c - t,c) \cup (c, c + t)</math> is in the domain of <math>f</math> for some <math>t > 0</math>. Identify the correct interpretation of the statement "<math>\lim_{x \to c} f(x)</math> does not exist" among the choices below. | ||
|type="()"} | |type="()"} | ||
Latest revision as of 19:10, 29 September 2012
ORIGINAL FULL PAGE: Limit
STUDY THE TOPIC AT MULTIPLE LEVELS:
ALSO CHECK OUT: Quiz (multiple choice questions to test your understanding) |Page with videos on the topic, both embedded and linked to
Motivation
Two key ideas
Definition for finite limit for finite function of one variable
Two-sided limit
Left hand limit and right hand limit
Definition of finite limit for function of one variable in terms of a game
Non-existence of limit