compact(map)

定義

• A map f:X→Y is called compact if f^{-1}(K) is compact in X whenever K is compact in Y.

別名

• proper

出典

• Mancuso, V. J.,Mesocompactness and related properties, Pacific J. Math. 33 1970 345--355.