nLab
closed map

Contents

Definition

For maps between topological spaces

A function f:XY between topological spaces is called closed if the image of every closed set in X is also closed in Y.

Recall that f is a continuous map if the preimage of every closed set in Y is closed in X. For defining closed maps typically one restricts attention to closed continuous maps, although it also makes sense to speak of closed functions that are not continuous.

See also open map (from which the above was blatantly adapted).

Revised on September 19, 2011 22:10:30 by Raeder? (80.203.119.14)