Preservation of complete metrizability by covering maps

摘要

A map f : X -> Y is said to be w-covering if for every ordinal alpha and every compact S subset of Y such that the alpha-th Cantor derivative (S)(alpha) of S is a singleton {y} there is a compact subset E of X such that f(E) subset of S and (f (E))(alpha) = {y}.