Closed graph of a map into a Hausdorff space
ID: closed-graph-of-a-map-into-a-hausdorff-space
For a continuous map with Hausdorff space , its graph of a function is closed in the product topology. If , choose disjoint neighborhoods of those two points in . Continuity supplies a neighborhood of whose image lies in the neighborhood of ; its product with the other neighborhood misses the graph.
New to topics? Read the docs here!