Perfect-map characterization by Stone-Čech remainders
ID: perfect-map-characterization-by-stone-cech-remainders
For a continuous map between Tychonoff spaces, extend it to by the Stone-Čech extension property. If is perfect, compactness of a fiber and closedness of show that no remainder point can map to a point of : separate such a point from the fiber by a neighborhood in , and use closedness to obtain a target neighborhood whose preimage stays inside it, contradicting density. Conversely, if , each fiber is compact, and for closed the equality proves closedness. Equivalently .
New to topics? Read the docs here!