# proper map

Definition
Suppose $X$ and $Y$ are topological spaces^{}, and $f$ is a map $f:X\to Y$.
Then $f$ is a proper map if the inverse image of every compact
subset in $Y$ of is a compact set in $X$.

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

Canonical name | ProperMap |

Date of creation | 2013-03-22 13:59:49 |

Last modified on | 2013-03-22 13:59:49 |

Owner | matte (1858) |

Last modified by | matte (1858) |

Numerical id | 6 |

Author | matte (1858) |

Entry type | Definition |

Classification | msc 54C10 |

Classification | msc 54-00 |

Related topic | PolynomialFunctionIsAProperMap |