# continuous proper map

Let $X,Y$ be topological spaces^{} and $p:X\to Y$ a continuous map^{}.
The map $p$ is called *continuous proper* if for every compact^{} $K\subseteq Y$
the preimage ${p}^{-1}(K)$ is compact in $X$.

Title | continuous proper map |
---|---|

Canonical name | ContinuousProperMap |

Date of creation | 2013-03-22 13:34:22 |

Last modified on | 2013-03-22 13:34:22 |

Owner | CWoo (3771) |

Last modified by | CWoo (3771) |

Numerical id | 4 |

Author | CWoo (3771) |

Entry type | Definition |

Classification | msc 54-00 |

Synonym | continuous proper function |

Synonym | continuous proper |