固こ有ゆう射しゃ

noun

proper map

In mathematics, a continuous map for which the preimage of every compact set is compact. Used mainly in topology and algebraic geometry.

• 固こ有ゆう射しゃの定てい義ぎは、位い相そう空くう間かんの間あいだの連れん続ぞく写しゃ像ぞうに対たいして与あたえられる。

  The definition of a proper map is given for continuous maps between topological spaces.

• この定てい理りでは、f が固こ有ゆう射しゃであることが仮か定ていされている。

  In this theorem, it is assumed that f is a proper map.