Continuous function: Difference between revisions
(Created page with "==Definition for functions of one variable== ===At a point=== Consider a function <math>f</math> and a real number <math>c</math> such that <math>f</math> is defined in an [[op...") |
No edit summary |
||
(3 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
{{core term}} | |||
==Definition for functions of one variable== | ==Definition for functions of one variable== | ||
===At a point=== | ===At a point=== | ||
Consider a function <math>f</math> and a real number <math>c</math> such that <math>f</math> is defined in an [[open interval]] containing <math>c</math>. We say that <math>f</math> is continuous at <math>c</math> if it satisfies the following equivalent definitions: | Consider a function <math>f</math> and a real number <math>c</math> such that <math>f</math> is defined in an [[open interval]] containing <math>c</math>, i.e., <math>f</math> is defined ''at'' <math>c</math> and on the immediate left and right of <math>c</math>. We say that <math>f</math> is continuous at <math>c</math> if it satisfies the following equivalent definitions: | ||
{| class="sortable" border="1" | {| class="sortable" border="1" | ||
Line 14: | Line 15: | ||
| 3 || in terms of left and right continuity || <math>f</math> is both left and right continuous at <math>c</math>. | | 3 || in terms of left and right continuity || <math>f</math> is both left and right continuous at <math>c</math>. | ||
|- | |- | ||
| 4 || <math>\ | | 4 || <math>\varepsilon-\delta</math> || For every <math>\varepsilon > 0</math>, there exists <math>\delta > 0</math> such that for all <math>x</math> satisfying <math>|x - c| < \delta</math> (i.e., <math>x \in (c - \delta,c + \delta)</math>), we have <math>|f(x) - f(c)| < \varepsilon</math> (i.e., <math>f(x) \in (f(c) - \varepsilon,f(c) + \varepsilon)</math>). | ||
|- | |- | ||
| 4' || <math>\ | | 4' || <math>\varepsilon-\delta</math> (variant) || For every <math>\varepsilon > 0</math>, there exists <math>\delta > 0</math> such that for all <math>x</math> satisfying <math>0 < |x - c| < \delta</math> (i.e., <math>x \in (c - \delta,c + \delta) \setminus \{ c \}</math>), we have <math>|f(x) - f(c)| < \varepsilon</math> (i.e., <math>f(x) \in (f(c) - \varepsilon,f(c) + \varepsilon)</math>). | ||
|- | |- | ||
| 5 || in terms of centered open balls (same as <math>\ | | 5 || in terms of centered open balls (same as <math>\varepsilon-\delta</math> without the symbols)|| For every open ball (i.e., [[open interval]]) centered at <math>f(c)</math>, there is an open ball (i.e., [[open interval]]) centered at <math>c</math> such that the image of the open ball centered at <math>c</math> lies inside the open ball centered at <math>f(c)</math>. <toggledisplay>The ''open ball'' centered at <math>f(c)</math> is the interval <math>(f(c) - \varepsilon,f(c) + \varepsilon)</math> and the ''open ball'' centered at <math>c</math> is the interval <math>(c - \delta, c + \delta)</math>.</toggledisplay> | ||
|- | |- | ||
| 6 || in terms of not necessarily centered open balls || For every open ball (i.e., [[open interval]]) containing <math>f(c)</math>, there is an open ball containing <math>c</math> such that the image of the open ball containing <math>c</math> lies inside the open ball containing <math>f(c)</math>. | | 6 || in terms of not necessarily centered open balls || For every open ball (i.e., [[open interval]]) containing <math>f(c)</math>, there is an open ball containing <math>c</math> such that the image of the open ball containing <math>c</math> lies inside the open ball containing <math>f(c)</math>. | ||
|} | |} | ||
===Definition of one-sided continuity=== | |||
'''Left continuity''': Consider a function <math>f</math> and a real number <math>c</math> such that <math>f</math> is defined at <math>c</math> and on the immediate left of <math>c</math>. We say that <math>f</math> is left continuous at <math>c</math> if the left hand limit of <math>f</math> at <math>c</math> exists and equals <math>f(c)</math>, i.e., <math>\lim_{x \to c^-} f(x) = f(c)</math>. | |||
'''Right continuity''': Consider a function <math>f</math> and a real number <math>c</math> such that <math>f</math> is defined at <math>c</math> and on the immediate right of <math>c</math>. We say that <math>f</math> is right continuous at <math>c</math> if the right hand limit of <math>f</math> at <math>c</math> exists and equals <math>f(c)</math>, i.e., <math>\lim_{x \to c^+} f(x) = f(c)</math>. | |||
===On an interval=== | ===On an interval=== |
Latest revision as of 00:44, 29 April 2014
This page lists a core term of calculus. The term is used widely, and a thorough understanding of its definition is critical.
See a complete list of core terminology
Definition for functions of one variable
At a point
Consider a function and a real number such that is defined in an open interval containing , i.e., is defined at and on the immediate left and right of . We say that is continuous at if it satisfies the following equivalent definitions:
No. | Shorthand | What the definition says |
---|---|---|
1 | in terms of limits | . In words, the limit of as exists and equals the value of the function at . |
2 | in terms of one-sided limits | . In words, the left hand limit of at , the right hand limit of at , and the value of at are all equal. |
3 | in terms of left and right continuity | is both left and right continuous at . |
4 | For every , there exists such that for all satisfying (i.e., ), we have (i.e., ). | |
4' | (variant) | For every , there exists such that for all satisfying (i.e., ), we have (i.e., ). |
5 | in terms of centered open balls (same as without the symbols) | For every open ball (i.e., open interval) centered at , there is an open ball (i.e., open interval) centered at such that the image of the open ball centered at lies inside the open ball centered at . [SHOW MORE] |
6 | in terms of not necessarily centered open balls | For every open ball (i.e., open interval) containing , there is an open ball containing such that the image of the open ball containing lies inside the open ball containing . |
Definition of one-sided continuity
Left continuity: Consider a function and a real number such that is defined at and on the immediate left of . We say that is left continuous at if the left hand limit of at exists and equals , i.e., .
Right continuity: Consider a function and a real number such that is defined at and on the immediate right of . We say that is right continuous at if the right hand limit of at exists and equals , i.e., .
On an interval
Consider an interval, which may be open or closed at either end, and may stretch to on the left or on the right. A function from such an interval to the real numbers is termed continuous if it satisfies the following two conditions:
- It is continuous (in the sense of continuous at a point) at all points in the interior of the interval, i.e., all points such that there is an open ball containing the point lying inside the domain interval.
- It has the appropriate one-sided continuity at endpoints: If the interval has a left endpoint (e.g., the interval is of the form , , or , then it must be right continuous at the left endpoint ( in all three example intervals). If the interval has a right endpoint (e.g., the interval is of the form , , or ), then it must be left continuous at the right endpoint ( in all three example intervals).