Difference between revisions of "Continuous functions form a vector space"
(→Statement) |
(→Continuity at a point version) |
||
(8 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
==Statement== | ==Statement== | ||
− | Suppose <math>I</math> is an [[interval]] (possibly open, closed, or infinite from the left side and possibly open, closed, or infinite from the right side -- so it could be of the form <math>[a,b],[a,b),(a,b),(a,b],(-\infty,b),(-\infty,b],(a,\infty),[ | + | ===Continuity at a point version=== |
+ | |||
+ | Suppose <math>c \in \R</math>. Then, the following are true: | ||
+ | |||
+ | * '''Additive closure''': If <math>f,g</math> are functions defined in open intervals containing <math>c</math> and both of them are [[fact about::continuous function|continuous]] at <math>c</math>, then the [[fact about::pointwise sum of functions|pointwise sum]] <math>f + g</math> is continuous at <math>c</math>. | ||
+ | * '''Scalar multiples''': If <math>f</math> is defined in an open interval containing <math>c</math> and is continuous at <math>c</math>, and <math>\lambda</math> is a real number, then <math>\lambda f</math> is continuous at <math>c</math>. | ||
+ | |||
+ | There is a technical way of thinking of the collection of such functions as a [[real vector space]], that basically involves identifying two functions as being the same function if they agree on an open interval containing <math>c</math>. This idea of identifying functions that look the same around <math>c</math> is called taking the ''germ of a function'' and is beyond the scope of single variable calculus. | ||
+ | |||
+ | ===Continuity around a point version=== | ||
+ | |||
+ | Suppose <math>c \in \R</math>. Then, the following are true: | ||
+ | |||
+ | * '''Additive closure''': If <math>f,g</math> are functions defined in open intervals containing <math>c</math> and both of them are [[fact about::continuous function|continuous]] on open intervals containing <math>c</math>, then the [[fact about::pointwise sum of functions|pointwise sum]] <math>f + g</math> is continuous on an open interval containing <math>c</math>. | ||
+ | * '''Scalar multiples''': If <math>f</math> is defined and continuous in an open interval containing <math>c</math> and is continuous at <math>c</math>, and <math>\lambda</math> is a real number, then <math>\lambda f</math> is continuous on an open interval containing <math>c</math>. | ||
+ | |||
+ | There is a technical way of thinking of the collection of such functions as a [[real vector space]], that basically involves identifying two functions as being the same function if they agree on an open interval containing <math>c</math>. This idea of identifying functions that look the same around <math>c</math> is called taking the ''germ of a function'' and is beyond the scope of single variable calculus. | ||
+ | |||
+ | ===Continuity on an interval version=== | ||
+ | |||
+ | Suppose <math>I</math> is an [[interval]] (possibly open, closed, or infinite from the left side and possibly open, closed, or infinite from the right side -- so it could be of the form <math>[a,b],[a,b),(a,b),(a,b],(-\infty,b),(-\infty,b],(a,\infty),[a,\infty),(-\infty,\infty)</math>). A [[fact about::continuous function]] on <math>I</math> is a function on <math>I</math> that is continuous at all points on the ''interior'' of <math>I</math> and has the appropriate one-sided continuity at the boundary points (if they exist). | ||
The continuous functions on <math>I</math> form a [[real vector space]], in the sense that the following hold: | The continuous functions on <math>I</math> form a [[real vector space]], in the sense that the following hold: | ||
− | * ''Additive'': A sum of continuous functions is continuous: If <math>f,g</math> are both continuous functions on <math>I</math>, so is <math>f + g</math>. | + | * '''Additive closure''': A sum of continuous functions is continuous: If <math>f,g</math> are both continuous functions on <math>I</math>, so is <math>f + g</math>. |
− | * ''Scalar | + | * '''Scalar multiples''': If <math>\lambda \in \R</math> and <math>f</math> is a continuous function on <math>I</math>, then <math>\lambda f</math> is also a continuous function on <math>I</math>. |
+ | |||
+ | We can also frame this in terms of linear combinations: if <math>f_1,f_2,\dots,f_n</math> are all continuous functions and <math>a_1,a_2,\dots,a_n \in \R</math>, then the function | ||
+ | |||
+ | <math>x \mapsto a_1f_1(x) + a_2f_2(x) + \dots + a_nf_n(x)</math> | ||
+ | |||
+ | is also a continuous function. | ||
+ | |||
+ | ==Facts used== | ||
+ | |||
+ | # [[uses::Limit is linear]]: This says that the limit of the sum is the sum of the limits, and scalar multiples can be pulled out of limits. |
Latest revision as of 15:55, 16 October 2011
Contents
Statement
Continuity at a point version
Suppose . Then, the following are true:
- Additive closure: If are functions defined in open intervals containing and both of them are continuous at , then the pointwise sum is continuous at .
- Scalar multiples: If is defined in an open interval containing and is continuous at , and is a real number, then is continuous at .
There is a technical way of thinking of the collection of such functions as a real vector space, that basically involves identifying two functions as being the same function if they agree on an open interval containing . This idea of identifying functions that look the same around is called taking the germ of a function and is beyond the scope of single variable calculus.
Continuity around a point version
Suppose . Then, the following are true:
- Additive closure: If are functions defined in open intervals containing and both of them are continuous on open intervals containing , then the pointwise sum is continuous on an open interval containing .
- Scalar multiples: If is defined and continuous in an open interval containing and is continuous at , and is a real number, then is continuous on an open interval containing .
There is a technical way of thinking of the collection of such functions as a real vector space, that basically involves identifying two functions as being the same function if they agree on an open interval containing . This idea of identifying functions that look the same around is called taking the germ of a function and is beyond the scope of single variable calculus.
Continuity on an interval version
Suppose is an interval (possibly open, closed, or infinite from the left side and possibly open, closed, or infinite from the right side -- so it could be of the form ). A continuous function on is a function on that is continuous at all points on the interior of and has the appropriate one-sided continuity at the boundary points (if they exist).
The continuous functions on form a real vector space, in the sense that the following hold:
- Additive closure: A sum of continuous functions is continuous: If are both continuous functions on , so is .
- Scalar multiples: If and is a continuous function on , then is also a continuous function on .
We can also frame this in terms of linear combinations: if are all continuous functions and , then the function
is also a continuous function.
Facts used
- Limit is linear: This says that the limit of the sum is the sum of the limits, and scalar multiples can be pulled out of limits.