Continuous functions form a unital algebra
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 .
- Multiplicative identity: The constant function that sends everything to is continuous at .
- Multiplicative closure: If are functions defined in open intervals containing and both of them are continuous at , then the pointwise product is continuous at .
There is a technical way of forming a unital algebra (a vector space endowed with an identity and a compatible multiplication) from the set of continuous functions at the point , once we identify (as being the same) any two functoins that agree on an open interval containing . This approach is called taking the germ of the function.
Continuity around a point version
Suppose . Then, the following are true:
- Additive closure: If are functions defined and continuous in open intervals containing , then the pointwise sum is continuous at .
- Scalar multiples: If is defined and continuous in an open interval containing >, and is a real number, then is continuous at .
- Multiplicative identity: The constant function that sends everything to is continuous in an open interval containing .
- Multiplicative closure: If are functions defined and continuous in open intervals containing , then the pointwise product is continuous at .
There is a technical way of forming a unital algebra (a vector space endowed with an identity and a compatible multiplication) from the set of continuous functions at the point , once we identify (as being the same) any two functoins that agree on an open interval containing . This approach is called taking the germ of the function.
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: A sum of continuous functions is continuous: If are both continuous functions on , so is the pointwise sum of functions .
- Scalar multiples: If and is a continuous function on , then is also a continuous function on .
- Multiplicative identity': The constant function sending everything to 1 is a continuous function on .
- Multiplicative closure: A product of continuous functions is continuous: If are both continuous functions on , so is the pointwise product of functions .
Facts used
- Continuous functions form a vector space: This takes care of the addition and scalar multiples aspects
- Limit is multiplicative: This takes care of multiplicative closure