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!