Locally Constant Functions

Joan Hart, Kenneth Kunen

Let X be a compact Hausdorff space and M a metric space. E_0(X,M) is the set of f in C(X,M) such that there is a dense set of points x in X with f constant on some neighborhood of…