2
$\begingroup$

A perfect map $f$ is a closed continuous surjective function such that the preimage of every point is compact. One property of perfect maps is that if $f \, \colon \, X \to Y$ is perfect, and $Y$ is compact, then $X$ is compact too.

My question (rephrased): if $f$ is a continuous surjective function such that the preimage of every point is compact, and $Y$ is compact, does it follow that $X$ is compact?

  • 0
    yes, i rephrased my question, hopefully it's clear now.2011-12-12

1 Answers 1

4

No.

Let $Y$ be the closed unit interval with the usual Euclidean topology, and let $X$ be the closed unit interval with the discrete topology. Let $f:X\to Y$ be the identity map. Clearly $f$ is continuous and surjective and has compact fibres, and $Y$ is compact, but $X$ is not. Note that $X$ and $Y$ are even metrizable, so they’re about as nice as one could hope for.

  • 1
    @Alex: The fibres of a map are the preimages of points under that map.2011-12-12