Compact graph of a continuous map

ID: compact-graph-of-a-continuous-map

The map is continuous into the product topology. It maps a compact space onto the graph of a function of a continuous . Hence that graph is compact, whether or not the codomain is a Hausdorff space. Projection to is its continuous inverse.

New to topics? Read the docs here!