Borel functions and separability of metric spaces

摘要

Let X and Y be metric spaces with X separable, and let be a Borel function. Is then f(X) separable? In this paper, we prove that this problem is independent of ZFC. We also give a partial answer to an open problem which was asked by A. H. Stone.