Continuous functions form a vector space
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.