Constructing continuous functions
This post summarises different ways of constructing continuous functions, which are introduced in Section 18 of James Munkres “Topology”.
- Constant function.
Inclusion function.
N.B. The function domain should have the subspace topology relative to the range.
Composition of continuous functions. Specifically, composition of continuous real-valued functions via simple arithmetic, i.e. sum, difference, product and quotient. For the case of quotient, the function as the denominator should never be evaluated to 0.
Restricting the domain of a continuous function.
N.B. The reduced domain should be assigned the subspace topology with respect to the original domain.
Restricting or expanding the range of a continuous function.
N.B. The smaller range should have the subspace topology with respect to the larger range.
Local formulation of continuity,i.e. the function is continuous if it is still continuous after restricting its domain to each open set in an open covering of the original domain.
Pasting continuous functions with their domains on patches of closed sets which cover the whole domain.
Comment: In the overlapping subdomain, the functions on different patches should be defined consistently. This condition is not required in “local formulation of continuity”, where the covering of the whole domain is made from open sets instead of closed sets. From this difference, we can sense
Maps into products, which ensures the equivalence between the continuity of the original function and that of its coordinate functions.
Uniform limit of a sequence of continuous functions.
N.B. The range space of these functions should have a metric.
Constructing continuous functions