home | section main page | rss feed


Proper Mapping

Table of Contents

1. Introduction

Here is the definition:

If ff is a mapping on a topological space XX, then ff is proper if for all compact sets KXK \subset X, f1(K)f^{-1}(K) is compact.

We care about this definition because for some reason it is useful sometimes.