Proof That The Identity Function is Continuous if and only if the Destination Topology is Finer Than The Source Topology


The identity functionis continuous if and only ifwhere


Suppose thatis continuous then

But hence

Now suppose thatis the identity function so thatand suppose

Let A in T_1 thenbecause T_1 in T hence f is continuous.

This theorem may be applied recursively so that if f,g,h are identity functions